Let o be 6/5*30/(-9). Is ((-3)/o)/(2/40) composite?
True
Let l(w) = -5 + 0 + 43*w + w. Is l(2) prime?
True
Suppose s - 5276 = -5*m, 2*s = 4*m + 150 - 4368. Is m prime?
False
Suppose 3*n = 2*f - 6*f + 4217, -2*f = -2*n + 2788. Is n a prime number?
True
Let y = 335 - 162. Suppose 2*g = 4, 4*g - y = -c - 2*c. Suppose -c = -3*o + 98. Is o prime?
False
Suppose 0 = -4*o + 2*l + 2*l + 36, 0 = 4*l + 12. Let v(a) = 66*a - 17. Is v(o) prime?
True
Let w(x) = -x**2 + x + 1847. Is w(0) composite?
False
Let u be 2/(1 + 54/(-57)). Let t = 91 - u. Is t a composite number?
False
Suppose -6*s = -7*s + 2633. Is s a composite number?
False
Is (-16008)/(-72) - (-8)/(-6) a composite number?
True
Suppose -3*o + o = 146. Let q = o + 186. Is q composite?
False
Suppose h - 5 = -14. Let k = h + 12. Suppose w - 53 = -4*a, k*a + 106 = w + w. Is w composite?
False
Let a(l) = l**3 - l**2 + 1. Let v(x) = -5*x**3 + 12*x**2 + 4*x - 7. Let o(b) = -6*a(b) - v(b). Is o(-6) a composite number?
True
Let c(j) = -j - 4. Let u be c(-4). Suppose -2*l + 32 = x - u*l, x - l - 17 = 0. Is x a prime number?
False
Let u(g) = 24*g**2. Let r be u(-1). Let l be (22/6 - 3)*r. Suppose q - l = 19. Is q a prime number?
False
Let u(b) be the second derivative of -b**5/20 - 2*b**4/3 - 11*b**3/6 - 11*b**2/2 + 4*b. Is u(-8) a prime number?
False
Suppose 0 = -4*s + 9*s + 15. Let k = s - -3. Suppose 5*u - 5*q - 115 = 0, k = 5*q - 10 - 0. Is u prime?
False
Suppose 4*a - 2*c = -14, 19 = -0*a - 4*a + c. Is (1 - 27)/(a/21) a prime number?
False
Suppose 3*b - 2 + 5 = 0. Let j(r) = -87*r**2 + 1. Let d be j(b). Let p = d - -145. Is p prime?
True
Suppose 0*w - 2*w = 0. Suppose 2*l + 4*x - 248 + 34 = 0, l + 5*x - 95 = w. Is l prime?
False
Suppose 2*y - 147 = 167. Is y a prime number?
True
Suppose p + p - 12 = 0. Let w = p - 4. Is (-2)/6*-3*w prime?
True
Suppose -3*i - 2*g + 3 = -4, 5*i - 45 = 5*g. Let t = i - -44. Is t a prime number?
False
Suppose 4*f = -4*b + 64, -2*f + 36 = -f - 3*b. Is f a prime number?
False
Suppose -l + 14 = 3*z + l, -l = -2*z. Let j(x) = 4*x - 7*x + z - 4*x. Is j(-5) prime?
True
Let b = 103 + -110. Let s = -7 - -35. Let a = s + b. Is a a composite number?
True
Let w(j) = 8*j + 5. Is w(9) a prime number?
False
Let m be 20/5 + (-3 - -2). Suppose 4*o - n = 1032, -m*n - 2*n = -5*o + 1305. Is o a prime number?
True
Let m(i) = -26*i**3 - 2*i**2 - 3*i - 1. Let a(o) = o - 1. Let v be a(-1). Is m(v) composite?
True
Let m(x) = -x**2 + 2*x - 2. Let y be m(7). Let c be (-2)/(-2)*58*2. Let v = y + c. Is v prime?
True
Let p(b) = -b**3 + 5*b**2 - 4*b + 4. Let k be p(4). Suppose -20 = n + k*n, -c + 25 = -5*n. Let y(f) = f**3 - 2*f**2 + 2. Is y(c) a prime number?
False
Let f(t) = 3*t + t**3 - t - 4*t**2 + t - 5 - 6*t. Let b be f(5). Suppose -3*m - s - s = -185, b*s - 40 = -m. Is m composite?
True
Suppose -14*o + 17*o - 108 = 0. Let g = 115 - o. Is g a prime number?
True
Let g = 14 - 10. Suppose 4*x = 3*x - g*i + 2, -4 = -x - 3*i. Let j = x - -1. Is j prime?
True
Suppose 0*z = 2*r - 2*z - 6, 2*r = 3*z + 9. Let l(w) be the second derivative of -w**4/12 - w**3/6 + 9*w**2/2 + 2*w. Is l(r) a composite number?
True
Is ((-6826)/8*-2)/((-3)/(-6)) prime?
True
Is ((-4)/16*53)/(1/(-92)) composite?
True
Let i be (1 + -3 + 0)*-2. Suppose 4*h = -3*u + 613, -5*h - 571 = -i*u + 236. Is u a composite number?
True
Let f = -948 + 2353. Is f composite?
True
Let q = -9 - -9. Suppose -5*m + 305 + 250 = q. Is m composite?
True
Let a(g) = -g**3 - 4*g**2 - 4*g + 1. Let m be a(-3). Let d = -7 - -9. Let j = m + d. Is j prime?
False
Suppose 0 = 5*j + g - 17, -3*j + 2*g = -0 - 5. Let l(t) = j*t - 5 + 6*t - 1 + 2. Is l(7) composite?
False
Let c(v) = -19*v**2 + 11 + 11*v**2 + 7*v**2 + 15*v. Is c(8) prime?
True
Let k(v) = 4*v**2 + 9*v + 10. Suppose 2*w - 35 = 7*w. Is k(w) prime?
False
Let v be 38 - -1*(-1 - 0). Let o be ((-4)/6)/(4/36). Let w = o + v. Is w a prime number?
True
Suppose 7*r - 4159 + 876 = 0. Is r composite?
True
Let w(s) = -5*s - 7. Let q(r) = -r. Let t(g) = q(g) + w(g). Is t(-11) prime?
True
Let d(n) = 4*n**2 + 75*n + 55. Let s(p) = -3*p**2 - 50*p - 37. Let i(y) = 5*d(y) + 7*s(y). Let x be i(12). Suppose -2*q = -126 - x. Is q a composite number?
False
Let t(y) = y + 27. Let w be t(-12). Suppose -3*p - w = 0, 3*p - 270 = n - 4*n. Is n a composite number?
True
Let j(l) = l**3 + 6*l**2 + 4*l + 8. Let n be j(-7). Let v(q) = q**2 + 4*q + 6. Let z be v(-4). Is (n/z)/((-1)/10) a composite number?
True
Let y = -174 - -292. Is y*2*3/12 a prime number?
True
Suppose -u = -4*c + 13, 2*u - 11 = -4*c + u. Suppose 5*l - 61 = -2*o, -9 = c*o - 3. Is l composite?
False
Suppose 7572 = -0*o + 12*o. Is o composite?
False
Let h(r) be the third derivative of r**5/60 + r**4/24 - 5*r**3/6 + 3*r**2. Is h(14) composite?
True
Let f(g) = 3 + 26*g - 37*g - 29*g. Is f(-5) a composite number?
True
Suppose -4*f + 232 = 28. Is f prime?
False
Let v(y) = y - 11. Let k be v(8). Let w(g) be the second derivative of -14*g**3/3 - g**2/2 - g. Is w(k) prime?
True
Let c(g) = -23*g**3 - g**2 + g - 1. Let i be c(1). Let f = i - -4. Is 3*(f/(-6))/1 a composite number?
True
Suppose 2*j + 0*j = 14. Let i = 13 - j. Is i prime?
False
Suppose 0 = -0*g - g + 15. Is g a composite number?
True
Let c(t) = t**3 + 5*t**2 + 3*t - 1. Let k be c(-4). Suppose -k*s + 193 = 2*l, 0 = s - 2*l - 76 + 1. Is s composite?
False
Suppose -12*c = -3*c - 18531. Is c a prime number?
False
Let u = -14 - -9. Is ((-38)/6)/(u/165) a composite number?
True
Suppose 0 = -4*j + 3*b + 1048, b = 2*b + 4. Is j composite?
True
Let r(j) be the second derivative of j**3/3 - 7*j**2/2 + 5*j. Is r(9) a composite number?
False
Let d(u) be the third derivative of -13*u**5/60 + 23*u**4/24 + 2*u**3/3 + u**2. Let l(x) = 3*x**2 - 6*x - 1. Let k(y) = -2*d(y) - 9*l(y). Is k(6) prime?
True
Is (10848/90 + (-1)/5)*3 prime?
False
Let v be (-44)/(-12) + 4/(-6). Suppose 4*a - 5*s - 1304 = a, v*a = 3*s + 1314. Suppose 425 = 3*m - 5*i, 0*m = -3*m - 4*i + a. Is m a prime number?
False
Let y(u) be the third derivative of u**5/12 + u**4/6 + u**3/3 - 3*u**2. Let f be y(5). Let j = f - 80. Is j a prime number?
True
Let u(q) = 37*q. Is u(5) a prime number?
False
Suppose -9*i + 4*i = -545. Is i a prime number?
True
Let x(m) = 9*m. Let u be x(2). Suppose 5*g = 3 - u. Let p = 16 + g. Is p a prime number?
True
Let p = -47 - -84. Is p a prime number?
True
Let y(o) = -1 - o**2 + 4 - o**3 + 1 + 0. Let p be y(0). Suppose -167 + 475 = p*d. Is d a composite number?
True
Suppose 15 = 5*k - 0*k. Suppose 2*i + k*i = 525. Let n = -48 + i. Is n prime?
False
Suppose 18*n = 21*n - 1341. Is n prime?
False
Let j = 33263 - 18982. Is j a composite number?
False
Let b(h) = -h**3 + 9*h**2 - 8*h + 5. Suppose 0 = -5*c - 4*n + 87, -5*c - 3*n = -6*n - 66. Let d = -10 + c. Is b(d) a prime number?
False
Let s(f) be the first derivative of 6*f**2 + 7*f + 5. Is s(5) prime?
True
Suppose -2*a = q - 97, -2*a = -2*q + 121 + 67. Is q a composite number?
True
Let t = -7 + 45. Let q = t + -19. Is q a composite number?
False
Suppose 2*o + 378 = 4*o. Suppose -d + 4*d = o. Suppose 2*h = d + 15. Is h a prime number?
False
Suppose 5*r + 4*s = 130, -r + 0*r = -5*s + 3. Let v = 15 + r. Is v a composite number?
False
Suppose 3*d - 8*d = 0. Suppose -i + d*l = -2*l, 4*i - 16 = 4*l. Is 2/i - 147/(-4) composite?
False
Suppose -10*i + 5285 - 1355 = 0. Is i prime?
False
Let w(m) = 481*m - 2. Is w(1) prime?
True
Let u(t) = -2*t + 2923. Is u(0) a composite number?
True
Let a(x) = 42*x**2 + 11*x + 4. Is a(5) a composite number?
False
Let k be (8/12)/((-6)/(-9)). Suppose 0 = 3*q - 2*q + 3*u + 2, -q - 2*u = -k. Suppose 2*p - 15 = q*p, 0 = -5*i + 4*p + 422. Is i prime?
False
Let t be 20/(-6)*5/(25/15). Suppose -5*c + 3*l - 437 = l, 3*l - 3 = 0. Let w = t - c. Is w a composite number?
True
Let q(d) be the third derivative of -d**5/60 + d**4/6 - d**2. Let o be q(4). Suppose 45 = 3*l - o*l. Is l prime?
False
Let k = -6 + 102. Suppose 3*g = 69 + k. Is g prime?
False
Let r(x) = -8*x. Let u(j) = -15*j - 1. Let z(p) = 5*r(p) - 3*u(p). Is z(4) a prime number?
True
Let a be 12*2/4 + -3. Let z(o) = -o**2 - 3*o + 4. Let v be z(-3). Suppose -n + 10 = -a*h, 3 = h - v*h. Is n a composite number?
False
Let h = 15 - 64. Let b be 1/6 - h/(-6). Let d(m) = -4*m + 7. Is d(b) prime?
False
Let z be 27/18 -