z a prime number?
True
Let t(i) = i**2 - 5*i - 3. Is t(-3) prime?
False
Suppose 0 = 2*p + 4*x + 2, p - 3*p + 3*x - 16 = 0. Suppose 2*f + 3*a = -3*f - 167, -4*f = -3*a + 112. Let u = p - f. Is u a prime number?
False
Let b be 4 - (81 - (-5 + 4)). Let k = -44 - b. Is k a prime number?
False
Let p be 1*(359 - 4)*1. Suppose 4*g - p = 3*g. Is g a composite number?
True
Suppose -y - 3*y + 5*l + 1324 = 0, -3*y = -5*l - 993. Is y prime?
True
Let z be (-8880)/(-32)*(3 + 1). Let o = -773 + z. Is o composite?
False
Suppose -12*x - 4460 = -16*x. Is x a composite number?
True
Let i(k) = -k**3 + 5. Let r be i(0). Suppose -r*o - 2*s + 0*s = -224, 196 = 4*o - 4*s. Is o a prime number?
False
Let f be ((-100)/(-6))/((-8)/228). Let x = -284 - f. Is x a composite number?
False
Suppose -5*b + 1176 = -179. Is b composite?
False
Suppose -5*z - 558 = -3623. Is z a composite number?
False
Suppose 0 = -3*q + 7*q - 560. Suppose -4*h - 56 = q. Let c = 86 + h. Is c a prime number?
True
Let v(g) = -79*g**3 - g**2 - g. Let o be 3/(-5) + (-2)/5. Is v(o) composite?
False
Let a(r) be the first derivative of -r**6/120 - 7*r**5/60 - r**4/3 + 3*r**3/2 - r**2 + 2. Let f(v) be the second derivative of a(v). Is f(-7) prime?
False
Let q(f) be the first derivative of 11*f**4/12 + f**3/6 - 3*f**2/2 - 2. Let t(j) be the second derivative of q(j). Is t(1) composite?
False
Let l(q) be the second derivative of 29*q**4/12 + q**3/6 + q**2/2 + 5*q. Is l(4) a composite number?
True
Suppose -4*n + 4*g = -204, -n + 3*g + 18 + 43 = 0. Is n prime?
False
Suppose 5*u = -0*u - 20, -5*u + 14232 = 4*i. Is i a composite number?
True
Suppose 1364 = s + 3*v, 0*s + 4*s = 2*v + 5442. Is s a composite number?
False
Suppose -2*h = r - 5*r + 164, 2*r = 5*h + 98. Is r composite?
True
Suppose 4*p = 5*x + 1305 + 1994, -15 = 5*x. Is p prime?
True
Let i(y) = 75*y**2 + 2*y + 4. Let j be i(-2). Suppose -f - j = l - 3*l, 5*f = -10. Is l a prime number?
True
Let w(t) = -2*t - 5. Let g be w(-5). Suppose g*z - 117 = 2*z. Is z prime?
False
Let w(t) = t - 6. Let q be w(10). Suppose 635 = s + q*s. Is s a composite number?
False
Let s = -122 - -208. Is s a composite number?
True
Let a be (-3)/(-2)*(-2 - -4). Suppose a*b - 290 = -2*b. Is b prime?
False
Let g be (-1)/(((-9)/(-6))/(-3)). Suppose 0*t - 98 = -g*t. Is t composite?
True
Suppose 0 = 3*b + b. Let s = -6 - -10. Suppose b = 5*l - s*l - 7. Is l composite?
False
Suppose 0 = 6*c - 2409 + 765. Is c a composite number?
True
Let w = -11 + 15. Suppose 3*v + 3*c - 18 = 0, 5*c + 14 = v - 16. Is w/10 + 326/v prime?
False
Let m = 12564 + -7265. Is m a prime number?
False
Let s(t) = t**3 + 7*t**2 - t. Let j(h) be the second derivative of -h**5/20 - 5*h**4/4 + h**3/3 - h. Let f(m) = 6*j(m) + 13*s(m). Is f(1) a composite number?
False
Suppose 7*p - 5*p - 38 = 0. Is p a prime number?
True
Let s(o) = -o**2 - 4*o - 4. Let c be s(-3). Let p = c - -1. Suppose -5*x - 3*z = -175, p*x = 2*x - 4*z - 70. Is x a prime number?
False
Suppose 14 = -h - 8. Let a = -11 - -8. Is 1/(-3) + h/a a composite number?
False
Let y(b) = 185*b + 1. Let n be y(2). Let f be -17*(-5 + 0) + -1. Suppose -f - n = -5*o. Is o composite?
True
Suppose 2*j + 2*n = -2*n + 266, -j = 5*n - 142. Is j prime?
True
Let w(d) = -d + 3. Let l be w(2). Suppose -2*a - 112 = -5*i, 0*a - a - l = 0. Is i a prime number?
False
Let l(g) = -g**3 + 12*g**2 + 18*g + 4. Is l(-9) a prime number?
True
Let v = 39 + -6. Is v a composite number?
True
Suppose -2*p - 171 + 559 = 0. Suppose 0 = -4*k + 3*f + 154, 4*k + 4*f - p + 54 = 0. Is k a prime number?
True
Let g = -108 + 302. Suppose -2*r + g - 16 = 0. Is r a composite number?
False
Let w(y) = y**3 + 9*y**2 + 4*y - 9. Let g(j) = j**3 + 6*j**2 - 5*j + 6. Let f be g(-7). Is w(f) a composite number?
False
Let l(x) = x**3 - 8*x**2 - 6*x - 13. Let d = 24 - 15. Is l(d) a prime number?
False
Let s = 237 - 88. Let c(d) = -3*d**2 - 5*d + 6. Let z be c(-6). Let r = z + s. Is r a composite number?
True
Let v be -9 - (1 - 2)*0. Let m = -4 - v. Suppose m*x = -c + 63, 0*c = -4*x + c + 54. Is x prime?
True
Let c(a) = -a**3 - 5*a**2 - 10*a - 9. Let w be c(-10). Let l = w - 390. Is l composite?
True
Let o(l) = 6*l**2 - 2*l + 9. Is o(-4) a composite number?
False
Suppose 0 = -5*w - m + 19, 3*w - 7 = -3*m + 2. Suppose -325 = a + w*a. Let x = -28 - a. Is x prime?
True
Let m be (-54)/13 - (-18)/117. Is -3*m/36*279 prime?
False
Suppose 0 = -5*t + 20, -3*t - 2*t = 3*b - 773. Is b prime?
True
Let b = 202 - 113. Is b composite?
False
Is (-11)/(1155/14) - 59147/(-15) composite?
False
Let a(m) = 171*m - 1. Let x be a(1). Suppose -2*s - j + 259 = 0, -s + x = -j + 48. Is s prime?
True
Suppose -12 = y - 5*h, 4*h = 5*y - 3 - 0. Suppose -5*p = -2*q + 6*q - 1271, -2*p + 955 = y*q. Is q a composite number?
True
Let k = 43 - 49. Suppose 29 + 11 = 2*m. Let w = m + k. Is w composite?
True
Let o = 1 - -4. Suppose -1 = 4*w - 13, h + o*w - 10 = 0. Is h/((-2)/(2 + 8)) a prime number?
False
Suppose 0 = -2*t - 2*c + 668, -2*t - c - 2*c = -667. Is t a composite number?
True
Let d(a) = 4*a**2 - 4*a - 3. Let q be d(-3). Let i be ((-46)/(-4))/((-4)/(-8)). Let f = q - i. Is f a prime number?
False
Let o(b) be the third derivative of -b**4/6 + b**3/2 + b**2. Let w be o(2). Is w - -8 - -2*132 composite?
True
Suppose -5*o + 2*o = -90. Suppose 2*z = -o - 90. Let k = z - -91. Is k composite?
False
Suppose -w + 6*w - 5*o - 235 = 0, -2*w + o + 93 = 0. Is w a prime number?
False
Is (-2)/4*502*-2 a composite number?
True
Let l = 995 - -894. Is l composite?
False
Let u = 6 - 4. Is -37*2/(-1*u) a prime number?
True
Suppose 0*b + 2*b - 226 = 0. Is b a composite number?
False
Suppose d - 8 = 4*q, 6*q - q = -d - 1. Suppose -3*y + 6*y = 3*f - 3, 0 = -5*f + d*y + 3. Is 1 - (f - -1 - 2) a composite number?
False
Let y = 21 + -42. Is (y/6 + 3)*-338 prime?
False
Is 1418/18 + 8/36 prime?
True
Let d(f) = -6*f + 1. Let q be d(4). Let v = q - -56. Is v a prime number?
False
Let h be (-52)/9 - 6/27. Let p be 0*(-2)/(-4) + h. Let c(l) = l**3 + 6*l**2 - l + 1. Is c(p) prime?
True
Let u(j) = -2*j + 1. Suppose -y + 7 = -3*i, -2*y + 15 = 5*i + 3*y. Let m be u(i). Suppose -d + 252 = 3*o - 0*d, 2*o = -m*d + 175. Is o a composite number?
False
Suppose -4*l = l - 870. Suppose -8 = -t - t. Suppose -3*x + 3*a + l = 8*a, -206 = -t*x + 2*a. Is x prime?
True
Let r be -15*1*(-5)/15. Suppose m + f - 2 = 0, m + 3*m + r*f = 7. Suppose -2*x + 238 = 5*s, -152 = -m*s - 4*x + 2. Is s prime?
False
Let p(c) = 13*c**2 + 8*c - 4. Is p(11) a composite number?
False
Let r(l) = l**3 - 9*l**2 + 7. Let j be (-6)/(-10) + 126/15. Is r(j) composite?
False
Let w(p) = -2*p + 2. Let o be w(2). Let t be 166/(-12) - o/(-12). Let a = 45 - t. Is a composite?
False
Suppose 4*j - 3 - 5 = 0. Suppose j*h = 4*h - 74. Is h prime?
True
Let b(t) = 10*t - 8. Let x be b(11). Suppose -5*n + x = -163. Is n a prime number?
True
Let o = 9 - 16. Let w = 72 - o. Is w a prime number?
True
Suppose -2265 = -3*n - 4*z + 10634, 5*n - 4*z - 21477 = 0. Is n a prime number?
True
Let i = 424 - 21. Is i composite?
True
Suppose 614 = y + y - d, 4*y = 4*d + 1228. Is y prime?
True
Suppose -4*i + i = -1248. Suppose o - i = -o. Suppose o = 3*b + 70. Is b a prime number?
False
Let r be 60/16 + (-2)/(-8). Suppose -705 = r*b - 4333. Is b composite?
False
Let l(n) = -2*n**2 + n. Let x be l(1). Let z be (2 - 1)/(x/(-2)). Is -1*(-55 - (z + -2)) a composite number?
True
Let w = 755 - 384. Is w prime?
False
Suppose v - 5*c + 180 = 6*v, 3 = 3*c. Is v a prime number?
False
Let m(l) = -3*l**3 + 2*l**2 - 3*l - 3. Let q = 7 + -11. Is m(q) a composite number?
False
Suppose 4*f - 315 = -5*w, -3*f - 17 = -2. Is w prime?
True
Suppose 86*r - 88*r + 3242 = 0. Is r prime?
True
Let i(t) = 744*t**3 - t. Suppose -5*b + 8 - 3 = 0. Is i(b) prime?
True
Let u(z) be the second derivative of z**5/20 - 5*z**4/6 + 3*z**3/2 + z**2 - 2*z. Let s be u(9). Suppose 24 = s*k + 2*k. Is k a prime number?
False
Let d(g) be the first derivative of -2*g**3 + g + 2 + 5/2*g**2 + 1/2*g**4. Is d(4) a composite number?
False
Suppose 5*i - 74 - 31 = 0. Is (84/18)/(2/i) a prime number?
False
Is 20470/25 - 8/10 a prime number?
False
Suppose -3*d + 655 = 4*k, -4*d = -3*k + 415 + 70. Is k prime?
True
Let d(m) = -27*m - 15. Let l be d(-10). Suppose -1032 = -4*t - 2*j, -j - l = -0*t 