/2 + 5*c - 16. Is s(4) a prime number?
True
Suppose -15*d + 17*d - 4*z - 554 = 0, -5*z = 3*d - 864. Suppose 303 + d = 2*w. Is w composite?
False
Let f(v) = v**2 - 7*v + v - 14 - 5 + 11*v. Let b be f(3). Suppose b*q - 614 - 281 = 0. Is q composite?
False
Suppose -197339 - 806806 = -5*q. Is q a prime number?
False
Suppose 6640*c - 22601874 = 6606*c. Is c prime?
False
Let o = 34 - 35. Let r be 1*(o + 74*-2). Is 4/(-8)*(r - -1) - -3 prime?
False
Let m = -34592 - -59064. Suppose 5*l - m + 8713 = 4*w, 4*w = -2*l + 6326. Suppose 0*o - 2*o + 785 = g, -3*o = 4*g - l. Is g prime?
False
Suppose -3 = -10*k + 7. Let h(a) = 4*a**3 - a**2 - a + 1. Let g be h(k). Is (-4)/8 - (228/(-8) + g) composite?
True
Suppose -12 = -4*o, -248553 - 12484 = -4*f - 3*o. Is f prime?
True
Let g(j) = -50*j**3 - 2*j**2 + 2*j - 2. Let q be g(-6). Is (q/6)/((-14)/3 + 5) prime?
False
Let u = -13 + -50. Let d(c) = -c**2 - 40*c + 113. Let m be d(-36). Let q = u + m. Is q a prime number?
False
Suppose -17*z + 264 + 59 = 0. Is (z - -5)/4 - -5033 composite?
False
Suppose -5*i - 2*v + 37 = 0, 3*i - 2*v = 21 + 14. Suppose -24831 = -i*m - 4050. Is m composite?
False
Let b(a) = 251*a**2 + 57*a - 2641. Is b(30) a prime number?
True
Suppose 0 = -177*c - 6129809 + 44810150. Is c a prime number?
False
Suppose 5393183 = 15*s + 14*s + 1216110. Is s a composite number?
False
Let h(o) = o**3 - 10*o**2 - 11*o + 20. Let c(q) = -q**3 + 6*q**2 - 6*q + 3. Let u be c(4). Let r be h(u). Suppose -r*m = -18*m - 1346. Is m a composite number?
False
Is 1/(1/5*(-655)/(-290548699)) a prime number?
False
Let i = 168 - 96. Is -8 + 470104/i + (-2)/9 prime?
True
Let k = -15 + -16. Let z = 10 + k. Is (-1190)/z*6/4 composite?
True
Suppose 0 = 24*l - 21*l + 24. Let n be 209/76 - 2/l. Suppose 2*f = 4*m - 599 - 8037, m - n*f - 2169 = 0. Is m composite?
True
Suppose 50*j = 88*j - 535496. Let z = -6639 + j. Is z composite?
True
Suppose u - 124484 = -g, -2*u + 172976 = -4*g - 76022. Is u prime?
True
Suppose 0 = t + 4*y - 196655, y + 175279 + 808080 = 5*t. Is t a prime number?
False
Let y(d) = -d**3 - 12*d**2 - 4*d - 51. Let u be y(-12). Is (-3996)/(-5) + u + (-84)/(-30) prime?
False
Is (-6)/(84/(-19454855))*(-44)/(-110) a composite number?
False
Suppose -18817 = -4*c - 1953. Is 90/(-18) - (-5)/(20/c) composite?
False
Suppose -3*p - 4489832 = -20*n, -12*n + 13*n + 4*p - 224475 = 0. Is n composite?
False
Suppose -529*c - q - 518474 = -533*c, -4*c + 518486 = 5*q. Is c a prime number?
False
Suppose 3*l + u - 6*u = 1804, 5*u = 2*l - 1211. Let j = 1092 - l. Is j prime?
True
Let w = 1566 + -780. Let z = 171 - 169. Suppose -4*q + 2*q = 5*h - 1953, z*h - 4*q = w. Is h a prime number?
False
Is (-4 + -1 - -8)/(2 + 707253/(-353631)) composite?
False
Let q = 1817 - -233. Let w(u) = 901*u**2 - 4*u - 3. Let y be w(-2). Let i = y - q. Is i a prime number?
True
Let x = -65 + 54. Let f(m) = 8*m**2 + 24*m + 65. Is f(x) a composite number?
False
Suppose -29*n + 45*n - 4278650 = -34*n. Is n prime?
False
Let j be (41/(-82))/(2/20). Is (j - 6235/10)*-2 prime?
False
Let k(w) = -w**3 + 9*w**2 - 3*w + 34. Let j be k(9). Let x(n) = 2*n**3 - 9*n**2 + 16*n + 10. Is x(j) prime?
True
Let m = -134 + 134. Suppose m = a - t - 20317, 2*a = -35*t + 32*t + 40639. Is a prime?
False
Let w = -28 - -61. Suppose -6*z + 126 = -2*z - 3*m, 4*m + 68 = 2*z. Suppose w*t = z*t + 3957. Is t composite?
False
Is (-2)/((504/1458276)/(-21)) composite?
False
Suppose t - 2*t + 3772 = 0. Suppose -3*s = 3, 4*o - 5*s = 36 + 25. Suppose o*a + t = 18*a. Is a a prime number?
False
Let d(s) = -14*s**3 + 4*s**2 + 3*s - 2. Let c be d(5). Let v be (-498 + -3)/((-3)/14). Let u = v + c. Is u a composite number?
False
Suppose x - 2*s = 228, 3*s = -3*x + s + 676. Suppose -2*f - 2*f = 4*p - 6448, -4*p + 4*f = -6488. Suppose -4*n - 89 = -l + x, n = -5*l + p. Is l a prime number?
False
Let g(f) = 2893*f - 314. Is g(27) a composite number?
False
Let s = -47 + 23. Let u be (-1 + (-1 - -8))*80/s. Is (u - 111)/((-1)/7) a composite number?
True
Let l = 11160 - 5953. Is l composite?
True
Let v(c) = -136*c + 21. Let p(x) = 4*x**3 + 5*x - 10. Let u(l) = -l**3 - l**2. Let t(w) = p(w) + 5*u(w). Let k be t(-6). Is v(k) prime?
False
Let f(c) = c**3 + c**2 - 2*c + 507. Suppose -4*w = -5*w. Let i be f(w). Suppose i = 2*y - 1327. Is y prime?
False
Let t be 21/(-15) + 3 - 4/(-10). Let k(q) = 1882*q + 4. Let c be k(t). Is (-1)/(-5) + c/10 a prime number?
False
Suppose -2*h + b - 12 = 0, -4*h - 6 = -3*h + 4*b. Is ((2538/h)/(-3))/1 a prime number?
False
Suppose -3*n = 3*b - 24, 8 = 5*b + 6*n - 9*n. Suppose 3209 - 907 = 2*u - b*o, -u - 4*o + 1151 = 0. Is u composite?
False
Let z be (-9)/((-5)/(8 + 7)). Is 3/z*3 + 7220/3 prime?
False
Let p(q) = -3*q - 1. Let t be p(0). Let b be (-12 - 2051)/(2*t + 1). Suppose s + 0*s = b. Is s a prime number?
True
Suppose t = -5*t + 11292. Suppose 0 = -4*a + 2*a + t. Suppose 5*g + a = 3406. Is g prime?
False
Let j be (0 - 2)/2 - -45. Suppose 0 = -5*t + 26 + j. Is -18 + t + (-62)/(-1) a composite number?
True
Is (((-30)/36)/(-5))/(1/782658) a prime number?
False
Suppose 0 = u, 0*q + 5*q - 4945 = 3*u. Suppose q*k - 980*k = 291294. Is k composite?
True
Let c = -506 - -516. Suppose 5816 = -c*l + 54426. Is l composite?
False
Suppose 0 = -3*v + 4 - 1, -4*z = 4*v - 564. Is ((-7)/(z/(-24305)))/(2/8) a prime number?
True
Let l(t) = 4*t + 27. Let k be l(-6). Suppose -k*g - 2*x = -30, -14*x + 23 = g - 9*x. Suppose 12591 = g*y + y. Is y a prime number?
True
Suppose 61 = f + 2*t, f = -f - t + 128. Suppose -f*r = -64*r - 3251. Is r a prime number?
True
Let b be (-159)/(-33) - ((-2)/11 - 0). Let t be (12/15)/(-2) - (-2197)/b. Let r = t + 4. Is r composite?
False
Is ((-453198)/8)/((-6)/8) prime?
True
Let f = 63141 + -33841. Let r be (6/(-5))/((-15)/f). Suppose -323 - r = -3*p. Is p a composite number?
True
Let j be 3920/21*(0 + 9/4). Suppose -3*a + 3*d + 0*d = -243, 0 = 5*a - 2*d - j. Is a prime?
False
Suppose 2*f - 6*f - 12 = 0. Let m = -5615 - -1533. Is (-1 + 0 + m)/f a composite number?
False
Let a be (-1)/4 + 209/(-76). Is -34*a/(-3)*(-5)/2 a composite number?
True
Let m = -5935 - -5939. Suppose -2*l - 3*l + 12915 = 0. Suppose m*y - 10352 = -4*r, y - l = 5*r - r. Is y a prime number?
False
Suppose 0 = -5*k + 4*a + 42, -2*k - 3*a + 4 + 22 = 0. Suppose k*x = 3983 + 19187. Is x a prime number?
False
Is 6/(-2)*-5*(-4561325)/(-75) a prime number?
False
Let j = 127848 - 2257. Is j a composite number?
False
Let s(y) = 6863*y - 222. Let f be s(22). Suppose 13*v - 7797 = f. Is v composite?
False
Let y = -24 - -24. Suppose y = 6*d + 369 - 10191. Is d a prime number?
True
Let n(g) = g**3 + 4*g**2 - 17*g - 30. Let y be n(-6). Is 33754/2 - ((y - 1) + -1) a composite number?
False
Let k = -32 + 58. Suppose -7*o = -5*m - 3*o + 38, 4*m - o - k = 0. Is (9228/16)/(m/8) composite?
False
Let g(z) = -5484*z**3 + 3*z**2 - 4. Is g(-1) prime?
True
Let h(z) = 143*z**3 - 20 + 0*z**2 - 4*z**2 + 8 + 9 + 5*z. Is h(2) composite?
True
Let p(a) = -18*a - 2*a**2 + 11 - 17 + 8*a - 10*a**3. Let s(g) = -10*g**3 - 2*g**2 - 9*g - 5. Let d(r) = -2*p(r) + 3*s(r). Is d(-6) prime?
False
Let u(g) = 37*g**2 - g + 1. Let l be u(-2). Let m = -1786 + 1804. Let k = l + m. Is k composite?
True
Suppose 0 = -5*w + 4*q + 97238, q - 117529 = -4*w - 39726. Suppose -4*b + w = -9554. Is b a prime number?
False
Let d = 151 + 1228. Suppose -858 = 3*a - 4*a. Let w = d - a. Is w composite?
False
Suppose 32 = 4*n - 96. Suppose -42 + 9 = -o + 2*l, 4*o - 5*l - 135 = 0. Suppose -n*t - 981 = -o*t. Is t composite?
True
Let f = -94115 - -357438. Is f prime?
True
Let w be -924*((-138)/12 + -4). Is w/7 + 10 + -5 composite?
True
Let b be 1*((-15)/(-5) + -6 - -6). Let w be 32/(-5)*(-20)/2. Suppose -m = 4*s - w - 779, 2*m = b*s - 635. Is s a prime number?
True
Let r(s) = 2*s**3 + 14*s**2 - s - 6419. Let u(t) = t**3 + 6*t**2 - 3209. Let f(b) = 2*r(b) - 5*u(b). Is f(0) prime?
False
Let d(a) = -a**3 + 20*a**2 + a + 5. Let u be (-1830)/(-427)*(-28)/(-6). Is d(u) a prime number?
False
Let w = 89714 + 251633. Is w composite?
False
Let m = 1 + 28. Suppose a = 3*k - 14, m - 7 = 5*k - a. Suppose 0*f = k*f - 1556. Is f a composite number?
False
Let a be (2 + -1)/((-5)/5 + 0). Let g(u) = 87*u**2 + 7*u + 5. Is g(a) composite?
True
Suppose 0 = 13*d - 27*d + 163688. Suppos