ber?
True
Suppose -4931 = -2*m - 2*h - h, 5*h = 2*m - 4971. Is m a prime number?
True
Let c = -655 - -1168. Let a = c + -46. Is a a prime number?
True
Let q be 4/(-22) - 70/(-22). Suppose -q*a + 13 = p, -a - 3*p = -p - 1. Suppose 5*s - 115 = -4*b, -4*b - 40 = -a*b + s. Is b prime?
False
Let f(y) = 19*y**2 + 39. Is f(8) a prime number?
False
Let v(c) = -c**2 - 5*c + 8. Let u be v(-6). Suppose 20 = 3*l - u*q, 3*q + 0 = 6. Suppose x = l - 1. Is x a composite number?
False
Let p = -156 + 301. Is p prime?
False
Let s = -4 - 2. Let p be (-33 - s/3) + 1. Let b = p - -44. Is b a prime number?
False
Suppose -4*v + 29 = -5*l, 2*v - 16 = 4*l - 0*l. Is (-2009)/(-9) - v/27 a composite number?
False
Suppose -f + 2 = -5*x, -x - 4*f - 1 = -9. Suppose -1 = -k + 1. Suppose 0 = -3*b + k*q + 701, x = -2*b + 4*q - 0*q + 470. Is b a prime number?
True
Suppose 4*d + 4 + 20 = 0. Is 1 + (d - -3 - -33) a prime number?
True
Suppose -6*r + 379 = -731. Is r composite?
True
Suppose 0 = -5*q + 2*q + 12. Suppose q*b = 8*b + 120. Let z = b + 52. Is z a prime number?
False
Suppose 0 = -4*f - 121 + 1637. Is f a prime number?
True
Suppose -5*y - 5*u + 794 = -266, -2*y - 5*u + 415 = 0. Let n = y + -440. Is (4/6)/((-6)/n) a prime number?
False
Suppose -4*d = 1 + 7. Let g be (-2)/d - (-3 - -2). Is (-1 - g*5)*-1 a composite number?
False
Suppose -u + 3*l + 1274 = 0, 0 = u + 3*l + l - 1239. Is u composite?
False
Let p = 34 - -19. Is p a composite number?
False
Let h be 6/9*(-6)/2. Let v = 2 + h. Suppose v = -m - 4*m + 815. Is m composite?
False
Suppose -4*k = 4*c - 9*c + 757, 3*c = 3*k + 456. Is c a prime number?
True
Let y(c) = -c**2 - 6*c + 6. Let q be 3*(3 - 2) + -10. Let v be y(q). Is (6 - 3)*v + 37 prime?
False
Suppose 27 = 4*u - 2*u + a, 3*a + 73 = 5*u. Suppose j - 7 - u = 0. Let h = 112 - j. Is h a composite number?
True
Let q = 67 + 7. Is q composite?
True
Let g(i) be the first derivative of i**2/2 - 5*i - 1. Let x(c) = 6*c**2 - 3*c - 2. Let y be x(-1). Is g(y) a composite number?
False
Is (-1)/9 + (-86540)/(-45) prime?
False
Let f be 16458/30 - 4/(-10). Suppose f = 2*c - 59. Suppose 4*q + t - 243 = 329, -2*q - 5*t = -c. Is q composite?
True
Let n be (-2)/11 - (-312)/22. Let s = n + -6. Is 4/s + 58/4 prime?
False
Suppose -3443 = -5*j - 3*p, -5*j + 2*p - 898 = -4361. Is j prime?
True
Let n = 184 - 357. Let z = 279 + n. Is z a composite number?
True
Suppose 3*a - 160 = 317. Is a a prime number?
False
Let x be 112/24 - 4/6. Suppose -x*b = -2*b - 838. Is b prime?
True
Let n(z) = -z**2 + 7*z + 5. Let i be n(7). Let x = -3 + i. Is 159/6*(0 + x) a prime number?
True
Let w(f) = 2*f**3 + 11*f**2 - 4*f - 12. Let a be w(-8). Let p = a - -130. Let z = -115 - p. Is z a composite number?
True
Let a(m) = -243*m - 4. Is a(-5) composite?
True
Let w = 5 - 0. Suppose w*r = r + 12. Suppose -r*d - d = -196. Is d prime?
False
Is (-1 - (-3218)/(-4))*(-28)/42 a prime number?
False
Let f(o) = -5*o. Let v be f(-1). Let i(n) = -8*n - 3. Let j(x) = 7*x + 4. Let a(h) = -7*i(h) - 6*j(h). Is a(v) a composite number?
False
Let i(l) = l + 12. Let c be i(-9). Suppose n + t + c*t - 81 = 0, -4*t = 5*n - 389. Is n prime?
False
Let y(t) = -t**3 - 4*t**2 + 5*t - 12. Let i be y(-9). Let u = i - 225. Is u a composite number?
True
Suppose 0 = 4*o - 3*o - 249. Is o composite?
True
Let k(w) be the first derivative of 1/3*w**3 + 1 - 2*w**2 + 3*w. Is k(4) a prime number?
True
Suppose -350 = -2*f + 3*t + 98, -5*t = 5*f - 1095. Is f a composite number?
True
Let c(a) = 2*a**3 - 2*a**2 + 6*a + 4. Let u be c(-4). Let n(g) = 25*g - 3. Let m be n(-4). Let j = m - u. Is j composite?
True
Suppose 2*j = 6*j + 56. Let c = j + 40. Let z = c - 3. Is z prime?
True
Let q(f) = -f**3 - 4*f**2 + 4*f. Let h = -16 + 11. Let b be q(h). Is 0 + b + -2 + 1 composite?
True
Let d be (764 + 2)*2/4. Suppose 323 = 2*a - d. Is a prime?
True
Let x(d) be the first derivative of -7*d**4/4 + d**2/2 + d + 1. Let o be x(2). Let z = -18 - o. Is z prime?
False
Let h(d) = -d. Let s(y) = 2*y - 6. Let g(n) = -6*h(n) + s(n). Let l be 26/3 - 2/3. Is g(l) prime?
False
Suppose -3*f = 5*k - 81 - 521, 0 = -f + 2*k + 219. Is f composite?
True
Let x(t) be the second derivative of -5*t**3/2 - 4*t**2 + 5*t. Is x(-7) composite?
False
Suppose r - 199 = -4*f, -4*r = 4*f + 122 - 930. Is r composite?
True
Is (35/20)/((-2)/(-232)) a composite number?
True
Let u = -43 - -80. Is u prime?
True
Let m(c) = -c**3 - c**2 + c + 125. Let w be m(0). Let x = w - 76. Is x prime?
False
Let k = 2084 - 1375. Is k a composite number?
False
Let i(k) = -k**3 + 14*k**2 + 15*k + 8. Let q be i(13). Let v = 929 - q. Is v prime?
True
Suppose 5*f - 4*q + 2 = -3, -5*f - 5*q = 5. Is 1052/(-2)*f/2 prime?
True
Let v(g) = 5*g**3 + 2*g**2 + g. Let n be v(-2). Let o = 69 + n. Is o composite?
True
Suppose -3*b + 1255 = 2*b. Is b composite?
False
Let k be 5610/27 - (-2)/9. Suppose -3*b + 46 = -3*x + k, 4*b = -4*x + 208. Is x a prime number?
True
Let k be (-90)/(-21) - 2/7. Suppose z + u = k*z - 94, 0 = 3*z - 5*u - 110. Let v = z - -19. Is v a prime number?
False
Let k = 7 + -3. Suppose 0*a + 620 = k*a. Suppose 0 = 4*r + 3*y - 305, 4*r = 2*r + y + a. Is r composite?
True
Suppose 3*p = 4*p + b - 57, 3*p = 3*b + 141. Suppose 0 = -4*a - 5*s + p, 9*a + 2*s = 4*a + 65. Suppose -2*i = -i - a. Is i composite?
False
Suppose 2*d - 7*d + 2*s - 5 = 0, 4*s = -20. Let k = d - 1. Is 0 - -58*(-10)/k a composite number?
True
Suppose f = -2*f - 30. Suppose -3 = 4*t + 3*y + 20, 2*y = -t - 12. Is (185/f)/(t/4) a prime number?
True
Suppose -5*t = -4*t. Suppose t*m = m - 6. Is m a composite number?
True
Let l(t) = 22*t - 1 + 35*t + 26*t. Let a be l(4). Suppose 260 = 4*c + 4*h - 76, 4*c = -3*h + a. Is c prime?
True
Let i(r) = r**2 + 10*r + 5. Let o be i(-9). Is (-9)/6 + (-210)/o composite?
True
Suppose -23*n + 25*n + 3*b - 830 = 0, -3*n - 5*b = -1247. Is n composite?
False
Let r(u) = 2*u + 3. Let t be r(0). Suppose -40 = -t*h + 5. Is h composite?
True
Let l = 16 - 11. Suppose -1 = l*z + t + 2, -2*t - 6 = z. Suppose z = 3*x + x - 388. Is x a prime number?
True
Let i = 8 - 11. Let x = -49 - -24. Let f = i - x. Is f a prime number?
False
Let k(l) = 11*l**2 + 17*l - 19. Let b(o) be the first derivative of -7*o**3/3 - 11*o**2/2 + 13*o + 2. Let y(d) = -8*b(d) - 5*k(d). Is y(8) a composite number?
False
Let l(m) = -26*m - 1. Let s = -2 - -1. Let k be (s + (-21)/(-12))*-4. Is l(k) prime?
False
Suppose 0 = -3*v - 0*v + 12. Suppose -2*p + 3*x + 34 = 0, 0 = -p + 2*p + v*x + 5. Is p composite?
False
Suppose -5*w = -9*w - 816. Suppose 4*c + 3*o + 476 = 0, 433 = -3*c + 2*o + 76. Let d = c - w. Is d prime?
False
Let g = 533 - -418. Is g composite?
True
Let b(s) = -s**3 - 7*s**2 + 2*s - 2. Let w be b(-7). Let o be (-1)/(-3)*(w + 7). Let r = 94 - o. Is r composite?
False
Suppose -6 = -2*h + 1352. Is h a prime number?
False
Let w(n) = n**3 + 6*n**2 + 2*n - 2. Let a be w(-4). Let t = 0 + a. Is t composite?
True
Let g(t) be the first derivative of 53*t**2 - t - 1. Is g(3) prime?
True
Let i(g) = -g**3 + 9*g**2 + 2*g - 10. Let w(u) = 2*u**3 - 17*u**2 - 5*u + 21. Let f(k) = 5*i(k) + 3*w(k). Suppose q + 6 = 4*q, 5*m - 47 = -q. Is f(m) prime?
True
Is 12/(-42) - ((-32398)/7 + 1) a prime number?
False
Let i(v) = -1 + 4 - 2 - 12*v. Is i(-3) a composite number?
False
Suppose -5*x - 2*c + 345 = 0, -5*x + 0*c - 3*c = -350. Is x prime?
True
Let g be 0/1 - (2 - 4). Suppose -4 = 5*s - u, 4*s + 2*u - 6 - g = 0. Suppose 0 = -h + p + 23, -35 = -s*h - h + 4*p. Is h prime?
True
Suppose -4*k = -1395 - 577. Is k a composite number?
True
Let a(y) = -y**2 + 7*y - 4. Let r be a(5). Let c = r + 77. Suppose 2*j = j + c. Is j a composite number?
False
Suppose 0 = 4*w - 3 - 5. Suppose 12 = -3*j + 5*p, -15 = 5*j + w*p + 5. Let d(f) = -f**3 - f**2 - 3*f - 5. Is d(j) composite?
True
Suppose -f + 39 = 25. Is f prime?
False
Let x = 7 - 3. Suppose u + a - 129 = 0, 3*u + 6*a = x*a + 389. Is u a composite number?
False
Let f = 16 + 7. Suppose 2*u - 2*m = 242, -u - 3*m + 222 = u. Suppose -u = -2*b - f. Is b prime?
True
Suppose 0 = 4*k - 5*k. Suppose 4*o = -3*f + 112 - 26, 2*f + 4*o - 64 = k. Is f a composite number?
True
Let b = -7 - -7. Suppose -4*h = -b*h - 268. Is h prime?
True
Let t be 2/4 + 77/14. Let p(x) = 17*x - 13. Is p(t) prime?
True
Suppose -3*w = 6, 2*k = -3*w + 80 + 168