 -u - 90 = -3*c. Is c composite?
True
Let x(h) = -h**3 - 14*h**2 - 7*h - 11. Is x(-15) composite?
True
Let x(y) = -y**3 + 6*y**2 - 7*y + 6. Suppose -3*r = 2*q - 17, r = -4*q + 4 + 5. Let i = r + -1. Is x(i) composite?
True
Let j = -73 + 158. Is j a composite number?
True
Suppose -2*s + 4*s + 24 = 0. Let u be 1*2*(-18)/s. Suppose x + 3*g - 69 = g, 320 = 4*x - u*g. Is x prime?
False
Suppose 0 = -0*b - b. Let v be b/6 + 2/(-1). Is v/(-2*(-2)/(-106)) a prime number?
True
Let p = 300 - -112. Suppose 0 = -5*a + p + 2338. Suppose -6*k - 3*j + a = -2*k, 3*k = 3*j + 423. Is k a composite number?
False
Let h = 31 + -28. Suppose -2*a + 1900 = 3*a. Suppose 2*b + 479 = 3*w, a = h*w + 2*b - 83. Is w a prime number?
True
Let w(y) = 1 + 2*y**2 + 16*y**3 + 12*y**3 - 3*y**2. Let m be w(1). Suppose -4*x + 3*a + 28 = -m, -x + 14 = -2*a. Is x a composite number?
True
Let q(j) = -j**2 - 2*j - 2. Let l(r) = r - 1. Let g be l(-5). Let v be q(g). Let m = 61 + v. Is m prime?
False
Let n(s) = 2*s**2 + 4. Suppose 6*r - 3*r = -12. Let y be n(r). Suppose j + 7 = 5*z - 7, j + 5*z = y. Is j a prime number?
True
Suppose 10 = 4*h - 10. Let c be -1334*((-4)/(-8) + -1). Suppose -h = -m, m - c + 11 = -3*j. Is j a composite number?
True
Let h be 0/(1 - (1 - 2)). Suppose 0 = -2*x - h*x + 166. Is x prime?
True
Let n = 188 + -39. Is n prime?
True
Let x = -8 - -12. Suppose x*b - 69 = -3*m, 5*m - 4*m - 3*b - 10 = 0. Is m composite?
False
Let z(w) = 7*w**3 + 12*w**2 + 15*w + 1. Let o(j) = -13*j**3 - 23*j**2 - 29*j - 2. Let t(k) = 6*o(k) + 11*z(k). Is t(-6) a prime number?
True
Suppose -5*f = -19 + 4. Let z(n) = 19*n**3 - 3*n**2 - n - 2. Is z(f) a prime number?
False
Let i(v) = 632*v**2 + 2*v + 1. Is i(-1) composite?
False
Let w(s) = s**2 + 6*s - 11. Let k be w(-8). Suppose 4*z - 3*d - 90 = 0, -d + 3 - k = 0. Let a = z - -1. Is a a composite number?
True
Let x(v) = 3*v**2 - 4*v + v + 2*v**2 - 6*v**2. Let y be x(-3). Suppose y = -s - 2 - 3, 0 = j + 3*s - 18. Is j composite?
True
Suppose 0 = d - 3*i - i + 7, -3 = -i. Suppose 5*l - 2*a - 20 = 3*a, d*l - 11 = 2*a. Is ((-249)/(-12))/(l/4) a composite number?
False
Let r(z) = z**2 - 2*z - 3. Let a be r(-6). Let i be 1*(2 + (-6)/(-3)). Is 865/a + i/(-18) prime?
True
Let w be (-1)/(-2)*(41 - 3). Suppose -3*g = s + g - w, -s + 4*g = -51. Is s composite?
True
Let w = -4685 + 7296. Is w composite?
True
Let v(z) = 15*z**3 - 3*z**2 - 7*z + 5. Let t be (-2)/(2/(-4)*1). Is v(t) a composite number?
True
Suppose -2*s - 3*c + 578 + 13 = 0, 929 = 3*s - 4*c. Is s prime?
False
Let p = 32 + 2. Is p a prime number?
False
Suppose -4*o + b - 3*b + 136 = 0, 95 = 3*o + 5*b. Is o a prime number?
False
Let g be 0 - 2 - (-6 + 4). Let s(v) = -v**2 + 6*v + 2. Let i be s(6). Is 6*(g - i/(-4)) composite?
False
Is (-4 - -2)*-26*(-284)/(-16) prime?
False
Let p(g) = 16*g - 6. Is p(7) prime?
False
Suppose 0*n + 2 = -n, 0 = 5*m - 4*n - 8. Suppose 2*o + 62 = 2*y - m*o, o + 167 = 5*y. Is y*3/(6/7) composite?
True
Suppose 11 = w + 29. Is 1/6 + (-843)/w a prime number?
True
Let v(h) = 2*h**2 + 3*h + 3. Let a be v(-3). Suppose 4*j - 4 = -5*c, 0 = j - c - c + a. Is (-240)/(-11) - j/22 prime?
False
Suppose 3*p + 7 + 4 = -2*t, -5*t = -p + 36. Let b(o) = 4*o**2 - 7*o + 8. Is b(t) a prime number?
False
Let x be 3*1/(3/31). Is (x/1)/(3 + -2) prime?
True
Suppose 2*n - 191 = 7. Suppose 91 + n = 5*y. Suppose -y = a - 3*a. Is a prime?
True
Let h be (-3 - -9)/(-3) + 2. Suppose -2*z + 7 + 17 = 5*f, 0 = 3*z + 5*f - 26. Suppose h = z*p - 0*p - 28. Is p a composite number?
True
Suppose 2*w + 5*x = 366, -4*w - 15 = 3*x - 733. Suppose 4*m - w + 18 = 0. Is (26/(-8))/((-2)/m) prime?
False
Let o = 191 - -336. Is o composite?
True
Let d = -3886 - -2083. Is 8/36 - d/27 composite?
False
Is ((-148)/(-6))/((-6)/(-171)) composite?
True
Let v = -235 + 572. Is v a composite number?
False
Let w(u) = -u**3 - 2*u**2 - 2*u. Let a be w(-2). Suppose a*m = 5*h + 12, 4*m = -0*h + h + 12. Let p = h - -31. Is p composite?
False
Suppose 150 = 3*a - 9. Is a a prime number?
True
Let q(a) = 48*a - 1. Let o(w) = -49*w. Let t(b) = 6*o(b) + 7*q(b). Let d be t(-5). Let j = d - -323. Is j a composite number?
True
Let y(n) = -2*n - 4. Let u be y(-2). Suppose u = g + 75 - 337. Is g a composite number?
True
Suppose -4*q + 3*r = -0*r + 3, 0 = q - r. Let n = 8 - 2. Let l = q + n. Is l prime?
True
Let s = -10 + 14. Is 11*((s - 3) + 4) prime?
False
Let c(d) = 7*d**3 - 3*d**2 + 4*d. Let v(n) = n**3 - n**2 + n. Let x(h) = c(h) - 6*v(h). Let o = 0 + -3. Is x(o) a composite number?
True
Let n = -20 - -47. Is (-8)/6*n/(-6) a prime number?
False
Suppose -2*y - 2*y - 71 = -5*m, 0 = -y + 1. Let r be (m/6 + -2)*2. Let j = r + 2. Is j a composite number?
False
Suppose -12 - 24 = -4*u. Suppose -8*c = -u*c + 291. Is c prime?
False
Let o = 4 - -2. Suppose 2*w = o, 5*w = -2*b + 189 - 56. Is b composite?
False
Let f(v) = v + 7. Let u be f(-5). Suppose -w - p = -10, -5*w + u*p + 3*p = -60. Is w composite?
False
Suppose 4*c = -g - c + 2, -18 = g + c. Let f be 1 - (-1 + g*1). Suppose s + 3*h - f = 0, 3*h + 2*h - 145 = -5*s. Is s composite?
False
Suppose 5*j + 3*p - 20 = 0, -4*j + 8 = p - 1. Let t be (1 - j - -3) + -82. Let n = 136 + t. Is n a prime number?
False
Let h(u) = -u + 13. Let q be h(8). Suppose -q = -r - 4*b, 0*r - 5*b = 3*r - 50. Is r a prime number?
False
Suppose -12 = -5*a + 2*a. Let j(o) = o**3 - 2*o**2 - 2*o - 1. Is j(a) composite?
False
Is (-5357)/(-55) - (-2)/(-5) prime?
True
Let j(a) = 401*a + 1. Let d be j(1). Suppose d = 5*o + 4*r, -4*o + 238 = -o + 4*r. Is o a composite number?
True
Let g(s) = -239*s + 1. Is g(-2) prime?
True
Suppose -5*c = i - 20, -4*i - 1 = -2*c + 7. Suppose 2*w = -5*k + 23, -w = 2*w - c*k. Suppose -5*p + w*y = -265, -2*p - y = p - 159. Is p prime?
True
Let x = -1545 + 2306. Is x composite?
False
Let f be (26/(-3))/((-4)/186). Let t = f - 172. Suppose -o - t = -4*o. Is o a composite number?
True
Let g(k) = 7274*k**2 + 5*k + 4. Is g(-1) composite?
True
Let x be (36/(-15))/(3/(-10)). Is 5625/36 - (-6)/x prime?
True
Let k be (-1 - -1)/(6 - 7). Is (k + 1)*(-558)/(-6) a composite number?
True
Is (0 - 1)/(2 - 1) - -260 prime?
False
Let o(i) be the second derivative of 37*i**3/6 - i**2 - 5*i. Is o(3) a composite number?
False
Let k be (1 - 1)/(-1) + 0. Suppose 102 = 3*n - k*n. Is (-1 + n)*(-2)/(-3) a composite number?
True
Let o(n) = 44*n**2 - 5*n - 4. Let d = 16 + -19. Is o(d) composite?
True
Let j(s) = -s**2 - 10*s - 2. Let z be j(-10). Is 190/z*6/(-10) composite?
True
Let n(l) = -4 - 188*l + 7 - 7 + 3. Let t be 1*(0 + (0 - 1)). Is n(t) a prime number?
False
Is 24/(-60) + 657/5 prime?
True
Let g(q) = q**3 + 4*q**2 - q - 1. Let p be g(-5). Let l = 46 + p. Is l composite?
True
Let l be (16/6 + 0)*48. Suppose 10*x - 5*x = 20. Suppose 45 = -5*s - 3*f + l, 2*s = -x*f + 22. Is s composite?
False
Suppose 28*s = 29*s - 1883. Is s a composite number?
True
Let p = 29 - -65. Is p a prime number?
False
Let i(l) = 10*l**2 + 16*l + 13. Is i(-10) composite?
False
Suppose 183 = -t + 2*t + 4*v, -12 = -3*v. Is t composite?
False
Suppose -5*z + 5 = 2*m, -2*z + 3*m = -6*z - 3. Suppose -5*s = -z*d - 3 + 21, 2*d + 2*s + 4 = 0. Is (-67)/1*d/(-1) prime?
True
Let w = 5 - -1. Suppose 3*m = m + w. Is m a composite number?
False
Let j = -195 + 41. Let c = -69 - j. Is c a composite number?
True
Let x = 7 - 5. Suppose 12 = 4*g, 6*g - 18 = p + x*g. Let c = p - -20. Is c a composite number?
True
Is (-22)/99 - -1*1426/18 a composite number?
False
Let w(i) = i**3 - 5*i**2 + 2*i + 2. Let m be w(3). Is ((-180)/8 + -1)*m a composite number?
True
Suppose -d - d = -5*k + 95, -3*d + 3*k = 138. Let v be 1/4 - d/(-20). Is (138/4)/((-1)/v) a prime number?
False
Let i = 47 - 34. Suppose -3*g = -i - 44. Is g a prime number?
True
Let w = -2 - -5. Suppose 218 = m - t, w*m + 2*t - 675 = -2*t. Is m a prime number?
False
Let i(m) = -m**3 + 8*m**2 - 8*m - 4. Let h be i(7). Let r = h - -138. Is r composite?
False
Let g be (-50)/(-5) + 2 + 0. Suppose f = 211 - g. Is f composite?
False
Suppose -46 - 54 = -5*n. Suppose -2*v + 518 = 2*k, -4*k = k + n. Is v prime?
True
Let f(q) = -16*q - 16. Let y(n) = 15*n + 16. Let g(p) = 4*f(p) + 5*y(p). Let s(m) = 16*m + 24. Let l(w) = 7*g(w) - 5*s(w). Is l(-11) prime?
False
Suppose 0 = 5*p - 15, w + 5*p - 690 = 160. Is w a prime 