) = 43*o**3 - 2*o**2 + 4*o - 4. Is b(3) prime?
True
Let r be (-7)/21*(-43 - -1). Is (-3511)/(-3) - r/(-21) a composite number?
False
Suppose i - 32 = -1. Suppose -4*y = 8*l - 3*l - i, 3*l = -4*y + 25. Suppose -l*a + a = -254. Is a prime?
True
Let f(n) = -n**3 + 61*n**2 + 25*n + 249. Is f(58) composite?
True
Let s be 4*((-15)/10 + 0). Let v(y) = -15*y - 3. Is v(s) composite?
True
Let n(o) = -3*o + 68. Is n(-15) a prime number?
True
Suppose 5*k - 2*j - 30 = 3*k, -2*k = -j - 29. Suppose 0 = -15*y + k*y + 1. Is 3*(8 - -3)*y composite?
True
Suppose 8*k = u + 5*k - 16507, 16479 = u + 4*k. Is u a composite number?
True
Suppose 1014 = -7*v + 23911. Is v composite?
False
Suppose 2*s + 3*q = 17241, -2*q + 6*q = -2*s + 17240. Suppose 2326 = -8*t + s. Is t composite?
False
Let g = -1508 - -3051. Is g a prime number?
True
Suppose 17 = -3*b + 296. Is b composite?
True
Let v be 12*(-1 + (-1)/(-2)). Let r = v + 6. Is 2 - -35 - (r + 0) composite?
False
Let j(y) be the second derivative of -305/6*y**3 + 3*y + 0 - y**2. Is j(-1) a composite number?
True
Let a = 1734 + -839. Is a a prime number?
False
Suppose 3*o + z = 11, z + 7 = 3*o - 0*z. Let n = -2 + 3. Is 444/o + (n - 0) composite?
False
Is (2 - -2) + 2294/2 composite?
False
Let l be (-1 + (-2)/(-1))*-37. Let w = 95 + l. Is w a prime number?
False
Let v(t) = -98*t**3 - 12*t**2 - 3*t + 4. Is v(-5) prime?
True
Let o = -43 + 42. Is 1*((o - -1) + 331) composite?
False
Is (-121150)/(-5) - (8 + -1) a prime number?
True
Suppose -17*r + 22*r = 35. Let u = r - 1. Is u composite?
True
Let z be -9 + 8 + 1*3. Suppose 4*f + d + 42 = -f, 20 = -2*f - z*d. Is ((-2628)/f)/3*2 a prime number?
False
Suppose 3*i - 2*z = 4, -28 = -3*i - 0*i - 4*z. Suppose i*x + x - 85 = 0. Let d = x - -106. Is d a composite number?
True
Suppose -2*h + 386 = -2*z - 134, -3*h + 5*z = -770. Let q = h - -1296. Is q a prime number?
False
Let i be 9/2 - 3*5/30. Suppose -1971 = -i*l - o, -2*o - 3*o - 5 = 0. Is l a composite number?
True
Suppose -2*j + j + 2 = 0. Let w be j + (-2 + 1)*-4. Is (w/4)/3*38 composite?
False
Suppose 139*i = 104*i + 1016085. Is i a composite number?
True
Let q = 169901 - 101550. Is q composite?
False
Suppose 50*q - 991469 + 31119 = 0. Is q composite?
False
Suppose -2*n = -3*p + 322463, 14*p - 10*p = -n + 429958. Is p a composite number?
True
Let c = 10 + -2. Suppose -2*a - 18 = -c*a. Suppose a*u - 425 = -0*u + 2*z, 3*u - 429 = 3*z. Is u a composite number?
False
Suppose -5*c = 5*v - 30, 5*c - 1 = -v + 13. Suppose -3*t - c*w = -276 - 1418, -t + 562 = 2*w. Is t a composite number?
True
Let n = 23 + -15. Suppose -6*d - 2422 = -n*d. Is d prime?
False
Let z = -123 - -285. Let q be (-3 + 2)/(2/z). Let v = 284 + q. Is v composite?
True
Let a(k) = -k**2 + 9*k + 3. Let r be a(10). Let o(b) = 3*b**2 - 8*b + 8. Is o(r) composite?
False
Let l(v) = -2*v**3 + 2*v**2 - 5*v + 2. Suppose 26 = 7*k - 5*k. Suppose -4*n + 2*x - 7 = 7, -3*n + 4*x - k = 0. Is l(n) a prime number?
True
Let g(q) = -26*q**3 + 4*q**2 + 5*q + 25. Is g(-6) prime?
False
Is (-2)/((-1189756)/169964 - (-5 + -2)) prime?
True
Let f(q) = 272*q**2 - 23*q - 572. Is f(-19) prime?
True
Is -2*9/((-54)/16845) prime?
False
Is (-153806)/(-22) + 158/(-22) + 7 composite?
False
Suppose -45754 = -7*g + 25793. Is g composite?
True
Let c(p) = 1351*p - 2. Let y be c(-1). Let l = y + 2380. Is l composite?
True
Let g = -52 + 44. Let a(y) = y**3 + 17*y**2 - 13. Is a(g) a prime number?
True
Let z = 9 + -2. Let c = -5 + z. Suppose -6*u + 628 = -c*u. Is u a prime number?
True
Let m(a) be the second derivative of -8*a**3 + 11*a**2/2 + 15*a. Suppose -33 = -4*u - 13, 5*p + 45 = 4*u. Is m(p) a composite number?
False
Let l(w) = 34*w**2 + 6*w + 4. Let n = 11 + -4. Let p be l(n). Suppose 2*u + 3*v - 874 = 0, -4*u + 4*v = v - p. Is u a composite number?
False
Suppose -5*n + 8 - 23 = -5*m, 4*m - 5*n - 10 = 0. Let k(s) = s - 1. Let q be k(3). Is 131 + m - (q - -1) a composite number?
True
Let y be 251 + (1 - 0) + (-14)/(-14). Is -2 + y + (0 - 1 - -3) prime?
False
Let s(t) be the third derivative of -4*t**4/3 - t**3/6 + 28*t**2. Let r be 1 + (-1)/(3/21). Is s(r) a prime number?
True
Let t(m) be the second derivative of -m**5/20 - 7*m**4/6 + 5*m**3/2 + 21*m**2/2 + 10*m. Is t(-15) composite?
True
Suppose 14*d - 12*d = 2. Is ((-394)/4)/(d/(-14)) prime?
False
Suppose -592042 - 8461 = -29*w. Is w a prime number?
True
Suppose 2*n = -c, 0*n - 2 = -2*n. Let f = -12 + 8. Is 3/c + (-514)/f a composite number?
False
Suppose 17103 = 15*j - 53172. Is j a composite number?
True
Let m(u) = -u**3 + 11*u**2 - 10*u + 3. Let h be m(10). Let l(g) = g**3 + 3*g - 1. Let d be l(h). Let a = 88 - d. Is a a prime number?
True
Let r(t) = -75*t**3 + t**2 + 3*t + 2. Let l be r(-1). Suppose -2*g = 5*b - 143, 5*b + 450 - l = 5*g. Is g composite?
True
Let h(k) = 2*k**2 - 7*k - 16. Let i be h(-15). Let y = i - 237. Is y composite?
True
Let i(t) = 2*t**3 + 18*t**2 - 19*t + 28. Is i(-9) composite?
False
Is ((-1)/((-4)/(-548)))/(11/(-407)) prime?
False
Let x be (-4)/10 + (-268)/5. Let i = x + 216. Let u = 241 - i. Is u prime?
True
Let n(y) = 11*y**2 - 4*y - 22. Let s(c) = 2*c - 11. Let q be s(-2). Is n(q) composite?
True
Let s be 251959/(-57) - (-2)/6. Is 6/(-14) + -2 + s/(-7) a composite number?
True
Suppose -4*t - 2*x + 33 = 5, x + 11 = 3*t. Suppose 0 = -3*p + 3*f + 27, 0 = -t*p - 4*f - 0*f. Suppose p*z - 4 = 12. Is z a prime number?
False
Suppose -1044*d + 32997 = -1041*d. Is d a composite number?
True
Let r(p) = 378*p - 941. Is r(12) composite?
True
Suppose 0 = 75*g - 28*g - 96397. Is g prime?
False
Is 430 - -13 - 4/(-1) composite?
True
Suppose 0 = -5*i + 2*i + 12. Let a be 405/18*(-1 - -5). Suppose 5*l = 3*b - 164, -b + i*l + a = 33. Is b a prime number?
True
Let v(h) = -4*h**2 + 7*h**2 + 31*h - 40*h. Let d be v(10). Is 28/d + 4708/15 a composite number?
True
Let m(q) be the first derivative of 39*q**4 + q**3 - q**2/2 + q - 24. Is m(2) a prime number?
True
Let y = -14 - -27. Suppose 4*i + y = 1. Is (-145)/(i/((-3)/(-1))) composite?
True
Let u(c) = -444*c + 59. Is u(-12) a prime number?
True
Let y(q) = q**2 + 7*q - 4. Let u(w) = w**2 - 8*w + 6. Let o be u(6). Let z be y(o). Is (-138)/(-4) - 5/z a prime number?
False
Suppose -4*t = -4*p + 4, 4*t - 2*p + p + 16 = 0. Let b(l) = 56*l**2 - 14*l + 1. Is b(t) a prime number?
True
Let a = 3 - 0. Let s(o) be the third derivative of 17*o**5/30 - 5*o**4/24 + o**3/3 + o**2. Is s(a) a composite number?
False
Let g(c) = 449*c + 862. Is g(17) prime?
False
Suppose -2 = 2*p - 10. Suppose -p*u + 0*h = h - 233, u + h = 56. Is u composite?
False
Let c = 22 - 37. Let v = -24 - -18. Is (130/c)/(v/45) prime?
False
Suppose -2*x + 4 = 5*v - 2, 0 = 5*x + 5*v - 15. Suppose x*w - 285 = 2*w. Let a = -166 + w. Is a composite?
True
Let a = 4149 - 1776. Suppose -16*z = -13*z - a. Is z composite?
True
Suppose -2*h - 2241 = -5*h. Let g(f) = 3*f - 25. Let d be g(9). Suppose 4*x = -5*s + 1313 + 2478, -d*x = -s + h. Is s a composite number?
True
Let h be 14610/(-9)*9/(-2). Suppose -97*r + 102*r - h = 0. Is r a prime number?
False
Suppose -65 + 66 = z. Is (z - 4) + ((-7776)/(-6) - 0) prime?
False
Let j(i) = 1 + 6*i**2 - 3*i**2 + 4*i**2 - 5*i. Let n = -212 + 209. Is j(n) a composite number?
False
Suppose -s = -2*s + 5. Suppose s*h + 0*h = 1315. Is h prime?
True
Suppose -5*v - 10 = 0, -3*v + 32212 = 5*c - 43327. Is c prime?
False
Suppose 3*m + 0*m = 4287. Let n = m + -560. Is n composite?
True
Let y be (-32)/12*(-18)/8. Let h = -9 + y. Is h + 0 - -2 - -890 prime?
False
Let z(g) = 11*g**2 - g + 18. Is z(-5) a composite number?
True
Let v(r) = r**3 + 2*r - 2. Let b be v(1). Let k be -5*(9/(-5) + b). Suppose -k*o + 579 = -377. Is o composite?
False
Let r(l) = 9*l - 1. Let j(k) = 17*k - 2. Let x(s) = 2*j(s) - 5*r(s). Let z be x(-1). Is (3 + (-33)/z)*44 a composite number?
False
Let v = 10722 - 4473. Suppose v + 11081 = 10*s. Is s composite?
False
Let z(k) = 82*k**2 + 4*k - 5. Let p be 15 - (0 + 3/(-1)). Let q = 20 - p. Is z(q) prime?
True
Let a(c) = -c**2 + 3*c - 12. Let d(j) = -j**2 + 4*j - 11. Let o(w) = 3*a(w) - 4*d(w). Let z be o(6). Suppose -z*p + 79 = -79. Is p a prime number?
True
Suppose -d + b = -7, -6*d + b = -d - 19. Suppose 2*n - z = 257, -2*z - 260 = n - d*n. Is n a prime number?
True
Let u(f) be the second derivati