 -a + 33. Suppose 0 = -f - 2*t + a, 93 = 3*f + t + 2*t. Is f a prime number?
False
Let d(y) = -2*y**3 - 2 - 22*y**2 + 12 - 13*y + 3 - 4*y. Let a(u) = -u**3 - 11*u**2 - 9*u + 6. Let f(k) = -5*a(k) + 2*d(k). Is f(-5) a prime number?
False
Suppose 0*k - 12 = -5*k + 2*v, 2*k - 4*v = 8. Suppose 6*d - k*d - 2084 = 0. Is d prime?
True
Let t(b) be the third derivative of 7*b**5/60 - 31*b**4/24 - 7*b**3/6 - 23*b**2. Is t(10) prime?
True
Let m(z) = -19 - 23 - 7 - 152*z + 0. Is m(-6) prime?
True
Let l(m) be the second derivative of 7*m**4/12 + 5*m**3/3 - 4*m**2 + 10*m. Is l(-9) composite?
True
Suppose -u = 2*u - 6. Suppose 14 = 2*b + u. Is 947/b - (-4)/24 a composite number?
True
Let z = 4050 + -2543. Is z a composite number?
True
Let u = 8 + -5. Suppose u*b = -4*w - 463, 4*w = 5*b - 36 + 797. Let k = b + 264. Is k a composite number?
True
Let q(x) = 115*x**2 + 29*x + 11. Is q(-6) composite?
True
Let p(n) = -2*n**3 + n**2 - 8*n + 4. Let z be p(3). Let h = z - -256. Is h a prime number?
True
Let r(c) = -c**3 - 5*c**2 - 6*c + 1. Let d be r(9). Let s = -194 - d. Is s prime?
False
Suppose 222093 = 5*g - 5*w - 52857, -54993 = -g - 2*w. Is g composite?
True
Is (-152)/114 - (-55783)/3 composite?
False
Suppose 2 = -2*s, -4*p + 3788 = -3*p + 4*s. Suppose i + i = p. Let q = -829 + i. Is q a prime number?
False
Let n(s) = 2804*s + 23. Is n(4) a composite number?
False
Let t(g) = -g**3 + 8*g**2 + 2*g - 12. Let b be t(8). Let o be -61*(-3 - (2 - b)). Is o + -1 + 1 - 2 prime?
True
Suppose -4 = -9*y + 5. Is (1 + y + -48)*1780/(-40) composite?
True
Let b(r) = -6*r**2 - 269*r - 9. Is b(-26) composite?
True
Is ((-28286)/(-12))/(13/78) a composite number?
False
Let a = 309 + -205. Let u be (-1)/(14/(-646)) - (-3)/(-21). Let m = a - u. Is m composite?
True
Let b = -220 - -215. Let l(z) = z + 7. Let s be l(-6). Is b - -349 - (-4 + s) a composite number?
False
Let w(q) = q**3 - 4*q**2 + 4*q - 3. Let z be w(3). Suppose z = -n + 3*n + 48. Is (-2608)/n - (-2)/6 composite?
False
Let z = 25315 + -11421. Is z a prime number?
False
Let c = -2997 - -20270. Is c a composite number?
True
Let t(i) = -i**3 - 9*i**2 + 2. Let j be t(-9). Suppose 54 = 5*c - h, -42 = c - 6*c - j*h. Is c a composite number?
True
Suppose -c + 5*p + 10382 = 0, 9*c - 4*c - 3*p - 51844 = 0. Is c a prime number?
False
Suppose -13*d + 5635 = -748. Is d composite?
False
Let d = 57 + -152. Suppose 4*x + 0*c + 24 = c, 0 = 3*c. Let p = x - d. Is p a prime number?
True
Let v(i) be the third derivative of -i**6/120 + 2*i**5/15 + 2*i**3/3 - 2*i**2. Let u be v(8). Suppose 0 = -2*y + 6, -u*s - 2*y = -7*y - 341. Is s prime?
True
Suppose -2*j = -3*n + 25, -3*j - 68 = 2*j - 2*n. Let d = j + 16. Suppose 0 = d*p - p - 3. Is p a composite number?
False
Let t(r) = 2*r + 39. Let p be t(-16). Suppose -6*a = p*a - 5759. Is a composite?
False
Suppose -169324 = -37*q + 132078. Is q composite?
True
Is (-4385790)/(-120)*4/3 a composite number?
False
Is (-1963)/(-15) - 2/(-15) a composite number?
False
Let c(j) be the first derivative of j**4/4 + 7*j**3/3 + j**2/2 - 4*j + 5. Let k be c(-5). Suppose -z + 198 = 3*x, z = x - 29 - k. Is x a composite number?
False
Suppose -8*z + 585 = -14303. Is z a prime number?
True
Suppose -3*j = 15, 291 = 5*v - j + 2771. Is (0 + 2)/1 - v prime?
True
Is 3/12*(-12)/9*-13749 a prime number?
True
Suppose s = 5*n - 1, 4*n + 3 - 7 = 0. Suppose -l + 4 = 0, -b = -5*b - s*l + 32. Suppose 8 = b*o - 308. Is o composite?
False
Let y = 19 - 14. Suppose -1 = -o - 2*x + 1, -5*x = -y. Suppose -5*s + r + 488 = o, -3*s + 4*r + 13 = -290. Is s composite?
False
Suppose -1497*l - 29031 = -1498*l. Is l a composite number?
True
Let s(f) = -5*f**3 - 10*f**2 - 68*f + 7. Is s(-12) composite?
True
Suppose 31 - 6 = 5*c. Suppose 2*f + 0*v - 160 = -3*v, v = c*f - 383. Let s = f - -6. Is s composite?
False
Let f(v) be the third derivative of 167*v**5/60 - v**4/24 - v**3/2 + 6*v**2. Let n be f(-2). Let u = n - 462. Is u prime?
False
Let x = 1336 + 4585. Is x a prime number?
False
Let k(b) = -2*b - 2. Let s be k(-2). Let q(w) = 458*w - 4. Let l be q(s). Suppose z + 173 = l. Is z a prime number?
True
Suppose 7*s - 1734435 = -38*s. Is s a composite number?
False
Let x(r) = 2*r**2 + 2*r - 3*r**2 + 17*r + 7. Suppose t - 10 = -c, -2 = -2*t - 0. Is x(c) a composite number?
False
Let r(l) = 44*l - 11. Let h(p) = 7*p + 9. Let b be h(-4). Let o = b - -27. Is r(o) prime?
False
Suppose -3*v = 36 - 27. Let p be 0 - -275 - (v - -6). Suppose x - 471 - p = 0. Is x prime?
True
Suppose 642 = 4*n - 3746. Is n composite?
False
Let p(i) = 7*i**2 + 7*i - 13. Suppose 3*q - 15 = -0, 2*y - 30 = -2*q. Let x = y - 3. Is p(x) prime?
True
Let g be (-3)/(((-84)/(-8))/(-7)). Suppose -d = -g*d. Suppose d = 5*p - 5*c - 540, 3*c + c = 12. Is p a prime number?
False
Let x be 4/(-8) - 15/(-6). Suppose 0 = -j + x*u + 95, 2*j - 132 = 2*u + 68. Suppose j = i - 5*m, 5*i + 0*m = 4*m + 441. Is i a composite number?
True
Suppose -74 = -16*w - 26. Suppose -10*c + 1393 = -w*c. Is c prime?
True
Let s = 10786 + -4407. Is s a composite number?
False
Suppose c + k = -15, 3*c - 2*c - 4*k - 5 = 0. Is (c/(-22))/((-2)/(-764)) prime?
True
Let h(z) = 911*z**2 + 3*z + 9. Is h(-2) a composite number?
True
Let g = -6 + 11. Suppose h + 3*c - 3945 = -0*h, -g*c + 3937 = h. Is h prime?
False
Let c = 74 - 30. Suppose -3*q + 2*x + 112 = 1, q - 3*x = c. Is q a prime number?
False
Suppose v = -2*q - 10, 2*v + 2*q = -6 - 6. Let i(j) = 29*j - 4. Let f be i(v). Let t = 273 - f. Is t composite?
True
Let r be (-1)/(-2)*(-43728)/(-12). Suppose -r - 1300 = -14*n. Is n a composite number?
False
Suppose 0 = -4*n + 9 - 33. Let w = n - -11. Suppose -2*c = -w*i + 2089, 4*i = i - c + 1260. Is i a composite number?
False
Let c be (-18)/6 + (-2 - -1 - -4). Suppose 3*o = -4*v + 5558, 4*v + o - 5562 = -c*v. Is v a composite number?
True
Suppose 3*y = 18*y - 42135. Is y a prime number?
False
Let s(g) = -g - 4. Let m be s(-4). Suppose 493 = r - 537. Suppose 2*n = -m*n + r. Is n composite?
True
Suppose f = -3*f + 32. Suppose -f*w = -4*w - 20. Suppose 1245 = w*x - 2*p, -5*x + 722 + 523 = -5*p. Is x a prime number?
False
Let z(v) = -5303*v + 939. Is z(-10) a prime number?
False
Let y(h) = -2*h + 35. Let b be y(10). Let n(a) = 2*a**2 - 11*a - 16. Is n(b) a prime number?
True
Suppose -13*j = j - 21098. Is j a composite number?
True
Let c(b) = b**2 + 20. Let f be c(0). Let y be 5/(f/39)*4. Is 3 - (-12 + 2)*y prime?
False
Let o = -353 - -51. Let q(y) = 195*y + 2. Let m be q(-1). Let g = m - o. Is g prime?
True
Is ((-9322)/12)/((-17)/102) a prime number?
False
Let g(q) = 4*q**3 + 13*q**2 - 3*q + 19. Let p = -66 + 77. Is g(p) a composite number?
False
Let a = 191067 - 113930. Is a a prime number?
True
Let y(p) = -6*p - 18. Let d be y(6). Let c be -380*(-4 + d/(-15)). Let b = c + -59. Is b prime?
False
Let x be (-6 - 0)/(-2) - -875. Suppose o + 2*i - 873 = 4*i, o - x = 3*i. Is o a prime number?
True
Suppose 2*g + 2*x = x + 4459, x = 5*g - 11130. Let l = -1256 + g. Is l composite?
False
Is ((-2)/((-3)/3))/((-12)/(-13170)) prime?
False
Let m = 208 + -362. Let o = -27 - m. Is o prime?
True
Suppose 10*b = 7*b + 135. Suppose 7576 = -41*v + b*v. Is v a prime number?
False
Let z(m) = m**2 - 2*m - 3. Let s be z(-5). Suppose s = -4*j + t, 31 = -5*j + 5*t - 9. Is 1227/3 - 0/j composite?
False
Let b = 5405 + -3178. Is b composite?
True
Let g(t) be the first derivative of -52*t**2 + 7*t - 5. Is g(-3) a prime number?
False
Let u(m) = -4*m**3 + 62*m**2 + 44*m + 67. Is u(-22) a prime number?
True
Let s(u) = -u**3 + 17*u**2 - 25*u + 29. Is s(12) a composite number?
False
Let x be 33/2*2 + -1. Let t be -2 + x/((-12)/(-3)). Is t/10 - (-422)/5 composite?
True
Let g(z) = -z**3 - 6*z**2 - 9*z - 2. Let w be g(-6). Let h(t) = -13*t + 84. Let l be h(-7). Let p = l - w. Is p a prime number?
False
Suppose 4*k - 848 = 4*c + 2*k, 0 = -k + 4. Let b be c/(-55) - 2/(-11). Is (-239*(-3 + b))/(-1) composite?
False
Let t = -438 + 810. Suppose 446 = 2*u - t. Is u a prime number?
True
Suppose 14 = -3*i - 1. Let s be i/(-15) - (-1676)/3. Suppose -570 = -4*n - 4*d + 170, -3*n - d = -s. Is n composite?
True
Suppose q = 2*q - 55. Let a = 318 + q. Is a prime?
True
Let i(m) = -46*m**3 - 2*m - 1. Let b = 7 - 8. Let c be 0 + 0 - b - 3. Is i(c) a prime number?
False
Le