Suppose 0*m = -5*m + t. Is 11/m*(-1 - -3) a prime number?
True
Let o be (-6)/(-3)*1/2. Let s(u) = -80*u**3 + 3*u**2 + u - 1. Let t(y) = y**2 + y. Let w(f) = -s(f) + t(f). Is w(o) composite?
False
Let u be (2 - 3)/((-2)/10). Suppose -u*y + 50 = -3*y. Suppose -5*a + y = 5*x, x = -4*x - 3*a + 21. Is x a composite number?
False
Suppose 4*l - 129 = 7*l. Let w = -8 - l. Is w a prime number?
False
Let n be (222/4)/(2/(-4)). Let b = -64 - n. Is b prime?
True
Suppose 2*v = 4*t - 1322, 4*t - 1327 = -5*v + 2*v. Is t a composite number?
False
Let u(s) = s**2 - s + 2. Let b be u(0). Suppose -o = 3*o - 5*i - 56, 0 = 3*o + 3*i - 69. Is o - (-2 + b)/(-2) composite?
False
Let o(d) = -152*d - 4. Let a be o(2). Let r = -117 - a. Is r a prime number?
True
Let v(s) = 9*s**2 + 2*s + 1. Let y be v(-1). Suppose 2*k + 3*t = -0*t + 3, -2*t - y = -2*k. Suppose -j + k + 7 = 0. Is j prime?
False
Suppose -a + 131 = 45. Is a a prime number?
False
Let a be (12/(-30))/((-1)/215). Let s be (a/6)/((-4)/(-72)). Is 2 + 1 - s/(-3) a composite number?
False
Is 27310/(-2)*(3 - 4) a composite number?
True
Let u be (-3)/2*(-8)/3. Suppose 5*d = 4*d, 2*d - 476 = -u*s. Is s prime?
False
Suppose 0 = 4*q - 5*j - 85, 0 = 4*q - q + 3*j - 30. Suppose 2*s + 5 - q = 0. Suppose 4*v - 2*d - 12 = 14, s*d + 11 = v. Is v a prime number?
False
Let p(f) = 6*f**2 + 8*f - 11. Is p(5) a composite number?
False
Suppose 3133 - 922 = 3*b. Is b a composite number?
True
Let z be -1 - -4 - 2/(-1). Let a be (-2)/z + 224/(-40). Is (-5742)/(-45) + a/10 a composite number?
False
Let y(i) = 2*i**2 - 6*i + 5. Let f be y(3). Suppose -4*p + f*d = -1244 - 820, -p = 4*d - 537. Is p composite?
False
Let s be (-3 + 0)*3/9. Let g = s + 1. Is (g + 5)*(-26)/(-2) a composite number?
True
Let f = -15 + -12. Let q be 3*6/f*-3. Suppose q*i = 2*r - 116, -6*r + 240 = -r + 5*i. Is r a composite number?
False
Suppose 15 = 3*v - 27. Is 219/2 + (-7)/v prime?
True
Suppose 5*x = -3*w - 5, -2*w + 2*x - 4*x - 2 = 0. Suppose w = 2*s - 0*s - 66. Is s a prime number?
False
Let v(m) = -3*m - 3. Let g be v(-2). Suppose -k = -g*k. Suppose k = 3*a - 6, -i + 5*a = 2*a - 29. Is i a prime number?
False
Suppose -47 = -3*f - 5. Is f prime?
False
Let z = -975 + 1864. Is z composite?
True
Suppose 8*z - 764 = 4*z. Is z a composite number?
False
Let l = 21 + 28. Let i = 88 - l. Is i prime?
False
Suppose -24 = -3*h - 3*v, 5*h + 5*v = 3*h + 16. Suppose 2*g - l = h, -2*l = 3*g - 0*l - 12. Is (-114)/g*2/(-3) composite?
False
Let x(g) = -g - 1. Let j be x(-2). Let r(s) = 0 + j + s + 4. Is r(5) a prime number?
False
Let z(b) = 3*b**2 - 3*b - 1. Let m be (10/(-4))/((-2)/4). Is z(m) a composite number?
False
Suppose 0*h + h - 5691 = -5*t, 0 = t - 3*h - 1151. Is t prime?
False
Let l(d) = -d**3 - 3*d**2 + 3. Let y be l(-3). Let k be 3/(2/(4/y)). Suppose k*u - c - 174 = 0, -5*u + 545 - 132 = 3*c. Is u composite?
True
Suppose 0*k = k - 419. Is k composite?
False
Is 158 - (-3 - (-7 + 3)) a composite number?
False
Suppose 0 = 2*c + 5*i - 1793 + 6614, -5*c + i = 12066. Let n = -1670 - c. Is n prime?
True
Suppose p - 2*l = 1357, 4*p - 5*l = -p + 6795. Is p a prime number?
True
Suppose 0 = 5*o - 3371 - 1224. Is o a composite number?
False
Suppose 7*o = -5250 + 22309. Is o composite?
False
Let o(q) = 3*q - q + 1 - q. Let u be o(4). Suppose -3*a - 2*w = -u*a + 48, -73 = -3*a + 4*w. Is a composite?
False
Suppose -4*q - 1 = -t + 2, -3*q = -3*t + 36. Is t a prime number?
False
Let q(i) = 298*i. Let x be q(1). Let u = 485 - x. Is u prime?
False
Let u(q) = 9*q**2 - 2 - 2*q + 8*q**2 - 9*q**2 + 7*q**2. Is u(3) a prime number?
True
Let x(t) = -6*t**2 - 4*t + 8. Let m be x(-8). Let r = m + 564. Suppose 2*o - r + 66 = 0. Is o a composite number?
True
Suppose 0*j - 2*j = -8. Suppose 4*c + 5*h + 174 = 1, -4*c = j*h + 168. Let w = c + 68. Is w a prime number?
True
Let z(n) = n + 2. Let w(m) = m + 12. Let f be -7*1*(-3 + 4). Let d be w(f). Is z(d) composite?
False
Suppose 3*f - 9 + 0 = 0. Suppose -262 = -f*a + a. Is a composite?
False
Let x be 6050/90 - 2/9. Is x/(2/((-2)/(-1))) a composite number?
False
Let s(c) = 58*c**3 - c + 1. Let r be s(1). Let i be 506/(-4)*(0 + -2). Suppose -3*n + i - r = 0. Is n composite?
True
Let v(f) = -f**3 - 4*f**2 + 5*f + 5. Suppose 3*w = -2 - 10. Let y be w/16 + (-46)/8. Is v(y) a composite number?
False
Let w(b) = -3*b**3 + 2*b**2 + b. Let l be w(-1). Suppose -2*x + l = -0*x. Is x + (-1 - (-2)/2) a composite number?
False
Let t = 1 + -2. Let u be -1 + -1 + (-1)/t. Is 81 + (-5 - u)/2 a composite number?
False
Let g = -8 + 12. Let z = 11 - g. Let i(p) = p**2 - 4*p + 10. Is i(z) prime?
True
Let m(w) = -w**2 + 14*w - 2. Is m(12) a composite number?
True
Let b(l) = 38*l. Suppose 3*z + 2 - 9 = 2*h, -2*h - 8 = -4*z. Is b(z) a prime number?
False
Suppose t + 2*t - 2421 = 0. Is t prime?
False
Is 2876/8*(2 + 0/2) a prime number?
True
Let b(z) = 98*z + 3. Let y(t) = -393*t - 13. Let s(d) = 9*b(d) + 2*y(d). Is s(1) prime?
True
Let p = 1401 - -308. Is p prime?
True
Let j(s) = -s**3 - 8*s**2 + 5*s + 7. Let y be j(-9). Suppose 4*z - 180 = u + y, 226 = 4*z - 2*u. Is z prime?
False
Let s(d) = -12 + 3*d + 3*d - 8*d. Let v be s(9). Let p = v + 64. Is p a composite number?
True
Suppose 44 = 2*z - 46. Let q be 6/21 + 4/(-14). Suppose 5*r = -c + z, 5*c - c - 4*r - 228 = q. Is c composite?
True
Suppose -p + c - 8 = 0, 0*p - 3*p = c + 4. Let i = 56 + p. Is i composite?
False
Let v(f) = -f**3 + 7*f**2 + 2*f + 7. Let x = 2 + 13. Let i = x - 9. Is v(i) composite?
True
Suppose -11*g + 3*g = -25016. Is g a composite number?
True
Suppose c + 3*c - 12 = 0, 3*c = -3*b + 240. Is b prime?
False
Let f = 4 - 2. Suppose 0 = 4*c - f*c - 2*i - 36, 5*i - 94 = -3*c. Is c a composite number?
False
Let y be 5/(3/(3 + 0)). Suppose 3*f + 2*a = -1, -2*f - 2*a = -y*a - 21. Suppose f*i - 861 = 5*o, i = -2*o - o + 287. Is i a composite number?
True
Let l(j) = -j**2 - 23*j + 7. Is l(-11) composite?
False
Let i(c) = c - 4. Let w = 9 + -5. Let d be i(w). Let m = 3 - d. Is m a prime number?
True
Suppose -8 - 8 = -4*b. Suppose -b*y + 1605 = 545. Is y prime?
False
Suppose 2*o - 5*a + 13 = 0, 2*a - 22 = -2*o - 0*a. Suppose n - 3*n = 4*q - o, -n = q. Is 56 + n + (-2)/(-1) a composite number?
True
Suppose 0*x - 4*x = 3*r - 2025, 1370 = 2*r - 4*x. Let o = r - 480. Is o a prime number?
True
Is ((-10)/15)/((-4)/1986) composite?
False
Let d(o) be the third derivative of o**5/15 + o**3/6 - o**2. Let a be d(1). Let v(g) = 3*g**2 - 5*g - 3. Is v(a) a composite number?
False
Let a(m) = 213*m + 2. Suppose -5*x + 4*g = -17, 0 = -5*x - 0*x - 3*g - 4. Is a(x) a prime number?
False
Let m(w) = w**3 - 8*w**2 + w - 8. Let t be m(8). Suppose t = l - 50 + 1. Is l a prime number?
False
Let n(s) be the second derivative of -1/2*s**4 + 3*s + 0 - 3*s**2 - 1/3*s**3 - 1/20*s**5. Is n(-6) composite?
True
Let r(z) = z**2 + 2*z + 3. Let v(f) = 3*f + 3. Let c(j) = 4*r(j) - 3*v(j). Suppose 4*l - 2*k - k + 28 = 0, -36 = 4*l - 5*k. Is c(l) prime?
True
Suppose -8*r - 359 = -2*i - 3*r, -r = i - 190. Is i prime?
False
Let i be 4/(-8) - 33/(-2). Suppose -2*k - 5*m + i = 0, -6 = 5*m + 4. Is k a composite number?
False
Let d = 2 - -3. Suppose -381 = -d*l + 2*l. Is l a prime number?
True
Suppose 2*z - 3 = -3*v - 5, -2*z + 4 = 0. Is 34/5*(7 + v) composite?
True
Suppose z - 3 = -0*z. Suppose z*u - 14 = -2*d, d - 14 = -3*u - 2*u. Suppose u*p + 0 - 90 = -4*q, 2*p = 5*q + 54. Is p prime?
True
Is 263 - (0/(-4))/4 a prime number?
True
Is (1 + 708/9)*3 a composite number?
False
Let g(c) = 2*c**3 + 4*c**2 + 22*c - 7. Is g(6) a composite number?
False
Let a(l) = -l**3 - 5*l**2 - 5*l - 1. Let g be a(-4). Suppose -u = g*u - 220. Is u a prime number?
False
Suppose 2*p = -109 + 273. Is p a prime number?
False
Let c = 9 - 2. Suppose -c*t + 1115 = -2*t. Is t composite?
False
Is 141/(1 + -2 + 2) a prime number?
False
Suppose -5*f - 2*t - 606 = 0, 2*t + 2*t = -f - 114. Let v = -33 - f. Is v a prime number?
True
Suppose 0 = -33*r + 29*r + 10628. Is r a prime number?
True
Let z(d) = -40*d + 3. Let n be 6/(-21) - 33/7. Is z(n) prime?
False
Suppose 3*y = 2*q - 502, 5*q + y - 1269 = 5*y. Is q a composite number?
False
Let a be -3 - 6/(-3) - -2. Let s = 2 + a. Is s composite?
False
Let g be 10/(-4)*36/(-30). Let o(y) = 3*y**3 - 4*y**2 + y - 2. Is o(g) a prime number