3 = 4*g. Is k a composite number?
True
Let x be (-10)/(-2 + 1 + -1). Suppose -4*k + x*q = -67, 3*k - 3*q + 0*q = 48. Is k a prime number?
True
Suppose -19 = -9*u + 17. Suppose k + 4*d - 157 = -0*d, 0 = 5*k + u*d - 753. Is k composite?
False
Let q(u) = -u. Let i be q(-6). Suppose -30 = -0*t - i*t. Let n = 18 - t. Is n prime?
True
Suppose -2*q + 0*q - 702 = -2*s, 2*q + 4*s = -708. Let k be (-2 - -1)*0 + 983. Let v = q + k. Is v prime?
True
Suppose -141258 = -47*s + 41*s. Is s prime?
False
Let g be (-40 - -5)/(-7) + -5. Let i(d) = -5*d**3 + 2*d**2 + d. Let o be i(-1). Suppose -o*f + 2*f + 1651 = c, g = 3*f + 4*c - 1235. Is f a composite number?
True
Let l(j) = -2*j - 12. Suppose 0 = -w + 2*d - 14, 0 = 5*w + 5*d + 16 + 9. Let u be l(w). Let g(t) = t**3 + t**2 - t + 7. Is g(u) composite?
False
Suppose 4*t = -0*t + 28. Let k be t - 6/(2 - 0). Suppose -4*w + 138 = -0*o - 2*o, -20 = -k*o. Is w a prime number?
True
Suppose -4*i + 13 = -15. Let l(y) = -2*y**2 - 13*y - 12. Let o(n) = -n**2 - 6*n - 6. Let m(c) = 2*l(c) - 5*o(c). Is m(i) prime?
True
Suppose p + m + 5 = 0, -4*m = -3*m + 5. Suppose -3*o = 4*b - b - 651, 197 = b - 3*o. Is (b - 7)*(1 - p) prime?
False
Let n = 1041 - -550. Is n a composite number?
True
Let r(i) = -251*i**3 + 6*i**2 + 8*i - 4. Is r(-3) a prime number?
True
Is 1852 - 2 - (9 + -4 - 8) a prime number?
False
Suppose 5*j - 4*g = 3218, 4*j - 3*g - 2607 = -32. Let q be (-2)/5 - (-6141)/15. Let c = j - q. Is c a prime number?
False
Let o = 2662 + 5757. Is o a prime number?
True
Let q = -8967 + 5894. Let x = q + 5652. Is x a prime number?
True
Suppose 115*v = 120*v - 40955. Is v prime?
True
Suppose 6*l - 5*w = 2*l + 23152, -2*l + 2*w + 11578 = 0. Is (-2 + (-35)/(-15))/(1/l) prime?
True
Let x(l) = 415*l - 2. Let k be 6/15 + (165/25)/1. Is x(k) prime?
True
Let o be 2 + (1 - 4) + 4. Suppose 3*a - 242 = -2*c, 0*c - o*c = 4*a - 365. Is c composite?
False
Let w(g) = -33*g - 25. Let b(p) = -165*p - 126. Let d(m) = 2*b(m) - 11*w(m). Is d(10) composite?
False
Suppose w + k = 4*k + 2314, -2*k = -w + 2315. Is w prime?
False
Let m be 0 + 2/(-8) - (-180)/(-48). Is (-3 + 3962/m)*-2 a prime number?
True
Let u be (-164)/(-2)*1/(-2). Suppose c - 40 = 3*d + 47, -278 = -4*c - 2*d. Let a = c + u. Is a a composite number?
False
Suppose 0 = 3*i - 4*i. Suppose s + i*s - 4*o - 841 = 0, -s - 3*o + 841 = 0. Suppose s - 133 = 4*j. Is j a prime number?
False
Let n(j) = -j**2 - 6*j + 14. Let c be n(-7). Suppose c*m = 5*m + 20. Is m a composite number?
True
Let q(d) = d**2 - 2*d - 3. Let r be q(4). Suppose 3*h + 2*m = 597, -r*h - m + 122 = -880. Is h composite?
True
Let z = -11 - -1600. Is z a composite number?
True
Suppose -3*w = -3, -5*w + 37 - 2 = 5*a. Suppose -r - 2*v - v = -a, -r - 4*v + 7 = 0. Suppose k + 2954 = r*k. Is k composite?
True
Is ((-3449)/(-1))/(-6 + 56/8) prime?
True
Let y(x) = x**2 - 3*x + 12. Let z be y(-10). Let t = 528 + z. Suppose -t = v - 3*v. Is v composite?
True
Suppose -2*l - 12 = 3*b + l, 0 = 4*l + 12. Let x be b/(2/(1*-14)). Suppose 0 = -x*v + 1947 + 1490. Is v a prime number?
True
Suppose 62566 + 5151 = 13*m. Is m prime?
True
Suppose -240093 = -5*d - 10*s + 6*s, 4*d + 3*s - 192074 = 0. Is d a composite number?
False
Let d(b) be the first derivative of -b**4/2 - 7*b**3/3 - 7*b**2/2 - 6*b + 1. Is d(-4) a prime number?
False
Let u be 8 - (13 + 8 + -16). Suppose 0 = 5*q + f - 13, -5*q = -0*q - 2*f - 4. Suppose 5*w = q*d - 242, w = u*d + 3*w - 401. Is d prime?
True
Let q(m) = 100*m**2 - 2*m - 2. Let i be q(2). Let u = 885 - i. Is u a prime number?
True
Let x = -93 - -89. Is ((-3)/x)/(4/8336) prime?
False
Let b(d) = -d**3 - 18*d**2 - 4*d + 22. Let x = 20 + -38. Is b(x) composite?
True
Let z = -31 - -51. Suppose -4*m - j + 16 = 0, 4*m = -m + 4*j + z. Suppose 1 = -m*q + 269. Is q a prime number?
True
Let g = -14 - -16. Is (-90965)/(-138) - g/12 composite?
False
Let q = -194 + 247. Is q a prime number?
True
Let p = 763 - 761. Let r(k) = k**3 + 4*k**2 - 2*k. Let t be r(-4). Is 115/(4/(t/p)) prime?
False
Suppose 3*t + 0*t + 4*y = 2438, 5*t - 4*y = 4010. Suppose -x - x - 4*q + t = 0, 3*q = x - 428. Is x composite?
True
Let k be 2/(8/2028) + -1. Let g = 1207 - k. Is g prime?
True
Let v(t) = t + 24. Let q be v(-19). Suppose 0*h - 3*h + 1201 = -q*p, -1612 = -4*h + 4*p. Is h prime?
False
Let u be (-3245)/35 + 4/(-14). Is 2/(-4) + u/(-2) a composite number?
True
Let a = 675 - 160. Let t = 2112 - 1378. Let d = t - a. Is d a prime number?
False
Let j = -54 + 54. Is (-2 + 21 + 4)*(j - -11) prime?
False
Let j(q) be the third derivative of q**5/60 + q**4/6 + 5*q**3/3 - 11*q**2. Let d be j(12). Suppose -v - b + d = 0, -v - 5*b = -5*v + 835. Is v prime?
False
Is (6478/10)/((-119)/(-595)) a composite number?
True
Suppose -14*o = -o - 2418. Let s = 871 - o. Is s composite?
True
Suppose -4*k = -9*k + 4*o + 33, 2*k = 2*o + 14. Suppose k*r - 4750 = -1385. Is r prime?
True
Let x(s) = -s**3 + 3*s**2 - 2*s - 11. Let m be x(0). Let n(i) = 17*i**2 + 13*i - 7. Is n(m) a prime number?
True
Suppose -35 = 7*r - 2*r. Let q(u) = -3*u - 19. Let p be q(r). Is -3 + (p - 274)/(-1) composite?
False
Suppose -2*w = 2*m - 4876, 3*m = -2*w - 0*m + 4877. Is w composite?
False
Let k(f) = -5938*f - 27. Is k(-5) a prime number?
True
Suppose 11719 + 29268 = 17*t. Is t a prime number?
True
Is ((-7)/((-7)/1082))/2 composite?
False
Suppose 2*s + 14745 = 182611. Is s composite?
False
Let p(y) = 26*y + 10. Let t be p(-9). Let l = t - -621. Is l composite?
False
Let a(n) = -29*n - 37. Let q(u) = -10*u - 12. Let y(w) = 3*a(w) - 8*q(w). Is y(-7) a prime number?
False
Suppose 2*c = -10, -3*k - c + 36056 = 5962. Is k a composite number?
True
Suppose 15*c + 6959 = 35024. Is c prime?
True
Suppose -5*q = 6*t - 2*t - 1977, 5*t + 407 = q. Is (2 + -4 + 1)*-1*q prime?
True
Let j = -211 + 503. Suppose 5*g - 653 - j = 0. Let m = g - 70. Is m a prime number?
False
Let j = 1001 - -1212. Let k = 1061 - 1057. Suppose k*c = -i + j, 3*c - 2057 = -4*i - 407. Is c prime?
False
Suppose -11*d + 3729 = -8*d. Is d prime?
False
Suppose 5*f + 4*o = 17185, -10*f - 17145 = -15*f + 4*o. Is f prime?
True
Suppose 3*l - 70 = q, -2*q = 2*l + 3*q - 75. Suppose 0 = -4*h - 0*h - t + l, -19 = -3*h - t. Suppose 5*i - h = -2*c, 75 - 6 = 5*c - i. Is c a composite number?
False
Let w(p) = -p**3 + 7*p**2 + 11*p - 9. Let f be w(8). Let z(h) = -h**3 + 15*h**2 + 18*h + 17. Let d be z(f). Let i = d - 96. Is i composite?
False
Suppose 0 = -5*c + 4*b + 59017, -2*c + 8*b = 11*b - 23593. Is c a composite number?
False
Let b = -500 + 108. Let n = 1005 - b. Is n prime?
False
Let o be (4 - -3)/(-35) + (-828)/(-15). Let z(l) = -209*l**3 - l**2 - l - 1. Let p be z(-1). Let n = p + o. Is n prime?
True
Let x be -2*8 + (-6)/(-3). Let b = 17 + x. Suppose 973 - 322 = b*r. Is r prime?
False
Let s be ((-8)/10)/((-6)/195). Let c(q) = 0*q**2 - 22*q + 23*q + 1 - s*q**3 + q**2. Is c(-2) a prime number?
True
Suppose 3*d + 40107 = 3*p, p + d - 2873 = 10492. Is p composite?
False
Suppose 0 = 7*w - 462 - 2100. Suppose 0 = -c + 4*f + w, f - 6*f = -c + 362. Is c a composite number?
True
Suppose 11 + 29 = 4*r. Let s(h) = -h**3 + 9*h**2 + 9*h + 7. Let o be s(r). Is o/(12/8) + 21 prime?
True
Let y = -1710 + 3889. Is y a prime number?
True
Let f be 12244/16 + (-2)/8. Let q = f + -367. Suppose q + 104 = 2*h. Is h composite?
False
Let z = 102766 - 61283. Is z prime?
False
Let h(q) = -q**2 - q + 191. Suppose 5*p = v + 3, 4*p + 9 = 3*p - 3*v. Is h(p) prime?
True
Suppose 0*i + 40 = 10*i. Suppose -128 - 1075 = -a + i*u, a + 2*u - 1191 = 0. Is a composite?
True
Let o be 2 + 1 - (-3 + 19). Let j = o - -17. Suppose j*l = s - 97, 11 + 113 = s + 5*l. Is s prime?
True
Suppose -d - 5*w = -120131, -240234 = -2*d - 5*w + 9*w. Is d composite?
False
Let m be (-8)/14 - (-475)/35. Suppose -5*d - 25 = -5*q, -q - 3 = -2*d - m. Suppose 3*z - 5*z + 78 = q. Is z a composite number?
True
Let b(n) = 2*n**2 + 19*n + 13. Let d(s) = -4 + 625*s**2 + 0 - s**3 - 625*s**2 + 7*s. Let v be d(3). Is b(v) prime?
True
Let y(t) = 4*t**3 + 5*t**2 - 3*t + 1. Let x(j) = -j**3 + 1. Let n(r) = -6*x(r) - y(r). Is n(5) prime?
False
Let k be (1 - 3)/(1/20). Let y = k + 28. Let b = 10 - y. Is b composite?
True
Is (-143024)/(-40)*(5/2 + 0) a prime number?
False
Let l be (-32)/6 + 32/(-48). Let m(w) = -4*w**3 - 4*w*