
Let y(v) = 4*v + 1 + 1 + 1. Suppose 2*x + 3*x - 20 = 0. Is y(x) prime?
True
Let b be (10/(-4) - -1)*4. Let l be b/3 - (-5 - -1). Suppose s = -l*s + 18. Is s a prime number?
False
Suppose u - 2*v - 633 = 0, u - v - 602 = 35. Is u a composite number?
False
Let w = -70 - -127. Is w prime?
False
Let a(n) = 2*n**3 - 4*n**2 + 2*n + 1. Let s be a(2). Suppose 2*j = -r + 33, -5*r + s*j + 268 = 73. Is r prime?
True
Let o = 4 + -1. Suppose 2*k + o*k - 15 = 0. Is k composite?
False
Suppose 0 = -d + 1, 5*d = 2*f - 1785 + 616. Is f a prime number?
True
Let q(l) be the second derivative of -l**6/120 + l**5/15 + 7*l**4/24 + l**2 + 2*l. Let w(p) be the first derivative of q(p). Is w(5) a composite number?
True
Let d = 170 - -97. Suppose -142 = -2*q + 2*w, -4*q + 2*w = -9 - d. Is q a composite number?
False
Suppose 220 = 71*f - 67*f. Is f composite?
True
Suppose 98 = -3*i + 239. Is i a prime number?
True
Suppose -154 + 4612 = 6*j. Is j composite?
False
Suppose 20 = 2*a + 2*a. Suppose 0 = -5*c - 5*c + 1190. Suppose -c + 714 = a*r. Is r a composite number?
True
Suppose i + 636 = 5*i. Is i composite?
True
Let s(f) = -30*f + 6. Let r(j) = -1. Let c(p) = -5*r(p) - s(p). Is c(4) prime?
False
Let y = 0 + 1. Let k be 50 + (y + 1 - 0). Suppose z - k = -3*z. Is z composite?
False
Suppose 4*y = -3*h - y - 1, -3*h - 2*y = -5. Suppose h*o = -4*a + 746, 5*o - 1607 = -5*a - 357. Is o a prime number?
False
Let x(c) = 14*c - 2. Let v be x(-3). Let o be (-3)/(6/v) + 2. Suppose -2*i + 25 = 3*l, -3*l + 5 = 4*i - o. Is l composite?
False
Suppose -6*i - 2*w + 599 = -i, 4*w = i - 133. Is i a prime number?
False
Let l(s) = 43*s - 5. Let h be l(9). Suppose -376 = -2*k + h. Is k a composite number?
False
Let q = -378 - -247. Let x = 310 + q. Suppose -x = -4*n + 89. Is n a prime number?
True
Let o = 18 + -11. Is 56 - ((-16)/4 + o) a composite number?
False
Suppose -4 = -4*p + 144. Is p a composite number?
False
Suppose -q = -0*l - l - 5, 0 = 5*q + 4*l + 2. Let o = 1 + q. Is o/(3/37) - 0 a prime number?
True
Suppose 5*h = 5*p + 1010, 3*p + 2*h - 70 = -656. Let g = p + 347. Is g a prime number?
True
Suppose -o + 6 = 1. Suppose 0 = -o*x - 3*r - 0*r + 280, 3*r = -4*x + 227. Is x composite?
False
Suppose -3*v - 5*q - 4 = 0, -q + 14 = -5*v - 2*q. Let a be v*(-1)/(-2)*2. Is (115 - a) + (-3)/1 composite?
True
Suppose -r = 4*l - 14, 1 = -r + 3*l + 36. Is r prime?
False
Let q be -5*(1 - (-7)/(-5)). Suppose -6 = -2*l + q. Suppose -52 = -2*r + 2*g, 85 = 5*r + l*g - 0*g. Is r composite?
True
Let f(w) = -2*w - 6. Let x be f(-5). Suppose x*k + 33 = s + 96, 0 = -5*k + 5*s + 60. Suppose -3*v + 74 = k. Is v a composite number?
False
Let i = 2 + 5. Let r(n) = -n**3 + 10*n**2 + 16*n + 6. Is r(i) composite?
True
Let j be (36/15 + -2)*-20. Let c be (-3)/12 - 2/j. Suppose 0 = -5*y + 3*r + 145 - 39, 3*y - 3*r - 60 = c. Is y a prime number?
True
Let g = -385 + 659. Is g composite?
True
Suppose 0*c - 5*c + 5 = 0. Let a(z) = 128*z**2 - 2*z + 1. Is a(c) prime?
True
Let l = -16 - -49. Is l a prime number?
False
Suppose 4*k + 380 = -k. Let y = 96 + -137. Let s = y - k. Is s a prime number?
False
Suppose -3*k - 4*k = -7. Let y = -4 + 7. Is k/((-3)/y)*-53 prime?
True
Let f(w) = -w**2 + 10*w + 9. Let m be f(8). Let d = m - 4. Is d a prime number?
False
Let c(b) be the second derivative of 127*b**4/12 - b. Is c(-1) prime?
True
Suppose -2*u + 3 - 39 = 0. Is (u*8)/(-4) + -1 prime?
False
Suppose -13*d + 17*d = 1516. Is d a prime number?
True
Suppose 0 = 2*u - 3*u. Let q = 2 + u. Suppose 0 = 2*h + c - 6*c - 395, q*h = -2*c + 416. Is h a prime number?
False
Is 14/21 - 2719/(-3) composite?
False
Let j(u) = -u**2 + 8*u + 1. Let m be j(7). Suppose -4*s + 2 = k + m, 5*k = 2*s + 14. Suppose 124 = k*h - 5*l, -h - l = 4*l - 77. Is h composite?
False
Is (-6)/27 - 20823/(-27) prime?
False
Is (-6)/8 - 7475/(-52) prime?
False
Let z = -255 + 487. Suppose z = 3*p - 5. Is p prime?
True
Suppose 5497 = 4*r + 893. Is r prime?
True
Let a = 17 - -63. Let b = 2 + a. Is b prime?
False
Let a(k) = -49*k - 12. Is a(-5) composite?
False
Suppose 5*x + 0*x = -30. Let t = 28 - x. Is t composite?
True
Is (-5)/((-15)/12)*(-2231)/(-4) a prime number?
False
Is -7 + 804 + (-2)/(-1) composite?
True
Suppose -2 + 7 = f. Suppose -f*c = -c - 476. Is c composite?
True
Let f be 225/21 - 6/(-21). Suppose 0 = 4*c - 3*x + 9, 6*c + f = 2*c + x. Let w = c + 13. Is w a composite number?
True
Let z(p) = 18*p + 1. Is z(7) composite?
False
Suppose -2*m - 10 = 5*v, 0*m + 10 = -2*m. Suppose -5*z = -v*z - 1295. Is z prime?
False
Let i(n) = 4*n**2 - 4*n - 24. Let c(z) = 3*z**2 - 3*z - 23. Let p(a) = -3*c(a) + 2*i(a). Is p(0) composite?
True
Let x be (-13)/(-4) + 4/(-16). Suppose o - 2*p + 748 = x*o, 2*o - 750 = -4*p. Is o prime?
True
Let u = 123 + -73. Let d be u/6 - (-3)/(-9). Is (-132)/d*2/(-3) a composite number?
False
Let b = -23239 - -35094. Is b composite?
True
Suppose 4*h = -5*s + 2*h + 5269, 1070 = s - 5*h. Is s a prime number?
False
Let y = 48 - 22. Is y composite?
True
Is (75*3 - 2)/(0 - -1) a composite number?
False
Suppose 0 = -5*s - 4*g - 20, 4*s + 16 = -0*g + 3*g. Let i(q) = q**2 + 4*q + 2. Let m be i(s). Is (-5)/(-2) - (-1)/m prime?
True
Suppose 4*w - 5*w = -154. Suppose -3*r + r + w = 0. Is r a prime number?
False
Let p be -2*(15/6)/(-1). Suppose 3*b + 2 = 2*b, 0 = l + p*b + 20. Is (-534)/l + (-10)/25 a prime number?
True
Let k = -5 - -13. Suppose -3*u + k*u = c + 62, 4*c = 5*u - 53. Is u composite?
False
Is (4090/25)/(4/10) a composite number?
False
Suppose 4*b + 29 = v, -6*v + 3*v + 3 = 0. Is (-75)/(-7) - 2/b a composite number?
False
Suppose -5*c = 2*h + 8, -44 = -6*h + 2*h + 5*c. Suppose h*x - 331 = 5*x. Is x prime?
True
Let l(s) = -33*s**3 - s**2 - 2*s - 1. Suppose -2*b + 1 - 7 = 0. Let o = b + 2. Is l(o) a prime number?
False
Let o = 0 + 1. Suppose -s - o = -2*s. Suppose -s + 96 = 5*f. Is f a prime number?
True
Let k = 6 + -9. Let r(y) = 7*y**3 + 5*y**2 + 4*y. Let b be r(k). Let m = -29 - b. Is m a composite number?
False
Let d be (-6)/15 - 44/(-10). Suppose -d*f = -73 - 2091. Is f a composite number?
False
Let u = 1900 + -1286. Is u prime?
False
Let d(m) = -m**3 - 6*m**2 - 2*m - 6. Let v be d(-6). Let o(i) = 2*i**3 - 6*i**2 - 7*i + 4. Let u be o(v). Let r = -29 + u. Is r prime?
True
Let i(x) be the first derivative of x**4/4 + x**3/3 - 2*x**2 + 5*x + 4. Is i(4) prime?
False
Suppose -p + 187 = 2*r - 111, 2*r + 3*p = 298. Is r composite?
False
Suppose -3*y = -222 - 1035. Is y a prime number?
True
Let z(o) = -o**3 + 2*o**2 - 3*o - 1. Let r be 2 + -7 + 1 + 1. Is z(r) prime?
True
Suppose 5*z - 20 = -5. Suppose -z*r = -6*r + 99. Suppose 110 - r = k. Is k a prime number?
False
Suppose 2*h + 5*s = 197, -6*h - 3*s + 429 = -2*h. Is h composite?
True
Is 148/(-6)*(-240)/32 composite?
True
Suppose 0*y = 4*y + 44. Let j = y + 16. Suppose -m - 4*u = -249, -j*m + 445 = -2*u - 844. Is m a composite number?
False
Let a(g) = 247*g**3 - g**2 + 3*g - 2. Is a(1) a prime number?
False
Suppose 0 = -5*q + 36 - 16. Suppose -q*y = -26 - 146. Is y prime?
True
Suppose 0 = 15*r - 18*r + 6243. Is r composite?
False
Let f = 8 + -5. Is 2 + (f - 2 - -7) a composite number?
True
Suppose -4*j + 1045 = j. Suppose -4*h + j = -5*i, -2*i = 5*h - 7*i - 255. Is h prime?
False
Suppose 5*r + 4 = -16. Let b be (-50)/r + (-1)/2. Let v = b - 5. Is v a composite number?
False
Let v(h) be the second derivative of h**6/720 + h**5/24 + h**4/4 - h. Let q(n) be the third derivative of v(n). Is q(10) composite?
True
Let t be (-1)/((-3)/771 - 0). Suppose -4*g = -155 - t. Is g a composite number?
False
Suppose -5*w + c - 83 + 1623 = 0, 5*c + 639 = 2*w. Is w a prime number?
True
Let t(p) = -p + 18. Let o be t(15). Suppose 5*f = -4*w + 7*w - 339, o*w = -2*f + 339. Is w prime?
True
Suppose 4*i = -4*v, -i + 2*v - 5 = 7. Let d(u) = -3*u**2 - 4*u + 3. Let n(t) = 10*t**2 + 13*t - 10. Let g(s) = -7*d(s) - 2*n(s). Is g(i) prime?
True
Let z be (-2)/((-210)/(-106) + -2). Suppose 0 = -j + 3*j + 4*u - 94, 0 = 3*j - u - z. Is j a prime number?
True
Suppose 0 = -5*z + 4*z - 8490. Is 2/(-10) - z/75 a composite number?
False
Suppose 1230 = -4*j + 14*j. Is j composite?
True
Let g be 2 + 2/1 + -8. Let q(m) = -20*m - 5. Let y be q(g). Suppose 2*r - y = -r. Is r prime?
False
Suppose 6*a + f = 3*a + 560, -5*f - 753 = -4*a. Is