32)/(-160)) a prime number?
False
Let f(l) be the second derivative of 47*l**4/6 - l**3/3 - l**2/2 + 11*l. Is f(-1) composite?
True
Suppose -2*f - 17 = -f - 5*t, 7 = 5*f - 2*t. Suppose 2*o + 6*s - f*s - 3657 = 0, 2*s - 9115 = -5*o. Is o a prime number?
False
Let f be (34/4 - 0)/((-6)/(-12)). Let h(s) = 115*s - 34. Is h(f) a composite number?
True
Suppose 0 = -f - 2*f + 48. Let i be ((-147)/(-4))/((-2)/f). Let t = i - -629. Is t prime?
False
Let p = -15273 - -36704. Is p composite?
True
Let q(v) be the second derivative of 3*v**5/20 - v**4/24 - 4*v**3/3 - 3*v. Let r(x) be the second derivative of q(x). Is r(2) prime?
False
Let u be (-4)/22 + 4/22. Suppose 5*x + 0*x = u, 0 = -n - 3*x + 1005. Suppose 5*m = 2*q + 1025, 3*m + 2*q - n = -2*m. Is m a composite number?
True
Let m(a) = 257*a**2 + 71*a - 59. Is m(-17) prime?
False
Suppose t - 2197 = -4*i + 21318, -12 = 3*i. Is t composite?
False
Let v = 2162 + -1297. Is v prime?
False
Suppose -10*h + 5350 + 3280 = 0. Is h prime?
True
Let k be 10/(((-6)/(-4))/3). Suppose 18*t - k = 14*t. Suppose -r + 0*q + 1023 = t*q, -3*r + 5*q + 3149 = 0. Is r a composite number?
True
Suppose y = 6*y - 15. Suppose 0 = -0*r - y*r - 6, -3*c + 5*r = 86. Let z = 97 + c. Is z a composite number?
True
Let h(r) = 137*r**3 - 3*r**2 + 6*r - 7. Let k(y) = 274*y**3 - 6*y**2 + 12*y - 14. Let c(x) = 5*h(x) - 2*k(x). Is c(3) a prime number?
False
Suppose 2*d - 261254 = -4*n, -4*d - 223842 = 4*n - 746358. Is d a prime number?
True
Let k = 126 - 123. Is (k/6)/(2/1676) a composite number?
False
Let c(o) = 1667*o - 10. Is c(1) a prime number?
True
Let q = 2720 - 102. Suppose -q = 7*n - 12145. Is n prime?
True
Is 2554/(1/2 + 18/(-180)) composite?
True
Let g = 10872 + -4139. Is g a prime number?
True
Suppose -2*f = -2*b + 13 + 17, 0 = 5*b - 3*f - 75. Suppose -2*r + 3*h = -967, 6*h + b = h. Is r composite?
False
Let n(g) = 4*g**3 + 5*g**2 - 5*g - 4. Let y be n(-4). Let o = -495 + 240. Let f = y - o. Is f a prime number?
False
Suppose -3 = -5*k + 12. Suppose 0 = -n - 3*f + 17, -23 = 3*n - 7*n + k*f. Let t = 14 + n. Is t prime?
False
Suppose 5*g - 1593 = -2*f, -5*g + 9*g + 2424 = 3*f. Let q(h) = 431*h**2 + h - 1. Let v be q(1). Let m = f - v. Is m composite?
False
Let v(x) = -x**3 + 9*x**2 + 7*x - 5. Let s be v(7). Let t = s - 47. Let a = t + 60. Is a composite?
True
Let n = -471 - -663. Let p = 94 + 67. Let h = n + p. Is h a prime number?
True
Let u be ((-9)/(-27))/((-2)/(-6)). Let z = 61 + u. Suppose -3*k + z = -5*r + 218, -2*r + 69 = k. Is r composite?
True
Let w(d) = d**3 + 4*d**2 - d - 1. Let i be w(-4). Let t(h) = -h**2 + h. Let j be t(i). Is 208 - (-1 + 4 + j) prime?
True
Suppose 0 = -4*u - 4*c - 28, -3*u + 3*c - 31 = 8*c. Let y be (u + -2)/((-6)/183). Suppose -2*q = 4*b - y, -2 = 3*b - 3*q - 98. Is b a prime number?
True
Let y be (123/(-12))/(3/(-36)). Suppose y = -4*d + 5*z + 3163, 5*d + 5*z = 3755. Is d a composite number?
True
Suppose 9*f = 14*f - 5*a - 28360, -22679 = -4*f + a. Let j = 8028 - f. Is j prime?
False
Suppose -5*x - 75 = 30. Let a = -21 - x. Is 77 + (a + 0 - -2) a composite number?
False
Let q(d) = 686*d**2 - 11*d - 236. Is q(-9) a prime number?
False
Is ((-1)/6 - (-206290)/60) + -5 composite?
False
Let l(y) = -y**3 - 9*y**2 + 10*y + 14. Let v be l(-10). Is (12280/v + 13/(-91))*1 composite?
False
Suppose -3*f = 2*h - 12, 0 = 6*f - 4*f - 3*h - 21. Let d(y) = y**3 - 4*y**2 - 12*y + 3. Let x be d(f). Suppose -k + x*k = 38. Is k composite?
False
Let v(u) = 259*u + 150. Is v(55) a prime number?
False
Suppose 5*d - 120 = 45. Suppose 0 = -2*k - d - 15. Let f = k - -79. Is f composite?
True
Let p = 152 + -156. Is 10762/p*(1 + 5 + -8) a prime number?
True
Let p(y) = -238*y + 27. Let k be p(13). Let j = -2103 - k. Suppose -5*h + j = -691. Is h a prime number?
True
Let b be -4 + 7 + 1 + 634. Let h = 1074 - b. Let i = h + -233. Is i a composite number?
True
Let l = 46 + -78. Let n = 65 + l. Is n a composite number?
True
Suppose 5*q + 3*m = 3*q + 2085, -4155 = -4*q - m. Suppose -310 = t + 207. Let p = t + q. Is p a prime number?
True
Suppose 3745 + 3964 = u. Suppose 0 = -8*w - u + 68181. Is w prime?
True
Let i be ((-2)/4 - (5 + -6))*-298. Suppose -4*s - 264 = -3*s. Let d = i - s. Is d prime?
False
Let c be 1 + 6 - 2/1. Suppose -12 = -2*a - a. Suppose 3*j + c*n = 588, 5*n - 776 = -a*j + n. Is j composite?
False
Suppose 3*q = -q - 16, -23171 = -5*b + 4*q. Suppose 0 = -3*a - 800 + b. Is a composite?
False
Let a = -57 + 59. Suppose -2*n = 5*d - 909, -3*n = -a*n + 2*d - 457. Is n composite?
False
Is ((-666)/90)/(1/(-815)) prime?
False
Suppose -2*q + 4*z = 8*z - 8114, 3*q - 3*z = 12135. Is q a composite number?
False
Let b(d) = 742*d - 71. Is b(4) prime?
True
Suppose 3*g = -2*g + 5*r - 10, 2*r = -g - 11. Let f(a) = -39*a**3 + 3*a**2 + 2*a - 1. Is f(g) prime?
False
Let x = 55266 + -38924. Is x a composite number?
True
Let s(n) = 3 + 2*n**2 - 3 + 5*n + 46*n**3 - 44*n**3 - 1. Is s(4) composite?
False
Let a(i) = -59*i**3 + 3*i**2 + 12*i + 3. Is a(-2) a prime number?
True
Suppose g - 2 = -0*g. Suppose g*l + 2*l + 647 = 5*n, l + 130 = n. Is n prime?
True
Let n = -21 + 860. Is n a prime number?
True
Suppose -5*i = 2*y - 25, -14 = -5*i + 3*y + 11. Suppose 4*a - 8 = -2*k + 6*k, 3*k + i*a + 38 = 0. Is 3 + (-2 - 1 - k) prime?
False
Suppose 0 = -4*q + 10 + 30. Let r(w) = 21*w - 10. Let g be r(q). Suppose -3*p + g + 133 = 0. Is p a composite number?
True
Let j be (-5332)/8*-4 + -1. Suppose 5*b - j = -0*b. Is b composite?
True
Let p(u) = u**2 + 21*u + 25. Let v be p(-20). Let z(q) = 18*q**2 + 6*q + 5. Is z(v) a composite number?
True
Let s be (34/6 - 0) + 12/(-18). Let o(y) be the second derivative of 25*y**4/12 + 2*y**3/3 - 5*y**2 - 3*y. Is o(s) composite?
True
Suppose 0 = -2*z - m + 11, 2*z + 6 = 5*m - 13. Suppose -5*l + z*d = -197, -5*l - 5*d + 118 = -47. Is l composite?
False
Let i(u) be the first derivative of u**7/28 - u**6/360 - u**5/60 + u**4/24 - 10*u**3/3 + 2. Let k(f) be the third derivative of i(f). Is k(2) composite?
False
Suppose 4*c = 5*b - 9, -2*c - 2*b + 25 - 7 = 0. Suppose 4*x + 36 = -c. Is 423/2 - (-5)/x composite?
False
Let d(q) = -q**3 - 9*q**2 - 12*q - 31. Suppose 0 = 4*p + 2*p + 90. Is d(p) prime?
True
Let w be (-10543)/(-3) - (-5)/(-15). Suppose 1874 = 12*j - w. Is j prime?
True
Suppose 2*d + 2*s = -1831 - 915, 2*d + 2739 = 5*s. Let r = 1481 - 1376. Let a = r - d. Is a a prime number?
False
Suppose 0 = 6*q - 9*q - 5*m + 16, 2*q - 2*m + 16 = 0. Suppose 2*d - 2*s = -s - 5, 3*d = -4*s - 2. Is d/((-151)/(-51) + q) a prime number?
False
Suppose -x - 2*x = -2670. Suppose -x = -5*v - 0*v. Is v/(-8)*4*-1 a composite number?
False
Suppose -113*j + 87090 = -98*j. Is j composite?
True
Let o = 4371 - -18364. Is o a prime number?
False
Suppose -6037 = -a - 4*v, -30*v + 32*v - 30239 = -5*a. Is a a prime number?
False
Let j(b) = -b**3 + 5*b**2 - b + 1. Let h be j(5). Let w(q) = 1 - 39*q - 7*q + 0. Is w(h) a composite number?
True
Let y(m) = 623*m - 51. Is y(16) a prime number?
False
Is (-4)/5*-1 - (-1361325)/375 composite?
False
Let b = -261 - -934. Is b a prime number?
True
Suppose 0 = -5*x + 4*x + 2. Suppose 3*d - x*z - 16 = -3*z, 10 = d + 5*z. Suppose -d*j + 66 = -4. Is j a prime number?
False
Suppose 2*d - 3 - 3 = 0. Suppose o + 2*o = -3*p + d, 4*o = -2*p. Is (-18)/(-6) - (-460)/p prime?
True
Suppose -2*n - 18 = -120. Is n composite?
True
Suppose -5*a + 13 = 3. Let o be (-2 - -3) + -1 + a. Suppose o*v - 1985 = -3*v. Is v a prime number?
True
Let v = -124 - -1. Is (-15)/3 + (0 - v) composite?
True
Let r = -13 + -40. Suppose w - 1 = 2*o, 3*o - 4*w = -o - 4. Is (1 + o)/((-1)/r) a prime number?
True
Suppose -j - 12*u = -17*u - 34022, -2*j - 2*u + 67984 = 0. Is j prime?
True
Suppose -3*i + 3*g - 1428 = 0, 2*i - 3*g + 348 = -601. Is (32/16)/((-2)/i) a composite number?
False
Suppose 12*z - 16*z = 5*g - 42435, 4*g - 3*z - 33917 = 0. Is g composite?
True
Suppose -21*k = -4*k - 7123. Is k a prime number?
True
Suppose 0 = 4*h + 112 + 164. Let q = 121 + h. Let a = q - -63. Is a composite?
True
Let l(q) = 6*q**3 - 3*q**2 + 5. Let g be l(4). Let t(z) = -2 + 3 + g*z**2 + 335*z**2. Is t(1) prime?
True
Let b = 1979 + -1122. Let n = 62 + b. Is n a prime number?
True
Let l(d) = -d**2 + 4*d. Suppose -3 = -5*t + 12. Let r be l(t). Suppose -364 = -r*c -