 (c - -12 - (1894 - 2)) prime?
True
Is 150568 + -2 + (-697)/(-41) a prime number?
True
Let o(y) = 191*y + 24. Let f(d) be the first derivative of -3*d**2/2 - 7*d - 16. Let m be f(-8). Is o(m) a composite number?
False
Let v be 4 - ((-178422)/2 + -14 + 8). Suppose 0 = -20*l + v - 20961. Is l prime?
True
Let k = 19106 - -4793. Is k composite?
False
Let i(f) = -45*f**2 - 5 + 2*f**3 - f**3 + 11*f + 39*f**2. Let x be i(10). Suppose 5*g + 2*p - 633 = 0, 5*g - g + 3*p = x. Is g prime?
True
Suppose 2*h - 5739 = 3*i, 3*h + 5*i = 1307 + 7330. Suppose 0 = 34*u - 39*u - 25, -h = -l - 5*u. Is l prime?
False
Suppose 0 = -35*x + 31*x + 24. Let k(c) = 5*c**3 - 7*c**2 + 6*c + 13. Is k(x) a composite number?
False
Let w(v) = 3*v**2 - 49*v + 3. Is w(47) a prime number?
True
Let d = 319561 - 143082. Is d a composite number?
True
Suppose 3*r - 88455 = -29280. Suppose 5*d + 3*u = 19730, 5*d + u + u = r. Is d prime?
True
Let v be (-65)/(-4) - (-24)/32. Suppose v = -3*n - 7. Let z(l) = -l**3 - 10*l**2 - 19*l - 2. Is z(n) a prime number?
False
Is (207/(-2 - -5))/((-363)/(-200497)) composite?
True
Suppose 2*z - 68424 = c, -31*c + 27*c + 171047 = 5*z. Is z prime?
True
Let b(m) = -22*m**2 - 3*m - 3. Let g(x) = 23*x**2 + 2*x + 3. Let o(r) = 4*b(r) + 5*g(r). Is o(-14) composite?
False
Let r be 8*((-2)/(32/(-20)) + -1). Let j(o) = -5 + r*o + 2*o - 20*o + o**2 + 0. Is j(-12) a prime number?
True
Suppose -113*d - 6951531 + 10126959 = -37353265. Is d a prime number?
False
Is 8/(-12) - (-6854958)/54 prime?
True
Suppose -4*y - 2425635 = -49*y. Is y a composite number?
True
Suppose -2*t = -5*x - 48281, 4*t + 4*x = 9*t - 120728. Let g = t + -5289. Is g prime?
True
Suppose -5*g = -1014 - 881. Suppose -144 = 5*i - g. Suppose -3*z + 8*z + i = 3*c, 3*c + 2*z - 40 = 0. Is c a prime number?
False
Suppose 2*b + 17786 = -3*h, -5*h - 5*b - 26888 = 2747. Let d = 9502 + h. Let v = -2476 + d. Is v prime?
False
Let v(p) = -683*p - 189. Let i be v(-14). Let n = i + -3516. Is n composite?
False
Let z be -2 + 9/(-3) + 7 - 1336. Suppose 0 = -8*k + 10*k - 5058. Let g = k + z. Is g a prime number?
False
Suppose 44*v - f = 42*v + 41329, 0 = -v - 2*f + 20657. Is v a composite number?
False
Let f = 49739 + -23598. Is f prime?
True
Suppose -4 = j - 8. Let i be (16 - 2)*2/j. Let x(y) = y**3 - 3*y**2 + 4*y - 1. Is x(i) a composite number?
False
Let m(n) = -3*n + 479 + 3*n - n - 477. Let i be m(0). Suppose 0*t + i*t = 190. Is t composite?
True
Let s(z) = -17*z - 13. Let x be s(-1). Suppose -6*v + 3*v + 4*r + 29335 = 0, -x*r = -4*v + 39108. Is v a composite number?
True
Suppose l = 4*q - 111596, 2*q = 61*l - 64*l + 55798. Is q a composite number?
True
Let n be (-10)/85 - 378/(-34). Let f(y) = y**3 - 15*y**2 - 12*y - 14. Let d be f(n). Is 1 + -2 + d/(-9) a prime number?
False
Let a = 190 + -116. Suppose -a*l = -83*l + 1899. Is l prime?
True
Let q(o) = -3*o**3 - 47*o**2 - 117*o - 122. Is q(-31) a composite number?
False
Let q(a) = -a**3 + 11*a**2 - 3*a - 22. Let d be 0 - (3 + -50 - 2). Suppose 47*t = d*t - 18. Is q(t) a prime number?
True
Suppose 2*x + 10*x - 12 = 0. Let d be (36/(-6))/x*(-6)/(-4). Let p(t) = t**2 + 7*t + 4. Is p(d) composite?
True
Let d(v) = v**2 + 18*v + 17. Let c be d(-17). Suppose c = a - 3 + 6. Let r(m) = -6*m**3 + 2*m**2 - 5*m - 4. Is r(a) a composite number?
False
Let h(a) = -53*a + 25. Let n be h(9). Let c = n + 680. Let f = c - -23. Is f composite?
False
Suppose -85*w + 25021976 = 3*w + 96*w. Is w a prime number?
False
Let g be -2*1/(-2) + 3779. Suppose 2438 = 2*l - g. Is l a prime number?
True
Let j(f) = 28*f + 15. Suppose -m = -4 + 6, 4*m = 2*w - 54. Is j(w) prime?
True
Suppose -t + 209498 = -3*d, 837965 = 419*t - 415*t - 3*d. Is t composite?
True
Is 24814078/58 - (44/1595)/((-34)/85) composite?
True
Is -4 - 2 - (7 + -6 + -290936) composite?
True
Let w(v) = -v**3 + 30*v**2 - 40*v + 214. Let o be w(29). Suppose -2*x = -d - 2*d - 545, 4*x = -2*d - 342. Let b = o - d. Is b a composite number?
True
Let u(g) = 51*g**3 + 7*g**2 + 71*g - 25. Is u(10) a composite number?
True
Is (145/(-87))/5*(-484316 - 1) a prime number?
False
Let i(a) be the second derivative of a**5/20 + 3*a**4/2 + a**3 + 19*a**2 - 39*a. Let o be i(-17). Let k = 479 - o. Is k prime?
False
Suppose x = 121 + 50. Suppose -179*s + x*s = -35288. Is s prime?
False
Let s = 5389 + -5453. Let r be 2*(17/2 + 1). Let m = r - s. Is m composite?
False
Let k be (9 + -5)/4 + 4 - 1. Is ((-14455)/(-196))/(1/k) a composite number?
True
Let i(v) = 255*v**3 + 21*v**2 - 123*v + 166. Is i(7) composite?
True
Suppose -6*m + 229 = 43. Let l = -29 + m. Is l/((-40)/(-635))*8 a prime number?
False
Let r = -21354 + 50765. Is r a composite number?
False
Let h(x) = -5*x - 21. Let d be h(8). Let y = 64 + d. Suppose -5*m + 1827 = -2*m - y*g, 617 = m + g. Is m composite?
False
Let a(g) = 7*g - 144. Let h be a(21). Suppose -4*r - 5*v = -846, -8*v - 1080 = -5*r - h*v. Is r prime?
False
Is 1008/(-168) + 1 + 359268 composite?
False
Let t(m) = 230*m - 1. Let v(h) be the third derivative of h**5/12 - 7*h**4/24 + h**3 + 13*h**2. Let w be v(1). Is t(w) a composite number?
False
Suppose -72*t + 58*t = -70. Let k be (-45)/(-6)*8/6. Is (t/k)/(2/1468) prime?
True
Let x(o) = -o**3 - 12*o**2 - 13*o - 21. Let s be x(-11). Is (-4 + 4 + 667)*(s - 0) a composite number?
True
Suppose 4*w = -w + 54515. Let c = -6416 + w. Is c prime?
False
Suppose -115*k - 3696875 = -14277168 - 2671042. Is k prime?
False
Suppose -5*h - 2*w = -6*w - 106452, w - 42586 = -2*h. Suppose -9*i = -h - 9209. Is i a composite number?
False
Suppose -3*p - 3 = 0, 4*x + 7*p = 4*p + 257. Let v = -40 + x. Let q = v + 190. Is q a composite number?
True
Suppose 3*d = -5*c + 3989823, 60*c - 2393871 = 57*c + 2*d. Is c composite?
True
Is (-16)/56 + (((-5328324)/42)/(-3) - -1) prime?
False
Suppose -4*q - b + 354 = 4*b, -4*q - 3*b = -358. Suppose 4*v - 107 = -q. Suppose 0 = -4*g + v, 4*f + 0*f - 849 = -5*g. Is f a prime number?
True
Let z = 58137 + 134824. Is z a prime number?
True
Suppose -4*c - 5*q + 30 = -62, 3*c - 42 = 3*q. Let x = -12 + c. Let p(n) = 6*n**3 - 3*n**2 - 4*n - 7. Is p(x) a composite number?
True
Suppose -15274 = -4*z + 2*w, -3*z - w + 11448 = -4*w. Is z prime?
True
Let m = -270747 + 454654. Is m prime?
True
Let z be (-4)/(-14) + 0 + 8/(-28). Suppose z = o + 14*o - 71265. Is o prime?
True
Suppose 276*y + 26691959 = 203918074 + 40354345. Is y a composite number?
True
Let b be 65502/24 + -3*4/48. Let h = -1750 + b. Is h prime?
False
Let t(o) = -2*o + 1. Let z(j) = 3*j - 1. Let g(u) = 4*t(u) + 3*z(u). Let f be g(4). Suppose f*y - 4082 = 3*y. Is y a composite number?
True
Let l = -1644 + 4492. Suppose 2*s = f + 4829, -1975 = -2*s - f + l. Is s a composite number?
True
Let m(u) = -16789*u - 18. Let j be m(-2). Suppose 3*q - 62707 = j. Is q a composite number?
False
Let u be (2*(-2)/(-4))/((-4)/(-6716)). Let b = u + -1198. Suppose f - 270 = b. Is f a prime number?
True
Let x(z) be the third derivative of -113*z**4/12 + z**3/2 - 5*z**2. Suppose 4*u + 22 = 6. Is x(u) composite?
False
Let o be (-5168)/57*((-3)/6 - 1). Is (-12)/48*-993*o/6 composite?
True
Suppose -a - 8 + 14 = 0. Suppose -3*l = y - l, -4*y = 5*l - a. Suppose 4*d + y*p = 3244, -d + 4*p = -1191 + 390. Is d composite?
False
Let y be (-2*3/12)/((-3)/(-6)). Let i be 8615 + (3 + y - (1 - -4)). Let b = i - 6091. Is b a prime number?
True
Suppose -5*y = 4*f - 5285, 0*y + 4*f = -2*y + 2126. Suppose 2*x + 548 = 4*q, 4*x = -57 + 81. Let o = q + y. Is o a prime number?
True
Suppose -5*n + 5*b + 370 = 0, -9*b - 219 = -3*n - 7*b. Suppose 5*x - n + 36 = 0. Let a(f) = 34*f**2 - 11. Is a(x) prime?
False
Let k(t) = 8012*t**2 + 54*t - 493. Is k(10) a composite number?
False
Let n(v) = -682*v**3 + 26*v**2 - 34*v - 307. Is n(-8) a composite number?
True
Let t(r) = -8*r**3 + 5*r**2 + 2*r - 2. Let j be t(-9). Let m(a) = a**2 - 36*a - 40. Let x be m(37). Is (-1 - j)/(-4 + -1 - x) a composite number?
False
Let x(q) = -21*q**2 + 4*q - 7. Let u be x(2). Let g = -83 - u. Suppose -5*p + 3*p + 1366 = g. Is p composite?
False
Let d be (-2)/3 + 8/12. Let h be -3 + 6 - (3 - d). Let q(r) = -r + 481. Is q(h) a prime number?
False
Let n(m) = 111*m**3 - 1. Let t = 49 + -50. Let g be n(t). Let k = 261 + g. Is k prime?
True
Let v(d) = -d - 4. Let l be v(-7). Suppose 5*s 