uppose 4*x - 5*c = 689, -4*x + 4*c = -334 - 350. Suppose 2*j - w = -3*w + x, 2*w = -3*j + 251. Is j a prime number?
False
Let k(q) = 2*q**2 + 21*q - 14. Let m = -30 - -15. Is k(m) prime?
False
Let l = 112 + 451. Is l composite?
False
Let j be -14*(-3 - 21/(-6)). Let t(n) = n**2 - 7*n - 3. Is t(j) composite?
True
Suppose -3*z + 75 = -2*h + 259, 2*z + h + 118 = 0. Let c = 55 - z. Is c composite?
True
Let k(j) = -103*j - 30. Is k(-11) prime?
True
Let i = 77 + -40. Is i composite?
False
Let x(s) = -1054*s + 7. Is x(-1) composite?
False
Is 12606/7 - 2/(-14) a prime number?
True
Let q(b) = 10*b**2 - 3*b - 2. Let n be q(-2). Let c = -314 + n. Let d = 475 + c. Is d composite?
True
Suppose 0 = 2*x - 61 + 13. Let i = x - -31. Is i composite?
True
Let c = 412 - 263. Is c prime?
True
Suppose -20 = -3*r - r. Let d(y) = 12*y + r - 4 + 27*y. Is d(2) prime?
True
Let z(q) = -q**2 + 12*q + 12. Is z(11) a composite number?
False
Let g = 2 + -4. Is g*-47*(-3)/(-6) a prime number?
True
Suppose -p = k + 3*k + 545, 5*k + 5*p = -685. Let a = k - -255. Is a a prime number?
False
Suppose -4*r - 2 - 18 = -5*u, 0 = -3*u - 4*r + 12. Suppose 0*b - 28 = u*b. Is 2 + -2 + (0 - b) composite?
False
Let t be -1 + -2 + 2 + 9. Let g(h) be the second derivative of -h**5/20 + 7*h**4/12 + 4*h**3/3 + 7*h**2/2 + 3*h. Is g(t) a composite number?
False
Let l be 0 - (-1 + -1 + -1). Let u be 2/6 - 1225/l. Is u/4*(-2)/4 prime?
False
Let g = 266 - 51. Is g a prime number?
False
Let f(m) = 2*m**2 - 4*m + 2. Let v be f(2). Let d(x) = 6*x**2 + 5*x + 6. Let b(z) = 18*z**2 + 14*z + 17. Let p(t) = 6*b(t) - 17*d(t). Is p(v) composite?
True
Suppose 0 = r - 5*r + 588. Suppose 4*n = 2*c - 4*c + 26, 0 = 2*c + 6. Let v = n + r. Is v composite?
True
Let t = 19 + 104. Is t composite?
True
Let t(a) = 1068*a**2 - 2*a. Let x be t(-1). Is (-1)/((-4)/(x - 2)) a composite number?
True
Let o(k) = k**3 - 3*k**2 + 8*k - 5. Let a(g) = -5*g. Let y(f) = -f - 1. Let n be y(0). Let b be a(n). Is o(b) composite?
True
Is ((-6)/4 - 0) + 48386/52 a prime number?
True
Suppose -2*o = 3*o - 475. Let h(x) = -x**2 - x + 5. Let p be h(0). Suppose 5*t + p*j - o = 0, 4*t - 4*j - 44 = 56. Is t prime?
False
Let f = -42 + 99. Is (f - 0/1) + -2 composite?
True
Let t(c) = c**2 - 2. Let y be t(-2). Let b be (-2 + -40)/(-1) + 1. Suppose b = g + i, -5*g + 48 = -y*i - 132. Is g composite?
True
Suppose 0 = -s + 21 - 2. Is s composite?
False
Suppose -8*t + 3*t = -835. Is t a prime number?
True
Let v = 137 + -91. Is v prime?
False
Suppose -3*b + 3*g - 1 = -10, -3*b - 4*g = 12. Suppose 2*t - 7*t + 2035 = b. Is t a prime number?
False
Let k = 5260 - 3717. Is k prime?
True
Let v be (-1)/(-2 + (-15)/(-6)). Let y = 141 - v. Suppose 3*z + 3*n - 4*n - y = 0, 0 = 4*z - 2*n - 188. Is z a composite number?
True
Let t(a) = 2*a**2 + 5*a + 4. Let i be t(-3). Let s = i + -3. Suppose 2*c - q = s*q + 55, 3*q + 61 = 2*c. Is c prime?
False
Suppose -3 - 5 = -4*t. Suppose t*m + 15 = 85. Is m a composite number?
True
Suppose 3*v - 2*v = 43. Is v a prime number?
True
Let n(c) = -c + 4. Let g be n(10). Let l(s) = -94*s + 3. Let a be l(g). Let h = -274 + a. Is h a composite number?
False
Let v = 282 - -595. Is v a composite number?
False
Suppose 0*f + f - 3 = 0. Suppose h = -f, 0*m - m + 82 = 4*h. Is m prime?
False
Suppose 5 = r - 0*r. Suppose -p - 4*p + 290 = 0. Suppose -r*f + p + 72 = 0. Is f a composite number?
True
Suppose w = -2*w + 4*b + 2245, -b = 4. Is w prime?
True
Let j(x) = 4*x**2 + x. Let k be j(-1). Suppose -k*z - z = -528. Suppose 2*d = 6*d - z. Is d composite?
True
Let l(n) = 240*n + 22. Is l(9) prime?
False
Let u(b) = 15*b**2 - 12*b - 10. Is u(-11) a prime number?
False
Let t be 5 + 4/(5 + -3). Suppose -r - 2*w + t = -0*w, -5*w = -2*r + 14. Let s = r + -1. Is s composite?
True
Let p(k) = -k**2 + 4*k - 2. Let g be p(2). Suppose -g*m + 0*m + 6 = 0. Suppose x - 109 = -m*y, y = 4*x - 9*x + 27. Is y prime?
True
Let s(a) = a**3 + a + 237. Let g be s(0). Let n be ((-16)/6 + 3)*9. Suppose n*j - g = -0*j. Is j a prime number?
True
Let g(s) = 2*s**3 - 5*s**2 - 7*s - 11. Is g(6) a composite number?
False
Let v(i) = i**2 + 12*i + 10. Let z be v(-12). Is ((-15)/z)/(1/(-94)) a prime number?
False
Let s = -54 + 160. Is s prime?
False
Suppose 212 - 1228 = -8*t. Is t a prime number?
True
Let l(q) = -6*q - 2. Let p = -8 - -11. Let x(z) = -12*z - 5. Let k(u) = p*x(u) - 5*l(u). Is k(-5) composite?
True
Let b = -300 + 743. Is b a composite number?
False
Let f = 5 - 5. Let d = f - -6. Suppose -d*n + 4*n + 266 = 0. Is n composite?
True
Suppose -1791 = 8*j - 6119. Is j a prime number?
True
Let o(g) = g**2 - 7*g + 6. Suppose -4*n = -2*h + 22 - 6, 14 = 3*h + 4*n. Let l be o(h). Suppose l = i + 2*i - 141. Is i a composite number?
False
Let t(o) = -10*o**3 + 6*o**2 + 7*o + 7. Let k be t(-7). Let l = -2429 + k. Is l prime?
False
Let u(i) = -2*i + 4. Let b be u(3). Let g be (1/b)/((-2)/60). Suppose -5*a = 10, 3 = r - 2*a - g. Is r a composite number?
True
Suppose -2*x + 3029 = 5*i, 2*x - 7*x = -5*i - 7485. Is x prime?
False
Let t = 231 + -163. Suppose t = -0*a - 2*a. Is 2/(-6) - a/3 composite?
False
Let u be 0/(-10)*(0 + -1). Suppose -3*y + 5*d - d + 87 = 0, u = -3*y + d + 96. Is y prime?
False
Suppose 3*d = 5*d + 728. Is d/(-3) - (-2)/(-6) prime?
False
Suppose -151 = -5*s + 259. Let o be -46 - 1*4/(-2). Let w = s + o. Is w prime?
False
Is -1879*1/(2 - (-1 + 4)) a composite number?
False
Let i(k) = k + 10. Let q be i(-10). Suppose 4*g + 1 - 9 = q. Suppose -s + 43 + 90 = 3*n, 0 = g*n. Is s a prime number?
False
Let g = 21 - 6. Suppose 4*s = s + g. Let z(i) = 2*i**2 + 2*i - 7. Is z(s) composite?
False
Is (6/(-12))/((-2)/84) a composite number?
True
Suppose -5*b = -0*b - 35. Is b a composite number?
False
Suppose 0 = -3*g - 3*q + 132, 4*g - 3*q = 50 + 105. Suppose 3*r = -m + g, -r + 4 = r. Is m a composite number?
True
Let k be 18/8 + (-1)/4. Suppose -5*x - 137 + k = 0. Is 6/x - 168/(-27) a composite number?
True
Let a be (-2)/2*(-4)/2. Let o be 6 - ((-6)/(-2) - a). Suppose -127 = -o*c - 52. Is c a composite number?
True
Suppose -3*n = 2*n - 30. Let h = 61 - n. Is h a composite number?
True
Let c = 36 + -17. Is c a prime number?
True
Let i(k) = k - 2. Let q be i(1). Let s be (3 + q)/(2/7). Suppose -s + 315 = 4*j. Is j a composite number?
True
Suppose 0 = 4*m - 365 + 109. Suppose -m = -p + 25. Is p a composite number?
False
Let i(r) = -r**3 + 4*r + 7. Is i(-8) prime?
True
Suppose -2*o = -3 - 11. Let l(a) = -o*a**3 - 3*a**2 + a**2 - 4*a**2 + 1 + 5*a**2. Is l(-1) a composite number?
False
Let r(g) = 2*g**2 - g**2 + 3*g + 3*g**2 - 3*g**2. Let m be r(-3). Suppose -4*t + i + 82 = -4*i, m = t - i - 21. Is t composite?
False
Suppose 3 = 5*l + 18. Let s be (-9)/6*(-32)/6. Let d = s - l. Is d a composite number?
False
Let d be 0 + 0 - (6 + 0). Let i(j) = j**2 - 6*j - 5. Is i(d) a composite number?
False
Let m = 17 + -7. Suppose 0 = 2*y - i + 3*i - 226, 5*i + m = 0. Let g = 161 - y. Is g a composite number?
True
Let v(c) = 99*c + 23. Is v(8) a prime number?
False
Let w be (-1)/2*(-2)/(-1). Is (4 - 3)/(w/(-85)) composite?
True
Is (-2)/2*(77*2)/(-2) a prime number?
False
Suppose 3*f + 4 - 10 = 0. Let g be (-2)/(-5) - 26/(-10). Suppose f*b = g*b - 31. Is b a composite number?
False
Let g(u) = 2*u - 8. Let o be g(6). Suppose -o*k = -k - 24. Is (-2)/k + 1043/28 a composite number?
False
Let t(d) = 6*d**2 + 14*d + 21. Is t(-8) composite?
False
Suppose -p - 12 = 3*p. Is (-302)/(-6) - 2/p a composite number?
True
Let y be 2/(-10) - (-1544)/20. Let i = 34 + y. Is i a prime number?
False
Suppose -5*z + 2*z = -435. Let q = z - 78. Is q a prime number?
True
Suppose 50*b = 49*b + 1082. Is b prime?
False
Let g(t) = -t**3 - 3*t + 3. Suppose -4*b + 0*b - 4 = 2*s, -4*b = -5*s - 10. Suppose -j - 6 + 2 = b. Is g(j) a prime number?
True
Let f = 2 + 1. Suppose -f*w + 7*w = 256. Suppose 0 = 2*b - 10, 0*i + w = i + b. Is i composite?
False
Let d(v) = 28*v - 1. Is d(9) prime?
True
Let k be (3 - 1) + 3 + -1. Let u be 0/(1/1 - -1). Suppose -5*t + 183 = -j, u*j + 2*j - k = 0. Is t a composite number?
False
Suppose -4*x + 1428 + 2920 = 0. Is x a composite number?
False
Let o(c) = 0 + 2 + 4*c**2 + 1 - c - 4. Let l be o(-1). Suppose 0 = -4*t - 3*y + 15, 2*t - l*y - 1 = 1. Is t prime?
True
Let k(t) = 4*t + 2. Let y be 