Let l = 146 + -20. Let q = l + -37. Is q a prime number?
True
Suppose 0*a - 4*a = 5*q + 11755, 0 = -a + 3*q - 2943. Let s = a - -4699. Is s prime?
True
Suppose 4*h = 27 - 39. Suppose 8*m = 3*m - 2*v - 5, -3*m - 4*v - 17 = 0. Is 147*m - 1 - h a prime number?
True
Let c be 885 + (1 - 1)/1. Suppose -t = -c - 1331. Let v = t + -249. Is v a composite number?
True
Let s(b) = -b**2 - 4*b + 5. Let i be s(-4). Suppose -i*t + 7030 = 5*t. Is t a composite number?
True
Is -4*1222053/(-308) + 4/22 a composite number?
True
Is 4552 - (-9)/(45/(-25)) a prime number?
True
Let c(w) be the second derivative of w**4/3 - 4*w**3/3 - 13*w**2/2 - 8*w. Is c(-10) prime?
True
Suppose 3*y - 52 = 8. Suppose 24*w = 21*w + 12. Suppose -2*x = z - 123, w*x + y = -x. Is z composite?
False
Suppose 3*q - 41432 = 3*m - 4*m, 3*m - 41430 = -3*q. Is q a prime number?
False
Let i = -17 - -14. Let z = i + 8. Let f(d) = 3*d**2 - 3*d - 5. Is f(z) a prime number?
False
Suppose 0*b + 5*b - 17561 = 4*n, -5*n = -5*b + 21955. Let v = -1461 - n. Is v prime?
False
Let z(s) = 2. Let y(m) = -3. Let t(j) = 3*y(j) + 4*z(j). Let g(n) = 17*n. Let r(x) = g(x) + 2*t(x). Is r(1) composite?
True
Is (-7)/((-20097)/149715 - 4/(-30)) prime?
False
Is (-2 + (-16)/(-4) + -3)*-3607 a composite number?
False
Let h(u) = 2*u**2 + 10*u - 6. Let w(n) = -n - 1. Let l(d) = h(d) + 5*w(d). Let a be l(6). Let b = 174 - a. Is b a prime number?
True
Let u(d) = d**3 + d**2 + 3*d + 6983. Is u(0) composite?
False
Let w = -41937 - -70664. Is w composite?
True
Suppose -3*z - 1075 = 266. Let u = -262 - z. Is u prime?
False
Suppose -7884096 + 2480479 = -67*j. Is j composite?
False
Suppose -47*a + 1739911 - 131994 = 0. Is a a composite number?
False
Suppose -4*z = -2*z - 34. Is 3793/z - 10/85 a composite number?
False
Let s(g) = 1106*g**2 + 35*g - 2. Is s(-5) a composite number?
True
Let n(s) = -12*s - 18*s + 3*s + 2. Let t = 21 + -24. Is n(t) a prime number?
True
Let s(f) = f - 1. Let o(l) = -2072*l. Let v(b) = 3*o(b) - 3*s(b). Let t be v(2). Is t/(-39) - 14/(-91) a prime number?
False
Suppose -4*f - 133 = c - 1908, -8815 = -5*c - 5*f. Is c a prime number?
True
Let g be ((-429)/(-3))/((5/(-24))/5). Let b = 203 - g. Is b composite?
True
Let u be 102/14 - (-12)/(-42). Let a = u + 184. Is a a prime number?
True
Suppose -5*a + 3*f + 8 = -9, 3*a + f = 13. Let k = 7 + a. Suppose 0 = -s + 222 - k. Is s composite?
False
Let p = 120 - 7. Is p a prime number?
True
Let p(x) = 8*x**3 + 8*x**2 - 12*x + 35. Is p(11) a prime number?
True
Let s = -495041 - -798790. Is s prime?
True
Let a = 16457 - 4668. Is a a prime number?
True
Let r = -13 - -23. Suppose n + 7767 = r*n. Is n a composite number?
False
Let m(l) = 3*l**3 + 6*l**2 - 6*l + 3. Let p = -17 + 3. Let b(k) = -k**3 - 13*k**2 + 13*k - 10. Let n be b(p). Is m(n) composite?
True
Let z = 380 + -61. Is (0 + 92)*z/44 prime?
False
Suppose -6*p - 4 + 4 = 0. Let k(h) = 2*h + 103. Is k(p) composite?
False
Let x = -5068 - -1865. Is (x*4/10)/((-4)/10) composite?
False
Suppose -5*r + 251 = -5*q + 76, 202 = 5*r + 4*q. Let d = r - -69. Let p = d + -60. Is p a composite number?
False
Let t be (20/90)/(51/(-27) - -2). Is -33*((-74)/t + 30/(-45)) a composite number?
True
Let h be (-10)/15 + (-272)/(-3). Let g = 111 - h. Is g a composite number?
True
Suppose 30*l = 297014 + 262816. Is l a composite number?
False
Let m(i) = 15*i**2 - 6*i - 5. Let p(a) = a**3 + 5*a**2 + 5*a + 3. Let b be 18/63 - (-23)/(-7). Let u be p(b). Is m(u) a composite number?
False
Suppose 0*s - 2*s = -12. Suppose -2*i + 7*q = 6*q + 28, 3*i - 4*q = -52. Is i/72 + 2275/s a composite number?
False
Let j = 26748 - -2983. Is j composite?
True
Let x(h) = -5*h**3 + h**2 + 2*h + 9. Let j(r) = -11*r**3 + 2*r**2 + 3*r + 18. Let a(v) = 2*j(v) - 5*x(v). Is a(7) composite?
True
Suppose 0 = 16*m - 1276 - 1444. Let q = 10 - 6. Suppose u - q = 0, 0 = -2*y + 4*y - 5*u - m. Is y a composite number?
True
Let b be 1 + 2 - 1*-14. Let j = b + 2. Suppose -j*l = -22*l + 669. Is l a composite number?
False
Let s(d) = -d**3 + 19*d**2 + 2*d - 26. Is s(-22) a composite number?
True
Suppose m = 5*o + 36160, 6*m - m - 180935 = -2*o. Is m prime?
False
Suppose -l = -0*l + q, 5*q - 15 = 0. Let g be 2*(7494/(-4))/l. Let j = g - 842. Is j a composite number?
True
Suppose -3*t + 5*b = -2642, b - 894 = -4*t + 3*t. Let u = -584 + t. Is u a composite number?
True
Let q(c) = 4*c - 15. Let i(x) = -21*x + 74. Let a(w) = 2*i(w) + 11*q(w). Let u be a(9). Is (u - (-3318)/(-4))*-2 prime?
True
Suppose -2158 = -9*g + 16841. Is g a prime number?
True
Suppose p + 0*p + 19 = 4*a, -5*a - 2*p + 14 = 0. Let k(i) = 2*i**3 - 2*i**2 + 7*i - 13. Is k(a) a prime number?
False
Suppose 0 = x, -x + 0*x = -5*v + 7705. Let i = -862 + v. Is i a composite number?
True
Let x(d) = d**3 + d**2 - d - 1. Let o be x(2). Suppose -o - 3 = -4*k, k - 11 = 2*m. Is (-1660)/(-6)*(-6)/m a composite number?
True
Let k be 534/(-8)*16/(-6). Let v = 13 + k. Is v composite?
False
Let q = -21 - -11. Let x = -6 - q. Suppose 5*k - 3*f = 194, 0 = k - f + x*f - 28. Is k composite?
False
Let g = -10105 + 21194. Is g prime?
False
Let j = -1453 + 2191. Let v = 2209 - j. Is v composite?
False
Let d(f) be the second derivative of 39*f**5/20 - f**4/4 + 5*f**2/2 + 50*f. Is d(4) prime?
False
Suppose 440*u - 21005 = 435*u. Is u composite?
False
Is 32122 + (-1 + -3 - (-4 - -5)) prime?
True
Let b(y) = y**2 + 12*y - 21. Let i be b(-15). Let z = 10 - i. Is (-2250)/z - 12/(-42) a prime number?
False
Let j be -1*3*8/(-12). Suppose j*i + 5*w - 175 = 6*i, -w - 1 = 0. Let f = i + 268. Is f a composite number?
False
Let c(u) be the first derivative of 2*u**3/3 - 3*u**2 + 7*u + 134. Let w = 13 - 4. Is c(w) prime?
False
Let l(k) = 1196*k**2 - 4*k - 11. Is l(-8) composite?
True
Is (7/(14/9942))/3 a composite number?
False
Let c be (-33 + 40)*120/14. Suppose -5*d = 2*y - 51, d + 22 = 5*y - 4*y. Suppose -w + c = -y. Is w a prime number?
True
Suppose -9*k + 6 = -6*k. Is k*(-3)/(6/(-1381)) prime?
True
Let m(i) = -i + 5. Let k be m(0). Is (-1 + k)*(-2435)/(-20) a prime number?
True
Let z(l) = -2*l + 18. Let t be z(6). Is 3*17/t*4 composite?
True
Let q = -3983 + 6848. Suppose 6*h - h + q = 0. Let k = h - -1714. Is k prime?
False
Let t be ((-21)/(-9) + -1)/((-2)/(-597)). Is t/(1/(5/10)) a composite number?
False
Suppose -33087 = -9*s + 29004. Is s prime?
True
Suppose 6*x + 27008 = 4*f + 10*x, -f + 6747 = -4*x. Is f composite?
True
Let v be 38/10 - 28/35. Suppose -v*c = c - 1828. Is c a prime number?
True
Let k(x) = x**2 - 11*x + 4. Let f be k(11). Suppose -5*h = z - 4*z - 8, -f*h + 2 = 2*z. Is (-22)/(h - 20/12) prime?
False
Let w(c) = 1 + 3*c + 3*c + 3*c**2 - c + 3. Let d be w(11). Suppose 0 = 4*l - 6*l + d. Is l prime?
True
Let m(d) = 2*d**2 + 33*d + 10. Let w be m(-16). Is -4 + w/(-3) + 196 composite?
True
Suppose 3*n - 4*l = 1151, 88*n = 86*n - l + 760. Is n composite?
True
Let s(c) = c**3 - c**2 + c - 16. Let k be s(3). Let d(l) = 43*l**2 - 12*l - 6. Is d(k) composite?
False
Let y = 5 - 0. Let k(d) = 32*d - 1. Let w be k(7). Suppose -38 = y*n - w. Is n composite?
False
Let s(y) = 15*y - 2. Let m(l) = -l**2 - 30*l + 4. Let n(z) = -3*m(z) - 7*s(z). Let i be n(10). Let w = i - 69. Is w composite?
False
Let k be (-1785)/28 + (-3)/(-4). Let n be (-18)/k - (-66)/14. Suppose -61 = -2*q + 3*b, -q = -n*q - 5*b + 67. Is q a composite number?
False
Suppose 0 = -57*s + 58*s - 2. Suppose 3*u - 1323 = -2*g - s*u, -3*u = g - 660. Is g a composite number?
True
Suppose 4*b = 130858 + 261466. Is b a prime number?
True
Let p(z) = 241*z**2 - 15*z + 58. Is p(-9) a composite number?
True
Let z = 63025 + -17718. Is z a prime number?
True
Let h = -406 - -895. Let q = 325 + -623. Let c = q + h. Is c a composite number?
False
Suppose -2*u + 0*u - 3*b = 19, 53 = -5*u - 2*b. Let s(v) = -37*v - 5. Let q be s(u). Suppose -4*n - 2*l = -2*n - 412, -2*n - 4*l = -q. Is n a prime number?
True
Let a(g) = 726*g + 1. Is a(3) a composite number?
False
Let r = -8 + 8. Let u be (-5 - r)/(-1) + -1. Suppose -4*j - 103 = -3*i, 3*i - 117 = -u*j + j. Is i prime?
True
Suppose k = -0*k + 3. Suppose 5*x = k*x + 404. Is x composite?
True
Suppose -3*l - 7394 = -2*m - 3*m, -1471 = -m - 2*l. Is m composite?
True
Let l be (-8)/(-16) + (-5898)/(-4). Is l + (0 - -1)*2 a prime number?
False
Let c 