me number?
False
Is 14/(-4)*(-80)/28 prime?
False
Suppose 1178 = c - 4*p, -4*p = -5*c + 4497 + 1377. Is c composite?
True
Is (-2*1)/(28/(-1722)) a composite number?
True
Let c = 680 + 231. Is c prime?
True
Let w be (-1 - 0) + 1 + -4. Is (326/w)/(5/(-10)) a prime number?
True
Let g(h) = 8*h**3 - 2*h**2 - 2*h + 1. Let k(t) = -t**2 - 6*t + 9. Let s be k(-7). Let b be g(s). Let z = b + 2. Is z prime?
False
Let j(u) = 208*u - 3. Is j(8) composite?
True
Suppose 0 = -y - y + 670. Suppose 2*n = 7*n - y. Is n composite?
False
Let t(p) = 330*p**2 + 1. Is t(1) composite?
False
Suppose -5*r - 9*v - 30 = -4*v, v = r - 2. Let z(i) = i**2 + i. Let a(p) = p**2 + p. Let x(w) = r*z(w) + 3*a(w). Is x(-3) a prime number?
False
Let u be (-633)/(-9) + 2/(-6). Suppose -201 = -s - 4*b, -5*s + 875 = 5*b - u. Suppose 2*x - 388 = -2*k, 2*x + s = k - 0*k. Is k composite?
False
Suppose -3*b + 81 = 5*v + 11, 0 = -5*b - 5*v + 100. Let x = b + -6. Is x composite?
True
Let k(m) = m**3 - 19*m**2 - 16*m + 3. Is k(20) a prime number?
True
Suppose 5*u - q + 0*q - 4881 = 0, -2*u = -5*q - 1934. Is u a prime number?
True
Let k(d) = 4*d**2 - 15*d - 3. Is k(13) a composite number?
True
Let g(w) = -97*w**3 + 7*w**2 + 5*w - 7. Let v(y) = 49*y**3 - 4*y**2 - 3*y + 4. Let f(m) = 3*g(m) + 5*v(m). Is f(-1) a prime number?
False
Let f(m) = -5*m**2 - 16*m - 8. Let h(x) = -6*x**2 - 16*x - 7. Let r(a) = -5*f(a) + 4*h(a). Let d be r(12). Suppose -93 = 3*g - d. Is g a prime number?
False
Suppose 0 = -3*v - 9, 2*q - 2*v - 105 = -v. Is q prime?
False
Is 1*(-1 - -379 - -1) prime?
True
Suppose 4*l - 68 = 4*x, 4*x + 5*l = -32 - 0. Suppose 0 = 5*g + k - 3, 3*g + 4*k = 2*g + 12. Let t = g - x. Is t a prime number?
True
Let y(o) = 20*o - 2. Let p be y(6). Suppose -167 = -5*w + p. Is w composite?
True
Suppose -z - 140 = 4*q - 2*q, -3*q - 210 = z. Let b = q - -101. Is b a prime number?
True
Suppose 0 = 4*i - 64 + 4. Let p(v) = -1 + 0*v + 2 + i*v. Is p(6) a prime number?
False
Suppose -5*o + 8 = -1287. Is o a prime number?
False
Is (-1)/(-2)*((745 - -2) + -1) a prime number?
True
Suppose 92 = 12*p - 8*p. Is p prime?
True
Let s(x) = x - 4. Let w be s(7). Suppose -228 = -3*h + 2*d + 399, 0 = 4*h - w*d - 835. Is h a composite number?
False
Let u(a) = -129*a + 4. Is u(-3) prime?
False
Suppose 3*b + 1794 = -1401. Let q = 1550 + b. Is q a composite number?
True
Suppose -3*d - 2*t = -0 - 1, -d - 3 = 4*t. Let w be ((-6)/3 - -2)/d. Suppose w*j = j - 19. Is j prime?
True
Let g = -7 - -9. Let z be (1/(-3))/(g/(-18)). Suppose -2*n - m - 2*m + 47 = 0, z*n - 3*m = 48. Is n a prime number?
True
Let p be 4/(1 + 54/(-50)). Let z(g) = -g**2 + g - 35. Let x be z(0). Let r = x - p. Is r composite?
True
Let r be 2/6 - (-35)/3. Suppose -r = -0*h - 3*h. Suppose 0 = -2*b + 4, -2*s + 48 = 2*s + h*b. Is s a composite number?
True
Suppose p - 50 = 33. Is p composite?
False
Suppose -231 + 1344 = 7*i. Is i composite?
True
Suppose 39483 = 3*y + 3*l, -3*y + 52650 = y + l. Is y a composite number?
False
Suppose 26*v - 28*v = -6326. Is v a prime number?
True
Let y(l) = l. Let s(m) = -m - 1. Let u(g) = 4*s(g) + 5*y(g). Let b be u(7). Suppose 0 = -2*w + 6*w - z - 44, b*w + 2*z - 22 = 0. Is w prime?
False
Let h be 3*(11 - (-1 + 5)). Let o be (7/3)/(2/258). Suppose h = 2*z - o. Is z a composite number?
True
Let w(u) = 2*u**3 - 5*u - 5. Is w(6) a composite number?
False
Let y(h) = 4*h**2 + 3*h - 23. Is y(10) a prime number?
False
Suppose 0 = 9*w - 8*w - 67. Is w a composite number?
False
Let f = -11 + 11. Suppose 116 = 4*r - f*r + 4*j, -2*r + 2*j = -66. Is r prime?
True
Suppose -6*s + 7*s = 87. Is s prime?
False
Suppose 2740 = 4*w + 5*j - j, 2722 = 4*w - 5*j. Is w a composite number?
False
Let m(a) = 4 + a - 3 - 2*a + 6. Let i be m(-8). Suppose 3*n - 4*n + i = 0. Is n prime?
False
Suppose 4 = -5*r + 9. Let o be (-2 - -114 - -2)*r. Let m = o - 35. Is m composite?
False
Suppose -4*w = z - 2*z - 1283, 2*w + 4*z = 646. Is w composite?
True
Let x(h) = 4*h**3 - h**2 - h - 1. Let z(v) = -v**3 + 7*v**2 + 8*v + 3. Let p be z(8). Suppose -2*m = 5*g + 9, 0*g = -p*m - g + 6. Is x(m) a prime number?
False
Let o(h) = h**2 - 2*h. Let w be o(2). Let a(m) = 0*m + 36 + m - 11. Is a(w) a composite number?
True
Let v(w) = -2*w**3 - w**2 + 2*w - 1. Let b(h) be the first derivative of -h**4/4 - 3*h**3 - 4*h**2 - 2*h + 1. Let t be b(-8). Is v(t) composite?
False
Let i be 1 + -1*1 - 9. Let c(g) = 7*g**2 + 11*g - 4*g - 6*g**2 + 1. Is c(i) a composite number?
False
Let x(v) = 34*v**3 + v. Let s(f) = f**2 + 4*f - 4. Let q be s(-5). Is x(q) prime?
False
Suppose 1635 = -3*o + 8*o. Is o composite?
True
Suppose 0*b = -2*b. Suppose -5*d + d + 52 = b. Is d a prime number?
True
Let c(z) = 10*z. Suppose 4*h - 2 = 5*i + 12, -3*h + i = -5. Let l be c(h). Let o = 21 - l. Is o a composite number?
False
Let n(p) = p + 1. Let s be n(1). Suppose s*l - 411 = 95. Is l composite?
True
Suppose 0 = -3*y - 3*k - 15, 4*y + y = -4*k - 23. Let x(o) be the third derivative of o**5/60 - o**4/12 - 2*o**3/3 + 6*o**2. Is x(y) prime?
True
Let n = -248 + 462. Suppose 4*f = n + 114. Suppose 0 = -k - 23 + f. Is k prime?
True
Suppose -7*l + 9*l = 0. Suppose 0 = -g + 3 + 2. Suppose 0 = 4*u - g*y - 184, 4*u - 200 = -l*y + y. Is u composite?
True
Let i be 3/2*(-32)/(-12). Suppose 0 = i*j - 3 - 1. Is (-38)/4*(j - 3) a prime number?
True
Suppose 2 + 22 = -2*o. Is (-6)/(-9) + (-124)/o a prime number?
True
Let j = -18 - -24. Let q(t) = 2*t**2 + 5. Let a(n) = -6*n**2 - 15. Let p(f) = -4*a(f) - 11*q(f). Is p(j) prime?
False
Suppose -3*h + 48 = -3*r, h + 4*r + 5 = 1. Is (-1)/((-3)/h) + 83 a prime number?
False
Let a(f) = 3*f**2 - f + 407. Is a(0) a composite number?
True
Let i(a) = 11*a**3 - 3*a**2 - 4*a - 2. Suppose 0 = -2*j - 8, 2*w - 9 = 5*j + 7. Let d be i(w). Let x = -57 - d. Is x composite?
False
Suppose -t = -4*t - 3. Let q = -1 + t. Is (q + 4)/(6/21) composite?
False
Let g(t) = 3*t**2 - 12*t - 12. Is g(11) a prime number?
False
Suppose -24*i + 17106 = -18*i. Is i composite?
False
Suppose 3*x = -x. Suppose 2*m = -x + 6. Is m prime?
True
Suppose 0*x - 2360 = -8*x. Is x a prime number?
False
Let t = 478 - -56. Is t/24 + 1/(-4) prime?
False
Suppose 0 = 4*q + q - 30. Let b(v) = -v - 2*v + 5*v + q. Is b(8) a composite number?
True
Let k be (3/6)/((-2)/(-28)). Suppose k*h = -o + 3*h + 139, -3*o - h + 395 = 0. Is o prime?
True
Suppose 3*a + a + 3*i = 838, 3*a = -i + 631. Let j be (-1)/(-4) - a/(-4). Suppose z = -0*z + j. Is z composite?
False
Is -1*((-3)/(-1) - 226) a composite number?
False
Let a = -85 + -7. Let x = 147 + a. Is x a composite number?
True
Suppose -z + 4*z - 4311 = 0. Is z a prime number?
False
Suppose 38*j = 35*j + 4395. Is j a prime number?
False
Let d(j) = -26*j - 21. Is d(-5) prime?
True
Let z = 871 + -494. Is z composite?
True
Let g be 3/6 + 175/(-2). Let l = g - -346. Suppose -4*s = 4*t - 384, 4*s - 130 - l = t. Is s a composite number?
False
Let p(f) be the second derivative of 34*f**3/3 - f**2/2 + 5*f. Is p(3) composite?
True
Let t(x) = 85*x - 11. Let m(r) = -r**2 - 8*r - 6. Let u be m(-4). Is t(u) prime?
True
Suppose 157 = a - 0. Suppose 0 = -4*d + 103 + a. Is d composite?
True
Suppose 2*f + w - 959 = 0, 3*w + 1241 + 692 = 4*f. Suppose -4*j - 141 + f = 0. Is j a prime number?
False
Let y(r) = -r**3 - 8*r**2 - r - 7. Let l be y(-12). Suppose -2*h + 2*a = -5*h + 444, -4*h + a + l = 0. Is h a composite number?
True
Let h = -25 + 17. Let f be (2/4)/((-4)/(-56)). Let i = f - h. Is i prime?
False
Let c(n) = -n**3 + 25*n**2 - 11*n - 61. Is c(24) a composite number?
False
Let o(h) = -h**3 + 6*h**2 - 4*h. Let i be o(3). Is (-9)/i - 356/(-10) composite?
True
Suppose -u - 3*u = -272. Suppose -3*t + 0*t + 363 = 0. Let k = t - u. Is k a composite number?
False
Let v = 1476 + -478. Suppose 2*f + v = 4*f. Is f prime?
True
Suppose -v + 161 + 56 = 4*z, 2*v = -2*z + 410. Suppose 3*f = 5*j + v, -2*f + 2*j - 134 = -4*f. Is f composite?
False
Let b(x) = 34*x**2 + 2*x + 1. Is b(4) composite?
True
Let g = -519 - -277. Let c = g - -451. Is c a composite number?
True
Let h be (-10 + 0)*(-1)/2. Suppose h*k - 19 = -64. Is (52/6)/((-6)/k) prime?
True
Let t = -9 - -19. Is ((-15)/t)/(1/(-58)) a composite number?
True
Suppose 171 = q + 46. Let p = -22 + q. Is p a prime number?
True
Suppose 0 = 2*m - 215 - 47. Is m c