composite number?
True
Let z(o) = o**3 - 2*o**2 + 2*o + 4. Suppose -15 - 5 = -4*h. Is z(h) a composite number?
False
Let s be (112*1)/1 + 3. Suppose 4*a + a = s. Is a prime?
True
Let x be -1*(-2)/3*-168. Let t = 169 + x. Is t composite?
True
Let y = 15 - -9. Let h = 0 + 1. Let z = y - h. Is z a prime number?
True
Let l(k) = 5*k**2 + 3*k - 5. Let z be 0 + (-1 - (0 - 5)). Is l(z) composite?
True
Let d(t) = 21*t**2 + 8*t. Is d(5) prime?
False
Suppose 1756 = -4*l - 4*w + 4220, 2*l - 1236 = -4*w. Is l prime?
False
Is (-2)/(1342/(-446) - -3) a prime number?
True
Let i = 95 - -122. Suppose -2*p - q + i = 0, 0*p - q + 106 = p. Is p a prime number?
False
Suppose -164 = -3*m + 73. Suppose 161 = 4*j + 3*g, -41 = -3*j - 2*g + m. Is j a prime number?
False
Let s = 17 - 24. Let t = s - -5. Is t/1*(-19)/2 prime?
True
Let w(x) = -x**2 - x + 1. Let l(v) = -9*v + 5. Let a(f) = l(f) - 3*w(f). Is a(-7) prime?
True
Let w(g) = g**2 + 3*g - 7. Let k be w(-5). Suppose 0 = 4*m - 3*t + 29, 5*m - k*t + 38 = 1. Is 1/4 - 630/m composite?
False
Suppose -39 = 5*a + 2*g, -2 + 5 = g. Let t = 6 - a. Is t composite?
True
Suppose -5*q + 4*f - 20 = 0, 15 = 2*q - 2*f + 5*f. Suppose 4*n - 2*g = -2, -g + 5 = -0*g. Suppose q = n*p - 23 - 19. Is p a composite number?
True
Suppose -2*w - 74 = 3*p - 7*p, 3*w = 5*p - 107. Let y be (-5 - w)/(2/(-15)). Let r = y + 265. Is r prime?
False
Suppose -39*n + 31*n + 1256 = 0. Is n composite?
False
Suppose 12*d - 9485 = 7*d. Is d a composite number?
True
Suppose j = 3*j + 32. Let i = -10 - j. Is i/4*(-282)/(-9) a prime number?
True
Let g be (-1 + -2)/(2/20). Let f = 44 + g. Is f prime?
False
Suppose 2*g - l = 14, -4 + 12 = -2*l. Let k = 19 + -10. Suppose 3*m = -g*q + 89 + k, 126 = 4*m + 2*q. Is m composite?
False
Suppose 6 = -6*l + 3*l. Let v(o) = -32*o**3 - 2*o - 3. Is v(l) a composite number?
False
Let u(b) = 37*b**3 - b**2 + b. Let p be (0 + -2)*(-5)/10. Is u(p) prime?
True
Let i(h) = 9*h - 1. Let k be i(-1). Let o be 3*4*(-5)/k. Let n(r) = r**2 - 3*r - 8. Is n(o) composite?
True
Let j = -5 + 3. Is 46 + (-3 - j - -2) a prime number?
True
Let r(w) = -w**3 - 5*w**2 - w + 2. Let s be r(-5). Let q(j) = -j**3 + 10*j**2 - 3*j + 1. Is q(s) composite?
False
Let p = 9 - 7. Suppose p*c - 26 = 26. Is c composite?
True
Let y be 3/15 - 1068/15. Let q = y + 608. Is q a prime number?
False
Let v(c) be the second derivative of -c**4/12 + c**3/6 + c**2 + c. Let i be v(0). Suppose -i*r + r + 79 = 0. Is r prime?
True
Let f(i) = -10 + 13*i + 7 + 5*i**3 - 10*i**2 - 4*i**3. Is f(10) prime?
True
Let g(p) = -p**3 + 8*p**2 - p + 8. Let f(d) = -2*d**3 + 16*d**2 - 3*d + 16. Let b(w) = 6*f(w) - 11*g(w). Let h be b(6). Let x = h - -15. Is x prime?
True
Suppose -f - 4*f = 3*r - 1576, -6 = 2*r. Is f composite?
False
Let u(o) = 12*o**2 + 3*o + 6. Is u(5) composite?
True
Suppose a - 1358 = -a. Is a composite?
True
Let q be (-1 - -2) + (-134 - -1). Let z = -67 - q. Is z composite?
True
Let p(c) = c**3 - 10*c**2 - 12*c + 15. Let r be p(11). Suppose 5*i - 2*h = 559, 4*h - 298 = -r*i + 166. Is i a prime number?
True
Let r(w) = -19*w + 2. Let k(o) = -o**3 - 4*o**2 + 2*o + 5. Let s be k(-4). Is r(s) a prime number?
True
Suppose 3*a + 188 = -4*n, -3*n - 141 = -4*a - a. Let q = -17 - n. Suppose -20 = -6*l + l, -2*c + q = -2*l. Is c composite?
False
Suppose -5*d + 335 = -3*u, -3*u = -0*d - d + 79. Let t = -9 + d. Suppose 11 = -4*a + t. Is a a prime number?
True
Let u(q) = -q**3 - 9*q**2 + 4*q - 15. Let w = 10 - 21. Is u(w) a composite number?
True
Suppose 0 = -y - 5*g + 241, y + 761 = 4*y - 4*g. Is y prime?
True
Let o = 5 + -8. Let c(h) = 25*h**2 - 2. Is c(o) prime?
True
Suppose -3*m - 3*n + 54 = 0, 0 = -5*m + m - 2*n + 82. Suppose v - 5*a = m, 4*a = 5*v - v - 156. Is v a prime number?
True
Let v(s) = -s + 5. Let h be v(0). Let u(b) = -b**3 + 6*b**2 + b + 3. Is u(h) composite?
True
Let y(o) = 16*o + 3. Is y(10) prime?
True
Let w(s) = 91*s**2 + 2*s - 1. Suppose -n = 3*n - 8. Is w(n) composite?
False
Suppose -5*a - 111 = 2*o, 78 = -a - 2*a - 5*o. Let h = a - -54. Is h a prime number?
False
Let u(c) = 2*c + c - c**3 - 6 + 3*c**2 - c. Let b be u(4). Is (-1838)/b - 6/21 composite?
False
Let d be 0 + 3*473 + -3. Suppose -5*n + d = -n. Is ((-6)/9)/((-4)/n) a prime number?
True
Let d(f) = 3*f**2 - 6*f + 6. Let k = 20 - 13. Is d(k) a composite number?
True
Let d = -3015 + 2125. Is (6 - 4)*d/(-4) composite?
True
Suppose 2220 = 5*a - 5*d, -5*a - 3*d + 2228 = -0*d. Is a prime?
False
Suppose -v = -4, 0*r - 2*r + 26 = 5*v. Is 6*r*(-13)/(-6) a prime number?
False
Let l = -3 + 1. Let c(r) = -38*r. Let f be c(l). Suppose -2*g = -6*g + f. Is g a prime number?
True
Suppose -j - 54 = -2*j. Suppose k = b - 5*b + j, -3*b - 311 = -4*k. Is k prime?
False
Let o(m) = m + 485. Is o(0) composite?
True
Let t be 6/(-4) - 2/(-4). Is (0 - -1)/(t/(-15)) a prime number?
False
Suppose d + 3 = 3*v, -5*v - 3*d = -4*d - 3. Suppose v*w + 2*w = -5*h + 599, 5*w + h - 1532 = 0. Is w composite?
False
Let z(r) = r + 5. Let w be z(-6). Let b be (-15)/(-4) + w/(-4). Suppose x + b*x = 370. Is x a composite number?
True
Suppose d + 1 = 2*d. Suppose 3*a = 32 + d. Is a a composite number?
False
Let j(x) = 2*x - 4. Let t be j(3). Let w(m) = 4*m**2 + m + 2. Let f be w(t). Let y = f - 10. Is y prime?
False
Let v(k) = 3*k + 13. Let x = -7 - -17. Is v(x) a composite number?
False
Let y = -24 + 34. Let v = 26 + -51. Is (-12)/y*v/2 a composite number?
True
Let g(h) = -h**3 - 4*h**2 + 2. Let m be g(-4). Suppose -x + w = 5 + 7, 4*w + m = -x. Is (x/8)/(3/(-36)) a composite number?
True
Let t(z) = -746*z + 9. Is t(-1) composite?
True
Let f be (1/3)/(1/6). Is (5/(10/148))/f composite?
False
Suppose 0 = -2*v + 8*v - 3018. Is v a prime number?
True
Suppose 2*t - 3*c = -1 + 2, -5*c = 3*t - 30. Suppose t*n - 5*h + 4*h = 430, 15 = 3*h. Is n a composite number?
True
Suppose -t + c = -0 - 1, -c + 5 = 2*t. Suppose y = 5*y - 8. Suppose -70 = -t*m + 2*u, m = 4*m + y*u - 85. Is m a prime number?
True
Let r(c) = -c**2 + c + 241. Let b = 0 + 0. Let m be r(b). Is (m - 1)/3 + -1 composite?
False
Suppose -3*x + 5*m = 1084, 5*x + 875 + 935 = 5*m. Is (-1 + x/6)*-2 composite?
True
Let p(q) = 4*q**3 - 3*q**2 + 2*q - 3. Suppose -3*l = -10 + 4. Let b = 4 - l. Is p(b) composite?
True
Let j = -10 - -14. Suppose 0 = -3*g + 4*s + 477, -j*g - 3*s + 498 = -g. Is g a composite number?
False
Let r(k) be the third derivative of -k**6/120 - k**5/40 - k**4/24 + k**2. Let d(t) be the second derivative of r(t). Is d(-4) a prime number?
False
Let c(o) = 21*o**3 - 3*o**2 + o - 1. Let h be c(2). Suppose l = 262 + h. Is l prime?
True
Let t = 9 + -3. Let g be (3*t)/(3/(-6)). Let m = 70 + g. Is m a composite number?
True
Let h be 2 + (-4)/(4/(-147)). Let j = h - 266. Let s = j - -184. Is s composite?
False
Let j(g) = -g**2 + 28. Let p be j(0). Let s = -10 - -17. Let v = p - s. Is v composite?
True
Suppose 149 = g + j, -g - 4*j = -6*g + 709. Is g prime?
False
Suppose 0*h - 2*h + 6 = 0. Let d(k) = -h + 7*k - 6 + 4. Is d(6) composite?
False
Suppose 2*v + 0*v = 38. Let k = v + -11. Is k - (-2*1 - 0) prime?
False
Let t(n) = -n**2 + 20*n - 16. Is t(17) composite?
True
Suppose -8 = 5*f - f. Let k = 1 + -1. Is k + 30/(4 + f) prime?
False
Let m(o) be the first derivative of o**3/3 + 1. Let w(l) = -15*l**2 - 2*l - 1. Let v(q) = 5*m(q) - w(q). Is v(-1) prime?
True
Is (-25896)/(-15) + (-15)/(-25) a prime number?
False
Let d(b) = b**2 + 8*b + 3. Let y be d(-6). Is (-3)/((6/2)/y) a composite number?
True
Let i = -1 + 5. Suppose i*p = -38 + 170. Is p a prime number?
False
Let u be ((-20)/15)/((-3)/4284). Is (-1)/3 - u/(-24) prime?
True
Suppose -2 - 3 = -k. Suppose 69 = k*x - 6. Is x prime?
False
Suppose -4*k + 2 = 3*c, -3*k - 3*c = -c - 2. Let v = 1 + k. Suppose -v*q = -0*q - 105. Is q composite?
True
Let m = 104 - 73. Is m a prime number?
True
Let j(q) = 6*q**3 + 9*q**2 + 4*q - 3. Is j(4) prime?
True
Let q(o) = -33*o**2 - 2*o + 13. Let g(u) = 16*u**2 + u - 7. Let c(s) = -11*g(s) - 6*q(s). Let h(v) = v + 3. Let m be h(-5). Is c(m) a composite number?
True
Let p = 8281 + -2772. Is p prime?
False
Let m(i) = i - 11. Let b be m(14). Suppose -t = -b*g + 55 - 152, -2*g = 0. Is t a prime number?
True
Let d = -2 + 2. Let t be (d + 2 + -1)*-115. Let s = -66 - t. Is s prime?
False
Let z = 5 - 3. Let s = z 