 + 18425 = 5*x - 0*x, -18413 = -5*x - d. Is x composite?
True
Let r(y) = -7*y - 3. Let s be r(-2). Let o(q) = 2*q**2 - 12*q. Let i be o(s). Suppose 3*d = g - i, g + d - 100 = 2*d. Is g prime?
False
Let c = 13094 - -3399. Is c a prime number?
True
Let s(n) = 55*n**3 + 4*n**2 + 4*n + 7. Let l be s(5). Suppose -11*d + l = 2811. Is d composite?
True
Let s be 3/(-5)*-3*15/9. Suppose 1474 = s*i + 388. Is i prime?
False
Let f(z) = 52*z - 22. Is f(2) a prime number?
False
Let h = -18 - -17. Let w be (-1)/h + (-5 - 12). Let u(k) = -9*k - 17. Is u(w) a composite number?
False
Is (-4646)/2*(2 + -8)/6 a prime number?
False
Let t(v) = -254*v - 9. Let o(w) = -w - 1. Let p(d) = -5*o(d) + t(d). Is p(-3) a prime number?
True
Let h(t) = 85*t**3 - 7*t**2 + 17*t - 73. Is h(6) a composite number?
True
Let f = 48 - 48. Let a(d) = d**2 + 251. Is a(f) prime?
True
Let v(h) = -1 + 0 + 0 + 8*h - 279*h. Is v(-2) a prime number?
True
Suppose -19411 = -73*y + 66*y. Is y composite?
True
Let o be (44/(-6))/(8/2832 - 0). Let i = o + 4967. Is i prime?
True
Let x be (-1840)/25*125/(-2). Suppose 0 = -12*j + x - 1084. Is j prime?
True
Is (-7)/(42/(-189) + (-11858)/(-53442)) composite?
True
Suppose -g + 13362 = 16*y - 13*y, -9 = -3*g. Is y composite?
True
Let b(r) = 45*r - 3. Suppose 4*t + 11 = -f + 36, -5*f + 45 = 4*t. Let w be b(f). Suppose 5*a - 5*q = 220, -2*a + w = 3*a - 4*q. Is a a prime number?
False
Let g = 7420 + -3929. Is g composite?
False
Let j(g) = g**3 - 18*g**2 + 25*g - 17. Let q be (-6 + 5)/((-3)/51). Is j(q) composite?
True
Is ((-33)/(-6))/(3 + (-1210)/404) a prime number?
False
Let t(w) = 75*w - 17. Suppose -28 = -4*g - 4*k, -4*g - k + 14 = -4*k. Suppose -2*y - 3*b = y - 18, 0 = g*y + 3*b - 34. Is t(y) prime?
False
Let l = 5273 - 76. Is l a prime number?
True
Let s be (4 - 42/15)*-5. Suppose 5*o + 10 = 0, -3*y - 3*o = -o - 2. Is ((-14)/s)/(y/6) composite?
False
Let d = 581 - -92. Is d a prime number?
True
Let u = 12090 + 10811. Is u composite?
False
Suppose -2*i = -5*o - 398, 5*o = -5*i + 10*o + 1010. Let c = 173 + i. Is c composite?
True
Let l(b) = b + 1. Let o(u) = -3*u - 7. Let w(a) = l(a) + o(a). Let h be w(-4). Suppose -h*q + 4*q - 190 = 0. Is q prime?
False
Is (-5283)/(-7) + 36/126 composite?
True
Suppose -9*r + 49921 + 100910 = 0. Is r a composite number?
False
Suppose 3*d = 3*a + 6*d - 558, 2*a = 5*d + 365. Is a prime?
False
Suppose w - n + 0*n = 2, 3*w - 4*n = 8. Suppose w*a + 163 = -a. Let u = a + 312. Is u prime?
True
Suppose 5*k - 58 = -3*c + 246, -5*c = 5*k - 520. Suppose 3*q = 3*n - 48, -5*q - n - n - c = 0. Is (-744)/q + (-1)/5 a composite number?
False
Suppose 25156 = 5*r + 3*z, 0 = -r - 0*z - 4*z + 5021. Is r a prime number?
False
Let w be 4/(-14) + 16/56. Is 5 + -8 - (w - 1120) composite?
False
Let g(o) = o**3 - 17*o**2 + o + 3. Let n be g(18). Suppose 6*w = 873 + n. Is w prime?
False
Suppose -5*i = -4*q - 3345, 5*i - 5*q - 3340 = -0*i. Is i prime?
True
Suppose -p = 3*f - 3088, -f - 6167 = -2*p + 2*f. Is p a prime number?
False
Suppose 8*r - 16370 = -2*r. Is r prime?
True
Let j be 2 + 1 + (0 - -1). Let n = 1459 - -609. Suppose 5*w - 2*x = 2585, j*w - 3*x = x + n. Is w prime?
False
Let u be (26/5)/(2/670). Let d = -1063 + u. Is d a prime number?
False
Let s(z) = 6*z + 5065. Let d(w) = 5*w - 25. Let f be d(5). Is s(f) a prime number?
False
Suppose 2*a - 3*a + 64 = 0. Let k = 119 - a. Is k composite?
True
Suppose 5*v + 336 + 244 = 0. Let c = v + 270. Suppose -2*z - c = -4*z. Is z a composite number?
True
Suppose 5*n + 3*b = 21130, 152*b + 16931 = 4*n + 149*b. Is n a prime number?
True
Let t be (-53)/(-11) + 8/44. Let d(l) = 16*l**3 + l**2 - 13*l**3 + t - 7*l - 6*l**2. Is d(4) prime?
True
Is (1/(-2))/((-13)/155506) composite?
False
Suppose 5*o = 2*i + 36665 + 10522, 0 = -3*i + 12. Is o a composite number?
False
Suppose 4*t = 5*i + 2404 + 859, -4*t = 5*i - 3273. Is t prime?
False
Let c(t) = -1. Let l(g) = -76*g**2 + 2*g + 9. Let r(k) = -6*c(k) - l(k). Let o be r(-2). Suppose -o = -3*p + 568. Is p a prime number?
False
Let n(v) = 3*v**3 - 11*v**2 + 34*v + 113. Is n(17) a prime number?
True
Let n = 5 - -6. Let h = -7 + n. Let z = 14 - h. Is z composite?
True
Let u(r) = -2*r**3 + r**2 + 16*r + 9. Let h = -25 + 15. Is u(h) a prime number?
True
Let f(a) = -250*a - 57. Is f(-62) a prime number?
True
Suppose -32*n + 10102 = -30*n. Is n composite?
False
Suppose -3*a + a + 10077 = -x, -4*a + 20158 = 2*x. Is a a prime number?
True
Suppose -58028 = -7*h - 21166. Is h composite?
True
Is 1/((-7847)/31404 + (-6)/(-24)) prime?
False
Suppose 5*d - 481 = h + 7699, -d - 2*h + 1647 = 0. Is d a prime number?
True
Let u(f) = 75*f - 5. Let i be u(5). Suppose 0 = -4*b + s - 205 - 111, -5*b - 5*s = i. Let g = 109 - b. Is g composite?
True
Let c = 191 - 45. Let b = -114 + 257. Suppose -c = -4*f - 2*o, -o = 4*f - b - 4. Is f composite?
False
Let u be 86/30 + (-8)/(-60) + 0. Is u/(3/(-3) - -2) + 484 prime?
True
Let d(c) = c**3 + 7*c**2 - 11*c - 28. Let s be d(-5). Suppose s*a - 76*a = 1123. Is a prime?
True
Let r(l) be the second derivative of 11*l**4/12 - 3*l**3/2 + 13*l**2/2 + 7*l. Is r(6) composite?
True
Let r = 92 + -92. Suppose r = 3*s - 2874 - 2097. Is s composite?
False
Let u = 241 + 112. Let f = u - 182. Suppose 0 = 5*i - 164 - f. Is i composite?
False
Let s(t) = -1004*t**3 - t**2 - 24*t - 41. Is s(-2) a prime number?
False
Suppose n - 4*j + 810 - 27821 = 0, -3*n + 81067 = 5*j. Is n a composite number?
True
Suppose c - 9861 = -7*u + 2*u, 3*u + c - 5915 = 0. Suppose 33448 = 5*x + u. Is x prime?
False
Let o be 2/15 + 356/30. Let q be o/(-21) - (-4)/7. Suppose -2*s + q*s + 398 = 0. Is s a prime number?
True
Let d(t) = 10*t + 7. Let l be d(8). Suppose -l = -0*z - z. Is z a prime number?
False
Suppose 0*c - 2 = -c. Let w = c - 4. Is (-213)/(-6) + 3/w prime?
False
Is 3039*39/54*6 prime?
False
Suppose -3*g + 6*g + 453 = 0. Let y = 876 + g. Suppose q + y = 6*q. Is q composite?
True
Let p = -30 - -9. Is 1689/(-4)*(196/p + 0) prime?
False
Suppose 7*v - 5*c - 20034 = 5*v, -3*v + 30017 = c. Is v a composite number?
False
Let b(r) = 235*r**2 + 16*r - 22. Is b(-9) a composite number?
False
Let w(y) be the second derivative of -y**4/12 - 4*y**3/3 - 7*y**2/2 - 3*y. Let z be w(-6). Suppose 509 = 2*m - z*n, 2*m + 2*n = 444 + 72. Is m prime?
True
Suppose -5*i - 3*m = 2*m - 60920, 0 = 5*i - 4*m - 60893. Is i prime?
False
Suppose 8*u - 5087 = 32073. Is u composite?
True
Suppose -3*g + 1120 - 4210 = 0. Let o = g + 1443. Is o prime?
False
Suppose 3*j + 6915 = 3*q, 0 = -4*j + j - q - 6911. Is (-2)/19 - j/228 composite?
True
Suppose -1622 = -4*x - 3*y, x + 16*y = 15*y + 405. Suppose 0 = a - 3*h - 253, -6*h = -2*a - h + 505. Let b = x - a. Is b a composite number?
False
Suppose -4*u + 12 + 4 = 0. Suppose -p - u*p + 10 = 0. Is 123/(0 - (-2)/p) composite?
True
Suppose 4*p = 3*p + 20. Suppose -p = u - 51. Is u prime?
True
Let t be (-114)/(-14) - (-2)/(-14). Let u be (t/(-20))/((-2)/(-140)). Is (u/12 - -2)*-381 a composite number?
False
Suppose -238 = 3*o - 2*o. Suppose -626 + 1990 = 4*h. Let z = o + h. Is z a prime number?
True
Let a(d) = -1703*d + 46. Is a(-7) a prime number?
False
Let d(o) = 175*o**3 + o**2 - o + 1. Is d(2) composite?
True
Let q = -1583 - -10822. Is q a prime number?
True
Let g(v) = v**3 - v**2 - 36. Suppose -5*r + 10*r = 0. Let q be g(r). Is (-6)/q - (-2501)/6 composite?
True
Let j be 2*(-5)/(-10) - -272. Suppose -j + 12863 = 10*d. Is d composite?
False
Let l = 2812 + 1429. Is l a prime number?
True
Is (1 - -1)*(-183243)/(-102) a prime number?
True
Let d(t) = -5*t**2 - 9*t + 46. Let b be d(10). Let u = b - -1023. Is u a prime number?
True
Suppose 3 = -0*x - x, 5*c - 10504 = 3*x. Is c a composite number?
False
Suppose -17 = -5*u + 3. Is 2/u - 5*(-26)/4 composite?
True
Let n(d) = d**2 - 4*d - 1. Let f be n(3). Let q(r) = -8*r + 2. Is q(f) composite?
True
Let q be 221 + ((-2)/(-2) + -1)/2. Suppose -5*j + 0*j - 4*m = -1057, -j - 4*m = -q. Is j composite?
True
Let q(d) = -22*d**2 - 1 - 251*d**3 - d + 43*d**2 - 21*d**2. Suppose b = -3*y - b + 5, 2*b - 6 = -2*y. Is q(y) prime?
True
Let j(y) = -258*y**3 + 7*y**2 + 2*y + 10. Is j(-3) a prime number?
False
Let g = 63 - 35. Let h = -13 + g. Is (-4)/(-10) + 1149/h a prime number?
False
Let p = 24 - 17. Let w(h) = p*h + 0*h**3 - 4*h**2