z prime?
False
Suppose 2*o = -3*o + 3*l + 625, 3*l = -4*o + 473. Is o prime?
False
Let m be 1/(((-1)/(-37))/1). Let k(x) = x - 7. Let h be k(5). Is (2/h)/(-1)*m composite?
False
Let a = -6 - -103. Is a composite?
False
Suppose 2*k - 284 = 5*v, v = 4*k - v - 568. Suppose 4*a = x + 4*x + 150, x = 4*a - k. Is a a prime number?
False
Let p(k) = k**3 - 2*k**2 - k + 4*k**2 - k**2. Let v = 8 + -6. Is p(v) composite?
True
Let l = 50 - -21. Is l composite?
False
Let x(c) = c**2 + 6*c - 4. Let d be x(5). Suppose -90 = -2*j - r, 0*r + d = j - r. Let h = j + -34. Is h a prime number?
True
Let a(s) = -s - 1. Let b be a(-3). Let w = b + 0. Suppose -w*m = -4*m + 74. Is m a prime number?
True
Let m = 12 - 17. Let p(n) = -11*n + 9. Let t(x) = 11*x - 10. Let v(w) = 6*p(w) + 5*t(w). Is v(m) composite?
False
Let n(l) = -2*l**3 + 3*l + 17. Is n(-6) a composite number?
False
Let l(j) be the second derivative of j**3/3 - 9*j**2/2 + j. Let g be l(6). Suppose 204 = g*n + n. Is n a prime number?
False
Let l(i) = 2*i**2 - 2*i - 1. Let m be l(2). Let y be 1/(-5) - 4362/(-10). Suppose c - y = -m*c. Is c a prime number?
True
Let x = 58 - -108. Let n = -23 + x. Is n a composite number?
True
Let a = 26 - -9. Is a a prime number?
False
Suppose -30261 = -3*d + 12168. Is d a prime number?
True
Let v = 200 - 1. Is v composite?
False
Suppose -2*d - 3*d = -915. Is d prime?
False
Let x be 445/(-10)*16/(-2). Suppose -q + x = 3*q. Is q a prime number?
True
Suppose -27 = 5*r + 4*i - 516, -4*i = -4. Is r a prime number?
True
Let n = 688 + -357. Is n a composite number?
False
Let t(h) = -2*h**2 - 7*h + 2. Let q(o) = -6*o**2 - 21*o + 7. Let c(u) = -4*q(u) + 11*t(u). Is c(5) composite?
False
Let y(l) = -3*l**2 + l + 1. Let n be y(-1). Let w = -2 - n. Let g = 7 - w. Is g prime?
False
Suppose v - n = 95 + 30, 504 = 4*v - 2*n. Is v a prime number?
True
Is (-15)/(-6)*(-382)/(-5) a composite number?
False
Suppose 162 = -3*j - n + 564, 5*j = n + 662. Is j prime?
False
Let z be 4/14 + 2790/(-14). Let d = -66 - z. Is d prime?
False
Suppose 3*j = -0*j + 18. Suppose -3*y + 3 = -j. Suppose 4 = -y*t + 22. Is t a composite number?
True
Let l(y) = -3*y - 31. Let q(m) = 2*m + 16. Let j(c) = 3*l(c) + 5*q(c). Let w be j(0). Let u = -7 - w. Is u a composite number?
True
Is 1 + (247 - (-2 + -1)) a composite number?
False
Let u(x) = -17*x - 2. Let s be u(-3). Suppose -o = -2*o + s. Is o a prime number?
False
Is (-16)/72 - (-1912)/18 a prime number?
False
Let q = -6 - 0. Is (q/(-12))/(1/148) composite?
True
Let q(r) = -r - 2. Let f be q(-6). Suppose 4*d = f*s - s + 180, 2*d + s = 100. Suppose -d = -z + 5. Is z a composite number?
False
Let s be 10*-2*4/(-10). Let u = -4 + s. Is u composite?
True
Suppose 4*i + i = -3*l + 133, 4*i = -16. Is l a prime number?
False
Suppose -3*k = -2473 - 3986. Is k a prime number?
True
Let y be (-6)/12 - 158/4. Suppose 2*v = -46 - 72. Let s = y - v. Is s prime?
True
Let y(u) = 7*u**3 - u**2 + u. Let d be y(1). Suppose 4*s - 11 + 3 = 0. Suppose -d*f = -s*f - 290. Is f prime?
False
Let k(w) = 2*w - 1. Let c be k(-3). Let o = -6 - c. Is (5 - o)*(-25)/(-4) prime?
False
Suppose -u + 3*u - 34 = q, 39 = u + 5*q. Is u a composite number?
False
Let v = 5 - 5. Suppose v = 4*a - 300 - 40. Is a a composite number?
True
Let s(r) = r**3 + 17*r**2 + 13*r - 17. Is s(-16) prime?
True
Let g be -1 - ((-3)/3 - 48). Let o = -30 + g. Suppose -u - 41 = -2*z, -3*u - o = z - 2*z. Is z prime?
False
Let n(c) = 11*c**3 + c**2 - 2*c + 1. Let o be 6*(-3)/(-6) + -1. Is n(o) a composite number?
False
Let q(r) = -r + 9. Let z(v) = -v + 8. Let o(u) = 6*q(u) - 5*z(u). Let g be o(6). Suppose 2*p - g = -2*p. Is p a composite number?
False
Suppose -6*i + 557 = -3*i + 4*l, 5*l - 935 = -5*i. Is i a composite number?
False
Let c(a) be the second derivative of a**5/4 - a**4/6 + a**3/2 - a**2/2 - 3*a. Let j(p) = 2*p**3 - p**2 + p. Let l be j(1). Is c(l) composite?
False
Suppose -7*i = -2*i - 925. Suppose 6*c - i = c. Is c composite?
False
Let j = 38 - 20. Let p be (60/(-18))/(4/6). Let v = p + j. Is v a prime number?
True
Suppose -b = 3*b - 3*l - 20, 0 = -2*b + 4*l. Suppose 0 = b*a - 4*a - 8. Suppose a*v - 74 = -0*v. Is v a composite number?
False
Let m(u) = -2*u**2 + u - 3. Let s be m(3). Is 5762/8 + s/(-24) a composite number?
True
Suppose j + 3*j = 0, 0 = -4*t - 3*j. Suppose t = 2*q - 1 - 3. Suppose 0 = q*l - 139 - 9. Is l prime?
False
Suppose 2*s + 31 - 151 = -2*g, -5*s + 335 = -2*g. Is s composite?
True
Is (-3182)/(-3) + (-2)/(-6) composite?
False
Let o(y) = y - 38. Let c be o(-8). Let n = 8 + -35. Let t = n - c. Is t a composite number?
False
Let p(a) = a**3 + 5*a**2 - 5*a + 8. Let j(i) = -i**2 + 2*i + 2. Let f = -1 + -1. Let m be j(f). Is p(m) composite?
False
Let n(d) = 2*d**2 + 7*d - 8. Is n(-17) prime?
False
Let d = 949 - 1658. Is (-6)/(-27) + d/(-9) a prime number?
True
Let o = 1137 - -50. Is o composite?
False
Let v(t) = t + 6*t - 10*t**2 + t**3 + 7 + t**3. Let s be v(6). Suppose -s = -4*g + 4*w + 15, 3*g + 2*w - 87 = 0. Is g a composite number?
False
Suppose -4*m - 20 = 0, 0*f + f - 4*m = 630. Let w be f/2 - (3 - 6). Suppose -4*n + w = -3*t, -5*t - 154 = -2*n - 0*t. Is n prime?
False
Let c be 1*2*(-9 + 10). Suppose -c*s = -4*s + 506. Is s prime?
False
Suppose -3*x = 2*x + 15. Let d = -1843 - -1077. Is 2/(d/(-254) + x) prime?
True
Let a(g) = 0*g**3 - 5*g - 6*g**2 + 3 + 2*g**3 - 3*g**3. Let p be a(-6). Suppose -p - 69 = -2*o. Is o composite?
True
Let k(z) = -2*z**2 - 49*z + 14. Is k(-19) composite?
False
Let z be 3/(-12) + 39/12. Is 21 + (-4)/(-6)*z a composite number?
False
Is 4044/(-18)*45/(-6) a composite number?
True
Let l(t) = -t**3 + 19*t**2 - 26*t - 27. Is l(12) prime?
False
Let b(x) be the first derivative of x**4/2 - 2*x**3/3 - x + 3. Is b(2) a prime number?
True
Let f(u) = u**2 + 10*u + 2. Let a be f(-10). Suppose 0*y + a*y - 44 = 0. Is y a prime number?
False
Let d = 173 - -26. Is d a prime number?
True
Let r be (22/33)/(1/(-6)). Let i(g) = 4*g**3 - 5*g**3 - g**3 - 5*g**2 - 3*g - 2. Is i(r) a prime number?
False
Let r(z) be the second derivative of -z**3/3 + 191*z**2/2 - 4*z. Is r(0) a composite number?
False
Suppose 9*i = 2*i + 12145. Is i a prime number?
False
Suppose -2*p = -4*x + 8514, 6392 = 3*x + 5*p - 0*p. Is x a composite number?
False
Let r = -213 - -572. Is r a prime number?
True
Let a(t) = -82*t + 11. Is a(-6) a composite number?
False
Let o be (-18)/(-4) + 3/6. Let u(a) = a - 7. Let m be u(7). Suppose o*h = m, 3*q - h = 2*q + 10. Is q composite?
True
Suppose -6*q + 3*q = 2*u - 74, q = -4*u + 28. Let a = 67 + q. Is a a composite number?
True
Let b = 2 - 3. Let h = b + 158. Is h a composite number?
False
Let i = -3 + 3. Suppose -s - 4*l - 19 + 85 = i, -2*l + 258 = 5*s. Suppose p + 4*f + 14 + 0 = 0, 0 = 5*p - 4*f - s. Is p a composite number?
True
Suppose 3*t - 352 = 116. Suppose -5*m + 259 = -t. Is m a prime number?
True
Is ((-3 + 7)/12)/(1/3453) a composite number?
False
Let a be -12*((-2)/6 - 0). Is -87*(51/(-9) + a) prime?
False
Suppose p = 2*p + 5*c - 2, -4*p - 40 = -4*c. Let m(t) = 4*t**2 + 9*t + 1. Is m(p) a composite number?
True
Suppose -11*r + 8*r = -381. Is r prime?
True
Let q(z) = -2*z - 1. Let y be q(5). Let s = 21 + y. Is (s - 0)*2/2 prime?
False
Is (3/(-6))/(2/(-3812)) prime?
True
Let w = 660 - -295. Is w prime?
False
Let o(u) = 29*u**2 - 2*u + 1. Is o(-2) a prime number?
False
Is (-10)/10*(-212)/2 a composite number?
True
Let f be (-4)/(-22) + 326/22. Let q be 1/((9/f)/3). Suppose 5*j - 115 = 5*h + 5, q*j - 96 = -3*h. Is j prime?
False
Let n(o) be the second derivative of -o**5/20 - 7*o**4/12 - 3*o**3/2 - 3*o**2/2 + 2*o. Is n(-6) prime?
False
Suppose -o = 83 - 454. Is o prime?
False
Let n = 8 - 9. Let d be n - ((-18)/3 - -3). Is (-2)/(-3)*261/d composite?
True
Suppose -4*z + z = -3*d + 9, -2*z - 2*d = -6. Suppose -832 = -2*w - z*w. Let h = w - 225. Is h composite?
False
Suppose 3*r - 540 - 321 = 0. Is r composite?
True
Let o(n) = n - 4. Let c be o(4). Is 20 - c/1 - 1 prime?
True
Let u = 410 + -79. Is u prime?
True
Let c(f) = -f - 6. Let h be c(-8). Suppose 2*m - 158 = -r, m + 4*r - h*r = 79. Is m prime?
True
Let p be 222/(-4) - (-15)/(-10). Let i = 31 + p. Let s = i + 45. Is s a composite number?
False
Suppose -4*k + 40 = -0*k. Let u(s) = -s**2 - 8*s + 12. Let y be u(-9