 + 1346 = -v*s. Is s a prime number?
True
Let w(l) be the third derivative of 773*l**6/120 - l**5/60 + l**4/12 + l**3/6 + l**2 + 5*l. Is w(2) a composite number?
True
Suppose -4*w + z + 16 = -0*w, -16 = -4*w + 4*z. Suppose 2*p + 16 = -4*a, -w - 4 = 2*a. Suppose 7*h - 17303 + 4150 = p. Is h composite?
False
Suppose -109*y - 5016495 = 113*y - 237*y. Is y composite?
True
Suppose 293*j - 33427864 = 70830619. Is j prime?
False
Let t(j) = 169*j**2 + 7*j - 67. Let i(w) = 168*w**2 + 7*w - 66. Let u(n) = 4*i(n) - 3*t(n). Is u(-10) a composite number?
True
Let n be 16/(-6)*45486/(-152). Let m = -101 + n. Is m a composite number?
True
Let i(n) = 2*n**2 - 5*n - 5. Let h be i(-1). Suppose -h*g + 5*v + 10706 = 0, -10679 = -5*g + 4*v + 16086. Is g composite?
True
Suppose 0 = -2*i - 5*l + 281568, 198*i - 140793 = 197*i - l. Is i prime?
False
Let a(s) = 262*s**2 - 5*s + 34. Let b be 7/(-1) - (-1)/1. Let o be 24/8*(-10)/b. Is a(o) a composite number?
True
Let m(z) = 2*z**2 + 11*z - 1. Let n be 60/15*((-14)/4 - -2). Let o be m(n). Suppose 0 = -o*i - 25, -p - 4*p + 9900 = -3*i. Is p prime?
False
Suppose 2*k + 3*k = -3*k. Suppose k = 3*r - 0*r, -c = -3*r - 28164. Suppose 57*s - 61*s = -c. Is s a composite number?
True
Suppose d = -2, -5*o + 3*d - 93644 = -0*o. Let r = o + 32495. Is r composite?
True
Suppose 12*l = 14*l - 14. Let a(s) = 9 + 28*s - 3 + 15*s. Is a(l) a prime number?
True
Let h(a) = 466*a - 685. Is h(71) a prime number?
True
Suppose 50*j = 14*j - 686916. Is j/(-11) + (-340)/(-935) a composite number?
True
Let t = 297091 - 99204. Is t composite?
False
Suppose -4*u + 52 = -2*u. Let w = 30 - u. Suppose -4*z + w*y = -8*z + 2232, -5*z - 2*y + 2778 = 0. Is z composite?
True
Suppose 0 = 5*z - 33*z + 92372. Is z a composite number?
False
Let i(h) = h**2 - 3*h + 18. Let s be i(3). Let y(u) = -u**2 + 29*u + 35. Is y(s) prime?
True
Let q = -5 + 8. Let n(s) = -5*s**2 + 917 - 915 + 2*s + s + 23*s**3. Is n(q) composite?
False
Let l(k) = -12*k**3 - 6*k**2 + 3. Let f be l(-4). Let j be 478 + (16/14)/(2/(-14)). Let w = f - j. Is w composite?
True
Suppose -5*x + 5*a = -475, -x + 101 = -0*x - 3*a. Let d = 91 - x. Is (d/(-3))/(5 + 255472/(-51096)) a composite number?
False
Suppose 3*t - 2*l - 2*l = -36, -3*t + 5*l = 36. Is (-1742)/(-22) - t/(-66) prime?
True
Suppose 37*v - 35*v = -k + 47109, 4*v = -4*k + 94220. Is v composite?
True
Suppose -10*o + 88 = 68. Suppose o*q - 2340 = 5*p, 0*q = 5*q - 2*p - 5829. Is q prime?
False
Suppose 4 = -5*f + 5*p - 1, 4*f - 28 = -4*p. Suppose -3*d - 15626 = -4*s - d, -f*d = -3. Is s a prime number?
True
Suppose 188224951 = -267*p + 370438841 + 409311527. Is p a composite number?
True
Suppose 8446 = 5*d - 8929. Suppose 4*s - s = -5*w + 3479, 5*s = -5*w + d. Is w composite?
True
Let k = -2004984 - -3085291. Is k composite?
False
Suppose 0 = -l - 37 - 28. Let a be 3245/(-11)*(-2)/5. Let d = l + a. Is d composite?
False
Let b = 2190231 + -3722376. Is b/(-90) - 5/6 a composite number?
True
Suppose 2*i = 4*p + p - 175113, 5 = 5*i. Is p a composite number?
False
Let t = 35781 + 114776. Is t a prime number?
False
Suppose 2380186 = 13*j + 84*j. Is j a composite number?
True
Suppose 0 = -7*n + 4*n + 231. Let p(m) = -m**3 + 20*m**2 - 3*m + 14. Let j be p(20). Let c = n + j. Is c prime?
True
Let c = -34 - -39. Let j(i) = -i**2 + 12*i - 23. Let d be j(9). Suppose 4*t + 4075 = c*f, -2*t + d*t - 4075 = -5*f. Is f a composite number?
True
Suppose -22*n + 56*n = 408. Is n/24 + (-116964)/(-8) prime?
True
Suppose -3*g + 3*r + 26 = 2*g, -3*g + r + 18 = 0. Is 2217 + 21 - (g - 0) a prime number?
False
Let c be 0 - (-11 - -1*(-3)/(-1)). Let n be 679 + (28/c - 1/2). Suppose -3*m + 2*l = -5*m + n, -5*m + 1681 = -l. Is m composite?
False
Let h(u) = -2*u**2 + 19*u + 50. Let t be h(12). Is t + 4 - (4 + -6069) composite?
True
Let z(h) = 16*h**3 + 49*h**2 - 30*h - 99. Let o(s) = 25*s**3 + 74*s**2 - 46*s - 148. Let f(y) = 5*o(y) - 8*z(y). Is f(-15) composite?
False
Let s = 908 + -608. Suppose -11*n = -4634 + s. Is n prime?
False
Let l = -290 - -292. Suppose 4*s = w - 0*s - 20, -4*w = -2*s - 10. Is 1/l*(14 - w) a composite number?
False
Let j = -2 + 0. Let c be ((-75214)/(-26) - 32/(-208)) + j. Let s = c - -870. Is s composite?
False
Suppose 488*a = -230*a + 168286994. Is a a prime number?
True
Let s = 5071 - 288. Is s prime?
True
Is -16 - (3 - 14) - -5 - -1721822 prime?
False
Let k = 96560 - 36795. Is k a prime number?
False
Let x be 1 + -4 + 24/(3/1). Let m be -1888*(0 - (4 - x/(-4))). Suppose -4*w + m = -2*c, 4*c + c = 3*w - 7441. Is w prime?
True
Let v(y) = y**3 + 98*y**2 - 26*y - 1181. Is v(-48) composite?
True
Suppose -2*b + 35572 = 4*c, -2*c - b + 26677 = c. Let d = c - 3334. Is d a prime number?
True
Let h(m) = 2891*m**2 + 771*m - 29. Is h(-9) composite?
True
Let o(q) be the first derivative of q**4/4 - 2*q**3/3 - 7*q**2/2 + 36641*q - 265. Is o(0) a prime number?
False
Let a be (135/(-9))/((-3)/2). Suppose 25*i - 27*i = -a. Suppose -i*n + 1334 = 2*k + k, -n = k - 444. Is k a prime number?
True
Suppose 0 = -3*g - 2*p + 129867, -2*g + 5*p = -0*g - 86559. Suppose -6*t + g = -6939. Is t prime?
False
Let y be (-26)/(6 + 3045/(-507)). Let k = 291 + y. Is k a composite number?
True
Suppose 209 = 3*d + 8*d. Suppose 27409 = d*q - 9622. Is q a prime number?
True
Suppose 2*a = -p + 59, 4*a + 5*p - 118 = -15. Is ((-15)/10)/(12/a) + 4741 composite?
True
Let m(c) = 68*c**3 + 123*c**2 - 361*c - 35. Is m(25) composite?
True
Let h be 54/15 + (2 - (-16)/(-10)). Suppose 0 = g - h*z - 7815, -77*g + 3*z = -82*g + 38960. Is g composite?
True
Let q(f) = 2*f**3 - 14*f**2 + 5*f + 3. Let r = 252 - 242. Is q(r) composite?
False
Let h(j) = 100*j**3 + 18*j**2 + 3*j + 166. Is h(9) composite?
False
Let s be (-5 - -1)*(-159)/4. Suppose 0 = -5*f + g - 164, 0 = -f + 15*g - 19*g - 16. Let t = f + s. Is t composite?
False
Suppose -6 + 6 = -7*y. Suppose -2*q + 4*q - 5*v = 26, 4*q + 3*v = y. Suppose -1620 = -q*u - 3*s, 0 = s + 2*s + 3. Is u a prime number?
True
Suppose 5*n - 22 = 4*n. Suppose 4*c - n = -y, -8*y + 22 = 5*c - 4*y. Let v(w) = w**3 + 8*w**2 + 6*w + 11. Is v(c) prime?
False
Let j(b) = -b**2 - 19*b - 39. Let z be j(-14). Let g(a) = 261*a - 34. Is g(z) a prime number?
False
Let l be 1*45714 + (-144)/24. Suppose l - 3376 = 4*m. Is m composite?
True
Is 2/40 - 161811713/(-2140) a composite number?
True
Let x be 2 + (0/3 - 38) - 0. Let t be 15/(-20)*(4 + -2)*x. Suppose g + t = 181. Is g prime?
True
Let o = 84 + -48. Let s = -32 + o. Suppose -s*l = -3*d - 712, -7*l + 2*l = -3*d - 890. Is l prime?
False
Suppose j = 5*g - 877460, -351006 = -2*g - 13*j + 9*j. Is g prime?
True
Let k be 1/4 + 575/(-92). Is ((-18498)/(-9))/(k/(-9)) a composite number?
False
Let l be 276899/(-35) - (-2)/((-40)/12). Let x = l - -15623. Is x a prime number?
False
Suppose -24*l + 13*l = -10*l - 38489. Is l a prime number?
False
Let y(p) = -p**3 + 46*p**2 - 89*p + 73. Let d be y(44). Suppose -d*f = -64*f + 143885. Is f composite?
False
Is ((-268)/1340)/((-1)/1982845) a prime number?
False
Is ((-366)/122)/((-3)/114269) prime?
True
Is -929*((-1685)/7 - (-7)/((-294)/12)) composite?
True
Suppose -5070 = 5*a + 5*w, -5*a + 4*w - 1160 = 3919. Let m = a - -2274. Is m a prime number?
True
Let w(f) = 360*f**3 + 4*f**2 + 3*f - 5. Suppose 0 = -18*n - 7 + 43. Is w(n) a composite number?
False
Suppose 5*h - 2*u - 303745 = -3*u, 0 = -5*u. Is h composite?
True
Let a = 90 + -84. Suppose -a*h + 20 = -28. Suppose h*f - 8306 = -1210. Is f a composite number?
False
Suppose -138 = 5*p - 43. Let d = p + 24. Suppose 0*q = -d*z - q + 639, 0 = z + 5*q - 147. Is z prime?
True
Suppose s = -i + 7, -3*i - 5*s - 4 = -33. Suppose -i*z + 3*h + 33 = 0, -4*h + 20 = 3*z - 6. Suppose z = 5*k - 0, -u = -3*k - 1012. Is u prime?
False
Let f be (-11 - 3/3)*-1. Is (82518/f)/(4/8) prime?
False
Suppose -35*u + 9274239 = -38*u. Is u/(-195) + (2 - 12/5) prime?
False
Let z = -13327 - -97682. Is z prime?
False
Let n = -110 - -115. Is 8132/2 - (-8 + n) composite?
True
Let t(z) = -3*z - 8. Let u be (1 + (0 - 0) - 7) + 0. Let v be t(u). Let q(g) = 52*g - 3. Is q(v) prime?
False
Suppose -5*d + 3*v = -162, 3*d = -2*d + 5*v + 160. Let u = d + -31. Suppose -4*m - 423 + 2857 = u*h, -2416 = -2*h + 5*m. Is h prime?
True
Let c(t) = -2*t**3 + 183*t**2 - 17*t - 9. Is c(13) com