ber?
False
Let r be (35 + 0)/(4/60). Suppose v = -4*v + r. Is (4/3)/(10/v) composite?
True
Let v be 2/4 + (-15)/2. Is (-4)/(-14) + (-2049)/v prime?
True
Let d = -43 + 23. Let a = 42 + d. Suppose 2*q = -0*q + a. Is q a prime number?
True
Suppose -5*f + 27 = 4*c, 2*c - 2 - 19 = -5*f. Suppose -3*r - 2*q + 275 = 0, 348 = r + c*r - 2*q. Is r a prime number?
True
Suppose 13 = 2*w + j, -w - 2*j = -21 + 7. Suppose 0 = r + w*h - 153, -3*r - h + 2*h = -446. Is r prime?
True
Let q = 6 + -6. Suppose q = -0*j + 3*j - 171. Let l = j + -35. Is l a composite number?
True
Let s = 130 - -129. Is s prime?
False
Suppose -5*u + 5*c + 43 = -37, -u + 3*c = -12. Suppose -4*j + 13 = -4*s - 11, 4*s = -12. Suppose 5*v - 3*l - j - 27 = 0, 3*v - u = -4*l. Is v composite?
True
Suppose -t - 16 = -4*m, 0*m - 5*m = -5*t - 35. Suppose w - m*w = -646. Is w prime?
False
Suppose -3 = 3*g - 0, -3*a + 610 = -g. Is a a composite number?
True
Let t = -589 + 348. Let g = -152 - t. Is g a prime number?
True
Let c = 5 + -3. Suppose 6 = c*w - 6. Suppose -k - 3 = -w. Is k prime?
True
Suppose -10 = -3*n + n. Suppose 0 = n*i - 2*r - 329, -5*i - r + 350 = 27. Is i prime?
False
Let f be (-254)/7 - (-4)/14. Suppose 6*x - 5*v + 6711 = 2*x, 2*v = -x - 1694. Is x/f - 4/(-18) a composite number?
False
Is 5 + -3 - (-3 + -10) composite?
True
Let s(w) = -w - 3 + 3*w + 6*w. Is s(5) a prime number?
True
Suppose 0*m = 5*m. Suppose 0*g - g + 5*j + 8 = m, 4 = g - j. Suppose g*p = -0 + 105. Is p prime?
False
Suppose -141 = -5*v + 169. Is v a composite number?
True
Is 10 - 3/(-1 + -2) a prime number?
True
Let z = 309 - 7684. Is (-2)/(-7) - z/35 composite?
False
Let d(w) = 2*w**2 + 2*w - 3. Let b be d(-10). Let h = b - 44. Is h a prime number?
False
Let l = -3 - -5. Suppose 2*d + d - 5*x = l, -d + x + 2 = 0. Suppose -d*s = -0*s - 76. Is s a prime number?
True
Let f(n) = n**3 + 9*n**2 + 6*n - 10. Let q(a) = -a**3 - 9*a**2 - 5*a + 10. Let y(l) = 2*f(l) + 3*q(l). Suppose 0 = -19*t + 8*t - 99. Is y(t) a composite number?
False
Let m(c) be the second derivative of c**4/4 - 2*c**3/3 - c**2 + 2*c. Suppose 0 = 5*y + 3*x + 9, 2 + 12 = -2*y + 4*x. Is m(y) a prime number?
True
Suppose -t = -2 - 1. Suppose -t*i - 168 = -5*i. Let l = -49 + i. Is l a composite number?
True
Let k(q) = -2*q + 15. Let d be k(13). Let s = 21 + d. Is s prime?
False
Let r(b) be the third derivative of 17*b**5/60 + b**4/24 + b**3/6 - b**2. Is r(3) composite?
False
Suppose 16*v + 158 = 18*v. Is v a prime number?
True
Let s(y) be the third derivative of 3*y**4/8 + 2*y**3/3 - y**2. Is s(3) a prime number?
True
Suppose -10*l = -15*l + 745. Is l composite?
False
Suppose -4*g - 8455 = -3*b, -2*b - 3*g + 5614 = -0*b. Is b a composite number?
True
Let r(q) = -q + 4. Let x be r(5). Let f be (-3 - -118) + x*2. Is f - 4*(-2)/4 a prime number?
False
Let b be (4/(-6))/((-5)/555). Suppose -4*s + a = -a - b, 0 = 4*s - 5*a - 71. Suppose s + 96 = 5*c - 5*h, -2*c + 5*h + 58 = 0. Is c a composite number?
False
Let f(m) = -3*m**3 - 3*m + 2. Let h be f(-5). Suppose h = 2*b - 14. Is b a prime number?
False
Let k(a) = 2*a**3 - 2*a**2 - 4. Let b be k(3). Suppose 2 - b = -5*m - 2*i, -5*m + 4*i = 0. Suppose -5*n - 15 = -6*n - m*l, -2*n - 3*l + 25 = 0. Is n composite?
False
Suppose f - 1916 = -3*f. Is f prime?
True
Suppose -3*n - 8 = -7*n. Let a(z) = z**3 + 4*z**2 - 3*z. Let u be a(n). Suppose o - u = 17. Is o prime?
False
Suppose -5*u = -2*h + 392, -4*h + 3*u - 2*u = -766. Is h a prime number?
True
Let o(c) = 14*c + 5. Let v be (5 + (-2)/(-1))*1. Is o(v) prime?
True
Let o(f) = -9*f + 1. Let g be o(1). Is (-110)/(-4)*g/(-10) a composite number?
True
Suppose -v - 2*v = 78. Is (-7)/(1*2/v) a prime number?
False
Is (-254)/4*(7 - 13) a composite number?
True
Suppose -19 = 4*w - 99. Let t be 5/w + 67/4. Let s = t + 9. Is s a prime number?
False
Is -4*4/8 - -79 composite?
True
Let v be (3/(-2))/(12/(-40)). Suppose k - 3*i - 194 = 0, v*k + 5*i - 559 = 311. Is k prime?
True
Let c(v) = -v**3 - 7*v**2 + v + 9. Let b be c(-7). Suppose b - 5 = -d. Suppose -d*k + 40 = k. Is k composite?
True
Suppose -2*q - s = 0, 0 = 2*q + s + 4*s. Suppose y - 5 = -q. Suppose -y*v - 5*h + 188 = -4*h, -3*v + 123 = 4*h. Is v prime?
True
Suppose 5*b = -5*j - 0*j + 1490, 0 = 5*b - 3*j - 1498. Is b a prime number?
False
Let f be (-6368)/(-56) - (-4)/14. Let a = -61 + f. Is a a composite number?
False
Let o(m) = m**2 - 2*m - 4. Let i(r) = r + 0*r - 3 + 5 - 2*r. Let k be i(-5). Is o(k) composite?
False
Let w(m) = m + 6. Let b be w(-9). Let n(t) = -11*t. Is n(b) composite?
True
Let z(p) be the first derivative of 5*p**2/2 + 3*p + 2. Is z(6) a prime number?
False
Let l(k) = -39*k - 9. Let z be l(-7). Suppose 3*d + 272 = -5*x, 0*d + 3*x = -3*d - z. Let n = 169 + d. Is n prime?
False
Suppose 7 = -5*i - 18. Let l = 8 + i. Suppose l*g - 75 = -2*b, 5*g + 3*b - 125 = 6*b. Is g a prime number?
False
Suppose 9*o = 10*o - 190. Suppose -s - 5*t - 158 = -3*s, 0 = 2*s + 3*t - o. Is s a prime number?
True
Suppose -2 = 2*v + 6, -2*j - 5*v - 26 = 0. Let z be (-196)/(-3) + 1/j. Let s = -46 + z. Is s composite?
False
Let c = 39 + -81. Let m = c - -75. Is m a composite number?
True
Let b = 221 + -88. Is b a prime number?
False
Let c(g) be the first derivative of -g**4/4 - 10*g**3/3 - 5*g**2 - 6*g + 2. Is c(-9) composite?
False
Let i be 7/3 - 2/(-3). Suppose i*s = -2*s. Suppose 66 = 3*r + 3*b, -4*r + 3*b - 1 + 82 = s. Is r a prime number?
False
Let m = 3 - 1. Suppose m*i + s - 659 = 0, 587 + 69 = 2*i + 2*s. Is i prime?
True
Is (12/8)/((-2)/(-44)) prime?
False
Let i(b) = -46*b - 24*b - 52*b. Let m be i(1). Let g = m - -177. Is g a composite number?
True
Let h(i) = 2*i**3 + i**2 - 3*i - 4. Let j be h(-3). Let m = j - -66. Suppose -2*r = -m - 44. Is r a prime number?
False
Suppose 3*m + 3 = 15. Suppose u - 57 = -m*l + 46, u = -5*l + 105. Is u a composite number?
True
Suppose -2*k = -69 - 45. Is k a prime number?
False
Suppose -b + 4*b = g + 107, -g = -4*b + 141. Let p be b*(-2)/(-8)*8. Let o = p - 19. Is o a prime number?
False
Let h be 2/(-6)*0/12. Suppose 4*m - 367 = z, -3*m + 274 = -h*m - z. Is m composite?
True
Suppose -287 - 6 = -r. Is r a composite number?
False
Suppose -4*i - 3 = -15. Suppose 4*a = 4*c + 1056, -2*c + 1026 = a + i*a. Is a prime?
False
Suppose i - 2579 = 140. Is i a composite number?
False
Suppose -2*d - 2*g = -5*d + 4687, 0 = -d + 4*g + 1549. Is d prime?
False
Let z(u) = 2*u**3 - 4*u**2 + 4*u - 4. Let x be z(-4). Is ((-3)/6)/(2/x) composite?
False
Suppose 4*m - 1072 = 5*i, 5*m + 267 = 6*m - i. Is m a composite number?
False
Let i(s) = -31*s**2 - 16*s + 19. Let a(z) = -21*z**2 - 11*z + 13. Let v(u) = 7*a(u) - 5*i(u). Suppose 0 = 2*l - l - 3. Is v(l) composite?
True
Suppose 0 = -w + 4*w - 1515. Is w composite?
True
Let c be (1/(-3))/(7/(-42)). Suppose -3*r = o + 12, -r = -2*o - c*r - 14. Is 1/2*o - -38 a prime number?
False
Suppose 5*b - 3*x - 1310 = 0, 3*x + 280 = b + 6*x. Is b a prime number?
False
Let c(h) = -h**3 - h**2 - h + 12. Let w be c(0). Suppose -x = -265 + w. Is x prime?
False
Suppose -5*a + k + 5610 = 0, -a + 2*k = 4*a - 5615. Is a a prime number?
False
Let l(c) = 6*c**3 - c. Let x be l(1). Suppose -x*k + 3*a + 50 = -k, -k + 9 = a. Is k a composite number?
False
Let t = -798 - -1687. Is t prime?
False
Let u be (-34)/6 + (-3)/9. Let i(q) = q**3 + 5*q**2 - 8*q - 8. Let l be i(u). Suppose 30 = 2*j - 4*w, -3*w = l*j + 2*w - 47. Is j a prime number?
True
Let u = 1197 + -314. Is u a composite number?
False
Let p(c) be the first derivative of 3*c + 1 + 2*c**2 + 5/3*c**3. Is p(-2) a composite number?
True
Suppose -2*q = s - 1 - 0, -30 = -4*s + 5*q. Let d(r) = -13*r**2 - 2*r - 3. Let i(m) = -7*m**2 - m - 1. Let g(j) = -6*d(j) + 11*i(j). Is g(s) composite?
False
Let j = -393 + 196. Let b = j - -388. Suppose -5*v - 3*s = -107 - b, -4*v - s = -237. Is v composite?
False
Suppose 0 = -3*w + w + 2944. Let t = w - 803. Is t prime?
False
Let f(d) = -d**3 - d**2 + 3*d - 2. Let w be f(-3). Let v = 7 + w. Is v a composite number?
True
Let i(j) = -15*j**3 + 2*j**2 - 15*j + 38. Let s(h) = -7*h**3 + h**2 - 7*h + 19. Suppose -32 + 8 = 4*d. Let w(n) = d*i(n) + 13*s(n). Is w(0) prime?
True
Is 478*4/(-16)*-2 a composite number?
False
Suppose -1 = -z + 3. Suppose 2*t + 4*j - 138 = 0, 4*t = z*j - 85 + 349. Is t a prime nu