= t + -469. Is z prime?
False
Let o = -411984 - -880021. Is o a prime number?
False
Suppose 20372 = s - 4*k - 27327, 0 = -s - 5*k + 47717. Is s prime?
False
Let p = -411 - -731. Let w be (747/(-72))/(3/(-24)). Let i = p - w. Is i prime?
False
Let v = -134159 - -247516. Is v a prime number?
True
Let w(x) = -5535*x + 197. Is w(-28) a composite number?
True
Suppose -q = -2*b + 156399, b - 40845 = 2*q + 37344. Is b a prime number?
True
Let b(d) = 9*d**2 - d**3 - 113*d + 57*d + 7 + 58*d. Let j be b(8). Suppose -5*p - j = -2*u, 3*u + 2*u - 3*p = 170. Is u a composite number?
False
Let y(l) = l**3 + 13*l**2 + 93*l + 108*l + 12 - 219*l. Let a be y(-13). Suppose -a = 26*s - 28*s. Is s prime?
False
Is (-175773)/(-15) - (-7 + 5) - (-44)/55 composite?
True
Let v(d) = d - 11. Let a(z) = 2*z - 12. Let b(t) = 3*a(t) - 4*v(t). Let g be b(0). Is (6326/(-6) + -1)*(-12)/g composite?
False
Let u = -251 + 256. Suppose 285 = -u*x + 14920. Is x a prime number?
True
Let q = 160862 + 82491. Is q a prime number?
False
Let k = 32 + -80. Let f = 50 + k. Suppose -3*l - 2*l + 3780 = 5*r, 5*l - 1497 = -f*r. Is r a composite number?
False
Let g(i) = 67*i**3 - 63*i**2 - 11*i + 25. Is g(14) a composite number?
True
Suppose 16 = 5*p + 4*o, 3 = 2*p + o - 1. Let h be (11 - 3) + -5 - p. Suppose 2*v + 375 = -0*a + h*a, 5*v - 396 = -3*a. Is a prime?
True
Let f(z) = -z**3 + 8*z**2 + 8*z + 11. Let d be f(9). Is -1*((-44073)/21 + d/(-7)) composite?
False
Let j(y) = -y**2 - 7*y - 8. Let h be j(-4). Suppose -a - 2 = 0, 4*a + 7 = h*l - 21. Suppose -205 = -s - 3*i, l*i + 0*i = 10. Is s composite?
False
Let j be 4/8*5*-2. Let q be (34/8)/(j/(-2980)). Suppose -3*x - 5*d = -703 - q, 1079 = x + 2*d. Is x a prime number?
False
Suppose 16*q - 796154 = 454358. Is q prime?
True
Let g(w) = -2291*w - 236. Let r be g(7). Let u = 33564 + r. Is u prime?
True
Let i be -1 - (-26 + 6)/(-5). Let c(q) = q - 3. Let h be c(0). Is ((-7365)/(-9))/i*h prime?
True
Let r = -13 - -35. Let o(d) = -25 + 11 + 3 + 12*d. Is o(r) a prime number?
False
Is (19 - 2379/117)/((-4)/4348527) a prime number?
True
Suppose -15*x + 126 = -6*x. Suppose -x*t = -t - 130. Let n(a) = 278*a + 53. Is n(t) prime?
True
Suppose 0 = -7*w - 3*w + 360. Suppose 80 = -40*b + w*b. Is 3993 - (b/35)/(4/(-14)) a prime number?
False
Suppose 0 = 5*f - 3*f - 1492. Suppose 0*l - 2*l = -f. Suppose 4*m - j + l = 1517, -3*j - 1423 = -5*m. Is m a composite number?
True
Suppose 12 + 0 = z. Suppose -i = -3*j - 65, 2*i - 5*j = 141 - z. Suppose -m + 77 + i = 0. Is m a prime number?
True
Suppose -521*i + 524*i - 2*c - 112199 = 0, i + 2*c = 37397. Is i a prime number?
False
Let c be (24 - 23)*(-2 + 1). Let o(a) = -17231*a**3 + a**2 + 5*a + 4. Is o(c) composite?
False
Let i be (11/(66/(-90)))/(-4 - -1). Suppose -4*g + 1304 = 4*d, -i*g + 416 = 2*d - 227. Is d a composite number?
True
Is 311117 - ((-15)/6)/((-40)/96) a prime number?
True
Let o(t) = -t - 11. Let b be o(-6). Let l(v) = 33*v**2 - 17*v - 33. Is l(b) a prime number?
True
Let d = 18 + -301. Let z = -104 - d. Is z composite?
False
Let p(l) = -l**3 - 6*l**2 - 7*l - 11. Let z be p(-5). Is z/(9/(-64091)) - (-122)/(-549) prime?
True
Suppose -k = 67*a - 66*a - 41015, -8*a + 41043 = k. Is k a prime number?
True
Suppose 5*n - 8894803 = -3*a, -6*n + 8*n + 3*a = 3557914. Is n a composite number?
False
Suppose -1523622 = -39*b + 74871. Is b composite?
True
Suppose i + 18*i - 208836 = 7*i. Is i composite?
True
Let l(j) = 44*j**3 - 39*j**2 + 34*j + 13. Is l(16) a prime number?
False
Is (-1696)/5512 - (-1946914)/26 a prime number?
False
Let w be 203/(-70) + 2/(-20). Is (w/12 - 0) + 885/4 composite?
True
Suppose 32*u = 36*u + n - 38968, 4*u - 4*n = 38988. Is u a composite number?
False
Let i be 5*(-11)/(110/48). Let f be (-16)/(-88) + i/11. Is (f/(-5))/((-8)/(-9580)) composite?
False
Let v(z) = -2 + 146*z - 14 - 5*z. Let m = 3687 + -3684. Is v(m) prime?
False
Let h be 15/((63/(-28))/(-9)). Is (15671/5*1)/(12/h) a prime number?
True
Suppose 0 = -2*t + 5*v + 75664, 0 = -3*t + 10*v - 8*v + 113474. Is t a prime number?
False
Let q(s) = -s - 19. Let v be q(-16). Let p be (v + 21)*(-1)/(-3). Suppose 3494 = p*k - 940. Is k a composite number?
False
Let t be 9/45 + (-3)/((-15)/(-86126)). Let v = -10518 - t. Suppose -v - 244 = -3*b. Is b a composite number?
True
Suppose -2*f - 4*i + 326927 - 2273 = 0, 0 = -4*f + i + 649290. Is f a prime number?
False
Is (210468/(-42))/(10/(-35)) prime?
True
Let m = 46 + -13. Let x be 2*(3 - (-220)/8). Suppose 3*v = 4*c - 359, 0 = -c + 5*v + m + x. Is c prime?
True
Suppose m = -2*u + 1606, -1026 - 596 = -2*u - 5*m. Suppose 2*r = 5*r - 2346. Let n = r + u. Is n prime?
True
Is (0 - (30 - (-16)/(-4)))/((-10)/29905) a prime number?
False
Let s(i) = 3*i**3 - 18*i**2 - 11*i + 12. Let j(f) = -f**3 + 5*f**2 + 9*f - 4. Let p be j(6). Let q be s(p). Let d = -3123 + q. Is d prime?
True
Suppose 8*w - 4*s = 7*w + 4, 0 = 2*s. Suppose w*q - 3*m = 22562, 4*m - 26632 = -3*q - 9723. Is q a prime number?
True
Suppose -6*k - 2162 - 4678 = 0. Let o(m) = 4*m. Let s be o(-1). Is -1*k/8 + 2/s composite?
True
Let b be (-701630)/60 + 1/(-6). Let d = -3233 - b. Is d a prime number?
True
Suppose -195 + 186 = -3*z. Suppose -3*g - 11208 + 1980 = -3*p, -z*g - 9 = 0. Is p a prime number?
False
Suppose 38*y = 45*y - 112. Is (-18082 - 0)*(216/y)/(-27) a composite number?
False
Let o = -9606 - -18625. Suppose o = 3*s - 8870. Is s composite?
True
Suppose m = -l + 44286, -338*m = -343*m - 25. Is l composite?
True
Is (-1 - 4 - -7794)/((36/(-42))/(-6)) composite?
True
Is (-2)/7 + 704/112 - -84635 composite?
True
Suppose -32350 - 218859 = -3*k + o, 5*k = 3*o + 418679. Is k prime?
True
Let v = -47877 - -127948. Is v prime?
True
Let q(n) = -239*n + 12. Let u(s) = 1. Let j(z) = -q(z) + 5*u(z). Let y be j(2). Suppose 6*v - 5367 = y. Is v prime?
False
Suppose -5*c - 9 = -2*m, -m + 3*c = -4*m + 24. Is -16 + m - (0 - 4274) a composite number?
True
Suppose -17*r + 16*r = 78. Let x = r + -197. Is -5*10/x + (-4079)/(-11) composite?
True
Let q(u) = 10283*u**2 + 7*u + 1. Let x be q(2). Suppose 21*l = x - 1226. Is l a composite number?
False
Suppose 95*i = 91*i - 208837 + 1223369. Is i a prime number?
True
Let j be 9/6*2*(-14426)/2. Let l be 2/6 + j/9 - -1. Let b = l - -4060. Is b a prime number?
True
Let r = 4695179 - 2766732. Is r prime?
True
Let m(n) = -n**2 + n + 62. Let l be m(0). Suppose l = -u + 4*u - 2*w, 4*u + 2*w = 78. Let y(d) = 88*d + 17. Is y(u) prime?
True
Suppose 353*g - 348*g = 10. Is 120050/15 + (g - 14/6) a prime number?
False
Let y be 131/2 - 6*(-6)/(-72). Let h be ((-1)/(2/40))/((-10)/y). Suppose -5*j + 820 = -5*g, 520 = 4*j + 2*g - h. Is j a composite number?
False
Let d(h) = -11*h**2 + 2*h - 96 + 48*h**2 + 8*h**2 + 14*h. Is d(5) composite?
False
Let w(t) = -28*t**3 + 12*t**2 + 23*t + 79. Is w(-14) composite?
False
Let h(x) = 4060*x + 727. Is h(21) a prime number?
False
Let v(t) = -t**3 - 6*t**2 + 8*t + 11. Let w be 0 - (9 - 10/5). Let q be v(w). Is 1 + -1 - (q + -1 + -544) composite?
False
Suppose 3*u - 36 = -3*u. Let j be ((-50)/4)/(u/(-60)). Let y = j + 1920. Is y a composite number?
True
Suppose -54004 = 3*b + 9275. Is b*(0 - 1) - 4 composite?
False
Let k = -31 + 43. Suppose -150 = k*y - 18*y. Suppose 26*z = y*z + 287. Is z prime?
False
Suppose 5*v = b, -4*b + 5 = 2*v - 17. Let l be (2/4)/(v + 0)*4. Is l*2*21/(-36)*-159 a prime number?
False
Let b(l) = 2138*l - 10251. Is b(53) composite?
True
Suppose 163*u - 168*u = -10. Suppose -5*m + 3*y = -98680, m + u*y - 21214 = -1465. Is m composite?
False
Is ((-46)/(-138))/(4/1517052) composite?
False
Let a(r) = -r**2 - 2*r - 30. Let y be a(0). Let v be (-174)/y + (-1)/(-5). Suppose -v*h = -3*h - 4011. Is h composite?
True
Let s(o) = -4*o + 7. Let g be s(-3). Suppose 23*m = g*m + 1988. Is m prime?
False
Let a(w) = 12*w + 253*w**2 - 243*w**2 + 17 + 9 + w**3. Is a(-7) a prime number?
True
Let v be (-32 + -1)/(3*(-5)/3705). Suppose 2*d = 5*j + v, 4*j + 12255 = 3*d + 6*j. Is d a composite number?
True
Let l = 46 + -60. Let r = l + 16. Suppose -35 = m + r*g - 248, -2*m = -4*g - 418. Is m prime?
True
Suppose -11960 = -8*w + 2720. Suppose 9091 = 6*s - w. Is s a composite number?
True
Let h be 4 + -36*222/(-4). Let f = -1023 + h. Is f composite?
True
Suppose -17*u + 27*u = 74390. Is u co