-7*b. Let y = -47 - b. Is (7/3 + -2)*(93 - y) prime?
True
Let p = -1033 - -2120. Is p composite?
False
Suppose 0 = -4*t - 0*c - 3*c + 21, -7 = -t + c. Let s(w) = -w**3 + 6*w**2 + 2*w - 11. Let i be s(t). Suppose 0 = h - i - 510. Is h a composite number?
True
Suppose 5*x - 198 = 4*d, 0 = -3*d - 17*x + 13*x - 133. Is (-94)/d + (3288 - -1) a prime number?
False
Suppose 4*h = 21*t - 22*t + 198991, -3*h = 2*t - 398007. Is t a prime number?
False
Suppose -o = -p + 1481, -2*p = 5*o + 1331 - 4293. Let r = -370 + p. Is r prime?
False
Let m(w) = 4*w**3 - 2*w**2 + 1. Let v be m(1). Suppose 12 = -3*z + v*k, 0 = -3*z - 3*k + 1 - 13. Is -6287*6/(-90) + z/30 a prime number?
True
Suppose -2*r + 54 = -4*x, 80*x - 84*x + 3*r = 49. Let f(v) = 0*v**3 - 36*v + 11 - 18*v**2 + 4 - v**3. Is f(x) a composite number?
False
Let i = -759 + 2564. Suppose 2*r + i = 7*r. Suppose r + 5 = 2*n. Is n a prime number?
False
Let x(u) = 12*u**2 + 33*u + 12*u**2 - 6 + 23. Is x(8) a composite number?
True
Suppose -2*i - 16 = 0, -22*n + 20*n + i = -271626. Is n a composite number?
True
Suppose -186 = -11*f + 34. Suppose -4*a - 2 = -2*z + 18, 0 = 4*a + 5*z + f. Is (-46)/(-10) + a - 21494/(-10) a prime number?
False
Let a(i) = 3*i**2 + 11*i + 5. Let b be (-16 + 6)*12/15. Let q be a(b). Let g = q - -1272. Is g prime?
True
Let n(w) = -6*w + 51. Let d be n(8). Let v be (-1593 - 2) + 3 - (d - 1). Let x = 3957 + v. Is x prime?
False
Suppose 2*c = 5*v - 1267865, 130*v = 126*v - c + 1014279. Is v composite?
True
Let d(m) be the third derivative of m**6/120 + 23*m**5/60 - m**4/6 + 5*m**3/2 - 35*m**2 - 3. Suppose 19 = -5*f + 4*f. Is d(f) prime?
False
Let z = -471 - -687. Let i = -602 + 753. Let x = z - i. Is x a prime number?
False
Let z = -2511 - -1290. Let h = -6 - z. Let x = 2378 - h. Is x a prime number?
True
Suppose -84*c = 3*p - 89*c - 700607, 5*c + 934156 = 4*p. Is p a prime number?
True
Suppose 5*m - 15 = -2*q, -3*m = -4*q - 0 - 9. Suppose 0 = m*b - 4*p - 4079, -4*p + 6806 = 5*b - 3*p. Is b a prime number?
True
Let l = 19707 - -2615996. Is l prime?
False
Let s(l) = l**2 + 16*l + 36. Let f be s(-10). Let d be f/(-9) - (-16)/12. Suppose -d*u = -u - 8538. Is u prime?
False
Let x be (-15 + (-87472)/(-32))/((-2)/4). Let r = 2244 - x. Is r composite?
False
Suppose -5*r - 47731 = -3*i, 3*i + 4*r - 15899 = 2*i. Let j = i - 9888. Is j a composite number?
True
Is 0 + 40221 + 2/(-3)*(-6)/(-2) a composite number?
True
Suppose -19*v - 20877 + 3530 = 0. Let a = v + 1548. Is a composite?
True
Let x = -2426 + 2428. Suppose h - 4*g - 25 = -1, 4*h - 1 = -3*g. Suppose 0 = 2*o + 8, x*k = -0*k - h*o + 142. Is k a composite number?
False
Suppose 24*g - 712961 = -758232 + 9539215. Is g a prime number?
True
Suppose 1369661 + 5040921 + 1318430 = 92*a. Is a a composite number?
False
Let r(y) = -23182*y - 695. Is r(-4) composite?
False
Let y(g) = 4*g**3 - 6*g**2 + 5. Let n = 93 + -3. Let o be (-8)/6*n/(-20). Is y(o) prime?
True
Let q(k) = -390*k - 62. Let f be q(22). Let w = -69 - f. Is w prime?
True
Let w(q) = 187*q**2 + 141*q + 651. Is w(65) a prime number?
True
Let u = -273405 - -418022. Is u composite?
True
Let m(d) = -2*d**3 - 12*d**2 - 12*d - 7. Let a be m(-5). Suppose -a*p - 10*p = -39. Is 373*(5 - p)/2 prime?
True
Suppose 12*t + 206048 = 8*t. Let r = -25891 - t. Is r prime?
True
Is 11350475/50 + 22/4 a prime number?
False
Let v be (11/(-2) + 5)*-28. Suppose 2*r - 2 = -v. Let l(f) = -4*f**3 + 14*f**2 - 4*f + 7. Is l(r) a prime number?
True
Let t be 5/(-2) + (-12062)/(-4). Suppose 58*h - t = 57*h. Is h a prime number?
False
Suppose 51*k = 50*k - 9568. Let f = -14516 - k. Is (f/(-6))/(6/63) a composite number?
True
Let l(f) = -7*f**3 - 15*f**2 + 37*f + 40. Is l(-18) composite?
True
Suppose 31*u = 2900669 + 1195484 + 780736. Is u composite?
True
Is (-564)/658*459634/(-6) composite?
True
Suppose 0 = -5*r + 30, 7*x - 949732 = 3*x - 4*r. Is x a prime number?
False
Let l(p) be the second derivative of -5765*p**3/6 + 7*p**2 - 221*p. Is l(-1) composite?
False
Let y be (-16)/(-80) - (9322/5)/2. Let k = y - -2293. Is k prime?
True
Suppose -x - 8*p + 1339485 = -13*p, -2*p + 1339457 = x. Is x composite?
True
Let u be (9/6)/(1/(-26)). Let f = u + 35. Is (5588/8)/((-2)/f) prime?
False
Suppose -4*w - 5*y - 225 = -3*w, 0 = 2*w - 5*y + 435. Is (10/w*-11)/((-1)/(-88318)) prime?
True
Let h(x) = -4 + 3 + 4*x**2 - 5*x**2 + 9 + 6*x. Let d be h(4). Suppose 0 = 14*s - d*s + 2786. Is s a composite number?
True
Let v(d) = 3474*d + 13. Let m be v(8). Suppose 5*a - m = -0*a. Suppose 0 = -3*f + 4*x + a, f - 2*x - 1855 = -0*f. Is f a prime number?
False
Suppose -z = -v - 138849, -4*v - 55534 = -5*z + 638716. Is z a composite number?
True
Let c(l) = -2*l**2 + 37*l - 8. Let p be c(-19). Let u = p - -2166. Is u a composite number?
False
Let f(t) = -63*t**3 - 8*t**2 + 10*t + 20. Let d be f(-6). Suppose -7*h + d = -2883. Is h prime?
True
Suppose -4*r - r = -r. Let z = r - 0. Suppose -4*t = -4*a - z*a + 7204, 0 = 5*a - 2*t - 9005. Is a a prime number?
True
Let j(g) = 5*g**2 + 21*g - 1. Is j(-37) a prime number?
True
Let x = 123 + -119. Suppose -3*m - 1 = -3*q + 5, -4*q = x*m - 32. Suppose -1240 = -5*i - m*i. Is i prime?
False
Suppose -c - 20479 = -s - 0*c, 0 = 3*s - 5*c - 61429. Is s prime?
True
Let v(u) = 4*u - 52. Let z be v(10). Let b(s) = -s**3 + 6*s**2 + 7*s - 5. Is b(z) composite?
False
Let b(i) = -2149*i + 6. Let c be b(-5). Suppose 31*a - 167 - 81 = 0. Suppose -5*l - 4*p = -c, a*l - 10715 = 3*l + 5*p. Is l prime?
False
Suppose z = -3*l + 15, 4*z + 2*l = z + 45. Is 62562/z - 3/(-15) composite?
True
Let l(p) = 29*p**2 - 34*p + 20. Let t be l(-21). Let y = -4732 + t. Is y prime?
False
Suppose 5*h = -4*a + 4890 + 4107, 3*h + 3*a = 5397. Suppose -n + h + 217 = 0. Is n composite?
True
Suppose 4*t = -4*v + 151124, -1127*t + 1132*t = 3*v + 188905. Is t prime?
True
Let i(w) = -5*w**3 + 4*w + 5 + 2*w**3 + 18*w**2 - 40 + 2*w**3. Let g be 4/16 + (-426)/(-72)*3. Is i(g) a composite number?
False
Suppose 2*n = 3*n - 4*j - 12, 0 = 3*n + 5*j - 2. Is 3033 + (0 - n) - 0 a prime number?
False
Let j be (-114)/1*(-2)/4. Suppose 59*g - 2110 = j*g. Is g prime?
False
Suppose -40*r - 23667762 = -148*r + 11580090. Is r a composite number?
False
Suppose -609*d - 2*g = -606*d - 50229, 3*g + 16732 = d. Is d a prime number?
True
Let i(x) = x**2 - 1. Let v(n) = -150*n**2 - n - 10. Let c(m) = 22*i(m) - 2*v(m). Is c(4) prime?
False
Let h(g) = 94*g**2 - 75*g + 1341. Is h(62) a composite number?
True
Let g = 1 + 1. Suppose 8*m - g = 30. Suppose 2*k - m*k + 4*d + 2434 = 0, -5*d - 10 = 0. Is k composite?
False
Suppose -2*a - 3*q + 1237297 = 0, 8*q - 1237303 = -2*a + 7*q. Is a a composite number?
True
Let d(i) = 2*i**3 + 11*i**2 + 15*i - 19. Let m(a) = 3*a**3 + 22*a**2 + 30*a - 38. Let z be (-55)/35 + 1 - 78/(-14). Let j(l) = z*d(l) - 3*m(l). Is j(14) prime?
True
Suppose 2*q + 61939 = 3*f, 4*q = -8*f + 10*f - 41290. Is f a composite number?
True
Let c be (-1)/5 + 212/(-40)*906. Let g = c + 14271. Is g a composite number?
True
Is 6 + -1 + (0 - 63/27)*-53574 a composite number?
True
Let r be (-4 + 5084)*13/(39/84). Suppose r - 637331 = -17*k. Is k a prime number?
True
Let k = 51 - 40. Let m(d) = 4*d**2 + k + 21*d**2 + 8*d - d**3 - 15*d**2. Is m(8) a prime number?
False
Let y(w) = -206*w**3 + 10*w + 1. Let r(p) = 411*p**3 - p**2 - 21*p - 7. Let o(t) = -4*r(t) - 9*y(t). Is o(4) prime?
True
Let a = 77866 - -70435. Is a prime?
True
Suppose -14*o - 10*o - 5891616 = 0. Is o/(-44) - (-1 - (-52)/44) a composite number?
True
Suppose 4*a - 19 = -3. Suppose 2*g - 2 = a*z, 6 + 3 = 3*g - 3*z. Suppose w + 0*w - 16 = v, 0 = 2*w + g*v - 18. Is w composite?
True
Let s = -91067 - -47200. Let x = s + 65381. Suppose -5*g = -21531 - x. Is g a prime number?
True
Suppose 5*s = -3*u + 24, 0 = -5*s + 4*u - 0*u + 3. Suppose -s*z - 1584 = -3*w, -2*w + 265 + 787 = 2*z. Is w prime?
False
Let v(d) = d**3 + 9*d**2 + 2*d - 4. Let f be v(-9). Let k be 165/f*2/(-3). Suppose -3*z + 4*z + 2*t - 973 = 0, 0 = -k*z - t + 4838. Is z a composite number?
False
Let f(r) be the second derivative of 157*r**3/6 + 82*r**2 + 112*r. Is f(17) a composite number?
False
Let u be (-9 + 7)/(1 - 2). Suppose -14*w + u*w = 36. Let v(a) = -199*a - 14. Is v(w) prime?
False
Let u(i) = -i**2 + 7*i - 10. Let t be u(5). Suppose -2*