Is q a prime number?
True
Let m = 8 + -4. Is (-67)/(-1)*(-3 + m) a composite number?
False
Suppose -4*n + 3560 = 3*d, -2*n + 3*n - 5*d - 867 = 0. Is n prime?
True
Let h = -1299 - -1946. Is h composite?
False
Let y(n) be the second derivative of n**3/2 - n**2 - 2*n. Let r = -6 + 11. Is y(r) composite?
False
Suppose 195 = -2*v - 4*p - 155, 5*p = 5*v + 890. Let o = -1771 - -1263. Let n = v - o. Is n composite?
False
Let x = -343 + 503. Suppose -3*b + x - 7 = 0. Is (1 - 2)*b/(-1) prime?
False
Let l be -2 - (-1 + 2 - 4). Let g be (3 - 2)/(l/(-2)). Let w(r) = -5*r**3 - r**2 + 3*r + 1. Is w(g) a prime number?
True
Let y(u) = 2*u - 2. Suppose 0 = 4*v - 5*f - 37, 2*v - f = 4*f + 31. Let g be y(v). Suppose n = -g*n + 335. Is n composite?
False
Let c = 0 + 17. Suppose 0 = -3*j + 2 - c. Let v(z) = -4*z + 5. Is v(j) a composite number?
True
Let u(b) = -b**2. Let p be u(-2). Let t(j) = -58*j - 6. Let n be t(p). Suppose 0 = 5*m - 329 - n. Is m prime?
False
Let b(u) be the first derivative of u**3/3 - 3*u**2 - 3*u - 2. Is b(-4) composite?
False
Let v(m) = -29*m**2 - 4*m - 3. Let y(x) = -29*x**2 - 5*x - 4. Let r(c) = -3*v(c) + 2*y(c). Is r(2) a composite number?
True
Let o(a) = -a**3 - a**2 + 4. Is o(-3) composite?
True
Let k = -23 + 32. Let t = 48 + k. Is t prime?
False
Let w(r) = 9*r**2 - 6*r - 5. Is w(-4) composite?
False
Suppose 0 = -2*r + 3524 + 390. Is r prime?
False
Let q = -351 - -1052. Is q a prime number?
True
Suppose 9 = a + 5*m, -2*a - 2*m = -2 - 8. Suppose -5*n + n + a*z + 2596 = 0, -2*z = 5*n - 3266. Suppose 5*k - n = k. Is k a prime number?
True
Let p(a) = -72*a + 1. Let z(s) = -s**3 + 2*s**2 - 3*s**3 + s + 4*s**3 + s**3. Let k be z(-2). Is p(k) a composite number?
True
Let n be (-2)/(-11) + (-217)/(-77). Suppose n*f = f + 4. Suppose -3*j = -4*d + 103, -2*d + 78 = 2*d + f*j. Is d a prime number?
False
Let n be (-709)/5 + 5/(-25). Let y be 1/((-282)/n - 2). Let g = -4 - y. Is g composite?
False
Let t = -40 + 58. Suppose 2*k - 5*k + t = 5*g, -4*g = 0. Is k prime?
False
Let m(k) = 3*k + 8. Let v be 0 + (-12)/(-2) + -3. Let n(q) = q + 3. Let o be n(v). Is m(o) composite?
True
Let x(q) = 6*q**2 + 7*q - 6. Let k be x(4). Suppose 2*m - 72 = k. Is m a composite number?
True
Suppose -4*c - 7859 = -g, 4*g - 6*c + 9*c = 31417. Is g prime?
False
Let l = -19 - -39. Let g be (-12)/l - (-2)/(-5). Is (0 + 0 + g)*-49 composite?
True
Is (-1 - (-1 + 2)) + 261 prime?
False
Let v be (-58)/(-4) + 1/2. Suppose 5*h - 36 + 5 = -b, 3*b + v = 3*h. Is h a prime number?
False
Let m(o) = 234*o + 1. Let g be 3 + -1 + 0 + 1. Is m(g) a composite number?
True
Suppose o - 1034 = -o. Is o prime?
False
Suppose -4*i - i = -n - 10840, 0 = 2*i + n - 4329. Is i composite?
True
Let t be (-1)/(-2 + 10/6). Suppose 0*f - f = -t. Suppose -4*u = f*h - 66, 6*u - u - 3*h - 69 = 0. Is u a prime number?
False
Let l = 452 - -609. Is l composite?
False
Let h = 1631 + -482. Is h prime?
False
Suppose 2 = 5*m - 3*m. Let l be -92 + (1 - 0)/m. Is 3*(-2)/(-3) - l a prime number?
False
Suppose 0 = -c + 7*c - 276. Suppose -2*h + 0*b + c = -4*b, 2*h = b + 43. Is h composite?
True
Let w(t) = -t**3 - 9*t**2 + 5*t - 11. Let b be w(-10). Is 26/b - (-169)/3 a composite number?
True
Let y = 1321 - 882. Is y a composite number?
False
Let u = -132 + 513. Suppose 0*c - u = -3*c. Is c a prime number?
True
Let d = 95 - 34. Suppose d = m + 2*h, 5*h - 103 = -5*m + 182. Is m prime?
True
Let k(l) = -l**3 + 20*l**2 - 11*l - 1. Is k(18) prime?
True
Suppose -19*l + 887 = -18*l. Is l a prime number?
True
Let s be 2*3/(-24)*-4. Let j = 1 - s. Let d(g) = g**2 + 69. Is d(j) a composite number?
True
Let i(p) = -p**2 + 7*p. Let h be i(7). Suppose 2*c - 34 - 32 = h. Is c a composite number?
True
Suppose 2*k - 218 = 2*m, -2*m + 285 = 5*k - 232. Suppose 0*p - k = -3*p. Is p prime?
False
Let o(m) = -503*m**3 - 2*m**2 + 2*m + 3. Is o(-1) prime?
False
Suppose -5*i = -0*i - 430. Is i a composite number?
True
Suppose -5*r + 2*f = -0*f - 165, -5*r = -f - 170. Is r composite?
True
Let y = 3 + -3. Suppose 3*a - 312 - 81 = y. Suppose 5*o + g - a = 0, 1 = -0*g + g. Is o composite?
True
Is (-3)/(-7) - 3406/(-7) a prime number?
True
Suppose -114 + 19 = -5*m. Is m a prime number?
True
Suppose x - 551 + 42 = 0. Is x composite?
False
Let q(p) be the first derivative of p**3/3 + p**2 - 3*p - 2. Let w be q(-6). Let o = w - -16. Is o composite?
False
Let m(j) = 14*j + 17. Let u(k) = 15*k + 17. Let n(g) = -6*m(g) + 5*u(g). Is n(-12) a composite number?
True
Suppose 3*f - 2016 = -3*p, 4*p - 3363 = -p - 2*f. Is p a prime number?
True
Let z(m) = -m**2 + 5. Let a be z(0). Is 276/a + 12/(-60) a composite number?
True
Suppose -3*m + 18 = -2*q - 52, -107 = 3*q - 5*m. Let k = q - -50. Is k prime?
False
Let t be 4 - (2 - -3 - 3). Suppose 557 = 5*p + t*d - 392, -15 = 5*d. Is p composite?
False
Suppose -2*q - 2*s + 820 = 0, -4*q = -q + s - 1228. Let l = q - 250. Suppose -2*w = -5*w + l. Is w composite?
False
Let l(c) = c**2 + 7*c - 9. Is l(10) a prime number?
False
Suppose a + 2*a + 9 = -3*p, -5*p = -a + 15. Suppose a*q - 2 = -q. Is 12/(q + 0) + 0 a prime number?
False
Let q(i) = 2 + 11 - 2 - i**2 + 10*i. Is q(10) a composite number?
False
Let x be (22/(-2) - -2) + 0. Let v = 13 + x. Suppose -v*k + 0*k = -2*r + 342, -r + k + 167 = 0. Is r prime?
True
Suppose 4*x - 2*x + 5*k = -1, -2*x - 2*k = -2. Is x/(-6) - (-136)/12 a composite number?
False
Suppose 3*r - 1032 = -240. Suppose r = -3*u - y, 2*u - 7*u - 3*y = 436. Is (-3)/(-3) + -1 - u prime?
True
Let d be 1/3 + (-170)/15. Let r = d - -306. Is r a prime number?
False
Suppose 0 = y - 5*y - 24. Let d(j) = -7*j**3 - 7*j**2 - 6*j + 8. Let f(p) = -3*p**3 - 4*p**2 - 3*p + 4. Let r(i) = -2*d(i) + 5*f(i). Is r(y) composite?
True
Suppose -4*j = -5*j + 745. Suppose j = 5*a - 550. Is a prime?
False
Suppose 3*d + 3 = s, -5*d = -0*d - s + 3. Suppose -l + d*l = -46. Is l prime?
False
Is ((-34)/3)/((-356)/177 + 2) prime?
False
Let d = 0 + 85. Is d composite?
True
Is (152 + -19)/(1/1) prime?
False
Let u be (0 + (-6)/15)*-5. Suppose -u*h + 340 = 2*h. Is h composite?
True
Let g(k) = 54*k - 5. Is g(4) composite?
False
Suppose -4*c - 9 - 15 = 0. Let g(q) = -2*q**3 + 7*q**2 - 3*q + 2. Let l(b) = -b**3 + b**2 + 1. Let h(d) = -g(d) + 3*l(d). Is h(c) composite?
True
Let x(i) = 246*i. Let h be x(-1). Let n be (-3 - -2) + h/2. Let c = -87 - n. Is c composite?
False
Let o be (-14)/(-8) - 3/(-12). Suppose -o*q + 202 = -4*z, -4*q + 15 + 101 = -2*z. Let f = -29 - z. Is f a composite number?
False
Let f = 2 - 6. Is ((-55)/10)/(1/f) a composite number?
True
Let j(s) = 186*s**3 + 2*s**2 + s - 2. Is j(1) prime?
False
Is 151 - (2 - (0 - 0)) prime?
True
Let y(z) = -5*z**3 - 29*z**2 + 5*z - 11. Let s(w) be the first derivative of w**4/4 + 7*w**3/3 - w**2/2 + 3*w - 1. Let d(a) = 9*s(a) + 2*y(a). Is d(5) prime?
False
Suppose 0 = -2*t - f - 0*f + 1083, -3*t = -2*f - 1614. Suppose 0*l + 5*l = t. Suppose -3*i = 3*s - 0*i - l, i + 129 = 4*s. Is s a composite number?
True
Let x(z) = -z**2 + 9*z - 5. Let q be x(8). Suppose h - 3*t = -q, -5*t + 6 = 1. Is -2 + h + 0 + 33 a composite number?
False
Let o be 10/(-4)*20/(-25). Is ((0 - 121)*o)/(-2) prime?
False
Let q(r) = -248*r - 31. Is q(-6) a prime number?
False
Let h(u) be the first derivative of u**3 + 4*u**2 + 6*u + 5. Is h(7) composite?
True
Suppose 2*a - 3 = -5*f - 7, 0 = 3*f + 12. Let r(z) = z**3 - 5*z**2 - 6*z - 5. Is r(a) composite?
False
Let v = 7 + -10. Let a(z) = 2*z**2 - 5*z - 8. Let y(f) = f**2 - 4*f - 7. Let s(t) = v*y(t) + 2*a(t). Is s(-8) composite?
False
Suppose 3*o - 25 = 8*o. Let i(l) = -l**2 - 5*l + 5. Let u be i(o). Suppose 3*w + 2*n = 2*w + 15, u*n = -4*w + 66. Is w a composite number?
False
Suppose -a = 4*a + 4*k + 6, 3*a - k = 10. Is (a + 0)*708/8 composite?
True
Let g(r) = r**3 - 3*r**2 - 5*r + 8. Let c be g(6). Let m = c - -137. Is m prime?
True
Suppose -4*i + 2*i = 2*r - 80, -i - 4*r + 43 = 0. Suppose 0 = y - i - 50. Is y a composite number?
False
Let l(z) = z**3 + 15*z**2 + 7*z - 12. Is l(-11) a composite number?
True
Let p(v) = -v + 1. Is p(-6) a prime number?
True
Let q = 118 - -1273. Is q a composite number?
True
Let w = -3 + 5. Suppose w*b = -16 + 4. Is (-189)/b - (-2)/(-4) composite?
False
Suppose -4*i = 2*b - 2910, 2*i - 6675 = -5*b + 640. Is b composite?
True
Let i be -