5*i + 3580. Suppose -5*x - 5*r + 4460 = 0, x - 2*x = 2*r - i. Is x a composite number?
True
Suppose 3*w = 2*l + 15, 3*l - 4*w - 5 = 2*l. Let g = l + 29. Is ((-12)/g)/(7/(-49)) composite?
True
Let y(t) = 11599*t**2 + 18*t - 20. Is y(1) a composite number?
False
Let j(a) = -51*a - 56. Let r be j(7). Let z = 826 + r. Is z prime?
False
Let o = -7121 + 22044. Is o a prime number?
True
Let h = -7 + 11. Let r(c) = -c**2 + 7*c - 6. Let m be r(h). Suppose -5*t + m*t - 109 = 0. Is t prime?
True
Suppose 0 = -11*s + 401929 + 168168. Is s a prime number?
True
Suppose 0 = -2*a + 9 + 569. Let s = a - 698. Let v = -186 - s. Is v prime?
True
Suppose -16904 = -l - 5341. Is l a composite number?
True
Let i = -29 + 29. Is 467 - (-3 - i - -1) a composite number?
True
Let c(n) = -34*n - 5 + 2 + 13*n. Suppose 7*i + 7*i + 28 = 0. Is c(i) a prime number?
False
Let b(r) be the second derivative of -13*r**6/360 + r**5/8 + 2*r**4/3 - 5*r. Let u(n) be the third derivative of b(n). Is u(-8) a composite number?
False
Let o(t) = 112*t + 57. Let j(i) = -i**2 - 9*i - 1. Let m be j(-8). Is o(m) a prime number?
False
Suppose 44305 = 5*n - 65490. Is n a composite number?
True
Suppose -p = -5*g - 758, 0*p + 3810 = 5*p - 5*g. Let k = -8 - -11. Suppose -k*o = -p - 26. Is o composite?
False
Let a(m) = -m**3 + 3*m**2 - 3*m + 2. Let y be a(2). Let g be (0 - y) + 0 + 4. Is 733/(5/20*g) prime?
True
Suppose -6518 - 13276 = -6*b. Is b a composite number?
False
Suppose 3*f - 30048 = -0*f. Let k = 14287 - f. Is k prime?
True
Let m(x) = x**3 - 9*x**2 + x + 4. Let z be m(9). Suppose -4*k + z = 1. Suppose 290 = g - b, 2*b - b - 890 = -k*g. Is g prime?
False
Let u(h) = -33*h + 12. Let c be u(-2). Let z = c + 175. Is z composite?
True
Let i = -2 - 18. Let s = 22 + i. Suppose -4*t = s*b - 62, 2*b + 2*t - 62 = -0*t. Is b a composite number?
False
Let k = -26159 - -37678. Is k a composite number?
False
Let q = 260 - -71. Is q composite?
False
Let d = -48 - -50. Let f = d - -29. Is f composite?
False
Let w = 1853 - 835. Let h = 1527 + w. Is h a prime number?
False
Is 3691/(-4)*(8 + -12) prime?
True
Is ((-1)/(-1))/(10 - (-433698)/(-43370)) composite?
True
Let b be (-4)/(-5)*1*25. Suppose -b = -k + 3*k - 5*n, 4*k = 2*n - 8. Let z(y) = -y**3 + 22. Is z(k) prime?
False
Let b(s) = 629*s + 15. Let r be b(-5). Let l = 4427 + r. Suppose 3*m - l = -5*q - 287, -3*q + 582 = -3*m. Is q prime?
True
Let a = 6 - 2. Is -1*262*a/(-8) prime?
True
Let g be 597/(-2) - 17/(-34). Is (3 - -1)*g/(-8) composite?
False
Let f(y) = -5*y**2 + 10*y - 27*y**2 + 23*y**2 + 60*y**2 + 3. Is f(-6) prime?
False
Suppose -18 = -i - 4*p, i + 3 + 11 = 4*p. Suppose 25 = 2*t + 2*o - 5*o, -62 = -4*t + i*o. Suppose -x - t = -123. Is x prime?
False
Let r = -13 - -15. Let y be r/(-13) + 536/104. Suppose -k + 2*i + 12 + 17 = 0, 135 = 5*k - y*i. Is k prime?
False
Suppose -3*l - 1354 = -4693. Suppose -2*d - 822 = -3*h, l - 291 = 3*h + 3*d. Is h prime?
False
Let d(k) = -k**2 - 8*k - 8. Let c be d(-5). Suppose -6*t = -c*t. Is (t/5 + -251)*-1 a composite number?
False
Let g = 14 + -12. Suppose -g*u - p = -30 - 28, -u + 15 = -3*p. Is u/1 - (4 + -2) prime?
False
Suppose 6*q + 187 = -17. Is 17/(q/(-20))*593/2 prime?
False
Let p(n) be the second derivative of -5/2*n**2 + 5*n - 5/2*n**3 + 0. Is p(-4) a composite number?
True
Suppose 4*s = 2*q + 26, -2*q + 9 = -2*s + 27. Suppose -v + 4*n + 109 = -51, 0 = -3*v - s*n + 448. Suppose -293 - v = -y. Is y a composite number?
True
Let b(j) = j**2 - 3*j - 5. Suppose -t = 1 + 3, -5*o = -4*t - 41. Let h be b(o). Suppose -h*a = 2*x - 431, a = 4*x - 2*a - 901. Is x a prime number?
True
Let u = 79 + -42. Suppose 3*s = 2*c - 0 - 1, 4*s = -5*c + u. Is s/(-9)*-3*7 a composite number?
False
Suppose -21*q - 2587 + 56914 = 0. Is q a composite number?
True
Let a(t) = t**2 - 5*t + 9. Let k(p) = p**3 - 12*p**2 + 11*p + 6. Let s be k(11). Let v be a(s). Let j = 62 + v. Is j composite?
True
Suppose 5*g + 25 = 0, -22 - 3 = t + 5*g. Suppose t*s + 1 = s. Is 22*s/2 - 1 composite?
True
Let z = 14 + -8. Suppose 120 = z*h - h. Let p = h + 125. Is p a composite number?
False
Let p = 533 + -90. Is p - (0 + 15/(-5)) a prime number?
False
Let x be -2*(-13347)/12 + (-3)/(-6). Suppose x - 141 = 4*s. Is s composite?
False
Let y(u) = -18*u**2 + 2*u - 4. Let p be y(4). Let v = p - -59. Is (-28605)/v - 4/30 a prime number?
True
Let p = 19 - 14. Suppose -705 = -5*m - p*t, -270 = -2*m + 2*t + 2*t. Is m prime?
True
Is ((-316)/(-10))/((-96)/(-57840)) composite?
True
Suppose 2*v - 22 = -0*v. Suppose -2*b - 26 = s, 3*b + 5*s + 24 + 29 = 0. Is b/v + (-1 - -151) prime?
True
Let o(w) = 307*w**3 + 6*w**2 + 3*w + 1. Is o(3) prime?
True
Let o be (-148)/6*4758/52. Let b = 3618 + o. Is b a prime number?
True
Suppose 35*f - 115681 = 6*f. Is f prime?
True
Suppose 4*q = -5*d + 50987, -5*q = -21 + 6. Is d composite?
True
Let g(f) = -12*f**3 + f - 4. Let o be g(3). Let x = -99 + 25. Let w = x - o. Is w composite?
False
Suppose -a = -3*a + 4. Suppose 0*q - 3*q - 6 = 2*x, 0 = 2*q + a*x + 6. Suppose -3*f - y + 14 = q, f = 2*y - 4*y - 2. Is f a prime number?
False
Suppose 0 = -4*a - 2*n - 148 + 1500, -2*n = -4*a + 1336. Suppose -4*b - b = 725. Let f = a + b. Is f prime?
True
Suppose -h - 280 = -5*h + 2*u, -5*u = -4*h + 280. Let g = -26 - 1. Let s = g + h. Is s a composite number?
False
Is 5/(-5)*87484/(-4) prime?
True
Let n(r) = -r**3 - 5*r**2 + 6*r + 4. Let o be n(-6). Let f be o/14 + 190/70. Suppose -f*d + 674 = a, -4*a - 191 = 4*d - 1103. Is d prime?
True
Suppose 8*l - 6*l = 0. Suppose l = -3*j - 54 + 15. Let m(h) = -h**3 - 11*h**2 + 18*h + 11. Is m(j) prime?
False
Suppose -4*o + 8*o = 280. Let z be 400/o - (-2)/7. Is 488/z + (-6)/(-9) composite?
True
Let q = 39192 - 21901. Is q a prime number?
True
Suppose 0 = 2*m - 6*m + 12. Suppose -5*b = 2*s - 11489, -4*s - m*b - 389 + 23374 = 0. Is s a prime number?
False
Suppose -3*o + 533 = -367. Let x = -5 + o. Is x composite?
True
Let m(g) = g**3 - 4*g**2 + 4*g - 9. Let o be m(9). Let v = o + -209. Is v composite?
False
Let t = 71 - 12. Let d = 438 - t. Is d a composite number?
False
Suppose -3210*g + 58436 = -3206*g. Is g a prime number?
False
Suppose -18342 = 14*d - 170956. Is d composite?
True
Suppose 4*m - 2270 + 910 = 0. Let u = m - -37. Is u prime?
False
Let d = 0 + 2. Suppose 3*q = d*z + 113, z + 60 = 4*q - 84. Is q a prime number?
False
Let a(t) = 4 + 8*t - 9 - 3*t**2 - 4 + 2*t**2. Let x be a(6). Is (47 - 1) + -6 + x prime?
True
Let y(p) = -4*p. Let l be y(2). Let t(a) be the second derivative of -25*a**3/6 + 11*a**2/2 - a. Is t(l) a composite number?
False
Suppose -4*h + 29 = -3*k, -k + 1 = 2*h + 2*k. Suppose -3*x = q + 1 - 0, h*q - 5*x - 35 = 0. Suppose -106 = -2*b + q*u, -2*b + 4*b = 3*u + 106. Is b composite?
False
Let m = -5 + 9. Suppose 4*h = -m*h + 30296. Is h prime?
False
Let i = -261 + 419. Is i a prime number?
False
Let o = -17 + 10. Let d = -3 + o. Let u(h) = h**3 + 13*h**2 + 8*h + 15. Is u(d) a prime number?
False
Let r = 18003 + -6670. Is r a composite number?
True
Suppose -4*l + p + 14 = 3*p, -1 = -l + 2*p. Is (-3 + 2)*(l + -1140) composite?
True
Suppose 0 = -2*g - 2*d + 14, -5*g + 3*g - 3*d = -18. Suppose -3*m = 3, 4*c = -5*m + g*m + 534. Is c a prime number?
False
Suppose 3 = 2*o - 4*q + 13, 12 = 3*q. Let a(h) = 258*h**2 - 13. Is a(o) a composite number?
False
Let r(j) = -660*j - 7. Is r(-8) a prime number?
True
Let j be 238 + 1 + (-11)/(33/6). Suppose 0 = -f + 110 + j. Is f prime?
True
Suppose 3*o = -c + 306, -3*c + 2*c + 300 = -3*o. Let h = -273 + 65. Let z = c - h. Is z a prime number?
False
Suppose 0 = -11*g + 6*g. Let d be 21/(-3)*-1 + g. Let w(i) = -i**2 + 8*i - 4. Is w(d) composite?
False
Let v be 1*-4*138/(-24). Let i = -17 + v. Suppose -5*d - i*t = -3*t - 928, 2*t = 2. Is d prime?
False
Let u = 52 + -47. Suppose -u*g = -r - 12315, 0*r - 12315 = -5*g + 5*r. Is g composite?
True
Let s(w) = 2*w**3 + w**2 - 17*w - 37. Is s(21) a prime number?
False
Let c(x) = 7*x**3 + 11*x**2 - 26*x + 7. Let p be 3*(-5)/15*-6. Is c(p) a prime number?
True
Let l(i) = 429*i**2 + 5*i + 23. Is l(13) composite?
True
Suppose -2 = -4*t + 6. Suppose -9 + 1 = -t*i. Suppose -i*h + 1266 = -2*h. Is h a composite number?
True
Suppose 12*v - 51978 = 6*v. Is v prime?
True
Let z(l) = 15*l**3 + 3*l**2 + 18*l - 227. Is z(9) co