 r(d) a prime number?
True
Suppose -21 = -3*w - 0*w. Let v be 651 + 41 + (-14)/(-2). Suppose -w*t = -v - 3410. Is t composite?
False
Let p = -43 - -558. Is p prime?
False
Suppose 2*m = -w - 5, 3*w = -2*m - m - 9. Is w/(-3) + -1 + (-2422)/(-6) prime?
False
Is (-6860)/(-5) - (6 - 3) prime?
False
Let m = -2575 - -11460. Is m a composite number?
True
Suppose -4*h = -136 - 24. Suppose -3*f + 16 = -2*f + k, -4*f + 2*k + h = 0. Let j(a) = 4*a + 7. Is j(f) a composite number?
True
Let f = 30393 + -10382. Is f a prime number?
True
Let a = -301 + 541. Let t = 1091 - a. Is t a composite number?
True
Let z(q) = -16 + 2*q**2 - 11 + 18 - 6*q. Suppose 5*u = 0, -u + 6*u = 3*m - 21. Is z(m) prime?
True
Let h(o) = 870*o**2 + 7*o - 37. Is h(4) a composite number?
True
Let k(m) = -4*m + 2 - 3*m - 8*m**2 + 7*m**2 + 2*m**2. Let i be k(7). Suppose -88 = -6*n + i*n. Is n a prime number?
False
Let k be 1 + 0 - (39 - 46). Let i be 4/10 + 6/10. Is (7 - k) + 75/i prime?
False
Suppose 0 = 6*f - 2076 + 258. Suppose 0 = d - 528 - f. Is 1/(d/207 + -4) composite?
True
Let k be 18/9*(-13)/(-2). Let j = -11 + k. Is 1*(8 + -2)/j a composite number?
False
Let y = -2840 - -1714. Let b = 3305 + y. Is b a composite number?
False
Let f = 20 + -17. Let x = f + -6. Let n(t) = 3*t**2 + 2*t - 2. Is n(x) prime?
True
Suppose -m - 45 = -6*m. Let r be (-1)/(-2 - 14/(-8)). Suppose m*u = r*u + 1055. Is u composite?
False
Suppose -3*m - 8*m = -979. Is m composite?
False
Suppose -9*g + 69807 = 8958. Is g composite?
False
Let h(g) = -g**3 + 3*g**2 + 2*g + 2. Let u be h(-3). Let i be ((-1620)/u)/(2/10). Let r = i - -229. Is r a composite number?
False
Suppose 3*s - 2*u - 43043 = 0, -24*s + 19*s + 2*u = -71745. Is s prime?
False
Suppose -2*g - 8 = 4*w + 2, -5*g + 7 = 2*w. Suppose 0 = -5*i + o + 1256, 2*i - i + g*o - 248 = 0. Is i a prime number?
True
Suppose 0 = 4*q + 4*q. Let b be 2*(0/2 - -1). Suppose q*w + b*w = 38. Is w prime?
True
Let o(w) = 2110*w - 133. Is o(14) prime?
False
Let q = -12 - -16. Suppose -2*b = 4*t + 74, -b = q*t + 77 - 0. Let d = 45 + t. Is d prime?
False
Let l(k) = -k**3 + 4*k**2 + 21*k - 17. Is l(-15) composite?
False
Suppose -3*v + 4437 = 2*a, -a - 4*v + 6655 = 2*a. Suppose a = 4*n - n. Is n prime?
True
Let t(l) = -37*l**3 - 2*l**2 - 7*l + 16. Is t(-6) a prime number?
False
Let o = 8 + -4. Let b(v) = v + 6. Let y be b(2). Suppose -o*g + y*g = 1096. Is g a composite number?
True
Suppose -5*n = 3*h + 57, 5*h + n + 36 = -81. Is h/108 + 24365/9 a prime number?
True
Suppose 2270 = 10*t - 6740. Is t a prime number?
False
Let o = 3256 + 427. Is o a prime number?
False
Suppose -2*j + 3*l - 412 + 2328 = 0, 0 = 4*j + 4*l - 3812. Suppose -3*o + 561 = 3*d, 2*d = -5*o + 7*d + j. Suppose 0 = -m + 20 + o. Is m prime?
False
Suppose -4*q + 352 = -1064. Suppose -f = -707 - q. Is f composite?
False
Is (-18230*5/(-10))/(7/7) a prime number?
False
Let m be (-1)/1 + 0 + 4 + -13. Is 5*541*(-2)/m a prime number?
True
Suppose 4*h = -2*x - 1194, 0 = -3*x - 5*h + h - 1783. Let v = 1154 + x. Is v prime?
False
Let h = -35 + 15. Let n be 6*(h/(-6) - 3). Suppose n*x = 4*x - 514. Is x a prime number?
True
Suppose 4*y - 2*p = 68, 0 = y - 0*p - 5*p - 26. Suppose z + 6 = -2*q, -q - 5*z - y = 2*q. Is (-31)/q*(-14)/(-7) a composite number?
False
Suppose 4*j - 5953 = 3*b, 2*b + 1915 + 5528 = 5*j. Let w = j - 374. Is w prime?
False
Is 6 + -1 + -2 + 8408 prime?
False
Suppose 3*b + 340 = 2*x + 57, 740 = 5*x - b. Is x a prime number?
True
Suppose 48*g = 16*g + 479072. Is g a prime number?
False
Let f = -437 + 709. Suppose 6*j - 100 = f. Is j prime?
False
Let b(p) = -502*p - 69. Is b(-8) prime?
True
Let r = 118 - -1491. Suppose c - r = 1504. Is c a prime number?
False
Let l(o) = o**3 + o**2 - o. Let j(q) be the first derivative of -79*q**4/4 - 8*q**3/3 + 7*q**2/2 + q + 5. Let u(s) = -j(s) - 6*l(s). Is u(2) composite?
True
Suppose -s + 3349 = -2*g, 3*s + 3349 = 4*s + g. Is s prime?
False
Let s be (1 - (-2 - -1))*-2. Let v(p) be the third derivative of p**6/120 + p**5/12 + p**4/8 + p**3 + 3*p**2. Is v(s) a prime number?
False
Let w(g) = -25*g**2 - 2. Let j be w(5). Let k = -408 - j. Is k a composite number?
True
Let a = -2754 - -4309. Is a composite?
True
Suppose -2 = 4*t - 14. Let m(z) = 74*z**2 + 4*z - 5. Is m(t) a prime number?
True
Let r = 125104 - 53981. Is r a composite number?
True
Is 3/2*(-9)/((-162)/56436) composite?
False
Let f(j) = 4*j + 2. Let p be f(-1). Is 142 + 0 + (-1 - p) a composite number?
True
Let x = -3264 + 6363. Let g = -2074 + x. Suppose -5*v + 4*c + g = 0, 0 = 2*c - 0*c. Is v prime?
False
Suppose -4*d + 15593 = -2*d + 3*o, -7*o + 35 = 0. Is d prime?
True
Is (24177/4)/((-30)/8 - -4) prime?
False
Let m(j) = j**3 + 4*j**2 - j. Let s be m(-4). Suppose -k - s = -9. Suppose -k*x = -x - 364. Is x composite?
True
Let a(t) = -9*t + 25. Suppose -2*b + 15 = 2*h + 57, -4*b - 87 = 5*h. Is a(b) a composite number?
True
Let r(p) = p + 23. Let l be r(-10). Suppose 0*b + 18733 = l*b. Is b prime?
False
Let y(n) = -n**3 - n**2. Let v(j) = 3*j**3 + 9*j**2 - 11. Let r(x) = -v(x) - 2*y(x). Is r(-17) a composite number?
True
Let n(i) = 6*i**3 - 3*i**2 - 10*i + 54. Is n(13) a composite number?
True
Let o(b) = -b**3 + 4*b**2 + 6*b - 4. Let g be o(4). Let u be 252/(-15)*g/(-6). Let q = u + 341. Is q prime?
True
Is (-16592)/(-3) - 0 - (-10)/30 a prime number?
True
Suppose 0 = -4*t - 6*x + 4*x + 28, 11 = -t + 4*x. Let u be 3265/t - (-4)/4. Suppose 974 + u = 4*i. Is i prime?
False
Let m = -2748 + 4595. Is m prime?
True
Suppose 4*a + 0 = -0. Suppose b + b - 1370 = a. Is b a prime number?
False
Suppose 4*c = -5*v - 2387 + 13924, -5*v + 11513 = -4*c. Is v a prime number?
False
Suppose -18*m + 478189 = -893537. Is m a composite number?
False
Suppose 13*h = 24271 + 13975. Is h a prime number?
False
Let s(w) = 4*w - 9. Let k = -17 + 21. Let f be s(k). Suppose -f*b - 565 = -12*b. Is b composite?
False
Let y(g) = g**2 + 17*g - 106. Let z be y(-22). Let v be (-2)/4 - 1174/(-4). Suppose z*a = 5*a - v. Is a prime?
True
Let d = -15 + 11. Let o be 3 + (-1 - d) - 3. Is 0 - (o - (-2 - -226)) composite?
True
Suppose 682 + 1436 = k. Suppose r + 2098 = 3*x, -2*r + k = 3*x + r. Is x composite?
False
Suppose -31*w = -455786 - 751509. Is w prime?
False
Let d(y) = 51*y**2 - y + 1. Suppose -94*w = -90*w - 8. Is d(w) composite?
True
Let x = 87668 - -2535. Is x a composite number?
False
Suppose -148 = -2*i - 5*a, 4*a = 4*i + 5*a - 314. Let c = 90 - i. Is c prime?
True
Suppose -13*r + 14*r - 5 = 0, 0 = -5*g + 3*r + 16240. Is g a prime number?
True
Let j(o) = -379*o**3 - o**2 - o. Let v = 31 + -30. Let u(b) = -b**2 - b + 1. Let y be u(v). Is j(y) prime?
True
Let h(v) = v**3 + 7*v**2 + 2. Let x be h(-7). Let o be (-1845)/(-27) - x/(-3). Let a = o - -88. Is a prime?
True
Is ((-2)/(8/26))/(23/(-5842)) composite?
True
Let a(w) = 597*w + 72. Is a(5) a composite number?
True
Suppose -3*q = 10*q - 66911. Is q a prime number?
True
Let n = 12 - -5. Suppose -12*i - 1115 = -n*i. Is i prime?
True
Let s(d) = d**3 + 4*d + 1733. Is s(0) a composite number?
False
Let r = -13 - -15. Suppose 3*n = -r*a + 235, -22 = -n - 2*a + 59. Is n a prime number?
False
Suppose -9 = -3*m - 4*i, i + 0 - 18 = -3*m. Is 17 + -18 + m*12 + 0 a composite number?
False
Suppose -1040 + 155 = -3*w. Is w a composite number?
True
Let o(j) = 97*j + 10. Let g(d) = d + 2. Let w be g(5). Let n be o(w). Let y = -432 + n. Is y a composite number?
False
Let p(i) = 6*i**2 + i - 4. Let q(l) = 11*l**2 + l - 8. Let u(a) = -5*p(a) + 3*q(a). Let f be u(-3). Suppose 92 = t - f. Is t composite?
True
Let r be 0/2 + 1 - (-47 + -4). Suppose 0 = -50*i + r*i - 174. Is i a composite number?
True
Let a = 994 + -446. Is a*-1*65/(-20) composite?
True
Let w be (-1)/(2*(-4)/2488). Suppose -4*a - 2*f + 295 = -3*a, a - 2*f = w. Is a composite?
True
Suppose -4*m + 5*d = -14203, 2*m + 8*d - 6*d - 7124 = 0. Is m prime?
True
Let y(g) = -g**3 - 15*g**2 - 13*g + 18. Let j be y(-14). Suppose j*a = 5*p - 4083, -2*a = 5*p + 3*a - 4065. Is p a composite number?
True
Suppose -32*j = -36*j + 14524. Is j composite?
False
Let g(c) = c**3 - 5*c**2 - 14*c + 6. Let i be g(7). Suppose -4*t - 382 = -i*t. Is t a composite number?
False
Let h(s) = 3424*s**2 + 31*s + 3. Is h(-2) prime?
False
Let t(k) = -4*k + 15 - 27*k**2 + 2 + 16*k**2