s r composite?
True
Let k(r) = r**2. Let f(v) = -840*v**3 - 4*v**2 - 2*v + 1. Let w(o) = -f(o) - 6*k(o). Suppose 10 = -21*d + 31. Is w(d) prime?
True
Suppose -51*l = 136405 - 1243149 + 143711. Is l a composite number?
True
Is 3/2*264/165*1076910/24 a prime number?
False
Let p = 865 + -574. Suppose -o = -0*o + 158. Let t = o + p. Is t a prime number?
False
Let t be 4 + 1044/8*18. Suppose 5*u = 3*a - t, 2627 + 467 = 4*a + 2*u. Suppose 13*j - a = 9*j. Is j a prime number?
False
Suppose -n + 284 = -219. Let z = n - 292. Is z prime?
True
Is 58311415/508 + (-2)/8 - (-5 + 10) a composite number?
False
Suppose -5*b - 5*q + 35 = 0, -2*b = 3*b - 5*q + 5. Suppose 30 - 6 = b*t. Is 25/10 - (-7892)/t a prime number?
False
Suppose -5*u + 225 = 190, 5*y - 2232494 = 3*u. Is y composite?
False
Let m(b) = 9*b**2 - 12. Let w be m(4). Is w/(-12) + 11 + (160 - -1) prime?
False
Let f = 30533 + 26124. Is f a composite number?
True
Let u(v) = -v**2 + 5*v + 9. Let l be u(-2). Let p(d) = -5*d**3 + 1 + 4*d**2 + 7*d + 6 + 2*d**3. Is p(l) a prime number?
False
Let x(s) be the first derivative of s**2 + 51*s + 18. Is x(-7) composite?
False
Let x(a) = -a. Let g(s) = -s**3 - 6*s**2 - 12*s - 33. Let i(h) = -g(h) + 3*x(h). Let q be i(10). Let j = q + 1000. Is j prime?
False
Suppose -12*k - 21 = -15*k. Suppose -2590 = -21*o + k*o. Suppose 2*w - 321 = o. Is w composite?
True
Suppose 80*z - 16944445 = 17518195. Is z composite?
False
Suppose 0 = -7*p + 4*p + 15, -3*k + 10 = 2*p. Suppose k = 10*s + 11*s - 49497. Is s a composite number?
False
Suppose -7366 = -5*w - 0*y + y, 0 = 3*w + 4*y - 4438. Is 6 + 3/(6/w) a prime number?
True
Let w(x) = -8*x**3 + 3*x**2 + 666*x + 38. Is w(-21) prime?
True
Is 8247*26 - 105/21 a prime number?
False
Let r(x) = 38992*x + 875. Is r(3) prime?
True
Suppose 0 = 16*u + 25523 - 80852 - 209423. Is u prime?
True
Let l be (515/(-15) + 1)*-60. Let m be 1 - ((-3 - -2) + l). Let u = -1196 - m. Is u prime?
False
Let i = 100 - 98. Let x be i/(2/5) + 2. Is 14/x + (-1)/1 + 1650 prime?
False
Suppose 258*m - 69513634 = -0*m + 33519440. Is m a composite number?
False
Suppose 13*u - 958034 = -u. Suppose 0*t + u = 3*t - 2*m, 0 = 3*m + 15. Is t composite?
False
Let g(q) = -49 + 4*q + 4*q**3 - 5*q**2 + 4*q**2 - 3*q**3 + 44. Let o be g(2). Is 18414/14 - (-6)/(-147)*o a composite number?
True
Is (-6 + 41 - 29) + 641*67 a prime number?
True
Let m(x) = x + 5. Let p(l) = -l**3 - l**2 - 2*l - 2. Let i be p(0). Let c be m(i). Suppose 0*u = 2*y + 4*u - 1242, -c*y + u = -1856. Is y a composite number?
False
Let n(p) be the first derivative of 124*p**3/3 - 5*p + 71. Is n(-2) a prime number?
True
Suppose -2890044 = -300*l + 264*l. Is l a composite number?
False
Suppose 2*a - 8 = -s - s, -3*s - a + 8 = 0. Suppose -3 = -s*n + 1. Suppose 2*x - 2899 = 4*f + 759, n*x - 3657 = 5*f. Is x composite?
False
Suppose -3738215 = -b - 3*i, -i - 22 = -24. Is b a composite number?
False
Let q = -913 + 183. Let r = q + 1773. Is r a composite number?
True
Let x(u) = -u**3 - 13 + 8*u**2 - 8 + 13 + 34*u. Let n be x(11). Suppose 5*w - 16116 = -0*g + g, -9666 = -3*w - n*g. Is w a composite number?
True
Suppose 71*s - 65199704 = 13889823. Is s a prime number?
False
Let u be -2 + (-4)/(-4) + -2 - -20. Let t = u - 16. Is (-65)/195 + t*5770/3 a prime number?
False
Let n = -47140 + 120357. Is n a composite number?
True
Let i = 2026 + 252. Let p = i - 1367. Is p composite?
False
Suppose 61 - 58 = f. Suppose -25973 = -f*r - 16*r. Is r a composite number?
False
Let o be (905/(-10) + 5)/(2/(-28)). Let x = o - 524. Is x prime?
True
Let a(b) = 26*b**2 - 9*b - 7. Let y(u) = 33*u**2 - 4*u - 6. Let n(h) = -h**2 - h. Let g(k) = 6*n(k) + y(k). Let q(w) = 4*a(w) - 3*g(w). Is q(-3) composite?
True
Let t be (-1 - -1 - -2) + 2. Suppose 0 = t*x - 3*j - 21061, x = 3*x + 5*j - 10563. Is x a prime number?
False
Let q(i) be the second derivative of -217*i**3/6 + 83*i**2/2 + 74*i. Is q(-8) a prime number?
False
Let d = -77536 + 200499. Is d composite?
False
Suppose -y = -3*u + 2604458, 0*u + 3*u - 4*y - 2604473 = 0. Is u composite?
False
Let r be -9*((-12)/(-9) - 1). Is r*2/(-21) + (-659745)/(-189) a composite number?
False
Let b(d) be the third derivative of d**7/14 - d**6/180 - d**5/60 + d**4/8 - d**3/2 - 21*d**2. Let q(j) be the first derivative of b(j). Is q(2) prime?
False
Suppose -4*c - 3*u = 5, 5*c + 3*u = 2*u - 20. Is 4 + (17310/(-2))/c composite?
True
Is 78/(-195) - 28/(-40)*144662 a composite number?
True
Let s = 65068 + -33614. Is s prime?
False
Let d(s) = -14*s**3 + 13*s**2 + 34*s + 185. Is d(-12) a prime number?
True
Let y(u) = 14*u**3 + 24*u**2 + 27*u - 58. Is y(9) a prime number?
False
Let u = -41 + 50. Suppose -3*r + 6*r - 15 = -3*a, 0 = 3*a - u. Suppose -5*y + 67 = r*x - 282, 4*y - 4*x - 268 = 0. Is y a prime number?
False
Let o(t) = -45*t + 187. Let k(y) = -45*y + 186. Let x(q) = -5*k(q) + 4*o(q). Is x(9) a prime number?
True
Suppose 136*y - 40256355 - 50103243 = -122*y. Is y a composite number?
True
Let p(s) = s**3 + s**2 + s - 1. Let n be p(0). Let r be 405 + 6 - (3 + n). Let q = -72 + r. Is q a composite number?
False
Suppose 408596 = -69*m + 4077119. Is m prime?
False
Let z = -352520 - -591291. Is z a composite number?
True
Let i = 1336039 - 486452. Is i composite?
False
Let z be (2 - 512)/(1/(-75)). Suppose -27*p = -z + 1503. Is p prime?
True
Let y(i) = -130*i**3 + 13*i**2 + 19*i - 38. Let j(n) = -87*n**3 + 8*n**2 + 13*n - 25. Let d(g) = 7*j(g) - 5*y(g). Is d(4) prime?
False
Let c be (-6)/(-4)*20/15. Let r(s) = s - 2*s**c + 0*s**2 + 7*s**3 + 344*s**3 + 23*s**3. Is r(1) prime?
True
Suppose -3*m = 4*m + 3*m. Suppose 4*r + 3*w - 4453 = m, 0 = w + 3*w + 20. Is r a prime number?
True
Is (-25895336)/(-498) - (0 + (-1)/3) composite?
True
Let k(i) = 4614*i - 9. Let o(n) = -2314*n + 53 + 776*n - 50. Let f(s) = -2*k(s) - 7*o(s). Is f(1) a prime number?
False
Suppose 3*t - 17315 = 2*t + 4*f, -2*t = -3*f - 34635. Let m = -12254 + t. Let x = -3530 + m. Is x a prime number?
False
Let m = -321979 + 472887. Is (-8 + 9)/(-3 + m/50302) a prime number?
False
Let q(v) = -2*v**2 + 56*v + 62. Let s be q(29). Suppose 4*j - 3*t = 73088, -s*t + 19325 + 17197 = 2*j. Is j a composite number?
False
Suppose y - 4 = -y, -n + 4*y + 12 = 0. Is 2/n - (-44443)/70 prime?
False
Suppose -2158805 = 415*v - 85204870. Is v a prime number?
False
Let y be -7 + 5 + 20896 + -4. Let i = -14067 + y. Is i a composite number?
False
Suppose 4*m - 1114 - 322 = 0. Let n = -3213 + 3213. Suppose n = -3*r + m + 1087. Is r composite?
True
Let v(w) = 5*w**3 + 8*w**2 - 21*w - 52. Let s be v(-7). Let f = 3429 - s. Is f a prime number?
True
Suppose -9*q + 10*q = 127. Let i(r) = -19*r + 10. Let w be i(-6). Suppose -5151 = w*n - q*n. Is n prime?
False
Let s = 5490 + -13065. Let z = -2138 - s. Is z composite?
False
Let w(p) = 206*p - 26. Let r(k) = 413*k - 53. Let l(h) = 3*r(h) - 5*w(h). Let g be l(11). Suppose -u = -3*c + g - 322, 0 = -c + 3*u + 652. Is c a prime number?
False
Is 3 + 0 + 166255 + (-13 - 4) composite?
True
Suppose -5*m + 5*t = -29730, -m - 11896 = -3*m - 2*t. Suppose m = 3*f + 2*v - 9806, -2*f - v + 10502 = 0. Is f a composite number?
True
Suppose -2*d - 108 - 44 = 5*s, 5*s - d = -164. Let h = -32 - s. Is h + (1 - -985) + -3 a prime number?
True
Let z(f) be the first derivative of -f**4/4 + 35*f**3/3 + 6*f**2 + 35*f - 17. Is z(32) a composite number?
False
Suppose -393238 = -3*x - 5*c, -x + 131076 = 2*c + 3*c. Is x prime?
False
Suppose 5*m - 180 = 8*m. Let o be ((-6591)/(-6))/(2*(-3)/m). Let v = -7822 + o. Is v composite?
False
Let f(g) = -g + 15. Let r be f(-16). Let s = -65 - -92. Suppose r*t = s*t + 4268. Is t a prime number?
False
Let l be -1 + 4 + (104 - -6). Let n = -348 + l. Let t = 972 + n. Is t prime?
False
Let m be 10/(-8) - (-5675)/(-100). Let l = 370 + -149. Let w = l + m. Is w a composite number?
False
Let j be (0 + (-9)/(-2))/(2/(-8)). Let a = j + 22. Suppose 2*d - 145 = 5*m, -3*d + a*m = d - 320. Is d a prime number?
False
Suppose y + u = 2*y - 2919, -2*y - u = -5853. Is (y + -10)*(-2)/(-4) prime?
False
Let b = 10461 - -75008. Is b a prime number?
True
Suppose 63*a - 35*a = 2689204. Is a prime?
True
Suppose l - 12 = 4*l. Let c be 2082 - (110/25 - l/(-10)). Suppose 12*q = 3766 + c. Is q a composite number?
False
Let x = 71 + -111. 