False
Let g(w) = 1111*w. Let k be g(1). Suppose 3*p - 23 - k = 0. Let f = 757 - p. Is f prime?
True
Let g(m) = 8*m**3 - 56*m**2 + 24*m - 51. Let n(o) = 3*o**3 - 19*o**2 + 8*o - 17. Let d(t) = 4*g(t) - 11*n(t). Is d(-16) prime?
False
Let g(v) be the third derivative of 259*v**4/24 + 11*v**3/6 - 5*v**2. Is g(4) a composite number?
True
Let q(c) = 114*c - 40. Let h be q(5). Suppose -2816 = -6*t - h. Is t composite?
True
Suppose -181698 = -15*w + 118617. Is w a composite number?
False
Suppose 5*o - 4*v - 60995 = -0*v, 24398 = 2*o - v. Is o prime?
False
Is ((-26152)/224)/((-2)/40) a prime number?
False
Suppose -114988 = -5*h - 2*q - 8423, 2*q = 4*h - 85234. Is h a composite number?
True
Suppose 0*s + 2*s - 988 = 0. Suppose n = 5*r + 283, -1026 = -5*n + 4*r + s. Suppose 5*o - 2*a - 1047 = 0, 4*o + a = 540 + n. Is o composite?
False
Is (-3*(-2)/12)/((-15)/(-115410)) prime?
True
Let f be ((-288)/20)/(((-1)/(-1))/(-15)). Let p be (89/3 - -2)*-3. Let n = p + f. Is n prime?
False
Let t = -1828 - -1052. Let i = 1335 + t. Is i a prime number?
False
Let c(j) = -j**2 - 14*j - 8. Let t be c(-7). Suppose y = -2*m - 0*y + 27, -3*m + t = y. Is (-3125)/(-35) + (-4)/m composite?
False
Let a(w) = w**2 - 4*w + 9. Let j be a(0). Suppose 0 = j*l - 5*l - 8396. Is l prime?
True
Suppose 0*n - 4*n = -2*i - 25150, 5*i - 18882 = -3*n. Is n prime?
False
Is ((-18)/36 - 527*3)*-2 composite?
False
Suppose 6463*a = 6460*a + 89877. Is a prime?
True
Let j(x) = -2 + 3*x - 11*x + 5*x + x**3. Let c be j(-2). Is ((-34)/c)/(3/66) prime?
False
Let t be ((-904)/(-6))/(14/(-42)). Let x be t/(2/(-1)*1). Suppose 0*l = -2*l + x. Is l a prime number?
True
Let q(y) = 69*y**2 - 2*y - 8. Is q(-3) a composite number?
False
Let g = -7 - -12. Suppose g*b = -32 + 2052. Let v = -270 + b. Is v a composite number?
True
Let u(d) = -78*d + 21. Let v be u(-5). Let h = -182 - -426. Let f = v - h. Is f composite?
False
Suppose 3*c - 24 = 3*j - c, 5*c - 3 = -3*j. Let q(z) = z**3 + 4*z**2. Let v be q(j). Suppose 5*h - 456 - 209 = v. Is h composite?
True
Let q(a) = 463*a**2 - 29*a + 128. Is q(6) a prime number?
False
Let d(r) = r**2 - 9*r + 3. Let b(m) = -m**2 - 6*m + 1. Let s be b(-4). Let v be d(s). Suppose -2*y - 2*y = -4*g - 1032, 0 = -3*g - v. Is y a composite number?
False
Is (8466/3 - 3)*4/4 a composite number?
False
Let m = -1042 - -1743. Is m a prime number?
True
Let m(o) = -150*o - 93. Is m(-33) a prime number?
False
Let j(f) = f**2 + 6*f + 2. Let t be 5 - 3 - 8/1. Let s be j(t). Is (s + -1)/((-9)/(-999)) composite?
True
Let c = 25315 + -14492. Is c a prime number?
False
Let b = 44 + -25. Let q be ((-840)/18)/(8/(-12)). Let s = q - b. Is s composite?
True
Suppose 4*z = o + 795, 2*o = 2*z - 417 - 1197. Let y = 4560 + o. Is y a composite number?
True
Suppose c = 7*c - 1080. Suppose x + c = 6*x. Let n = x + -3. Is n a prime number?
False
Let a be 16/(-56) + (2832/21)/(-4). Let c = a + 108. Is c a composite number?
True
Suppose 382 = -3*u + u. Let r = 495 + u. Suppose n = r + 75. Is n prime?
True
Suppose -54774 = -10*t - 8*t. Is t a composite number?
True
Let d = -61 - -386. Suppose -3*z + d = 2*z. Suppose -2*n + 9 = -z. Is n a prime number?
True
Let c = 98 - 59. Suppose -t + 412 = c. Is t composite?
False
Suppose -2*u = -0*u, 5*h - 630 = 5*u. Let r be ((-4)/(-6))/(2/h). Let d = r + 16. Is d composite?
True
Let i be 0 - (4/(-10) - (-52)/(-20)). Suppose 4*f + 2*z = 348, -i*f - 6*z = -z - 275. Is f composite?
True
Suppose 12*p - 3 = 11*p. Suppose p*b = f - 0 + 472, 4*b - 623 = -5*f. Is b a composite number?
False
Let k(r) = r**3 - 7*r**2 + 5*r + 6. Let n be k(6). Suppose n*z - 20 = -4*z. Is 2/(-10) + 336/z a prime number?
True
Let t(c) be the third derivative of -1/30*c**5 - 1/12*c**4 + 5/6*c**3 + 6*c**2 - 1/24*c**6 + 0 + 0*c. Is t(-4) composite?
True
Let i(j) = -43 + 27 + 182 + 2*j. Is i(0) a composite number?
True
Let g(z) = -z + 10. Let n be g(7). Let w be 27/6 + n/6. Suppose -w*h + 0*d + 2*d = -1801, -3*d = 9. Is h composite?
False
Let s(x) = -x**3 + 4*x**2 - x - 3. Let i be s(3). Suppose -t + 1790 = 3*n, -2*t - i = t. Suppose -d - 2*d = -n. Is d composite?
False
Let r = 4164 - 2765. Is r composite?
False
Suppose 4*c = -c + 11995. Is c a composite number?
False
Suppose -5*c = -5*d - 26245, 6*c - 10508 = 4*c - 3*d. Is c a prime number?
False
Is ((-3)/9*-2267)/(1/3) prime?
True
Let i be (-4)/12 + (-22)/(-3). Let x(u) = -5*u**2 - 2*u - 13*u**3 + 2 + 4*u**3 - 3 + i*u**2. Is x(-2) prime?
True
Let q(s) = -13*s**3 - 3*s**2 + 2*s + 3. Let x be q(-3). Suppose 1107 = 6*d + x. Is d a prime number?
True
Let f(d) = -3*d + 3. Let c(p) = p - 4. Let z be c(8). Let w be f(z). Let i(v) = -v**3 - 8*v**2 + v - 3. Is i(w) prime?
False
Let o = 34 - 30. Suppose -2*r - 4 = -o*r. Suppose 5*y = 4*k - 2537, r*k - 2*y = 3*y + 1271. Is k prime?
False
Suppose o - 5*o - 3*r = -37, -12 = -4*r. Let c be (12/o)/(1/(-7)). Is 24/9*(-45)/c a composite number?
True
Let c = 10 + -7. Suppose c*w - 20 = -2*w. Suppose -2*m + w*m - 3 = -5*k, m + 5*k + 1 = 0. Is m composite?
True
Let n(v) = -298*v - 1 + 841*v - 1. Let y(a) = -a**2 + 2*a + 1. Let o be y(0). Is n(o) prime?
True
Is 361835/(-10)*(16 - 18) a composite number?
False
Let f be (3912/(-16))/(4 + (-76)/16). Suppose 4*p - 16 = -2*o, -2*o = 3*p - 5*p - 4. Suppose -p*j + 0*j = -f. Is j a composite number?
False
Suppose 5*y = c + 3*c + 24, y + 4*c = 0. Let j(r) = 11*r**2 + r - 2. Let v be j(1). Suppose -2*a + 13 = y*b - 83, -b - 4*a + v = 0. Is b a composite number?
True
Suppose 0 = 5*f - 12*f - 6524. Let r = 1388 + f. Suppose -7*u = u - r. Is u a prime number?
False
Let t(h) = -h**3 + 11*h**2 + 3*h - 4. Let p be t(11). Suppose -g - 2*q + p = 0, 4*q - 106 = -5*g + 57. Is g a prime number?
False
Let x = -2205 - -24182. Is x a prime number?
True
Suppose -18258 - 446 = -5*y + 3*g, 2*y + 2*g = 7488. Let n = -2363 + y. Is n a prime number?
False
Let u = 223 + 4830. Is u a composite number?
True
Let b = 32 - 27. Suppose b*l - 2*l = 15. Suppose 3*c + c = l*m + 2999, 0 = -3*c - 2*m + 2255. Is c composite?
False
Let g = -17 + 20. Suppose -g*v + 0*v = -2865. Is v a composite number?
True
Let v(b) = -b**2 + 2*b + 14. Let c be v(11). Let o = c + 196. Suppose o = -5*l + 1306. Is l prime?
True
Let d(u) be the first derivative of -7 - 27/2*u**2 - 12*u. Is d(-5) prime?
False
Let b(p) = -96*p + 7. Suppose -8*c = -4*c - 64. Let x be (3/2)/((-8)/c). Is b(x) a prime number?
False
Suppose -2*s = 3*s - 4*v - 170, 2*s - 70 = 2*v. Let g be 21/(-2 + 35/17). Let f = g - s. Is f a composite number?
True
Suppose 3 = z - 0. Suppose -4*k + 2*b + 1190 = -2*k, -k + 587 = z*b. Let l = k - 380. Is l a prime number?
False
Let u(p) = 26*p**2 + p + 98. Is u(37) a composite number?
False
Suppose -18*a + 520066 = 120376. Is a a composite number?
True
Let o(a) = a**3 + 15*a**2 + 12*a + 40. Let u be o(-16). Let r = 254 - u. Is r a prime number?
False
Is -22 + 19 - (0 + -2672) composite?
True
Suppose 29449 = 3*s - 5*y, y + 5667 = -4*s + 44917. Is s prime?
False
Let w be 0 + 6/(-3) + 7. Suppose z - w*t = -20, -z - 3*z = 5*t - 45. Suppose -z*c = -c - 236. Is c composite?
False
Let v(h) = h**2 + 7*h - 3. Suppose -4*r = -r + p + 21, 5*r = 4*p - 52. Let g be v(r). Suppose -g*t + 496 = 111. Is t composite?
True
Let z = 25870 + -18435. Suppose 5*t = -4*n + z, 5*t + n - 7390 = 6*n. Is t a prime number?
True
Let z = 8845 - 3875. Suppose -2*h + z = 8*h. Is h prime?
False
Let h be 4/(-18) + 488800/(-117). Is 9/(-6) - h/4 prime?
False
Is 1709/2*(-25 - -27) a prime number?
True
Let b = 1932 - -1315. Is b a prime number?
False
Suppose 20 = 4*z, 0 = -3*t + z - 2*z - 805. Let c = t + 461. Is c a prime number?
True
Let x = -641 - -2334. Is x composite?
False
Let h(x) = x**2 - 4. Let r be h(3). Suppose -r*w - 3*p = 143 - 565, -1 = p. Is w prime?
False
Let a(r) = 1110*r - 4. Let y be a(-3). Let p = -2217 - y. Is p prime?
True
Let x be -1*(-3170)/((-15)/3). Is ((-11)/(-22))/((-1)/x) a composite number?
False
Suppose 5*y = -3*k + 11, -4*y = -4*k - 2*y + 32. Suppose 15 = -2*v + k*v. Suppose -v*s + 228 = -441. Is s prime?
True
Suppose 10*t = -17*t + 1175337. Is t prime?
False
Let f(q) = q**3 - 5*q**2 + 6*q - 6. Suppose 6*x - 3*x - 15 = 0. Let v be f(x). Is 2523/4 + 6/v prime?
True
Let r(t) = -1 - 18*t + 16*t + 89*t**2 + 164*t**2. Is r(-1) a composite 