mber?
True
Suppose 0 = -q - w + 482 + 152, 4*w = q - 609. Is q prime?
False
Let r = 10 - 5. Let g(l) = -l**2 + 5*l + 3. Let i be g(r). Suppose -2*q + i*u + 191 = 0, 2*u + u = 3. Is q a composite number?
False
Suppose 330 - 3906 = 4*o. Let c = o + 1527. Is c composite?
True
Suppose 722253 = 8*c + 13*c. Is c a composite number?
True
Let z = 70276 - 36509. Is z a prime number?
True
Let u(a) = a**2 - 10*a + 3. Let q be u(-7). Let m = q - -12. Is m a prime number?
False
Let r be ((-46)/(-4))/((-6)/(-12)). Suppose 0*z + 5*j = -2*z + 26, -z - 5*j = -r. Suppose -f + 4*f - z*k = 591, -3*k + 1001 = 5*f. Is f composite?
False
Let l(g) be the first derivative of 2*g**3/3 + 4*g**2 - g - 4. Suppose -30 = 6*n - n. Is l(n) a composite number?
False
Let d be (-1)/(-3 + 5)*-12. Suppose -3*f + d = -0. Suppose -4*b = -0*b + f*z - 1170, -600 = -2*b + 2*z. Is b a composite number?
True
Let y(z) = 178*z**2 + 5*z + 13. Is y(-4) a prime number?
False
Suppose -3*k = -706 + 208. Let h = -9 + 6. Is k*(h/6 + 1) composite?
False
Let c = 27 - 23. Suppose -4*p + 4*s + 1932 = 0, -c*s = 3*p + s - 1481. Is p a prime number?
True
Let b(t) = 97*t**3 - t**2 + 3*t - 4. Let h be b(2). Let o = h + -517. Is o a prime number?
True
Let r = -2297 - -3834. Is r a composite number?
True
Let j be ((-4668)/(-10))/((-24)/(-160)). Suppose -6*k = -10*k + j. Is k prime?
False
Let q = -110 - -586. Let y = 281 - -1. Let u = q - y. Is u a composite number?
True
Let x = 3 - 9. Let c = -15 + x. Is 9/c - (-2728)/28 composite?
False
Let o = -5 - -1. Let f be -4 - -1*(0 + 8). Is 17 - (f - 3)*o composite?
True
Let n = -74 + 79. Suppose -n*w = 183 - 1878. Is w a prime number?
False
Let n = -3 - -7. Is (1732 + n)/2 + 1 a prime number?
False
Suppose -2*v = -0*v + 2*h - 1322, 3*h = 0. Suppose 0 = -4*d + 1663 + v. Suppose -2*r = -r - d. Is r composite?
True
Let i(d) be the third derivative of 74*d**5/15 - d**4/6 - 5*d**3/6 + 23*d**2. Is i(-1) a prime number?
False
Suppose 3*m + 5 = u, 0*u - 3*m - 20 = -4*u. Suppose 2*t = u*t - 255. Is t composite?
True
Let r be (-2)/(-3) + (-9)/(81/24). Let n(w) = -478*w - 3. Is n(r) a composite number?
False
Suppose 0 = 2*p + 26 - 30, 5*p = -2*k + 8792. Is k a prime number?
True
Let q(a) = 8*a**3 - 5*a**2 - 8*a + 9. Let n(v) = 9*v**3 - 6*v**2 - 9*v + 10. Let z(m) = 5*n(m) - 6*q(m). Let r be z(-6). Let k = r + -375. Is k prime?
True
Suppose -10824 = 7*v - 2417. Is v/(-2)*(5 - (-2 - -5)) composite?
False
Let p(j) = 18*j - 4. Let d be p(-3). Let t = 257 + d. Is t prime?
True
Is (-863)/((-2)/2) + (-36)/9 prime?
True
Suppose -5*p + 1255 = 4*c - 26332, 4*c - 27590 = -2*p. Is c a prime number?
False
Suppose 6*n = 17926 - 3304. Is n composite?
False
Let v(m) = -485*m + 32. Is v(-7) prime?
False
Let f(g) = -g - 3. Let y be f(5). Let n = y + 11. Suppose 0 = n*v + 2*v - 1255. Is v a prime number?
True
Let y = -3997 + 7478. Is y a prime number?
False
Let d(a) = -a**2 + 12*a - 9. Let r be d(11). Suppose 0 = r*o - 401 - 683. Let c = 1077 - o. Is c a composite number?
True
Let a = -2104 + 3619. Let r = a + -832. Is r a prime number?
True
Suppose 45*j = 59*j - 87038. Is j a composite number?
False
Suppose 0*d - 5*u + 51 = -3*d, 0 = -3*u. Let h(m) = -32*m + 27. Is h(d) a prime number?
True
Let r(u) = 442*u**2 + 11*u - 85. Is r(12) a composite number?
True
Suppose 814 = s - 1033. Is s a composite number?
False
Let s be 4 + (-5 - 12/(-4)). Suppose -1739 = -s*x + 3*b, 3*b = -2*b - 15. Let j = x - 180. Is j prime?
False
Let i(r) = -334*r**3 + 9*r**2 + 22*r - 2. Is i(-3) composite?
True
Suppose -5*f + 11204 + 3461 = 0. Is f a composite number?
True
Suppose 5*k = -0*k. Suppose -2*d + 4*d - 116 = k. Is d a composite number?
True
Suppose i = 3*b + 4496, 0 = -23*i + 18*i + 5*b + 22430. Is i prime?
True
Let v(s) = 52*s**3 + 14*s**2 + 8*s - 7. Is v(6) composite?
False
Let u(m) = m**2 + m + 1. Let r(l) = -3*l - 11. Let p(i) = r(i) + 6*u(i). Let j(z) = -7*z**2 - 2*z + 5. Let x(c) = 2*j(c) + 3*p(c). Is x(4) prime?
True
Let i(f) = -46*f + 7. Let k = -3 - 2. Let g be i(k). Suppose 0 = 5*m - 508 - g. Is m prime?
True
Suppose -3*b = 3*o + 29 - 104, 0 = -2*b - 3*o + 49. Suppose 31*v + 530 = b*v. Let l = -53 - v. Is l composite?
False
Let d(w) = 33*w**2 + 50*w - 18. Is d(17) a composite number?
False
Let b(j) = -80*j + 1. Suppose 9 = -3*l - 4*m - 2, l - 3*m - 5 = 0. Let q be b(l). Let c = q + 12. Is c a composite number?
True
Let r(s) be the first derivative of 5*s**2/2 - s - 3. Let t be r(-11). Let f = t - -113. Is f a prime number?
False
Let i = 1 + -2. Let w be (-216)/32 + i/4. Let u(x) = x**3 + 15*x**2 - 3*x. Is u(w) a composite number?
True
Let a = 752 + -103. Is a a composite number?
True
Suppose 0 = -19*z + 28947 + 10592. Is z prime?
True
Let l be (-6)/(-8)*16/6. Suppose -l*k - h + 20 = 0, 2*h - 8 = 6*h. Is (4 - 45)/((-1)/k) prime?
False
Suppose 5*z = 10*z - c - 65132, 4*c = 3*z - 39069. Is z a composite number?
True
Suppose 0 = 2*t - b - 4158, -17*t = -13*t - 3*b - 8312. Is t prime?
True
Let k = -1558 + 5018. Is 6*(-3 + (-1)/((-8)/k)) prime?
False
Suppose 0 = -2*r - 4*s - 0*s + 3182, 3*r + s = 4763. Let f = r - 284. Is f a composite number?
False
Let d = -26 - -28. Suppose -5*h - x + 7674 = 0, d*h - x + 3*x = 3068. Is h a composite number?
True
Suppose 0 = j + j + 12. Let r = -6 - j. Suppose 612 = 4*u - 4*n, -5*u - n + 477 + 264 = r. Is u a prime number?
True
Let u = -42 - -3215. Is u prime?
False
Suppose 0 = -2*u + 3 + 13. Suppose 411 = -3*z + u*z - 3*i, -4*z = 3*i - 318. Suppose q - 5*x = 144, 520 = 4*q + 5*x - z. Is q a composite number?
False
Let p(u) = -155*u + 47. Is p(-10) a prime number?
True
Let y = -14 + 17. Suppose 0 = -5*j - y*m + 842, j - 850 = -4*j + 5*m. Is j composite?
True
Suppose -w - 41 = 2*w + 4*g, 3*g = 4*w + 13. Let r = 9 + w. Suppose r*o = 5*o - 105. Is o a prime number?
False
Suppose 0 = 5*b + 2*s - 72571, -s + 19220 = 3*b - 24323. Is b a composite number?
True
Let w(v) = -23*v + 37409. Is w(0) prime?
True
Suppose z = 5*r - 131, 4*z + 61 = 5*r - 73. Let x(l) = -11*l - 5. Let u be x(-4). Let o = u + r. Is o prime?
False
Let g be (3 - 3)/((-6)/(-2)). Let m be (g*4/(-8))/(-2). Suppose -5*z + 119 = 4*k, m*k - 27 = -z - 4*k. Is z a prime number?
True
Let g = -99 - -67. Is (-5074)/(-8) - 24/g a composite number?
True
Suppose l = -2*m + 21271, l - 7*m + 10*m = 21271. Is l a prime number?
False
Suppose 16 = -0*t - 2*t. Let r(p) = 10 + 4*p - 7 - 2*p**2 - 3*p**2 + 6*p**2. Is r(t) composite?
True
Suppose 2*m - 90 = -3*x, 5*m = 3*m. Suppose 0 = x*t - 23*t - 2086. Is t a prime number?
False
Let h(i) = i**2 + i + 19. Let c = 37 + -29. Is h(c) a prime number?
False
Let y = 7 + 4. Suppose 7*c - 40 = y*c. Let w = c - -65. Is w composite?
True
Let v(b) = -17*b**3 - 11*b**2 - 10*b - 21. Is v(-8) composite?
False
Let x(y) = -y**3 - y - 1. Let p(z) = 11*z**3 + 2*z**2 - 5*z + 1. Let i(t) = p(t) - 2*x(t). Suppose -2*f + 9 = -3*a - 7, 14 = -3*f - 5*a. Is i(f) a prime number?
True
Suppose -5*d + 0*n = 5*n - 2235, -5*d = -4*n - 2262. Let o = d + -113. Is o a composite number?
False
Let c(z) = 8*z**2 + 11. Suppose -5*v = m + 6, 17 - 5 = -2*m - 4*v. Is c(m) composite?
True
Suppose l + 4*r = 4754, r - 23736 = -5*l - 2*r. Suppose l = 5*u - 2639. Is u a composite number?
True
Let c be (-2)/10 - 403/(-65). Let s(h) = 57*h - 13. Is s(c) a composite number?
True
Let v(d) = 7*d**2 - 3*d - 7. Let w be v(-11). Is 7/14 + w/2 prime?
False
Is 1/2*14*(179 + 0) prime?
False
Let m(s) = 109*s - 66. Let x(a) = 54*a - 33. Let l(h) = 2*m(h) - 5*x(h). Is l(-9) prime?
False
Let o(x) = x**3 - x**2 - 2*x + 3. Let z be o(2). Suppose -72 = -4*u - 3*k, 0*u + z*k + 96 = 4*u. Is u a composite number?
True
Let i(x) = -x**2 + 6*x + 14. Let d be i(7). Let w(k) = -3*k - d + 11*k**3 - 29*k**3 + 5. Is w(-1) prime?
True
Suppose 5*j - 2*z - 22 = -1, 3*j + 2*z - 19 = 0. Is -2 + -6 + j - -1444 composite?
True
Let i(y) = -100*y + 41. Is i(-9) a prime number?
True
Let v = 3647 - -5924. Is v prime?
False
Suppose -6*g + g = -135. Let a be (g/(-6))/(-3)*4. Suppose -3*h + a*h = 1257. Is h a composite number?
False
Suppose j - d - 33965 = 0, -2*j + 27516 + 40426 = -5*d. Is j a composite number?
False
Let h(y) = -y**2 + 2*y + 4. Let t be h(0). Suppose -129 - 539 = -t*v. Suppose -3*b - 4*x = -v, b + 4*x + 13 = 66. Is b prime?
False
Is (-39)/3*-94 -