s a composite?
False
Let y(r) = 130*r**2 + 12*r + 23. Is y(-3) a prime number?
False
Let i = -66 - -9. Let m = i - -80. Is m a prime number?
True
Is (-1)/(((-5)/1799)/5) a prime number?
False
Let s be (6/4)/((-6)/32). Is 125/20 + 2/s composite?
True
Suppose 3*f + 250 = 5*r, 0 = -4*r - r - 4*f + 215. Is r a composite number?
False
Let g(x) = 291*x**2 - 4*x + 2. Is g(1) a composite number?
True
Let o be 6/4*-1*-2. Suppose 0 = -3*t + t + 6. Suppose -457 = -5*g + 4*k, t*g + g - o*k = 365. Is g prime?
True
Is (2/(-6))/(4/(-636)) a prime number?
True
Let n be -2 + ((-9)/3 - -2). Let r(s) = -84*s + 1. Is r(n) prime?
False
Let c = -909 - -1864. Is c a composite number?
True
Is (27/12 + -2)*524 composite?
False
Suppose 8*k - 6*k - 42 = 0. Is k a composite number?
True
Let y = -12 + 12. Suppose 2*r - 4*r - 4*m + 310 = y, 660 = 4*r - 2*m. Is r a prime number?
True
Let l(q) = 36*q**2 + 2*q - 5. Let k be l(4). Let c = -325 + k. Suppose 2*t - c = -2*m, 9*t - 4*t - 635 = -m. Is t composite?
False
Let x be 1 + 1 - (-3 + 1). Let i be (57/x)/(3/8). Suppose 3*w = i + 73. Is w a prime number?
True
Suppose 1 = 2*w - 3*w. Is (w - -4)*1477/21 composite?
False
Let p be 8/6 + 1/(-3). Let v be (-2)/(p/(-2)*2). Is 0/2 + 70/v a prime number?
False
Let r(p) = 2*p**2 - 18*p - 9. Is r(13) a prime number?
False
Let q = -1057 - -2400. Is q composite?
True
Suppose -2*z - 4*u = -10, 2 + 0 = u. Let v be (-55)/4 - z/4. Is (v/4)/((-1)/22) a prime number?
False
Suppose -5*o + 0*o + 50 = 5*p, 0 = o + 2*p - 15. Suppose -k - 14 = -j, o*j = 4*j - k + 16. Is j a composite number?
True
Let m = -1 + 4. Suppose 2*x - 5*x + v = -m, -5*v + 15 = 0. Is x*(-4)/(16/(-102)) composite?
True
Suppose -5*t + 140 = -105. Suppose 0 = -a - 0*a + t. Is a a composite number?
True
Suppose -4*w = -6*w - 348. Let p = -47 - w. Is p composite?
False
Let y be 10/14 - 2/(-7). Let p be 173 + 0 - 2*y. Let w = 298 - p. Is w prime?
True
Suppose -2314 = -7*n + 675. Is n a composite number?
True
Let n = 10 - 1. Let k(c) = -c**3 + 2*c - 2. Let r be k(2). Is (-2)/r*2*n composite?
True
Suppose 12 = -l - l. Let o(h) be the first derivative of -2*h**2 + 7*h + 3. Is o(l) prime?
True
Let s = -147 - -1026. Is s a prime number?
False
Let z be (-4)/6 + 11/3. Suppose -21 = -4*n + 3*a, -3*n + 18 = 2*a - 2. Suppose -z*w + n*w = 45. Is w a composite number?
True
Let f(d) = d**3 + 13*d**2 - 5*d + 6. Let o = 10 - 23. Is f(o) composite?
False
Let j be 2/(-8) - 6365/(-20). Suppose 2*s + s = j. Is s composite?
True
Let j(y) = 24*y + 1. Suppose 6*x - 24 = 2*x. Is j(x) a prime number?
False
Let j = 172 - 63. Let z = j + -76. Is z a prime number?
False
Let l(s) be the first derivative of 3 - s + 26*s**2 + 3 - 4. Is l(1) a composite number?
True
Let u(y) = 16*y - 5. Is u(15) a composite number?
True
Is (2/4)/(9/9684) composite?
True
Let z = 8 + -8. Suppose -s + 53 - 3 = z. Suppose -2*v = -4*v + s. Is v a prime number?
False
Let m(z) = -125*z - 17. Is m(-2) prime?
True
Let f = -12 + 13. Suppose -2 - 4 = 3*c. Is (f + c)*(-309)/3 composite?
False
Let p(u) = u + 1. Let v be p(-6). Let g(z) = z**3 + 6*z**2 - 3. Is g(v) composite?
True
Suppose 0 = n - 4*s, s = 6*s. Let h(v) = v**3 - v**2 - v + 38. Let c be h(n). Suppose -40 - c = -3*t. Is t a composite number?
True
Is (-86)/(-4)*(-3 - -5) prime?
True
Let o(c) = -107*c - 3. Let u be (-4)/(-14) + 16/(-7). Is o(u) composite?
False
Let m(r) = -r**2 + r. Let z be m(1). Let p = z - -7. Suppose v = 3*v + x - p, -3*v + 28 = -2*x. Is v a prime number?
False
Let m(i) = -5*i**3 - 6*i**2 - 7*i + 5. Is m(-5) composite?
True
Suppose -y + 155 = -13. Suppose -y - 17 = -g. Is g a composite number?
True
Suppose 3*q + 3*u - 126 = 0, -3*q - 5*u = 27 - 143. Is q a composite number?
False
Suppose 4*t - 1484 = 5*q - 131, 3*q + 340 = t. Suppose 5*n - 2*p = t, 0*n + 5*p = n - 49. Suppose 0*k + 3*k = n. Is k prime?
True
Let p = 426 - 223. Is p composite?
True
Let q be (-16)/6*366/(-4). Suppose -4*k + 2*k = -q. Is k + (1 - (4 + -2)) a composite number?
True
Suppose 4*m + 2*a - 2 = -0*a, 0 = -2*m - 5*a - 19. Let q be 4/(6/m)*1. Suppose -q*x = -0*x - 22. Is x a prime number?
True
Suppose -5*j = 2*y + 186, 0 = -4*j + 8*y - 4*y - 160. Let o = -15 - j. Is o a prime number?
True
Let u be ((-1448)/(-6))/(7/21). Let v = -351 + u. Is v prime?
True
Let h be 14/35 - 2/5. Let l be 5*(h - (-3)/3). Suppose -370 = -5*m + l*s, -2*s - 3*s = -m + 62. Is m composite?
True
Let g = -283 - 93. Is g/(-10) - (-10)/25 a prime number?
False
Let j(o) = o**3 - o**2 - o + 2. Let d be j(0). Is (d + -3)*-181 - 0 prime?
True
Let g(y) = -y**2 - 19*y + 12. Let r be g(-9). Suppose -5*o + r = -2*o. Is o a prime number?
False
Let g be (-1)/2 + (-170)/(-4). Let w = 10 + 54. Let i = w - g. Is i a prime number?
False
Let y(m) = m**3 - 7*m**2 - 11*m + 9. Let i be y(7). Let c be -2 + 3 + i/(-2). Suppose -4*s + c = s. Is s prime?
True
Let v(r) = r**2 - 6*r + 1. Let d be v(6). Is ((-37)/(-2))/(d/2) prime?
True
Let b be (-27)/(-4) + (-6)/(-24). Let i be (-144)/(-5)*(2 - b). Let x = 19 - i. Is x a prime number?
True
Let u(h) = -h**2 + 3*h + 3. Let m be u(3). Suppose -5*v + 404 = -3*w, 0 = m*v - v - 3*w - 167. Is v prime?
True
Let h(d) be the second derivative of d**4/12 - d**3 - 3*d**2/2 + 2*d. Is h(-4) prime?
True
Let w(b) be the second derivative of b**5/20 - 7*b**4/12 + 5*b**2/2 + b. Is w(8) composite?
True
Suppose 0 = 4*y + 2*y - 1398. Is y composite?
False
Suppose -2*c = 1 + 1. Suppose 5*y + 5 = 15, 5*j = -3*y - 4. Is j - c - -148 - -2 composite?
False
Let q(d) = 96*d - 1. Let t be 48/9 + 6/9. Let o be (-4)/(-10) - t/(-10). Is q(o) a prime number?
False
Let f = -6 - -11. Suppose -3*y = -2*o - 19, 2*y = -f*o - 47 + 9. Let k(l) = -l**3 - 7*l**2 + 3*l - 9. Is k(o) a prime number?
True
Suppose 4*t = -0*t + 232. Is t a composite number?
True
Let r(u) = u**2 - 2*u + 2. Let y be r(2). Suppose -1 = -w - i, y = 5*w - 3*w + 5*i. Suppose a + j = 4, -2*a + 27 = -4*j + w. Is a a prime number?
True
Let d(w) be the first derivative of w**3/3 + 9*w**2/2 + 9*w - 4. Let t be d(-8). Is -14*(-2 - t/(-2)) a composite number?
True
Suppose 0 = -g - 4*z + 2 + 1, -5*g + 15 = 3*z. Suppose 0 = -5*r - g*h + 1640, -5*r + 4*h + 1344 = -r. Is r prime?
True
Suppose -3*n = -2*n - q - 1101, 4372 = 4*n + 4*q. Is n composite?
False
Let m be ((-4)/5)/(1/(-5)). Let s = m - -2. Is -1 - 3*(-20)/s a composite number?
True
Suppose -5*r + 2369 - 289 = 0. Suppose 5*w - 239 = r. Is w composite?
False
Suppose 0 = -a + 136 + 64. Suppose -b = -5*b - a. Is -1*(2 - b/(-2)) composite?
False
Let t be (-1)/4 - 105/(-20). Let r(i) = 3*i - 1. Is r(t) a composite number?
True
Let q = 92 - 42. Suppose -q = -y + 3. Is y prime?
True
Let j(x) = -71*x**3 + 4*x**2 - 8*x + 4. Is j(-5) composite?
True
Let y be (-6)/6 + 25*1. Suppose 0 = x - 20 - y. Suppose 8 = 4*n - x. Is n a prime number?
True
Let o(d) = 34*d**2 - 3*d + 12. Is o(-5) composite?
False
Let g(l) = -86*l - 6. Let r be g(5). Let s = -213 - r. Let z = s - 60. Is z composite?
False
Suppose 0 = -5*d + 2*d + 177. Is d a composite number?
False
Suppose j - t + 6*t = -54, -5*t - 141 = 4*j. Let l = 94 - j. Is l composite?
True
Let d(v) = 40*v + 7. Is d(3) composite?
False
Is 2/(-9) - (-40092)/108 a prime number?
False
Suppose 4*v = 2*v + 5*c - 3, -2*v + 3*c = 1. Let k be v/3 - 4/12. Is k - 1/(-1) - -30 a composite number?
False
Suppose v = -3 - 5. Let u be 10/20*v/2. Is 1/(u - (-75)/37) a prime number?
True
Let w(a) = 536*a + 1. Is w(2) composite?
True
Let a = -167 - -238. Is a composite?
False
Suppose -3*h - 35 = -5*m, m - 2*m = -4*h - 24. Let v(p) = 14*p + 3. Is v(m) composite?
False
Suppose -4*g - 5*l + 148 = -159, -103 = -g + 4*l. Is g composite?
False
Let w(r) = r**2 - 6*r + 1. Let g be w(5). Is g/(8/(-212) + 0) prime?
False
Suppose -15*y + 16*y - 329 = 0. Is y prime?
False
Suppose -4*i - 6 = -5*i. Suppose -i*y = -y - 395. Is y composite?
False
Let p = -39 + 7. Let z = 109 + p. Is z a prime number?
False
Let k(l) = 211*l. Let u be 2/(-8) - 5/(-4). Is k(u) a prime number?
True
Suppose 13181 = 9*u - 292. Is u prime?
False
Let j(g) = g**2 - 32 + 14*g**2 + 3*g + 27. Is j(4) a prime number?
False
Let x be (-1333)/(-3) + 2/3. Let k(c) = 2*c - 6. Let q be k(4). Suppose -q*i + x = 3*i. Is i prime?
True
Let a(i) = i**3 - 5*i**2 - i - 6. Suppose -5*s = -2*v - 41, 40 = 4*