/j a prime number?
False
Let u(k) = 3*k**2 + 6*k. Let h be u(-4). Let m = 71 - h. Is m composite?
False
Suppose 10 = -0*m + 2*m. Suppose 0*w = m*w - 465. Is w a prime number?
False
Let b = -617 - -967. Let i = 7 - 2. Is (b/i)/(1 + 1) composite?
True
Let y = -8 + 8. Suppose -x - 141 = -a - y*a, 0 = -a - 3*x + 141. Is a a composite number?
True
Suppose -3*y + 0*y - 18 = 3*u, -5*y = -u - 6. Let l(b) = 5*b**2 - 10*b - 25. Let h(n) = -2*n**2 + 5*n + 12. Let a(q) = 7*h(q) + 3*l(q). Is a(u) composite?
True
Suppose -136 = 3*n - 7*n. Let u = 77 - n. Is u a prime number?
True
Let n = 960 - 583. Is n composite?
True
Let y = -486 - -899. Is y a composite number?
True
Let q = 340 - 23. Is q a composite number?
False
Let f be (3 - 3) + -355 + -3. Is (3*f/(-3))/2 prime?
True
Let i(k) = -k**3 - 9*k**2 + 8. Let a be i(-6). Let o = a - -149. Is o a composite number?
True
Suppose 1 = -5*j + 21. Suppose 5*b = -p + 1, 0*p - 18 = -2*b + j*p. Is ((-385)/(-20))/(b/4) a composite number?
True
Let f = 481 + -142. Is f a composite number?
True
Let h(g) = g**3 - 5*g**2 + 6*g - 4. Let u be 2 + 3/6*4. Let d be h(u). Suppose 35 = 4*w + 2*c - 83, 167 = 5*w - d*c. Is w a composite number?
False
Let a = -3 + 2. Let t be 28/10 - a/5. Suppose -3*i - t*s = -2*s - 114, 0 = -3*s - 9. Is i a prime number?
False
Suppose 2*h - 5*o = 20, -4*o = -o + 12. Suppose 2 = -t - h*t. Is (-13)/(0 + 1 + t) a composite number?
False
Is (-3574)/(-9) + 1/(-9) composite?
False
Let f be ((-1)/(-2))/(3/18). Suppose -f = -3*r + 3*h, -5*r - 2*h + 10 = -2. Suppose r*v - 65 = -w, -2*w - w + 2*v = -155. Is w composite?
True
Let i = 3412 - 1127. Is i a composite number?
True
Suppose -82 = -3*p + j + 133, 2*p + 5*j - 132 = 0. Is p prime?
True
Suppose 3*a - 6 = 6*a, 2*n = 5*a. Let b(s) be the first derivative of -5*s**2 + 5*s - 1. Is b(n) a prime number?
False
Let g be 1/(3 + -1 - 3). Let i = g + 7. Is i a prime number?
False
Let v(x) = x**2 + 0*x**2 + 33*x**3 - 13*x**3. Is v(1) prime?
False
Is (-12)/(-10)*(-165)/(-6) a prime number?
False
Let h be 0 + 118 + -2 + 1. Let p(z) = -z**3 - 4*z**2 - 2*z - 6. Let u be p(-4). Suppose -k = u*k - h. Is k a prime number?
False
Let t(d) = 2*d + 4. Let b be t(9). Suppose 56 = 4*f - 2*x + 6*x, 3*f - 2*x - b = 0. Is f prime?
False
Let o = 1 - 2. Suppose 81 = 2*g - 19. Let f = g + o. Is f a prime number?
False
Is 254/(-4)*(-36)/9 prime?
False
Let p(v) = -v**3 + v**2. Let a be p(0). Suppose a = -z + 2*z - 89. Suppose -319 = -2*m - z. Is m a prime number?
False
Let r(x) = 2*x**2 - 7*x - 5. Suppose 3*l - 9 + 1 = 5*v, -3*v = 2*l + 20. Is r(v) a composite number?
True
Suppose -j = -2*j + 86. Let b = j - -9. Is b composite?
True
Is ((-502)/(-4))/((-1)/(-6)*1) prime?
False
Suppose 4*g - s = 8400, -5*g = 4*s - 4616 - 5863. Is g prime?
True
Let v(p) = 3*p**2 + 5*p**2 + 1 - p + 0. Is v(2) a composite number?
False
Let w = 105 - 52. Suppose -s - 2*u + w = 0, 3*u + u = -12. Is s a composite number?
False
Let j be 25 - (1*-2 - -3). Suppose 0 = -2*y + j + 62. Is y prime?
True
Let h(y) = -52*y - 45. Is h(-8) a composite number?
True
Suppose 2*o - 5 - 3 = 0. Suppose -4*c + 5*g - 25 = 0, -2*g = -o*c - c - 27. Is 10*c/(-2) + 0 a prime number?
False
Is (-1 - -959)/(-4 + 6) composite?
False
Let q be 2/6 + 62/3. Suppose 4*a - 3*y - 140 = -6*y, 5*a = -3*y + 175. Suppose 4*f - q = a. Is f prime?
False
Let r be (-126)/(-8) - 3/(-12). Let y(a) = 10*a**3 - a**2 - a + 1. Let i be y(2). Is i/4 - (-4)/r a prime number?
True
Suppose y + 4*n = 1451, -2*n + 5*n + 2869 = 2*y. Is y composite?
False
Suppose j = 79 - 11. Let a = j - 43. Is a composite?
True
Let k = 16 + 177. Is k + (-1 + -4 - -3) composite?
False
Suppose -2*y = 2*y - 8. Suppose -5*g - 3*n + 81 = 0, 0*g = 4*g - y*n - 56. Suppose 4*m + m = g. Is m prime?
True
Suppose -c + 5*c = -472. Is c/(-4)*(4 - 2) a prime number?
True
Suppose 9*p - 435 = 14*p. Let x be 1/(-3) - (-518)/(-3). Let v = p - x. Is v a composite number?
True
Suppose -k + 19 = i, -4*k + 5*i + 48 + 46 = 0. Is 3936/21 + (-9)/k a prime number?
False
Let j(o) = -o**3 + 5*o**2 + 4*o. Let y be j(7). Let r = -28 - y. Let f = r + -23. Is f composite?
False
Suppose 0 = -l - 3*l + 6276. Is l a prime number?
False
Let q = 107 + 152. Is q a composite number?
True
Let u(w) = 5 + 2 + w**3 + 0*w**3 + 16*w**2 + 5*w. Let q be u(-11). Is 6/(-24) - q/(-4) a prime number?
True
Let s = 171 + 40. Is s composite?
False
Let a = -2 + 4. Let k be -7*a*(-11)/2. Let n = 151 - k. Is n composite?
True
Suppose -566 = s - 1519. Is s a composite number?
False
Suppose -2*g + 4 = 3*b, -4*g + 8 = 2*b + b. Let v be 4/1 - (1 + b). Suppose v*q + 3*i - 33 = 0, -46 = -0*q - 5*q + 4*i. Is q composite?
True
Let t(w) = 4*w - w**2 - 6*w**2 + 6 + w**3 - 11*w. Let y be t(6). Let s = 109 + y. Is s composite?
False
Let n = -5 + 8. Suppose -8*l + 4*l - 8 = n*r, 6 = -3*l + 4*r. Let v(h) = 3*h**2 - h. Is v(l) a prime number?
False
Let j = -202 - 57. Let z = j - -386. Is z prime?
True
Suppose 0 = -2*u - a - a + 202, 3*u + 4*a - 306 = 0. Suppose -4*g = -102 - u. Suppose -m - g = -6*m. Is m a prime number?
False
Let j(h) = 2*h**3 - 4*h**2 + 7*h - 1. Is j(4) a composite number?
True
Let u(s) = 50*s**2 + 10*s - 11. Is u(-8) prime?
True
Suppose -3 = 5*v - 13. Suppose -v*h + 35 = -h. Is h composite?
True
Let r = -904 - -2649. Suppose 2060 = 5*i - r. Is i a composite number?
False
Suppose 5*c + 1 = 3*k + 3, 14 = -3*k - c. Let x(j) = -17*j + 6. Let t(l) = -18*l + 5. Let b(p) = 5*t(p) - 4*x(p). Is b(k) prime?
True
Suppose 0 = 10*q - 8233 - 8857. Is q a composite number?
False
Let u be (2 - -18)*(-1)/(-2). Let t = u - -75. Is t prime?
False
Let s(o) = o**3 + 24*o**2 + 10*o + 49. Is s(-22) composite?
False
Let l = -45 - -696. Let y = l - 450. Is y prime?
False
Let g(c) = -c**3 + 3*c**2 + 5*c. Let x be g(4). Let l be (-9648)/(-30) + x/10. Suppose -3*b + l = -b. Is b a composite number?
True
Let t(p) = -2*p**3 + 5*p**2 - 2*p + 1. Is t(-4) a composite number?
True
Let n be (-3)/(-15) - 24/(-5). Let z(u) = -u**3 + 7*u**2 - 5*u - 6. Is z(n) composite?
False
Let x(l) = 13*l + 19. Is x(14) prime?
False
Suppose -2*j - 2*j = -32. Let b be (-3)/(-12) - 10/j. Is (-109 - (3 - 1))/b a prime number?
False
Let u be (-3)/(-3) + 1 + 0. Suppose q + 26 = 2*f, f + 3*f + 5*q = 66. Suppose u*v - v = f. Is v prime?
False
Let y = -144 - 123. Let d = -164 - y. Is d a composite number?
False
Suppose b - 6*b = 455. Let u = 270 + b. Is u prime?
True
Let m(s) be the second derivative of 3*s**5/20 - s**4/6 - s**3/3 + s**2/2 - 2*s. Let y(i) be the first derivative of m(i). Is y(-3) a composite number?
True
Let w(c) = 76*c + 2. Let f(s) = -38*s - 1. Let l = 21 + -34. Let b(t) = l*f(t) - 6*w(t). Is b(3) composite?
True
Let m(r) = -146*r. Let o be m(-2). Suppose 4*l - 991 = 5*b, -4*b = -3*l + 450 + o. Is l composite?
True
Let u = 20 + -28. Let j be (-2)/8 + (-170)/u. Suppose -16 - j = -3*r - 2*p, 3*r - 5*p = 2. Is r a prime number?
False
Is (-1)/(-3) - 2935*(-8)/12 prime?
False
Let j = 76 + 45. Is j prime?
False
Is (-28)/98 - (-3602)/14 a composite number?
False
Suppose 3*q = 2*q - 3*n + 198, 0 = q - 3*n - 168. Let g be (-2)/8 - (-9)/4. Suppose -4*a + q = k, 3*a = g*a + 4. Is k prime?
True
Let w(i) = i**3 + 6*i**2 - 8*i - 9. Let k be w(-7). Let g be 1*((-4)/(-2) - -115). Let z = g - k. Is z prime?
False
Suppose -k + 3*x - 8 = 0, k + 24 = -6*x + x. Is (-226)/(-4) + (-21)/k composite?
True
Let n(j) be the first derivative of 8*j**3/3 - j**2 - j + 1. Let x(q) = -q**2 - q + 4. Let t be x(-3). Is n(t) a prime number?
False
Let x be 32/12*(-9)/(-6). Let k(d) = 11*d**2 - 4*d - 3. Is k(x) a prime number?
True
Let d be 1 + -1*(-1)/1. Suppose 6*i = d*i + 316. Is i prime?
True
Let z = 64 - 74. Let n be (64/(-6))/(2/(-6)). Let s = z + n. Is s composite?
True
Suppose -3*x + 51 = -39. Let j = x + -19. Is j a composite number?
False
Is 3/(-9) - 10544/(-6) a prime number?
False
Let h be (15/(-12))/(2/(-8)). Suppose -2*z = -2*r, -9 = -2*r - 1. Suppose 0 = -4*g, -z*w - h*g + 235 = w. Is w a prime number?
True
Suppose -f = 5*t - 30, -3*t - f + 22 = 2. Suppose t*k + 40 = 5*u, 10*k + 5*u = 5*k. Is k/18 + (-281)/(-9) composite?
False
Let z = -10 + 15. Suppose 5*p = z, 2*p = -0*o + 5*o - 453. Is o prime?
False
Suppose 3*f - 5*p - 178 = 0, -f + 5*p + 12 = -34. Suppose w - f = 91. Is w a prime numbe