r = -237 - -406. Suppose -99 - r = -4*v. Is v a prime number?
True
Suppose 484 = 2*f - 5*z, -5*f + 0*z = 5*z - 1245. Is f a prime number?
False
Let n(t) = -2*t - 9. Let f be n(-6). Suppose 0 = 4*d - f*j - 6, -3*j - 4 = -2*d - j. Suppose -5*r + r + 152 = d. Is r a prime number?
False
Suppose 2*w + 163 = 3*l, -2*w + 4*l - 158 = -0*l. Let h = -125 - w. Let g = 58 + h. Is g prime?
False
Is (-6)/(-27) - 2764/(-36) a prime number?
False
Let y be 2*-131*1/(-2). Let a be (y/(-2))/((-2)/4). Suppose -54 - a = -5*t. Is t composite?
False
Let c(r) = r**3 + 15*r**2 + 13*r + 13. Let d be c(-13). Suppose 4*x - 2*x - d = 0. Is x composite?
True
Suppose 3*l - 6 = 2*z, -l - 2 = -z - 2*l. Suppose 0*c + 4*c + 16 = z. Is 804/21 + c/14 prime?
False
Suppose 0*l + l + 716 = 4*q, -q + 4*l = -179. Is q a composite number?
False
Let u(y) = -y**3 + 4*y**2 + 2*y. Let a be u(4). Let f(o) = 2*o + 7. Let l be f(a). Suppose -3*j + l = -76. Is j a prime number?
False
Let r = -40 + 357. Is r prime?
True
Suppose -5*t + 322 = c, -176 = 5*c + 4*t - 1723. Suppose x - 5*f + 173 = 3*x, -4*x + 3*f + c = 0. Is x a prime number?
True
Suppose -63 = -4*y + 25. Is y a prime number?
False
Let g(q) = 4*q**3 - 14*q**2 - 11*q - 14. Let f(w) = -w**3 + w**2 + w + 1. Let t(r) = -5*f(r) - g(r). Is t(-7) a prime number?
False
Suppose 5862 = 2*b + 5*v, -4*b + 1458 = 2*v - 10234. Is b prime?
False
Suppose 4*k - 414 = 2*o - 0*o, 0 = -4*k - 2*o + 434. Is k a composite number?
True
Suppose 1818 = 5*k - 4*y, 0*y + 2*y = 2*k - 728. Let d = k + -149. Is d composite?
True
Let u(n) = n - 4. Suppose -2*p + 12 = p. Let q be u(p). Suppose q = -4*y - 6*l + 3*l + 145, 2*l + 150 = 4*y. Is y composite?
False
Suppose -w + 0*s + 71 = -4*s, -2*w = -4*s - 142. Is w composite?
False
Let t be (-4)/(-1) - 8 - 3. Let f(i) = 5*i**3 - 3*i**3 - 3*i**3 - 3 - 5*i**2 + 6*i. Is f(t) composite?
False
Let x = 314 + -123. Is x prime?
True
Is (-3)/7 - (-17922)/21 a prime number?
True
Let y be (12/15)/(4/10). Suppose -2 = y*u - 8. Suppose -4*v = 2*d - 150, -6*d = -u*d + 4*v - 227. Is d a composite number?
True
Let h be 218*(5 - 1) - -1. Suppose 4*d = h + 339. Suppose 5*b - 293 = -4*v + 3*v, 5*b - 4*v = d. Is b composite?
False
Suppose -5*h = 2*c - 177 - 2250, -503 = -h + 4*c. Is h a composite number?
False
Let d be 2/4*-2 - -8. Suppose 0 = l + 2*y + 7, -d = 4*y + 13. Suppose l*b = -0*b + 69. Is b prime?
True
Let m = 85 + -18. Let l = 114 - m. Is l composite?
False
Let i = 26 - 1. Suppose -5*k + 72 + i = -o, 5*k - 93 = -o. Is k a composite number?
False
Let f(j) = 19*j - 2. Let u be f(8). Suppose -4*z = 0, 2*o - 2*z = u - 62. Suppose 21 + o = 5*i. Is i prime?
True
Let f(t) = 36*t + 10. Let n be f(6). Let v = -137 + n. Is v composite?
False
Is 253/22*2/1 prime?
True
Let m = -91 + -43. Let c = m - -213. Is c prime?
True
Suppose 3*a + 5 = 5*o, 5*o + 1 - 6 = -3*a. Let l(q) be the third derivative of q**4/24 + 269*q**3/6 - 43*q**2. Is l(a) composite?
False
Is (-4 - -1)*(-499)/3 a composite number?
False
Let p = 0 + 1. Suppose -2*d + 3 = -p. Suppose -d*n = -72 - 86. Is n prime?
True
Let p be 8/3 - 8/12. Suppose p*w - 10 = 88. Is w a prime number?
False
Let b = -875 + 2026. Is b a composite number?
False
Let c(r) = 26*r**2 + 19*r + 34. Is c(11) composite?
False
Is ((-2)/4)/((-3)/1902) a composite number?
False
Suppose -v + 3*j = -1516, 4*v - 2*j - 1049 = 5065. Is v composite?
False
Let v(g) = g**3 + 2*g**2 - 7*g - 5. Let r be v(-5). Let y = r - -78. Suppose 12 = h - 5*h, 3*d = -4*h + y. Is d prime?
False
Is 423 + -1 - (-9)/(-3) a composite number?
False
Let r be -1*2*1/2. Let f be 56*(9/(-2) - r). Let u = -117 - f. Is u a prime number?
True
Let t(k) = -k + 4. Let o be t(2). Let c(u) = -2*u + 3*u + 19 + 2*u**2 - 3*u**o. Is c(0) prime?
True
Suppose -3*i = 2*k - 7361, -4*i + 0*k + 9815 = 3*k. Is i a composite number?
True
Let a be (-7)/(-2) - 1/(-2). Let r be -2*3/a*-2. Suppose 0 = -m - r*m + 172. Is m composite?
False
Let b = 863 + -524. Is b prime?
False
Let g(x) = 3*x - 3. Let r(v) = 2*v - 2. Let k(m) = -3*g(m) + 4*r(m). Let q(b) = b + 7. Let u(h) = -5*k(h) + q(h). Is u(2) a prime number?
False
Let g = 328 - 579. Let y = -40 - g. Is y a prime number?
True
Suppose 3*l - 5*c = -91, -2*c + 6*c = 5*l + 130. Let n = l - -29. Is n prime?
True
Let s(g) = 17*g**2 + 6*g - 5. Is s(4) a prime number?
False
Let g(v) = v**2 - 4*v - 5. Let m be g(6). Suppose -5*t - 6*j + 2*j - 17 = 0, 2*t - m = 3*j. Is 69*-1*t/3 a composite number?
False
Suppose 113 = 2*y - 53. Is y a composite number?
False
Suppose 2*v = 3*p + 14, -5*p - v - 2*v = 17. Is (-186)/p*(-4)/(-6) prime?
True
Let s(f) = f**2 - 10*f - 2. Let t = 15 + -4. Let v be s(t). Let a = v + 2. Is a a composite number?
False
Let g(l) = -l**2 + l. Suppose 2*s = -4*i - 8, -4*s = 2*i + 5 - 1. Let x be g(s). Suppose 3*n + 2*r - 173 = x, -r - 238 = -4*n - 0*n. Is n prime?
True
Let f(c) = c. Let r(v) = v - 1. Let q(z) = 4*f(z) - 3*r(z). Let l be q(6). Is ((-76)/6)/((-6)/l) composite?
False
Suppose -3*a - 5*o + 3 = 0, 5*o = -0*o + 15. Let z(w) = -41*w - 1. Is z(a) prime?
True
Let w(j) = j**2 - 5*j - 6. Let n be w(8). Let t be (-72432)/81 - (-4)/n. Is ((-1)/(-2))/((-3)/t) a composite number?
False
Let j be (-4)/(-22) - (-7763)/77. Suppose -3*b + 2*q + 352 = 23, b - 5*q - j = 0. Is b composite?
True
Suppose 3*n = q + 4*n - 1, -2*q + 3 = 3*n. Suppose -4*x - g + 203 = -x, 0 = x - 5*g - 73. Suppose q*r = 2*r - x. Is r prime?
False
Is 1130/3 + (-6)/(-18) composite?
True
Suppose 0 = -2*m - 12 + 6. Is 8/(-4) + m + 72 a prime number?
True
Suppose i - 3*p = -3*i + 245, 5*i - 5*p - 305 = 0. Suppose -i = -4*f + 14. Is f composite?
False
Let a be (-1)/(1 + 1 - 1). Is a - -1 - (-267)/3 a prime number?
True
Let h(r) = -211*r. Let q(s) = -s**3 + 4*s**2 + 3*s + 2. Let z be q(5). Let c = z - -7. Is h(c) a prime number?
True
Suppose n = 2 - 4, -2*t - 4*n + 2 = 0. Suppose 0 = c + 4*p - 18, -t*p + 120 = c + 4*c. Is c composite?
True
Let t = -24 + 20. Let p(a) be the first derivative of -a**4/4 - a**3/3 + 2*a**2 + 5*a + 2. Is p(t) composite?
False
Let f be (-84)/(-16) - (-1)/(-4). Suppose j + 5*o - 4 = -20, 0 = -f*j - 5*o. Suppose -j*a = -5*a - 3*c + 40, -280 = -5*a + c. Is a prime?
False
Let x(a) = -a**2 + 2*a - 2. Let h be x(2). Let o(v) = 24*v**2 + 3*v + 3. Let n be o(h). Suppose u + n = 4*u. Is u prime?
True
Let g = -12 - -19. Is g a prime number?
True
Let l(w) be the second derivative of 2*w + 3/5*w**5 + 0*w**4 + 1/3*w**3 - 1/2*w**2 + 0. Is l(1) a prime number?
True
Let w be (5 - -1)*(6 - 5). Is ((-1)/(-3))/(w/1062) composite?
False
Suppose -h + 5*h = -80. Suppose -2*x = 2*d - 70, 2*x + 0*x - 68 = -d. Let u = h + x. Is u prime?
True
Suppose 2*k = -2, -7*k = -n - 6*k + 1932. Is n prime?
True
Is 9/(-3 - 0) - -268 a prime number?
False
Let n = 17 - 10. Suppose -n*g + 3*g = -896. Is 1/3 - g/(-12) prime?
True
Is (4 + -6 + 3)*919 a prime number?
True
Let o = -104 + 70. Suppose 5*m - 350 = -2*v, -3*v - 3*m = -821 + 287. Let b = o + v. Is b a composite number?
True
Suppose -4*a - 405 = -r + 2432, 5*a = 10. Is r a composite number?
True
Let v = 170 + 16. Suppose 0*i - 3*i + v = 0. Is i a composite number?
True
Let r(m) be the first derivative of m**6/120 + m**5/6 + 3*m**4/8 - 7*m**3/6 - 2*m**2 - 2. Let j(a) be the second derivative of r(a). Is j(-8) a prime number?
False
Let p(n) = 14*n - 5. Let b be p(-5). Let k = 4 - b. Is k composite?
False
Suppose 0*c + c + 747 = 5*y, 3*y + c - 445 = 0. Is y prime?
True
Suppose 2*n - 5*c - 571 = 0, -4*n + c + 1175 = 2*c. Let i = n - 160. Is i prime?
False
Let o = -8 + 20. Suppose -3*k - o = 0, -5*s - k = -309 - 72. Is s a prime number?
False
Let r = -19 + 50. Is r prime?
True
Let p = 1037 + -590. Suppose -149 = -k + 5*d, -2*d = k - 4*k + p. Is k a prime number?
True
Let n(c) = 0*c**3 + 5*c**3 - 9*c**3 + 3*c**3 + 7 + 8*c + c**2. Is n(-6) a prime number?
True
Let a = 1 - 13. Is (452/6)/((-4)/a) a composite number?
True
Suppose 2*j - 3*j + 647 = 0. Is j composite?
False
Suppose 5*c = 3*o + 4, 7*o - 2*o = 4*c + 2. Suppose d - o*d + 29 = -3*j, -4*d - 4*j = -180. Let g = 60 - d. Is g composite?
False
Let v = 6412 - 2765. Let b = v + -5632. Is b/(-25) - (-4)/(-10) a prime number?
True
Let b(m) = -m**3 - 2*m - 1. Let l be b(-1). Suppose 0*p + l = p. Suppose 0*z + 4*z = 3*x + 86, p*z + 2*x = 50. Is z prime?