-10) prime?
True
Let m(s) be the second derivative of 11/2*s**2 + 0 + 15*s + 155/3*s**3. Is m(5) prime?
False
Let v(l) = -26*l**3 + 23*l**2 + 190*l + 15. Is v(-26) a composite number?
True
Suppose 25*h + 7*h + 800 = 0. Is (-119584)/(-10) - 15/h a composite number?
False
Let w = -358 + 1148. Let h(o) = -90*o + 8261. Let i be h(97). Let b = i + w. Is b prime?
False
Let y(c) = -76*c**2 - 9*c + 3. Let s be y(-3). Let a = s + 2033. Is a prime?
False
Suppose 0 = -11*i + 77935 + 23771. Let b = i - -14251. Is b a composite number?
False
Let f(v) = -3*v**2 - 22*v - 21. Let u be f(-6). Suppose -2*a + 6609 - 556 = u*d, a + 4*d = 3039. Is a composite?
False
Let v = 362 + -362. Suppose v = -9*x - 8*x + 316489. Is x composite?
False
Let a = 14259 - 21158. Is (a - (2 - (-9)/(-3)))/(-2) prime?
True
Suppose 6*t - 3*t = -5*c + 302, 0 = t + 3*c - 94. Suppose -25 = -2*j + t. Is j composite?
False
Let z(g) = 13*g**2 - 6*g - 2. Let c(k) = 52*k**2 - 24*k - 7. Let y(b) = 6*c(b) - 26*z(b). Let a be y(6). Let s = a + 1885. Is s a composite number?
False
Let p = 825 + -518. Is p composite?
False
Let d(v) = -v**2 - 8*v + 2. Let x be d(-6). Let u be ((-502)/(-14))/(27/189). Suppose -x*g + u = -13*g. Is g a prime number?
True
Let k(d) = -d**3 - 12*d**2 + 7*d - 20. Let j be k(-8). Let p = j + 1470. Is p a composite number?
True
Suppose 0*l - 325886 = -2*l + 6596. Is l a prime number?
False
Let i = -30360 + 24882. Suppose 0 = 2*z - 3*b - 19763, z + 3*z = -3*b + 39571. Let t = i + z. Is t prime?
False
Suppose 64*f - 62*f - 482566 = -2*z, -z + 6 = 0. Is f a prime number?
False
Suppose 23*a = 18*a - 2*v + 551123, 2*a - 3*v - 220415 = 0. Is a composite?
False
Let t be 342162/(-42) + -3 - 6/21. Let q = 13535 - t. Is q composite?
True
Let a(j) = 954*j + 14. Let k be a(5). Suppose -k = -3*o - o. Is 21/(-35) + (o/10 - 1) a prime number?
False
Let b(d) = -d**3 - 50*d**2 + 108*d - 151. Is b(-66) a composite number?
False
Let w be (8/6)/((-12)/(-18)) + -2723. Let m = w - -7030. Is m a composite number?
True
Let u = -53234 - -143287. Is u composite?
False
Is 39/(-1)*(-25)/((-825)/(-366883)) composite?
True
Let v(c) = 4*c**2 - 3*c + 1. Let m be v(1). Is 4 - (m + 1) - -7900 prime?
True
Let l be (-42)/14 - 8*4. Let r = l - -41. Suppose 0 = 4*p - 2*o - 15338, r*p + 4*o - 15320 = 2*p. Is p a composite number?
False
Let p be (-12)/48 - 150/(-24). Let t(z) = z**3 + 3*z**2 - 6*z - 5. Let i be t(-4). Is -6 - i*(-4)/p - -475 prime?
False
Suppose -198*u + 3032852 = -34*u. Is u a prime number?
True
Let g(p) be the first derivative of 87*p**3 + 3*p**2 - 7*p - 303. Let w(y) = y - 4. Let h be w(6). Is g(h) prime?
True
Suppose 2*h + 5*l + 185 = 0, -4*h = -0*h - 4*l + 440. Let q = 146 - h. Is q composite?
False
Suppose u + 15*y = 17*y + 24287, -3*y = 9. Is u composite?
False
Is -2 + 675483/33 - (-40)/(-220) a prime number?
False
Let c = 16830 + -7037. Is c composite?
True
Let y = 66 + -63. Suppose 0*g + 3*t + 6 = -3*g, 2*t = -g - y. Is 1202 + 8 - (-4 - g) a composite number?
False
Let q = -139 - -167. Is -27 + q + 389*4 + 2 prime?
True
Suppose 0 = 8*k + 3*k - 220330. Let l = 1665 + k. Is l prime?
False
Suppose -4*d + 3*i = -9*d + 31, -5*i - 5 = -3*d. Let t be (-17)/306*24*(-18)/8. Suppose 0 = -d*v - t*x + 914 + 1193, -834 = -2*v + x. Is v composite?
False
Suppose l = -4*m + 73677, l - 77155 + 3433 = 5*m. Is l a composite number?
True
Let z(f) = f**3 + 26*f**2 + 23*f - 20. Let s be z(-25). Let i(b) = -31 - 75*b - s + 55 - 11. Is i(-8) a composite number?
True
Suppose -4*d + 1968576 = 2*g, -6*d + 8*d - 984280 = -3*g. Is d composite?
True
Suppose v - 4*a + 144498 - 892275 = 0, -v = -2*a - 747779. Is v a composite number?
False
Let t(w) = w**2 + 11 + 32 - 15*w + 6*w. Is t(-10) a composite number?
False
Suppose 4*x = -2*l + 3*x + 54596, 5*l - 136501 = 3*x. Is l a composite number?
False
Let s(x) = 43*x + 258. Let w be s(-6). Suppose 5*j = -5*g + 20235, j + w*g + 4*g = 4041. Is j a prime number?
True
Let w(s) = -2*s**3 + 14*s**2 - 176*s - 217. Is w(-30) a prime number?
True
Let n(p) = -2*p**2 - p + 8. Let s be n(-6). Let g = -55 - s. Suppose -265 - 341 = -2*o + 2*c, -1515 = -5*o + g*c. Is o a prime number?
False
Suppose -444*o + 448*o = -5*b + 334085, 15 = -3*o. Is b a composite number?
False
Let r(t) = -4*t**3 + 16*t**2 + 62*t - 83. Is r(-21) a composite number?
True
Suppose 20 = -4*t, 0*s + 5*t + 20 = -s. Suppose -4*h + u + 2*u = -7, 0 = s*h - 2*u - 14. Suppose -5*g + k + 97 = 0, -3*k + k = h*g - 72. Is g a prime number?
True
Suppose 0 = 5*r - 25, -2*a - 5*r = a - 67. Is a/(-28) - (-3003)/2 composite?
True
Is (-141803 - -13)/(-22) - (-4)/1 prime?
True
Is (-5 - ((-18)/(-5))/(6/(-15))) + 194607 prime?
False
Let f = -6605 - -29218. Is f a prime number?
True
Suppose 61*s - 5616815 - 14253386 = 0. Is s composite?
True
Let m(f) = f**2 - 45*f - 13. Suppose a + 1 = 5*l + 96, 3*a + 38 = -2*l. Is m(l) a composite number?
True
Let z be (-27010)/(-14) + (-6)/21. Suppose -5113 = 9*a - 15*a - 301. Let g = z + a. Is g composite?
False
Is ((-308036)/(-2))/1 - 5148/(-572) prime?
True
Suppose 5*k = 3*k - 4*a - 9520, 3*a = -2*k - 9517. Let p = k - -7041. Is p prime?
True
Suppose -d - 98*p + 13229 = -102*p, 2*d - 26562 = -5*p. Is d composite?
True
Suppose -l + 3*w + 13 = 0, -2*l + 4*w = -23 + 5. Let k = l - -7. Is 2 + 17 + k/2 composite?
False
Suppose 1022 = g - 5*p, -g + 4*g - 4*p = 3077. Suppose 41*t - 40*t - g = 0. Is t a prime number?
False
Suppose 3*x + k - 30 = 33, 0 = 5*x + k - 105. Let m(h) = 1114*h + 103. Is m(x) a composite number?
False
Let t be (-1)/(-7) + 1384/14. Suppose 23 = n - 4*d, -3*d = -3*n - d + t. Is n composite?
True
Is ((-7)/(35/(-158910)))/3 a prime number?
False
Let l(t) = -1354*t**3 + t**2. Let n be l(1). Suppose -6*i + 585 = 321. Is (n/i)/((-3)/28) a composite number?
True
Let b(w) = -2*w + 35. Let j be b(18). Is (j + -4)*-3543 - 8 composite?
False
Suppose z = 2*z - 17. Let r(d) = z*d**2 + 0 - 8 - d + 3*d + 10. Is r(3) composite?
True
Suppose -541821 = 154*h - 147*h. Let u = h - -136336. Is u a composite number?
True
Suppose -29 = 5*i - 9, -3036 = -5*p - i. Suppose 4*y = 5*q + y - 3040, q + 5*y = p. Let f = q - -179. Is f a prime number?
True
Let p(k) be the first derivative of k**4/2 + 55*k**3/3 + 39*k**2/2 + 83*k + 120. Is p(-26) a composite number?
False
Suppose -3*n - r = -306728, 5 = 4*r - 3*r. Is n prime?
True
Let q(s) = 2753*s + 1643. Is q(42) prime?
True
Let o(l) = -197*l**2 + l - 29. Let v be o(6). Let y = 1794 - v. Is y a prime number?
False
Suppose -2*c = -5*l + 10, 1 = -5*l + 5*c - 4. Suppose -v + 4*v - 5*g = -1962, 647 = -v + l*g. Let s = 1502 + v. Is s a composite number?
True
Is (2/(-1) - (-125)/50) + (-194775)/(-14) a prime number?
True
Let h = -24 - -787. Suppose -5*u + h + 1227 = 5*j, 2*u = 2*j - 816. Suppose j = -7*z + 8*z. Is z a composite number?
True
Let f(q) = 45*q**3 + 83*q**2 - 522*q + 75. Is f(26) a composite number?
True
Suppose -483491 = -4*y - 299150 + 509047. Is y composite?
False
Let u(c) = 487*c**3 - c**2 - 3*c + 4. Let s be (-4)/12*-6 - (0 - -1). Is u(s) a prime number?
True
Let r be ((-1)/4*-6)/(3/(-24)). Let f = 371 - r. Is f a prime number?
True
Is -7 + 1*(7 - -1) + 2*70355 prime?
False
Let l = -51124 - -92895. Is l a prime number?
True
Let s(h) = 46*h**2 + 83*h + 19. Let z be s(43). Let g = z + -58659. Is g a composite number?
False
Let q(d) = 50*d**2 + 2*d - 69. Let n be q(-14). Let k = n + -4658. Is k a composite number?
True
Let h(y) = -y**3 - 15*y**2 + 2*y + 15. Suppose -s - s = 30. Let b be h(s). Is 990 - (6/b - (-26)/(-10)) composite?
True
Suppose 4*q = -0*q - 20, 0 = -r - 2*q - 15. Let l = r + 18. Suppose 5*a - l*a = -3768. Is a a prime number?
False
Let a(y) = y**2 + 5*y + 8. Let r be a(-3). Let z(b) = b**3 - 6*b**2 - 7*b + 9. Let i be z(7). Suppose -3*k = i, -5*g + 3*k = r*k - 568. Is g composite?
False
Let s(z) = 71 + 18*z**2 - 4*z - 23 + 17. Is s(16) a prime number?
False
Suppose -4*v = 2*w - 3520, -3*v = -2*v - 4*w - 862. Let x = 369 + v. Suppose 5*n - x + 457 = 0. Is n prime?
False
Suppose 16012 - 2372 = 20*g. Suppose l - g = 5*t, -2*l = -l + t - 664. Is l composite?
True
Let x be -7 + 2 + 7 + -7129. Let r = -3780 - x. Is r a prime number?
True
Suppose -m + 2*k + 4408 = 0, -4*m + 3*m + 4418 = 3*k. Let b = m + -2701. Is b composite?
True
Suppose 