j(-4) a composite number?
True
Let w(j) = j**3 - 6*j**2 + 4*j + 13. Let h be w(6). Let q be 2/8 + (-166)/(-8). Let n = h + q. Is n composite?
True
Let z = 140 - -339. Is z a prime number?
True
Suppose 5*x = 5*y - 140, -3*x + 5*y + 49 = -5*x. Let i be x + (-2 - -3 - -1). Let f = -11 - i. Is f composite?
True
Suppose 15 + 5 = 5*d. Suppose 319 = 3*w - d*c, -3*w - 4*c - 206 = -5*w. Is w a prime number?
True
Suppose 41 - 471 = -2*j. Is j prime?
False
Suppose 3*p + 9 = 0, -2*p - 202 = -5*j + 2*p. Let o = j - 24. Is 0 + 1 + o*9 prime?
True
Suppose -5*g + 580 = -5*t, -2*g = 4*t + t - 211. Is g composite?
False
Let v(p) = p**2 - 7*p + 8. Let j be v(6). Suppose -j*a + 34 = -a - g, -3*a + g + 96 = 0. Is a prime?
True
Suppose 19*q - 18 = 17*q. Let y be 1 - 2/(2/(-35)). Suppose -y - q = -5*u. Is u composite?
True
Let u(d) = -2*d**3 - 5*d**2 + d + 7. Let a be u(-5). Suppose -p = -0*p - a. Is p a composite number?
False
Let u = -1044 - -1475. Is u a composite number?
False
Suppose -5*d + 2*r + r + 5530 = 0, 4*r = 4*d - 4416. Is d composite?
False
Let p be ((-6)/(-4))/((-6)/(-16)). Suppose -q = p*q - 165. Is q a composite number?
True
Let w = -6629 + 12534. Is w composite?
True
Let m be 6 - (2 - -2)/2. Suppose m*g - 107 = -3*s, -3*s + 188 = 2*s - 3*g. Is s a composite number?
False
Suppose 5*i - w = -3*w + 1638, 5*i - 1618 = 3*w. Is i a composite number?
True
Let x(h) = -4*h**3 + 2*h**2 - 1. Let f be x(-1). Suppose f*g + 3*i - 1866 = -586, -481 = -2*g + 5*i. Is g prime?
False
Suppose -3*o + 24 = -45. Is o composite?
False
Let m be 1/(1/1) - 3. Let k be (-3)/(-3)*(-68)/m. Suppose -3*d + k + 5 = 0. Is d a composite number?
False
Suppose 3*y - 3 = 0, 5*u + y = 4*y + 1262. Is u a prime number?
False
Suppose t + 4 - 2 = 0. Let k be -10*(-1 - 1/t). Suppose k = 2*o - y + 4*y, 4*o - y - 45 = 0. Is o prime?
False
Let o = 28 - 7. Suppose 0 = -k - 3*l + 11, -4*k = -l - o - 36. Is k composite?
True
Let o(l) be the third derivative of -l**6/120 + 7*l**5/60 + 11*l**4/24 - 5*l**3/3 - 4*l**2. Is o(7) a composite number?
False
Suppose o - 5*l - 128 = 109, 0 = 5*l - 10. Suppose 3*c = 736 - o. Is c a composite number?
False
Let u be (-2 - 0) + 2 + 1. Let k(f) = 66*f + 2. Let i be k(1). Let x = i - u. Is x a composite number?
False
Let t = 710 - 219. Is t prime?
True
Suppose 0 = 5*l - 3*l - 146. Suppose -5*z + 788 = l. Is z prime?
False
Let u(k) = 3 - 39*k - 4 + 0 - 36*k. Is u(-2) composite?
False
Let g(r) = 26*r + 1. Let h(t) = t + 4*t**2 - 5 + 1 + 1 + t**3. Let o be h(-3). Is g(o) prime?
True
Let a = 13 - 8. Suppose a*j = 121 + 9. Let x = j - -11. Is x a prime number?
True
Let q = 6 - -139. Is q composite?
True
Suppose -4*r = -4*f + 236, -r + 5*r + 118 = 2*f. Is f a composite number?
False
Let s(z) = 3*z - 4. Let m be s(4). Suppose q + 2*q - 2*r = -9, r - m = 5*q. Is q/4 - 745/(-20) prime?
True
Let c(b) = 3203*b**2 - 8*b - 6. Is c(-1) prime?
False
Let v(h) = h**2 + 3*h - 11. Suppose -7*s + 3*s + 5*k - 20 = 0, 0 = 3*s - k + 26. Is v(s) composite?
False
Let y(z) = -z**3 + 6*z**2 - 2*z - 3. Let m be y(3). Let h be m - (-3 - (0 + 0)). Let c = h + -6. Is c a prime number?
False
Is (118615/(-140))/(1 - 10/8) composite?
False
Let x = 246 + -115. Let y = 186 - x. Is y composite?
True
Let k(z) = 1 - 11*z + 2*z**2 + 6*z + 10 - 7*z. Let d = 8 - -3. Is k(d) prime?
False
Let d = 97 + -93. Suppose q + 0*i - 3*i = 796, 2*q - 1552 = -2*i. Suppose 4*v + d*o - 628 = 0, -6*v + q = -v + 3*o. Is v a composite number?
True
Let w(n) = -90*n + 5. Is w(-7) prime?
False
Suppose -3*k + 6 = 0, k = -3*i - k + 295. Is i prime?
True
Let i be 1/(3*(-4)/(-564)). Suppose 10 = -k + i. Is k a composite number?
False
Let s(b) = -60*b**3 - b**2 - 3*b - 3. Is s(-2) composite?
False
Suppose -5*l + l = -4*q - 20, -q - 3 = 0. Suppose 3*x = -x - p + 361, -l*x = p - 179. Is x a composite number?
True
Let r(i) = 3*i**3 + 4*i**2 + 1. Let b = 12 - 8. Is r(b) composite?
False
Let a(s) = 3*s - 22. Let v(b) = b - 11. Let c(y) = -2*a(y) + 5*v(y). Let z be c(-11). Suppose -u + z = -2, -3*d + 5*u = -11. Is d a prime number?
True
Suppose 5*r - 3*r + 12 = 0. Let v = r - -8. Is (-2)/v*(-49 - 4) a prime number?
True
Let v = 67 + -147. Suppose -5*a + 114 = -551. Let j = a + v. Is j a prime number?
True
Let h be (2/3)/(2/9). Suppose s - a - 21 = -4*a, 5*a + 21 = h*s. Let d = 22 - s. Is d composite?
True
Let y(f) = -59*f - 10. Is y(-7) prime?
False
Suppose j + j = 12. Suppose -580 = -j*x + 2*x. Is x a prime number?
False
Let w = -13 - -2. Let x = 44 + w. Is x composite?
True
Is (-3892)/14*2/(-4) composite?
False
Let a = 378 + -169. Is a composite?
True
Suppose -5*p - 104 = a - 3*a, 0 = 5*p + 2*a + 116. Let r = 53 + p. Is r prime?
True
Suppose 5*w - 16 = 4. Suppose 4*d + 75 + 7 = -3*i, -w*d = 16. Let x = 119 - i. Is x composite?
True
Let c = 147 + -5. Suppose -j = j + c. Let v = 106 + j. Is v prime?
False
Let f be 2/(-2) + (-19)/1. Let w = f + 28. Suppose w*b = 3*b + 5*z + 160, -2*z = -6. Is b a prime number?
False
Suppose 2 = t, i - 4*t = t + 115. Suppose -o - 2 + i = 0. Is o prime?
False
Suppose 5*p = 25, -2*h - 2*p = -p - 265. Suppose x - h = -x. Let s = x + 66. Is s a composite number?
False
Let x(t) = 8*t**2 - 1. Let d be x(1). Let s = d + -2. Suppose 0 = -s*i + 42 + 28. Is i composite?
True
Suppose -9 + 0 = -k - 2*b, -3*k + 31 = 2*b. Suppose -9*x - 70 = -k*x. Is x prime?
False
Let d = 25 + -3. Is d prime?
False
Let a = 442 - -1381. Is a prime?
True
Let k(t) = -1 - t + 7 + 8 - 4. Let g be (-1 + 2)*(9 - 1). Is k(g) a composite number?
False
Let k(w) = -w**3 + w**2 + w + 322. Let l be k(0). Suppose -107 = b + 66. Let j = b + l. Is j prime?
True
Suppose 2*v = 2*b + v + 29, -3*b = -4*v + 36. Let h be (b/6)/(12/(-18)). Suppose -4*w + h + 36 = 0. Is w a composite number?
True
Let d(q) = -q**2 - 2*q + 4. Let p be (-3 - (-36)/15)*5. Let z be d(p). Is (2 - z)/((-3)/(-63)) a prime number?
False
Let u = 935 - -314. Is u prime?
True
Let m(r) = -r + 2. Let t be m(0). Suppose -4*o + 136 = 2*b - 194, 0 = -t*b + 5*o + 321. Is b a composite number?
False
Let v be -15*(-1 - (-2)/3). Let i = 5 - v. Suppose 2*l - 238 = -i*l. Is l prime?
False
Is ((-1623)/9)/((-7)/21) a prime number?
True
Let p(l) = 43*l**2 + 2*l + 5. Is p(4) a composite number?
False
Let s = 7 + -4. Suppose s*g + 2*a = 3*a + 47, 4*a = -g + 20. Suppose 5*v + 1 = 2*q + g, 4*v - 2*q = 12. Is v composite?
False
Let m = 338 + 154. Let j = m - 330. Let r = 229 - j. Is r a composite number?
False
Let c(w) = -73*w + 3. Let x be c(-5). Suppose 3*v = x + 310. Suppose 5*a + 71 = v. Is a composite?
False
Let x(i) = -20*i - 3. Let d be (-2)/(-4) + (-18)/4. Is x(d) prime?
False
Let n(f) be the second derivative of -f**4/12 + 23*f**3/6 - 5*f**2/2 + f. Suppose -6*i + 66 = -0*i. Is n(i) a prime number?
True
Let p(q) = 33*q + 13. Is p(16) composite?
False
Suppose -2*k + 98 + 56 = 0. Is k composite?
True
Let a = -99 - -226. Is a prime?
True
Suppose -6*j = -j + x - 71, -3*x = 12. Is j prime?
False
Suppose -10*z = -7743 - 10467. Is z a prime number?
False
Suppose 2*x - 3*x + 64 = 2*s, 0 = 4*s - 3*x - 138. Is s a composite number?
True
Suppose i - 160 = -0*i. Suppose 0*u = -4*g - u + i, 70 = 2*g - 2*u. Is g a composite number?
True
Suppose -23*g = -25*g + 166. Is g a composite number?
False
Suppose 4*g + 7474 = 2*x - 1352, 2*g = -2*x + 8838. Is x prime?
False
Let m(x) = 6*x + 1. Let b(s) = 5*s + 1. Let l(t) = -5*b(t) + 6*m(t). Let u(i) = i**3 + 4*i**2 - 2*i - 6. Let n be u(-4). Is l(n) composite?
False
Is (1 + 2*(-1 + 0))*-993 a prime number?
False
Let p(r) = -208*r - 35. Is p(-4) prime?
True
Suppose 0 = 4*s - 7 - 1. Let w(a) = -a**2 + a - 2. Let b be w(s). Is (b/(-6))/((-4)/(-474)) prime?
True
Suppose -1834 + 510 = -2*g. Is g a prime number?
False
Let a(n) = 27*n**2 - n + 3. Is a(2) a prime number?
True
Suppose v = -2*d - d - 12, 0 = 2*v + 5*d + 24. Is 539/3 - (-8)/v a prime number?
True
Let f = -693 - -2102. Is f composite?
False
Let k = 0 + 2. Let v = k + 1. Suppose -2*u + 5 = 3*z, 2*z + v*z = 3*u - 55. Is u a prime number?
False
Let y(u) be the third derivative of -u**6/120 + 3*u**5/20 - u**4/12 + u**3/6 + u**2. Is y(6) a prime number?
True
Let u = 15 - 14. Suppose 156 = a - u. Is a composite?
False
Suppose -2*o + 351 = -407. Is o composite?
False
Let l(b) = -b**3 - 5*b**2 + 5*b - 2. Suppose 5*g +