**2 + 14*c - 5. Is v(-7) prime?
False
Let q = 14 - 9. Suppose x + 2*o - 31 = -2*x, 50 = 5*x + q*o. Is x a composite number?
False
Is (-12 - -63)*(0/(-3) + 1) a prime number?
False
Let q(g) = -g**3 + 2*g**2 + 5*g - 2. Let k be q(4). Is (-229)/(-7) - 4/k prime?
False
Suppose 754 = 4*d - 838. Suppose 0 = j + 5*q - 84, 0*j + 3*q = -5*j + d. Is j prime?
True
Suppose 2*t + 57580 = 6*t. Is t prime?
False
Let t(m) = 3*m + 3. Let r(c) = -c**2 + 3*c + 1. Let a be r(4). Let o be t(a). Let u = 20 + o. Is u a prime number?
False
Suppose 136 = 4*x + 2*u - u, 2*x - u - 74 = 0. Suppose 0*t - x = -t. Is t a prime number?
False
Suppose -999 - 1507 = -2*r - 5*j, -r + 5*j = -1253. Is r composite?
True
Suppose -1 = w + 1, 3*p + 5*w = 551. Is p composite?
True
Suppose c - 5*r = -2, 4*c - 3*c = -5*r - 12. Is 478*1*c/(-14) prime?
True
Let c be 186/(-2 + 4) + 1. Suppose 2*w - x + c - 418 = 0, 2*x - 167 = -w. Is w prime?
True
Let s(x) be the first derivative of -x**3/3 - 5*x**2 + 10*x - 4. Is s(-9) composite?
False
Let s(d) = -4*d**2 - 8*d - 9. Let u(w) = -w**2 - w - 1. Let y(m) = s(m) - 5*u(m). Let r be y(5). Is (212/r)/(6/9) a composite number?
False
Let b(j) = -4*j**3 - 3*j**2 - 7*j - 1. Is b(-6) composite?
False
Let l = 154 + 31. Is l a prime number?
False
Is 38070/14 + 24/(-84) prime?
True
Let p be (4/10)/((-8)/(-40)). Suppose -p*b = -4*b + 130. Is b prime?
False
Suppose -m + 10 = -331. Is m prime?
False
Let q(p) = 6*p**2 - 7*p + 6. Is q(4) a composite number?
True
Let n be 1 - 50*(-1)/(-2). Let c be n/(-15)*(-108 + 3). Let d = -97 - c. Is d a composite number?
False
Let w = 2755 - 1782. Is w prime?
False
Let m = -17 - -19. Suppose 3*o - 263 = -3*g + 8*o, -5*g = m*o - 459. Is g prime?
False
Let z(h) = h. Let j = 2 + -2. Let l be z(j). Suppose -3*s + 119 = 6*d - d, l = -s - 2*d + 41. Is s prime?
False
Let j(d) = 2*d**2 + 13*d + 16. Is j(-11) composite?
True
Let m be 7/(-2)*2*-33. Suppose 4*y - m = y. Is y prime?
False
Let m(g) = -526*g - 1. Let v be m(-4). Is v/11 - (-10)/(-55) prime?
True
Let n = -5 - -30. Suppose j - 15 = 5*f - 46, 5*f = -5*j + n. Is f a prime number?
False
Is 1/2 - (-51)/2 a prime number?
False
Let j(p) = 312*p**3 - p**2 - p + 1. Is j(1) a prime number?
True
Suppose s = -2*m + 34, 4*m + 8 - 116 = -3*s. Suppose 2*q = -2*q + s. Is q composite?
True
Let u(l) = l**3 - 3*l**2 + 3. Let x be u(3). Suppose 0 = -5*c + 3*i + 329, -3*c + 2*i = x*i - 203. Is c a composite number?
False
Let q(h) = h**3 - 8*h**2 - 16*h + 13. Let j(u) = 3*u**2 - 2*u. Let l be j(2). Let m be (-4)/l*20/(-1). Is q(m) prime?
True
Let x(s) = s**2 + 6*s + 4. Let h be x(-6). Let v be h/8*(0 - -2). Is v - 3 - (-19 + -2) composite?
False
Let q be -1 - (0 - 2 - 10). Suppose 5*d = 3*k - q, -4*k + 0*d + 18 = -5*d. Is k a prime number?
True
Let g(y) = 118*y + 1. Is g(1) a composite number?
True
Let l = -1 + -1. Let m be 2 + (l + -2)/2. Suppose m = 5*r - 5*n - 175, 3*r + 5*n - 77 = n. Is r a prime number?
True
Let j = 9 + -6. Suppose -j = -5*g + 122. Is g a composite number?
True
Let a(z) = -z**3 - z**2 - 1. Let i be a(-2). Suppose b - 6*p = -2*p + 109, -i*b - p = -262. Is b a composite number?
False
Let d = 14 + -15. Is d*(-2)/((-8)/(-508)) composite?
False
Let k(j) = -2*j - 2. Let x be k(4). Let m be (-2)/(-5) - 626/x. Is 9149/m - 4/18 prime?
False
Let q be (3 - 2)/((-1)/(-61)). Let a = q - 30. Is a composite?
False
Let f = 1571 + 792. Is f a prime number?
False
Suppose 541 - 162 = a. Is a a composite number?
False
Let y(a) be the second derivative of -a**5/20 + 3*a**4/4 - 4*a**3/3 + 11*a**2/2 + 2*a. Is y(8) prime?
True
Suppose -w + 0*w = 0. Suppose 2*x = 5 + 1. Suppose x*y + 0*q = q + 201, w = 4*y - q - 268. Is y composite?
False
Let m(p) = 4*p**2 + 8*p - 13. Is m(-7) prime?
True
Suppose -4*j + 2*h + 30 = 0, j - 6*j + 20 = h. Suppose j*b = 4*o - 3*o + 20, o = b. Suppose -5*c - 210 = -b*l, 3*l = -5*c - 51 + 137. Is l a composite number?
False
Suppose 2*k - 73 = -7. Suppose t - k - 7 = 0. Suppose c + 9 = t. Is c a prime number?
True
Let t(x) = x**2 - x - 8. Let c be t(-6). Is (c/2 + -2)/1 a prime number?
False
Let l be 0/((-3)/(-3 + 0)). Suppose -q = -3*j + 5*j, -4*q - 3*j = l. Suppose 0 = -3*p - q*p + 447. Is p prime?
True
Let x = 632 - 133. Is x a prime number?
True
Let q = -13 + 6. Let w be (q - -1)/(3/(-2)). Suppose -w*s + 0*r - 2*r = -90, 3*s + 5*r - 64 = 0. Is s prime?
True
Suppose -3*j - 132 = -933. Let v = j - 178. Is v a prime number?
True
Let k(p) = 118*p - 1. Is k(2) prime?
False
Let q(f) = -4*f - 4. Let c be q(-6). Let g = -2 + c. Let o = g - 12. Is o composite?
True
Is ((-16)/48)/((2/2034)/(-1)) a prime number?
False
Let n = 186 + -106. Let f = n - 43. Is f prime?
True
Let l(x) = -x + 4. Let z(u) = 3*u - 11. Let o(h) = -17*l(h) - 6*z(h). Is o(-4) a prime number?
True
Let g(i) = i**2 - 2*i - 3. Let a be g(4). Suppose -q + 0 + a = 0. Suppose -235 + 60 = -q*z. Is z prime?
False
Suppose 0 = -z - 94 + 23. Let d = 138 + z. Is d composite?
False
Suppose -828 + 37 = -j. Is j a composite number?
True
Let z = -62 + 127. Let h = 242 + z. Is h a prime number?
True
Suppose 4*z = -0*z + 316. Is z prime?
True
Suppose 0 = -3*n + 28 + 83. Is n prime?
True
Let b(w) = -2*w**3 + 3*w**2 + 7*w. Let a be 1 - 0 - 2 - 1. Let c(k) = 4*k**3 - 6*k**2 - 15*k - 1. Let t(i) = a*c(i) - 5*b(i). Is t(3) a prime number?
False
Suppose 3*r - r + 46 = 0. Let a = 64 + r. Suppose -a = 3*k - 206. Is k composite?
True
Suppose -3*r + 2*r + 709 = 0. Is r prime?
True
Let j be (1 + -4)*(0 + -1). Let p(f) = f**2 - 4*f - 3. Let d be p(j). Is 6/9 - 8/d composite?
False
Is ((-844)/(-6))/((-18)/(-27)) prime?
True
Suppose 5*s = -r + 166, -3*s = 3*r - 0*s - 558. Is r composite?
False
Let c(a) = 10*a + 3. Let h be (-5 + 2)*5/(-3). Suppose h*q = 3*o - 35, 41 = 6*o - o - 4*q. Is c(o) a composite number?
False
Suppose y + y - 520 = 0. Suppose -6*n = -2*n - y. Suppose -n = -2*d + z + 4*z, 63 = 3*d + 4*z. Is d composite?
True
Let m(p) = 4*p**2 - 4*p + 1. Let r = -2 - 3. Is m(r) prime?
False
Suppose -3*k = k - 2*b - 900, 2*k - 450 = -b. Let j = k + 34. Is j a composite number?
True
Suppose c = 3*c + 30. Let u = c + 48. Is u composite?
True
Let p(h) = 4*h - 7. Is p(11) prime?
True
Suppose 0 = -2*f - 2*f - 96. Let d = -3 - f. Is d prime?
False
Is (-23)/((-1 - 2) + 2) prime?
True
Let h(u) = 1 - 4 + 7*u**2 - u**2. Is h(3) a composite number?
True
Let x = 0 + -3. Is ((-69)/(-6))/(x/(-6)) a prime number?
True
Let a(j) = -j**3 + 8*j**2 + 12*j + 4. Is a(9) composite?
False
Let y(o) = 31 + o**2 - 15 + 51. Let r be y(0). Is r - (-6)/9*3 a prime number?
False
Let g(p) be the third derivative of -p**6/120 + p**5/60 - p**4/12 - 3*p**3/2 - 4*p**2. Is g(-7) a composite number?
False
Suppose 2*b + 4*l = -16, 3 = -4*b + 3*l + 4. Let a = 4 + b. Is a a prime number?
True
Let v = 553 + -390. Is v a prime number?
True
Let z = 2 + 2. Suppose 26 - 2 = z*h. Is 13*h + 1 + 0 composite?
False
Suppose -m = -0*m + 30. Let u = -5 - -30. Let w = u - m. Is w composite?
True
Let d(b) = -b. Let s(v) = 4. Let f(h) = 3*d(h) - s(h). Let u(x) = x**2 - 5*x - 1. Let a be u(4). Is f(a) prime?
True
Let s(y) = -119*y - 3. Is s(-4) a prime number?
False
Let o(j) be the first derivative of -j**7/840 + 7*j**6/360 + j**5/10 - 7*j**4/24 - 2*j**3/3 + 3. Let y(k) be the third derivative of o(k). Is y(8) composite?
True
Let h(v) = -2*v**2 - 6*v - 2. Let g be h(-4). Let d be (-2)/g - 42/(-15). Suppose d*t - 13 = 2*t. Is t a composite number?
False
Let k(d) = d**3 - 7*d**2 + 4*d + 6. Let y be k(6). Is y/(-9) + (-2001)/(-9) a prime number?
True
Suppose -7*d + 19167 = 3*h - 3*d, 4*h - 25534 = 2*d. Is h a composite number?
True
Suppose l - 5*z = -0*l + 2, -l + 2 = z. Suppose -4 = -l*r + 10. Let v(c) = c**3 - 8*c**2 + 10*c - 7. Is v(r) composite?
True
Let x = 2 - 5. Let j = 8 + x. Suppose 0*m = 3*k - j*m - 120, -3 = m. Is k a prime number?
False
Let k(y) = 25*y**3 - 2*y**2 - 2*y + 3. Is k(2) a prime number?
True
Suppose -4*p = -2*u - 3*p - 5, p + 7 = -u. Let g(z) = 12*z**2 - 3*z + 1. Is g(u) composite?
True
Suppose -2*v = -3*v + 3*x + 6, -3*v + 5*x = -10. Let d = 0 - v. Suppose -5*n + 60 = z - d*n, 3*z - n - 100 = 0. Is z a composite number?
True
Let c(o) = 8*o**2 - o - 4. Let t = 1 - -2. Is c(t) composite?
True
Let g(q) = -2*q + 109. Is g(0) a composite number?
False
Let w = -168 - -64