s t prime?
False
Let t(f) = 300*f**2 + 94*f - 3. Is t(-4) prime?
True
Suppose 6*g = 11*g. Let p(l) = -l + 43. Is p(g) a composite number?
False
Let m = 196 - 71. Let z(l) = -2*l + 35. Let y be z(8). Suppose m = 2*i + y. Is i prime?
True
Suppose 5*v = -2*a + 220, 4*a - 428 = -0*a - 4*v. Let n = a + 98. Is n a composite number?
True
Let m(b) = -503*b**3 - 10*b**2 - 2*b + 1. Is m(-2) prime?
True
Let h = -56184 + 106681. Is h prime?
True
Let c = 8186 - 1665. Is c prime?
True
Suppose 3*w - 3*b = 2*w + 2, 0 = -2*b + 2. Suppose -w - 1 = -3*r. Suppose 3*j - r*j = 118. Is j a composite number?
True
Suppose 19*w - 17*w = 3*r - 23297, -3*r = 2*w - 23317. Is r a composite number?
True
Let g(x) = 20*x**2 - 3*x - 7. Let k be (-4)/(-12)*2*3. Suppose 0 = -2*y + 3*y - 5*p + 21, -k*y + 3 = -p. Is g(y) prime?
False
Let t(i) = -3*i + 28. Let q be t(9). Is 114 - -2 - 2/(q/(-1)) a prime number?
False
Suppose -34 = 3*c - 7. Let g(a) = a**3 + 9*a**2 + a + 11. Let t be g(c). Suppose -2*d - 3*w = -379, -3*d - t*w = -d - 380. Is d a composite number?
False
Let h(q) = q**3 - 24*q**2 + 44*q - 52. Is h(25) a composite number?
True
Let k(p) = p**2 - 8*p + 14. Let x(a) = -a**2 - 17*a - 10. Let n be x(-16). Let y be k(n). Suppose y*l - 4*l + 382 = 0. Is l a composite number?
False
Let y be (1/3)/((-8)/(-288)). Suppose 0 = -t - 3 + y. Is (93/t - 0)*3 a composite number?
False
Suppose 0 = 16*b - 25316 - 6444. Is b prime?
False
Suppose -7*k - 6348 = -2*l - 2*k, 6366 = 2*l + 4*k. Is (-2)/(-6)*(l - 8) + 4 a composite number?
False
Let q be -1 - ((-27)/(-6) - 4)*-1094. Suppose p - q = 1505. Is p prime?
False
Suppose -k = 7*k - 1296. Suppose 5*z - 811 = 4*n, 4*n = z + 3*n - k. Is z a prime number?
True
Suppose 45*l - 56*l + 313181 = 0. Is l a composite number?
True
Let b be 64/6*300/8. Suppose -2 - 6 = -4*m, 4*h = -2*m + b. Suppose f + 5*z + h - 312 = 0, 454 = 2*f - 4*z. Is f composite?
False
Suppose -3*p - 2*r + 10 = -p, p = -3*r + 9. Let w be (4/p)/(20/45). Suppose w*b + 1075 = 8*b. Is b prime?
False
Suppose -12 = -p - 2*p. Suppose -p*j + 2*a = -12, 0 = -5*j + a + 3*a + 12. Suppose -j*c + 86 = -2*c. Is c prime?
True
Suppose -5*g + 20 = 3*h + 2*h, -4*g + 4*h + 16 = 0. Is -2 + 446 + g*(-3)/(-6) a prime number?
False
Let i be 30/((-1)/1 + 9/(-18)). Let c(t) = 2*t**2 + 27*t - 25. Is c(i) composite?
True
Let f = 5 - 5. Suppose -3*n + 12 = -f*n. Suppose 18 = u - 3*y - 0*y, -n*u + y = -127. Is u a composite number?
True
Suppose 0 = 6*l - 21 - 9. Suppose -w - l*r = -178, -w + r - 2*r = -166. Is w prime?
True
Suppose -2*x + 28643 = 3*x + 3*h, -3*h + 5719 = x. Is x composite?
True
Let l = 16627 - 3074. Is l a composite number?
False
Let d = 0 - 0. Suppose d = -12*w + 13*w - 198. Suppose 3*g - w = 9. Is g a prime number?
False
Suppose 0 = -q - 1. Let n(w) be the third derivative of -17*w**6/24 - w**4/12 - w**3/6 - 94*w**2. Is n(q) a composite number?
True
Suppose 6 + 2 = 4*n. Let g be 1*(-2)/4*n. Let l(j) = 262*j**2 + 1. Is l(g) composite?
False
Suppose -z - 228 = -4*z. Let i = -240 + z. Let o = i + 367. Is o composite?
True
Suppose -33*w = -687468 - 2111823. Is w a prime number?
True
Suppose -4*s = s - 10. Suppose 4*y - 4128 = 5*h, s*y + 5*h - 2034 = -0*h. Is y a prime number?
False
Suppose -19070 = -5*x + 7275. Is x prime?
False
Is (-18 - -24) + (-997)/(-1) a prime number?
False
Suppose -m + 5*m = 4*a + 8, -8 = 5*a - 3*m. Is (((-14)/(-6))/a)/(3/(-531)) a prime number?
False
Let k be (9/8*2)/(1/436). Let n = k - -266. Is n prime?
False
Suppose 3 + 5 = d. Let b be (-45)/60 - (-5174)/d. Let w = b + -11. Is w composite?
True
Let s(i) = -i**3 + 33*i**2 + 44*i + 21. Is s(32) prime?
False
Suppose -3*t = 2*n - 83, 0*t = -2*n - 5*t + 93. Let w = -52 + n. Is (56/(-24))/(2/w) a prime number?
False
Let n = -1353 + 9591. Let i = 12725 - n. Is i composite?
True
Let r(h) = -h**3 + 10*h**2 - 19*h + 17. Suppose 0 = -2*i, l + 0*l + 9 = 2*i. Is r(l) a prime number?
False
Suppose -2481 = 3*l - 6*l. Let o = l + -384. Is o a composite number?
False
Suppose -2*r - 29*v + 34*v + 41751 = 0, r - 20872 = -v. Is r composite?
False
Suppose 13*i - 40003 = 275260. Is i prime?
True
Let u = -8 - -43. Suppose 0*l - u = -5*l. Let h(z) = 56*z - 6. Is h(l) prime?
False
Let u = 1987 - 626. Is u composite?
False
Let w(h) = -h**2 + 12*h - 5. Let o be w(12). Let b = 10 + o. Suppose 1223 = b*d + 168. Is d a composite number?
False
Let t(a) = a**3 - 13*a**2 + 29*a - 3. Is t(16) prime?
True
Let b(s) be the third derivative of -103*s**4/24 - 3*s**3/2 + 13*s**2. Let y be b(-6). Suppose -3*r = -0*r - y. Is r a prime number?
False
Let f = -3575 + 5027. Suppose -457 = 5*r + 5*g - f, g = 5. Let y = 305 - r. Is y a prime number?
False
Let d = 23 - 21. Suppose 0 = 2*y + 4*j - 3724, y - d*y + 1857 = -3*j. Suppose -2*t + y = 2*h, t + 4 = 5*t. Is h prime?
True
Suppose -4*s - p + 11939 = -1621, s + p - 3393 = 0. Is s prime?
True
Let f(a) = 12*a**2 + 35*a + 44. Let h(y) = -8*y**2 - 23*y - 29. Let c(t) = -5*f(t) - 8*h(t). Is c(-3) a composite number?
True
Is (14346/(-18))/(3/(-15)) composite?
True
Let m = 165 + 31316. Is m a composite number?
False
Is (4 + 173)*(2 + 2107/21) prime?
False
Is (-36)/18*(59501/(-2) - 4) composite?
False
Let t = 27 - 34. Let z(k) = -448*k + 11. Is z(t) a composite number?
True
Let v be ((-7)/2 - -3)*0. Suppose -4*w - 587 - 540 = -5*m, 4*m - 2*w - 898 = v. Is m prime?
True
Let y = 495 + 400. Is y a composite number?
True
Let f(o) = -71*o**3 + 3*o**2 - 34*o - 97. Is f(-3) a composite number?
False
Let d(i) = -i**2 + 5*i + 6. Let n be d(5). Let q be 662/1*(-3)/n. Let c = 594 + q. Is c composite?
False
Let t(o) = -o**3 + 12*o**2 - o + 16. Let u be t(12). Suppose u*f = 20, 0 = -3*x + 4*x - 3*f - 32. Let n = x + -9. Is n a prime number?
False
Let x be -4 + (-5)/(20/(-32)). Suppose 3*a = -x*l - a + 4, 0 = 3*a + 12. Suppose -r = 2*r - 2*w - 491, -5*w = -l*r + 820. Is r a prime number?
True
Let m = -30 + 32. Suppose 0 = -m*k - 0*k + 3062. Is k a prime number?
True
Is 6 - 0 - -9*279 composite?
True
Let x(h) be the second derivative of -5*h**3/2 + 13*h**2/2 - 22*h. Let s = 1 - 11. Is x(s) prime?
True
Let k = 8 - 3. Let b = k - 1. Suppose 3*x = 3*l - l - 98, 0 = -2*l + b*x + 94. Is l prime?
False
Let y = 169 - -1148. Is y composite?
True
Is 79121 + -6 + -5 + 3 a prime number?
False
Let n(a) = 8*a**2 + 5*a + 1. Let c(x) = 9*x**2 + 4*x. Let j(w) = -6*c(w) + 7*n(w). Is j(-8) a prime number?
True
Let t = 40 + -41. Is (t + (2 - 3))/((-2)/1553) a prime number?
True
Suppose 7*c + 3*f + 5040 = 10*c, 4*f + 1665 = c. Is c prime?
False
Let l be 2/(0 - 3/9). Let w = 8 + l. Suppose 866 = 4*r - 2*r - 2*v, -w*v = -5*r + 2177. Is r prime?
False
Let j be 2/6*1008/28. Let q(z) = z**3 - 4*z**2 + 40*z + 11. Is q(j) a composite number?
True
Let u = -127 - -126. Let v(i) = -98*i**3 - 6*i - 7. Is v(u) a composite number?
False
Suppose 4*i - 102478 = 42558. Is i prime?
False
Is 1*(4543 - (-5)/(-10)*-8) composite?
False
Is (-3 - -12627) + 8 + -9 a composite number?
True
Suppose -71369 - 202785 = -2*p. Is p a prime number?
True
Let y(d) = 21*d**2 - 6*d - 6. Let x(a) = -a**2 + a + 1. Let u(n) = 4*x(n) + y(n). Is u(-9) composite?
True
Suppose -2*k - 170 = 3*k. Let a(q) = 2*q**3 + 2*q**2 + 6*q - 3. Let j be a(3). Let w = k + j. Is w a prime number?
True
Let x(t) = -8*t**2 + 2*t + 7. Let c be 2 - (2 - 3) - 8. Let y be x(c). Let k = -138 - y. Is k a composite number?
True
Let r(j) = -17*j**3 - 2*j**2 - 5*j. Let d(a) = -17*a**3 - 3*a**2 - 5*a - 1. Let m(s) = 3*d(s) - 4*r(s). Is m(2) prime?
True
Is 2880 - (-4)/6*(-12)/8 a prime number?
True
Let x(b) = -10*b**3 - 4*b**2 - 4*b + 7. Suppose -3*p + 0*p = 3*k, 4*p + k = -15. Is x(p) a prime number?
False
Is (-568574)/(-406) - (1 - (-11)/(-7)) composite?
True
Is (4 - 5)/(4/(-5164)) prime?
True
Let w be 4/(-6) - 28284/(-36). Suppose 2*g - w = -d, 2*d - 1045 = 2*g + 507. Is d composite?
True
Suppose g + 5*r + 14 = 0, -2*g - 4*r = 3*g + 7. Let x(c) = -2*c**2 - 2*c + 2. Let a be x(g). Is 95 - (0 - -1)*a a composite number?
False
Let q(p) be the second derivative of 27*p**4/4 - 5*p**3/6 + 5*p**2/2 - 12*p. Suppose -5*u + 8 = -7. Is q(u) a prime number?
True
Let h be (2/4)/((-2)/(-24)). Suppose 7*g + h = 4*g. Is (g - 20)/(6/(-33)) prime?
False
Suppose -2*s + 103 = -1279. Is s prime?
True
Let q(r) be the third derivative