
True
Is ((-2237)/(-2))/((36/8)/9) prime?
True
Suppose 0 = p - 3*p - 4008. Is p/(-30) + 1/5 a prime number?
True
Suppose -4*k + 557 + 2213 = 2*j, 3*j - 3461 = -5*k. Is k prime?
False
Suppose 11 = 5*x - 4*d, -1 = x - d - 4. Is (134/4)/(x/(-2)) a composite number?
False
Is (-435)/(-21) + 4/14 a composite number?
True
Suppose 0 = x + 2*x - 5*v - 132, -5*x + 236 = -3*v. Is x prime?
False
Suppose 0 = -0*a + 2*a - 254. Is a a composite number?
False
Let i(f) = f**3 + 13*f**2 - 5*f + 11. Let a be i(-8). Let v = a + -157. Is v a prime number?
False
Suppose -2*g + 0 + 10 = 0. Let w(u) = -5*u**2 + 8*u + 4. Let m(l) = 14*l**2 - 23*l - 11. Let y(d) = -6*m(d) - 17*w(d). Is y(g) a composite number?
True
Suppose 9*m = -1338 + 5001. Is m a composite number?
True
Is 18/(-99) - (-18603)/11 a composite number?
True
Let k = -32 + -29. Let z(i) = 2*i + 8. Let f be z(-8). Let h = f - k. Is h a composite number?
False
Suppose 1 = -2*b - q - 17, b + 5*q + 18 = 0. Let p(h) = -2*h**3 - 11*h**2 - 3*h - 9. Is p(b) composite?
True
Is 4/(-26) - 151745/(-143) a composite number?
False
Let l(z) = z**3 - z**2 - 49*z + 3. Is l(8) a prime number?
True
Let y(j) be the first derivative of j**3/3 - j**2 + 11*j + 3. Is y(-8) composite?
True
Suppose 4*d + 2*r - 6 - 4 = 0, -r - 7 = -d. Suppose d*t - 32 = 4. Is t composite?
True
Let x = -16 + 231. Is x a prime number?
False
Is (3/(-9))/((-2)/1146) a composite number?
False
Let n(p) = -8*p + 5. Let w(k) = -7*k + 6. Let m(c) = -6*n(c) + 7*w(c). Let y be m(10). Suppose 0 = y*t + t - 45. Is t a prime number?
False
Suppose 4*s + 3*v = -4, 4*s = -4*v - 10 + 2. Let y be ((-6 - -4)*25)/(-2). Suppose -13 - y = -s*l. Is l prime?
True
Let x be 0 + -3 - (-1)/1. Let s(o) = -7*o**3 - o**2 + 3*o + 1. Is s(x) prime?
True
Suppose -5*g = 5*l - 2*l - 3994, 3*l - 9 = 0. Is g prime?
True
Let s(h) = -18*h + 3. Let y(k) = -6*k + 1. Let z(q) = 2*s(q) - 7*y(q). Let i(l) = -l**3 - 5*l**2 - 5*l. Let u be i(-4). Is z(u) prime?
True
Suppose -3 = s - 5. Let k be s/5 + (-22)/55. Suppose k*i + 2*i - 3*a = 105, -i + 45 = -4*a. Is i a prime number?
False
Let n = -29 + 41. Suppose n = 5*y + 2. Suppose 145 = y*h + 43. Is h a composite number?
True
Let o(z) = 2*z**2 - 13. Let c = 23 + -34. Let t be o(c). Suppose -2*h = s + 3*h - 110, -h = 2*s - t. Is s a composite number?
True
Let f = -51 + 104. Is f a prime number?
True
Suppose -4*k - 5*n + 22 = -3, -2*k + 12 = 2*n. Suppose -k*z = -137 + 2. Let w = z - -22. Is w prime?
False
Let l = -3 + 5. Is ((-552)/l)/(-3) + 1 prime?
False
Let s(l) = -l**2 + 26*l - 4. Is s(11) prime?
False
Suppose -5*s - 15 = -b, -5*b - 29 = -0*s + s. Let q be (-2)/(-5) - 8/b. Suppose q*o - 1 = 43. Is o a prime number?
False
Suppose -3*i - 650 = -x, 8*x - 5*i - 3240 = 3*x. Is x a prime number?
True
Let z(k) = -k**3 + 3*k**2 - 6*k + 5. Let u(c) = 2*c**3 - 7*c**2 + 12*c - 10. Let d(t) = -2*u(t) - 5*z(t). Is d(6) prime?
True
Let z(x) = -x**2 - 7*x + 1 + 5 + 2*x**2. Let c be z(5). Let s = 17 + c. Is s a composite number?
False
Let v(z) = -z**3 + 5*z**2 - 5*z + 3. Suppose 8 + 5 = 3*f - 2*c, 2*c - 11 = -5*f. Suppose -f*j + 6 + 3 = 0. Is v(j) a prime number?
False
Let z(s) = 32*s + 3. Is z(13) a composite number?
False
Let t(z) = 27*z**2 - 4. Let p(v) = -v**3 - v + 4. Let m be p(0). Let j be t(m). Suppose x = n + j, 4*x - 5*n - 1270 = 439. Is x prime?
True
Suppose -3*x - a - 258 = -691, -588 = -4*x + 4*a. Is x composite?
True
Let l = 7 - 5. Suppose z = l*z + 26. Is (z/(-4))/(3/42) composite?
True
Let z be (3/(-2) + 1)*106. Let v = -15 - z. Is v prime?
False
Let m be -9*(-1)/6*4. Let y be (0 + 1)/((-3)/(-27)). Is ((-78)/y)/((-2)/m) a prime number?
False
Let b(d) be the second derivative of -d**3/6 - 5*d**2 - 4*d. Let u be b(-8). Is 2/4 + (-173)/u composite?
True
Let g(l) = -642*l**3 - l**2 - l - 1. Is g(-1) composite?
False
Let i = 1349 - 237. Let r = i + -435. Suppose -3*c + r = 2*z, -3*z + 904 = 6*c - 2*c. Is c a composite number?
False
Suppose 0*f = -5*f + 695. Let s = 534 - f. Is s a composite number?
True
Let b(f) = -f**2 + 3*f - f**2 + f. Let w be b(3). Is (-43)/(-3) + w/(-9) a prime number?
False
Suppose 0*i - 1334 = -2*w + 4*i, -w - 4*i = -679. Suppose w = 4*v + 163. Is v prime?
True
Suppose -5*m = 2*z + 10, 4*m - 5 = 3*m + z. Suppose 0 = -m*g - 4*g + 1868. Is g a prime number?
True
Suppose -2*t = -156 + 2. Is t prime?
False
Let f(c) = -c**3 - 3*c**2 + 9*c + 10. Is f(-5) a prime number?
False
Suppose 10 = 5*q - 0*q. Let n(v) = -v**2 - v. Let d be n(1). Is (2 + -27)*d/q a composite number?
True
Is (-1 + (-269)/(-2))*(-26 + 28) composite?
True
Let m(r) be the second derivative of -r**3/6 - 11*r**2/2 + 2*r. Let f be m(-8). Is (9/f)/3 - -92 composite?
True
Let h(t) = -t - 9. Let n be h(-8). Let f(p) = 6*p**2 + p. Let x be f(n). Suppose -2*k + 175 = 5*b - 220, -x*k = -25. Is b prime?
False
Suppose 0 = 2*n + 3*q + 239, -5*q = -2*n - 0*n - 279. Let c be (1 + -2)*2*n. Suppose 2*v - 4*v = -c. Is v a composite number?
False
Let u(y) be the third derivative of -y**4/4 - 5*y**3/6 - 2*y**2. Let s = -3 - 4. Is u(s) composite?
False
Let g = 91 + 0. Is g a composite number?
True
Let f be 9 + 3/3*0. Is (3 - 0)/f*42 composite?
True
Let i(t) = t**2 - 2*t. Let v be i(-4). Let h(y) = -3*y**2 - 3*y - 1. Let d be h(-5). Let u = v - d. Is u prime?
False
Suppose 4*t - 2*g + 0*g - 1980 = 0, g - 1992 = -4*t. Suppose -5*i - 3*w = -t, -i = i - 5*w - 205. Let y = i + -21. Is y prime?
True
Let q be ((-4)/(-6))/(4/18). Let y be 5 + -1 + -1 + q. Suppose -l = 3*z - 72, -2*z + y*z + 3*l = 101. Is z a prime number?
True
Let z(x) = 5*x**2 - x + 191. Is z(0) prime?
True
Let f(a) = a**3 + a**2 - 3*a + 1897. Is f(0) a composite number?
True
Suppose 5*o - 79 = 61. Is 4/(-14) - (-2444)/o a prime number?
False
Suppose -40 = a - 333. Is a prime?
True
Suppose -5*h = -2*h - 669. Is h prime?
True
Let b = 6 + -3. Let g = b - 4. Is 2*(g - 0)*-11 prime?
False
Let o = 502 - -2275. Is o a prime number?
True
Let p = -2446 + 6549. Is p composite?
True
Let t = 91 - 25. Let j(c) = 2*c**2 - 6*c - 5. Let y be j(4). Suppose 2*g - y*v - t = 2*v, 0 = 2*v + 8. Is g composite?
False
Let v be 1/(-2)*-1*0. Let n(b) = b**2 - b + 373. Is n(v) prime?
True
Suppose 2*g = 1854 + 1232. Is g composite?
False
Let p(n) = -6*n + 4 - 1 - 2. Is p(-6) a prime number?
True
Let p(b) = 2*b**3 + 7*b**2 + 7*b + 2. Let r be p(6). Suppose 3*h - 4*d = 28 + 517, 5*d + r = 4*h. Is h prime?
False
Suppose -4*n + 8 = 0, -5*n + 1277 = 5*s + 122. Suppose -6*b + 582 = -30. Let p = s - b. Is p a composite number?
False
Is 1/4 - 4518/(-8) - 0 a prime number?
False
Let r(u) = -u - 9. Let y be r(-9). Suppose -17 - 230 = -5*w - 4*q, y = 5*q - 15. Is w a prime number?
True
Let h(x) = -2 - 2*x - 5*x + x. Let y be (-3 - -4 - -5)*-1. Is h(y) prime?
False
Let z be 54/14 - (-5)/35. Is 426/14 - z/(-7) a composite number?
False
Suppose -699 = 4*q + 113. Let u = -76 - q. Is u a composite number?
False
Suppose 5*t + 19 = 2*s + s, 5*t - s = -23. Let q = t - -38. Is q a composite number?
True
Suppose 5*w + 5*h - 36 = 34, 0 = -3*w + 5*h + 2. Let q = w - 7. Suppose -30 = -q*d + 12. Is d a prime number?
False
Let c(p) = -4*p - 7. Let f(a) = -12*a - 22. Let u(b) = -16*c(b) + 5*f(b). Let i(d) = 13*d + 7. Let r(q) = 3*i(q) - 8*u(q). Is r(4) composite?
True
Let c(y) = y**2 + y - 387. Let z(k) = 3*k**2 + 2*k - 773. Let f(u) = -5*c(u) + 2*z(u). Is f(0) a composite number?
False
Suppose -5*c - 4*n + 687 = -4*c, -n = -2*c + 1329. Is c composite?
True
Suppose -o + 2*w + 2*w = -219, 4*o + 2*w - 894 = 0. Is o a prime number?
True
Let f(t) = -172*t**3. Let s be f(-1). Suppose 0 = -4*y + 4*n + s, 0*n + 4 = n. Is y a composite number?
False
Suppose 3*p - o - o - 1483 = 0, 4*p = -5*o + 1939. Is p a composite number?
False
Suppose 2*t = 3*t - 3. Let m be 1/(1 + t/(-6)). Suppose -m*q + 26 + 12 = 0. Is q prime?
True
Let q(w) = w**3 + 9*w**2 - 4*w + 1. Suppose 17 - 44 = 3*r. Is q(r) a composite number?
False
Suppose 10 = -2*s, z + z - 126 = 4*s. Suppose -2*g + 25 = -5*u, -4*g - u + 23 = -2*u. Suppose g*x = 4*x + z. Is x a composite number?
False
Suppose 0*f = -f. Suppose f = -6*y + y - 20. Is (y/(-6))/((-12)/(-234)) a prime number?
True
Let o = -40 + 1. Let q = o - -72. Is q a composite number?
True
Suppose -2*w - y = 39, 4*w + w - y = -101. Let j be (-5)/w + (-455)/(-4). Supp