*x. Is x a composite number?
False
Let p be 15*(-1)/(-3)*-1. Let y(b) = -7*b + 2. Is y(p) prime?
True
Let d(o) = 332*o**2 - o - 2. Let c be 20/(-16) - 1/(-4). Is d(c) composite?
False
Let b(l) = 17*l**2 - l - 7. Let m = -1 - 2. Is b(m) a composite number?
False
Suppose 2*i - 354 - 238 = 2*h, 0 = 3*i - 4*h - 889. Is i prime?
False
Suppose 2*c - 2*g = 16, -5*c = -g - 20 - 12. Suppose -844 = -c*b + 2*b. Is b a composite number?
False
Let g = -3 + 9. Is 12/g - (-335 - 0) a prime number?
True
Let v(x) be the first derivative of -x**4/4 - 5*x**3/3 + 9*x**2/2 + 8*x - 2. Let m be v(-7). Suppose -d + 34 = -m. Is d a prime number?
False
Let n(g) = g + 2. Let f be n(0). Let v = -10 - -61. Suppose -f = w - v. Is w a prime number?
False
Suppose -3*q + 28 = q. Suppose 0 = -3*k + 4*v + 9, -3*k = -q*k + v + 12. Suppose -k*m + 0*g = 3*g - 396, 5*g = m - 126. Is m prime?
True
Suppose -2*u = 2*u - 8. Suppose -u*s + 291 = s. Is s composite?
False
Let a(m) = 629*m**2 - 3*m - 4. Is a(-2) prime?
False
Let p(z) = -z - 6. Let f be p(-6). Suppose -m + 2*m - 47 = f. Is m a composite number?
False
Let y(o) = -o**2 - 8*o - 5. Let a be y(-7). Suppose a*h - 34 - 18 = 0. Is h a prime number?
False
Let d(q) = -q**3 + 6*q**2 - 3*q - 3. Let b be d(5). Let u = b + -17. Is (-1132)/u + 7/(-35) composite?
False
Let l = -982 + 7563. Is l composite?
False
Suppose -b + 2*k + 30 = 4*b, 18 = 3*b - 2*k. Is b composite?
True
Let d(i) = 8*i - 6. Suppose 4*a - 3*a = 0. Suppose 4*t + a*t - 16 = 0. Is d(t) a composite number?
True
Let j = -3 + 3. Suppose 3*n - g - 3 - 7 = j, n - 4*g = -4. Suppose 5*p + c - 176 = n*c, p - 4*c = 25. Is p composite?
False
Suppose -t - 2*m = -5*t + 80, 5*m + 38 = t. Suppose 5*w - 2*w = t. Suppose -w*v + 635 = -v. Is v composite?
False
Let i(x) = -x**2 + 10*x**2 + 5*x - 5*x - 5 - 3*x. Is i(4) a composite number?
False
Let z(y) = 2*y**3 + y**2 - 55. Let v(m) = m**3 + m**2 - m. Let q(g) = v(g) - z(g). Is q(0) a prime number?
False
Let n be (-6 - -1)/((-2)/2). Suppose n*b = 3*b + 30. Is b prime?
False
Suppose -2 = -2*s - w, 4 = -s - 2*s + 2*w. Is 77/(s - (1 + -2)) a composite number?
True
Suppose 2*v + 5760 = 4*a, 4*a - v - 2525 = 3231. Is a a prime number?
False
Suppose 5*o = o + 36. Suppose 2*m + m - o = 0. Suppose -i = -5*n - 42, m*i - n = 79 - 9. Is i a composite number?
True
Let a(p) = 13*p**2 - 5*p + 5. Is a(-4) a composite number?
False
Let t = -38 + -1. Let p = t + 298. Is p a prime number?
False
Suppose 4*u - 124 = 2*u. Is u a composite number?
True
Suppose -v + 16 = t + t, -4*t + 20 = -4*v. Suppose 2*u - t = 1, 1 = 3*g - 5*u. Is g composite?
False
Suppose 8*g - 6*g = 0. Let m(h) = h**3 + 31. Is m(g) a prime number?
True
Suppose 0 = -i + 7*i. Let y be 339/2 - 2/(-4). Suppose c + c - y = i. Is c a prime number?
False
Suppose 4*q = -3*y + 7072, -5*y = -q - 0*q + 1745. Is q prime?
False
Suppose 8*l = 2*h + 6*l - 4, -h + 2 = -5*l. Is h prime?
True
Suppose 5*s = 5*m + 15, -s - 3*m + 6 = s. Is s a prime number?
True
Let d(h) = -25*h + 2. Is d(-5) composite?
False
Suppose 2*j = -5*p + 978, 2*p - 88 - 292 = 2*j. Is p prime?
False
Let j = -43 - -92. Suppose 2*r + j - 155 = 0. Suppose -4*q = 3*h - r, -4*q + 9*q - 5*h = 75. Is q prime?
False
Let d(b) = -19*b**3 + 3*b**2 + 2*b - 7. Is d(-4) composite?
False
Let v = -37 + 76. Is v a composite number?
True
Let l(h) = -h**2 + 6*h - 5. Let f be l(4). Suppose f*k + 0*k = 0. Suppose -4*a - 3*y = -6*a + 295, 2*a + y - 299 = k. Is a composite?
False
Let l be 9/15 - (-34)/10. Suppose 4*i = 4*g + 169 - 49, l*i - 127 = -3*g. Is i prime?
True
Suppose 5*p - 2487 = 108. Is p prime?
False
Is 1317*(4/4*-1)/(-1) a prime number?
False
Suppose 0 = 5*j - 3161 - 1284. Is j composite?
True
Let g(i) = 2*i**3 + 5*i**2 - 4*i - 7. Is g(4) a prime number?
False
Suppose -4355 - 322 = -3*u. Is u prime?
True
Suppose -2130 = -4*w - 2*w. Is w a composite number?
True
Suppose -u + 105 = 4*s, -5*u + 457 = 3*s - 0*s. Is u composite?
False
Let i = 248 + -159. Is i prime?
True
Let b = 1 - 1. Let p(a) = a**3 - 4. Let n be p(2). Suppose b = n*t + t - 65. Is t prime?
True
Let g be (-1 - -3) + (3 - 4). Let r(n) = 672*n**2 + 1. Is r(g) a composite number?
False
Suppose 5*q + 3*p - 461 = 0, -2*p - 41 = 4*q - 411. Suppose -q = -2*f + 12. Is f prime?
True
Let j = -15 - -18. Suppose r + j*u - 5*u - 123 = 0, -2*r + 5*u = -241. Is r prime?
False
Is (-298)/(-8) + (-1)/4 a prime number?
True
Let o(c) = 15*c - 9 - 9 + 6 - 6*c. Is o(7) composite?
True
Let q = -29 + 40. Suppose -2*i + q = -i. Is i a prime number?
True
Suppose 5*w = 2*f + 4, -2*f = -4*f - 2*w + 10. Suppose -f*x = -4*x. Suppose x = -5*l - 38 + 213. Is l prime?
False
Let v(p) = p**2 + 7*p - 6. Let k be v(-7). Is ((-171)/(-6))/(k/(-8)) a prime number?
False
Let w(a) = 6*a - 2. Let u be w(7). Suppose 30 = 5*j - u. Is j composite?
True
Let n = 8 + -7. Let k be (2 - n - 2) + 7. Suppose -177 = 3*q - k*q. Is q a composite number?
False
Suppose -193 = -3*z + 4*f + 1414, 2709 = 5*z + f. Is z a composite number?
False
Suppose 3*y = 4*t + 6, -4*y + t - 2*t = -27. Is y composite?
True
Is (-231)/(-7) - (2 - 2) a composite number?
True
Is (-5)/(5/(-2457)) - (-10 - -8) a composite number?
False
Suppose 2*d - 10 = -3*d. Suppose 3*b - 20 = -d*b. Suppose 0 = -b*k + 8*k - 60. Is k a prime number?
False
Let v = 118 + 32. Let f = v + 59. Is f prime?
False
Let p(b) = -b**2 + b. Let t be p(3). Let d = 10 + t. Suppose -d*s = -37 - 39. Is s a composite number?
False
Suppose v + 90 = 3*g - 17, g + 5*v - 57 = 0. Is g a prime number?
True
Let y = 4 + 14. Let p be 2/y*3*-6. Is 3*p/(-6) - -22 a prime number?
True
Let s(v) = v**3 + 7*v**2 + v + 9. Let l(b) = -7*b**2 - b - 1. Let n be l(-1). Let k be s(n). Suppose -61 = -2*g + c, -g - c = k*c - 48. Is g prime?
False
Is 493/((-2)/8*-4) prime?
False
Let n = 452 + -103. Suppose -c + 121 = 2*f + f, 2*f = -3*c + n. Suppose 9*s - 4*s - 2*l - c = 0, 43 = 3*s + 4*l. Is s a prime number?
False
Suppose -5*l + 1 = s - 1, 0 = -2*l + 5*s - 10. Let q be (l/(-1) + 4)*-1. Is ((-34)/q)/((-1)/(-10)) a prime number?
False
Let u = 175 - -1150. Let c = -528 + u. Is c a prime number?
True
Suppose 4*c = -4*u - c - 125, 0 = 5*u - 3*c + 184. Let k = 52 + u. Suppose 2*j - k = 5. Is j composite?
False
Let p be ((-164)/10)/(1/(-5)). Suppose -81 = -v - 0*v + 4*k, -p = -v + 3*k. Is v composite?
True
Let r(x) = -9*x**3 + 3*x**2 + 3*x + 2. Let a be r(-2). Suppose o - a = -3*o. Let k = 39 - o. Is k a composite number?
False
Let y be ((-2)/(-3))/(8/276). Suppose -4 = u - y. Is u prime?
True
Suppose -149 = -2*g + 3*y, 0*g - 5*y + 360 = 5*g. Let x = 264 - g. Is x a composite number?
False
Suppose 5*k + 2*w - 1585 = 0, k - 634 = -k + 5*w. Is k prime?
True
Let d(q) = -q**2 - 2*q. Let n be d(-3). Suppose 551 = -5*f - 1794. Is f/n - (-24)/36 composite?
False
Let t(f) = -26*f - 17. Let q be (20 - -1)*10/(-15). Is t(q) composite?
False
Suppose -u + 87 = -62. Is u a prime number?
True
Let q = 30 - 19. Suppose 2*c = 3*u + 3, 5*c - 5*u = -u + q. Suppose c*d - 370 = d. Is d prime?
False
Let n be (-1 + 3)/(-2) + 1. Suppose -4*u - i + n*i + 869 = 0, 5*u + 2*i = 1084. Is u a composite number?
True
Let s = -61 - -99. Is s composite?
True
Let j(p) = -4*p**2 + 6*p - 2*p + 3*p**2 + 7 + 4*p**2. Is j(-6) composite?
True
Suppose -2*g = -5*g + 15. Suppose 166 = -g*t + 461. Is t prime?
True
Suppose 0*h = -5*h + 710. Suppose 2*z - 7*o + 3*o - h = 0, o = -2*z + 132. Is z a prime number?
True
Let c(a) = 3*a**3 - 5*a**2 - 5*a + 6. Let o(d) = -4*d**3 + 4*d**2 + 4*d - 5. Let k(n) = -5*c(n) - 4*o(n). Let u be 6/(-9) + 38/(-6). Is k(u) a composite number?
True
Let s be (-3)/2*40/(-15). Suppose -s*m + 4144 = -1024. Is m/6 - (-2)/(-6) prime?
False
Let u be (-2)/((-2 - 0)*-1). Let c = -4 - u. Is ((-3)/2)/(c/12) prime?
False
Suppose 5*k = k + 2588. Let l = k - 462. Is l a prime number?
False
Let a be (2328/8)/((-6)/(-4)). Suppose 0 = o - 3*z - a, 0 = -4*o - z + 577 + 160. Is o prime?
False
Let t be (2*-1)/((-10)/(-35)). Let f(b) = -b**3 - 4*b**2 + 2*b - 6. Is f(t) prime?
True
Suppose 3*h + 10 + 47 = 3*a, 3*a = -4*h + 57. Suppose 5*u - p = -1 - 22, 5*u = 3*p - a. Let b = 42 - u. Is b composite?
False
Let o(q) = q**2 + 13*q + 17. Let k be o(-12). Suppose -2*n = 2*f - 1204, k*n + f = -2*f + 3004. Is n a composite number?
False
Suppose -3*r - l - 2 + 1 = 0