?
True
Let u = -39 - -39. Suppose -c - 2*c + 1335 = u. Is c prime?
False
Let b(z) = 177*z + 14. Let r be b(-12). Is ((-1)/2)/(5/r) a composite number?
False
Let s be 2/3 - 62/(-6). Let h(g) = -5*g**2 + g**3 + 11 + 0*g - 3 - 2*g**2 + 8*g + 3*g. Is h(s) prime?
True
Let v be (-5)/(-2)*582/3. Let k = 778 - v. Is k a prime number?
True
Suppose 55785 = -32*u + 35*u. Is u composite?
True
Let f be -3*1*(-8)/12. Suppose 3*r - 5*c - 18 - 15 = 0, f*r - c = 15. Let b = r - -31. Is b prime?
True
Let i(r) = 3*r**3 + 10*r**2 - 7*r + 27. Is i(11) a composite number?
False
Suppose 2*v = -4*o - 274, -2*v - 113 = 5*o + 164. Let q = -188 - v. Let p = 168 + q. Is p composite?
True
Let u be (-9722)/4 + (-13)/26. Let p = -1730 - u. Is p a prime number?
True
Suppose 4*l = 2*m, m - l - 1 = 2*l. Let g be 2 + -2 + (m - -2). Suppose 191 = q - g*q. Is q prime?
True
Let l = 25566 - 6777. Is l a composite number?
True
Suppose 0 = -51*z + 131*z - 1453360. Is z a prime number?
False
Let u(h) = -22*h - 1. Let w be u(-4). Let g = -19 - -23. Let n = w - g. Is n composite?
False
Let v(b) = 117*b**3 - b - 5. Is v(2) a prime number?
True
Suppose -2*t = 3*n - 528529, -n - 704704 = -5*n - 3*t. Is n prime?
True
Let n = 1400 + -2818. Let p = 2125 + n. Is p composite?
True
Is (6/1)/6 + 2098 a composite number?
False
Suppose 2*i - 6*i = 4*p - 724, 5*p + i - 925 = 0. Suppose -p = -v + 145. Is v composite?
False
Suppose 23 = 5*u + 4*x + 3, 3*u - 19 = -x. Suppose -5*d + u = -d. Suppose -d*w = -0*w - 298. Is w prime?
True
Suppose 2*s = 3*s - 5*l - 4527, -2*s - 4*l + 9054 = 0. Is s/18 - (-1)/(-2) a prime number?
True
Suppose -27 = -u - 25. Suppose -14990 = -8*m - u*m. Is m a prime number?
True
Let u(k) = -1150*k**3 + 2*k**2 - 1. Is u(-1) composite?
False
Let h = 23 - 26. Let k(q) = 2*q**2 + q - 4. Let p be k(h). Let w(v) = v**3 - 3*v**2 + 17*v - 16. Is w(p) composite?
True
Let q(n) = 2*n**3 + n**2 + 2*n + 1. Let r be q(-2). Let g = -88 + 236. Let i = g + r. Is i a composite number?
True
Let i = -47170 - -67601. Is i prime?
True
Let j = 26 - 8. Is 839/(-1)*-3*6/j a prime number?
True
Suppose -1704 = -5*u + 381. Suppose -u = -2*d - d. Is d composite?
False
Suppose 2*x + 3 = 1. Let c(v) = 791*v**2 + v. Let f be c(x). Is (15/(-6))/(-5)*f a prime number?
False
Let j be 1/4 - (-5644)/16. Let u(n) = 7*n**3 - 5*n**2 - 5*n + 6. Let f be u(6). Suppose -5*c + f = j. Is c prime?
True
Let a be 6/((-6)/(-13)) - -1. Suppose 565 = 19*v - a*v. Is v a prime number?
True
Let h(w) be the third derivative of 157*w**6/120 - w**4/24 + w**3/6 + 2*w**2. Let b = -1 - -2. Is h(b) composite?
False
Suppose 0*u = -4*u + 20. Let f = -11 - -15. Suppose -o = -u*d - 89, -f*o = d - 3*d - 428. Is o a composite number?
False
Let t = 49 - -2197. Is t a prime number?
False
Let t(r) = 199*r**3 - 9*r**2 - 4*r + 7. Is t(4) prime?
True
Suppose 0 = t - 980 - 429. Is t prime?
True
Let p = -18 - -20. Let g(k) = -k - p*k**2 - 9*k**3 - 3*k**2 + 9*k**3 + 9 + k**3. Is g(6) prime?
False
Let l(z) be the first derivative of 26*z**3/3 + z**2/2 + z + 26. Is l(6) composite?
True
Let q = 1066 - 595. Is q a prime number?
False
Let t be (3 - 3) + (3 - 5). Let x(i) = -289*i - 7. Is x(t) prime?
True
Suppose -2*j - 5*v = -8616, 5*j = 4*v + 8871 + 12636. Is j a prime number?
False
Let a = 90 + -84. Suppose -4*s - 4434 = -a*s. Is s composite?
True
Let v = -2 + 6. Suppose 58 = -l - t + 748, 2763 = v*l + t. Is l prime?
True
Let w be 4/20 - (-9)/5. Suppose -3*z - 2*k - 21 = k, 3*z + w*k + 16 = 0. Is 970/5 + (-5 - z) composite?
False
Let n(r) = 266*r**3 - 2*r + 1. Let q be (-12)/(-8)*24/9. Suppose 7*z - q*z = k + 8, -4*z + 15 = 3*k. Is n(k) a composite number?
True
Let s = 32 + -44. Is (-6)/s - 4105/(-2) a composite number?
False
Let s(f) = 3*f**2 - 3*f + 107. Is s(19) a composite number?
True
Let x = 10424 + -4303. Is x a composite number?
False
Let r(n) be the third derivative of n**5/20 + 3*n**4/8 - n**3/2 - n**2 + 38*n. Suppose -15 = 2*m + 3. Is r(m) prime?
False
Let h = 2732 + 396. Suppose -4*t + 8164 = h. Is t prime?
True
Let u(m) = 4335*m**3 - 5*m**2 + 4*m - 1. Is u(2) a composite number?
False
Let k(w) = 11 - 23*w + 2*w**3 - 3*w**3 - 45*w**2 + 3*w + 32*w**2. Is k(-14) composite?
False
Suppose -43*g + 26095 = -26*g. Is g a composite number?
True
Is (8/10)/2 - (-36175038)/1230 a composite number?
False
Suppose 28 = -4*f - 5*t, 4*f + 2*t = -0*t - 16. Let m be 6*(-1 - f)/2. Suppose 3*l - 2*h = -l + 452, 0 = m*l - 2*h - 337. Is l composite?
True
Is -7 + 6806 + 1 + (6 - 3) prime?
True
Let b = 11 - 6. Let a be (-4)/8 - 7/(-2). Suppose 2*d = a*d - 3*j - 55, -351 = -b*d - 4*j. Is d composite?
False
Let b(y) = 904*y + 161. Is b(8) a composite number?
False
Suppose -3*x + 6 = m - 7, x - 4*m = 13. Let k(u) = -7 - 18 - 30*u - 6 + x. Is k(-8) composite?
True
Let y be (2 + -5)/(6/(-4)). Let h(x) = 79*x - 3. Is h(y) composite?
True
Suppose 0 = 35*j - 26*j - 801. Suppose z - 185 = -4*u, z = 2*u - 2*z - j. Is u composite?
True
Let w(q) = -21*q**2 + 5*q - 4. Let k be w(3). Let b = k + 321. Let h = -64 + b. Is h prime?
True
Let u(h) = 383*h - 9 + 23 - 13 - 9. Is u(5) prime?
True
Let f(k) = 2287*k - 6. Suppose z = -0*z + 3*b - 2, -5*z + 1 = -4*b. Is f(z) composite?
False
Let d = -63 + 67. Suppose d*z = 177 + 19. Is z a composite number?
True
Let a(y) = 7*y - 4. Let k be a(2). Suppose m - k + 6 = 0. Suppose -5*p + 186 = -v, -190 = -m*p - p + 5*v. Is p a prime number?
True
Let p be (-60)/9 + (-4)/(-6). Let r = p + 146. Suppose -3*s + 0*i + r = 5*i, s = i + 60. Is s a prime number?
False
Let q(l) = 12463*l**2 + 5*l - 1. Is q(-1) a composite number?
False
Suppose -4*b + 0*b + 229852 = 2*u, 5*b + 2*u - 287313 = 0. Is b a prime number?
False
Let w(q) = 98*q**2 - 16*q - 20. Is w(-11) composite?
True
Let i(g) = 48*g + 11. Let c be i(12). Let j = c + 945. Suppose -15*v + 19*v - j = 0. Is v a composite number?
False
Suppose t - 5*j = 970 + 2811, -2*t = -3*j - 7576. Is t prime?
False
Suppose 11 = 2*v + 7. Suppose 8*y = v*y + 1506. Is y a composite number?
False
Is 1185 - 1 - (-23 - -16 - -4) composite?
False
Let p be ((-3)/2)/((-2)/8). Suppose 12*t - 5*k + 1080 = 16*t, -2*t + k = -526. Suppose -g - p*o = -4*o - t, o = 2*g - 515. Is g a prime number?
False
Let f(n) = 4*n**3 + 2*n**3 - 9 - 7*n**3 - 11*n + 12*n**2. Let x be f(11). Is 1*307 + 0/x prime?
True
Let f(z) = 1500*z - 398. Is f(34) a composite number?
True
Let t(j) = 13*j**2 - 18*j - 23. Let c = -60 - -76. Is t(c) prime?
False
Suppose 0*r = g + r, 5*r - 8 = -3*g. Let n(k) = -114*k - 2. Is n(g) prime?
False
Let t(w) = 1186*w + 329. Is t(18) a prime number?
False
Suppose 4*r = 4612 + 3280. Is r prime?
True
Let b = 10 - 7. Suppose b*l + 0*l = 288. Let a = l - 19. Is a composite?
True
Let z be -3 + 0 - (-2 - -1)*-329. Let p = 811 + z. Is p composite?
False
Let l(y) = 85*y**2 - 15*y + 7. Is l(-8) composite?
True
Suppose 0 = -26*n + 16*n + 19790. Is n a prime number?
True
Let z(n) = n - 1. Let l = 7 - 1. Let k be z(l). Suppose 4 = 2*s, x + 0*x - 315 = -k*s. Is x composite?
True
Let n(c) = -69*c**3 - c**2. Let a = -4 - -3. Let w be n(a). Suppose 0 = -i - 5*h + w, 2*i + 2*h - 236 = -2*i. Is i a prime number?
False
Let k be (0 - 1) + -3 - 12/(-2). Is (-8 + 5)*(k - (-530)/(-6)) a prime number?
False
Suppose 1 = m, -7 - 6 = 2*t - 5*m. Let u be 0 + t/(-2) + 56. Suppose -2*k - 4*l + u = 3*k, 4*k - 5*l = 30. Is k composite?
True
Let r = 20 - 6. Suppose -r = 3*i - j + 5*j, -i - 23 = 5*j. Suppose -4*m + 2*l = -148, 5*m + 0*m + i*l = 185. Is m composite?
False
Suppose 4*q + 727 = b - 1957, 0 = -4*b - 5*q + 10694. Suppose -2*y + y + i + 669 = 0, -b = -4*y - 2*i. Is y a prime number?
False
Is 2094538/(-101)*(-1)/2 a prime number?
True
Let r be -1 - 1 - (-1 - 3). Suppose l + 11 = 4*m, r*l = -l + 2*m + 7. Suppose l*f + f = 1974. Is f composite?
True
Suppose 3*w = w + 130. Let r(b) = 2*b**2 + 4*b - 4. Let j be r(-6). Let i = w + j. Is i a composite number?
False
Let a be (-410)/(-35) - (-6)/21. Is (8/(-10))/(a/(-150)) prime?
False
Let z(y) = -2*y + 67. Is z(7) a composite number?
False
Let i be (15/(-45))/((-1)/6). Suppose -i*f - 1976 = -4*f. Suppose 3*j - v = f, -4*v + v - 3 = 0. Is j composite?
True
Let j(p) = -63*p + 6. Let h = -38 + 33. Is j(h) a composite number?
True
Let r = -26 - -7. Let h = -5 - r. Let p = 191 - h. Is p a prime number?