 f composite?
False
Let x(a) = 636*a**3 - a**2 - a + 1. Let m = -2 - -3. Let d be x(m). Suppose -4*t - t = -d. Is t a composite number?
False
Let s be 33/44 - (-2722)/8. Suppose 4*f = 3*f + s. Is f prime?
False
Suppose -4*a = -2*a - 10. Suppose -a*g + 2 = -3. Is 92 + 1*-2 + g prime?
False
Let o = 480 + -283. Suppose 0 = -4*r - o - 427. Let w = 233 + r. Is w a prime number?
False
Is (265/10)/((-1)/(-10)) a composite number?
True
Let t = -16 - -16. Let r(l) = -l**3 + l + 10. Is r(t) composite?
True
Let c(g) = 2*g**3 + g**2 + g - 1. Let h be c(1). Let t be (-4)/(-1) + (-2 - 0). Suppose t*p + h = 121. Is p composite?
False
Let s(a) = 3*a**2 - 2*a - 5. Let c be 1*7/(21/(-12)). Is s(c) prime?
False
Suppose -4*i + 6148 = 1592. Is i composite?
True
Let f(m) = -m**3 - 19*m**2 + 8*m + 23. Is f(-20) prime?
True
Let g be (-5 - (1 + 1))*-53. Suppose 4*p = 473 + g. Is p prime?
True
Suppose -2*j + 2*r = -r - 440, 5*j - 5*r - 1105 = 0. Is j composite?
False
Let r = -6 - -8. Suppose -z + 0*i = r*i - 52, -3*z - 5*i + 159 = 0. Is z a prime number?
False
Let a(g) = 2*g**2 - 13. Is a(7) prime?
False
Suppose 329 + 101 = 2*s - 2*r, 872 = 4*s + 2*r. Is s composite?
True
Let k = -28 - -46. Is 4/k + (-176)/(-18) prime?
False
Is 135/(-30)*4/(-3) a prime number?
False
Suppose y = 3*y - 114. Is 0 - 1*(-2 - y) prime?
True
Let q = 3 + -2. Is ((-12)/9 + q)*-102 composite?
True
Let n(c) = 4*c - 3. Let i be n(2). Let r be i/((3 - 4)/(-37)). Suppose -6*s + r = -s. Is s prime?
True
Let r = 267 + -119. Let m = r - 81. Is m a prime number?
True
Suppose -3*l + 5*c = 4*c - 20302, 2*c + 27066 = 4*l. Is l prime?
False
Suppose 3*z - 4 = 5, 4*z = 2*w - 1610. Is w a prime number?
True
Is -2 - -189 - (1 - 1) a composite number?
True
Is -1 + ((-14)/(-119) - 1324/(-17)) composite?
True
Let g be (-1 - 4) + 1 + -2. Let i be (g/1)/((-3)/4). Suppose 0 = d + 3*d - i. Is d a composite number?
False
Suppose -8*c = -3*c - 1750. Suppose 909 = 5*d + k + 3*k, 2*d + 5*k - c = 0. Suppose -4*r + d = r. Is r prime?
True
Let a be ((-18)/(-4))/((-2)/(-4)). Suppose 0 = 3*x - 0*x - a. Suppose 0 = g + x + 2, -2*m - g = -39. Is m composite?
True
Let j(y) = 71*y - 5. Let a be (-3)/(-4)*4 + 5. Is j(a) a composite number?
False
Suppose 0 = i - 3*z + 13, -z - 4*z + 23 = -i. Suppose i*s - 19 = 159. Is s composite?
False
Is ((-2)/(-5))/(((-8)/(-140))/2) prime?
False
Suppose 41*q - 32*q - 89883 = 0. Is q a composite number?
True
Suppose n - 15 = -3*d + 7, -5*d + 42 = 3*n. Let t(b) = -b**3 + 5*b**2 + 9*b - 3. Let g be t(d). Suppose -q - g = -3*i + 2*q, 0 = -q + 1. Is i prime?
False
Suppose -5*p + 596 = -2159. Is p composite?
True
Suppose -5*t + 383 = -1522. Is t prime?
False
Suppose 0*j = j - 177. Is (2 + (-10)/6)*j composite?
False
Let j(q) be the second derivative of q**4/12 - 7*q**3/6 + 7*q**2/2 - 7*q. Is j(15) a composite number?
False
Let j(f) = -2*f**2 - 9*f + 12. Let u be j(-9). Let z = u + 146. Is z composite?
True
Suppose -a - a = -6. Is (-109 + -1)*a/(-6) prime?
False
Is (-18 - -13)*(-122)/5 a composite number?
True
Suppose 5*i + 46 = 2*z, -i - 45 = -2*z + 9. Is 2/(-14) + 2496/z a composite number?
False
Let y(k) = 8*k + 41. Is y(13) prime?
False
Suppose -2*t - 647 + 2325 = 0. Is t prime?
True
Let s(j) = j + 677. Is s(0) a composite number?
False
Suppose d - 1 = 3. Suppose 431 = 5*f + 4*b, f - d*b + 3*b = 88. Is f a composite number?
True
Suppose 673 = 5*z - 252. Is z composite?
True
Let s(z) = z**2 - 4*z + 2. Let p = -2 - -7. Let o be s(p). Suppose -4*k + 145 = 3*u, -2*u - 4*k - 263 = -o*u. Is u prime?
False
Let t be (6/(-2) + 1)*-2. Suppose -t*p - 299 = -891. Let g = -95 + p. Is g a composite number?
False
Suppose -4*x + f = -291, 3*x - 271 + 69 = 4*f. Is x a composite number?
True
Is -4 + (-51)/(-12) + 9081/12 prime?
True
Suppose 10 = -2*c + 7*c. Is 340 - (2 + c)/(-4) composite?
True
Let c = -3 + 4. Let r = -15 + c. Is (-934)/r + 4/14 a prime number?
True
Let m = 553 + 120. Is m a prime number?
True
Let h(r) = r**3 - 8*r**2 - r + 5. Let u be h(8). Let y(v) = 2*v**2 + 5*v + 4. Is y(u) prime?
True
Suppose j = -2*j. Let z(d) = -d + 115. Let s be z(j). Let b = s + -66. Is b a prime number?
False
Let z(q) = 1 - 3*q + 8*q**2 - 9 + 7 - q**2. Is z(-4) a prime number?
False
Let h(z) = -z**3 + 6*z**2 - 4*z - 2. Suppose s - 6 = -1. Let j be h(s). Suppose -p + 124 = j*p. Is p composite?
False
Suppose -2*h - 924 = 2*h. Is ((-2)/(-1))/((-6)/h) a composite number?
True
Let w(j) = -15*j**3 + 5*j**2 + 5*j + 8. Is w(-3) prime?
True
Suppose 5*i = -0 + 15. Suppose 3*s - 48 = 4*n, -4*s + 3*n + 72 - 1 = 0. Suppose i*z = z + s. Is z composite?
True
Let o(a) = -a**3 - 3*a**2 + 2*a - 3. Let z(r) = 3*r - 1. Let m be z(-1). Let j be o(m). Suppose -j*f = -16 - 49. Is f a composite number?
False
Let a(d) = -d**2 - 10*d - 4. Let h be a(-9). Suppose -h*t - 3*y + 10 = -y, -3*y = -4*t + 31. Suppose -5*u = t*s - 534, 3*s + u = -s + 526. Is s a prime number?
True
Let o(b) = 13*b - 14. Let i be o(6). Let n = i + 393. Is n composite?
False
Suppose -5*u - k = -450, 2*k - 455 = -10*u + 5*u. Is u a prime number?
True
Let w = 4524 + -2573. Is w prime?
True
Let m = 3 + -9. Let i be (-26)/m - 2/(-3). Suppose 5*f + 34 = k, 48 + 194 = i*k - f. Is k a composite number?
True
Let x be ((-107)/(-4))/(3/(-12)). Let b = x + 204. Is b prime?
True
Let f(h) = 2*h - 7. Let x be f(5). Let t(c) = -2*c + 3. Let y be t(x). Is (y/2 + 1)*-106 a composite number?
False
Let m be 6/4 - (-7)/2. Suppose -m*p + 160 + 175 = 0. Is p a prime number?
True
Let o(t) = 242*t**2 - t + 4. Is o(3) prime?
True
Is (-2)/(((-4)/(-382))/(-1)) a composite number?
False
Suppose -10 = -2*d + d. Suppose -s = -d - 69. Is s prime?
True
Let t = -15 - -1. Let z = t + 28. Is z composite?
True
Let i(h) = 3*h**3 + 3*h**2 - 2. Let s be i(2). Suppose 3*d = -4*w - 326, -4*d + 125 = -w + s. Let b = w - -162. Is b a composite number?
False
Let l be 581 + 2*(-1)/(-2). Suppose -j = -3*j + l. Suppose -h + 4*h - 242 = m, 4*h + 5*m = j. Is h prime?
True
Suppose -3*h = 3*d - 198, h + 3*d + 2*d = 46. Suppose -2*p = -q - h - 16, -5*q + 25 = 0. Is p prime?
False
Let n(y) = 5*y**2 - 9*y + 17. Is n(6) prime?
False
Let w be ((-3)/(-1))/(1 - 0). Suppose s + 3*f = -f + 97, w*s + 3*f = 318. Is s a composite number?
False
Let w = 20 - 5. Let i be -27 + (1 - (2 - 3)). Is (i/w)/(2/(-114)) a prime number?
False
Suppose 2*o - 88 = -2*c, -5*c - o = 3*o - 219. Let l(s) = -s**3 + 4*s**2 - s - 3. Let a be l(3). Suppose 0 = 2*f - 8, -c = -a*p + f - 5. Is p composite?
True
Let y be 4/(-6) - (-296)/(-6). Let r = -209 - -297. Let h = y + r. Is h a composite number?
True
Suppose 10*l + 1749 = 13*l. Is l composite?
True
Suppose -4*c - 211 = -2*u - 3*c, -4*u = -4*c - 420. Let a = 9 + u. Is a composite?
True
Let u be (-2)/4 - 27/(-2). Suppose -3*x + u + 44 = 0. Is x composite?
False
Suppose 3*s - 2*i = 423, -2*i + 357 = 4*s - 193. Is s composite?
False
Let d(a) = 12*a + 3. Let g be d(-4). Let y = g - -260. Is y composite?
True
Suppose -1 - 11 = -2*r. Is (3/2)/(r/56) composite?
True
Is 2*(213/6 + -1) prime?
False
Suppose 6*f + 3715 = 11*f. Is f composite?
False
Let r be ((-10)/4)/5*2. Let c(s) = -50*s**3 + s**2. Is c(r) a composite number?
True
Let z = 8 + -8. Suppose z = -0*i + 2*i + 4*o - 46, 0 = -3*i - 3*o + 54. Is i prime?
True
Is (-1324)/(-10) - (-21)/35 a composite number?
True
Suppose 2*i - 3*o = 4, -2*i + 28 = -0*o + 3*o. Suppose -i*g = -3*g - 35. Is g a composite number?
False
Let k be 5 - (2 - (0 - 0)). Let i = 6 + -6. Suppose -k*o - 132 = -4*v - o, i = 5*o. Is v a prime number?
False
Suppose -z - 13 + 183 = 0. Suppose 4 = 2*t - i, -i - 3 = 2*t - 11. Suppose -v - z = -t*v. Is v a prime number?
False
Let l(g) = -g**2 + 160. Let j be l(0). Let o = j - 101. Is o composite?
False
Let n = 5502 + -3163. Is n prime?
True
Suppose f + 2*i - 14 = 0, 2*i - 39 = -3*f - i. Suppose z = 5*z - f. Suppose z*o - 185 = -2*o. Is o composite?
False
Suppose -3*n + 2246 - 173 = 0. Is n composite?
False
Suppose -90 = -2*x + 34. Suppose 5*d = -5*n + 15, -5*n + 27 - x = -5*d. Is (n/4)/(2/(-140)) a composite number?
True
Let g = 2 + 1. Suppose g*u - 390 = 243. Is u a composite number?
False
Suppose 0 = 3*d + d + 12. Let l = d + 3. Suppose l - 3 = -3*y, -y = -b + 46. Is b a composite number?
False
Suppose 2*o = 3*s - 207, o = 6*s - 2*s - 271. Let 