 2*j + 3166. Let x = -2671 - j. Is x a prime number?
True
Suppose 5*i - j = -4*j + 32, -2*i = j - 12. Suppose -2*d + 0*k - 4*k + 2234 = 0, d - i*k = 1111. Is d a composite number?
True
Suppose -4*i + 808 = -4012. Let v(l) = 27*l**2 + 6*l + 19. Let j be v(-5). Let s = i - j. Is s a prime number?
True
Suppose -5*q + 867209 = g, 3*q - 19*g + 24*g = 520343. Is q a prime number?
False
Let p(k) = -26958*k + 581. Is p(-34) a prime number?
True
Let t(n) = -9*n - 5. Let r be t(-1). Suppose r*p - 5032 = 1236. Is p composite?
False
Let f(l) = 17*l**3 + 24*l**2 - 50*l - 121. Is f(20) a composite number?
False
Suppose -5*k + 403990 = 47805. Is k composite?
False
Suppose -3*d = -3, 47*d = -5*t + 45*d + 437217. Is t a composite number?
False
Let c(w) = -w**3 + w - 1. Let j(l) = -6*l**3 + l**2 + 13*l - 4. Let a(z) = 5*c(z) - j(z). Let p(u) = -4*u - 23. Let n be p(-7). Is a(n) a composite number?
False
Let x = -84 + -116. Is (x/(-20))/((-2)/(-19)) composite?
True
Let f = 1834 + -937. Let b = -398 - f. Let i = 1830 + b. Is i a prime number?
False
Let v be (-1 + -341)/(4*(-4)/208). Suppose 3*z + z + 2*y - v = 0, 5*y - 3352 = -3*z. Is z a prime number?
True
Let f = 33 + -29. Suppose -f*x = -104 - 52. Suppose 2*g - 375 = z, -g + x + 152 = -4*z. Is g a prime number?
False
Suppose 5*c + 2090 = -7185. Let n = c + 4020. Suppose 3*k = p + n, 609 + 837 = 2*k - 2*p. Is k a prime number?
False
Let w be ((-38)/6)/((-2)/6). Suppose 13*z = w*z + 5730. Let s = 1204 - z. Is s composite?
True
Let d be -1 - ((-15)/6 + (-2)/(-4)). Let x be d - (0 + -1)*3. Suppose 5*s - c + 3446 = 10458, 3*s - x*c = 4197. Is s a prime number?
False
Suppose 16*n = -11*n - 11*n + 3986618. Is n a prime number?
True
Suppose 5*t + 3*n = 65, 0 = t - 4*t + n + 39. Is 8146 + 0 - (t + -14) composite?
False
Suppose 5*z + 4*w = 795563, w + 329091 = 4*z - 307330. Is z composite?
True
Suppose -14*b + 2598 = -12*b. Suppose 0 = -8*c + 1429 + b. Is c a prime number?
False
Let m(x) = 5 + 13*x**2 - 4 + 19*x - x**2 + 15*x**2 + 10*x. Is m(-9) composite?
True
Let l(v) = 4260*v**2 - 15*v - 17. Is l(-1) a composite number?
True
Let f(s) = -15*s + 123. Let z be f(8). Suppose t - 2*g - 4155 = 0, -z*t + 20749 = 2*t + 3*g. Is t composite?
True
Suppose 0 = -200*k + 9375039 + 2895161. Is k prime?
False
Let n(i) = 21124*i + 831. Is n(11) a composite number?
True
Let k = 8598 + -5131. Suppose -2*n - 14*t + 3464 = -12*t, 2*n + t = k. Is n composite?
True
Suppose -15*o - 47*o - 1145073 = -119*o. Is o a composite number?
False
Suppose -q = 4*c - 199552, -10 - 2 = 3*q. Is c prime?
False
Let d = -515 - -520. Suppose d*r + 37 - 1682 = 0. Is r a prime number?
False
Let u(a) = 18852*a**2 - 63*a - 62. Is u(-1) composite?
True
Suppose -809128 = -4*a - 17*i, -230338 - 174226 = -2*a - 4*i. Is a a composite number?
True
Suppose -3*j + 3*z - 60 = 0, 5*j + 47 = 4*z - 53. Let o(t) = -102*t + 9. Is o(j) prime?
False
Let p(i) = 17242*i**2 + 91*i - 260. Is p(3) composite?
False
Is (-3)/(12*(-13)/3677284) composite?
False
Let y be -2*(-66)/(-12)*11/1. Let w = 125 + y. Suppose -2*t = -0*o + w*o - 4278, -3206 = -3*o - t. Is o composite?
True
Let f = 18 - 11. Suppose -3172 = -f*w + 3*w. Suppose -157 + w = 4*a. Is a composite?
True
Suppose 5*n + 17*y - 63367 = 20*y, 4*n - 50664 = -5*y. Is n a prime number?
True
Suppose -15*d + 28644 + 9066 = 0. Is (-2)/(-3)*d - 3 a composite number?
True
Let x be 88/(-15) + 4/(-30). Let a be (-8490)/9*x/4. Suppose 4*k - k + 2*v = a, 2367 = 5*k - v. Is k composite?
True
Let g(v) = -12*v**3 + v**2 - 4*v - 1. Let s = -5 - -3. Let f be (-4)/2 + (s*2 - -2). Is g(f) prime?
False
Suppose 3 = 11*v - 30. Let p be (-11348)/(-36) - (-2)/(-9). Suppose -3*f + 929 = -4*q, 4*f + p - 1549 = v*q. Is f prime?
True
Suppose -47*y + 2262942 = -1476895. Is y composite?
True
Let d be (-2)/(-6) - 558/54. Let x be 175/2 + 5/d. Suppose x = -4*o + 683. Is o prime?
True
Let s = 5372 + 92945. Is s composite?
False
Let x(d) = 1209*d**3 + 7*d**2 + 14*d - 11. Is x(4) a composite number?
True
Let n = 73 + -65. Suppose 5*g + 16 = -4*s, -2*g = -3*s + 5*s + n. Is (-32130)/(-81) + (1 - s/(-6)) a composite number?
False
Let c be 1*(-2)/((-6)/45). Let r be ((-30)/c)/(2/(-211)). Is (0 + 1)*(-3 + 3 + r) a composite number?
False
Let v(z) = z**2 - 7*z + 5. Let d be v(10). Let a(j) = -25 + 7*j + d - 53 + 68*j. Is a(8) composite?
False
Suppose -5*t + 171637 - 26527 = 0. Suppose 59*s - 80*s + t = 0. Is s prime?
False
Suppose 0 = -293*v - 61359548 + 74858097 + 133338694. Is v prime?
False
Let x = -4277 - -620. Let b = x + 6856. Is b prime?
False
Suppose -4*w - 3*x + 26003 = -4*x, -4*w + 2*x + 25998 = 0. Is w prime?
False
Let m(j) = -15*j + 183. Let d be m(12). Suppose -19857 = -32*y + 29*y + d*a, 4*a - 16 = 0. Is y a composite number?
True
Let m(r) = 588*r**3 + 3*r**2 - 2*r - 1. Let q be (-6)/10 - 28/(-5). Suppose 18 = 3*c - 4*i, 0 = c - i - q. Is m(c) prime?
False
Let v = -193900 - -353861. Is v composite?
True
Suppose 7*u = 12*u, 98708 = 2*d - 4*u. Let k = -29967 + d. Is k a composite number?
False
Let d = 178707 + -119818. Is d prime?
True
Let r be (-16 - -8)*(-7)/8. Let u(h) = 392*h - 315. Is u(r) a prime number?
False
Suppose -38*k = -40*k - 72. Is (-8)/(k/(-9))*293/(-2) prime?
True
Suppose 3 = k, -4*y + 3*k + 7 = -0*y. Is 1*(1 + y - -248) prime?
False
Suppose -223*w + l - 36414 = -228*w, -2*w + 14564 = 2*l. Is w prime?
True
Suppose -5*n - 5*p = 1385, p + p + 1098 = -4*n. Let z = -166 - n. Is z a prime number?
False
Let b = -26 - -28. Suppose -2*v = -2*r - 34120, 12418 = b*v - r - 21707. Is v a prime number?
False
Let m(n) = 49*n**3 - n**2 + n - 4. Let c be m(2). Let h(y) = -9*y**3 - 5*y + 3. Let l be h(3). Let t = l + c. Is t prime?
True
Let n = -41 - -41. Suppose n = 3*d - a + 2*a + 5, -23 = d - 5*a. Is d/9 - 9470/(-15) composite?
False
Let u(f) = -245*f + 192. Let j(y) = 122*y - 95. Let k(g) = -11*j(g) - 6*u(g). Is k(35) a prime number?
True
Let o(a) = a**2 - 7*a + 11. Let n be o(6). Suppose -n*g - 4*h + 5150 + 2201 = 0, -5*h = 5. Is g a composite number?
False
Suppose -4*a = -0*a + 5*v - 2471, -4*v - 2444 = -4*a. Let b = a + -415. Is b composite?
False
Let h be (-310)/(-93)*36/10. Let z(x) be the first derivative of 7*x**3/3 + 2*x**2 + 5*x + 2. Is z(h) prime?
True
Suppose -11*s + 16228 = -9*s. Suppose s = 2*v + 4*c, v + v - 8110 = -3*c. Is v composite?
False
Is (((-100009)/(-14))/(-13))/(1/(-26)) + -6 a prime number?
True
Suppose 0 = -7*n + 138 + 37. Let j be 10/25 - (-115)/n. Suppose -7*r + 8429 = j*a - 4*r, -4*a = 2*r - 6744. Is a composite?
True
Is (7138488/144 - 26)*6 prime?
False
Suppose 881883 - 124184 = 2*o - 1152507. Is o a composite number?
False
Let w(f) = f - 29. Let m be w(29). Suppose m*c = v - c - 1180, c = -v + 1182. Is v a prime number?
True
Suppose -6*s + 8428239 = -394*y + 391*y, -3*s = 4*y - 4214147. Is s a prime number?
True
Suppose -5*b + 10*b + 2*c = 10, -3*c + 8 = 4*b. Is -5 + b + 2 + 3 + 3017 a composite number?
False
Suppose -t + 12715 = 4*t. Suppose -2*n + 965 = -t. Is n composite?
True
Let i(l) = -13*l**3 + l**2 + 32. Let d be i(6). Let u = d - -4667. Is u composite?
True
Is (-345)/60 + 6 + 294883/4 composite?
False
Let q = -366 + 362. Let b be 1*(2 - 3)*0. Is (3 + b + 1746)*q/(-12) composite?
True
Let x = 2505 - 1000. Let b be (2 - 22*-7)*(-78)/12. Let o = x + b. Is o composite?
False
Let l = 29 + 3. Let o be -4 - (3864/l)/(2/(-8)). Let m = -278 + o. Is m composite?
True
Suppose 10 = 6*k + 58, 4*y - 200764 = -5*k. Is y a composite number?
True
Let k = 80214 - -25105. Is k prime?
True
Let v(r) = 1095*r**3 - 14*r**2 + 17*r - 1. Is v(1) a prime number?
True
Suppose -3277208 = -166*b - 918904 + 1360926. Is b composite?
True
Let r be 2493/2*(-18 - -32). Let b = -8650 + r. Is b composite?
True
Suppose 88*t - 186 = 85*t. Suppose -x - 10074 = -2*f, -f = -t*x + 61*x - 5035. Is f composite?
False
Is 9832769/58 - 3/2 a composite number?
True
Let n be (10/15)/(14/(-84)). Suppose -a + 2 = 3*t - 6*t, 4*a - 2*t = 8. Is (-1923 + 0)*2*a/n a prime number?
False
Let d(q) = 17*q - 101. Let l be d(6). Let u(w) = 3257*w + 6. Is u(l) prime?
False
Let x(a) = a**3 - 16*a**2 + 4*a - 60. Let t be x(16). Suppose 4*k = -2*v + 26798, -t*k - 66959 = -5*v - 5*k. Is v composite?
True
Is ((-2838405)/30)/(1/(-2)) a prime number?
False
Suppose 90 = -25*i + 