+ 2215, -3*j + 731 = -2*j + 4*b. Is j composite?
False
Let h = 7251 + 20690. Is h prime?
True
Suppose -2*l = -2*c + l - 532, 0 = -4*c - 4*l - 1084. Let b = 682 + c. Is b composite?
True
Is 1/(-13) + (5437454/286 - -1) a prime number?
True
Let w = -34 + 37. Suppose 5*x - 758 = -w*r, x - 3*x = -2. Is r a composite number?
False
Suppose -5*h - 5*k + 75 = -k, 0 = -k. Suppose 8*n - 13*n + h = 0. Is 78 + 3*4/n a prime number?
False
Suppose -4*z = -0*m + 2*m + 2, z + 1 = 0. Let t(f) be the first derivative of 53*f**4 - f - 1. Is t(m) a prime number?
True
Let s(q) = -3*q - 2. Let u be s(-4). Suppose 6 = -5*t - 2*z, -3*z - u = -1. Suppose t = -2*v + 2, -2*x + 5*v + 23 = -16. Is x a prime number?
False
Suppose -194*s + 179*s + 300255 = 0. Is s a composite number?
True
Suppose 2*s + 3*u = u - 36, 2*s - 5*u + 64 = 0. Let d be (-4)/s - (-31)/11. Suppose 3*o - 57 = -3*j, -5*j + d*j + 5*o = -66. Is j prime?
True
Let m be (-3)/2*1758/(-9). Suppose 4*a - 358 = -2*g, 5*a - m = -5*g + 622. Suppose 2*l - g = l. Is l composite?
True
Suppose 2*i = -3*i + 10. Suppose -4*r + 144 = -r + 3*l, 100 = i*r + 4*l. Is (-91)/26*r*-1 prime?
False
Let a = 17 - 9. Suppose -2*w + 0 - a = 0. Is (-14)/(w + 1544/388) a composite number?
True
Suppose 92 = -q - 430. Let d be 4/(-18) + 5594/(-18). Let f = d - q. Is f a composite number?
False
Let p = -1 - -20. Let n(q) = -p*q - 2 - 3 + 5 + 5. Is n(-6) composite?
True
Suppose 3*i = w - 9118, 5*w + i + 4*i = 45650. Is w prime?
True
Suppose 3*d - 2040 = 1467. Is d a prime number?
False
Let l = -8 + 9. Suppose 4 = r + l. Suppose r*k + 2*f = 119 - 8, -k + 4*f + 51 = 0. Is k prime?
False
Let d(k) = -k**2 - 32 - 9 + 15*k**2 + 5*k - 7*k**2. Is d(19) a composite number?
True
Suppose -o = 2*s - 10, -o - 6*s + 2*s = -10. Let f be o/(-15)*3 + 1193. Is (-1)/(((-15)/f)/5) a composite number?
False
Let m(y) = -857*y**3. Let o be -2 + (-5 - -4)/(-1). Let w be m(o). Let z = 1444 - w. Is z a prime number?
True
Is (-3)/(-3) + 0 + 2034/3 a composite number?
True
Let u be 1/2 - 9/(-2). Let i = -66 - -66. Suppose 4*s = -5*n + 791, i*n + 602 = 3*s - u*n. Is s prime?
True
Suppose 194*l - 197*l + 1941 = 0. Is l a prime number?
True
Let g = 4 + 22. Let l(z) = z**3 - 18*z**2 - 17*z + 14. Let t be l(19). Suppose 0 = -2*f + t + g. Is f prime?
False
Let r(q) = q**3 - 12*q**2 - 13*q + 3. Let k be r(13). Suppose 0 = -k*t - 0*t. Suppose 1 = -n - t, -4*f + 929 = 3*n. Is f a prime number?
True
Let y = 17387 - 11202. Is y prime?
False
Suppose 1273410 = 12*t + 6*t. Is t a prime number?
False
Is 8418 - 4/(-6 + 2)*-7 prime?
False
Let o = -65 - -16734. Is o composite?
True
Let i(w) = w**2 + 11*w - 14. Let r be i(-13). Is 1*6/(-4)*(-464)/r composite?
True
Let w be 1491 + 3*(-2)/3. Let a = w + -372. Is a a prime number?
True
Let d be 52/7 - 39/91. Is (6 - d)*1*(-1 - 2832) a composite number?
False
Let j(q) = 6*q**3 - 8*q**2 + 7*q - 1. Let o be j(6). Let l = 131 + o. Suppose -11*v = -7*v - l. Is v prime?
False
Let x = 55 + -48. Let r(o) = 24*o - 11. Is r(x) a prime number?
True
Let o be (-10)/14 + 26/(-91). Let b be (1974/(-4))/(o/2). Let l = b + -500. Is l composite?
False
Let q(h) = 13*h + 6. Let m be q(-10). Let y = m - -463. Is y prime?
False
Let w(n) = 756*n**2 - 4*n - 2. Let b be w(-2). Suppose -s - 2*j = -601, -5*s - 10*j + b = -5*j. Is s composite?
True
Suppose -3*i + 22 - 82 = 0. Let r = i - -14. Let q(n) = n**2 + 5*n + 7. Is q(r) a prime number?
True
Suppose 204 = -8*c + 12*c. Is ((-832)/6 + -2)*c/(-34) a composite number?
False
Let p = 594 - 511. Is p a prime number?
True
Suppose 5*c = -t + 2*t + 33, 4*t - 18 = -5*c. Is 6502/3*9/c composite?
False
Let k(l) = 106*l**2 - 33*l + 202. Is k(13) a composite number?
True
Suppose n - 3*d + 7*d - 799 = 0, -3*d = -5*n + 3926. Is n a prime number?
True
Let b = 197 + 701. Let k = b - 333. Is k composite?
True
Let a(m) = m**2 - 9*m - 20. Let y be a(11). Is (0 + -41)*y*1/(-1) prime?
False
Let n(m) = m + 14. Let v be n(-7). Suppose v*g - 106 = 545. Is g a composite number?
True
Let u(l) be the third derivative of l**5/15 + 3*l**4/8 + 7*l**3/6 + 10*l**2. Let c(b) = -b**3 + 6*b**2 - 6*b. Let w be c(5). Is u(w) a prime number?
False
Let y(l) = 654*l + 127. Is y(8) a composite number?
True
Suppose 0 = -2*v - 0*v + 41286. Is v/28 + 1/(-4) composite?
True
Let h = 10557 + -3814. Is h a composite number?
True
Let h = 11277 - 836. Is h prime?
False
Let r(x) = 3*x**2 + 10*x + 16. Let b be r(14). Suppose 318 = 2*a - 3*n, b - 108 = 4*a - 5*n. Is a composite?
True
Suppose -2*k - 6*j + 38332 = -j, k + 3*j = 19165. Is k a composite number?
True
Is 25092 - 2 - (-204)/51 a composite number?
True
Suppose m - 5*t = -10*t + 24, -5*m - 2*t + 28 = 0. Suppose 14*b = m*b + 4190. Is b a composite number?
False
Let u = 5 - 5. Suppose 2*t + 119 - 493 = u. Is t a prime number?
False
Suppose -s = -3*f + 11, 0*s + 17 = f - 3*s. Suppose -488 = -f*y + 116. Suppose -5*n + y = -4*n - 3*h, -4*h + 281 = n. Is n a prime number?
True
Suppose 3 = -4*k + 2*x + 13, -3*x = 3*k - 12. Suppose -2*r - 12 = 4*w, -16 = k*w + w. Suppose -o + 42 + 101 = -5*q, -4*o = r*q - 660. Is o prime?
True
Suppose 0 = -2*t - 11*d + 6*d - 2, -5*t - 5 = d. Let a(c) be the second derivative of -317*c**3/6 + c. Is a(t) a composite number?
False
Let m(k) = 72*k + 0 - 4 + 6. Let t be m(-3). Let h = -53 - t. Is h a prime number?
False
Let o = 554 - 388. Let h = -17 + o. Is h a prime number?
True
Suppose w = -3*z - 10, z - 3*w = -10 - 0. Is 1 + 288 + z + 8 prime?
True
Suppose 4*x = -4*y + 15464, -3*x + 28*y - 26*y = -11578. Is x prime?
False
Suppose -5*b + 132813 = -l, -6*b + 9*b = -4*l + 79697. Is b a composite number?
True
Suppose 0 = 3*r - 7*d + 2*d + 3, 2*d = -3*r - 24. Let x(w) = 22*w**2 + 7*w + 1. Is x(r) composite?
False
Let y(p) = p**2 + 22*p + 192. Let b be y(-14). Let c = 1 - -1. Is (89/c)/(8/b) prime?
False
Let y = 18 - 22. Let z be -1 + (-15)/(-3) + y. Suppose 3*r = -15, 0 = -3*b - 4*r - z*r + 37. Is b a composite number?
False
Suppose 2*x - 3118 = 4*l, -4*x + 3*l + 6212 = l. Is (-3 - 48/(-18))*x/(-1) prime?
False
Let n(o) = -o**2 - 29*o + 19. Is n(-20) a prime number?
True
Is -5 + (0 - -2282) + (-35 - -39) composite?
False
Suppose -95786 = -12*b + 41362. Is b prime?
False
Let d(w) = 15*w + 8 + 3 + 76*w. Let u be d(-5). Let t = -109 - u. Is t a composite number?
True
Suppose -2*z + 17886 = -2*m, 35770 = 4*z - 3*m - 0*m. Is z composite?
False
Let c(d) = 81*d**3 - 3*d**2 + 8*d + 13. Let a = 10 - 17. Let x(p) = 40*p**3 - p**2 + 4*p + 6. Let h(o) = a*x(o) + 3*c(o). Is h(-2) a composite number?
False
Let p = -8 + 8. Suppose p = -3*k + 2*k. Suppose -y - 2*t + 473 = k, -t + 0*t = 2*y - 937. Is y a prime number?
True
Suppose -5*a = -20 - 0, -3*w - a = -16. Suppose 0 = -2*x - x - 5*l + 472, w*x - 3*l - 581 = 0. Is x a prime number?
True
Let l(n) = -71*n + 143*n - 69*n + 1883. Is l(0) composite?
True
Suppose 3*r - 55 = -8*r. Suppose r*y - 8905 = -t, -3*t = 2*y + 2*y - 26671. Is t prime?
False
Let y(b) = b**2 - b - 2. Let w = 15 - 17. Let f be y(w). Suppose f*j - 280 = 1408. Is j a prime number?
False
Let h(g) = -2534*g - 15. Is h(-7) composite?
True
Suppose -2*i + 4144 = -2942. Is i composite?
True
Let n be (-59*28)/((-1)/2). Suppose 0 = 3*c + c - n. Let j = c - 467. Is j a composite number?
False
Let y(a) = -15*a**3 - 2*a**2 - 2*a + 2. Let b(f) = f - 9. Let w be b(7). Let t be y(w). Let v = t - 71. Is v a prime number?
True
Let c(n) = -4*n + 36. Let k be c(11). Is (1011/12)/(((-22)/k)/11) a composite number?
False
Let m be (-2 - -1) + 42/(-6). Is (m/(-16))/(1/9814) a prime number?
False
Let s(x) = 44*x**2 + 2*x**2 + 13*x**2 + 142 - 154. Is s(-7) composite?
False
Let k(t) = -2*t**2 + 6*t + 12. Let p be k(0). Is (2/p*-2)/(2/(-342)) composite?
True
Let f(v) = -43*v + 16. Is f(-10) a composite number?
True
Suppose 0*v + 25363 = 5*f + 2*v, -4*v = -5*f + 25339. Is f composite?
True
Suppose 28 = -3*z - 5. Let j = 70 + z. Is j a prime number?
True
Is (165/88 - 2) + (-19497)/(-8) prime?
True
Let s(a) = 2*a + 12. Let o be s(-8). Let c(z) = -14*z**3 + 4*z**2 + 7*z + 9. Is c(o) composite?
False
Let i(h) = -11*h**3 + 3*h**2 + 7*h + 1. Let t(a) = -2*a + 7. Let w be t(6). Let o be i(w). Suppose 4*y - 4*r + 9*r - 2822 = 0, -5*r + o = 2*y. Is y prime?
False
Let u(q) = 2*q**3 - 4*q**2 - 8*q + 27. Is u(16) prime