ppose -6*f = -2*f - 40. Is d(f) a prime number?
True
Let u(r) = -3*r - 7. Let w be u(-8). Is w*(13 + -1) - 1 composite?
True
Suppose -4*k + 158 + 364 = 2*p, 5*p + 15 = 0. Suppose -4*a + 479 - k = 5*h, 0 = 3*a - 3*h - 294. Is a a composite number?
True
Let g = 1377 - 772. Suppose 0 = 4*y + y - g. Is y a composite number?
True
Let d(j) = 4*j + 15. Is d(9) composite?
True
Let v(w) = -w**3 - 6*w**2 + w + 2. Let z be v(-6). Let x = z - -6. Suppose 0*c + 78 = x*c. Is c a composite number?
True
Suppose 719 - 124 = 5*r. Is r a prime number?
False
Suppose -2*c + 3018 = x, -3*c + 4*x = x - 4527. Is c composite?
True
Suppose 4*l + l - 20 = 0. Suppose -l*i = -5*i + 94. Is i a composite number?
True
Let x = 9 + -6. Is ((-6)/(-2))/x - -144 composite?
True
Let z be (-2172)/(-20) - (-3)/(-5). Suppose 4*x = 5*d - x - 190, -3*d - 3*x + z = 0. Is d composite?
False
Let n(g) = g**2 - g - 10. Suppose 0 = 3*k + 2*k + 35. Is n(k) a prime number?
False
Let y(c) = 5*c**2 + 63*c - 33. Is y(-28) a prime number?
False
Suppose 5 = a - 14. Is a composite?
False
Suppose y + 5*n = 484, y - 2*y = n - 496. Is y composite?
False
Suppose 46 = -4*d + 498. Is d composite?
False
Suppose -r - 5*t + 4545 = 4*r, -5*t - 1804 = -2*r. Is r composite?
False
Let k(q) = 31*q - 1. Suppose 5*b - 17 = f, 4*f + 0*f - 16 = -b. Is k(b) a composite number?
True
Let m(t) = 116*t**2 - 2. Let k be m(-3). Let n = k + -477. Is n prime?
False
Suppose -186 = -4*z - 2*d, -2*z + 4*d - 30 = -128. Is z a prime number?
True
Let y(x) = 12*x**3 - x + 1. Let k(l) = -25*l**3 + 3*l - 2. Let r(n) = -2*k(n) - 5*y(n). Is r(-1) prime?
False
Suppose -w = -4*s + 140, 0*w - 40 = -s - w. Let x be (1/2)/((-2)/s). Is (-59 + 0)*(8 + x) a composite number?
False
Suppose 5*h + 38 = -12. Let f = -6 - h. Suppose 0*v - v = 3*r - 156, -227 = -f*r + 5*v. Is r composite?
False
Let y(g) = g + 7. Let v = -8 - -2. Let t be y(v). Is 1 - t - -14 - 0 composite?
True
Let f = -100 + 174. Is f prime?
False
Let t(i) = -i**2 + 7*i - 6. Let w be t(5). Suppose 5*z = -w*y + 2053, 2*y - 5*z - 301 = 748. Is y prime?
False
Suppose -6*h = -11*h. Suppose -2*y + 0*y + 142 = h. Is y composite?
False
Suppose 0 = 4*v - 24 - 16. Let w be (1606/5)/(3/15). Is w/v - 4/(-10) a composite number?
True
Suppose 0 = 35*w - 40*w + 885. Is w prime?
False
Let z(n) = -n**2 - 10*n - 8. Let a be z(-8). Is (-6)/a - 3957/(-12) prime?
False
Let a(j) = -2*j**3 + 10*j**2 - 11. Let q be a(9). Let f = 968 + q. Suppose -2*h + f = -137. Is h a composite number?
False
Suppose -4*t - 5*c = -23, t + 4 + 3 = 3*c. Let q be 496/10 - (-8)/20. Suppose q + 88 = t*n. Is n a composite number?
True
Suppose -2*i - 3*i - 10 = 0. Let g be (i/(6/(-9)))/(-1). Is -1*g/(-6)*-158 a prime number?
True
Suppose -5*d - 391 = -2*u, 2*u + 10 - 377 = -3*d. Suppose 2 - 10 = 2*c, u = 4*q + 2*c. Is q a composite number?
True
Suppose 2*f + 2*f = 40. Suppose -15*g + f*g = -805. Is g a composite number?
True
Let n = 1 + -1. Suppose -57 = 2*z + 4*l - 5*l, n = -2*z - 5*l - 63. Let j = z + 62. Is j a composite number?
True
Suppose -2*q + 1978 = -4*x - 0*x, -3*x - 2970 = -3*q. Is q a composite number?
False
Suppose -5*t + 0*t + h = -7, -2*h = -5*t + 4. Suppose 20 = -4*b, -3*a - t*b = -0*a - 875. Is a prime?
False
Let f = -3 - -12. Suppose -3*a = 4*n - 6*a - 53, -f = -n + 5*a. Is n prime?
False
Let s = -672 - -1549. Is s a composite number?
False
Suppose -172 = -0*t - 2*t. Suppose -m + 0*m + t = 0. Is m a composite number?
True
Let f(h) = 3*h**3 + h**2 - h. Let a be f(1). Suppose -62 = -a*v + v. Is v a prime number?
True
Is (12/24)/(1/31)*58 a prime number?
False
Let m = 127 - 9. Suppose -68 = 3*r - 3*x + 94, 3*r + 3*x + 156 = 0. Let j = m + r. Is j composite?
True
Suppose 93 = 2*f - 85. Is f a prime number?
True
Suppose -v = -8 + 4. Suppose 6*f - v*f - 110 = 0. Is f a composite number?
True
Let r(b) = 7*b - 7 - 3*b + 2*b + 8*b. Is r(6) prime?
False
Let t(o) = o**3 + 4*o**2 - 8*o - 6. Let y be t(-5). Is (-492)/y*9/(-6) composite?
True
Let x(z) = 2*z**3 + 2*z**2 - 4*z + 2. Let q be x(-5). Let m = -120 - q. Is m prime?
False
Let k be -4*2/(16/(-82)). Suppose -51 + 0 = -j - 2*p, -j - 4*p + k = 0. Let w = j + -28. Is w a composite number?
True
Let q(l) = 6*l**3 + 5*l**2. Let x be q(4). Suppose 175 = 4*d + 5*t - x, t = 2*d - 323. Is d a composite number?
True
Let h = -6 + 8. Let q be 2667/9 - h/(-3). Let v = 508 - q. Is v a composite number?
False
Let z(q) = -q**3 + 8*q**2 - 7*q - 1. Let a be z(7). Let p = a - -3. Is ((-138)/(-9)*3)/p a composite number?
False
Suppose -18 - 300 = -2*a. Is a a prime number?
False
Let k(w) = 1432*w**2 + 4*w - 5. Is k(2) a composite number?
True
Let k(u) = u**3 + 3*u**2 - 3*u + 4. Suppose 5*s - 2*s - 9 = 0. Is k(s) a prime number?
False
Let j = -65 - -140. Suppose 10*p = 7*p + j. Is p a prime number?
False
Suppose -5*v = 4*d + 12, -v + d = -3*d - 12. Suppose -5*f + 118 = 5*s - 67, v = -s. Is f a prime number?
True
Suppose 2*b = 3*u + 5, 0 = -u - u - 3*b + 1. Is -2 + 60 + u/(-1) prime?
True
Let f be (1260/(-50))/(1/5). Let k = -89 - f. Is k composite?
False
Let j = 14 + 5. Is j a composite number?
False
Let f = 446 + -235. Is f prime?
True
Let c = 79 - 35. Let w = -26 + c. Let p = 101 - w. Is p composite?
False
Let v(r) = -16*r**3 - 2*r**2 + r - 2. Is v(-3) a composite number?
False
Let x(t) = 380*t**3 + t**2 - 2*t + 2. Is x(1) a composite number?
True
Let g = 96 - 22. Is g composite?
True
Let i(y) = y**3 + 12*y**2 - 26*y - 5. Is i(-12) composite?
False
Suppose -r + 561 = -332. Is r a composite number?
True
Let c(v) = v**2 - 2*v + 3. Let u be c(2). Let q = u - 0. Suppose -5*h + 23 + 9 = q*j, h = -3*j + 4. Is h a prime number?
True
Let m = -617 - -1084. Is m a composite number?
False
Suppose -4*m - m = g + 15, 4*g = -2*m + 12. Is (15 + -1)/(m/(-22)) prime?
False
Suppose -3*j - 2*u = 10, -5*u + u = j + 20. Suppose j = -c - k + 13 + 11, 3*c - 80 = 5*k. Is c a composite number?
True
Suppose 0 = 5*h + 3 + 27. Let q be h/4*8/(-6). Is 2/2 - (-72)/q a prime number?
True
Let z be 12/10*20/6. Suppose -z*g = -8 - 0. Suppose 183 = 4*a + p - 2*p, -4*a - g*p = -186. Is a prime?
False
Let q = 632 - 156. Suppose -4*w - 3*g = -153 - 295, 4*w = 4*g + q. Is w composite?
True
Let p(t) = -5*t**2 + 9*t - 9. Let r(u) = 5*u**2 - 10*u + 10. Let k be (-34)/6 + (-2)/(-3). Let h(m) = k*r(m) - 6*p(m). Is h(3) composite?
False
Let i be 9/15 + (-6924)/(-10). Suppose 0 = -3*p - 3*s + i, 2*p + 4*s - 698 = -p. Is p composite?
True
Suppose 8*r = -2*r + 13370. Is r a prime number?
False
Let m be 14 + -1 - (6 + -6). Suppose m - 65 = -2*u. Is u a prime number?
False
Let h(r) = -r**3 - 10*r**2 - 9*r + 2. Let d be h(-9). Suppose d*b = 3*b, 0 = 3*w - 3*b - 6. Suppose -104 = -w*y - 30. Is y a composite number?
False
Let x = -743 - 326. Let p = -638 - x. Is p a prime number?
True
Let z(d) = -5*d - 4. Let k(p) = -11*p - 8. Let i(j) = 4*k(j) - 9*z(j). Let w be i(0). Suppose -2*l + 0*l - 2*t = -34, -w*l - 2*t + 60 = 0. Is l a prime number?
True
Suppose 4*k - 216 = 140. Is k a prime number?
True
Suppose -u - o + 2 = 0, o - 1 = 2*u + 4. Let q be (u - 0/1)*-3. Suppose -q*p - 231 = -6*p. Is p a composite number?
True
Is -1 - (2 + -5) - -125 composite?
False
Suppose -6*v + 2*v = 2*s - 670, -2*v = -4*s + 1320. Is s a prime number?
True
Let j(x) = x**2 + 28*x - 10. Let n be j(-12). Let c = n + 299. Is c a prime number?
True
Is ((-6)/(-4))/(19/494) a composite number?
True
Let t be (-1)/(-1*3/483). Let r be (-2 - -2)/1 + t. Is (-12)/(-3)*r/4 a prime number?
False
Suppose 2*u + 3*s = -0*s, -3*u + s = -11. Let f = 30 + u. Is f prime?
False
Suppose -2*r = 4*v - 0*r - 36, -40 = -3*v + 5*r. Suppose -v - 41 = -3*i - n, 2*n = i - 24. Is -3 - (-1)/(1/i) a composite number?
True
Suppose 178 = x + w, 534 = 5*x - 2*x - 4*w. Suppose 20 - x = -2*c. Suppose 0*k - k = -c. Is k a composite number?
False
Let t = 5 + 0. Suppose 5*w - 11 = -a, -w + 1 - 4 = -t*a. Let n = 13 + a. Is n prime?
False
Let x = -11 + 50. Is x a prime number?
False
Let v = 17 + -15. Is (-2726)/(-8) + v/8 a prime number?
False
Let i(a) = a**3 - 4*a**2 - 3*a - 11. Let z(q) = -2*q**3 + 9*q**2 + 6*q + 23. Let h(y) = 5*i(y) + 3*z(y). Is h(7) a prime number?
False
Suppose -5*q + 18 + 22 = 0. Suppose z - 4*t = 17, 2*t - q = z - 35. Is z prime?
True
Suppose -4*t + 5*t - 15 = 0. Let s be 1/((t