composite number?
True
Suppose 0 = 25*b - 61673 - 67652. Let o = -3000 + b. Is o a composite number?
True
Suppose 874 = 4*s + 2*y, -4*s + 2*y = y - 883. Let k(j) = 18*j**3 - 8*j + 3. Let l be k(2). Let q = s - l. Is q prime?
True
Suppose 2*i - 4*q - 96786 = 0, 35406 + 61365 = 2*i - q. Is i a composite number?
False
Suppose -j = 16*j - 1207. Let r = 71 - j. Suppose -s - s = -2*v - 6400, r = s - 4*v - 3191. Is s prime?
True
Let h(i) be the first derivative of -i**5/30 + 1637*i**3/6 - 19*i**2/2 - 23. Let y(a) be the second derivative of h(a). Is y(0) composite?
False
Suppose -2*i = -104 + 38. Suppose 5*w - i = -3*h + h, -4*w + 12 = -2*h. Suppose 4*n - 213 = 3*x, h*n + 3*x = 2*n + 93. Is n composite?
True
Suppose 3*o - 35324 = 2*z, 4*o - 9605 = 2*z + 25723. Let y = z - -41285. Is y prime?
True
Suppose 2*s = 16*p - 15*p - 9137, 3*s + 15 = 0. Is p prime?
True
Let l(t) = -74*t - 9. Let z be 2*(4/(-2) + 4). Let f(u) = 73*u + 8. Let q(c) = z*f(c) + 3*l(c). Is q(5) prime?
False
Is 47566 - (-33)/(-18)*-6 a composite number?
True
Suppose -67*i + 1123392 + 873529 = -2289538. Is i prime?
True
Suppose 0 = -3*h - 5*y + 419546, -88*h - 139922 = -89*h + 13*y. Is h a prime number?
False
Suppose 2*v - 2*q - 199046 = 0, -2*v = -0*q + 2*q - 199046. Is v a prime number?
True
Suppose 9 = -3*g, -72 = -5*b + 4*b + g. Let w = b - -14. Suppose 0 = -h - 14 + w. Is h composite?
True
Let m = 341 + 1223. Suppose -z + 289 + 1281 = -u, -z + m = -4*u. Let i = 3563 - z. Is i prime?
False
Let w(t) = -789*t - 109. Let i be w(-9). Let l = 8669 + i. Is l a prime number?
True
Let z(l) = 45*l**2 - 7*l - 16. Let j(g) = 45*g**2 - 5*g - 15. Let x(d) = 5*j(d) - 4*z(d). Is x(7) a composite number?
True
Let x be (-1 - 5) + -3 + 11. Suppose s - 352 - 545 = x*z, -3*z = -6. Is s prime?
False
Let p(n) = 307*n + 317*n - 609*n + 268*n**2 - 21. Is p(4) prime?
True
Suppose o = -4*a + 5, -a - 3*o - 1 = -2*o. Suppose 0 = -i + q + 5, 0*q = -4*q - 20. Is 330 - (1 + (i - a))/1 prime?
True
Let c(u) = 959*u**2 + 37*u - 133. Is c(10) composite?
False
Let j(w) = -w**2 - 17*w - 7. Let n be j(-16). Is n*1/21 + (-90950)/(-35) a prime number?
False
Suppose 2 = -2*k + 16. Let z(j) = -2*j**3 + 7*j**2 - 10*j - 10. Let s(n) = -1. Let u(a) = 4*s(a) - z(a). Is u(k) prime?
True
Let p(y) = -4066*y + 49. Let u be p(-1). Let f = 9716 - u. Is f prime?
False
Let d = -618 + 620. Suppose 0 = 2*s + 3*s - d*y - 54543, -2*y = 3*s - 32729. Is s composite?
False
Let u = -98 - -102. Let o be (-10946 - 16) + u + 1. Let p = o - -16764. Is p a prime number?
True
Let p be 16793 - (-2 + 1) - 0. Suppose -4*m + 8*m = 5*a + 13428, -p = -5*m + 4*a. Suppose 4*k = u + 2526, -4*u + 199 = -5*k + m. Is k composite?
False
Let u = 8271 + -4929. Let q = u - 1981. Is q prime?
True
Suppose 71 + 83 = 11*v. Suppose -v*q + 11*q = -5295. Is q prime?
False
Is 15 - (-634750 - 2)/18 a prime number?
True
Suppose 3*n + 95385 = 3*y, 158945 = -3*n - 2*n - y. Let q = n + 44683. Is q a composite number?
False
Suppose -7*o + 86 = 58. Suppose -12747 = -3*w + 2*q, -o*w - w - 3*q = -21245. Is w a prime number?
False
Let n(i) = i**2 - 17*i + 13. Let v be n(16). Is v/(-24) - (-2691)/104 a composite number?
True
Suppose 5*r = -20, -5*r - 28 = -4*m - 4*r. Let a = 122 - 120. Suppose -5*n = -5*u - 8680, m*u + 8677 = 5*n + a*u. Is n a composite number?
False
Let l(s) = -135*s**3 - 6*s**2 - 4*s - 3. Let q be l(-3). Suppose 2*m - 14405 = -2*m - 3*i, 2*i - q = -m. Is m a composite number?
True
Let j be (-3)/(-2 - 1) - (-1)/1. Is (-190)/(-15)*717/j prime?
False
Let g(k) = 143*k - 48. Let h(p) = 285*p - 83. Let u(f) = -5*g(f) + 3*h(f). Let c = 12 + -4. Is u(c) prime?
False
Suppose 4*q - 224203 = 3*j, 3*q - 5*j = q + 112091. Is q a prime number?
True
Let a(y) be the second derivative of 2*y**3 + 5*y**2 + 4*y. Let f = -11 - -13. Is a(f) prime?
False
Let p(i) = -i**2 - 1. Let w(s) = 16*s**2 + 5*s - 10. Let h(y) = 6*p(y) + w(y). Is h(13) prime?
False
Suppose -2*n - 11788 = -8*o + 13*o, -5*o = -3*n - 17682. Let q = n + 17307. Is q prime?
False
Let r(h) = 3*h**3 - 5*h**2 + 9*h + 4. Let b(x) = -9*x**2 - 2*x - 1. Let p be b(-1). Let t(w) = -w**2 - 9*w - 1. Let l be t(p). Is r(l) a prime number?
False
Let k be 0 + 3 + (-18)/6. Suppose 3*l - 5*t - 24 + 1 = k, -3*t = -l + 13. Is 25 + -26 + (l - 17)*-1 prime?
False
Is 25291413/162 - 7/(-6) a composite number?
True
Let d = -65 - -56. Is (d/18)/((1 - 4)/15474) prime?
True
Suppose 15 = 3*i + 3*f, 0 = -3*i - 0*f + 4*f + 1. Let q(d) = 24*d + 13 + 13 + i. Is q(5) a composite number?
False
Suppose 0 = 177*v - 165*v - 204. Suppose -f = -2*c + 9610, -15*f + v*f + 9614 = 2*c. Is c composite?
True
Let w(h) = -h**3 - 4*h**2 + 3*h + 1. Let y be w(-5). Suppose 0 = -y*i + 8*i + 111. Is -2 - i*(-4 + 3) a prime number?
False
Suppose 0 = -11*c + 8*c + 42. Suppose 5*a = c*a - 34479. Is a composite?
True
Suppose -3*q = -5*p - 237056, 4*p - 122 = -114. Is q prime?
False
Let p(o) be the second derivative of -727*o**3/6 + 74*o**2 - 163*o. Is p(-39) composite?
True
Suppose -20 = -6*g + 16. Let i be (-9345)/(-14)*(-20)/g. Let c = i - -3604. Is c composite?
True
Suppose -398 = 3*p + z, 2*z - 142 = p - 0*z. Let g be 7/(7/(-131))*-1. Let j = g - p. Is j prime?
False
Suppose -336*c + 308*c = -25732. Is c prime?
True
Let h(d) = -3*d - 4*d**2 + d - 2 + 4*d**3 + 5*d. Let s be ((-3234)/(-12))/77 - 3/(-2). Is h(s) composite?
True
Let d(m) = 1361*m**3 + m**2 - 1. Let l be 38*-1 + (3 - 0). Let c = l + 36. Is d(c) composite?
False
Suppose 0 = -3*c + j + 289638, -85*j = -2*c - 82*j + 193099. Is c a composite number?
True
Let h(f) = -f**2 - 4*f + 3. Let r be h(-4). Suppose 2*v + 2*i = -0*i + 2228, -r*i + 4457 = 4*v. Is v prime?
False
Suppose 90771 = 4*m + v, 3*m - 8*m - 4*v = -113461. Is m prime?
False
Suppose j - 119893 = -18*q + 13*q, 0 = 5*j + 10. Suppose k = -5*y + 29958, 4*y - 5*k - q = -10*k. Is y prime?
False
Let u = 1055 - 452. Let t(j) = 8*j**2 - 1. Let d be t(-1). Suppose -2*c = -d*c - 4*p + u, 3*c - 347 = 5*p. Is c a prime number?
False
Let k = 2345043 + -1593506. Is k a prime number?
False
Let p(s) = -s**2 + 7*s + 1. Let g be p(6). Let q(z) be the first derivative of z**4/2 + z**3 - 9*z**2/2 - 7*z + 8. Is q(g) prime?
False
Let c(m) = -67*m - 11. Let j = 42 - 38. Let b = j - 10. Is c(b) a prime number?
False
Suppose -387*w + 438632 = -379*w. Is w prime?
True
Let t be (-5)/45*3 + 57/9. Is (2 - 1)*(-106)/t*-381 a composite number?
True
Suppose -1515904 = -12*h - 3*h - 263449. Is h a prime number?
True
Let d = 265280 + -182443. Is d composite?
False
Let m(i) = 3*i - 6. Suppose -2*f + 2 = -4. Let g be m(f). Suppose -g*x = h - 181, 4*h + 2*x - 276 - 408 = 0. Is h prime?
False
Let h(n) = -7*n**3 + 6*n**2 + 9*n - 3. Suppose 3*r + 6 + 9 = 0. Is h(r) prime?
True
Let b = -4465 - -4501. Let j(a) = 31*a**2 - a - 1. Let i be j(-1). Let c = b + i. Is c a prime number?
True
Let n(m) = 22*m**2 + 14*m + 29. Let p be n(-9). Suppose -3*z + x = -p - 7538, -3*x - 12 = 0. Is z composite?
True
Let m(t) = -204*t + 24. Let v be m(4). Let n be (-21)/2*v/14. Suppose h = 2*r - 3*h - n, 3*r = -4*h + 931. Is r a prime number?
False
Let n = 37481 - 11512. Is n prime?
True
Let g be (-672)/(-80) - 6/(-10). Suppose -52 = -g*w + 5*w. Let b(j) = -j**3 + 17*j**2 - 18*j + 15. Is b(w) a prime number?
True
Suppose 285491 = -70*x + 1123181. Is x a composite number?
True
Suppose -5*r + 3*j = -6*r, -4*j = 2*r - 4. Let c(k) = 650*k - 103. Is c(r) composite?
False
Let b be ((-48361)/(-3))/(53/159). Let s = b - 7548. Is s a prime number?
True
Suppose 0 = 4*i - 5*r - 370 - 921, 0 = -r + 1. Let q = 551 - i. Suppose -f + q = -1304. Is f a composite number?
False
Let s(x) = x + 44. Let w be s(-23). Is w/6*(-3508)/(-14) composite?
False
Let v(u) = -5*u + 14. Let p be v(4). Let y be (2 - -6 - 2)/(p/(-32)). Is y/80 - 603/(-5) composite?
True
Suppose -4*h + 2*t + 1113205 = h, h - 222648 = -t. Is h prime?
True
Suppose s + 2 = 3*u, -20*s + 19*s + 5*u + 2 = 0. Is 1116 + (s/8 - (0 + 4)) composite?
True
Let l be ((-21)/(-30)*5)/(2/4). Suppose 10987 = l*g - 6856. Suppose -o + x = -210 - 426, -5*x - g = -4*o. Is o prime?
True
Suppose 115 = -10*j - 85. Is 1/(-1) + 2948 + j a prime number?
True
Let c(h) = 171*h + 13 - 459*h - 446*h. Is c(-3) prime?
False
Suppose -98*z - 1654776 = -105*z + 272779. Is z composite?
True
Let w(