5 = 2494965. Is r a composite number?
True
Let m(v) = 85*v**2 - 1941*v - 37. Is m(69) a composite number?
False
Let a(h) = -13*h**3 - 2*h**2 + 2*h + 12. Let g be a(4). Let c = 553 - g. Is c prime?
False
Is 8/(-20) + (-3 - ((-16565688)/20 - -4)) a prime number?
True
Suppose 0 = 57*p - 17*p - 6664237 - 7826283. Is p a prime number?
False
Suppose 5*u + 12*u - 704217 = -111410. Is u prime?
True
Let l(r) = 2*r - 20. Let c be l(8). Let a be 4/(-2) + -4 + (-32)/c. Is (-1 - a)*(-1 - 1270/15) prime?
True
Is ((-84355)/(-5)*-1)/(-3 - (-100)/35) prime?
False
Let n(p) = -p**3 + 13*p**2 + 9*p - 17. Let c be n(14). Let w = c + 104. Suppose w*y = 2*y + 11145. Is y prime?
True
Let y = 33 - 36. Let m be ((-10)/12*4)/(2/y). Suppose 4*d - 6143 = -v, 2*d + 0*v - m*v = 3055. Is d prime?
False
Let l(m) = 8*m + 15. Let n(k) = 3*k + 5. Let s(q) = -6*l(q) + 17*n(q). Let o be s(3). Suppose -2852 = -4*f + o*j, -2*f + 5*j - 2816 = -6*f. Is f prime?
True
Suppose -15*r - 12 = -9*r. Let i(b) = -110*b**3 + 3*b**2 - 3*b - 9. Is i(r) composite?
True
Suppose -13*j = -f - 16506511, -32*f + 3809217 = 3*j - 35*f. Is j composite?
False
Let d(r) = 2*r**3 + 216*r**2 - 126*r + 51. Is d(-91) composite?
False
Suppose 16*x - 26040 = 82136. Is x a prime number?
True
Suppose -3*w + 28 = 94. Let p = 35 + w. Suppose 0 = -p*v + 4*v + 3033. Is v a composite number?
False
Let f = -209 + 320. Let i = 116 - f. Suppose -974 = -2*g + 4*y, 3*g + 0*g - i*y = 1457. Is g composite?
False
Let q = 386077 + -250720. Is q a prime number?
False
Suppose 29*f - 2 = 28*f. Suppose -p = f*p - 9. Suppose 2*o = -x + 737, -x + 0*o + 737 = p*o. Is x composite?
True
Let v(k) = 4289*k - 74. Is v(3) prime?
False
Is 2/(-23) - 1839844518/(-2622) prime?
False
Suppose 8*t = 66*t - 1018364. Is t a prime number?
False
Suppose -3*a - 3*n = -162, -n = -4*a - 0*n + 231. Suppose -2*c - 44 = -0*u + 2*u, -4*u - 88 = -2*c. Let d = a - u. Is d composite?
False
Let k(a) = 31*a - 5. Let l be k(4). Let d be 0/(l/(-49) + 3/7). Is (d + (-314)/(-3))/(6/9) prime?
True
Let f(q) = -q**3 - 7*q**2 + q - 14. Suppose -2*u + 3*u = -7. Let d be f(u). Is (7/d)/(1/(69/(-1))) prime?
True
Let a(s) = 7*s**2 + 20*s**2 + 0*s + 6*s - 4*s**2 + 1. Let t be a(-4). Suppose 2*d - 5*d = -t. Is d a composite number?
True
Let h(q) be the first derivative of -q**6/120 + q**5/10 + 3*q**4/8 + q**3/6 - 35*q**2/2 - 26. Let c(f) be the second derivative of h(f). Is c(4) prime?
False
Let v be 1 + (15 - 6) + -8. Is -27595*(-3)/30*v a composite number?
False
Suppose 31*n + 12*n = 1539185. Is n composite?
True
Suppose 4 = 5*m - 126. Suppose -3*q = 5*p - m, -3*p + 9 = -0*p + 4*q. Let k = p + 112. Is k a composite number?
True
Let u = -93590 - -170589. Is u prime?
False
Let s(b) = 819*b - 24. Let i be s(22). Suppose -i = u - 7*u. Is u composite?
False
Let x(r) = 63*r**3 - 69*r**2 + 4*r - 169. Is x(21) prime?
False
Suppose -199*k + 12322144 = -3441243. Is k prime?
False
Let a be (-27)/15 + 1/(-5). Is a/18*(-64688 - -5) composite?
False
Is 341590/16 - (-1107)/(-2952) a composite number?
True
Let y(p) = -13*p - 1. Let c be y(4). Is c*(-40 - 4) - -1 prime?
True
Suppose -8*h - 2400 = -20*h. Let k = h + 3107. Is k prime?
True
Let u = 2459 + -1653. Let g = 1585 - 476. Let y = u + g. Is y a prime number?
False
Let u be (-1 - 5/(-2))/(138/920). Is 1215 + u*-1*6/15 composite?
True
Let u(r) = -2*r**2 - 194*r + 122. Let w(a) = a**2 + 129*a - 81. Let o(f) = -5*u(f) - 7*w(f). Is o(33) a prime number?
False
Let m be 10/(-1)*-4*(-8)/(-64). Suppose 0 = -9*d + 4*d - m. Is d - (-6 - -2) - -703 a prime number?
False
Let y(z) = -61*z**2 - 2803*z + 11. Is y(-42) composite?
False
Let x(m) = 257*m**2 - 16*m + 320. Is x(9) composite?
True
Suppose 12 = 3*g, 3*g - 5*g + 20 = -2*u. Let t be u/4 + 9/(-18) + -1647. Let j = 5252 + t. Is j prime?
False
Suppose m - 4*p = -3*p + 5, -4*m + 5*p + 16 = 0. Let b be -3 - 3/(m/(-12)). Is b + (-4 + 325 - 3) prime?
False
Let y(v) = 3*v + 9. Let o be y(-3). Suppose o = -2*p + d - 5*d + 10, -3*d - 31 = -4*p. Suppose 881 + 2612 = p*i. Is i a composite number?
False
Let g = 1146 - 1815. Let v = g - -962. Is v prime?
True
Let z(v) = -14548*v + 685. Is z(-22) a prime number?
True
Let h = -72 - -42. Let x = 34 + h. Suppose 0 = -5*k - 15, k - 5896 = -x*b + 5*k. Is b prime?
True
Let s(m) = 714*m**3 - 25*m + 212. Is s(7) a prime number?
True
Suppose 0 = 11*j - 130619 - 29585. Suppose 3*f = -4*i + j, 44*f - 48*f - 14564 = -4*i. Is i a composite number?
True
Let k(h) = 20*h**3 - 36*h**2 + 95*h - 108. Is k(29) a composite number?
True
Suppose -254*a + 4*a + 70705877 = 14311627. Is a composite?
True
Let j = 115 + -114. Let r be 321236/10 - j/(20/12). Suppose 10*a = -3*a + r. Is a a composite number?
True
Let d = -12170 + 17874. Suppose -14*p = -6*p - d. Is p a composite number?
True
Suppose -28 = -3*b + 2. Let x be -2 + 2 + b + 2. Is ((-2076)/(-7) - x/21) + -3 a composite number?
False
Suppose 0*m - 12 = d - 4*m, 0 = -d - 5*m + 15. Suppose 0*c = -2*c - 4*s - 16, 3*c - s + 45 = d. Is (c/42)/((-1)/2085) composite?
True
Is 1325149/(-2)*(-40)/140 a prime number?
True
Let g = -137 + 26004. Is g prime?
True
Let g(k) = 57*k - 85 + 425*k + 41. Is g(3) prime?
False
Suppose -5*s - 2*z - 1 = -11, -25 = 3*s - 5*z. Is -1361*(-2 + (s - -1)) a prime number?
True
Let h(r) = -1292*r + 1. Let k be h(-17). Suppose 4*m = 2*p - 8786, 5*p - k = -17*m + 12*m. Is p a composite number?
True
Let s(o) = 10 + 11 - 25 + 11*o + 0*o**2 + 2*o**2. Let g be s(-6). Suppose -g*d + 42583 = 2*d - x, 0 = -4*d - 3*x + 42571. Is d composite?
True
Let z be -1 + (-24 + -3)/(-1 - -2). Let n = 31 + z. Suppose 2*x - 4*a = 892, n*a = -5*x + 2*a + 2274. Is x composite?
True
Let f(i) = 63*i**2 + 11*i + 4. Let h be f(11). Suppose h = 4*z + 2856. Suppose -4*m + z = -b, m - 213 - 109 = -3*b. Is m a composite number?
False
Let k = 9334 - 6585. Let d = k - -4732. Is d composite?
False
Suppose 8 - 13 = -u. Suppose -u*p = -4358 + 1693. Is p a composite number?
True
Let g be 6/(-8) + 1 + 165/(-20). Let f be (2 - g/(-4))/2. Suppose -o = -u - 0*o + 1250, -3*o + 15 = f. Is u prime?
False
Is -6 - ((-494)/(-6))/((14/450)/(-7)) a composite number?
True
Suppose -2*g = 3*a - 6*g - 23, 0 = -a + g + 7. Let b be (a/4)/(((-25)/(-5))/60). Suppose 12*j + 1167 = b*j. Is j a composite number?
False
Let p(a) = -18*a**2 - 6*a + 1. Let y be p(2). Let v = -99 - y. Let s(x) = -2*x**3 - 3*x**2 + 21*x + 33. Is s(v) prime?
True
Suppose 3*c = w + 24, -2*c = -3*w + 2*w - 17. Let t(h) = 159*h**2 + 9*h - 37. Is t(c) composite?
False
Let r = -5391 - -7922. Is r prime?
True
Let k = 192 - 184. Let f(o) = -2*o**3 + 23*o**2 - 4*o - 7. Is f(k) prime?
True
Suppose 1698293 = 29*n - 545756. Is n prime?
False
Let k(u) = -2497 + 2501 + 100*u + 129*u. Let a be k(-3). Let b = -130 - a. Is b a composite number?
True
Let u(l) = -l**3 - 6*l**2 - 4*l + 5. Let y = -48 + 57. Suppose -19 = n - y. Is u(n) a prime number?
False
Let d = 76124 - -8067. Is d composite?
False
Let l(u) = 3296*u**2 + 71*u - 511. Is l(6) a composite number?
False
Suppose 7*d - 72 = 16*d. Let w(t) = -144*t - 37. Is w(d) composite?
True
Let d(l) = -l**3 + 4*l**2 + l - 4. Suppose 0 = -5*h + 4*x, -3*h + 4*x - x = 3. Let s be d(h). Suppose s = 3*n - 2*t - 163, 4 - 1 = 3*t. Is n composite?
True
Suppose -17*b = -26*b - 9. Is 9020/2 + b*3 composite?
False
Let w(o) = -6*o + 45. Let c be w(8). Let b be (5/((-30)/(-9)))/c*-4. Suppose -k + 5652 = 3*d, -b*k + 1889 = -3*d + 4*d. Is d prime?
False
Suppose 4*b + 2*r - 132408 = 0, -3*b - 10*r = -8*r - 99307. Is b a prime number?
False
Is (9/(-12) + (-91832)/4)*-4 composite?
True
Let i = 63457 - 30486. Is i a composite number?
False
Let k(w) = -2*w + 39. Let u be k(16). Let p(b) = b**2 + 5*b - 11 - 2*b - 4*b. Is p(u) prime?
True
Suppose 0 = 14*r + 9*r - 410918. Suppose 4*h - r = -2*p, p + 5*h - 5849 = 3099. Is p composite?
False
Suppose 4*r + 3*j = 8251, r - 1234 - 820 = j. Let g = -678 + r. Is g a composite number?
False
Suppose 143*k - 745569 = 111*k + 6249343. Is k prime?
True
Let j = 102 - 88. Let r(d) = -d**3 + 15*d**2 - 13*d - 10. Let z be r(j). Suppose -z*n + 5559 = 5*w - 0*w, 5550 = 5*w - 5*n. Is w composite?
True
Suppose 3*n = -4*x + 15, 2*x - 15 = -2*n - 5. Is (4 + 9 - n) + 27027 a prime number?
False
Let o(x) = 15*x**2 - 5*x + 9. Let c = 139 + -69. Let r = c + 