False
Suppose 3*y = 1403 + 2584. Is y prime?
False
Let p(y) be the second derivative of 7*y**4/4 - 2*y**2 - 7*y. Is p(-5) prime?
True
Suppose -2*t - 64 = -1146. Is t prime?
True
Let m(k) = 2*k**2 - 11*k + 11. Suppose -2*f - f + 24 = 0. Is m(f) a composite number?
True
Let h(g) = -g**3 - 7*g**2 - g - 3. Let d be h(-7). Suppose 45 = d*z - 67. Is (-80)/z*7/(-2) prime?
False
Let b(y) = y**3 + 12*y**2 + 10*y - 11. Let s be b(-11). Suppose -3*c + s*c = -261. Is c composite?
True
Is 3 + 0 - (-8 + -76) prime?
False
Is (4/2)/(4/50) a prime number?
False
Suppose -2*m = -6*m + 28. Is m prime?
True
Let t(k) = 32*k**2 + k + 1. Let b be t(5). Suppose -b = -5*q - 241. Is q a prime number?
True
Suppose 6489 = k + 2*v + 3*v, 3*v + 32333 = 5*k. Is k prime?
True
Suppose c = 67 + 522. Is c composite?
True
Is 42/84 + 4873/2 prime?
True
Let z(x) = x**3 - x**2 - x + 97. Is z(0) a prime number?
True
Suppose -p + 4*b = -2, -3*p = -b - 14 - 14. Let i = -4 + p. Suppose -2*r - 148 = -i*r. Is r composite?
False
Suppose 50 = -0*z - 2*z. Let g be (-6)/10 - (-1310)/z. Let t = g + 202. Is t a prime number?
True
Let w = 617 + -128. Is w a composite number?
True
Let j be (-1 + 0)/((-1)/(-9)). Let m = j - -14. Suppose -y + 67 = 3*c - 1, 2*c - 17 = m*y. Is c prime?
False
Suppose -l = 2*l. Suppose 0 = -3*a + 3*o + 45, l*a + o - 61 = -3*a. Is a a composite number?
False
Let m be 142/2 - (2 + 0). Let q = m + 46. Is q a prime number?
False
Let m(r) = r**2 + 6*r + 2. Let q be m(-4). Suppose -9*f + 5*f - 16 = 0, j - 3*f - 20 = 0. Let b = j - q. Is b prime?
False
Let r be (-50)/(-8) + (-1)/4. Let v(t) = -t**2 + 7*t. Let q be v(r). Let i(u) = u**2 + 4*u - 5. Is i(q) a prime number?
False
Suppose 2*j + 2*f + 110 = -3*j, 3*j - 5*f + 66 = 0. Let n = -32 - j. Let x = 35 + n. Is x composite?
True
Let w = 16 - -21. Is w composite?
False
Let y = -4 - -10. Suppose 160 = -c + y*c. Suppose -2*t + 124 - c = 0. Is t composite?
True
Let f = 82 + -13. Is f a prime number?
False
Suppose -8 = 4*i, -2*g - 2*i + 10 = -i. Let j be 182/(5/(75/g)). Suppose -2*o - j = -7*o. Is o prime?
False
Let u(x) = x + 16. Let a be u(-11). Suppose -2*q + 366 = 2*y, -a*q + 5*y + 291 = -644. Is q composite?
True
Let t = 2 - -4. Suppose 2*k = 1 + 1. Let q = k + t. Is q composite?
False
Let v = -2 + 39. Suppose 6 = w - v. Is w a prime number?
True
Let z(p) = p**2 - p + 1069. Is z(0) composite?
False
Let d(b) = b + 5. Let x be d(-5). Is 79 + x*2/(-6) a prime number?
True
Let x(d) = 2*d**2 - 3*d + 1. Let s = 2 + 2. Suppose 5*i = 2*r - 14, 3*r + s*i = -r. Is x(r) a prime number?
True
Let v(t) = -t**2 - 4*t + 3. Let g be v(-4). Suppose g*j - 2 = -8. Is (0 - 30)*j/4 a prime number?
False
Suppose -k = 4*p - 549, -k - 409 = -3*p + k. Let r = p + -88. Suppose 5*j + 4 = r. Is j a prime number?
False
Let g = -41 - -21. Let c = 8 - g. Let j = c - -259. Is j a composite number?
True
Let i(x) = -x**3 + 7*x**2 - 2*x - 3. Let m(w) = -w. Let n be m(4). Let u = 0 - n. Is i(u) a prime number?
True
Let z = 2 - -38. Suppose 0 = 5*b - 0*b. Suppose b = l - z - 49. Is l composite?
False
Suppose -218 = -2*f + 228. Is f a composite number?
False
Let k = -724 - -1631. Is k a prime number?
True
Suppose 2*q = x + 1581, -5*q + 4052 - 67 = 4*x. Is q a prime number?
False
Suppose -2*g - 3*u - 2*u = -33420, -5*g = 4*u - 83567. Is g composite?
True
Let l = 140 + -53. Is l composite?
True
Let d be ((-4)/(-3))/((-28)/(-12) + -3). Let r be 8/3*3/(-1). Is (d/r)/(2/184) a prime number?
True
Let b be (-2 - 0) + 1 - -2. Let p be (2 - b)/(-3)*3. Is 10*1/p*-1 a composite number?
True
Let f be ((-2)/(-4))/((-8)/16). Let a(g) = -36*g - 1. Is a(f) a prime number?
False
Suppose -5*s - 5 = 0, -t = s - 26 - 26. Is t a prime number?
True
Is (-33509)/(-35) - (-6)/10 prime?
False
Let g be 2545/(-10) - 1/(-2). Is (-1)/(2/g) + 0 prime?
True
Let z(m) = -26*m**2 - 3*m + 6. Let i be z(5). Let t be i/(-3) + 4/12. Suppose 0 = 2*k - 6*k + t. Is k prime?
False
Let c = -11 - -17. Suppose -c*w + 9*w = 66. Suppose -t = 4*q - 129, 4*t - 122 = -4*q + w. Is q prime?
True
Let q(a) = 75*a**3 - 1. Is q(1) composite?
True
Suppose -15 = 5*d - r, -r = -d + 2*r + 11. Let z = d + 14. Is z a composite number?
True
Suppose -5*m + 4*u + 9356 + 897 = 0, -2*u = -m + 2053. Suppose 2*d = -d + 3*w + m, 0 = 2*d + 4*w - 1342. Is d composite?
True
Suppose -61 + 7 = 5*s - c, -5*s = -2*c + 58. Let u be 0 + 0 - (0 + s). Is 4/u + 1140/25 a composite number?
True
Suppose 0*s - 1425 = -5*l - 3*s, -5*l + 3*s + 1425 = 0. Suppose w - 216 = -5*o, 3*o = 5*w - l - 767. Is w composite?
False
Let m be 2/7 - 24/(-14). Suppose 0 = 4*z + 5*u - 104, 20 = -m*u - 3*u. Is z prime?
True
Suppose 4*p - 1 = -5*z + 7*p, -4 = -5*z + 2*p. Let i(n) be the third derivative of n**6/30 + n**4/8 - n**3/2 + 26*n**2. Is i(z) prime?
False
Suppose -3*n = -2*n + 7. Let z = -33 - -47. Let t = n + z. Is t composite?
False
Let k be (-3)/(-6) - 27/(-6). Suppose 3*j = -k*z + 595, -6*j - z + 1021 = -j. Is j a composite number?
True
Let o be 4/(48/9)*40. Suppose -6*s = -s - o. Is (0 - 2) + s + 3 composite?
False
Let k = -207 + 334. Is k a composite number?
False
Let n(l) = l**3 + 7*l**2 - 8*l - 5. Is n(-6) prime?
True
Let b be (3 - 5)/2*-1. Is -297*(-2 + b) + 1 composite?
True
Suppose -5*m + 25 + 10 = 0. Is m a composite number?
False
Suppose 5*v - 3*j + j = 20, 0 = v - 4*j + 14. Let x(w) = 4*w - 1. Is x(v) a composite number?
False
Suppose 0 = -4*x - 4*i + 32, 0 = 2*x + i - 10 - 3. Let m(n) = -n + 6. Let l be m(x). Is ((-2)/l)/(2/(-7)) a composite number?
False
Let p(w) = 3*w**2 + 0*w + 0*w**3 - w**3 - w. Let t be p(2). Is t*2/4*25 a prime number?
False
Suppose -7*f - 37856 = -136395. Is f a prime number?
False
Let n(y) = -y + 15. Let r be n(12). Suppose 110 = r*m - m. Is m a composite number?
True
Suppose 0 = -6*x + 906 - 72. Is x prime?
True
Suppose 3*a - 4 = -s, 4*a - 2*s - 15 = -3. Suppose -2*r = -5*m - 5, -3*r - a*r - m = 1. Suppose -g + 3*x + 49 = r, g - 6*g - 3*x = -245. Is g prime?
False
Let q = 4114 + -2751. Is q a prime number?
False
Suppose 3*u - 3*a = 2*u - 11, -2*u - 4*a - 2 = 0. Let n = 84 + u. Is n prime?
True
Let x be 0*(-1 - 2*-1). Suppose -3*r + 36 + x = 0. Suppose -i = -r - 19. Is i composite?
False
Let w = -22 + 9. Let o = -6 - w. Suppose r - 6*r + 4*c = -35, -r + o = -5*c. Is r composite?
False
Let l = 162 + -95. Is l a prime number?
True
Suppose -4*w = 5*w - 3573. Is w a prime number?
True
Suppose 4*j = 2*h + 3*h - 4982, -2*h + 1976 = 4*j. Let b = -604 + h. Let t = b - 199. Is t prime?
True
Let b(k) = -8 - 7*k**2 + 7*k**2 - 8*k - k**2. Let d be b(-7). Let j = d + 36. Is j composite?
True
Suppose 2*q - 2*d = 7194, -7*q - 3*d + 18017 = -2*q. Is q composite?
True
Suppose -4*q - 33 = -5*q. Let b = q - -10. Is b a composite number?
False
Suppose -3*o + 9 = -2*j + 2*o, 3*o - 12 = -j. Suppose j + 0 = b. Suppose b*a + 0*a - 327 = 0. Is a a composite number?
False
Suppose 8*w - 195 = 3*w. Is w prime?
False
Let n(x) = -x**3 + 8*x**2 - 6*x + 2. Let r be n(6). Let i = -19 + r. Is i a composite number?
False
Let p = 576 + -375. Is p a prime number?
False
Let k be (4/10)/(5/75). Let j be 32/(-6) + (-4)/k. Is ((-98)/j)/((-3)/(-9)) a prime number?
False
Suppose 215 - 1234 = -4*k - 3*j, 2*k - 2*j - 520 = 0. Is 1 + (k - (-4)/4) prime?
False
Suppose 0 = -n + 12 + 32. Suppose -4*h + 5*k - 47 + 220 = 0, -k - n = -h. Is h a composite number?
False
Suppose -4*d + y = -263, 3*d - 2*d - 3*y - 52 = 0. Is d a prime number?
True
Suppose 0 = k - 4*k + 9. Suppose 0 = k*t + 2*t - 450. Let l = t + -31. Is l composite?
False
Let x be 1025/(-20)*(-3 + -1). Suppose x = o + 4*o. Let f = o - 27. Is f composite?
True
Let t(i) = 95*i - 4. Let a(h) = 381*h - 17. Let p(l) = -2*a(l) + 9*t(l). Is p(1) a prime number?
False
Suppose 2836 = 4*d + 6*m - 2*m, -5*d - 3*m = -3541. Is d a prime number?
False
Suppose 4*g - 1817 = 203. Is g a prime number?
False
Let x = -8 - -6. Let i(a) = 2*a**3 - 5*a**2 - 4*a - 1. Let f(c) = -c**2 - c. Let h(s) = 3*f(s) - i(s). Is h(x) composite?
False
Let j be 2225/20 - (-1)/(-4). Suppose 6*v - v - 4*q = 18, -v + 6 = -2*q. Suppose 0 = -v*p + p + j. Is p prime?
False
Let j = -1 + 1. Suppose 3*q + j*q = 0. Suppose b - 3 - 4 = q. Is b composite?
False
Suppose f - 240 = 6*f. Let d = -15 - f. Is d prime?
False
Let b(z) be the second derivative of