er?
True
Let b(g) = 13*g - 17. Is b(24) prime?
False
Let b = 1 + -2. Let k be 3/(3 + 2*b). Suppose -q + 0*q + 67 = 2*m, 5*m - 200 = -k*q. Is q composite?
True
Is 42 - 3 - (3 + 1) a composite number?
True
Let x be (-3)/(-5)*(-1 - -6). Suppose -3 = x*f + o - 1, -f - 8 = 4*o. Suppose 20 = -f*a + 2*a. Is a prime?
False
Suppose 6685 = 37*p - 30*p. Is p prime?
False
Suppose -4*l + 3*l + 797 = 0. Is l a composite number?
False
Let u be (-62)/(-4) + (-1)/2. Suppose u = 6*h - 3*h. Suppose 764 = -m + h*m. Is m a prime number?
True
Let t = 4 - -1. Suppose -4*r = -0*d - 2*d + 890, -t*r = 3*d + 1140. Let i = r + 356. Is i a prime number?
True
Let i = -3 + 5. Is (47/i - -1)*2 a prime number?
False
Suppose -5*r + 5 = j + 13, 0 = 2*r + 4. Suppose 5*p - 179 = j*a, 0*p = -p + 5*a + 22. Is p a composite number?
False
Suppose 2*v + 0*v = 2*j + 1180, v - 584 = 3*j. Is v a composite number?
False
Let z(k) = -k**3 - 3*k**2 - 3*k. Let x be z(-2). Suppose -x = -2*i + 2*w, i + 0*w + 11 = -5*w. Is 1*(8 - (i - -2)) composite?
False
Let y(o) be the second derivative of -27*o**5/20 - o**4/6 - o**3/2 - 3*o**2/2 - 3*o. Let t be y(-2). Let s = t + -98. Is s composite?
False
Let b(r) be the second derivative of -r**2 + 0 + r - 1/6*r**3 - 1/20*r**5 - 11/12*r**4. Is b(-11) composite?
True
Suppose 18*c - 22628 = 63754. Is c a composite number?
False
Suppose -4791 = -4*o + 1205. Is o prime?
True
Let t = 1 - 3. Is 3/t*(-1130)/15 a prime number?
True
Let b(x) = -x**2 - 5*x - 4. Let u = 4 + -8. Let i be b(u). Suppose 2*q + 0*q - 209 = w, 2*w + 6 = i. Is q composite?
False
Let s = -34 - -61. Let d(b) = 2*b. Let a be d(3). Let q = s + a. Is q a prime number?
False
Suppose d + d = 0. Suppose d*o + o - 11 = 0. Is o a composite number?
False
Suppose 0 = 4*o - 811 + 47. Suppose c = 2*c - o. Is c a prime number?
True
Let d(k) = -8*k**3. Let g be d(-1). Suppose 2*r + 3*j - 359 = 0, -2*j + 172 + g = r. Is r composite?
True
Suppose 37285 - 12711 = 22*d. Is d a prime number?
True
Let a(n) = 26*n**2 + 4*n - 3. Is a(2) a prime number?
True
Suppose -3*b - 306 = -6*b. Suppose -286 = -l + b. Suppose 0 = v + 3*v - l. Is v prime?
True
Let h(v) = 4*v**2 - 4*v - 1. Is h(-7) a prime number?
True
Suppose p - 2794 = -2*t, -2*t - 2*t = -2*p - 5604. Is t a composite number?
False
Let w(h) = -h**3 + 2*h**2 + 4*h. Let j be w(-3). Suppose y = -0*y + p - 6, -3*y - 2*p = j. Let a = 10 - y. Is a a prime number?
True
Let u(h) = 113*h. Let c be u(4). Suppose 0 = -4*x + 8*x - c. Is x a composite number?
False
Let l be 1 + -3 - (1 - 2). Is ((-475)/10)/(l/2) a composite number?
True
Suppose 126 = g + 5*a, 2*g - 236 = -0*g - 2*a. Let h = 0 + g. Let w = h + -79. Is w composite?
False
Let p(x) = -x**3 + 13*x**2 - 9*x - 16. Is p(11) a prime number?
True
Suppose -d + 3*v = -v - 1491, 0 = -4*d - 2*v + 5874. Is d a composite number?
False
Suppose -3*n - 2*n - 2*y = -4779, 5*n = -5*y + 4785. Is n prime?
False
Let s be 3/1 + 654 + 1. Suppose 3*t = t + s. Is t a composite number?
True
Suppose 5*i = 2*l + 4*i, 5*l + i - 14 = 0. Suppose -12 = -c + 4*c. Is ((-34)/c + -1)*l a composite number?
True
Let v = 67 + -65. Let x(b) = 7*b**2 - 5*b + 7. Let o(n) = -15*n**2 + 11*n - 15. Let k(c) = 6*o(c) + 13*x(c). Is k(v) a composite number?
False
Suppose 1324 = 3*x + x. Is x a composite number?
False
Let c be (-1 - (1 - 2))/1. Suppose c = 2*u - 85 - 17. Is u composite?
True
Suppose 7 = 4*u - 9, 4*q + 2*u - 20 = 0. Suppose 0 = -j - 5 + 4, 5*t - 958 = q*j. Is t a prime number?
True
Let k(x) = -455*x + 20. Is k(-3) prime?
False
Suppose -3*x + 10 = -8. Suppose x + 0 = 2*w. Suppose 2*s - w + 52 = 3*t, -2*t = 3*s - 11. Is t prime?
True
Let v be 6898/18 + (-24)/108. Suppose -u - 88 = -g + 102, -2*g - u = -v. Is g a prime number?
True
Let n = -15 + 17. Is n/3*-3 + 573 prime?
True
Let r(h) = h**3 - 16*h**2 - 52*h - 25. Is r(22) a composite number?
True
Let h be 1*(-1 + 1/(-1)). Suppose 0 = -2*q - 1 + 11. Let n = q + h. Is n composite?
False
Suppose -4902 + 986 = -4*r. Is r a composite number?
True
Suppose -3*j = 4*g - 88 - 460, 4*g - 532 = j. Is g prime?
False
Let g = 5 + -2. Suppose -v + 387 = 5*w, 0 = g*w - 8*v + 3*v - 221. Suppose -3*f + 40 = -w. Is f composite?
True
Suppose 92 = 2*b + 2*b. Let w(q) = 18*q + 4. Let m be w(4). Let l = m - b. Is l prime?
True
Let z = -125 + 178. Is z a prime number?
True
Let j be 3/(6/(-2)) + 3. Suppose j*o - 47 = -5*u - 2*o, 3*u + 5*o = 36. Let i(y) = y**3 - 6*y**2 + y - 1. Is i(u) prime?
False
Suppose -62 = -4*p + 1166. Is p prime?
True
Let i be 4/24 - (-142)/12. Suppose g = -3*g - u + i, -3*g + 16 = -u. Is 2/g - 11/(-2) prime?
False
Suppose -5*d + 3*d = 46. Let k = d + 69. Is k a composite number?
True
Let x = 396 - -38. Suppose -5*h - x = -4*f, 6*h - 2*h = 5*f - 538. Is f a prime number?
False
Suppose -4*z + 2*t + 260 - 26 = 0, 5*t + 54 = z. Let x = z - -15. Is x a prime number?
False
Let l(h) = -h + 6. Let m(q) = q**2 + 6*q - 3. Let f be m(-7). Let s be l(f). Suppose -s*z + 46 = 16. Is z prime?
False
Suppose -4*l + 352 = o - 2*o, 0 = -5*o + 4*l - 1840. Let c = -169 - o. Is c prime?
False
Let c(x) = 2*x**2 + 8*x + 23. Is c(-16) composite?
True
Suppose 0 = 4*j - 3*w - 32, 2*j + w = 6*w + 30. Suppose -j*y + 13 + 7 = 5*f, -3*y + 26 = -4*f. Suppose -2*s = -y*s + 508. Is s composite?
False
Let z = 69 - 179. Suppose k = 2*s + 115, 0*s - s - 2*k = 45. Let v = s - z. Is v composite?
True
Suppose -d + 2*v + 72 = -0*d, -5*v = 2*d - 180. Let r = d - 57. Is r composite?
False
Suppose 0 + 3 = u. Suppose 0 = -h + 4*w + 79, u*h - 3*w + 43 = 298. Is h a composite number?
True
Suppose 5*a - 1354 = -i + 193, 2*a + 2*i - 622 = 0. Suppose n = a - 44. Is n composite?
True
Let o be (2 + 117)*1 - -1. Let b = -500 + o. Is b/(-16)*(-8)/(-2) a composite number?
True
Suppose 4*v + 6070 = -v. Let x = -661 - v. Is x prime?
False
Let b be (2 + -1)/(3/3). Let a(u) = 84*u**3 + 2*u**2 - 2*u + 1. Is a(b) composite?
True
Let l = -5 + 10. Suppose 5*r - 450 = l*d, 2*d = -r - d + 94. Is r a composite number?
True
Is (44/12)/((-2)/(-18)) prime?
False
Let k = -1 + 1. Suppose -n + 119 = 2*n + a, k = -4*n - 4*a + 172. Is n composite?
True
Suppose 5*j = 3*o - 21, 4*o - 1 = -5*j - 8. Suppose 0 = o*c - 1 - 3. Suppose 3*s + c*s + 2*z = 405, -4*s + 337 = -z. Is s composite?
False
Let x be -100*(0 + 4/(-4)). Suppose c = 6*u - u - x, -71 = -4*u - c. Is u a composite number?
False
Let q(l) = 25*l - 3. Let j be q(2). Let d = j - 34. Suppose f = 22 + d. Is f composite?
True
Is (117 + 10)/((-1)/(-2)) prime?
False
Let v = -83 + 430. Is v a composite number?
False
Let w(g) = -30*g. Let z be w(-1). Is (z/(-4))/(-3)*14 prime?
False
Suppose 524 + 2664 = 4*p. Is p prime?
True
Let o(n) = -5*n - 8. Let w be o(-6). Is (w/3)/((-4)/(-102)) prime?
False
Let i(h) = 3*h**3 - 5*h**3 - h**2 + 3*h**3 - h. Let t be i(2). Suppose t*v - 46 + 4 = 0. Is v a prime number?
False
Suppose p - 3*p = 2, -4*k - 2*p + 10986 = 0. Is k a composite number?
True
Suppose -6*s + 8*s - 311 = -a, 2*s + 3*a = 305. Is s a composite number?
False
Suppose r - 9*g + 4*g = -11, -g = 4*r - 61. Suppose 3*i = r + 16. Let o(v) = 15*v - 1. Is o(i) a prime number?
True
Is ((-2 - -6) + -3)*517 a composite number?
True
Suppose -4*o = 5*g - 688, -3*o + 5*g = -4*o + 157. Suppose -4*u - 3*w + o = u, -5*u = 4*w - 181. Is u prime?
False
Suppose -3*p = -5*p - 344. Let c = p + 276. Is 3/9 + c/3 a prime number?
False
Let v = -28 + 31. Suppose -4*z + 1258 + 193 = 5*f, -5*f + 4*z + 1459 = 0. Suppose v*u - 6*u + f = 0. Is u a prime number?
True
Suppose -35 = -3*g - 8. Is g composite?
True
Suppose 4*g = 7 + 5. Is 4014/27*g/2 composite?
False
Suppose -l - 2 = j + 4*j, -5*j + 1 = 2*l. Suppose -l*p - 3 = 0, -2*u + 0*p + 2*p + 1116 = 0. Is u prime?
True
Let h = 4 - 2. Let d(n) = -n**3 + 3*n + 3*n**2 - 2*n + n - 6*n**h - 5. Is d(-5) a composite number?
True
Let s(z) = 20*z + 3. Let u be s(6). Let l = 254 - u. Is l a composite number?
False
Is 102*4/8 - 2 a composite number?
True
Suppose 1398 = 6*g - 4*g. Is g a composite number?
True
Suppose 1 = 4*v - 5*y - 1, 3*v - 3*y - 3 = 0. Suppose 0 = -0*n - v*n + 111. Is n a composite number?
False
Let a = 14 + -12. Suppose -2*n - 2*n = a*c - 366, 0 = 5*c - 25. Is n prime?
True
Suppose z - 7*z = -222. Is z composite?
False
Is (-24120)/(-21) - (-6)/14 a composite number?
True
Let k(d) =