ppose 4*v - 4 = -5*y, 42 = -5*v + 3*y + 10. Let j(g) = 2*g**2 + 1 + 0 + 1 + 5*g + 0*g. Is j(v) composite?
True
Suppose 0 = 4*x - 114 - 254. Suppose t = 3*t - x. Is t composite?
True
Let m = 17 - -60. Suppose h + 38 = -4*y - 34, -5*y = h + m. Let d = -21 - h. Is d a composite number?
False
Suppose 2*d - 563 = 1007. Is 2/(-1)*d/(-10) a composite number?
False
Let h = -198 - -314. Suppose -3*u - 2*u - 2*o + 465 = 0, u = -5*o + h. Is u a prime number?
False
Suppose q = v - q - 7, 2*v = -q - 1. Let d(x) = -x**3 - 6*x**2 - 2*x - 8. Let u be d(-6). Suppose -v = o - u. Is o a composite number?
False
Suppose h = -0*i + 2*i - 972, 976 = 2*i - 3*h. Is i prime?
False
Suppose -5*t - 78 - 132 = 0. Let d = 131 + t. Is d composite?
False
Suppose b - 106 = 3*x, 0*x + 4*x - 120 = -b. Let z be b/(-6)*30/(-8). Suppose 3*f - 167 - z = 0. Is f a prime number?
True
Let t(b) = -b - 7. Let u be t(-7). Suppose 5*o - 5*m + 15 = u, -5*o - m + 9 = 2*m. Suppose o = 2*r - 11 - 15. Is r composite?
False
Suppose 3*z - 6 = -2*d, -17 = -4*d - 2*z + 11. Let g = d - 15. Let o = 121 - g. Is o a prime number?
True
Let k(v) = 8*v**2 + 8*v - 13. Is k(6) a composite number?
True
Let s = 14 + -7. Suppose -s*k + 399 = -4*k. Is k a composite number?
True
Let c = 11 + -8. Suppose o + 12 = 5*u, 2 + 22 = 5*u + c*o. Suppose -187 = -u*d + 284. Is d prime?
True
Suppose -5*z + 3*s + 56 + 109 = 0, 4*s = -5*z + 130. Let m = 2 + z. Let j = m - 18. Is j prime?
False
Let p(a) = -a**2 - a + 3. Let v be p(0). Let x be (v/(-2))/(6/(-16)). Suppose -2*q = 5*b - 109, x*q + 49 + 27 = 4*b. Is b prime?
False
Let f be -11 - -10 - 1*-4. Suppose 0*y - 2*y = -2*l - 378, -f*l = 12. Is y a prime number?
False
Let k(t) be the second derivative of -11*t**3/6 + 2*t**2 - 3*t. Is k(-3) a prime number?
True
Let q = 1196 - 307. Is q prime?
False
Let u(a) = -3*a + 490. Suppose 3*l - 13 = 4*g + 7, 0 = l - 4. Let q(r) = r - 163. Let f(s) = g*u(s) - 7*q(s). Is f(0) composite?
True
Let z(g) = -g**3 - 9*g**2 + g + 9. Let s be z(-9). Suppose s = -3*c - c + 356. Is c composite?
False
Let j be 42/9*(-3)/(-1). Suppose 5*i - j = 141. Is i a prime number?
True
Suppose -275 = -2*k + 603. Is k prime?
True
Let b(h) = 6*h**2 + h. Let y be b(1). Let g = y + -9. Let l = 13 + g. Is l a prime number?
True
Let u(z) = 170*z - 13. Let x be u(-10). Let o = x + 951. Is -3 - o/3 - -2 a prime number?
False
Is (1 - 0)*149 + 0 a prime number?
True
Let r(b) = -91*b**3 + 2*b**2 - 2*b - 1. Let y be r(2). Is (-2)/(-12) + y/(-6) a composite number?
True
Let n = -2 + 1. Let f be (0*(0 - n))/(-2). Suppose f = -0*o + 5*o - 170. Is o a composite number?
True
Let s(k) = 2*k**3 - 4*k + 31. Is s(10) a composite number?
True
Suppose -327 = -2*r + 2279. Is r composite?
False
Let h be 2647 + (2 - 3/3). Is (6/24)/(2/h) prime?
True
Let g(h) = -6*h**3 + h**2. Let s be g(-1). Let n(q) = -q + 10. Let o be n(s). Suppose -o*m + 13 = -8. Is m prime?
True
Is (1 + (-1400)/3)*(-3 - 0) a prime number?
False
Let i(u) = 8*u**2 - 3*u + 3. Is i(-4) a composite number?
True
Suppose 4*b = -567 + 1371. Let r = -132 + b. Is r a prime number?
False
Suppose 6*z - 95 = 3*z - 2*l, -2*z - 3*l + 55 = 0. Is z a composite number?
True
Let n(j) = j**3 - 7*j**2 + 2*j + 7. Let o be n(7). Let u = o + 32. Is u prime?
True
Suppose 0*u = 3*u - 6, 4*o - 2262 = -5*u. Is o a composite number?
False
Let f(l) = -9*l - 4. Let w be f(-4). Is (-24)/w + (-335)/(-4) prime?
True
Suppose o - 4750 = -5*s, -s - 3*o + 388 = -576. Is s prime?
False
Let m be 16/(-20)*(-30)/1. Suppose 5*x - 2*h - 7 = 2, 4*x = -4*h + m. Is x composite?
False
Suppose -20627 = -3*o + 4000. Is o prime?
True
Let l(u) = 31*u**2 - 2*u - 1. Suppose 24 = 3*v - 3*f - f, -5*v - 3*f = -11. Is l(v) a prime number?
True
Suppose 6*d = 3*d + 54. Suppose -4*k - d = -62. Is k a prime number?
True
Let f(z) = 5*z - 4. Suppose 2*l - h = -l + 4, -l - 2*h + 13 = 0. Is f(l) composite?
False
Suppose 8 + 0 = 2*l. Suppose 407 = 2*u + 5*s, l*u - 2*s = s + 853. Is u composite?
False
Let f(y) = y**3 + 4*y**2 - 2*y - 3. Let s be f(-4). Let c(h) = -14*h + 3. Let i(m) = -29*m + 6. Let p(r) = -13*c(r) + 6*i(r). Is p(s) a composite number?
False
Let w be (30/9)/((-1)/12). Is 0 - (3/3 + w) a prime number?
False
Suppose -112 = 2*j - 438. Is j a composite number?
False
Suppose -2*q = q - 417. Is q a prime number?
True
Suppose 0 = -3*l - 4*z + 921, -4*z + 1535 = 3*l + 2*l. Is l prime?
True
Suppose 0 = -a + 9 - 1. Suppose 4*v = 4*c + 68, 2*v - a*c - 28 = -3*c. Is v composite?
False
Let t be 46/10 + 10/25. Let j = t + 0. Suppose 2*n + 2*s + 108 = j*n, -2*n = s - 65. Is n prime?
False
Suppose 10 = 2*s, 0 = -g + 3*s - 2*s + 78. Is g prime?
True
Is 2 - (-1)/((-5)/(-2715)) a prime number?
False
Suppose 6*p - 4*p - 122 = 0. Let t = p + -39. Is t a prime number?
False
Is 262*(3/6 - 0) a composite number?
False
Suppose 3*p - 2*m - 144 = 0, -205 = -5*p + m + 35. Let t(b) = 0 - 4 + 5 + p*b**2. Is t(-1) a prime number?
False
Let r(q) = q**3 + 2*q**2 - 1. Let y be r(-1). Suppose y*x = 4*x. Suppose -2*h + 44 = -4*w, x*w - 3*w - 12 = 0. Is h composite?
True
Let b be 3 + (-9)/3 + -6. Is b/10 - (-108)/30 a composite number?
False
Suppose 0 = -2*v - 2*k + 1712, 0 = 4*v + k - 0*k - 3433. Is v a prime number?
True
Suppose 50*v - 47*v = 381. Is v a prime number?
True
Let d(u) = 15*u**2 - 3*u - 7. Is d(-2) prime?
True
Let p = 4281 + -1342. Is p a prime number?
True
Suppose 2*p = -2*p + 2*c + 4698, p = 2*c + 1167. Is p composite?
True
Is (-9354)/(-4)*(-4)/(-6) prime?
True
Let k = -25 - -48. Let n = 14 + k. Is n prime?
True
Let g(f) be the first derivative of -f**4/4 - f**3 + 9*f**2/2 - 4*f + 9. Is g(-7) a composite number?
True
Let v be 4/6*24/4. Suppose -15 = -v*d - 3*h, 2*d - 3 = -0*d + 3*h. Suppose 170 = 5*i + d*x, 4*i + 4*x = -0*x + 144. Is i a prime number?
True
Let q = -92 - -255. Is q prime?
True
Suppose c = -3*c. Suppose c*y = y - 265. Is y a composite number?
True
Suppose 0*d + 3*d = 366. Is d a prime number?
False
Suppose 3*z = -6, 10 = -p - 5*z + 1. Is (-26)/(2*p/(-2)) a prime number?
False
Suppose -q - 3 = 0, q + 0*q + 2351 = 4*o. Is o a composite number?
False
Is 347*2*(-4 - -5) a composite number?
True
Suppose 1 - 5 = -l. Suppose -l*t = -442 + 158. Is t a composite number?
False
Let s(d) be the first derivative of 3*d**5/4 - d**4/4 + d**3/3 + d**2/2 + 2*d + 3. Let w(h) be the first derivative of s(h). Is w(2) composite?
False
Let i(j) = j**3 - 7*j**2 + 7*j - 7. Suppose 0*o + 4*o - 24 = 0. Let s be i(o). Let g(m) = -144*m + 1. Is g(s) prime?
False
Suppose 0*g = 3*g - 36. Is (g - 0) + (-3 - -4) a prime number?
True
Suppose 2*j - 4*d - 5414 = d, 0 = -3*j + 4*d + 8121. Is j prime?
True
Let m(z) = z**3 - 8*z**2 - 15*z + 21*z + 8 + 3. Is m(8) prime?
True
Let p(t) = -t + 4. Let l be p(-3). Let m = 11 - l. Suppose -5*c + 2*c + 5*k = -169, 5*c - 273 = m*k. Is c a prime number?
True
Is 0 - (471/(-3))/((-2)/(-2)) a composite number?
False
Suppose -5*v + 3*w = -7 - 0, -5*v - 5*w = -15. Suppose -v*o + 68 = -20. Let q = o + -9. Is q a prime number?
False
Let f(z) = z**3 - 10*z**2 + 7*z + 9. Let x be f(8). Let k = -25 - x. Is k composite?
True
Let v(r) = -r**2 - r + 485. Is v(0) a composite number?
True
Suppose -19*h - 4*h + 14559 = 0. Is h a composite number?
True
Suppose -4*f + 5*u + 731 = 0, -10 = 4*u + 2. Is f composite?
False
Let f(h) = -h**2 + 2*h + 7. Let y be f(3). Suppose 2*o + 422 = y*o. Is o a prime number?
True
Let d be (-1 + -5)/(-5 + 3). Suppose -4*i + d*i + 6 = 0. Let y = i + -4. Is y prime?
True
Let t(j) = j**2 - j - 2*j**2 - 3*j + j - 1. Let x be t(-3). Let m(s) = -78*s**3 - 2*s**2 + 1. Is m(x) composite?
True
Is (-1 + -1)/((-4)/106) composite?
False
Suppose -3*j = j - 12. Suppose 0*v - 3*v + 483 = j*q, 5*v - 3*q = 821. Is v a prime number?
True
Let s(t) be the first derivative of t**4/4 - 7*t**3/3 + 2*t**2 + 3*t + 1. Let w be s(6). Is -33*(-2 + (-12)/w) a prime number?
False
Suppose 7926 + 4690 = 4*w + u, 2*w - 6298 = -3*u. Is w composite?
True
Suppose 0 = 6*b - 3*b + 2*a + 952, a - 964 = 3*b. Let q = -143 - b. Is q a prime number?
False
Suppose 0 = -3*b + 2*x + 3*x + 2255, -4*b + 2968 = 3*x. Is b prime?
False
Let o(h) = h**3 + 11*h**2 + h + 5. Let m(t) = 2*t**3 + 23*t**2 + 2*t + 11. Let i(a) = -4*m(a) + 9*o(a). Let l be i(-7). Let d(y) = -12*y - 5. Is d(l) composite?
Fal