se 5*q - 472 - 253 = s. Is q prime?
False
Suppose 2*d - 3*d - 243 = 0. Let b = -151 - d. Is -1 + 2*b - -2 prime?
False
Let y(z) = 15*z**2 - 4*z + 4. Is y(3) prime?
True
Suppose 0 = -y - 2 - 4. Let r(c) = 2*c**2 - 4*c + 6. Let k be r(y). Suppose -z + k + 21 = 0. Is z prime?
False
Suppose -680 = -3*t - 2*t. Suppose -2*w + w + t = 0. Suppose -2*y + w = 18. Is y composite?
False
Let p = 459 - -328. Is p prime?
True
Suppose -c + 5*c = 20, -w = -5*c. Suppose -w - 88 = -k. Is k composite?
False
Suppose 19*q - 17*q - 1958 = 0. Is q a composite number?
True
Let v be 30*10/6*2. Let b = -67 + v. Is b a composite number?
True
Let d(m) = m**2 + m + 355. Is d(0) a composite number?
True
Let c(g) = g**3 + 25*g**2 + g - 13. Is c(-12) prime?
True
Suppose -6*z + 1433 + 2065 = 0. Is z composite?
True
Is (2/6)/((-32)/(-536736)) a prime number?
True
Suppose -4*b - 450 = -3*b. Let j = -193 - b. Is j a prime number?
True
Is (1 + -2)*-292 - 9/3 a prime number?
False
Let b(j) = j**3 + 3*j**2 + 3. Let s be b(-3). Let v(d) = 0*d - 7*d - s - 1. Is v(-5) a prime number?
True
Suppose -5*h - 2*h = -7273. Is h prime?
True
Let m(o) = -7*o + 2. Let v be m(5). Let y = v + 82. Is y a composite number?
True
Let f(w) = 651*w**2 - 6*w - 7. Is f(-2) a composite number?
False
Suppose g - 4 = 2*i, -3*g = -3*i - 8 - 4. Suppose u + 5*c + 7 = 408, 5*c + 1554 = g*u. Is u prime?
False
Let c = -55 - -74. Is c prime?
True
Suppose 5*t = 3*s + 6157, -3*s - 3661 = -4*t + 1267. Is t a prime number?
True
Let w be (-4)/10 + (-64)/(-10). Is 2/w - 404/(-12) prime?
False
Let a(z) = -3 + 3 + 4 - 13*z. Let c be a(-10). Suppose -c = -2*p - 0*p. Is p composite?
False
Suppose -o - 1249 = -i, -4*i - 2*o - 1249 = -5*i. Is i a prime number?
True
Suppose 2*l = c + 3*l - 2, -2*c + 4 = -5*l. Suppose a = -c*a. Suppose -19 = -b - h, a*b - 2*h + 61 = 3*b. Is b prime?
True
Let m = -181 + 772. Is m prime?
False
Suppose 5*s + 8 = s, 103 = 5*c - 4*s. Let p = 19 + c. Is p a prime number?
False
Is (1 - 5/3)*(-2637)/3 composite?
True
Let v(k) = k**2 - 4*k - 1. Let y(r) = 3*r**2 - 11*r - 3. Let t(f) = -17*v(f) + 6*y(f). Let n be t(1). Suppose 0*j - n*j = -12. Is j composite?
True
Suppose 2*u = 39 + 47. Is u a composite number?
False
Let x = -165 + 276. Is x prime?
False
Let a be (-5 - -1)/(4/(-6)). Let t = 0 + 2. Suppose 64 + a = t*z. Is z prime?
False
Suppose 32 = 4*c + 4*g, 22 = -2*c + 4*c + 4*g. Let u(q) = q**3 - 4*q**2 + 5*q - 4. Is u(c) a prime number?
False
Let y(b) = 30*b**3 - 2*b**2 + 8*b - 6. Let z(v) = -29*v**3 + 2*v**2 - 7*v + 5. Let u(m) = -3*y(m) - 4*z(m). Is u(2) composite?
True
Let j(p) = 3*p**2 - 5 + 0 - 17*p - 17*p - 4*p**3 + 37*p. Is j(-4) prime?
False
Let z be (-1)/(3/(-6)) - -1. Let j = -1 + z. Is (j + 297 + -1)/2 a composite number?
False
Suppose 0*w + w - 914 = 0. Suppose -5*c + z = -w - 145, -3*c = z - 629. Is c prime?
True
Let o(b) be the third derivative of -1/24*b**4 + 0 - 5/6*b**3 + 0*b + 1/10*b**5 + 4*b**2. Is o(-4) composite?
True
Is 8/(-28) - (-1413)/21 prime?
True
Let v(q) = -q + 749. Let j be v(0). Suppose -2*y + j = -1169. Is y composite?
True
Suppose -4*m - l + 24 = l, 2*m + 4 = -5*l. Suppose m = -3*v + v. Let k = 87 - v. Is k composite?
True
Suppose 0 = 5*k + g - 16, -3*g - 3 = -3*k + 3. Let a(s) = 0 + 0 + 44*s - 1. Is a(k) composite?
False
Suppose 5*a = -5*x + 5925, -4752 = -4*a + 2*x - 3*x. Is a a composite number?
True
Let v = 8 - 5. Suppose h - 6*h = -2*d - 5, 5*d + 3*h = v. Suppose 4*g + 3*n - 656 = d, 2*n - 235 = -2*g + 95. Is g composite?
True
Let a be (3/6)/((-3)/300). Let m = 103 + a. Is m a composite number?
False
Let c = -15 + 22. Suppose -413 = -2*a - c. Is a composite?
True
Suppose -2*h + 17 = 5*o, o + 4*h - 13 = -2*o. Let g be -9 - (2/(-2))/1. Is 13/(-1)*(o + g) a composite number?
True
Let c be -1*(-1)/(2/8). Suppose -2*u + 12 = -c*y, 1 = 4*u + 3*y - 12. Suppose 0*t - u*t + 88 = 0. Is t composite?
True
Let x be 6/24 - 722/8. Let h be 2/(-4) - 2040/(-16). Let a = x + h. Is a a composite number?
False
Let c(u) = -u**3 - 11*u**2 - 9*u + 14. Let a = -15 - -5. Let n be c(a). Let m(p) = p**3 - p**2 + p - 5. Is m(n) composite?
False
Suppose -7*b - 50 = -5*c - 2*b, -2*c + 3*b + 22 = 0. Let r be 1/1 + c*3. Suppose 0 = -5*q - r + 120. Is q a composite number?
False
Let t(z) = 8*z**3 + 2*z**2 - 4*z + 3. Let u be (-4)/((-1)/1 + -1). Is t(u) a composite number?
False
Suppose -3*p = -0*p - 201. Is p composite?
False
Suppose -6 = -r + 4*a, 0 = -5*r + 4*a + 6 + 8. Suppose -3*l = -0*i - 3*i - 252, r*l = 4*i + 158. Is l prime?
True
Let r = -7 - -3. Let d(o) = -o**2 + 9*o - 8. Let w be d(6). Is (-123)/(-5) - r/w a composite number?
True
Suppose 2*f - 97 = -923. Let q = 580 + f. Is q composite?
False
Suppose -5*m - 4*i - 5 = 0, -m + i + 2 + 6 = 0. Suppose -2*w = 2*w + m*q - 14, 3*w = q + 4. Is ((-85)/w)/((-7)/14) a prime number?
False
Let d be 2/4 - (-21)/(-6). Let q = 13 + -5. Let g = q - d. Is g a composite number?
False
Suppose -7*r + 6*r + 3761 = 0. Is r composite?
False
Let n(a) = 3*a**2 - 20*a - 10. Is n(-12) prime?
False
Is 155 - ((-24)/(-2))/(-4) prime?
False
Let i(z) = 17*z**3 - 4*z**2 - 2*z + 1. Let r be i(-2). Is -1 + (3 + -6 - r) a composite number?
True
Is 1606/10 + 6/15 composite?
True
Suppose 2*p - 3 = 7. Let q = p + -8. Is -1*(36/q - 1) composite?
False
Let h be -1*((-6)/2)/(-1). Let i = h - -8. Suppose -j = 4*j + 4*r + 6, -j + i*r + 22 = 0. Is j prime?
True
Let s(j) = -j**2 + 2*j + 3. Let o be s(-2). Suppose 121 = -7*b - 47. Let u = o - b. Is u prime?
True
Suppose 2*w - 22 + 2 = h, -3*w - h = -30. Suppose 9*x = 4*x + 145. Suppose -x = -3*n + w. Is n composite?
False
Let g be 2948/3 + 2/6. Suppose 0*h + 3*h = 0. Suppose -3*r + g - 206 = h. Is r a composite number?
True
Let q(f) = -3*f. Let j be q(-2). Suppose v - 27 = 4*a - j*a, v - 26 = -a. Is v composite?
True
Let t(d) be the second derivative of d**2 + 0 - 2*d + 1/2*d**4 - 1/20*d**5 + 1/3*d**3. Is t(6) a composite number?
True
Let i = 198 + -13. Is i a composite number?
True
Is 469 + (-12)/8*2 composite?
True
Let g be 1*(-4)/(-8)*40. Is 1/(-5) - (-7644)/g a prime number?
False
Let m = 2 + -4. Is 84 + (-3 - m)*-1 composite?
True
Let y(g) = -2*g**3 - g**2 + 12*g + 17. Let z(s) = -s**3 - s**2 + 6*s + 8. Let a(b) = -4*y(b) + 9*z(b). Let j be a(-6). Suppose j*q - 92 - 120 = 0. Is q prime?
True
Suppose 0*x - 5*x = -100. Suppose 3*a - x - 247 = 0. Is a a composite number?
False
Let s(n) = -850*n - 7. Is s(-2) composite?
False
Let h = 48 - -163. Is h prime?
True
Let l = 6 - 6. Suppose 4*u - 16 = l, p + 4*u - 84 - 81 = 0. Is p a composite number?
False
Let g be (0 - -2 - 2)/(-1). Suppose 4*b + 2*q - 30 = 0, 2*b + 5*q = -g*b + 35. Let s(k) = 10*k - 3. Is s(b) a composite number?
False
Let g = 3 + -3. Suppose -5 - 15 = -5*u, g = a - 4*u - 9. Is a a composite number?
True
Suppose 0 = 2*d - 4 - 4. Suppose -5*r = 4*w - 133 - 114, -220 = -4*w + d*r. Is w a composite number?
True
Let p(w) = 45*w + 2. Let n be p(2). Let o = -3 + n. Is o a composite number?
False
Is ((-436)/6)/((-8)/12) prime?
True
Let b = -2089 - -3722. Is b composite?
True
Let l = -282 - -427. Is l composite?
True
Suppose 0*x - 9 = -x. Is (-2)/((-2)/x) - -2 composite?
False
Suppose 2*f - 4*f + 8 = 0. Is -1 - (f*-4 + 0) prime?
False
Suppose 0 = 4*c + 4*g - 20, 0*c - 4*g = -2*c - 2. Suppose 0 = -c*z - z + 616. Suppose 0 = 4*k - 6*k + z. Is k composite?
True
Suppose -k + 4 = -3*k. Let z(p) = 38*p**2 + 2*p + 1. Is z(k) composite?
False
Suppose -3*h = -h - 570. Suppose 0 = -6*u + u + h. Is u a composite number?
True
Suppose 2*b = -4*v + 2, 16 + 3 = -3*b + 5*v. Let u = -3 - b. Suppose -2*j + 75 = -5*a, j + a + u*a = 34. Is j a composite number?
True
Suppose -3*u - 2271 - 784 = -2*c, 0 = -4*u + 20. Is c prime?
False
Suppose 4*c = -1 + 85. Is 3*5*133/c prime?
False
Suppose 4*v = -2*t + 18 + 12, -2*v = 4. Is t prime?
True
Suppose 0 = u - 106 - 67. Let y = 414 + u. Is y a prime number?
True
Is -6 + 4 + (0 + 0 - -3165) a composite number?
False
Let f(c) = c**3 + 8*c**2 + 7*c - 7. Let o be f(-7). Let w be (3/(-2))/(o/14). Suppose 3*u - 122 = 4*a, -w*a + 104 = 3*u + 2*a. Is u composite?
True
Suppose -b + 7*b = 8790. Is b prime?
False
Suppose -2*s - 175 = -3*b + 3*s, 3*b - 3*s - 171 = 0. Is b composite?
True
Suppose -a = 0, 2*b - a + 3*a - 892 = 0. Let i = -11 + 15. Suppose -z + b 