4*o = 262. Is w prime?
True
Let u be 2 + 0 + 0 - -274. Suppose 5*d - 655 = q + q, u = 2*d + 2*q. Is d a prime number?
False
Suppose -3*i = t - 51, -i - 8*t = -3*t - 31. Is i/40 + (-766)/(-10) a composite number?
True
Suppose -4*y + 20 = 2*r, 4*r = y + 4*y + 1. Suppose -5 = -r*b + a + 4*a, -b = 4*a - 17. Suppose 55 = -0*n + b*n. Is n a prime number?
True
Suppose 34 = -3*l + 223. Is (-1)/((-3)/l) + 1 a prime number?
False
Let q(w) = -w. Let f be q(10). Is (-2)/f + (-1182)/(-15) composite?
False
Let j = -4 - -12. Let p(i) = 2*i**2 - 5*i - 9. Is p(j) composite?
False
Suppose c - 79 = 34. Suppose 89 = 3*u - q, 6*q - q = -3*u + c. Is u a prime number?
True
Suppose -p = 3*y + p + 762, -y - 3*p - 247 = 0. Let t = y - -437. Is t composite?
False
Let m be (-2)/(-6)*(-1191)/1. Is (-4)/(-6) - m/3 composite?
True
Suppose 295 + 664 = b. Is b a composite number?
True
Let a(r) = -13*r**3 + 23*r**2 - 31*r - 8. Let y(p) = 3*p**3 - 6*p**2 + 8*p + 2. Let n(j) = 2*a(j) + 9*y(j). Let i be n(7). Let f = i - -36. Is f a prime number?
True
Let i = 9 + -11. Suppose -5*o = 2 + 28. Is -7*(-3)/o*i a composite number?
False
Let m = -727 - -1024. Let s = m + -83. Is s a prime number?
False
Suppose 6*l - 2895 = 1167. Is l prime?
True
Suppose b - 4 = -0*b. Suppose 0 = b*s - 5*f + f - 24, 2*f = -6. Suppose -z + 476 = s*z. Is z composite?
True
Suppose -c - 23 + 10 = 0. Suppose -2*i = -4*i + 144. Let u = i + c. Is u a composite number?
False
Let j be -2*(-1)/2*-6. Let p(x) = -5 - 4*x**2 - 4*x - x - 3*x - x**3. Is p(j) a composite number?
True
Let n = -19 + -173. Suppose -q = 2*k + 20, 4*k - 8 = -20. Is n/q + 4/14 composite?
True
Suppose h + 3*i - 11 = 10, -4*h + 4*i = -4. Let w be (153/h - 1)*2. Is (-5)/(-10) + w/2 a prime number?
False
Let s = 0 - -4. Suppose -f = s*f. Is f - (-31 + 2 - 2) a composite number?
False
Suppose 4*c = 2*k + 22, c - 3*k - 23 = k. Suppose 0*f + c*f - 447 = 0. Is f a prime number?
True
Suppose -4*t = -5*t + 113. Is t prime?
True
Let d(j) = -j + 49. Let h be d(0). Let b = 70 - h. Is b composite?
True
Let m(a) = -2*a**3 - 2*a**2 + 6*a - 7. Suppose 56 = -5*f + 4*i + 18, 0 = 3*f - 4*i + 26. Is m(f) prime?
True
Let y be (-4)/(-18) + (-110)/9. Let g = y - -17. Let c(k) = k**3 - 3*k**2 + 5*k + 4. Is c(g) composite?
False
Suppose -m + 497 + 1754 = 0. Is m a composite number?
False
Let x = -36 + 76. Is (422/(-5))/((-16)/x) composite?
False
Let p(w) = -3*w**2 + 3*w - 2. Let b(f) = f**2 - f - 1. Let k(c) = 4*b(c) + p(c). Let u be k(0). Let j = 25 + u. Is j prime?
True
Suppose -4*z = -z - 2*g - 839, -z - 5*g + 257 = 0. Is z composite?
False
Is (2 - 2) + (25 - 2) a prime number?
True
Let r = 48 - 29. Is r composite?
False
Let d(p) = p + 8. Let j be d(-8). Suppose -5*l = -4*z + 510, j = 3*z + 4*l + l - 365. Suppose 5*h = 50 + z. Is h a prime number?
False
Let s(b) = -3*b. Let h be s(-5). Suppose 0 = -3*z + i + 53, h = -3*z + 4*z - i. Is z prime?
True
Let j(a) = 7*a - 14. Let b(w) = -5*w + 9. Let h(x) = 8*b(x) + 5*j(x). Is h(-12) a composite number?
True
Suppose 4*f + 5*p + 34 + 13 = 0, -4*p = -4. Let k = f + 66. Is k composite?
False
Suppose 5*b = 20, b + 4*b - 23 = -3*o. Is 0 - (-297 - (o - 3)) prime?
False
Let v be 2 - (-2 - (-4 - 0)). Suppose -3*o + v*o = -9. Suppose 4*g - 293 = -5*k, o*g = 2*k + 89 + 148. Is g prime?
False
Suppose -4*v - 8 = -0*v. Let z(u) = 2*u**2 - 2*u - 3. Let h be z(v). Suppose -3*x = -h, -4*i - 5*x + 158 = -301. Is i prime?
False
Let j(g) = 3*g**3 - 4*g**2 + 5*g + 3. Let x(y) = -y**3 + 2*y**2 - 2*y - 2. Let s be ((0 - -1) + 4)*-1. Let a(u) = s*x(u) - 2*j(u). Is a(-5) prime?
True
Let a(z) = 20*z - 19. Is a(9) a prime number?
False
Is 0/1 + (22 - -717) a prime number?
True
Is 4/(4/(-223))*-1 prime?
True
Suppose 0 = -3*b + 5*h + 2124, 0 = -0*b + 2*b + h - 1429. Is b composite?
True
Let f(c) = c - 4. Let u be f(2). Is 366/10 - u/5 prime?
True
Let q = 1652 - 967. Is q composite?
True
Let h(i) = 3*i**3 - 3*i**2 + 2*i - 5. Let w(y) = -4*y - 10. Let u(d) = d - 1. Let b(k) = -5*u(k) - w(k). Let a be b(10). Is h(a) a prime number?
False
Let n = -37 + 15. Let h = n - -41. Is h a prime number?
True
Let r = 6 + -4. Is 94*((-15)/(-6) - r) prime?
True
Let y = 10 + -6. Suppose x + 3*d + 129 = 0, x + y*x - 5*d = -645. Let f = -76 - x. Is f prime?
True
Let o(c) = 4*c + c**2 + 0*c**2 - 3*c**2 - 3*c + c**3 + 7. Is o(5) a composite number?
True
Let d = -12 + -9. Let x = 76 + d. Is x prime?
False
Let d(m) = -14*m**3 - 3*m**2 - 4*m - 3. Let o be d(-2). Suppose 3*c - o = -30. Is c composite?
True
Let b(m) = -m - 5. Let w be b(-4). Is (w - -3)*(-322)/(-4) a prime number?
False
Suppose 2*g - 8 = 2. Suppose -3*j - 26 = -g*u - 9, -21 = -5*j - 4*u. Is j - (-3 + 1 + -50) a composite number?
False
Let d(l) = 1004*l**2 + 2*l - 4. Let f be d(-4). Is f/16 - 3/12 a composite number?
True
Let l(n) = 43*n + 35. Is l(18) prime?
True
Let q be (-6)/(-4) + (-30)/(-4). Let p = q + 124. Is p a composite number?
True
Let z(r) = r**2 + 4. Suppose -7 = -3*p + 4*p. Is z(p) prime?
True
Suppose 5*u + 2391 = 8*u. Is u composite?
False
Suppose -2*h - 2*h = -5*c - 53, 3*h = -4*c + 1. Suppose 8*a - h*a - 221 = 0. Is a a composite number?
True
Suppose 0*h - 5*h = -830. Suppose 0 = 2*l + h - 30. Is (2 - 1)*(-1 - l) prime?
True
Let m(a) = a**3 + 2*a**2 + 1. Let r be m(-3). Let s be (-4)/r*(-588)/(-1). Suppose -p - 90 = -t, 3*t - p = -6*p + s. Is t composite?
True
Is 2/4 + 891/6 a prime number?
True
Let s = 231 - 579. Is s/(-10) + (-10)/(-50) prime?
False
Suppose -5*a - 71 = -6*a. Is a composite?
False
Let r = 347 + 154. Is r prime?
False
Let g(h) = -h + 5. Let k be g(0). Suppose -16 = -s - s. Suppose k*q - 103 = -s. Is q composite?
False
Let g(r) = -4*r**3 - r**2 + r. Let j be g(1). Is -1 - (-7 - j - 411) a composite number?
True
Let g(b) be the second derivative of 112*b**3/3 - b**2/2 + 4*b. Is g(1) prime?
True
Let s(c) = 8*c**2 - 5*c + 2. Let z be s(3). Let a = z - 83. Let o = a - -247. Is o prime?
True
Suppose -3180 = -2*u - 3*u. Suppose -184 = 2*q - u. Is q a composite number?
True
Let y be 4/6*(9 + -6). Suppose -2*v = -4, 0 = 2*m - y*v - 52 - 60. Is m a prime number?
False
Let g(q) = -q**2 - 6*q. Let j(h) = -h**2 - 7*h. Let u(m) = 6*g(m) - 5*j(m). Let o be u(0). Is -1*(o + 2) - -37 prime?
False
Let a = -4 - -8. Let n be ((1 - 0) + -181)/1. Is (-2 - n)*a/8 a prime number?
True
Let x = -1 - -1. Suppose 0 = m - x*m + 6. Is (0 - 6)*m - -1 a prime number?
True
Suppose -6*g + 9 = -2*g - 5*n, -n = 2*g + 13. Let t(s) = 4*s**2 + 4*s + 3. Is t(g) prime?
False
Suppose -2*p + 353 = -267. Let g = p + -219. Is g composite?
True
Let b be 5*-3*2/(-6). Suppose -3*j + b*j - 154 = 0. Let z = -24 + j. Is z a composite number?
False
Let q = 457 - 187. Suppose 2*k = 5*k - q. Suppose -3*s + k + 9 = 0. Is s prime?
False
Let g(d) = -d**3 - 10*d**2 + 23*d + 17. Is g(-14) composite?
False
Let c(j) = -j**3 + 11*j**2 - 4*j - 17. Is c(10) a composite number?
False
Is (-96)/(-36)*(-1509)/(-4) a composite number?
True
Let g(k) = 3*k + 1. Let t be g(2). Is t/(-14) + 62/4 a composite number?
True
Suppose 0 = 2*z + 4, m + 2 + 0 = -3*z. Suppose -4 = 3*p - 19. Suppose 0 = p*n - 5, n - 23 = -a + m*n. Is a a prime number?
False
Let f(r) = 2*r**3 - 5*r**2 - 3*r**3 - 6 + 0 - 5*r. Is f(-5) a prime number?
True
Let g(v) be the second derivative of v**5/20 + 2*v**4/3 + 7*v**3/6 - 7*v**2/2 + v. Is g(-6) a composite number?
False
Let t = -6 - 0. Is 3/(-2)*1516/t composite?
False
Let j = 165 - -26. Is j prime?
True
Suppose -2*d + 4*d + 4*v = -8, -4*v - 8 = 0. Suppose -2*q - 2*q = 0. Suppose -4*m + 8 + 0 = d, -4*a - m + 454 = q. Is a composite?
False
Let b be 15 + 1 + (-2 - -1). Suppose -4*x + b = -3*g, 0 = x - 3*g - 1 - 5. Is -46*x/(-4)*2 composite?
True
Let j(t) = -t**3 + 5*t**2 + 2*t - 9. Let q be j(5). Is (106/10)/(q/5) prime?
True
Let v be 34/4 + 1/2. Suppose 9*f - 552 = 3*f. Suppose -b + g + f = -0*b, -v = 3*g. Is b a composite number?
False
Let t(d) = 66*d - 7. Is t(3) a composite number?
False
Let r = 6 - 6. Suppose r = k + 2 - 3, 3*k - 3 = -2*b. Suppose b = 3*t - t - 434. Is t a prime number?
False
Let r(s) be the third derivative of 11*s**4/12 - s**3/6 + 3*s**2. Is r(4) prime?
False
Suppose 0 = -2*p - 2*h + 926, 2*p - 5*p + 1404 = -2*h. Let x = p + -327. Is x a composite number?
False
Let l = -15 + 20. Suppose l*z - 435 - 3