 10. Let w be a(-9). Is (-4487)/(-7)*(0 - w) prime?
True
Suppose -5*f + 5*y + 5360 = 0, 0*f - 3*f - y = -3208. Suppose 2*n + f = 2*j, -248 = -j + 3*n + 291. Suppose -q + 503 = 4*v, -5*q = v - 5*v + j. Is v composite?
False
Suppose -1 + 2 = f - j, -f = 4*j + 24. Let m(i) = -3*i**3 + 2*i**2 - 4*i + 2. Let d be m(f). Suppose -2*u + 164 + d = 0. Is u prime?
False
Suppose 0 = -5*j - 3*i + 3419 - 898, j - 509 = i. Let y = -16 + j. Let p = -63 + y. Is p a prime number?
False
Suppose -47*p + 199303 + 282400 = 0. Is p a prime number?
False
Let s(v) = 12*v**2 - 55*v - 1. Is s(10) composite?
True
Suppose 0 = -5*c + 7*q - 3*q, 0 = -4*c + 5*q. Suppose 9*h + c*h = 1746. Is h composite?
True
Let s = -25 - -12. Let x(m) = -6*m - 5. Let i(a) = a + 1. Let r(j) = 3*i(j) + x(j). Is r(s) a prime number?
True
Let z be ((-80)/(-30))/((-2)/(-288)). Suppose 5*d - 266 = -c, -104 = -2*c + d + z. Suppose q - j - 109 = 0, -q - c = -3*q - 5*j. Is q a composite number?
False
Let y(m) = 89*m + 17. Let t be y(5). Let g be ((-1262)/3)/((-14)/t). Is g/11*(-2)/(-4) prime?
True
Let z(r) = 20*r**2 - 11. Suppose -28 + 76 = 8*c. Is z(c) prime?
True
Let b(v) = 1040*v - 71. Is b(5) composite?
True
Suppose -3*a = 2*b - 0*a - 3478, 0 = 3*b + 5*a - 5219. Is b prime?
True
Let u(b) = 8657*b - 194. Is u(3) a composite number?
True
Let v(i) = 1880*i + 319. Is v(6) composite?
True
Let r be ((-21)/(-6) - 4)/(2/(-1812)). Suppose k + 1232 + 757 = 3*s, -4*k = 5*s - 3332. Suppose w = r + s. Is w composite?
False
Let p(j) = 2 + 2 + 4*j - 2 - 3. Let b(u) = u - 8. Let k be b(10). Is p(k) a prime number?
True
Let s(g) = 2*g**2 + 9*g. Let l be s(-9). Suppose 4*z - l = 43. Is z prime?
True
Suppose -216*f + 226*f - 47510 = 0. Is f a prime number?
True
Let c be (30 - (-10)/5)*-49. Let f = c + 2241. Is f a composite number?
False
Suppose 0 = -2*t + 4*d + 1012, -3*t + t + 1012 = -2*d. Suppose 894 = 5*i - 911. Let z = t - i. Is z a prime number?
False
Let f = 411 + -277. Let q(x) = 472*x - 135*x + f*x. Is q(1) a composite number?
True
Let a(v) be the third derivative of -v**5/60 + 5*v**4/24 - v**3/2 - 10*v**2. Let y be a(4). Is (155 + 2)/y*1 a prime number?
True
Let x(w) = -59*w**3 - 2*w**2 + 2*w - 8. Is x(-3) prime?
False
Let k = -3718 - -7125. Is k a composite number?
False
Suppose 0 = -6*r + 8*r - 4. Let i(u) = -9 - 2 + 2*u - r*u**2 + 7 + 15*u**3. Is i(3) composite?
False
Let h be (-249)/15 - 3/(-5). Suppose 2*v = -v + 78. Let o = v + h. Is o a prime number?
False
Let y(u) = -u**2 + 20*u + 2. Let x be y(20). Suppose -i - i = -870. Suppose x*k = 5*k - i. Is k prime?
False
Suppose 0 = 4*n + 3*x - 13949, -31*x - 17475 = -5*n - 27*x. Is n composite?
False
Let j(i) = -226*i + 4. Let h(k) = 75*k - 1. Let u(g) = -17*h(g) - 6*j(g). Is u(8) a prime number?
True
Let m(g) = g**3 + g**2 + g + 22. Let t(n) = 3*n + 13*n + n**2 - 6*n. Let w be t(-10). Is m(w) prime?
False
Let t(k) = 555*k + 65. Is t(4) prime?
False
Let x(n) = n**3 - 5*n**2 + 2*n - 7. Let b be x(5). Let w be ((-2)/4)/(b/1674). Let y = w + 958. Is y composite?
True
Let b(z) = 6*z + 2. Let i be b(-1). Let u(a) = -5 - 10*a - 2 + 1. Is u(i) composite?
True
Suppose f - 2*i = -0*i + 4, -3*i = 3. Suppose 3*z - 20 = -f*z. Suppose -3*k = -4*x + k + 1232, -4*k = z. Is x a composite number?
False
Suppose 4*f = -0*f + 28. Let k = f - 4. Suppose k*a - 4*a = -155. Is a composite?
True
Let o(k) = k**2 - 4*k + 17. Let n = 16 - 9. Let h be o(n). Let w = 127 - h. Is w a prime number?
True
Let p be 9406/6 - 3/(-9). Suppose -p = -h - 451. Is h prime?
True
Let w be -3 - (-5)/((-20)/12). Let a be w*(-2)/(-8)*-2. Suppose j = a + 30. Is j a prime number?
False
Let w be (-2 + -1288)/(-5) + -3 + 0. Is w - 0/4 - 4 a composite number?
False
Suppose 4*m = -5*r - 3614, -5*r + 2*m - 4159 + 521 = 0. Let x = 1099 + r. Is x a composite number?
False
Suppose -2*z - 28107 = -5*k, -1187 = -k - 4*z + 4452. Is k a composite number?
False
Suppose -4*n + 0*n - 24 = 0. Let g(s) = -3*s**3 - 8*s**2 - 7*s - 5. Is g(n) prime?
True
Suppose 0 = 4*v - 5*n - 31, -2*n - n = -3*v + 21. Suppose v*d = 3*i - 1967, 0 = -5*i + i + 3*d + 2618. Let b = 988 - i. Is b a prime number?
False
Let z = 25 - 23. Suppose -3*d + z*v + 6991 = -0*d, 0 = -d - 2*v + 2341. Is d a composite number?
False
Let a(l) = -6544*l - 23. Is a(-1) prime?
True
Let q = 33 - 33. Suppose q*k + 367 = m - 4*k, 5*k = -m + 322. Is m composite?
False
Suppose 5*d - 23 + 3 = 0. Suppose 0 = -0*c + d*c - 80. Is (-2194)/(-5) + 4/c composite?
False
Let l(h) = -h**2 + 10*h - 14. Let v be l(8). Suppose 0 = v*m + 10, 5*b + 3*m = -2*m + 2840. Is b composite?
True
Let a = 101941 + -61980. Is a composite?
True
Suppose -6*o = -2*k - 7*o + 131, o = -3. Is k prime?
True
Let x be (-20)/(-30) - (-7)/3. Suppose 0 = -x*f + 4 - 13. Is (-1 - f)*293/2 a prime number?
True
Suppose 0 = 12*n - 209 - 43. Is n a prime number?
False
Let f = 17015 - 5660. Is f/5*1/3 composite?
False
Let k be 21/6 - 3/6. Suppose 71 + 40 = k*f. Is f a composite number?
False
Let q(l) = -111*l + 112. Is q(-5) prime?
False
Suppose u - 231 = -0*u. Suppose 5*s + u = 8*s. Is s prime?
False
Let p = 9719 + -6334. Suppose 9*n - 4*n - p = 0. Is n prime?
True
Suppose 0 = 2*b - 4, -19*o + 15*o + 2*b = -7732. Is o a composite number?
True
Is 25325/2 - (-7 + 85/10) a prime number?
False
Suppose -4*t = 4*v - 8, 0 = 4*v - 2*v + 5*t - 1. Let r = 1 + v. Suppose 0*y - r*y = -1036. Is y a prime number?
False
Let h be (104/10)/((-4)/20). Let g be h/14 + (-2)/7. Is (-259 + 0)*g/4 a prime number?
False
Let s(b) = -b**3 - 27*b**2 + 17*b - 68. Is s(-30) prime?
False
Is (536675/(-150))/((-2)/12) a prime number?
True
Let k(w) = 9*w + 4. Let x be k(7). Suppose -4*o - 5*c + 279 = -0*o, o + 4*c - x = 0. Is o prime?
True
Let k = -3 + 4. Let b = k - -3. Suppose 4*x + r - 1228 = 4*r, 0 = -b*r. Is x composite?
False
Suppose -42 = -19*w + 72. Is w + -3 - -5152 - (1 + -1) a composite number?
True
Let b(x) = -x**3 - 20*x**2 + 11*x + 12. Let p be b(-15). Let m = p + 2289. Is m prime?
False
Let i(z) = z**3 - 6*z**2 + 3*z - 5. Let r be i(5). Let o be (24/r)/((-10)/625). Suppose -3*k - 1 = -o. Is k a composite number?
True
Let s = 23 - 18. Suppose -4*j = -4*q - q + 12, s*q = 2*j + 6. Suppose -5*x - 469 + 1184 = q. Is x composite?
True
Suppose -26*l + 36*l = 296630. Is l composite?
False
Let t = 93714 - 55415. Is t a composite number?
False
Suppose 5*c = 4*m + 6533, -3*c = 5*m - 5151 + 1209. Suppose -c = -7*u + 3*u + 3*f, 5*u = -2*f + 1665. Is u prime?
True
Let v(g) be the second derivative of -g**4/12 + 4*g**3 - 21*g**2/2 - 4*g. Is v(19) composite?
True
Let y be 4/(-10) + (-72)/(-30). Suppose -4 - y = -3*t. Suppose 2*f - 153 = 3*n + 145, 2*f + t*n - 288 = 0. Is f composite?
True
Let s be (-2)/(-4)*2/(-1) - -3. Is 42*(s - (3 + 12/(-8))) a prime number?
False
Let z(c) = -5*c**2 + 4*c - 2. Let p(k) = -3*k. Let j be p(-1). Let v be z(j). Is (v/(-2))/(1/2) composite?
True
Let b be (-6)/10*(-10 + 0). Suppose 4*h = b*h - 2770. Is h a prime number?
False
Suppose -48 - 36 = -3*v. Let z be (v/35)/(4/50). Suppose z = -2*c + 4*l + 44, -5*c = 5*l - 115. Is c composite?
True
Let s = -33 + 33. Suppose 3*q + s = 12. Suppose q*y - 457 - 412 = -3*c, -4*c - 5*y = -1159. Is c prime?
False
Suppose -14*l - 19342 = -33*l. Is l a composite number?
True
Let a = 314 - -6035. Is a composite?
True
Suppose 5 = -l, 5*w + 5*l = 26006 + 874. Is w composite?
False
Suppose 3*f - 148291 = j, 2*f + j - 28677 = 70187. Is f a prime number?
False
Suppose 2*b + i + 0*i = 7979, 0 = -4*b - 4*i + 15952. Is b prime?
False
Is (-24)/(-924)*-7 - 141847/(-11) prime?
False
Let a(i) = 9*i - i**3 - 4*i + 6*i**2 - 5*i. Let v be a(6). Suppose v = 4*r - 43 - 345. Is r prime?
True
Suppose 0 = -72*b + 89*b - 56321. Is b a prime number?
True
Let r(q) = 2*q**2 + 13*q + 10. Let s be r(-9). Let i = s + 44. Suppose i = k + 2*k. Is k a composite number?
True
Suppose 0 = 23*b - 27*b - c + 19440, -3*c + 19432 = 4*b. Is b composite?
False
Let z(d) be the second derivative of 25*d**3/6 - 13*d**2 + 28*d. Is z(21) composite?
False
Let h(v) = 100*v**2 + 23*v + 64. Is h(-5) prime?
False
Let n be -2*2 + 72/18. Suppose 0*h + 5*h = n. Is h + 125 - (-6 + 4) a prime number?
True
Suppose -4*a + 3*a + 9 = 0. Let m = 8 - a. Is (-7 - m)*30/(-12) a prime number?
False
Suppose -455928 = 19*t - 1170575. Is t