) a prime number?
True
Let c = -2637 + 3848. Is c a composite number?
True
Suppose 453 = 2*b + b. Suppose -293 - b = -4*t. Suppose -t = -5*q + 19. Is q a composite number?
True
Let m = 7 + -4. Suppose -4*k = -m*t + 19, 3*k + 5 - 17 = -3*t. Suppose -t*r + 240 + 25 = 0. Is r composite?
False
Let q(w) = 9*w - 5. Let y be q(5). Is ((-58)/8)/((-2)/y) a prime number?
False
Suppose 0 = 3*c + 2*g - 3*g - 1750, -5*g = 2*c - 1161. Is c a prime number?
False
Suppose o - 5*i = 22, o + 13 = 2*o - 2*i. Let h = o - -80. Is h composite?
True
Suppose -5*v = 2*b - 445, -v + 2*b = 4*b - 97. Let i(x) = 2*x**3 - 6*x**2 + 7*x - 8. Let u be i(4). Let g = v - u. Is g composite?
True
Let n = -409 + 622. Is n a composite number?
True
Suppose -10*i + 13*i = 1623. Is i a prime number?
True
Let p be 2/(-9) - (-104)/(-18). Is p/(-4) + 260/8 composite?
True
Suppose -2*o + i + 1374 = 25, -o - 5*i + 702 = 0. Is o composite?
False
Suppose 0 = 2*k + 4*j + 4, 0 = -5*k - 2*j - 3*j - 30. Let c = k - 6. Is 14/8*c/(-4) a composite number?
False
Let y be (-1 + 0)/(4/(-532)). Suppose 1519 = 4*p - y. Is p composite?
True
Let g(l) be the first derivative of -19*l**2/2 - 11*l + 1. Is g(-8) a prime number?
False
Let z = 6 + -1. Suppose z*c - 242 = -j - j, -5*c = j - 111. Is j a composite number?
False
Let x(y) = -y + 6. Let j be x(4). Suppose -2*q - j*q = 0. Suppose q*g - 2*g = -154. Is g prime?
False
Suppose 0 = -5*t - 240 - 140. Let c = t + 173. Is c a composite number?
False
Let w be -100*1/(2/(-3)). Suppose -2*j - 79 = 115. Let q = j + w. Is q a composite number?
False
Suppose 0 = 3*r - 5*r + 2*n + 218, -5*r + 565 = 5*n. Is r a composite number?
True
Let l(k) = 30*k - 19. Is l(22) a prime number?
True
Let t = -6 + 4. Let f = t + 51. Is f composite?
True
Let j(y) = y**3 + 16*y**2 + 23*y - 11. Is j(-14) prime?
True
Is 208 + 1 + -3 + -3 a composite number?
True
Suppose -2*j - 4*w - 12 = 0, -4*j - w - 36 = 3*w. Is 81/1 - (14 + j) prime?
True
Let i be (-3)/(((-3)/1)/3). Suppose -673 = -i*x - 3*m + 119, -525 = -2*x + m. Is x prime?
True
Let a be 57*(-4 - 64/(-6)). Is a/6*3 + 1 composite?
False
Let i = -112 - -239. Is i composite?
False
Let q(p) = -16*p + 12. Let u be q(-8). Suppose 2*r = 5*f + 5, 4*f - 2 = 2*r - 6. Suppose r = -4*a - 0*a + u. Is a composite?
True
Suppose -3480 = -5*w + 3*w. Suppose -7*m + w = -2*m. Suppose 5*k + 2*f + 0*f - 449 = 0, -4*k + 4*f + m = 0. Is k composite?
False
Let z = 139 - 70. Is z a composite number?
True
Let c = -642 - -2999. Is c prime?
True
Suppose 4*a = p + 17, -9 = -5*a + 3*p + 14. Suppose 0 = 2*o + 3*o + 15, -5*o - 23 = -a*k. Suppose -b = -k*b + 85. Is b a prime number?
False
Suppose 22 + 2 = 4*p. Let u(s) = -s**3 + 7*s**2 - 5*s - 1. Let x be u(p). Is (2/x)/((-2)/(-30)) a composite number?
True
Let i = 812 - -339. Is i composite?
False
Let q be -1 + 0 - 37/(-1). Suppose -3*c + q = -60. Suppose -4*h + c + 38 = 2*d, 0 = 4*d + 12. Is h composite?
False
Suppose 5*z = -2 - 3. Is (57 - z) + 9/(-3) a prime number?
False
Let n be (-13)/6 + 2/12. Let r be (-162)/(n/3 + 0). Let c = 356 - r. Is c prime?
True
Suppose 3 + 0 = -u. Let w be u - (-2 + 2 + -2). Let v(x) = -20*x**3 - 2*x**2 - 2*x - 1. Is v(w) a composite number?
False
Suppose 0 = -6*y - 5525 + 719. Let i = -422 - y. Is i composite?
False
Let u = 354 + -131. Is u composite?
False
Let o(y) = 15*y**2 + 11*y + 7. Is o(-8) a composite number?
True
Let v(w) = 5*w**2 + 2*w - 1. Let a(z) = -3*z + 3. Let h be a(2). Is v(h) composite?
True
Suppose -9 + 21 = 3*c. Let o(t) = t**3 - t**2 + t - 5. Is o(c) a prime number?
True
Suppose 4*i + 2 = 22. Suppose 2*z + i = 1. Let f(x) = 6*x**2 - 2*x - 2. Is f(z) prime?
False
Let c(k) = 1. Let d(t) = t**2 + 4*t + 3. Let q(u) = -2*c(u) + d(u). Let b be q(5). Suppose -b = -x - x. Is x a prime number?
True
Suppose 2*m - 25 - 77 = -2*s, -5*m = 10. Let y(b) = -b**3 + 6*b**2 + 7*b - 8. Let v be y(6). Let n = s - v. Is n prime?
True
Let n(q) = -3*q**3 - q - 1. Suppose -3*y - 4*c - 3 = 0, -5 = -0*y + 5*y + 2*c. Is n(y) composite?
False
Let h(f) be the second derivative of -f**3/2 + 7*f**2/2 - f. Let d(q) = -q**3 + 4*q**2 - 3*q + 2. Let n be d(4). Is h(n) prime?
True
Suppose 0 = 4*y - 0*y + 8. Let a be (-8)/(-4) - (y - -1). Suppose -i = 4*t - 20, a = -3*t - 4*i + 5. Is t composite?
True
Let g = -311 + 646. Is g composite?
True
Let t = 189 + -124. Is t a prime number?
False
Suppose -3*x - 1 = -5*c, -2*x - 2*c + 10 = -0. Suppose -x*n = 2*n. Is 4/(12/165) - n composite?
True
Suppose -5*z + 262 = -223. Is z a prime number?
True
Let m = -84 - -391. Is m a composite number?
False
Let w(m) = -3*m + 21. Let d be w(-8). Let r be ((-20)/6)/((-2)/6). Let u = d + r. Is u prime?
False
Suppose 7 + 16 = -5*h + 4*b, 2*h + 5*b = -29. Let w(s) = 5*s + 2 + s**3 + s**2 + 7*s**2 - 10. Is w(h) a composite number?
True
Suppose 5 = 2*o - 7. Suppose -f + o*f = 4*i + 518, -2*f = 4*i - 224. Is f composite?
True
Suppose -4*i + 12*i = 1480. Is i composite?
True
Suppose 0 = 2*u - 24 - 94. Suppose u = 3*c - 52. Is c a composite number?
False
Let a(s) = s**2 + 5*s - 17. Is a(7) a prime number?
True
Suppose q - 2*q = -23. Is q a prime number?
True
Let x(p) = -105*p - 41. Is x(-10) prime?
True
Let q(n) be the third derivative of 0 + 0*n - 3/8*n**4 + n**3 - 2*n**2. Is q(-9) a composite number?
True
Let x be (30/24)/((-2)/(-144)). Let d = x + 37. Is d a prime number?
True
Suppose -3*a = y - 6, 2*a + 6 = 3*y - 1. Let n(o) = 540*o + 1. Is n(a) a prime number?
True
Let i(z) = -4*z**3 - 13*z**2 - 4*z + 2. Is i(-9) composite?
False
Let d be 11/(-4) - 6/24. Let s = d - -8. Suppose -f - 17 = s*u, 5*f + u = -u + 7. Is f a prime number?
True
Let h(t) = -t**3 - 4*t**2 + t + 4. Let q be h(-4). Suppose q = 2*o + o - 231. Is o a composite number?
True
Let y = 22 - -99. Is y a composite number?
True
Suppose 5*v - 3 - 2 = 0. Let i be 52*(-3)/(-6)*1. Let n = i - v. Is n a composite number?
True
Suppose -2*j = 0, 0 = -5*w - 3*j + 105 + 50. Is w prime?
True
Let m(r) = 10*r - 2. Let d(x) = -15*x + 3. Let z(u) = 5*d(u) + 8*m(u). Let w = -4 - -7. Is z(w) composite?
True
Suppose -5*c - c = 1218. Let m = -126 - c. Is m prime?
False
Let p(m) = -m - 3. Let k be p(-8). Let j(x) = x**3 - 4*x**2 + 6*x - 1. Let r be j(k). Suppose 95 = y - r. Is y a composite number?
False
Let m be 3/(-15) - 4/(-20). Is 120/2 + m - 2 prime?
False
Suppose 0 = 5*s - 4*s + 7. Let a(o) be the third derivative of -o**4/24 + 4*o**3/3 + 10*o**2. Is a(s) a prime number?
False
Let k = 1218 + -497. Is k a composite number?
True
Let x = 3 - -3. Suppose -x = -u - 3. Suppose -644 = -5*y + u*p, -3*y + 3*p + 364 + 26 = 0. Is y prime?
True
Suppose 2*i - 4*v = 596 - 3978, -3*v - 1671 = i. Let q = -1054 - i. Suppose -2*z + 260 = -3*h, 0*z + q = 5*z + 3*h. Is z a composite number?
False
Let a be (-12)/(-20) + 23/(-5). Let t = -1 - a. Is -1 + t + 31 + 4 prime?
True
Suppose 2*w = -w + 2367. Suppose -2*l + w = l. Is l a composite number?
False
Suppose 3*f - 4 = 8. Let n(i) = -3*i**2 + 10 + 6*i + 0*i**2 - 11 + 2*i**2. Is n(f) prime?
True
Suppose 0*d - 2*d - 5*m + 353 = 0, 176 = d + 3*m. Is d a composite number?
False
Let l = -11 + 13. Suppose 0 = l*z - 25 - 349. Is z a composite number?
True
Suppose -b + 2*b - 319 = 0. Suppose 4*o + 107 = b. Is o a prime number?
True
Suppose -4*t + 304 = 4*n, 3*t - 224 = -3*n + 2*t. Suppose p - n = 41. Is p composite?
True
Suppose 2*z = b - 2*b + 15, 2*b = z. Suppose 0*t = -3*t + z. Suppose -t*f = 10, -2*k = -2*f - 35 - 5. Is k composite?
True
Let n(x) = -x**3 + 2*x**2 + x. Let q be n(2). Suppose q*d - 20 = 202. Is d a composite number?
True
Suppose -2*j + j - 3665 = -4*a, 5*j = 3*a - 2736. Is a a composite number?
True
Suppose -3*t + 77 = 5*j, 3*j + 0*t + 3*t = 45. Suppose -4*n = 2*l - 390, -1 = -3*l - j. Suppose -3*p + n = p. Is p prime?
False
Suppose 0 = 5*b - 2*h - 10, -2*b = 3*h - 4 - 19. Let j = b + -9. Is (j/10)/(1/(-134)) a composite number?
False
Suppose 5*c + 26 = -v + 4*c, 0 = -c. Let x = 119 - v. Is x a composite number?
True
Let b be (-2376)/(-14) + (-4)/(-14). Suppose 2*q - b = -0*q. Is q prime?
False
Let y(m) = -m**3 - 5*m**2 - 5*m - 4. Let a be y(-4). Suppose -4*l + a = -4*w + 4, -w - 2*l = -7. Is 12 + (-2 + w)*-2 prime?
False
Is ((-4)/(-12))/((-4)/(-1524))*1 a prime number?
True
Suppose -3*n = -2*j - 569, 2*n - 2*j = -5*j + 388. Is n