= 1302*s**2 - 60*s - 269. Is b(-12) prime?
False
Let p(v) = 4*v - 5. Let g be p(7). Let q = g - -375. Is q a composite number?
True
Suppose 5*d = 48 + 177. Suppose d*p - 42*p = 1353. Is p a prime number?
False
Suppose -3*v - 2*v - 6 = 4*t, -5*t = -v + 22. Suppose v*f - 824 = 5*j - j, 4*j - 1236 = -3*f. Is 15/10*-2 + f a prime number?
True
Suppose -5*i + 15 = -10. Suppose 0*b + 15 = i*r - b, 2*b = -10. Suppose r*p = 36 + 2. Is p a prime number?
True
Suppose 22*n - n - 177513 = 0. Suppose n + 3907 = 2*h - k, 3*h = 5*k + 18547. Is h a composite number?
True
Let m(l) = -l**3 + 76*l**2 + 126*l + 251. Is m(-44) a composite number?
False
Let s(k) = -1107*k - 284. Let j(y) = -1110*y - 283. Let q(h) = 6*j(h) - 5*s(h). Is q(-33) prime?
True
Is -12 + (-6)/(-1) - -109363 composite?
False
Let m = -167712 - -283981. Is m prime?
True
Suppose 3*y + 94 = 4*y. Let d = y - 81. Let n(g) = g**3 - 9*g**2 + 16*g - 21. Is n(d) prime?
True
Let r be 3/2*(-18 + 4). Let d be 1/((r/(-12))/7). Suppose s - d*o = 465, s + 3*o - 444 = -0*s. Is s a prime number?
False
Suppose 223 = 4*s - 397. Let n = -34 + s. Is n prime?
False
Suppose 5*u - 30251 = 2*g, 5*u + 4*g = 2*u + 18161. Suppose 4*a - 5*b = u, -a = 3*a - 3*b - 6053. Is a prime?
False
Let c be 1 - ((-6)/5 + (-8)/10). Suppose -3 = -c*l + 6*l. Let a(v) = 3787*v**2 + 2*v + 2. Is a(l) a composite number?
True
Let q be (-58)/(-87)*80121/2. Suppose 0 = -3*r + 2*v + q, -11995 = -2*r - v + 5812. Is r a composite number?
True
Suppose 13*r - 3*r + 165113 = 2935423. Is r a composite number?
True
Let r = 7319 - -2. Is r prime?
True
Let x = 307 - -2848. Suppose 0 = 5*d - y - x, -10*d = -14*d - 3*y + 2524. Is d a prime number?
True
Suppose -4*v - 388 = -4*u, 0 = 4*u - 3*v + v - 394. Let m = u + -97. Is 1/m + 3880/15 prime?
False
Let o be ((-3)/((-24)/(-20)))/(10/(-24)). Let a(p) = 1630*p - 12. Let y be a(o). Suppose 0 = 4*u + 5*c - 9808, 3*u + u - 5*c - y = 0. Is u a composite number?
False
Suppose -400*q = -396*q - 3676. Is q a composite number?
False
Suppose 114*k - 370524 = -18*k. Is k a composite number?
True
Let r(c) = -214*c - 24. Suppose -z - 4 - 22 = 0. Let w be r(z). Suppose -2*o + w - 1306 = 0. Is o prime?
False
Let w(o) = 1445*o - 671. Is w(18) composite?
False
Let h(i) = i**3 + 11*i**2 + 13*i + 20. Let l be h(-11). Let x = l + 129. Is (5528/6 - -1)*(x - 3) prime?
True
Let c be 2 + -4 + 9 + -5 + 33528. Suppose 0 = -5*f - 9*f + c. Is f composite?
True
Suppose 3335430 + 5060005 - 1428260 = 25*u. Is u a composite number?
False
Suppose 0 = -u - 2*u - u. Suppose x - 52 = -4*l + 228, u = -x - 4. Suppose -2*a = 3*w - l, 3*a = -4*w + a + 96. Is w composite?
True
Let y(a) = 2*a + 13. Let x(f) = f**2 + 3*f + 14. Let t be (-2)/10 - 28/10. Let w(o) = t*y(o) + 2*x(o). Is w(7) composite?
True
Let l = 50338 - 27517. Suppose 0*q - q = 4*t - l, 11409 = 2*t + q. Suppose -t = -8*g + 2*g. Is g a prime number?
False
Let q(x) be the second derivative of -115*x**3 + 31*x**2/2 - x - 23. Is q(-7) a composite number?
False
Let z = -649 + 1149. Suppose 859 = s - 2*g - z, -s = 2*g - 1379. Is s prime?
False
Suppose -17*u + 11*u = 47544. Let r = u - -11195. Is r prime?
True
Suppose 236*b = 7077677 + 6316503. Is b a composite number?
True
Is ((-273)/35 - ((-3)/(-15) + 0)) + 621163 a composite number?
True
Suppose 0 = -t - 3*d + 4701, -t - 18754 = -5*t - 2*d. Suppose -1626 = 4*k - t. Is (k/12 - 1)*4/1 a composite number?
False
Let y(q) be the first derivative of 1783*q**2/2 + 18*q + 71. Is y(1) a composite number?
False
Suppose -2*v - 17 + 29 = 0. Suppose -5457 = 3*q - v*q. Is q a composite number?
True
Suppose 2*z + 4*n + 90 = 5*n, -3*z - 149 = 2*n. Suppose 0*q = 2*q - 164. Let s = q + z. Is s a prime number?
False
Suppose 7284*c - 522305 = 7279*c. Is c composite?
True
Suppose 4*h + 44689 = v, 15*h = -3*v + 10*h + 134135. Is v a prime number?
False
Let w(r) = 223*r - 111. Let f(g) = 4*g + 36. Let h be f(-5). Is w(h) a composite number?
False
Let o(t) = 7*t + 32. Let x be o(-4). Suppose -6126 = -3*c - 3*s, c + x*s - 2045 = 2*s. Is c a composite number?
False
Suppose 9*k - 5588 = 5*k. Suppose k + 1679 = a. Is ((-7)/(-14))/(2/a) prime?
True
Is 4*(78075/18 + 3) composite?
True
Let b be 6 + 2 + (3 - 7). Suppose 0 = f + 3*c - 413, b*f + c - 2107 = -f. Is f prime?
False
Let q(m) = -m**2 - 23*m - 84. Let x be q(-18). Let f(i) = 1 + 1 + 44*i + 5. Is f(x) a prime number?
True
Let n(r) = -7*r**2 - r - 4. Let v be n(-3). Let d = v + 69. Suppose d*t - 552 = -4*j, -4*j + 4*t = t - 520. Is j a composite number?
True
Let m(a) = -15*a + 167. Let h be m(8). Suppose 5*r - 3*t = 21351, 42*r + t = h*r - 21347. Is r a composite number?
True
Let f be (-96115)/10*(6 - 8). Suppose -2*o = -4, -2*o = 5*k - 2416 - f. Is k a prime number?
True
Let c(t) = 1001*t**2 + 16*t + 55. Is c(6) a composite number?
False
Let q be (-2)/(22/10 + -2)*13. Let w = q + 135. Suppose w*u = 5940 - 1105. Is u a prime number?
True
Let t be -2 + -1 + 3 + 7. Let w(v) = -v**2 + v + 21. Let d be w(t). Let h = 40 + d. Is h prime?
True
Suppose -4*r = z - 6095, 0 = -4*z + 8*z + 2*r - 24450. Is -6*2*z/(-60) a prime number?
True
Let x = 287 + -283. Suppose -2*w + a + 4697 = -17067, 21774 = 2*w + x*a. Is w prime?
True
Let d(f) be the second derivative of f**4/6 + 3*f**3/2 + 93*f**2/2 + 12*f. Let x(m) = -m**2 - 4*m - 47. Let h(b) = -6*d(b) - 13*x(b). Is h(0) composite?
False
Let p(r) = 43*r**2 - 4*r + 8. Let s be p(5). Let c = s + -156. Is c a prime number?
True
Let x(h) = 924*h - 37. Let m be x(4). Suppose -m - 7968 = -11*b. Is b prime?
False
Let n(b) = b**3 + 82*b**2 - 301*b + 489. Is n(-52) a prime number?
False
Suppose -9 - 1 = -5*d. Suppose 2*g = -f + 930, -3*g + d*g + 468 = 2*f. Suppose 2*m = -0*m - y + g, 2*m - 470 = 2*y. Is m a prime number?
True
Let b = -48 + 39. Is (-1 - 1) + (8949 + b - 5) prime?
True
Suppose -5*r + u = -235381, -50*r + 52*r - 3*u - 94142 = 0. Is r composite?
True
Let n = -157 + 162. Suppose x + 3360 = 5*u, -u - 2*x + n*x = -658. Is u composite?
False
Let g = 5 - 14. Is (15780/g - 2)*(-33)/22 a composite number?
False
Let z = -272577 - -491696. Is z prime?
True
Suppose -5*h = 4*l + 362, 4*h + l - 137 = 6*h. Is 350/h + (-23408)/(-2) a prime number?
True
Let i(y) = 2*y - 8. Let c be i(4). Let r(l) = -5 + c*l**3 + 3*l**2 - 3*l**3 + 2*l**3 + 9*l**2. Is r(6) a prime number?
True
Suppose 3*k = -6*p + 11*p + 24, 2*k - 20 = 4*p. Suppose 3*b + 4 = 3*c - 5*c, 4*b + 10 = -5*c. Is (7/((-21)/c))/(p/(-6471)) prime?
True
Suppose -21274 - 15986 = 12*c. Let q = c + 5476. Is q a composite number?
False
Let t(i) = 2*i**2 - 29*i + 17. Let y be t(14). Let p(m) = 34 + y - 7*m - 9*m - 13*m. Is p(-6) a composite number?
False
Let m(s) = s + 17. Let g be m(-13). Suppose -3*n - 8 = -2, 5*n = g*o + 9798. Let l = 3513 + o. Is l composite?
False
Suppose -8*h = -12*h - 3*g + 2974, -5*g - 2990 = -4*h. Is h a prime number?
False
Let p(z) = -z**2 + 7*z - 7. Let d = 43 + -39. Let l be p(d). Suppose -c - 5*s = -3*c + 1379, 0 = -l*c - 4*s + 3497. Is c a prime number?
False
Let i(q) = -883*q - 9. Let g be i(-2). Suppose 141*t = 140*t + g. Is t prime?
False
Suppose 412 = -12*q + 16*q. Let v = 49 - q. Is (2 - 0)*(v/4)/(-3) prime?
False
Suppose -3*r = -2*j + 36397, 0 = -119*r + 116*r - 15. Is j a composite number?
False
Let m be (-4)/(-3) + 81364*10/(-120). Let h = 27172 + m. Is h a prime number?
True
Let m(n) = -n**2 - n - 1. Let k(t) = 43*t**2 + 11*t - 30. Let a(w) = k(w) + 5*m(w). Is a(4) a prime number?
False
Let n = 12478 - 7302. Suppose n = 7*w - 8075. Suppose -4*x + w - 217 = 0. Is x a composite number?
False
Is 22528/15 - (-24)/(-1260)*-7 a prime number?
False
Suppose 270508 = 2*b - 3*v, 5*b + 1444*v = 1443*v + 676253. Is b prime?
False
Let p(o) = -o**3 + 8*o**2 + 2*o - 8. Let s be p(8). Suppose -8*x + s = -32. Suppose 0 = -x*k - 5*w + 5755, 4604 = -0*k + 4*k + 5*w. Is k composite?
False
Let d(a) = -9*a**2 + 6*a - 7. Let u(h) = 28*h**2 - 17*h + 21. Let k(b) = -7*d(b) - 2*u(b). Let m = -2499 - -2505. Is k(m) composite?
False
Let v be (2 - 1) + 1/((-2)/6). Suppose -d - d = 4. Is v + 0 + 1253 + (d - -4) a prime number?
False
Let a(y) = 1984*y**2 - 3*y - 23. Let g be ((-4)/4*2 + 6)*-1. Is a(g) composite?
True
Let t = 199 - 199. Suppose t = -17*s + 140288 - 52789. Is s prime?
True
Suppose 0 = 33*h - 95*h + 4769764 + 62