- 41487 = -3*r + 4*v, v = d*r - 55316. Is r a composite number?
False
Let x(p) = 11*p - 4. Let r = 16 + -12. Let d be x(r). Let z = d + -14. Is z composite?
True
Suppose -9*n + 52908 = -16815. Is n composite?
True
Is (-353158)/(-34) - (-4 - (-3 + 3)) composite?
False
Let h be (-2)/(-2) + 4/2. Is 494 + (h/(-12) - 15/20) a composite number?
True
Let s be -4 + 4*(-1 - 0). Let a(d) = -99*d + 7. Is a(s) composite?
True
Suppose 4396 = -12*t + 16*t. Is t a prime number?
False
Suppose -5*x + 73 = 13. Let d(t) = t**3 - 11*t**2 - 13*t + 4. Let q be d(x). Let y = q - -11. Is y a composite number?
False
Suppose 40*p = 24988 + 72412. Is p a prime number?
False
Suppose -5*z = -4*o - 23207, 2638 = -z + 4*o + 7273. Is z composite?
False
Suppose v = u - 1363, 2*u + 2*u + v - 5442 = 0. Is u a composite number?
False
Suppose -2*a = -k - 23727, -4*k - 59295 = -5*a - 6*k. Is a a composite number?
True
Let f = -4 - -8. Let w = 45 - 45. Suppose -5*g + f*v + 655 = w, -4*v + 3*v + 524 = 4*g. Is g a prime number?
True
Let s(g) = -g**3 - 5*g**2 - 6*g - 5. Let v be s(-4). Suppose -20 = -v*n - n. Suppose 3*i + 362 = 4*h, 2*h - n*i - 188 = -0*h. Is h composite?
False
Suppose 0 = 4*r - 2 - 6. Suppose 0 = 3*o - 808 - 74. Suppose 2*w + r*c = o, -128 = -w + 3*c + 27. Is w a composite number?
False
Let l(k) = -k**3 + 10*k**2 + k - 8. Let y be l(10). Suppose -20 = -5*z, b + y*z - 35 = -3*z. Is b prime?
False
Let m = -508 + 1155. Let w(p) = 35*p**2 - p - 2. Let v be w(-3). Suppose h = d - v, 2*h + h = -2*d + m. Is d composite?
True
Suppose 23269 = 7*k - 3282. Suppose k = -2*u + 3*u. Is u prime?
True
Suppose -9*c = c - 22570. Is c prime?
False
Let n be 2/4*(-2 - -10). Suppose 3*f - n*t - 1043 = 2*f, 20 = -5*t. Is f prime?
False
Let h(o) = -3*o**3 + 5*o**2 - 3*o + 7. Let k be 1 + 7/(-4) + 168/(-32). Is h(k) a composite number?
False
Let f(o) = -o**3 + 13*o**2 - 4*o + 37. Is f(12) prime?
False
Suppose 0 = -2*m - 3*k + 39, -3*m - 2*m - 3*k = -75. Let t be (m/(-18))/(1/(-90)). Suppose 8*w - 4*w - t = 0. Is w composite?
True
Is 3 + (-2)/(-2) + (2 - -3707) prime?
False
Is (1 - 4/(24/(-89547)))*2 a composite number?
False
Let h(k) = -3173*k - 51. Is h(-4) a composite number?
False
Let w be 335*2/(3 + -5). Let l = w + 562. Suppose 42 - l = -5*y. Is y a prime number?
True
Let o = 13 - 0. Let m = o + -10. Suppose -4*z - m*f + 59 = 0, 8 = 4*z + 2*f - 50. Is z composite?
True
Let a = 23454 - 16567. Is a prime?
False
Suppose 865 = 6*d - d. Let a = d - 88. Is a prime?
False
Let a(s) = -68*s**3 - 4*s**2 - 4*s - 6. Let k be a(-4). Suppose 9*t - 2*t = k. Suppose 5*w + t = 3*p - 1522, -p = -5*w - 702. Is p a prime number?
False
Let u = 559 + -385. Let h = -47 + u. Is h a prime number?
True
Let t(k) = k + 127. Let i(h) = 2*h - 8. Let y be i(6). Suppose 0 = y*p - 3*p. Is t(p) prime?
True
Suppose 3*l + 51 - 3218 = -k, 6 = -3*l. Is k a prime number?
False
Let t = 169 - 86. Is t prime?
True
Let d = 30596 + 12045. Is d composite?
False
Let w = -2 + -373. Let m = w - -626. Is m composite?
False
Let p(s) = s**3 - 7*s**2 - 2*s + 7. Let u(q) = q + 17. Let w be u(-9). Let j be 12/w + 34/4. Is p(j) a composite number?
True
Suppose -2*q = 11*q - 29523. Is q prime?
False
Let j = 20330 - 10429. Is j a prime number?
True
Suppose 3*n - 2394 - 771 = 0. Suppose 0 = -17*t + 22*t - n. Is t a prime number?
True
Suppose 0 = -u + 2*u - 20. Suppose 0 = a + 3*t - t - 51, -5*t + u = 0. Let w = a + 180. Is w composite?
False
Let t(p) = 2*p + 1. Let f be t(2). Let l = 1 + f. Is 15/l*(135 - 1) a prime number?
False
Is (-453393)/(-27) + 2 + 4/6 a composite number?
True
Let j = 10211 + -4670. Is j a prime number?
False
Let b(j) = 3409*j - 15. Is b(2) a prime number?
True
Suppose 0*r - 56245 = -7*r. Is r prime?
False
Let q = 8 + -4. Suppose q = -d - 0*d. Is d/18 + (-299)/(-9) a prime number?
False
Let w(t) be the third derivative of 5*t**5/6 + t**3/2 - 2*t**2. Let i be w(-4). Let k = i - 494. Is k prime?
False
Suppose -18*r - 145962 = -r. Let h = r + 17077. Is h prime?
False
Suppose -919284 = -48*l - 135972. Is l composite?
False
Let o = 55 + -31. Suppose -4*d - 5*q - 270 = 0, 5*d + 5*q = 2*d - 205. Let g = o - d. Is g composite?
False
Let n = -2678 + 4057. Is n composite?
True
Is 627/(-77) + 8 - (-402796)/14 a prime number?
True
Let g be (3/(-4) - (-3)/12)*52. Let l = 57 + g. Is l a composite number?
False
Suppose 0 = 4*i + 8. Let c(n) = 455*n. Let q(j) = 910*j + 1. Let a(x) = 5*c(x) - 3*q(x). Is a(i) prime?
True
Suppose -h - 75488 = -5*m, 8900 + 6200 = m + h. Is m prime?
False
Let b(v) = -v**3 - 12*v**2 - 19*v + 12. Let l be b(-10). Suppose m = -5*q - 368 + 1594, 4*q = l*m - 2382. Is m a composite number?
False
Let o = -93 + 75. Is 1*1*-3049*(17 + o) a composite number?
False
Suppose -2 = 5*z - 32. Let r be (-94)/4*z/(-1). Suppose 2*k + r = 955. Is k composite?
True
Let v = -5764 - -12135. Is v prime?
False
Let g be ((-1)/(-2) - 0)*(9 - -1329). Is ((-4)/(-6))/(2/g) composite?
False
Let z(l) = -l**3 - 5*l**2 + 16*l - 6. Let y be z(-18). Let q = y - 2249. Is q a prime number?
True
Let l(u) = -2*u + 21. Let v be l(14). Let z = v + 63. Suppose 103 + z = 3*c. Is c a prime number?
True
Let w = 1 + -166. Let l = 11 - 13. Is w/l - 2/(-4) prime?
True
Suppose -8781 = -21*h + 18*h. Is h a prime number?
True
Let j = -20696 - -53535. Is j prime?
True
Suppose 0 = -4*y + 39*y - 1618085. Is y a prime number?
False
Suppose 0 = 2*k + 6, -4*l = 5*k - 2494 - 639. Is l composite?
False
Suppose 79161 = 9*l - 27534. Is l a composite number?
True
Suppose -80*m + 74*m + 19794 = 0. Is m prime?
True
Suppose -4*d + 8*d = 4. Is (-489)/((-12)/(-8) + (d - 4)) composite?
True
Let m(c) = 9*c**3 + 3*c**2 + 21*c + 9. Let t(g) = 5*g**3 + 2*g**2 + 11*g + 5. Let u(d) = 6*m(d) - 11*t(d). Let n be u(-5). Is (54 + n)/(16/32) composite?
True
Suppose -2*s = -2*u - 982, -4*s + u - 982 = -2940. Let h be -10 + 14 - -2*3*172. Let l = h - s. Is l composite?
False
Suppose -1028 = 3*b - 14471. Is b prime?
True
Suppose 3*p = 7 + 17. Let i = -6 + p. Suppose 2*b = -b + 3*t + 48, 6 = i*t. Is b composite?
False
Let b(d) = d**3 + 5*d**2 - 7*d - 6. Suppose t - 13 = 4*a + 1, -3*t - 2*a = 28. Let g be b(t). Let w = 13 + g. Is w a prime number?
True
Suppose -14*a + 138677 = -34433. Is a a composite number?
True
Let z be 15 - (-4)/8*6. Let m = z - 18. Suppose m = i - 72 - 5. Is i a prime number?
False
Suppose 0 = -9*o - 44545 + 282856. Is o a composite number?
False
Suppose -5*b + 6*b = 2536. Suppose -4*l + b = -4*w, l + 5*w - 545 - 71 = 0. Is l a prime number?
True
Is -8 - (-7 - 9) - -19587 composite?
True
Let k(v) = -76*v + 141. Is k(-16) composite?
True
Let l(k) = -82*k - 3. Let q(b) = -82*b - 3. Let h(w) = -4*l(w) + 5*q(w). Is h(-6) a prime number?
False
Is 4 + (-10589)/(-7) - (-2)/7 a composite number?
True
Let g(u) be the third derivative of u**4/24 - u**3/3 - 3*u**2. Let d be g(5). Let r(q) = 111*q - 2. Is r(d) prime?
True
Suppose 0 = 5*q + 3*p + 7 + 2, -15 = -4*q + 5*p. Suppose -u - 2*j - 1520 = -3*u, 1 = j. Suppose q*i + i = u. Is i prime?
True
Suppose -281*d + 16303 = -274*d. Is d a prime number?
False
Let n(o) = -o**3 + 7*o**2 + 10*o + 11. Let m(t) = -t**2 - t + 3. Let s be m(0). Suppose -5*v + s*i = 15, 5*v + 3*i = 3*v - 27. Is n(v) prime?
True
Let v be 16/(-12)*74*(-23 + 2). Let t = -711 + v. Is t a composite number?
False
Let f = -28 + 31. Suppose 3*w + i - 578 = 0, -w + 397 = w + f*i. Is w a prime number?
True
Let v(s) = -s**2. Let k(y) = 5*y**2 + 2*y - 3. Let m(z) = k(z) + 6*v(z). Let i be m(2). Is 14576/48 - (-2)/i a prime number?
False
Let f(l) be the first derivative of -147*l**2/2 - 3*l + 9. Let a be f(-6). Is 0 + 3 + a + 7 composite?
True
Suppose 23 = -3*x - 5*c, -3*x + 2*c + 12 = -7*x. Let w(u) = -1708*u**3 - 2*u**2 + u + 2. Is w(x) composite?
True
Let i(p) = p**2 - p - 4. Suppose 0*c + 7 = -x - 2*c, 5*x = -2*c - 19. Let f be i(x). Suppose f*t = 9*t - 131. Is t a composite number?
False
Let r(y) = 13*y**2 + 50*y + 305. Is r(-28) prime?
False
Let o(m) = m**2 - 6*m - 20. Let l be o(-9). Let k = l - -136. Is k composite?
False
Suppose 142 - 43 = 9*o. Suppose -o*f + 137 = -3372. Is f a prime number?
False
Suppose -31*a + 1134 = -6523. Is a composite?
True
Let r(f) = -1. Let t(m) = -11*m**2 + 2*m + 9. Let p(d) = -4*r(d) - t(d). Is p(8) a prime number?
True
Let p(o) =