 Is (j/(-6))/((-4)/12) a composite number?
False
Let k(m) = -m**3 - 4*m**2 + 6*m + 5. Let l be k(-5). Suppose l = -4*b - 74 + 222. Is b prime?
True
Let n = -4 - -4. Suppose n*c + 5*c = -15, -r = -5*c - 20. Suppose 2*x = -r*l + 62, 4*x = -0*x + 3*l + 124. Is x a composite number?
False
Suppose 0 = -2*y + p + 902, -4*y + 2189 - 381 = -3*p. Is y composite?
False
Let q = -6 + 3. Is (-427)/(-3) + (-2)/q a composite number?
True
Suppose -6*v - 15 = -3*v. Let y(k) = 2*k**2 + 3*k - 2. Let x be y(v). Let b = x - -2. Is b composite?
True
Let i(a) = 33*a**2 + 23*a + 25. Let t(j) = -16*j**2 - 12*j - 13. Let v(p) = 6*i(p) + 11*t(p). Is v(5) prime?
True
Let w be 3/2 + (-39)/(-6). Let y(o) = 20*o - 15. Is y(w) a prime number?
False
Let r be 104/28 - (-2)/7. Suppose 4*d - 4 = r. Suppose -186 = -5*c - d*x, -x + 2*x = 4*c - 154. Is c composite?
True
Is 107/1 + 25/(-25) composite?
True
Let q be 265*((-20)/2)/(-2). Let f = q + -928. Is f a prime number?
True
Let l(v) = v**3 - v**2 - v + 44. Let b be l(0). Suppose 5*f + 3*n - 230 = 0, f - 2*n + 3*n - b = 0. Is f a composite number?
True
Let w = 12 + -10. Is w/(-1) - 0 - -111 composite?
False
Let k(m) = -3*m**3 - m**2 - 2*m. Let i be k(-2). Is ((-194)/4)/((-12)/i) composite?
False
Suppose 12 - 84 = -4*q + 2*f, 2*q + 5*f - 60 = 0. Is (148/q)/((-1)/(-5)) a composite number?
False
Suppose 5*s - 6 = 14. Let t be (-4 + (-13)/(-4))*-8. Suppose -3*n + 159 = s*r, -4*r = -2*r - t. Is n composite?
True
Let o = 19 - -15. Is o prime?
False
Let a(g) = -14*g + 7. Let m(h) = h. Let s(j) = a(j) - 2*m(j). Is s(-7) a prime number?
False
Suppose -9*d = -11*d + 1814. Is d prime?
True
Suppose -3*p + p + 4 = -4*k, -4*p = 5*k + 31. Let l be (-7)/3 - k/9. Let j = l + 8. Is j a prime number?
False
Suppose -2*p + 2 = k + 5, 0 = 3*k - 3*p + 45. Let t = 8 - k. Is t composite?
False
Is (226/(-4))/((-1)/4) a prime number?
False
Let y(j) = j**2 - 5*j + 6. Let o be y(6). Is 4/o*1341/3 prime?
True
Suppose -2*s + 3*j = -94 - 14, 5*s = -j + 270. Let d = 181 - s. Is d a composite number?
False
Let k = 1498 - 825. Is k composite?
False
Suppose -11*q = -6*q - 1895. Is q a composite number?
False
Suppose -2*q - 50 = 3*q. Let b = 33 - q. Is b a prime number?
True
Suppose 0 = 5*m + 4*l - 8*l - 2943, -l = m - 585. Is m composite?
False
Suppose i + 152 = -i - 3*c, 152 = -2*i - 5*c. Let y = i + 203. Is y composite?
False
Let x(z) = z**2 - 2*z - 2. Let q be ((-12)/10)/(10/(-25)). Let g be x(q). Is (1 + g)/((-4)/(-106)) a prime number?
True
Suppose -44*z - 4404 = -48*z. Is z prime?
False
Let w(n) = n**3 + 3*n**2 - 5*n - 6. Let v be w(-4). Suppose 2*o - 403 = -11*o. Is (-2 + v)*o/(-4) composite?
False
Let j(s) = -s - 7. Let i be j(-12). Suppose 2*f - n - 129 = 127, -i*n = -f + 137. Is f prime?
True
Let q(f) = 2*f**3 - 10*f**2 + 16*f - 15. Is q(7) a prime number?
True
Let g = 84 - -73. Is g a prime number?
True
Suppose 2*a + 7 + 1 = 0. Let s be (a/(-4))/((-2)/(-54)). Suppose 66 + s = 3*g. Is g a composite number?
False
Suppose -624 = 6*z - 10*z. Let h = z - 41. Is h a prime number?
False
Is 11907/168 + (-1)/(-8) a composite number?
False
Let z(w) = 10*w**2 - 13*w + 9. Suppose 0 = -4*c + 29 - 1. Let u(k) = -7*k**2 + 9*k - 6. Let r(t) = c*u(t) + 5*z(t). Is r(4) a composite number?
False
Is -1 + 276 + 3/(-8 - -5) a prime number?
False
Suppose -r = -6*r + 4445. Is r composite?
True
Let u = -18 - -167. Is u composite?
False
Let d = 1070 + -393. Is d composite?
False
Suppose 7*f - 210 = 2*f. Suppose -n - 2*n + f = 0. Is n prime?
False
Let a = 17 + -13. Is ((-273)/9 - a)*-3 prime?
True
Let f(t) = -t**3 - 4*t**2 + 6*t + 5. Let v(m) = 5*m**2 - 7*m - 5. Let q(c) = 3*f(c) + 2*v(c). Is q(-4) prime?
True
Let i(q) = 25*q**3 - 2*q + 3. Is i(2) composite?
False
Let y(k) = 2*k**2 + 8*k + 11. Is y(10) a prime number?
False
Suppose w - 4*p = 715, 4*w - 963 - 1837 = 4*p. Is w a prime number?
False
Let q = -202 + 333. Is q prime?
True
Let z be (0 - 1) + 0 + -1. Suppose -5*h + 9 = 4*k, -h = 3*k - 0*h - 15. Is 3/(z/(-88)*k) a composite number?
True
Let v(j) = 9*j**2 - 8*j + 14. Let q(t) = 4*t**2 - 4*t + 7. Let f(n) = 7*q(n) - 3*v(n). Is f(6) prime?
True
Let r(f) = -2*f - 6. Let a be r(-5). Let y = 19 - 17. Is (1 + a)/(y/14) a composite number?
True
Let u(t) = 3*t**2 - 10*t - 19. Is u(-18) prime?
False
Suppose -3*j + 10 = -j. Suppose 4*u + 0*u - 286 = 5*t, -j*t + 266 = 4*u. Is u a composite number?
True
Let q = 277 + -168. Let k = q + -72. Is k prime?
True
Let r be (-2 - -3)*3 + 227. Is 2*(r/(-4))/(-5) composite?
False
Is 16364/10 - 36/(-60) prime?
True
Suppose 9 = 5*x + 264. Let y = 102 + x. Is y prime?
False
Let u(n) = -25*n - 6. Let f be u(-7). Suppose 2*s + 3 = f. Is s composite?
False
Suppose -244 - 509 = -3*p. Is p composite?
False
Let f = 171 + -58. Suppose -o + 78 = -f. Is o prime?
True
Suppose -4*z + 4*i = 1645 + 495, i = -2*z - 1064. Let u = -286 - z. Suppose 4*k - 694 + 155 = 5*m, -u = -2*k - 5*m. Is k a composite number?
False
Suppose -136 = 4*j - 8*j. Let n = 17 + -37. Let m = j + n. Is m a composite number?
True
Suppose -4*a - 205 = -h, 3*a - 2*a = 3*h - 604. Is h a composite number?
True
Let g be (-6)/(-3) - 3 - 3. Let c = g + 11. Is c composite?
False
Let q(h) = -h**3 + 5*h**2 + 7*h + 2. Suppose 0 = -4*r + 5*c - 33, 5*c = 2*r - r + 27. Let s(w) = -2*w + 1. Let l be s(r). Is q(l) a composite number?
False
Let n = 8 + -10. Let x(l) = -6*l**3 + l**2 - l + 1. Is x(n) prime?
False
Let l be 9*(2 - 480/(-9)). Suppose v - 5*v + l = 5*s, 0 = -3*v + s + 383. Is v prime?
True
Is (-1)/(9888/3297 + -3) a composite number?
True
Is (-4)/(-5) + 18124/20 prime?
True
Let b be (-1 + 2)*(7 + -7). Let n(o) = -o**2 + o + 37. Let a(g) = -g**2 + g. Let y(l) = -2*a(l) + n(l). Is y(b) a composite number?
False
Let p(b) = b. Let s be p(4). Suppose 0 = -d + 4*f - 0 - s, 5*d - 28 = -4*f. Suppose -d*k + 2*k + 12 = 0. Is k prime?
False
Let l be (-666)/(-33) - (-4)/(-22). Suppose 0 = -11*h + 6*h + l. Suppose 0 = 3*w - h*w + 33. Is w a composite number?
True
Let k(g) = 4 - 2 + 3*g**3 - 2*g**2 - 1. Let s be k(1). Suppose -4*r = 4*p + 15 - 75, 2*p - 30 = s*r. Is p a prime number?
False
Let y = 4 - -3. Is y composite?
False
Let t = -116 + 237. Is t a composite number?
True
Let c(f) = 3*f + 0*f + 0*f**3 - 5*f + 5*f**3. Let v be c(-4). Let b = v - -523. Is b composite?
False
Suppose -1012 = -18*t + 14*t. Is t prime?
False
Let h(v) = -v**3 + 7*v**2 + 10*v - 9. Let c be h(8). Let r(q) = 7*q + 4. Is r(c) a prime number?
True
Suppose 0 = -5*o + 5*j - 2*j + 7830, -2*j + 3116 = 2*o. Is o composite?
True
Let z be -2 + (-3)/3*3. Let x = z - -4. Is 7/(x/38*-2) a prime number?
False
Let q(o) = -o**3 + 5*o**2 + 2*o - 7. Let c be q(5). Suppose c*b - 4 = 2. Suppose -3*y = 3*m - 30, -m - 4*y - 25 = -b*m. Is m a composite number?
False
Let x = 192 + 43. Is x prime?
False
Let l = -151 - -62. Let b = l + 300. Is b composite?
False
Suppose 2*z - 1594 = -108. Is z composite?
False
Let x(w) = -w - 1. Let s be x(-4). Suppose -2*b + 105 = s*b. Is b composite?
True
Let c(d) = 225*d - 2. Is c(5) a prime number?
True
Let x be (-1 - 1*169)/(-1). Let f = -7 + 12. Suppose -f*u = -3*u - x. Is u a composite number?
True
Suppose -5*t + 194 + 2216 = 0. Let v = -259 + t. Is v a composite number?
False
Let x be 1/2*0 + 14. Suppose -2*u + x = -126. Suppose 4*t = -5*z - t + u, 4*z = t + 51. Is z composite?
False
Suppose 4*w = 2*k - 74, w - 5*k = -35 + 3. Let i = w - 99. Is 3/(-15) - i/5 prime?
True
Let g = -1 - -3. Let t = g - -19. Is t a composite number?
True
Let d(q) = q**2 + 6*q + 2. Let x be d(-6). Let v be 2*(-2 - -4)/x. Suppose 4*f = -v*b + 33 + 55, -3*b = 5*f - 109. Is f a composite number?
False
Let v(a) = 85*a - 21. Is v(6) prime?
False
Suppose -2*b - 327 = -3*b. Let l = -184 + b. Is l composite?
True
Suppose 0 = -2*n + n - 46. Let s = n + 135. Is s a prime number?
True
Suppose 2*l = 5 + 3. Suppose 0 = -4*p - 8, 0 = l*k - 4*p + 3*p - 366. Is k composite?
True
Let s be 2/(-4) + 762/12. Suppose -4*q + 397 = -s. Is q a composite number?
True
Let x(r) = 21*r - 7. Let j(s) = s**2 - 2*s. Let y be j(4). Is x(y) a prime number?
False
Suppose 5*j + 16 + 109 = y, 4*j - 318 = -3*y. Suppose 4*g - 74 = y. Is g a prime number?
False
Let v = 24 - 36. Let m be (1/2)/((-3)/v). Suppose h = 15 - m. Is h prime?
True
Let o(f) = -9*f - 17. Suppose -