 346 = 2*f, b*z - 467 = 4*f. Is z composite?
True
Let i = 1651 - 692. Is i composite?
True
Suppose -2*p - 35 = -7*p. Let o = -5 + p. Suppose -125 = -6*b + o*b - 5*f, -137 = -4*b - f. Is b prime?
False
Let f = 1377 - 728. Is f composite?
True
Let w = -444 + 1637. Is w prime?
True
Let k(s) = -s**3 - 5*s**2 + 3*s + 5. Let x be k(-6). Let r = x + -9. Is r composite?
True
Suppose -4*c - 291 = -a, 5*a - 1477 = 2*c - 4*c. Is a a composite number?
True
Suppose -k + 3 = -b - 2*b, -2*b = k + 7. Is b + 66*(-3)/(-2) prime?
True
Suppose 25 = 2*d + 3*d. Suppose 1 = 3*s + 4*t + 9, d*t = 4*s - 41. Suppose h = -s*l + 17, 8*h + 5*l - 70 = 3*h. Is h a composite number?
False
Let f be 3*(-3 - -2) - -4. Let z(h) = 80*h**2 - 2*h + 1. Is z(f) a prime number?
True
Suppose x = 4, 0*n + 5*x - 23 = -3*n. Is (-1)/(-1)*(n - -190) a prime number?
True
Suppose -3*y = -4*y + 74. Is y a prime number?
False
Suppose -d = -187 - 886. Is d composite?
True
Let k be -1030*((-5)/(-2) + -3). Let p = k - 357. Is p prime?
False
Suppose 30 = -4*q - 2*q. Is 3/q - 712/(-20) composite?
True
Let a = -1 + 3. Let u be 85 + a/(6/3). Suppose 4*m = 2*i - u, -4*i - 5*m = i - 275. Is i prime?
False
Suppose 115 = 2*w + 2*a - 167, -2*a + 2 = 0. Suppose y = w + 119. Is y prime?
False
Let k = 659 - 144. Is k composite?
True
Let d(o) = -5*o**2 - 2*o - 3. Let j be d(-2). Let u be (-1 + -55)*j/2. Suppose g = -3*g - 4*p + 532, 4*g + p = u. Is g a composite number?
True
Suppose 10 = p + p. Suppose -5*i + 275 = p*u, 2*i + 22 = u - 42. Is u a composite number?
True
Suppose -4*t = -3*b + 1897, 0 = b + 2*t + 2*t - 643. Is b prime?
False
Suppose -2*f - 3*f = -p - 47, -p = 4*f - 34. Let m = 61 - f. Suppose 0 = -2*u + 150 - m. Is u a prime number?
False
Let x = -2 + 2. Suppose -j + 0*r - 4 = -2*r, x = 4*j + 3*r - 39. Is (-406)/(-6) - j/9 a composite number?
False
Let u(g) = 11*g**2 + 4*g - 2. Is u(5) a composite number?
False
Let f = 4 - 1. Suppose f*d - 3*j + 96 = -0*d, d - 5*j = -40. Let b = 51 + d. Is b a composite number?
True
Let z(h) = -h**3 - 5*h**2 - 6*h + 4. Let g be z(-5). Suppose 0 = 2*k + 2*x - 2 - 8, 0 = 2*k - 4*x - g. Is 35/3 - 6/k a prime number?
True
Let u(p) be the second derivative of -185*p**3/6 - 2*p. Is u(-1) a composite number?
True
Let x(g) = 2*g + 53. Is x(0) a composite number?
False
Let i(w) = w**3 - 4*w**2 + 9*w - 5. Let s be i(2). Let t(g) = -3 - 7 + 3 + 66*g. Is t(s) a composite number?
True
Let o(g) be the third derivative of g**5/24 + g**3/6 + g**2. Let a(q) be the first derivative of o(q). Is a(5) a composite number?
True
Let k(d) = 86*d - 11. Let y be 5 + (1 - (-1 + 2)). Is k(y) a prime number?
True
Suppose -2*p + 380 = 3*p + 5*k, p - 2*k - 85 = 0. Is p a prime number?
True
Let q(c) = 42*c - 23. Is q(7) a prime number?
True
Is 18 - 19 - (-214)/2 a composite number?
True
Suppose 4*i - 8 = 8. Suppose 436 + 219 = i*d + q, -4*d - 3*q = -661. Is d a prime number?
True
Let p(z) = -z**2 + 8*z - 7. Let a = -12 - -18. Let b be p(a). Suppose j + 5 = 3*k, -2*k + j - 3 + b = 0. Is k prime?
True
Let j = -790 - -1332. Is j composite?
True
Suppose 3*b + 60 - 192 = 0. Suppose t - 67 = -2*o, 3*o + 35 = t - 17. Suppose 5*h - t = b. Is h prime?
False
Let i(h) = -2*h**3 - 15*h**2 + 11*h + 5. Is i(-11) prime?
False
Let b(n) = -4*n + 22. Let p(g) = 2*g - 11. Let x(u) = 3*b(u) + 7*p(u). Let d be x(8). Suppose -2*t + d*t - 195 = 0. Is t a composite number?
True
Is (-1)/6*-4 + 18733/3 a prime number?
False
Suppose 2*l + 8 = 18. Suppose 3 + 47 = l*h. Is h composite?
True
Let d(m) = -m**3 + 3*m**2 + 6*m**2 + 10*m - 1 - 9*m. Is d(8) a prime number?
True
Suppose 6*t = 8*t - 124. Is t a composite number?
True
Suppose -2*c + 79 + 1143 = 0. Is c a prime number?
False
Let q(c) = 8*c**2 + 2*c - 2. Is q(-2) a composite number?
True
Suppose 4*w - 441 = w. Let y be w/2 + 1/(-2). Suppose -4*k + 11 = -y. Is k a prime number?
False
Suppose -g = g + 2. Let h be 5*37 + (-2)/g. Suppose -5*k - 32 = -h. Is k composite?
False
Is (10 + -9)/((-2)/(-52)) prime?
False
Suppose -1 = 4*b + 3. Let o(q) = -149*q**3 - q**2 - 2*q - 1. Is o(b) composite?
False
Let y = -316 - -759. Is y a prime number?
True
Suppose -3*x + 15 = 3*c, 0*c = -2*c + x + 10. Let i be c/1 - (-1 + -1). Suppose -3*l + i*l - 76 = 0. Is l prime?
True
Is 2/(-8) - (0 + 8490/(-8)) prime?
True
Let t = -6558 - -10305. Is t prime?
False
Let u(s) = -3*s - 9. Let b be u(-4). Suppose b*q = -5*t + 30, -3*t = 3*q - 11 - 7. Is t composite?
True
Let h(n) = -4 + 4*n**2 + 12*n + 0*n**3 - n**3 - 6*n. Suppose 0 = 3*t + 7 + 8. Is h(t) a prime number?
True
Let a(q) = -162*q - 1. Let k(s) = 163*s + 2. Let w = 5 - 2. Let m(x) = w*a(x) + 2*k(x). Is m(-1) a prime number?
False
Suppose 4*z + 226 = 6*z. Is z a prime number?
True
Let z be -1 + 4*-7*-7. Suppose 0 = -f - 4 + z. Is f a composite number?
False
Suppose 0 = 6*z + 3*z - 117. Is z a composite number?
False
Let d = 8 - 10. Let i = d + 13. Is i a prime number?
True
Suppose -2*a + 14 = -4*c, a + 19 = -5*c + 2*a. Is c/(-14) - (-3212)/28 composite?
True
Suppose 5*x - 1265 = -3*j, 2 = -j - 3. Suppose x - 97 = 3*q. Is q a prime number?
True
Suppose 1 + 4 = -5*q. Is q/((-112)/(-113) - 1) a composite number?
False
Let k = 105 - 26. Is k prime?
True
Let n = 10 + -6. Suppose 0 = n*i - 65 - 283. Is i composite?
True
Let p be 2*((-21)/(-6))/1. Suppose 2*w - 4*n - 5 = p, n = -1. Suppose w*f = 3*u + 524, 2*f + 2*u - 655 = -3*f. Is f a composite number?
False
Let v = -4 + 4. Suppose -3*a + 5 + 1 = v. Is a/(-9) - 276/(-27) a composite number?
True
Let o = 58 - 7. Is o a composite number?
True
Is (2 + 60)/2*5 composite?
True
Let f = 1763 + -770. Is f prime?
False
Let y = 300 - 160. Suppose 447 = s - y. Is s composite?
False
Let f = 78 + -54. Is f/(-9)*123/(-4) a composite number?
True
Is -3 + (152/5)/(9/45) a composite number?
False
Suppose 4*g = -0*g + 8. Suppose 3*l - g = 2*l. Suppose -5*z + z = l*n - 378, n = 4*z - 369. Is z composite?
True
Suppose -p = 66 - 215. Is p a composite number?
False
Suppose -3*b - f = -1094, 4*b + f = 7*b - 1096. Is b a composite number?
True
Let s(o) = -o**2 + 6*o - 1. Let k be s(6). Is 157/4*k*-4 a prime number?
True
Let w(g) = -g**2 - 2*g. Let r be w(-4). Let o(j) = 2*j**2 + 2*j - 1. Is o(r) a composite number?
True
Suppose -2*t - 1 = -11. Suppose 0 = -t*r - 8 + 43. Is r a composite number?
False
Suppose -q - q - 1481 = -3*m, 4*q = 2*m - 990. Let t = m + -867. Is t/(-10) + (-4)/10 prime?
True
Let m be (3/(-9))/((-2)/6). Is ((-12)/(-18))/(m/471) composite?
True
Suppose 0 = -3*f + 1 - 4, -5*f = 5*u - 3170. Is u a prime number?
False
Suppose 7*c - 12 = 3*c. Let d be 7 - (3/c - -1). Suppose d*y - 5*o = 106 + 54, -3*y = 3*o - 102. Is y composite?
True
Let r(t) be the first derivative of -3*t - 9/2*t**2 + 1. Is r(-4) composite?
True
Let g = 5 - 6. Let l(b) = 44*b**2 + 2*b + 1. Is l(g) a composite number?
False
Is (-2 - -1)/(2/(-3682)) composite?
True
Suppose n + 2*n - 3 = -3*b, 3*b + 5 = -n. Suppose 0 = -z + 4*z, n*z - 884 = -4*u. Is u a prime number?
False
Suppose 0 = 4*f - 9658 + 2126. Is (-4)/18 - f/(-9) prime?
False
Suppose 2*d + d = 15. Suppose 0*q + d*p - 24 = -4*q, 2*p - 3 = 5*q. Is (q/1)/(1/53) prime?
True
Let u = 1719 - 786. Is u prime?
False
Let k = -2 + 1. Let b be (k + 0)/(1/(-3)). Suppose 21 = b*g - 6. Is g a composite number?
True
Is -3 - (-1 - 92) - 4 a prime number?
False
Let o be 20/15*(-9)/(-2). Suppose -o*l + 508 = -2*l. Is l prime?
True
Let d(f) = -2*f - 3. Let c(x) = -3*x - 4. Let b(m) = 4*c(m) - 5*d(m). Is b(-5) a prime number?
False
Suppose -m = 6*m - 23639. Is m a composite number?
True
Suppose 0*s - 1036 = -4*s. Is s a prime number?
False
Let m = -1 - 8. Let l(r) = -r**3 - 5*r**2 + 5*r + 12. Is l(m) prime?
False
Suppose 5*w = -4*u + 469, -u - 3*w + 0*w + 119 = 0. Suppose 151 + u = 3*k. Is k composite?
False
Let j = -29 - -17. Let l = -6 - j. Is (45/(-6))/(-3)*l a composite number?
True
Let v = -1 + -21. Is -2 + ((-2)/(-2) - v) composite?
True
Let y = 2 + 3. Suppose -y*z - 3*t + 595 = -0*t, 112 = z + 2*t. Let q = z + -85. Is q a prime number?
True
Is (-37)/(2/(-34)*1) prime?
False
Is 1*2 - (-4280 + -7) composite?
False
Is 2/4*(-5*3878)/(-5) a composite number?
True
Suppose -4*m + 5*o = -47, m - 5*m + o + 35 = 0. Let y = m + -4. Suppose 247 = 3*x + y*q, -3*x - 2*q = -371 + 132. Is x a composite 