composite number?
False
Suppose -20 = 6*m - 11*m. Let w(a) = -4 - m*a + 0 + 3*a. Is w(-6) a prime number?
True
Let v = 722 - 336. Suppose 5*n + 0*n + u = 640, 0 = 3*n + u - v. Is n composite?
False
Let w = 299 - 76. Is w a composite number?
False
Let y(a) = a**2 - 7*a - 2. Let x be y(7). Let o = 1 - x. Suppose -p + o*p = 62. Is p prime?
True
Suppose 0 = -0*n - 4*n - 452. Let r = -60 - n. Is r prime?
True
Let t = 49 + -274. Let f = t - -578. Is f prime?
True
Suppose -4*f - 12 = -7*f. Suppose -5*g + 4*u = -403, -f*g + 5*u - u + 324 = 0. Is g a prime number?
True
Is (-2 + -1 + 2)*908/(-2) a composite number?
True
Let y(b) = -b**3 + 5*b**2 - 2*b - 4. Let p be y(4). Is 2 - -255 - (7 - p) composite?
True
Suppose 2*m = -2*f + 1 - 3, -4*m - 20 = 0. Suppose 4*u = f*z - 44, 4*z = u + 2*u + 39. Let t = z - -41. Is t prime?
True
Let y(b) = 3*b**2 - 1. Let r be y(1). Let f be 2/4 + 14/4. Is (-1)/r - (-126)/f a prime number?
True
Let g be 2/(-7) - (-37)/7. Suppose 4*y = -0*t + t - 79, 3*t = g*y + 265. Is t a composite number?
True
Let a(d) = 10*d - 28. Let f be a(8). Suppose 20 = 2*t + 2*t. Suppose -r = -t*r + f. Is r prime?
True
Let x(h) = 3*h + 7. Is x(10) a composite number?
False
Suppose 4*h = 15 + 1045. Suppose -41 = -3*t + h. Suppose -c + t = -107. Is c composite?
True
Let f(k) = 21*k + 1. Let y(c) = -21*c - 1. Let r(l) = 5*f(l) + 4*y(l). Let q be r(2). Suppose -1 = 2*o - q. Is o a prime number?
False
Let n(j) = 0 - 2*j + 1 - 3 + 6*j**2. Is n(-2) a prime number?
False
Let v(u) = u**2 + u + 93. Let z be v(0). Let t(p) = 35*p**2 + 2*p - 2. Let d be t(2). Let i = d - z. Is i prime?
False
Suppose -2*x + 3*x = 94. Suppose -p - p + x = 0. Is p prime?
True
Let b be 1 - (76/(-1) - -3). Suppose b = u + 2*y + 11, 2*y = 4*u - 272. Is u a prime number?
True
Let s(t) = -t**3 + 3*t**2 + 4*t. Let f be s(3). Suppose 12 = 4*k - f. Suppose 8*o = 3*o - 5*d + 5, -2*d = k. Is o a prime number?
False
Suppose -12 = -7*y + 4*y. Suppose y*p + 18 - 102 = 0. Is p a composite number?
True
Let j = 2 - -1. Suppose i - 16 = -j*i. Suppose 199 = 5*g + 3*u, -7*g = -3*g + i*u - 164. Is g prime?
False
Let n(u) = u**2 + 12*u - 36. Is n(25) a composite number?
True
Let b = -8 + 127. Is b composite?
True
Let h = 12 - 8. Suppose -h*v - 1117 = -5*z - 2*v, -4*z - 4*v = -888. Is z a prime number?
True
Suppose -5*w - 819 = -4*z, -269 = -2*z + 2*w + 143. Is z a prime number?
True
Let y be 1*1/((-3)/(-9)). Suppose 3*w - y*p + 1 = -17, p + 2 = 0. Is (-4)/w*52/2 prime?
True
Let o = -56 - -151. Is o a prime number?
False
Let t be (-1)/(-1)*0 + 3. Suppose t = -d + 5. Suppose -d*j - 83 + 241 = 0. Is j prime?
True
Let n = -20 - -51. Is n prime?
True
Let j = -12 + 15. Suppose -2*d + 342 = -0*r - 4*r, 485 = j*d + r. Is d a composite number?
False
Suppose 17 = 4*h + a, 3*a = -5*h + 2*a + 20. Suppose 8*u - h*u = 10. Suppose 10 = 3*s + 3*n + 1, 5*s = -u*n + 27. Is s a composite number?
False
Let q be 3*((-32)/12)/(-4). Suppose q = -5*v + 277. Is v a composite number?
True
Let i(f) = 6*f**2 + 3*f + 1. Let o(y) = y**2 - 5*y - 9. Let r be o(7). Is i(r) prime?
False
Let h = -146 - -257. Is h a prime number?
False
Let n = 1295 + -916. Is n prime?
True
Let d(o) = 5*o**2 + 7*o - 1. Is d(9) composite?
False
Suppose -2 = h - 0*h. Let v be 8/(-10)*5/h. Is (93 - 4)*2/v prime?
True
Let n be ((-36)/(-10))/(12/30). Let d be (-3 + 30/n)*537. Suppose 2*t - 15 = o + d, -4*t + 388 = -o. Is t a prime number?
True
Let i(v) = 41*v - 3. Suppose -6*n = -2*n - 8. Is i(n) a prime number?
True
Suppose 2*q + r = -2*r + 1453, -3*r + 2891 = 4*q. Is q composite?
False
Let i be 1 - 2*(-2)/4. Suppose -282 - 1472 = i*g. Is (-6)/(-9) + g/(-3) a composite number?
False
Let l(w) = 19*w + 7. Let u(z) = z - 1. Let d(y) = -l(y) + 4*u(y). Suppose 10 = -5*p - 50. Is d(p) prime?
False
Suppose -706 - 249 = -5*c. Is c a composite number?
False
Let m = -56 - -111. Is m a prime number?
False
Suppose -20 = -c - 3*c. Suppose -w + 53 = -2*z, 3*w - 92 - 64 = c*z. Is w composite?
False
Let q be (9/12)/((-1)/(-4)). Let r(b) = -b**3 + 3*b**2 + 4*b - 1. Let i be r(q). Let l = i + 10. Is l a prime number?
False
Suppose -232 = -6*a + 1682. Is a prime?
False
Let o = -1 + -1. Let l = 2 + o. Suppose -29 = -0*g - g + 2*y, l = -g + 3*y + 34. Is g a prime number?
True
Let a(t) = 2*t**3 - 7*t**2 - 5*t - 1. Is a(6) a composite number?
False
Suppose -5*k + 4*d + 4405 = 0, -d + 900 = k + 2*d. Suppose -3*v = -2*g + k, 0*g - 3*g + 1344 = v. Is g a composite number?
True
Let w(u) be the first derivative of -u**4/4 + 7*u**3/3 - 5*u**2/2 + 3*u + 2. Is w(4) prime?
True
Is -4*2*251/(-8) a composite number?
False
Suppose b - 10 = o - 3*b, -5*o + 13 = b. Let u = 0 + o. Suppose -3*l + 19 + 14 = -3*x, -4*l + u*x + 36 = 0. Is l composite?
False
Is ((-4)/6)/(32/(-5520)) composite?
True
Suppose 0 = -4*y + 5*y - 93. Is y a prime number?
False
Let u = -50 - -34. Suppose -b - 2 = 1, -3*l + 9 = 3*b. Let a = l - u. Is a a composite number?
True
Let i = -13 - -22. Suppose -42 = -v - i. Is v a composite number?
True
Suppose 5 = 2*y + z, -4 = 2*y + 3*z + z. Suppose -5*u + 4*w + 55 = 0, -2*u + w = y*w + 1. Is u prime?
True
Let n = 19 + 1048. Is n a prime number?
False
Let w = 35 - 20. Is w a composite number?
True
Let v = -438 + 733. Suppose 2*u = 7*u - v. Is u composite?
False
Suppose -2*b = 3*b - 25. Suppose -2*v - 3*t = -12, 5 = b*t - 5. Suppose -3*p = 5*k - 116, -k = -v*k - 10. Is p prime?
True
Let z = 4 + -6. Let w be (-13 - -2 - 2) + -2. Let l = z - w. Is l prime?
True
Let z(h) = -h**3 + 8*h**2 - 6*h - 4. Let g be z(8). Let a = 39 - g. Is a a prime number?
False
Suppose -120 = -2*m - 2*m. Let o be m + (-3)/1 + 0. Suppose 0 = v - 70 - o. Is v composite?
False
Let c(u) = 2*u**2 - 14*u + 25. Is c(10) composite?
True
Let y(z) = 5*z + 1. Let c = 4 + -3. Is y(c) a prime number?
False
Let a be 20/25*10/4. Suppose -a*g + 122 - 30 = 0. Is g prime?
False
Let w = 6 + 7. Let j = -8 + w. Let i(a) = 5*a**2 - 7*a - 1. Is i(j) a composite number?
False
Suppose 2*l + 539 = 5*n, 5*l - 124 = -n - 0*n. Is 2/2*n/1 composite?
False
Let n(s) = -24*s - 5. Suppose 3*g - 4*r = -31, -2*g = -7*g + 4*r - 49. Is n(g) a composite number?
False
Suppose -r + 2*r - 4 = 0, 4*d + r = 140. Is d a prime number?
False
Suppose -3*f - 205 = -t, 4*t + 0*f = 4*f + 812. Is t prime?
False
Let u(t) = 3*t + 2. Let z be u(-2). Let g be 1 + (z*1 - -3). Suppose g*x = 5*m - 2*x - 1089, 672 = 3*m + 5*x. Is m a prime number?
False
Let m = 19 - 18. Is 2454/18*(m - -2) prime?
True
Suppose 4*f + 4*s = 2*s + 10, -f = -5*s - 8. Suppose -n = 2*p + 49, -f*p + 5*n = 3*n + 77. Let a = p - -44. Is a a composite number?
False
Is (-3 + 8/4)*-55 composite?
True
Let k(d) be the first derivative of 11*d**3 + 3*d**2/2 + d - 1. Is k(-2) prime?
True
Let w = 299 + 8. Is w a composite number?
False
Let r(j) = j - 5. Let x be r(7). Is 1/(-4)*x*-110 composite?
True
Let x(p) = -11*p + 12. Let m be x(-9). Let z = m - 22. Is z a composite number?
False
Suppose 4*z = z + 12. Suppose -2*h + w + 11 = 0, h + w = -z*w - 22. Suppose -3*x + 450 = 3*y, -h*y - 3*x = x - 451. Is y composite?
False
Suppose 9 = 5*a - 2*a. Let t = 49 + -31. Suppose -a = -i + t. Is i a composite number?
True
Let q(t) = t**2 - 9*t - 7. Let l be q(10). Suppose -l*j + 3720 = 2*j. Suppose -82 = 2*g - j. Is g a prime number?
True
Suppose -5*z - 5*l = -40, 7*l - 3*l = -5*z + 42. Let h be 12 - (-5)/(z/4). Is 3602/h + 6/(-21) prime?
True
Let c(u) = -u**2 - 7*u + 1. Let i be c(-7). Let w be (-1 - 54/i) + -1. Let y = 123 + w. Is y composite?
False
Let q(a) = 23*a - 2. Is q(11) composite?
False
Let l be (-2)/5*(-10)/2. Let z be (-1050)/(-45) - (0 - 1/(-3)). Let u = l + z. Is u prime?
False
Let i = -612 + 1183. Is i prime?
True
Suppose -3*a - 3 = 5*o - 5, o = -3*a + 10. Suppose -4*r + 5*k - k + 120 = 0, a*k = -5*r + 195. Is r a composite number?
True
Let m = -14 - -19. Is m + -3 + (370 - 1) prime?
False
Suppose y - 14 = 5*o, 5*y + 32 = o + 6. Is (-470)/15*y/4 prime?
True
Let f(o) = -o + 1. Let g(v) = -v**2 - v - 3. Let c(j) = -5*f(j) - g(j). Let n be c(-8). Suppose d - 81 = -n. Is d prime?
True
Suppose 2*r - 779 - 419 = 0. Is r composite?
False
Let q(z) = -6*z - 25. Is q(-10) a composite number?
True
Suppose -7 = -3*d + 2. Suppose -3*v = -0*v + q - 250, -d*v = -3*q - 234. Is v a composite number?
True
