t p = -113 + i. Is p prime?
True
Suppose -f - 44 = f. Let b = -115 - -26. Let w = f - b. Is w a prime number?
True
Let w = -2 - -13. Suppose -2*i = 6, 4*i - 12 - 20 = -2*u. Let h = w + u. Is h prime?
False
Is ((-7)/(-3))/(10/8310) a composite number?
True
Let l(q) = 21*q**3 + 2*q**2 - 2*q + 2. Let t be l(2). Suppose 4*m - t - 94 = 0. Is m prime?
True
Suppose s = -2*s - 6, -b = s + 4. Is (b + 1)/((-1)/19) composite?
False
Suppose -14*y = -12*y. Suppose 5*j + 5*z - 1280 = -y*z, 241 = j - 2*z. Is j prime?
True
Let y(q) = q + 1. Let j be y(-2). Is -2 - (-52 + (j - -2)) a prime number?
False
Is (-10)/(-25) - (-2673)/5 a prime number?
False
Is (-2 - -5 - 4) + 632 a prime number?
True
Let w = -5 - -5. Suppose w = 2*a - 169 - 53. Is a prime?
False
Suppose -2*a = a - 276. Let d = a + -43. Is d prime?
False
Suppose 6*j - 4*j = 4. Suppose j*l - 165 - 5 = 0. Suppose -d + l = -5*o - 5, 0 = -5*d + 2*o + 427. Is d composite?
True
Is -1 + (-4)/(-1)*48 prime?
True
Is 9376/20 - (-3)/15 a composite number?
True
Let l = 58 - -3. Suppose 4*r + 2*u + 2*u = 536, -3*u = 2*r - 268. Suppose -5*g = -r - l. Is g a composite number?
True
Let o(s) = 8*s + 1. Let m be 1 + -2 - (-9)/(-3). Let q = 8 + m. Is o(q) composite?
True
Suppose -5*n + 240 + 175 = 0. Is n composite?
False
Suppose 2*b = b + 4. Suppose b*g = 5*g - 53. Is g a composite number?
False
Let p be 3/5 - 66/10. Let r be 6/(-4)*32/p. Let z(c) = 9*c - 3. Is z(r) a prime number?
False
Let n(j) = 3*j + 35. Let c(q) = -q - 12. Let k(r) = 17*c(r) + 6*n(r). Let b be k(0). Is 766/10 - b/(-15) composite?
True
Suppose 5*u - 2*u - 12 = 0. Suppose 3*p + p + 179 = 5*v, 2*p = 5*v - 177. Suppose -v = -u*f + 41. Is f composite?
False
Suppose -2*z + 15 = 3*z. Suppose 0*l = -3*j + 3*l + 156, -l + z = 0. Is j prime?
False
Let a(o) be the first derivative of o**2/2 + 115*o + 2. Is a(0) a composite number?
True
Suppose 3*m - 5*s = 522, 3*s = -4*m + m + 546. Is m a prime number?
True
Let g = 662 + -7. Is g a prime number?
False
Let l(c) = 9*c - 1. Let i be l(-5). Let y = i - -120. Suppose v + 27 = 4*x + y, 4*v = 2*x + 146. Is v a prime number?
False
Let v(t) = -1. Let o(f) = -19*f + 6. Let l(q) = o(q) + v(q). Let i be l(-6). Is (i/(-2))/(3/(-6)) a prime number?
False
Suppose -4*s + 5*b = b + 20, -5*s = 4*b - 20. Let r = 7 - s. Let k(m) = 2*m - 1. Is k(r) a prime number?
True
Suppose 0*y = -2*y + 10. Suppose -2*r + 0*a + y*a = 2, 0 = 2*a. Let b(x) = -208*x**3 + 2*x**2 + x. Is b(r) composite?
True
Suppose 14020 = j + 3*j. Is j a prime number?
False
Suppose 4*r - 3*v - 234 - 268 = 0, -2*v + 512 = 4*r. Is r prime?
True
Let p be (-1)/3 - (-13)/3. Suppose -149 = -p*z + 3*z. Is z a prime number?
True
Suppose -955 = 9*c - 14*c. Is c a prime number?
True
Is 1/(2/(-712)*-4) a prime number?
True
Let h(j) = 2*j - 4. Let r be h(6). Let s(y) = -17*y**2 + y + 7. Let q(g) = -6*g**2 + 2. Let u(p) = r*q(p) - 3*s(p). Is u(-4) a composite number?
True
Let f(i) = -24*i. Let m be f(-1). Let x = m - -10. Is x a prime number?
False
Suppose 3*p - 5*p = 0, 0 = u - 2*p. Suppose u = 5*q - 3*i - 367, 0 = 5*q - 2*i + 135 - 503. Is q composite?
True
Suppose 0 = p + u - 9, -2*p + 2*u = 2. Suppose -p*h = -0*h - 2116. Is h a composite number?
True
Suppose 4*i - 4*c = 288, -2*i + 4*c = -i - 75. Suppose 4*h = -f + i, 0 = -3*h - 2*h - f + 88. Let g = 16 + h. Is g a composite number?
True
Let v be (-6)/(-8) + (-1)/(-4). Let u be (-222)/4*1*-2. Is (v/3)/(1/u) a prime number?
True
Let q(i) = -i + 2. Let y be q(2). Suppose 123 = 3*g - 18. Suppose y*x = x - g. Is x composite?
False
Let p(n) = -5*n**3 + 7*n**2 - 26*n + 11. Is p(-8) a prime number?
False
Let g(b) = -7*b**3 - b - 1. Let d be g(-1). Suppose 9*i - 190 = d*i. Is i composite?
True
Let z(c) = c**2 - 6*c + 7. Let y be z(10). Suppose 0*r + 167 = 3*r - h, 4*h - y = -r. Is r composite?
True
Suppose -3*m + 2935 = 2*j - 3*j, 965 = m + 3*j. Is m a composite number?
False
Suppose -3183 = -3*y - 0*y. Is y a composite number?
False
Let x(u) = u**3 - 6*u**2 + 2*u - 9. Let h be x(6). Suppose 6 + 0 = h*k. Let i(g) = 36*g - 3. Is i(k) prime?
False
Let x(j) = 11*j**2 + j**3 + 4 - 9 + 4. Is x(-8) a prime number?
True
Let c = -261 - -710. Is c prime?
True
Let b be -4 - (-259 - 2 - -1). Let j = b + -19. Is j prime?
False
Let r = 15 - -24. Is r a composite number?
True
Is 0/1 - -3 - -19 a prime number?
False
Let o = 40 + -62. Is ((-68)/8)/(1/o) a composite number?
True
Let x be (1 + 0)*1*-43. Let g be -10*12/15*x. Suppose 2*a - g = -106. Is a prime?
False
Let q(j) = j**2 + j + 15. Let i(v) be the third derivative of -v**5/12 - 5*v**4/24 - 38*v**3/3 - v**2. Let b(n) = 2*i(n) + 11*q(n). Is b(0) a composite number?
False
Suppose 4*g - 648 = -c, -2*g - c + 417 - 93 = 0. Let u = g + -35. Is u prime?
True
Let f(b) = -141*b - 7. Suppose 14 = -2*y + 4. Let s be f(y). Is 4/18 + s/18 a prime number?
False
Suppose g + 1240 = 3*g - 3*a, -5*a = -3*g + 1860. Suppose -3*m + 7*m = g. Is m a prime number?
False
Let s be (8/3)/((-2)/(-3)). Suppose -4 = -2*y + s. Suppose 38 = 2*i + 2*r, -y*i + 6*r + 76 = 4*r. Is i a composite number?
False
Let a(i) be the second derivative of -i**6/144 - i**5/40 - i**4/6 + i. Let t(y) be the third derivative of a(y). Is t(-8) a composite number?
False
Let p = 17 - -15. Let n = 53 - p. Is n prime?
False
Suppose -4*f + 5*c - 211 - 416 = 0, c - 789 = 5*f. Suppose 5*g - 3*h = 6*g - 15, -4*g - 2*h = -30. Is (f/g)/((-2)/6) a composite number?
False
Let q(y) = -y**3 + 7*y**2 + y + 6. Let c(w) = -2*w**3 + 13*w**2 + w + 11. Let z(l) = -3*c(l) + 5*q(l). Let u be z(4). Let n = u + 2. Is n composite?
False
Is 1772/6 + (-10)/30 prime?
False
Let z(w) = 22*w - 1. Is z(3) a prime number?
False
Let x(n) = 5*n**2 - 4*n + 3. Let f be x(4). Suppose 0 = v + 5*r + 104 - 477, 0 = v + 2*r - 361. Suppose -2*c = -v + f. Is c a prime number?
False
Let z(j) = -j. Let i(o) = 8*o - 9. Let w(f) = i(f) - 2*z(f). Is w(8) composite?
False
Suppose 2*o - 2692 = -2*o - y, -3*y = -3*o + 2019. Is o prime?
True
Suppose 0 = 5*j + 20, 3*y + j = 2*y - 23. Let l = -12 - y. Is l a prime number?
True
Let n = 10 + -30. Let w = n + 55. Is w a prime number?
False
Suppose n - 4*n = 132. Let f = 78 + n. Is f a composite number?
True
Let m be (-1)/4 + (-7)/4. Let a(p) = 3*p**2 + 2*p + 3. Let b be a(m). Let t = b - 0. Is t a prime number?
True
Let a = 7 - 2. Suppose 5*r - 615 = -a*w, -4 = -2*w + w. Is r composite?
True
Let l = -2 + 6. Let g be 4/l*(6 - -1). Suppose -g*z + 2*z = -170. Is z composite?
True
Suppose 5*s = 2*r - 378 + 129, 251 = 2*r - 3*s. Is r composite?
False
Let p(n) be the first derivative of -65*n**2/2 - 1. Let i(f) = -f + 3. Let d be i(4). Is p(d) a prime number?
False
Let o(w) = -8*w - 6. Let p be o(-7). Let x(q) = q**2 - 14*q - 3. Let l be x(11). Let g = l + p. Is g composite?
True
Let k(i) = -46*i - 10. Is k(-2) a composite number?
True
Suppose -y - 1 = -3*g, -5*g - 5 = 2*y + 8. Let p(h) = 19*h + 1. Let b be p(g). Let q = b + 25. Is q prime?
True
Let x = 144 - -23. Is x a composite number?
False
Let o(m) = m**3 + 4*m**2 + m - 1. Let l be o(-3). Suppose 2*d + k - 47 - 374 = 0, -l*d - 5*k = -1050. Is d a prime number?
True
Let z = -29 + -6. Suppose 5*k + 145 + 190 = 5*d, -5*d - 15 = 0. Let r = z - k. Is r a composite number?
True
Let o(i) = 28*i**2 - 2*i + 7. Is o(4) a prime number?
False
Suppose -4*f = -3*f - 2. Suppose -2*w = -f*d, 3*w - 8 = -3*d + 10. Suppose -52 = -4*b + 4*c, 3*c - 25 = -w*b + 14. Is b prime?
True
Suppose -3*w = -3*j - 225, -3*j + 2*j - w = 79. Is (j - -3)*(-3)/6 a prime number?
True
Let l = 349 - 192. Is l composite?
False
Let x(q) be the second derivative of q**4/12 - q**3/3 - 3*q**2 - 5*q. Is x(-8) prime?
False
Is (-40118)/(-39)*(-3)/(-2) prime?
True
Suppose 4*z + 1146 - 414 = 0. Let u = 301 + z. Is u composite?
True
Let p = 2 - -3. Suppose g - 74 = -j + 243, -p*j = 10. Is g prime?
False
Suppose 5*q = 3*q - 172. Is q/(-12) + 2/(-12) a composite number?
False
Let g(i) = 2*i - 4. Let z be g(3). Suppose -z + 4 = q, -j + 372 = 4*q. Let d = j + -219. Is d a composite number?
True
Suppose 2*t - j = -4*j - 30, -j = 2*t + 26. Let y be -6*(-3)/((-27)/t). Let r = y + 27. Is r prime?
False
Let t(d) = -3*d**3 - 11*d**2 - 5*d - 1. Let o be t(-5). Suppose -9 = -7*i + o. Is i composite?
False
Suppose 1898 = 3*s - 11275. Is s a prime number