?
False
Suppose 3*h - 33 - 3 = 0. Suppose 6 = -2*b + 2*c, 4*b = 3*b - 4*c + h. Suppose -3*z + 24 + 143 = -2*m, 3*z + 5*m - 139 = b. Is z prime?
True
Let f be (0 - (1 - 0))*6. Let h = 11 + f. Suppose 0 = -b + 4*m + 17, 0 = -4*b + h*m + 121 - 9. Is b a prime number?
False
Suppose 4175 = 9*m - 7984. Is m prime?
False
Let s(k) = 14*k**2 - 1. Suppose -b = 3*b + 4. Is s(b) a composite number?
False
Let z = 3590 - 691. Is z composite?
True
Let y(k) = -4*k**3 - 2*k**2 + 1. Let h be y(-1). Let s be (0/4)/(4/2). Suppose s*j = c + 4*j - 31, h*j + 153 = 3*c. Is c a prime number?
True
Is -422*(-2)/12*3 a composite number?
False
Suppose -2*w - 9 - 9 = 0. Suppose q = 3*q + 8, 2*x + q - 44 = 0. Let g = x + w. Is g a composite number?
True
Let o(m) = -131*m - 3. Let f be o(-3). Let d = -934 + 1655. Let g = d - f. Is g prime?
True
Is 12316/6*(1 - 28/(-8)) a prime number?
False
Let v(g) = 79*g**2 + 8*g - 2. Let q(d) = -26*d**2 - 3*d + 1. Let r(y) = 8*q(y) + 3*v(y). Is r(-3) a prime number?
True
Let c = 1321 - -1446. Is c a composite number?
False
Let w(c) = c**2 - 1. Let u = -6 - -4. Let h be w(u). Suppose 5*i - h*d - 131 = 54, -5*i + 185 = 2*d. Is i prime?
True
Let u(d) = -d**2 + 9*d - 9. Let b be u(6). Let s = b + -5. Suppose s*k + 16 = 0, 4*r = 4*k - k + 72. Is r prime?
False
Suppose 1967 = 5*o + 2*k, 2*o + 3*k - 770 = -2*k. Is o composite?
True
Let z(g) = g**2 - 3*g + 4. Is z(10) a composite number?
True
Suppose -2*x + 19 = 2*v - 583, -3*v + x + 895 = 0. Is v a composite number?
True
Let y(k) = -63*k + 10. Is y(-3) prime?
True
Let f = 0 + 3. Is 74/6*(0 + f) a prime number?
True
Suppose -2*q + 0*q + 5930 = -4*f, -f = 3. Is q a prime number?
False
Suppose -l + 5*l = 0. Suppose -6*a + 3*a + 18 = 3*b, 2*a = 5*b - 23. Suppose -5*z + w + l*w = -65, -b*z + 65 = 4*w. Is z a prime number?
True
Let d(m) = m. Let w be d(6). Let l(q) = -q**2 + 5*q + 8. Let g be l(w). Is (g/3)/((-4)/(-186)) composite?
False
Let z = -134 - -261. Is z a prime number?
True
Let l(o) = o. Let p be l(-4). Is ((-4)/(-2))/(p/(-1114)) composite?
False
Let k = -5 - -8. Is (k + 496/(-10))*-5 a prime number?
True
Let w be 7 - 4 - -2*11. Let v = w + 44. Is v a composite number?
True
Let m be 1 + 1 - 16/(-8). Suppose 5 - 27 = -m*g - 3*j, -3*g + 3*j + 27 = 0. Is g a prime number?
True
Let t(k) = -3 + 1 - 5*k - 3*k**2 + 4*k**2. Let s be t(6). Suppose -r = -s*r + h + 206, h = 4*r - 273. Is r a composite number?
False
Let c(z) = z**2 - z + 16. Suppose g + g - h - 2 = 0, h = -2. Let o be c(g). Suppose 5*n - 465 = -0*n + 5*i, 0 = 4*i - o. Is n a prime number?
True
Let v be ((-2)/4)/(3/18). Is (1 + v + 45)*1 a composite number?
False
Let m be 4/(-6) - (-4)/6. Is 24 + -1 - (m + 0) a prime number?
True
Let t(d) = 12*d**2 + d + 1. Let r be t(-1). Suppose -s - r = 3*u, 0*s - s = -4*u - 9. Is 39 + (-2 - s)*-2 a prime number?
True
Let i(x) = x**2 + 2*x - 5. Let l be i(-4). Suppose n - 3*n = 5*b - 149, 171 = l*n - 3*b. Is n a composite number?
True
Let k = -6 + 6. Is 6/(-2) + (54 - k) a prime number?
False
Suppose 0 = -m + 2 - 0. Suppose -5*z + p = -31, 0*p = -5*z - m*p + 28. Is 3/z - (-97)/2 prime?
False
Let c = 71 + 180. Is c composite?
False
Suppose 4*b - 319 - 2836 = -5*u, 2*b = 0. Is u a prime number?
True
Let i(a) = -a**3 - 11*a**2 - a - 12. Let o be i(-11). Is (1 - (o - -3)) + 80 a composite number?
False
Let f be 3*(1/(-3) + 1). Suppose -4*a - 554 = -3*y, f*y = -3*y + 4*a + 910. Let o = y - 51. Is o prime?
True
Let g = 40 + 3. Suppose 152 - g = s. Is s prime?
True
Let n(o) be the third derivative of o**5/30 + 5*o**3/6 + 2*o**2. Is n(-6) a composite number?
True
Suppose -j + 131 = -26. Is j composite?
False
Is (-4 - -5)/(3/498) a composite number?
True
Let g(k) = -k - 6. Let v be g(-6). Suppose 2*d + 5*w + 18 = 0, 0 = -v*d - 5*d + w - 72. Let h = d + 127. Is h a composite number?
False
Let g be (-2)/(-6) + (-20)/(-3). Let i(o) be the second derivative of -o**4/12 + 3*o**3/2 - 7*o**2/2 - 5*o. Is i(g) prime?
True
Suppose 0 = -2*j + 4*i + 122, -5*j + 320 = -0*i - 5*i. Suppose 2*c = 43 + j. Suppose f = 6*f - c. Is f composite?
False
Suppose 0 = -4*y + 7*y - 288. Suppose j + 13 = y. Is j a prime number?
True
Suppose h - 896 = -h. Suppose 0 = -4*m - 4*k + h, -4*k - 37 + 372 = 3*m. Is m a composite number?
False
Let k(o) = 18*o**2 + 7*o - 29. Is k(-12) prime?
False
Suppose 0 = 2*u - 4*u. Suppose 0 = 2*t + 3*f - 17, u = -2*t + 3*f - 2 + 1. Suppose t*c + 102 = 2*p, 5*p - 2*p + 4*c - 163 = 0. Is p prime?
True
Suppose 0 = -5*p - c + 169, 0*p - 4*c + 64 = 2*p. Let a = 53 - p. Is a composite?
False
Suppose -712 = -3*c - 5*c. Is c a prime number?
True
Suppose 15 = d + 4*w, 0*d + 9 = d + 2*w. Suppose -d*k = -k - 16. Is (62/k)/((-4)/(-16)) composite?
False
Suppose -4*f + v - 770 = 0, -2*f - 159 = 2*v + 231. Let o = -66 - f. Is o composite?
False
Suppose 6*f + 136 = 2*f. Let v = f - -53. Is v a prime number?
True
Let h(a) = 6*a**2 - 6*a - 5. Suppose -z + 0 = -1, 2*s - 2*z = -18. Is h(s) composite?
True
Is 2/7 + 13350/70 a prime number?
True
Let z(i) = -3*i - 2. Let t be z(-3). Suppose t*n - 4*x = 4*n + 310, 4*n + x - 407 = 0. Suppose 0 = -5*q - 0*q - v + 630, -q + n = 5*v. Is q composite?
False
Suppose -2*q + 3 - 162 = -5*g, -2*q - 97 = -3*g. Let a = g - -6. Is a prime?
True
Let s(v) be the second derivative of -25*v**3/3 - 3*v**2/2 - 2*v. Let z be s(-4). Suppose 3*f = 76 + z. Is f a composite number?
True
Let d(z) = z**2 + 10*z - 29. Is d(-19) composite?
True
Let b be (6/5)/((-10)/(-25)). Suppose -b*s + 718 = n, -s = -3*n - 108 - 128. Is s composite?
False
Suppose -4*z - 236 - 780 = 0. Let n = 117 - z. Is n a composite number?
True
Let g = -5 - -4. Let r = g - -4. Is r prime?
True
Suppose 0*g = -g - 354. Let t be 1*(g - 3 - 1). Is (t/(-6))/((-7)/(-21)) a prime number?
True
Let a = -2 + 2. Let x(n) = 59 - n**2 + 0*n**2 - 20. Is x(a) composite?
True
Let a = -1 - -23. Suppose a + 4 = u. Let n = 207 + u. Is n prime?
True
Let i = -1934 + 3333. Is i prime?
True
Let i = -10 - -13. Suppose 2*h + 1 = -i, -4*z - 4*h + 84 = 0. Is z a prime number?
True
Let r be (0/(-2))/(-6 + 5). Let z(s) = -s + 35. Is z(r) a composite number?
True
Suppose -4*m - 1 + 23 = 2*y, -20 = -5*m - y. Is ((-3)/m)/(3/(-789)) a prime number?
True
Let k(n) = 1120*n**2 - 2*n - 1. Is k(-1) prime?
False
Let l = -1879 - -4212. Is l a prime number?
True
Let h(q) = 1. Let g(n) = 5*n**2 + 4*n - 8. Let y(o) = g(o) + 4*h(o). Suppose 4*l + 2 = -5*w + 4, l + 3 = -3*w. Is y(l) composite?
False
Let h = 7 - 5. Suppose h*z + 69 = 3*z. Is z composite?
True
Let d(w) = -w**2 + 7*w - 4. Let v be d(6). Suppose 4*z - 18 = -v. Suppose -4*m - 27 = -p, 97 = 4*p - z*m - m. Is p a prime number?
True
Let r = 7 + -21. Let x = -7 - r. Is x composite?
False
Is (1/2 + -1)/((-6)/16332) a prime number?
True
Suppose 3*l - 6*l - z = -76, -3*l + 2*z = -64. Suppose -l - 81 = -3*p. Is p prime?
False
Suppose 6 = 3*g - 0*g. Suppose -3*b - g*b = -230. Is b composite?
True
Suppose 2*q - 8 = 0, 2*q = 2*c - 3 + 5. Suppose -c*v = -5*v + 14. Suppose -v*x + 76 = -3*x. Is x a composite number?
False
Let y = -2725 - -4374. Is y composite?
True
Suppose -3*p + 90 = 2*p. Suppose -p - 3 = -3*d. Is d a composite number?
False
Let z(x) = -1 - 2*x + 5*x - 2*x. Let i(w) = -2*w + 3. Let o(s) = i(s) - 2*z(s). Is o(-7) a prime number?
False
Let h = 523 - 356. Is h a composite number?
False
Suppose 0 = 5*v + 3*m - 170, -3*v + m + 110 = 22. Is v prime?
True
Let k(a) = 2*a**3 + 19*a**2 - 10*a + 10. Is k(-9) prime?
True
Suppose -2*p + 3*v = -445, 5*p - 4*v - 1124 = -8*v. Let d = 130 - p. Is d/(-2) - (-3 - -1) a prime number?
False
Let s = 782 + -484. Is s prime?
False
Let y(w) = -58*w + 7. Is y(-7) composite?
True
Suppose 3*h - 3 = 9. Suppose 0 = -a - h*a + 955. Is a a prime number?
True
Let n(l) = -l**3 + 7*l**2 + 8*l. Let x be n(8). Suppose j + 35 = 4*w, 3*w + 15 = -2*j - x*w. Is ((-5)/j)/((-2)/(-84)) a prime number?
False
Let b = 1 + 1. Suppose q - 5*q - 534 = -b*j, 0 = -q - 5. Is j a composite number?
False
Suppose -3*s + 3148 = 2*s - 3*p, -3*s + 3*p + 1890 = 0. Is s prime?
False
Suppose -3*d + d = -18. Let c(v) = -v**3 + 13*v**2 + 11. Is c(d) a prime number?
False
Suppose 0 = -2*j - 3*j - 10. Is (6/3)/j*-127 a composite number?
False
Let p = -10 - -15. Suppose -p*z + 1417 = 122. Is z composite?
True
Suppose i + 2*k 