 Is c a prime number?
False
Suppose -6*z - 3*z = -5769. Is z a prime number?
True
Let c(l) = -98*l - 13. Is c(-4) a prime number?
True
Suppose -6*k - 1 = 11. Is (951/6)/((-1)/k) a composite number?
False
Let y(r) = 7*r - 4. Let m be (-94)/(-14) + 2/7. Suppose -2*g = 3*t - m, -g = 2*t + g - 2. Is y(t) composite?
False
Suppose 4*w + 0 = 8. Suppose -2*b - 2*b = 3*g - 3035, -w*b = -5*g - 1537. Is b a prime number?
True
Let q(b) = -b. Let n be q(-2). Suppose -4*i + 5*i = -n. Let o = 32 - i. Is o a composite number?
True
Let j = 10 - 6. Let b(i) = -i**3 + 4*i**2 - 4*i + 2. Let n be b(2). Suppose -n*h - 44 = -j*h. Is h composite?
True
Let j = -696 - -301. Let k = j + 610. Is k a composite number?
True
Suppose 11*q - 336 = -5*q. Is q prime?
False
Let n(j) = 39*j**2 - j. Is n(-2) a prime number?
False
Suppose 5*l + 4*o - 4 = 0, -2*o - o - 20 = -2*l. Suppose -7*y + 640 = -3*y + l*s, 3*s - 639 = -4*y. Is y composite?
True
Let a(h) = h**3 + 2*h**2 - 10*h - 13. Is a(6) a prime number?
False
Let r be (1/2)/(3/12). Let i be (2/(-6))/(r/(-330)). Suppose w + 4*w = i. Is w a prime number?
True
Suppose c + 0 = -8. Let y(v) = -v**3 - 8*v**2 - 12*v - 11. Is y(c) composite?
True
Let z = 2 + -2. Suppose -6 = -z*n - n. Is ((-22)/6)/((-2)/n) prime?
True
Let i = -353 + 620. Is i prime?
False
Let t = 1648 + -657. Is t prime?
True
Let c = 4 - 1. Suppose 4*i - 5*i - c*a = 5, 0 = -3*i - 5*a + 1. Is i a composite number?
False
Let z(x) = -x**2 + 11*x - 10. Let j be z(7). Let d = 51 + j. Is d prime?
False
Let u = 7 - 3. Suppose -2*o = 3*w - 11 - u, -4*o - 4*w = -24. Is o composite?
False
Let d(t) = 26*t + 7. Is d(3) a composite number?
True
Let v(z) be the third derivative of -7*z**4/12 - z**3/2 - 3*z**2. Is v(-3) composite?
True
Let h(i) = -i - 5. Suppose y + 0 = -7. Let v be h(y). Suppose -2*n = 5*c - 387, -3*n = v*c - n - 156. Is c prime?
False
Suppose -2*o = -4*s - 778, -s + 2*s - 5*o + 217 = 0. Let c = s - -289. Is c composite?
False
Let l = 1 + -1. Is -2 + 156/4 - l a prime number?
True
Let a(o) = -11*o**3 - 14*o**2 - 54*o + 8. Is a(-9) prime?
False
Let s be 4/6 + 1178/6. Suppose -4*o = -171 - s. Is 5*-2*o/(-8) a prime number?
False
Let d = -7 - -11. Suppose -5*m + 2*l + 15 = d, -2*l = m - 7. Suppose -m*k = -k - 46. Is k prime?
True
Suppose 6*y + 446 = 8*y. Is y a composite number?
False
Let m = 3 + -1. Suppose 3*l - m*l = -5*y + 10, -2*l - 3*y = -13. Suppose 2*a - a = -3*j + 23, -47 = -l*a + 2*j. Is a prime?
True
Let f(o) = 11*o. Let i(h) = -23*h - 1. Let r(q) = 7*f(q) + 3*i(q). Let s = 0 + 7. Is r(s) a prime number?
True
Let q(p) = -2548*p**3 + p. Let j be q(-1). Let k be j/(-6) + 1/2. Let c = 627 + k. Is c a composite number?
True
Let v(h) = h + 5. Let u = -12 + 6. Let l be v(u). Is 1 + l/(1/(-5)) prime?
False
Suppose -3*d = 5*n - 1061, n - 193 = 5*d + 8. Suppose -3*z = -0*f - 5*f - n, 251 = 3*z + 5*f. Is z a composite number?
True
Suppose 865 = 2*q - 2*l - 1099, 3*q = 5*l + 2940. Is q a prime number?
False
Suppose -4*v = -10 + 26. Is -93*(v/(-3) - 2) composite?
True
Let m(q) = -q**3 - 5*q**2 - 4*q - 1. Let c be m(-4). Is ((-1554)/12)/(c/2) composite?
True
Suppose 0*i - 4*m + 2996 = 4*i, 0 = -i - 5*m + 753. Suppose 0*o - i = -4*o. Is o a prime number?
False
Let p(f) = 14*f + 9. Let c be p(-6). Is (c/(-3) - -2) + -2 a prime number?
False
Suppose 2*t = -89 + 487. Let n = -65 + t. Is n prime?
False
Is (-587)/((-6 - -3)/3) composite?
False
Suppose -22 = -3*s - 7. Let x(v) = -s*v + 11*v - 6*v**2 + 12*v**2 - v**3. Is x(5) a prime number?
False
Let i(b) = -2*b**2 - 7 - b**3 + 1 + 2*b + 0*b**2. Let u be i(-5). Suppose k = -0*k + u. Is k a prime number?
True
Let i(q) = -q**3 - q**2 - q - 7. Let p be i(0). Let c(n) = 0*n**3 - 2 + n**3 + 6*n**2 + 2*n**2. Is c(p) a prime number?
True
Suppose -2*v = 2*v - 748. Is v a prime number?
False
Let n(l) = -l - 4. Let s be n(-4). Is (-41 - s)/(-1) + -3 prime?
False
Let b(q) = 6*q**2 + 25. Is b(-7) prime?
False
Let b be 4/(-20) + (-12)/(-10). Is (0 - (b - -1)) + 11 a composite number?
True
Let p(o) = -o - 14. Let k be p(-6). Let n(m) = m**2 - 10*m + 1. Let r be n(k). Let g = -80 + r. Is g a composite number?
True
Suppose -6*q + 695 = -q. Suppose -5*v + 182 = 3*o, q = 5*v - 5*o - 51. Is v a composite number?
False
Suppose 2*c = 6*c + 3*w - 3403, -2*c + 5*w = -1695. Let k = c - 591. Is k composite?
True
Let a = -39 - -250. Is a a prime number?
True
Let z = -1214 - -1905. Let o = -484 + z. Suppose -w = 2*w - 6, -3*t + 3*w = -o. Is t prime?
True
Let o(a) = -10*a + 7. Let y(s) = -7*s + 5. Let f(q) = 5*o(q) - 8*y(q). Suppose 2*p - 25 = -3*v, 2*v - 30 = -2*v - p. Is f(v) a prime number?
True
Let w = -1234 + 2295. Is w a composite number?
False
Let k(g) = -g**2 + 5*g + 1. Let n be k(4). Suppose n*f - 5*u = 60, -3*u = 4*f - 2*f - 4. Let q = f - -13. Is q a prime number?
False
Let t be (28/(-35))/((-2)/5). Suppose i = 5*g - t*i - 2258, 2*g = i + 903. Is g a prime number?
False
Let r(t) = t**3 - 9*t**2 - 9*t - 6. Let l be r(10). Let b(h) = h**3 + 6*h**2 - h - 5. Let k be b(l). Suppose -4*g - 3*j + 163 = 2*j, 4*g + j = k. Is g prime?
True
Let l = 36 - -1. Is l a composite number?
False
Suppose 0 = -0*o - 5*o - 3*a - 3, 2*a = -2*o - 2. Suppose o = 4*j - 2*j - 92. Is j composite?
True
Suppose 4*x - 15 = -x. Suppose g - 97 = 2*b + 2*b, 0 = -x*g + 5*b + 326. Is -4 + g + (-2)/(-1) a composite number?
True
Let x(l) be the third derivative of 5*l**4/12 + l**3/6 - l**2. Is x(2) a composite number?
True
Is (1/(-2))/((-3)/1086) composite?
False
Suppose 18*y = 13*y + 1265. Is y composite?
True
Let g(w) be the first derivative of 2*w**3/3 - w**2 + 6*w + 1. Is g(8) a prime number?
False
Let g(m) be the third derivative of -m**4/3 - m**3/3 - 3*m**2. Is g(-2) a prime number?
False
Let s = -26 - -33. Is s a composite number?
False
Let g be 13/(-3) - (-1)/3. Let i = -3 - g. Let p = i - -12. Is p composite?
False
Suppose -2*p = -3*n + 1, 0 = -4*n + p + 2*p + 2. Is (3 - 2)*(20 + n) a composite number?
False
Suppose o + 3*g - 6 = 4*o, 0 = -5*g + 25. Let k(d) = 6*d**3 + d**2 + 2*d. Is k(o) a composite number?
True
Suppose -15*a + a = -8162. Is a prime?
False
Suppose 3*b = -3*d + 108, -d + 11 + 31 = -5*b. Is d a prime number?
True
Suppose 3*m = -4*q + 151, 3*m - 3*q = -q + 163. Is m prime?
True
Let g = 6549 - 4564. Is g composite?
True
Suppose 0 = 5*u - 273 - 572. Let v = u + -102. Is v a prime number?
True
Suppose -4*l + 3*n = -7464, -3*l + 7468 = l - 4*n. Is 4/14 - l/(-21) prime?
True
Let n(o) = o**2 - 6*o + 2. Let d be n(6). Suppose -3*l + 64 = p, -8*p + 36 = d*l - 4*p. Is l a composite number?
True
Let g = 50 + 61. Is g composite?
True
Suppose 0*n = 2*b + 2*n + 4, -4*n - 23 = -b. Suppose -4*x - 201 + 586 = b*p, p - 3*x - 137 = 0. Is p a prime number?
True
Suppose 3*m = 4*b - 48, m - 4*b = 2*m. Let a = -17 - m. Let z = 8 - a. Is z prime?
True
Let g(q) = -q**2 - 13*q - 4. Let p be -6 + 1 + 0/2. Let z be g(p). Let u = z - 11. Is u a prime number?
False
Suppose 3*i + 30 = i. Let k be (18/i)/((-9)/30). Is 186/4*k/6 a prime number?
True
Let w be 5/((-20)/(-48)) + 4. Let n be (-4)/10 - (-313)/(-5). Let o = w - n. Is o prime?
True
Let l = 21 + 110. Is l a composite number?
False
Let f = -17 - -12. Let a(n) = -n**3 - 6*n - 2*n**2 - 3 + 0*n + n. Is a(f) a composite number?
False
Suppose 2*n = 5*u + 799, 3*u + 4 - 1 = 0. Is n composite?
False
Suppose 2*k - 1498 = 2*a, 3*k + 417 = -2*a + 2674. Is k a composite number?
False
Let l(x) = x**2 + x - 1. Let s(a) = 4*a - 2. Let m be s(3). Suppose 0 = -0*f + 2*f + m. Is l(f) a composite number?
False
Let h(r) = -7*r**2 + 3*r - 1. Let w be h(3). Let l be w/(-10) + 2/(-4). Suppose 4*i + l*d - 135 = 0, -d + 2 = -3*i + 108. Is i a prime number?
False
Suppose -2*f = -7*f + 25. Suppose 4*a - 3*a + 4*o = -15, 5*a + f*o = 0. Let t(m) = 5*m - 6. Is t(a) a composite number?
False
Let a = -21 + 2. Let y = a - -55. Let u = 87 - y. Is u a composite number?
True
Suppose 2*x + 58 = 5*j - 167, -5*j = 2*x - 245. Is j a composite number?
False
Let t(v) = 19*v**3 + v**2 + 4*v - 1. Is t(3) composite?
True
Suppose 2*s - 4*s = 0. Suppose s = -3*n + 122 + 79. Is n prime?
True
Let d(s) = s**3 + 6*s**2 + 2*s. Let k be d(-5). Let f be 3/k - (-1212)/15. Let p = f + -35. Is p a composite number?
True
Suppose 2*i - 2 = 6, 3*w = i + 8. Suppose -3*j - 46 + 2 = -