ppose -2*h - 3*h + p = 0. Is h composite?
True
Is (-3 + 22)/(27/3051) composite?
True
Suppose -3*y - 4*n = -960959, -4*y + 5*n = 480328 - 1761586. Is y a composite number?
False
Let a = -81 + 83. Suppose 0*m - a*m + 1858 = 0. Is m a composite number?
False
Let f = 11392 + 3997. Is f a prime number?
False
Suppose 5*n = 2*x + x + 720, -2*x - 4*n - 502 = 0. Let a be (-3)/9 - (6 - (-4650)/(-18)). Let v = a - x. Is v a prime number?
False
Let o(r) = r**3 + 3*r - 14*r**2 + 3*r**3 - 3 + 14 + 3*r**2. Is o(7) a composite number?
True
Suppose -5*o = 4*n - 112347, 3*o + 40766 = -3*n + 108176. Is o a composite number?
True
Suppose -45 = 130*r - 135*r. Is (r - 13) + 2271/1 composite?
False
Let b(c) = -13 - 6*c - 2*c**2 - 1 - 153*c**3 + 7 - c. Is b(-3) a prime number?
True
Let y(z) be the third derivative of z**8/960 + z**6/360 - z**5/30 + z**4/12 + 2*z**2. Let w(m) be the second derivative of y(m). Is w(3) a prime number?
True
Suppose j + 2*y - 1145 = 0, 4*j - 2*y = -j + 5761. Is j prime?
True
Let a = 75 - 76. Is -2*((-3)/a - 16434/36) a prime number?
True
Let y(v) = 246*v + 53. Is y(11) composite?
True
Let t(w) = w**2 + w - 1. Let x(c) = 3*c**2 - c - 13. Let i(m) = 4*t(m) - x(m). Let g be i(-3). Suppose 0 = 5*k + g*n - 548, 0*k - k + 114 = 5*n. Is k prime?
True
Let o(v) = 58*v**2 - v + 2. Let a(j) = j**3 + 13*j**2 + j + 13. Let k be a(-13). Let m be (-5)/(k + 5)*-1. Is o(m) prime?
True
Let z(s) = 22541*s**3 + 2*s**2 + 4*s - 6. Is z(1) a prime number?
True
Let q(o) = 521*o. Is q(7) composite?
True
Let q(r) = -36*r**2 + r + 10. Let u be q(-4). Let k = -331 - u. Is k composite?
False
Let f(u) be the second derivative of 83*u**5/20 + u**3/3 + u**2/2 - 5*u. Is f(2) a prime number?
False
Suppose 0 = -2*r - 10, 5*f = 5*r - 301 - 424. Let b = f - -559. Is b prime?
True
Is (226971/54*-3)/((-1)/2) prime?
True
Suppose 0*k = 4*k - 3*k. Suppose -5*l - 4*c = -k*c - 7221, 5*c + 5744 = 4*l. Is l prime?
False
Suppose y = -4*k + 17542, 3*k + y + y = 13159. Is k a composite number?
True
Let i(r) = 2*r**3 - 3*r**2. Let l be i(2). Suppose 0 = 2*d - d - l*o - 11, -3*o = 5*d - 9. Suppose 61 = 3*a + 3*n - 104, -d*n = 0. Is a a composite number?
True
Let v = -691 + 2418. Is v composite?
True
Let u = 21 + -14. Let j be 2/u + (-15198)/(-21). Let l = j - 359. Is l composite?
True
Suppose 0 = -17*m + 19*m - 6. Suppose -c - 4*p + 593 = 0, 3*c - m*p - 584 = 1120. Is c a composite number?
True
Suppose 5*m = -1341 + 3851. Suppose 8*u - 10*u = -m. Is u prime?
True
Let t(x) = -26*x**2 - 9*x + 22. Let r(n) = 26*n**2 + 10*n - 23. Let b(q) = -5*r(q) - 6*t(q). Is b(5) a prime number?
True
Let s = 39061 + -24300. Is s composite?
True
Let o = 34 - 32. Let g = -103 + 173. Suppose q - g = 4*v, -o*v - 2*v = 5*q - 374. Is q a composite number?
True
Let w(t) be the second derivative of -t**3/6 - 11*t**2/2 + 8*t. Let m be w(-14). Suppose m*q = q + 20. Is q prime?
False
Let b(s) = 76*s**2 + 7*s + 3. Let u be b(-4). Suppose 4144 = 5*l - u. Is l a composite number?
True
Let t(r) = -r**2 - 520. Let m(a) = 2*a**2 + 1039. Let k(s) = -3*m(s) - 7*t(s). Let n be k(0). Let c = n - 204. Is c prime?
False
Suppose -8 - 1 = -3*h. Suppose -1411 = -h*o + z + 3*z, 0 = 5*o - 4*z - 2357. Suppose -2*b + o = -189. Is b prime?
True
Let n(y) = -2*y - 5. Suppose -g - 2 = -3*o, 3*g - 3 = -o + 11. Let z be n(g). Let f(a) = a**3 + 16*a**2 + 17*a + 7. Is f(z) prime?
True
Let h(i) = 3*i**3 - 11*i**2 + 13. Let d(k) = k**3. Let l(b) = 2*d(b) - h(b). Let y(m) = 5*m + 9. Let x be y(0). Is l(x) composite?
False
Let x be ((-10)/(-8))/((-3)/(-12)). Suppose -x*s - 390 = -0*s. Let i = s + 187. Is i prime?
True
Let z = -770 + 1913. Is (1*3/(-9))/((-1)/z) prime?
False
Let v(z) = -z**3 - 2*z**2 + 2*z - 2. Let i be v(-5). Suppose 67*b - i*b - 124 = 0. Is b composite?
False
Let k(a) = -90*a**3 + a**2 + 11*a - 7. Is k(-6) a prime number?
True
Let a(o) = -19*o**2 + 1 + 5*o**2 + o + 33*o**2 + 31*o**2. Is a(2) prime?
False
Suppose 2155 = 2*r + 4*o - 6827, -13453 = -3*r - o. Is r prime?
True
Let m = -22 + 19. Let x(w) = -13*w**3 - w**2 + w. Is x(m) prime?
False
Let d = -16694 - -25691. Is d a prime number?
False
Let o(v) = -v**2 + 19*v - 17. Let l be o(18). Is ((-2814)/(-4))/l*(-46)/(-69) composite?
True
Let u = 12 - 14. Let r = u + 7. Suppose 0 = r*j + g + 2*g - 167, 0 = 5*j - g - 151. Is j prime?
True
Let a(c) = 66*c**2 + 5*c - 3. Suppose 6 = -3*w, 0 = -5*z - 5*w + 2*w + 14. Is a(z) composite?
True
Let d(c) be the third derivative of -11*c**5/15 - c**4/24 - 7*c**3/6 + 10*c**2. Let f(t) be the first derivative of d(t). Is f(-1) prime?
False
Let x(a) = -4*a**3 - 10*a**2 - 30*a + 19. Is x(-13) composite?
False
Let l be 798/(-2) - (3 + -4 - -2). Suppose 2*b - 4*b = 302. Let j = b - l. Is j a prime number?
False
Suppose 0 = -29*t + 31*t - 3*i - 87010, 4*t = -5*i + 173976. Is t prime?
True
Suppose 20*s = 15*s - 80. Is (-2)/s*746*4 a prime number?
True
Let u(q) be the third derivative of -65*q**4/24 + q**3/3 + 15*q**2. Is u(-1) prime?
True
Is -5*(10266/(-10) - 5) a composite number?
True
Suppose 234*c - 232*c - 149714 = 0. Is c a prime number?
True
Suppose 3*c - 2*h = -6*h + 3410, -4*c + h + 4515 = 0. Suppose m - c = 199. Is m composite?
True
Suppose 10*i = 5*i + 5. Is (-1 + i - 2) + 9 composite?
False
Suppose 2*h - 2*c = 53956, 7*h = 2*h + 4*c + 134893. Is h prime?
True
Let c be 1 - (0 - (-6)/(-2)). Suppose d + c*r - 23 = 0, -2*d + r + r - 4 = 0. Suppose 3*x + 23 = -d*f + 527, -3*f = -15. Is x a prime number?
True
Suppose 4*b = 3*r + 323, r - 6 = -r. Let v = 376 - b. Suppose 2*i - 413 = v. Is i prime?
True
Suppose -3*j = 2*h + 15, 5*h = j + 4 + 1. Suppose h = a - 2 - 0, 315 = x - 2*a. Is x composite?
True
Suppose -5*c + 1 = b, 2 = -b + c - 3*c. Is (b - 6/1*-1) + 1337 a composite number?
True
Let g be 5/25 + (-243)/15. Let l = g - -18. Suppose -l*x = -3*n + 943, x + x - 325 = -n. Is n a prime number?
True
Is 2*291 + 7 + 2 + -8 composite?
True
Let p = -4160 + 7197. Is p a composite number?
False
Let x be (-6)/3 + 0 + 21. Let p(s) = -s**2 + 19*s + 19. Let u(h) = -2*h**2 + 40*h + 38. Let l(g) = -9*p(g) + 4*u(g). Is l(x) prime?
False
Let f(a) = -a**2 + 2*a + 3. Let z be f(2). Suppose -2*j = z*j - 2*h - 4190, -j + 816 = 4*h. Let l = -505 + j. Is l prime?
True
Let a(o) = 6*o**2 + 5*o + 4. Let b(p) = p**2 + p + 5. Suppose h - 3*k = 0, -h - 3*k = 3*h. Let w be b(h). Is a(w) a composite number?
False
Let i(g) = -1325*g + 576. Is i(-23) prime?
True
Let t(f) = -f - 141. Let a be t(0). Is (-1)/((15/5)/a) prime?
True
Suppose i - 1548 = -3*m, -5*m + 3*i = -m - 2077. Is m a prime number?
False
Suppose -7*k - 2*k = -4968. Suppose o + k - 3479 = 0. Is o a prime number?
True
Let l(h) = -h**3 - 27*h**2 - 511. Is l(-35) composite?
True
Let h(x) = 42 + 6*x**2 - x**3 - 42. Let r be h(6). Is (2/4 + r)*322 a prime number?
False
Let n(j) = 319*j**3 + 3*j - 7*j + 2*j + 2. Is n(1) prime?
False
Suppose -22 = 5*t - z + 2*z, -3*z = -5*t - 34. Is 71 + 12/4 + t a prime number?
False
Let n(c) = -2*c**3 + 13*c**2 + 5*c + 9. Is n(-11) a prime number?
False
Let j(n) = n**3 + 12*n**2 - 16*n - 7. Let d be j(-11). Suppose 0 = 3*b - 0*b + 4*z + d, 4*b + 335 = 5*z. Let h = 172 + b. Is h composite?
True
Let t = 4836 + -1195. Is t a composite number?
True
Let f(l) = -5*l**3 - 7*l**2 - 35*l + 15. Is f(-14) composite?
False
Let q(n) = n**3 - 7*n**2 + 4*n + 6. Suppose 6 = 2*m - m. Let x be q(m). Is (x/(-12))/(2/356) a composite number?
False
Let g(q) = q**3 + 9*q**2 + 10*q + 1. Let m(v) = -v**2 - 7*v + 2. Let h be m(-6). Is g(h) composite?
True
Suppose -65*t + 19*t + 1241862 = 0. Is t prime?
False
Let u(m) = 20*m + 7. Let g(w) = w - 3. Suppose -l = 4*z - 35, -3 = -z + 3*l + 9. Let d be g(z). Is u(d) a prime number?
True
Let i = 22515 - 8834. Is i a prime number?
True
Let d(j) = -48*j + 5. Let m(o) = 96*o - 11. Let f(r) = 7*d(r) + 4*m(r). Let a be f(15). Let g = a - 76. Is g a composite number?
True
Is 1/(-3) + (-943)/(-3) composite?
True
Let h(y) = 18*y**2 + 6*y - 19. Let l be h(-8). Suppose 3*q - l = 244. Is q composite?
False
Suppose 3*d - 3 = -12. Let a be (d + (-15)/(-6))*2988. Is 2/(-6)*(a + 3) composite?
True
Let x = 451 - 137. Is x composite?
True
Suppose 4*x - 12086 = -o, -x + 2*o + 2034 = -992. Is x prime?
False
Suppose 3*d = -0*a + 4*a + 586, -3*a - 441 = -3*d. Suppose b - 1 = -19. L