+ 1499 = -5*u. Is a prime?
False
Suppose -3*w - d + 36 = 0, 2*w - 2*d = 6*w - 48. Suppose w = 3*c + 3. Is c composite?
False
Let k be 0 + 5 - (-22)/(-11). Suppose k*h - 83 - 76 = 0. Is h a prime number?
True
Suppose 4*t = -4 + 20, -4*t = 3*w - 127. Let l = -5 - -5. Suppose -n - y = -0*n - w, 2*y - 4 = l. Is n a prime number?
False
Suppose 0 = -6*d + 4*d + 2674. Is d a prime number?
False
Suppose 0 = s - 1 - 3. Suppose s*k = 3*u + 35 - 465, 2*u - 105 = k. Let n = k - -178. Is n prime?
False
Let d = -4 + 5. Let g(w) = 1. Let b(s) = 204*s**2 + 4. Let z(m) = b(m) - 5*g(m). Is z(d) a prime number?
False
Let o = 312 - -211. Is o prime?
True
Suppose -4 = 2*d - 0, 4*d - 513 = -g. Is g prime?
True
Let m = 811 - 326. Is m composite?
True
Let u be (-6)/(-4)*12128/12. Suppose 5*o - 5*y - 1895 = 0, 4*o - u = -6*y + y. Is o a prime number?
True
Suppose -22 = -3*v - 4. Let l(p) = -p**3 + 6*p**2 + 2*p - 6. Let j be l(v). Let m = 47 + j. Is m a prime number?
True
Let y(c) = 341*c**3 - c**2 - 4*c + 5. Is y(2) composite?
True
Let g = 65 - -254. Is g a prime number?
False
Let q(z) = 4*z**2 + 4*z + 7. Let x(p) = -5*p**2 - 3*p - 7. Let o(y) = -3*q(y) - 2*x(y). Let r(b) = 2*b**2 + 5*b + 7. Let t(u) = 4*o(u) + 5*r(u). Is t(8) prime?
False
Suppose -h = 2*h. Suppose h = -4*p + p + 12, 5*p - 5 = 5*d. Suppose -q = -d*z - 71, 0 = -2*q + 7*q + z - 387. Is q prime?
False
Suppose c - 3*c + 2 = 0. Let r be 1 + ((-188)/c)/2. Let h = -54 - r. Is h composite?
True
Let z(g) = g**3 - g**2 - 2*g - 2. Let a be z(3). Let t be 2/2 - (-1218)/2. Suppose a = 5*o, t = 3*c + c - 5*o. Is c a composite number?
True
Let w = 110 + -13. Is w prime?
True
Suppose -4 = 5*v - 24. Let s(w) = 4*w**2 - 15*w + 5. Let g(c) = 2*c**2 - 7*c + 3. Let u(b) = v*s(b) - 7*g(b). Is u(8) a composite number?
True
Let g = 2537 - 1200. Is g composite?
True
Is (-42009)/(-44) - (-2)/8 prime?
False
Suppose 2*f - 2*r + 18 = 0, -2*f + 5*r - 59 + 26 = 0. Let b be 1 - 14/f*74. Suppose g - 5*g = -b. Is g prime?
False
Let w(v) = v**3 + 6*v**2 - 7*v + 2. Let g be w(-7). Suppose 7*x - g*x = 130. Suppose 0*u + x = 2*u. Is u a composite number?
False
Suppose -2*d + 566 + 572 = 0. Suppose -5*h + 2260 = -4*z - d, -h + z = -565. Suppose -4*j = -3*a + 323, 5*a + 5*j - 4*j - h = 0. Is a composite?
False
Let a(p) = 5*p**3 - p**2 - 3*p + 1. Let k(l) = -9*l**3 + 2 + 2*l + 3*l + l**2 - 3. Let n(u) = -11*a(u) - 6*k(u). Is n(4) composite?
False
Suppose -120 = 2*w - 522. Is w a prime number?
False
Suppose -3*v + 8 = v. Let w be -3 - (4 - (-1 - v)). Is 4/w + 297/5 a prime number?
True
Suppose -z - 1 = -3. Is (z*293/(-2))/(-1) prime?
True
Is 2/6*557*3 a composite number?
False
Is 8285*(20/(-25))/(-4) composite?
False
Suppose -12 = -4*f, -f - 857 = -5*z - 135. Is z a prime number?
False
Suppose 0 = -0*v - 2*v + 286. Is v a composite number?
True
Let i = -12 - -1. Let m = 131 + i. Suppose h - 5*k = 10, 4*h - 2*k - 2*k = m. Is h a composite number?
True
Let p(y) = -14*y + 1. Let m be p(5). Is (14/6)/(-1)*m a prime number?
False
Let b(g) = -61*g**3 + 2*g**2 + 2*g + 1. Let t be b(-1). Let l = 94 - t. Let r = l - 17. Is r a composite number?
True
Suppose -2*j + 156 = -2*u, -3*j + 0*u + u + 226 = 0. Is j a prime number?
False
Let m be 2/(-2)*(-2 + 1). Let z be 7 + -3 + (-1)/m. Suppose -z = 4*g - g + 4*i, -3*g + 3 = 2*i. Is g a prime number?
True
Let b be 543/9*(1 + 2). Suppose -2*n = 63 - b. Is n a composite number?
False
Suppose 2*j + 0*j - 1127 = -g, 3*g + j = 3406. Is g a prime number?
False
Let p = -501 - -1028. Is p a composite number?
True
Let u = 15 + -10. Suppose -p - 2 = u*y - 29, 4*p = y - 18. Suppose 2*b - 4*b + y = 0. Is b prime?
True
Suppose y = -4*l + 21, 3*y + 2*y = 5*l + 5. Suppose y*z = -3*i + 84, -5*z + 81 = i + i. Let k = z + 10. Is k a prime number?
False
Suppose 3*t - 8*t = -5*v + 415, -5*t = -2*v + 154. Is v prime?
False
Is (-2)/4 - 1521/(-6) a composite number?
True
Suppose -h + 263 + 44 = 0. Is h a composite number?
False
Let j be (-3)/(54/(-16) - -3). Let h = 11 - j. Is h prime?
True
Let p(d) be the first derivative of d**4/4 - 16*d**3/3 + 21*d**2/2 - 13*d - 3. Is p(15) prime?
False
Let n be 2/(-3) + (-21)/9. Let l be 6/(-15) + (-6)/10. Is 19*(-2 + n/l) composite?
False
Let h(g) = -g**3 + 6*g**2 - 7*g + 6. Suppose 2*o - 24 = 4*a, o - 20 = 2*a + 2*a. Is h(o) prime?
False
Suppose 10 = -3*f + 1. Let o = 6 + f. Suppose 0 = -5*z + 4*x + 239, -z - 6*x + 63 = -o*x. Is z a composite number?
True
Let d = 1 - 1. Suppose 3*c = -d*c + 30. Suppose -3*s = 3*n - 30, 0*n - c = n + 5*s. Is n prime?
False
Let z(s) = 2*s - 4. Let g be z(4). Suppose 0 = 3*c - 2*p - 147, -2*c = -0*p + g*p - 114. Is c prime?
False
Let d(y) = 2*y**2 + 3*y - 1. Let q be d(-6). Let r = -15 - 3. Let x = q + r. Is x composite?
True
Let c(v) = 4*v + 1. Let q be c(4). Suppose -4*r = l - 41, -r + 3*l - l + q = 0. Is r a composite number?
False
Let c(g) = -672*g + 1. Is c(-2) a prime number?
False
Is (-2657 + -1)*5/(-10) composite?
True
Let k = 30 + 7. Is k a prime number?
True
Suppose a = 3 - 2. Let s(i) = 22*i - 1. Is s(a) composite?
True
Suppose -s - 5*y + 5 + 30 = 0, 5*s - y = 253. Suppose 0*c = -c + 9. Let k = s + c. Is k prime?
True
Let j = 3048 + -1541. Is j prime?
False
Let m be 0/(2 + -4) - -2. Let a be 11/m*(-27 - -1). Let g = a + 220. Is g a composite number?
True
Suppose 0 = 5*c - 2*t + 38, 2 = -c + 2*c + 2*t. Is -1491*(14/c + 2) a prime number?
False
Suppose 4*u + 4*k = -k + 2, -23 = -5*u + 4*k. Suppose -10 = 2*w, -u*o + 2*o - 3*w + 146 = 0. Is o a prime number?
False
Let h(t) = 9*t**3 - 3*t**2 + 5*t + 12. Is h(5) a composite number?
False
Let v be 5 + -6 - -5*1. Suppose -3*i - 4*q = -v*i + 31, -4*i = -2*q - 152. Is i a composite number?
True
Suppose -y + 8 = 3*y. Suppose y*s = 4*g - 344, -3*g = -0*g + 2*s - 251. Is g a prime number?
False
Is (-2)/14 + (-13)/7 - -1201 a composite number?
True
Let n = 30 + 22. Suppose 2*o + 2*o - n = 0. Is o prime?
True
Let n be -3 + 4*24/2. Let k = 70 + n. Is k composite?
True
Suppose 118 + 560 = 6*d. Is d composite?
False
Let d(h) be the second derivative of h**4/2 - h**2/2 - h. Let p be d(-1). Suppose -3*b + 145 = o, 0 = -p*o - 5 + 25. Is b composite?
False
Let y(o) = -7*o - 7. Is y(-6) composite?
True
Is ((-7312)/(-40))/((-4)/(-10)) a prime number?
True
Let v = 2 + 202. Let b = 301 - v. Is b composite?
False
Let r = 4 - 9. Is (-1520)/(-6) - r/(-15) a composite number?
True
Let y = -636 - -1355. Is y a prime number?
True
Let b(f) = f**2 + 15*f + 4. Let v be b(-15). Suppose -274 = -2*h - v*i, -2*i + 112 = h - 5*i. Is h a prime number?
True
Suppose -v + 228 = 3*v. Let h = v - 18. Is h prime?
False
Suppose 2 = 5*b - 0*b - 2*y, -2*b + 24 = 5*y. Suppose 0 = -b*g - 70 + 204. Is g composite?
False
Let n(y) = y**2 + 3*y. Let l be n(-4). Suppose 429 + 567 = l*z. Is 1*z/(-9)*-3 composite?
False
Suppose -3*z = -6*z + 861. Is z composite?
True
Suppose -5*w + 1648 = 4*m - 0*w, 0 = 5*w - 20. Suppose -3*y + 3*r + 75 = -150, -5*y + m = 3*r. Is y a prime number?
True
Suppose 5*b - 2*b - 4*h + 826 = 0, 5*b + 2*h = -1420. Let l be b/(-10) - 2/10. Suppose 11 = 3*s - l. Is s composite?
False
Suppose 4*g - 17 = -3*y, y = -y + 3*g. Suppose 5*t + 2 = a, -2*a + 3*a = 4*t + y. Is a a composite number?
False
Let f(x) = -x**3 + 5*x**2 - 3*x + 9. Let s be f(6). Let l be 10/s - 52/9. Let a = l + 43. Is a a composite number?
False
Suppose 3*g = q - 108, -5*g - 180 = -4*q + 3*q. Let z be (-8)/g + 32/18. Suppose 16 = z*u - 3*d - 13, 0 = 5*u + d - 30. Is u a composite number?
False
Let z be 3 + 66 + 0 - -1. Let q be (4/6)/((-1)/(-48)). Suppose -z - q = -2*h. Is h a composite number?
True
Let u = 137 - 60. Is u prime?
False
Let r(q) be the second derivative of 29*q**3/2 - 4*q. Let s be r(2). Suppose 6*l - 3*l - s = 0. Is l composite?
True
Let z = 4903 - 3102. Is z a prime number?
True
Is 105/(-10)*(-68)/6 a composite number?
True
Let y = 205 - -472. Is y prime?
True
Let y(m) = 18*m. Let f be y(-2). Let i = f + 74. Is i composite?
True
Let c = -2 + 6. Suppose u = -2*t + 206, -c*t = -0*t + 8. Suppose u - 70 = 4*q. Is q composite?
True
Suppose 0 = -4*r + h + 11, 3*h + 3 = -6. Suppose 0*s = s - r. Let j = s - -5. Is j prime?
True
Suppose 4*x + 0*x - 8 = 0. Suppose -c = c + x. Is (c - -2) + 149 + -1 a prime number?
True
Let l = -3 + 2. Is -48*(3 - 4) - l com