= 5*d - 2*f. Is d prime?
False
Suppose 9*s = 12*s. Suppose -3*w = -4*x + 796, 5*x + 0*w + 2*w - 995 = s. Is x prime?
True
Let b = -113 - -1300. Is b prime?
True
Let k = -3146 - -5607. Is k prime?
False
Suppose -2*d + 4*n = 6 - 2, -2 = -4*d - 2*n. Suppose d = b - 4*k - 157, 3*b + 4*k = 184 + 255. Is b a composite number?
False
Let n be (4/(-3) + 4)*-15. Let u be (n/25)/(2/(-5)). Suppose -u*x + 548 + 16 = 0. Is x prime?
False
Let b(s) = -s**2 - 7*s + 2. Let r be b(-8). Let h be (48/18)/((-4)/r). Suppose h*g - 1124 = 296. Is g prime?
False
Let b = 15 + 1642. Is b prime?
True
Let f = 5432 - -825. Is f prime?
True
Let s(d) = 7253*d**2 - 8*d - 32. Is s(-3) composite?
False
Let l(v) = v - 7. Let z be l(6). Let o(g) = -138*g**2 + g - 6. Let u(w) = 277*w**2 - 2*w + 11. Let c(y) = 11*o(y) + 6*u(y). Is c(z) a prime number?
False
Let d(o) = 14*o**2 + 7*o - 6. Let j be 4/8 - (-4)/(8/9). Is d(j) composite?
False
Suppose 0 = -2*c + 4*t - 2577 - 6877, 5*c + 23671 = -2*t. Is c*6/18*-3 a composite number?
False
Let x(y) = -4*y - 4. Let n be x(-5). Let k = n - 13. Is (-5)/15 - (-574)/k composite?
False
Suppose -5*l + k + 23 = 0, -4*l = -2*k + 4 - 20. Suppose 3*c + 3*o = -0*o + 6474, 0 = -l*c + 4*o + 10745. Is c a composite number?
False
Suppose 5*l + 265 = d - 20791, -2*d + 42127 = -5*l. Is d a composite number?
True
Let t(r) = 84*r**2 + 2*r + 29. Is t(6) a composite number?
True
Suppose -3*m - 3*m = -510. Let f be 350/m - 4/34. Suppose -f*a + 383 = w, a + 15 = -4*a. Is w composite?
True
Let q(u) = 498*u**3 - u**2 + 3*u + 2. Let x be q(-2). Is 1/(2/8 + 990/x) composite?
False
Suppose 39649 + 283729 = 22*h. Is h composite?
False
Is -11 - -1126 - (3 + -3) a prime number?
False
Suppose -339 - 3592 = -3*b - 2*d, 3*b = 4*d + 3901. Let k = -681 + b. Is k a prime number?
False
Let f(b) = 9*b**2. Let u(d) = d**3 + 4*d**2 + 3*d - 1. Let t be u(-3). Let r be f(t). Let y(j) = j**3 - 8*j**2 - 6*j - 4. Is y(r) composite?
False
Suppose -y - 16 = -4*d, 7*d = -3*y + 2*d + 37. Let l(p) = 85*p**2 - p + 7. Is l(y) composite?
True
Let d(x) = x**3 + x**2 + 3. Let s be d(0). Suppose 0 = -s*k + 309 + 504. Suppose -4*v + 237 = -k. Is v composite?
False
Let p be 1651 - ((-3 - 1) + 4). Is (0 + (-12 - 1))*p/(-13) prime?
False
Let r = -36 - -39. Suppose 2*u - 382 = -v, u = -r*u + 4*v + 764. Is u a prime number?
True
Suppose 0 = l - 4 + 2. Suppose -4*p + l*q + 3910 = 0, 0*q - q + 976 = p. Is p composite?
False
Let n be -16306 + -4 + 2/(-2). Is (1/1)/(1/n*-3) a composite number?
False
Let z(p) = 14*p**2 + p - 9. Let f be z(-4). Suppose -3*y + b + f = 0, 2*y - 3*b - 105 = 45. Is y composite?
True
Let o(k) = -k**3 + k + 113. Suppose 0*d - 66 = -5*w + 2*d, -4*d = w. Let i = w + -12. Is o(i) composite?
False
Let r = -926 - -2515. Is r prime?
False
Let b be (-3)/1*(-42 + 5). Suppose 0*a = a - b. Is a a composite number?
True
Let p(q) = q**2 + 11*q - 12. Let w be p(-11). Let g be (-3)/2 + w/(-8). Is 4 + (12 - 1 - g) prime?
False
Let v = 43 + -19. Suppose -6*l = -10*l + v. Suppose -l*u = -503 - 355. Is u composite?
True
Suppose -5*d + 4*d = 3*k - 22, -4*k = 3*d - 26. Suppose 0 = -2*f + k, 4*t - 282 = 2*t - f. Is t composite?
False
Let h(w) be the first derivative of 42*w**4 + w**3 + w**2 - w + 4. Let l be h(-2). Let k = -540 - l. Is k composite?
False
Suppose 3 = -5*v + 13. Suppose 495 + 196 = 5*j - v*n, 0 = 5*j + 2*n - 699. Is j a prime number?
True
Let y = -6605 + 12990. Is y a composite number?
True
Let c(d) = 34*d - 19. Let y = 37 - 29. Is c(y) composite?
True
Suppose 0 = -3*q - 5*i + 21010, 0*i - 3*i - 6980 = -q. Is q prime?
False
Suppose -4*p - 5*k - 51 = -866, p = 2*k + 194. Is p - (-1)/(3 - 2) a prime number?
False
Let c = -24140 - -48579. Is c a composite number?
False
Let o(h) = 525*h + 58. Is o(21) a prime number?
True
Let b(r) = -34*r**3 + 6*r**2 + r - 5. Let m(u) = 69*u**3 - 11*u**2 - 2*u + 9. Let f(h) = 11*b(h) + 6*m(h). Let v be f(-1). Let s = 77 + v. Is s composite?
False
Suppose -3*m + 1460 = 2*j - 1033, 0 = -4*m + j + 3324. Let z = 1618 - m. Is z a prime number?
True
Suppose 2*c = -2*c - 52. Let z = 7 + c. Let k(b) = -b**3 - 4*b**2 + 8*b - 1. Is k(z) a composite number?
False
Let h be (-1 + 2)/(-2*4/(-40)). Suppose 0*q + 5*t - 7675 = -h*q, -5*q + 3*t + 7643 = 0. Is q a composite number?
False
Let u = -133 + -68. Let x = 289 + u. Let s = x + 25. Is s a prime number?
True
Let p(r) = r**3 - 3*r**2 - 3*r + 4. Let s be p(6). Let h = -15 + s. Is h composite?
False
Let v be 5132*3/(-30) + (-1)/(-5). Is (-12)/24*(v + 2/(-2)) composite?
False
Suppose 4*x = 42576 + 24240. Suppose 4*f = -4*o + x, -2*o = 5*f + 5951 - 26819. Suppose 5*m - f = m. Is m composite?
True
Let x = -16 + 17. Let a be (-2)/(x/(-2 - -1)). Is (a + 14)*25 - 3 a prime number?
True
Let a be (-688)/(-4) + (1 - 0). Let f = a + 624. Is f composite?
False
Let h = -50 + 223. Let b = 79 - h. Let q = b + 243. Is q a composite number?
False
Let n be (-45)/(-20)*-4*1. Let h = n - -14. Suppose -3*i = 2*o - 437, 476 = h*i - 4*o - 289. Is i prime?
True
Suppose 0 = -0*x + 3*x + 4*n + 329, 0 = -5*x - 2*n - 525. Let p = 20 - x. Is p a composite number?
True
Let i(s) = -s**3 + 3*s**2 - s. Let v be i(4). Let o be (32/v)/(2/(-5)). Let w(b) = 6*b**3 + 2*b**2 - 4*b + 9. Is w(o) a prime number?
True
Let t be -129*(2 - (-16)/(-6)). Suppose -3*p - 2 + t = 0. Suppose m - 666 = -5*x, x - p = -m + 102. Is x a composite number?
True
Is (-407445)/15*-2*(-3)/(-6) composite?
True
Let s = -45 - -27. Let w(i) = -15*i + 29. Is w(s) a composite number?
True
Let k(x) = 14*x + 7. Is k(2) a prime number?
False
Let l = -650 - -13393. Is l a composite number?
False
Let j(b) = -b**3 + 33*b**2 + 29*b + 1. Let s(g) be the first derivative of -8*g**3/3 - 7*g**2/2 - 6. Let w(m) = 2*j(m) + 9*s(m). Is w(-5) composite?
False
Let w(q) = 93*q - 4 + 9 - 1. Is w(1) prime?
True
Let l(t) = -t**3 + 3*t**2 + 7*t - 7. Let f be l(4). Suppose -8*d = -f*d - 2937. Is d a prime number?
False
Let o(u) = 15*u**2 - 5. Let y be o(-7). Let z be (471/2)/((-3)/6). Let m = z + y. Is m a prime number?
False
Suppose 3*a = 2*q + 736, 4*a - 2*q + 6*q - 948 = 0. Let m = a + 51. Is m a composite number?
False
Let z = -404 + 672. Suppose o + z = 3*o. Is o prime?
False
Let a(g) = -2*g**2 - 12*g + 7. Let t be a(-6). Is -2 - -4 - (-2009)/t - -4 a composite number?
False
Suppose -7*i = -8*i + 2148. Suppose -3*l + 307 + 230 = b, 2*l = -4*b + i. Is b a prime number?
False
Let s(q) = 3*q**2 + 8*q + 2. Let t be s(8). Suppose 0 = -3*f + 6 + 3, -3*n + t = 4*f. Is n composite?
True
Suppose -3*z + 3*x = -z - 101333, 3*z - 151998 = 5*x. Is z prime?
True
Let o = 4168 - -3181. Is o a prime number?
True
Let f(x) = -2*x - 4. Let v be f(-4). Suppose -n + 11 = 11. Suppose v*i = -n*i + 1236. Is i prime?
False
Let u = 10435 - 7454. Is u composite?
True
Let t(f) be the third derivative of f**5/10 - 11*f**4/24 - f**3/6 - 3*f**2. Is t(10) composite?
True
Let i be -1*(-7)/((-14)/(-12)). Suppose -n - 2 = -i. Suppose 2*q - n*q + a + 1154 = 0, -q = -2*a - 571. Is q a composite number?
True
Suppose -827 = -4*u - 3*p, 5*u + 2*p - 1033 = -2*p. Let j = u + -24. Suppose 0 = d - 3*m - j, 416 + 111 = 3*d + 5*m. Is d a composite number?
False
Suppose -18 = -2*g - 14, 13562 = 4*k + 3*g. Is k a prime number?
True
Suppose -6 = -3*j, -39*j + 147880 = 2*w - 38*j. Is w a prime number?
True
Suppose 746 = 2*z + 2*i, 2*i + 3*i = z - 343. Let u be z - -8*3/6. Suppose -2*y = 2*y - u. Is y a composite number?
True
Let k = -12 - -15. Suppose f - 7 = -x, x = -k*f + 2 + 11. Suppose -x*h + 3*t + 1291 = 0, 456 = 4*h + t - 815. Is h prime?
False
Let i(u) = 10*u**2 - 10*u - 121. Is i(-12) a composite number?
False
Let y be -5 - -8 - (-2 - 0). Is 59 - (y - 6/2) prime?
False
Let x = 22076 + -8499. Is x prime?
True
Let g be ((-8266)/(-6))/((-4)/12). Let c = -2080 - g. Is c prime?
True
Suppose 0 = 4*g + 5*s - 34544, 3*g - 74*s = -73*s + 25927. Is g prime?
True
Let z(j) = -j - 2. Let d be z(-15). Suppose 4 = -12*o + d*o. Is (53/o)/((-1)/(-20)) prime?
False
Let a = 16 - 11. Suppose 0 = -2*k - 2*k + 2*c + 4078, -a*k + c + 5105 = 0. Suppose -3*u + k = 5*p, 0 = -2*p - 5*u + 388 + 17. Is p prime?
False
Let p(w) = w**2 - 7*w + 7. Let i be p(7). Is (-1834)/i*1/(-2) a prime number?
True
Let n be (-20)/(-50) + 166/10. Let s be (2 - 1) + n/(-1). Let u = s - -83.