mber?
False
Suppose -m + 11649 + 357 = -p, 0 = -5*m + p + 60034. Is m a composite number?
False
Let u(a) = -100*a - 15. Let s be u(-10). Suppose z - 2*z = 4*l - 319, 0 = 3*z - 2*l - s. Is z a prime number?
False
Let w(o) = -o**3 - 8*o**2 + 9*o + 2. Let q be w(-9). Suppose -3*c + 2*s = -1433, 977 = 2*c + s + q*s. Is c composite?
True
Let s(o) = o**3 + 13*o**2 - 9*o - 11. Let v be s(-11). Suppose -698 = -j + v. Suppose -788 - j = -4*i. Is i composite?
True
Let u = 23277 + -13270. Is u composite?
False
Is (-3*12459/(-9))/(1/1) prime?
True
Suppose 0 = -4*p + u + 7771, -2*p - 17*u + 3887 = -16*u. Is p a prime number?
False
Let x be 10/(-65) + 13576/26. Suppose 4*b = -a + x, 0*a = 3*b - 2*a - 397. Is b composite?
False
Is -87886*(18/(-12))/3 a prime number?
True
Let r = 4008 + 10771. Is r prime?
True
Let n(o) = o**2 + o - 2. Let w be n(2). Let k(j) = 11*j + 2*j**2 + j**3 - 7*j**2 - 1 - w - j**2. Is k(7) prime?
False
Suppose 607*t - 20 = 611*t. Let l(n) be the third derivative of -n**6/120 - n**5/15 + 5*n**4/24 + 7*n**3/6 - n**2. Is l(t) a prime number?
True
Let v(x) be the third derivative of -x**6/120 - 3*x**5/20 + x**4/3 - 13*x**3/6 + 2*x**2 - 1. Is v(-12) composite?
True
Suppose -2*d + 29 = -3*a - 0*a, -5*d - 4*a = -38. Suppose -5*l - 2*m + 22 = -m, 4*l - m - 23 = 0. Suppose d*f = l*f + 35. Is f a composite number?
False
Let x(t) be the third derivative of -71*t**4/6 + t**3/3 + t**2. Let o be x(-2). Is 4/8 - o/(-4) a composite number?
True
Suppose 0 = -4*j - b + 7224, 2*j + 0*j = -5*b + 3612. Let z = j - 1159. Is z a prime number?
True
Let l(f) = f**3 - 6*f**2 - 10. Let x(b) = -b**3 + 12*b**2 + b + 19. Let h(k) = -5*l(k) - 3*x(k). Is h(-4) a composite number?
False
Is (-3)/2 + 564355/62 composite?
True
Is ((-56)/(-12) - 5)/((-1)/14349) a composite number?
False
Let i be (-2658)/3*(-1)/4*2. Suppose u - 356 - i = 0. Is u a composite number?
True
Let t = 651 - 340. Is t a composite number?
False
Suppose 0 = -4*f + 8*f - 24. Suppose 550 = f*j - 176. Is j composite?
True
Let d = -26 - -39. Suppose 460 = d*w - 9*w. Is w a prime number?
False
Let k(l) = l + 5. Let u be k(5). Suppose 145 = 9*o - 80. Is (370/o)/(4/u) composite?
False
Is (-1 + -4)*(-2943884)/620 composite?
False
Suppose 6*l - 3*n - 38 = l, 4*l = -2*n + 26. Suppose -2598 = -l*z + 559. Is z composite?
True
Is (3 + -4)*(5 + (-4 - 19388)) prime?
True
Suppose 0*f - 181146 = 2*f. Is (f/(-27))/7 + 2/(-9) composite?
False
Let j = 925 + -229. Suppose m + j = 3*u, -3*u - 2*u + m = -1162. Is u a composite number?
False
Let i = -7 - -7. Suppose -w + 403 - 25 = i. Let t = w - 184. Is t composite?
True
Let u(i) be the first derivative of 115*i**2/2 + 57*i - 1. Is u(10) prime?
False
Let w = 137467 - 74766. Is w a prime number?
True
Let i be 4/6 + (-4)/(-3). Let v be (2 + -3)/(2/(-10)). Suppose i*h = -v + 387. Is h prime?
True
Let l(h) be the first derivative of -65*h**2/2 + h - 4. Is l(-2) prime?
True
Let l(q) = -23*q**3 + 12*q**2 + 29*q - 5. Is l(-7) composite?
False
Let u(z) = -z**2 + 8*z + 3. Let v be u(7). Let i(s) = s**3 + 9*s**2 + 5*s - 24. Let w be i(-8). Suppose o - v = -w*o. Is o composite?
True
Let o(m) = 212*m + 10. Is o(12) prime?
False
Suppose -13358 = 31*g - 33*g. Is g prime?
True
Suppose 181*d + 39602 = 183*d. Is d composite?
False
Is (-4421)/((-7)/(1 + 6)) composite?
False
Suppose 0 = 3*a + 3*l - 15, 4*l = 4*a + 4 - 0. Suppose -a*v + 2078 = -0*v. Is v a prime number?
True
Suppose 6*g - 12 = 12. Suppose -g*x = -41 - 3107. Is x composite?
False
Suppose -3*u = 3*a - 15, 0*u = a - 2*u - 2. Suppose -2*q - a = -2*d, 0 = q + 3*d + d - 3. Let z(o) = -307*o. Is z(q) a composite number?
False
Let s(c) = -c. Let u(o) = -74*o - 5. Let i = -10 - -4. Let y(v) = i*s(v) + u(v). Is y(-2) a prime number?
True
Let m = 11162 - 3925. Is m a prime number?
True
Suppose 3*x - 5*v - 122 = 0, 4*x - 163 = -2*v - 9. Suppose 10 = 7*t - x. Is t a prime number?
True
Suppose -8 + 5 = 3*h. Is (-6 - -7)/(h/(-89)) prime?
True
Let z(j) = j**3 + 59*j**2 - 77*j - 22. Is z(-45) composite?
False
Let n(k) = 13*k - 42. Let x(s) = 13*s - 41. Let u(o) = -5*n(o) + 6*x(o). Is u(19) prime?
True
Suppose 3*u - 4*u + 3*o = -5, 5*u - 37 = 3*o. Suppose 5*j - 5 = 5*c, j = -j - c + u. Suppose 0 = -j*q + 698 + 61. Is q a composite number?
True
Let d(i) = i**2 + 3*i + 2. Let n be d(-4). Let m be (-34)/(((-16)/n)/(-4)). Let u = 140 + m. Is u a prime number?
True
Let o be 406 + -9*(-4)/(-12)*1. Let z = o - 216. Is z composite?
True
Suppose -2*i - 11*p + 20114 = -10*p, 5*p = 0. Is i a composite number?
True
Let m(v) = v**3 - 11*v**2 + v - 15. Let x be m(11). Let k be x/((-8)/3)*2. Suppose -3*h = -k - 3. Is h composite?
False
Suppose 0 = -j - 3*w - 14, -w + 3 = 4. Let k = -4 - j. Is k composite?
False
Suppose 0 = 4*b - 5*i - 2136, 2*i + 2172 = 5*b - 498. Is (506/69)/(4/b) composite?
True
Suppose -60927 + 24095 = -8*w. Suppose 7*x - w = 3*x. Is x a prime number?
True
Let x = 29 + -13. Let i = -38 + x. Let h = 355 - i. Is h composite?
True
Let i(r) = -2*r**3 - 9*r**2 + 22*r + 49. Is i(-10) a composite number?
False
Suppose 0 = -3*c - 4*o + 9, c - o = -0*o + 3. Suppose 3*b - 2379 = c*g, b - 791 = g - 2*g. Let t = -395 + b. Is t composite?
False
Is (-37922)/(-10) + 8/10 composite?
False
Let a = -5834 - -12095. Is a a prime number?
False
Let c(n) = 196*n. Let z be c(6). Let q = z - 588. Suppose 4*k = 2*m - q + 162, 0 = 2*m + 3*k - 391. Is m prime?
False
Let g(c) = 4*c**2 + c - 7. Suppose -5 = -0*p + 5*p. Let i(r) = 7*r**2 + 2*r + 1. Let t be i(p). Is g(t) prime?
False
Let g(n) = n**2 + 2*n + 3. Let w = -24 - -38. Suppose -w + 4 = 5*f. Is g(f) prime?
True
Suppose 166356 = 28*d - 120952. Is d a prime number?
False
Let w(g) = 720*g - 7. Is w(15) a prime number?
False
Suppose -20*t = -13809 - 259351. Is t a prime number?
False
Let y(c) = 13*c**3 + c**2 + 6*c + 3. Let p be y(-3). Let f = 276 - p. Is f composite?
True
Let q(y) = 50470*y - 81. Is q(1) a composite number?
True
Suppose -6776 = -4*a + 6880. Let f = -1437 + a. Is f a composite number?
True
Let z(n) = -3*n - 14. Let l be z(-6). Suppose 2*c - 2460 = -l*m, -m = 3*c + 3*m - 3688. Suppose 3*k + k = c. Is k a composite number?
False
Let r be 3/(2 - 9/6). Let l(q) = 14*q**2 + 1. Is l(r) prime?
False
Let u = 1017 - 950. Is u composite?
False
Let c(p) = -28*p - 33. Let s be 12/4*-1 + -7. Is c(s) a prime number?
False
Let z be (-4)/(-14) + (-4)/14. Let o be (-46 + z)*(-2)/4. Suppose 0 = 5*y - 3*c - 641, 2*y - o = 3*c + 237. Is y composite?
False
Suppose -35*i + 61*i - 193102 = 0. Is i prime?
False
Suppose -3*p + 303885 = 24*p. Is p composite?
True
Suppose -2*p - 2*h + 226 = 0, -3*h + 93 = p + 2*h. Suppose -1140 = -2*f - p. Is f a prime number?
False
Suppose -4*w + 4 = -0. Let l be ((-144)/(-60) - 4/10)*2. Is ((-69)/(-12))/(w/l) a prime number?
True
Let x = 1436 + -783. Is x a composite number?
False
Suppose 18*b - 9811 = 11987. Is b composite?
True
Suppose -5*q + 34115 = -4*j + 3*j, 5*j = 5*q - 34115. Is q a composite number?
False
Let n be ((-5)/(-4))/1*8. Let u = 12 - n. Suppose 5*g - 1037 - 3 = -5*f, 4*g = u*f + 850. Is g a prime number?
True
Suppose -n = -4436 - 243. Is n a prime number?
True
Let j = 16 + -18. Let u be j - -3 - (0 - -1). Suppose u = -0*t + 2*t - 62. Is t composite?
False
Let l = 7347 - 1408. Is l composite?
False
Suppose -2*f = -2 + 4, 4*g - 3*f = 23. Let q(o) = 6*o**3 - 5. Is q(g) a composite number?
True
Let f be ((-8)/(-52) + (-46660)/(-65))*-2. Let d = -735 - f. Is d prime?
True
Let s(u) = u**2 - 291. Let y(p) = 2*p**2 - 290. Let l(d) = 3*s(d) - 2*y(d). Let v be l(0). Let b = -28 - v. Is b prime?
False
Let r(u) = 10*u**2 - 21*u + 29. Is r(12) composite?
False
Is ((-40722)/165)/(-2*(-1)/(-85)) a composite number?
True
Suppose -4*s + 4*g + 74 = -10, 4*s - g = 75. Suppose 14*n + 7372 = s*n. Is n prime?
False
Suppose -1899 = -3*u - q + 4252, 0 = 3*u - 3*q - 6159. Is u a prime number?
False
Let a = 13 + -10. Let i be (-7 - -1)/a + 2. Suppose u - 2*u - 1830 = -5*b, i = 4*b - 4*u - 1448. Is b composite?
False
Suppose -y = -4*x + 108135, 22*x - 17*x - 135150 = 5*y. Is x a prime number?
False
Let j(r) = 2*r + 29. Let f be j(-13). Suppose 3*o + 5*a - 323 = 0, -f*o + 4*a = o - 420. Is o prime?
False
Suppose 0 = -19*y + 18751 + 164580. Is y prime?
True
Suppose 2*u = -4*u + 12. Let w be (-