3*j = -2*i + o. Is i a composite number?
True
Suppose -6*h + h = -395. Is h a composite number?
False
Suppose -5*a = -9*a + 220. Is a a prime number?
False
Let r be 4/14 + (-220)/(-14). Let x = 71 - r. Is x prime?
False
Suppose -t - 4*t + 35 = 0. Let x = 1 - t. Is ((-285)/6)/(3/x) composite?
True
Let n be ((-2)/5)/((-2)/20). Suppose 2 = -n*c - 2*u, 3*c = 5*c + 5*u + 13. Let m(f) = 90*f**2 - 1. Is m(c) a composite number?
False
Let i be (26610/(-8))/5*-4. Suppose 0 = -3*u - 0*u + i. Is u prime?
True
Suppose 4*q + 4 = -2*r, 0*q - 2*r = -3*q + 4. Let n(h) = -h**2 - 4*h - 1. Let o be n(-4). Is o*(-141 + q + 0) a composite number?
True
Let m be -2*1/2*7. Let i(c) = c**3 + 8*c**2 + c + 4. Is i(m) prime?
False
Suppose -3*z + 3*y = -1149, 2*z - 746 - 4 = -2*y. Is z a prime number?
True
Suppose -705 + 26 = -2*a - p, -p + 1361 = 4*a. Is a composite?
True
Let r = 555 - 236. Is r prime?
False
Let f(p) = -p**3 + 4*p**2 + 8*p - 5. Let w be f(5). Suppose -4 - w = -2*h. Is h prime?
True
Let n(f) = -f**3 - f**2 + 3. Let v be n(0). Suppose 3*s = v*a - s - 189, -s - 198 = -3*a. Is a composite?
False
Let p(a) be the second derivative of -a**6/120 + 11*a**5/60 - a**4/24 + 2*a**3/3 + 3*a**2/2 + 2*a. Let w(n) be the first derivative of p(n). Is w(5) prime?
True
Suppose 572 = 3*r - 5*v, -r = -6*r - 2*v + 943. Let z = -108 + r. Is z - (-4)/(-3 - -1) composite?
False
Suppose 5*d = 665 - 50. Suppose f = 4*w - 95, 5*w - d + 23 = f. Let g = -8 - f. Is g prime?
True
Let c = -70 + 42. Let z = c - -97. Is z a prime number?
False
Suppose -k - n = 5 - 4, 3*k = 5*n + 29. Let q(v) be the third derivative of -v**6/120 + v**5/15 + 5*v**4/24 - v**3/3 - v**2. Is q(k) prime?
False
Suppose 13 = 3*q - 2*t - 4, -t + 11 = 5*q. Let f = 23 + -10. Is (q - 3) + 3*f composite?
True
Let z(q) = -2*q - 4. Let t be z(-3). Suppose 3*y - 107 = -2*d, 3*y = 7*y + 3*d - 144. Suppose -t*p - p = -y. Is p composite?
False
Suppose 62 = 2*x - 0. Let t be 96/(-10)*(-60)/4. Suppose -x = f - t. Is f a prime number?
True
Let z = 153 - 71. Is z a prime number?
False
Suppose 4*w + 5*x - 6 = 0, 0*w + 4*w - 2*x - 20 = 0. Is w/10 - 7966/(-10) composite?
False
Let w(v) be the first derivative of 99*v**2/2 + 4*v + 2. Is w(5) prime?
True
Let j be (-5)/15 + 2/6. Let p(k) = 77*k. Let h be p(3). Suppose j = -4*c + c + h. Is c a prime number?
False
Let u(s) = 5*s**2 - 4*s + 2. Let q = 4 + -1. Is u(q) a prime number?
False
Let x = -9 + 409. Is 14/(-63) - x/(-18) a prime number?
False
Let q = -273 - -476. Suppose 3*j - 82 = q. Is j composite?
True
Let j(n) be the first derivative of -9*n**4 - n**3/6 + 2*n**2 + 4. Let r(z) be the second derivative of j(z). Is r(-1) composite?
True
Let q = -441 + 748. Is q a composite number?
False
Let x(a) = -13*a**2 + 6*a - 4. Let v be x(4). Let w = -132 - v. Suppose 4*l = 4*f - w, 2*l = -6 - 2. Is f prime?
False
Let g(a) = -a**3 + 12*a**2 + 10*a + 22. Is g(11) prime?
False
Suppose 2*r - o - 1930 = 0, 2*o + 2*o = -2*r + 1940. Let v = r + -554. Suppose -m + 2*q - 409 = -6*m, -5*m - q = -v. Is m a composite number?
False
Suppose -5 - 1 = 3*s. Let g = 4 + s. Suppose -121 = -g*y - 47. Is y a prime number?
True
Suppose 4*f + 55 = 3. Suppose -4*a = 5*u + 35, u + 3*a = 4*a + 2. Let p = u - f. Is p prime?
False
Let h(i) = -i**2 - 146. Let j be h(0). Let u = j - -233. Is u composite?
True
Suppose 0 = -5*r - 5*z + 355, -3*r + 166 = 2*z - 48. Let a(d) = -d**3 + 7*d**2 - d + 2. Let m be a(5). Let q = m + r. Is q composite?
True
Let w(u) be the first derivative of -2*u**2 - 6*u + 4. Is w(-5) composite?
True
Suppose 5*m - 1676 = -b + 2*b, -m - 2*b = -333. Suppose -c - 72 = -m. Is c prime?
True
Is (7210/20)/(2/4) composite?
True
Let t(o) = 184*o - 3. Let d be t(2). Let s(b) = -8*b**2 - 9*b - 8. Let w be s(-6). Let q = w + d. Is q composite?
True
Suppose 3*l = -l, 5*f - 20 = 4*l. Suppose -f*i + 91 + 101 = 0. Let r = i + -29. Is r composite?
False
Let x(y) = 32*y + 1. Let a be x(1). Let z = a + 45. Suppose 5*d - 3*d - 4*u = z, 3*d + u = 110. Is d a composite number?
False
Suppose -9 = -4*j - 5*t + 5, j + t = 3. Is (3 - 2/j)*251 a prime number?
True
Suppose -4*r + 13 = 5*y, 2*r + y + 5 - 10 = 0. Is r/(-6)*135/(-3) prime?
False
Suppose 3*t = -4*u + 2925, 3*t + 2*u - u - 2916 = 0. Is t composite?
False
Suppose 60 = 4*c - 1040. Suppose c + 353 = 4*w. Is w prime?
True
Let f(h) = 130*h**2 - h - 2. Is f(3) a prime number?
False
Let l(o) = -3*o + 1. Let c be l(-1). Suppose 3 - 11 = -c*m, 0 = 2*i - 2*m - 166. Is i composite?
True
Let k be 16/10 + 6/15. Suppose -133 = -k*x - 5*l, -5*x + x - 4*l + 248 = 0. Is x prime?
True
Let a(m) = -5 + 4 + 447*m - 19*m. Is a(1) prime?
False
Let c be 1/(-4) - 221/(-4). Suppose -5*g + g - i = -c, g - 13 = -i. Is g a composite number?
True
Let g = -3619 - -5376. Is g composite?
True
Suppose 5*y - 4*j = 13, 0*y + 5*y + j = 28. Let a = y - 6. Let w(g) = -98*g - 1. Is w(a) a composite number?
False
Let q(l) = -l**3 - 10*l**2 - 8*l + 13. Let j(z) = 2*z**2 + 10*z + 8. Let x be j(-7). Let f = 26 - x. Is q(f) prime?
False
Suppose 5*g - 4*j = 485, 0 = 2*j - 2 + 12. Let i = g + -40. Is i prime?
True
Let d be (-1)/(2*3/(-666)). Suppose d = 6*u - 3*u. Is u a composite number?
False
Let p = 3 - -4. Suppose -4*i - 290 = -p*i - 2*g, 4*g = -3*i + 298. Is i a prime number?
False
Is 134*((-28)/(-8) - 2) a composite number?
True
Suppose 207 = 3*b + 2*f, -6*b + 338 = -b + f. Is b a composite number?
False
Let k(a) = -3 + 6 - 1 + 3 - 22*a. Is k(-7) a prime number?
False
Let z(k) = 2*k - 9. Let l be z(6). Suppose 0 = -4*a + l*x + 113, -3*a + 0*a + 71 = -5*x. Let y = 2 + a. Is y composite?
True
Let v = 2 + 35. Is v a composite number?
False
Suppose -635 = 2*f + 3*f. Let p = -42 - f. Is p a composite number?
True
Let m(d) = d**2 + 3*d + 3787. Is m(0) a composite number?
True
Let a(j) = -2*j**2 + 2*j + 5. Let k be a(5). Let t = k - -58. Is t prime?
True
Let i(l) = 299*l - 34. Is i(5) a composite number?
True
Let r(h) = 22*h + 1. Let z(s) = 3*s**2 - 1. Let y be z(-1). Suppose y = 2*o - 0. Is r(o) a composite number?
False
Let k(y) = -y + 3. Let l be k(5). Let p(o) be the first derivative of 19*o**3/3 - o**2/2 - o - 7. Is p(l) a prime number?
False
Suppose 5*m + 4 + 1 = 0. Let z be 6/21 - 187/(-7). Let d = z + m. Is d composite?
True
Suppose 4*y + 8 = -5*x - 10, 4 = 3*y - 5*x. Is (955/(-20))/(y/8) composite?
False
Let v(w) = -w**2 + 4*w + 5. Suppose -3*m + 20 = 2*m. Let r be v(m). Suppose -r = 4*y - 33. Is y a prime number?
True
Suppose -4*r = -r + 111. Let b = r - -17. Let g = b - -66. Is g prime?
False
Suppose 10*j - 1818 = 4052. Is j composite?
False
Is (-87436)/(-36) - 4/(-18) a composite number?
True
Let i = -4 - -4. Suppose 5*o = -i*r + 3*r + 2050, 0 = -o + 2*r + 417. Is o a composite number?
True
Let k(i) = 3*i**2 - 9*i + 43. Is k(6) composite?
False
Let o = 76 - 52. Is (-804)/o*1*-2 composite?
False
Is (4/8)/(1/614) a prime number?
True
Is ((1977/6)/1)/((-1)/(-6)) composite?
True
Suppose 52*t = 56*t - 4168. Is t a prime number?
False
Let y(j) = -j - 1. Let c(v) = -3*v - 10. Let m(g) = c(g) - 6*y(g). Is m(6) a prime number?
False
Is (48 + -9)/((-3)/(-2)) prime?
False
Is 6*(-10)/15 + 35 composite?
False
Let q(a) = 587*a**3. Is q(1) prime?
True
Let u(q) = q**2 - q - 4. Let h be u(3). Suppose -195 = -5*l + h*l. Is l a composite number?
True
Suppose -2 = 2*k - 2*m, -k = -0*m + m - 7. Suppose k - 6 = 3*r. Is 15 + 4 - (r - -1) a composite number?
False
Suppose 2*c - 6 = -0*c. Suppose -2*y = u - 75, 3*y - 5*u = -c*u + 109. Is y a composite number?
False
Let y be (4/(-6))/(6/(-27)). Is 94/1 - y/1 a prime number?
False
Suppose -4*h = 8, -3*b + 2*b - 2*h - 8 = 0. Let s(f) be the third derivative of -f**4/4 - f**3/6 + f**2. Is s(b) a prime number?
True
Let g be (3 - 4)*1*-11. Is (0 - g)/(14/(-434)) prime?
False
Let o be 12/(-9) + (-8)/12. Is 105 + (1 - -3)/o a prime number?
True
Let f = 87 + 2. Is f prime?
True
Let y(i) = -i**3 - 3*i**2 + i + 4. Suppose 2*t + 3 = -1. Let p(g) = -3*g**3 - 8*g**2 + 4*g + 12. Let q(v) = t*p(v) + 7*y(v). Is q(-5) a composite number?
True
Let p = -3 - 0. Is 3/(p/3) + 272 a composite number?
False
Let a(z) = -z**2 - z - 2. Let v be a(-2). Let u(i) = i + 2. Let l be u(v). Is (-1)/(4/62)*l a composite number?
False
Let f = 4 - 0. Suppose f*t = 20, t - 10 = -2*j - 1. Is 1*((-135)/(-3)