 s(-10). Let a be t/27*3*159. Suppose 0 = 3*f - 2242 - a. Is f prime?
True
Let z = 454 + -238. Let x = -134 + z. Suppose g - 4*y = 107, 4*y - 3*y - x = -g. Is g a composite number?
True
Suppose -26*v = -24*v - 1096. Suppose -695 = -4*s + 5*z + v, -4*s + 1237 = -3*z. Is s a composite number?
False
Let i(k) = -7*k - 4. Suppose -4*c + 8 = 92. Is i(c) composite?
True
Suppose 0*a = 3*a + 5*m - 32, -3*m + 12 = 0. Suppose -849 - 271 = -2*b - 2*q, 0 = a*b - 2*q - 2258. Is b prime?
True
Is 323188/16 - (-11)/(-44) a composite number?
True
Suppose 8*h - 13*h = -r + 40713, 5*r - 4*h - 203481 = 0. Is r composite?
False
Let z be (0 + -3)/(4 - 5). Suppose -z*y - 56 = -209. Let w = y + -20. Is w a composite number?
False
Let r(l) = -l**2 - 10*l - 17. Let k be r(-5). Is (-4)/k*(-1 - 973) composite?
False
Let m = -79 + 387. Suppose -3*g + 8 = g. Suppose l = -g*v + 311, 2*l - m = -v - v. Is v a prime number?
True
Let y(m) = 11*m**2 + 10*m + 17. Let w be y(-5). Suppose 5*r - 153 = w. Is r a prime number?
True
Is (1/(-2))/((-3)/270042) prime?
True
Let g be 8/(-4) + 47 + -4. Suppose 38*l - g*l + 489 = 0. Is l composite?
False
Let g(w) = 0 + 3 + w**2 + 1 - 5. Let i(j) = -2*j - 10. Let d be i(-7). Is g(d) a prime number?
False
Let m(t) = 78*t**3 + t**2 - 5*t + 2. Is m(3) a prime number?
False
Is ((-14705782)/(-18))/13 + 4/(-18) composite?
True
Is 6/(-10) - 1720872/(-270) a composite number?
False
Suppose w - 6174 = 3*r + 3322, -19032 = -2*w - 2*r. Is w a composite number?
False
Let d = -150 - -318. Let z(p) = -d*p + 1 + 1 - 3 - 1. Is z(-1) composite?
True
Let s = 118 + -83. Let r = 38 - s. Suppose b - 38 = -4*u, -u = -r*b - 2*b + 232. Is b a prime number?
False
Suppose 4*q + 3*j = -6, 5*q + 0*j - j - 2 = 0. Suppose -2*k = -4*s - 298, q*k = -k + 5*s + 137. Let l = 306 - k. Is l prime?
True
Suppose 3*f = 3, -4*r - 8*f = -9*f - 67. Let c(i) = 48*i - 7. Is c(r) composite?
False
Let l(c) = 15*c + 48. Let s be l(21). Let m = -184 + s. Is m a prime number?
True
Let w(f) = -f**2 + 10*f - 9. Let t be w(9). Suppose 6*d - 9*d + 5604 = t. Suppose -3*s = -4*p - 5*s + d, -1415 = -3*p + 2*s. Is p prime?
False
Suppose -340*j + 328*j + 1096188 = 0. Is j composite?
True
Is ((-3314)/3)/((-44)/12 + 3) a prime number?
True
Let v(t) = 2*t**2 - t + 4. Let j(n) = 3*n**2 - 2*n + 4. Let c(p) = 5*j(p) - 6*v(p). Let b(w) = w**2 + 19*w - 97. Let k be b(-23). Is c(k) a composite number?
True
Is (3/(-6))/(4 - 207414/51852) a composite number?
True
Let c(k) = k**3 + 8*k**2 - 2*k - 12. Let n be c(-8). Suppose -n*j - 1840 + 11876 = 0. Is j prime?
False
Suppose 3*h + 670 = 5*h - f, h = 2*f + 329. Is h a prime number?
True
Suppose -4*c - 3180 = -4*l, -2*c - 793 = 35*l - 36*l. Is l prime?
True
Let q be (-2)/5 - (-576)/240. Let n = 11 + -8. Suppose -i + q*r + 147 = 2*i, -156 = -n*i - r. Is i a composite number?
True
Let z(o) = -5 + 391*o**2 + 11 - 1 + 5*o. Is z(-2) prime?
True
Let c be (-54)/(-10) - 5 - (-346)/10. Suppose f - 15 = 2*i, 3*f - 3*i + c = 4*f. Is f a prime number?
True
Suppose -2*k + 2*h = 0, 2*k - 3 = 4*k - h. Let d(u) = -7*u**3 - u**2 - 2*u + 1. Is d(k) composite?
True
Let u(w) = w**2 + 6*w + 1. Let q be u(-6). Suppose 0 = -3*t + q + 8. Is 2 + 103 + (t - 2) prime?
False
Is (-12)/10*(-10)/3 + 8379 a composite number?
True
Let p be 8/6 + 12/18. Suppose -4*r = -8, p*c + 4*r - 5076 = 2*r. Is c/16*2*1 a prime number?
True
Let v be (9 + -11)*210/(-4). Let i be (v/20)/(1/(-56)). Let s = -179 - i. Is s a composite number?
True
Let g(d) = 4*d + 2. Let y be g(-2). Let w be (y/(-4))/((-6)/(-4)). Is w - (-8)/(-4)*-320 composite?
False
Suppose -21 = -2*y + 2*a - a, -5*y - 2*a + 57 = 0. Let s(f) = 0 - y*f + 4*f - 7 + 4. Is s(-7) prime?
False
Let w = 29018 + -11617. Is w composite?
False
Let o = 2 + 16. Suppose -4*f - d = 17, -o = f + 2*d + d. Is 2/6 + (-752)/f composite?
False
Let f = 2266 + 8893. Is f a prime number?
True
Let h(d) = -3066*d - 85. Is h(-7) a composite number?
False
Suppose 3*o - 4 - 8 = 0. Suppose -m = -3*q - 9, -5*m - 3*q = -o*q - 17. Suppose 0 = -m*b + r + 1245, -3*b = -3*r + 8*r - 1245. Is b composite?
True
Let h = 10724 - 6435. Is h composite?
False
Let w(a) = a**2 - 1. Let i be w(2). Suppose -i*x - 11 = -2*h + 21, 5*h - 75 = 5*x. Let k(m) = 30*m - 19. Is k(h) a composite number?
True
Suppose s = -4, 5 = -4*z + 5*s + 33. Let a(y) = 158*y**3 - 2*y - 1. Is a(z) prime?
True
Let w(o) = -o**2 - 8*o - 6. Let c be w(-6). Let u(a) = 2*a**2 - 8*a - 6. Let i be u(c). Is 400/i + 10/(-45) composite?
True
Suppose -4 = 2*g, 6*g - 10*g + 50636 = 4*y. Is y a composite number?
True
Let s(q) = 451*q - 455. Is s(22) prime?
True
Let n = 50 + -46. Suppose d = n*y + 311, 2*d - 2*y - 80 - 518 = 0. Is d prime?
False
Suppose 5*q = -9*b + 7*b + 27703, 0 = -2*b + 8. Is q a prime number?
False
Suppose 0 = 4*t + 2*a, t = -3*t + 5*a. Let v be (133 - t) + 2 + 0. Let r = 280 - v. Is r a composite number?
True
Suppose 0 = 2*s - s - x - 3, 0 = s + x - 1. Let j be (5 + -7)/(s/(-118)). Is j/((-2)/(-5 + 4)) composite?
False
Let p(l) be the first derivative of -63*l**2/2 + 3*l + 29. Is p(-18) composite?
True
Let o(a) = 2*a**2 + 33*a - 61. Is o(26) a composite number?
True
Let j = -401 + 286. Let z = 534 - j. Is z a prime number?
False
Let n(g) = -g**3 + 9*g**2 - 8*g + 5. Let c be n(11). Let h = c + 470. Suppose 0 = 3*v - h - 209. Is v a prime number?
False
Let x(s) = -s**2 + 4*s. Let c be x(4). Suppose 7*m - 2*u - 61 = 2*m, c = -2*m - 4*u + 10. Let z(v) = v**2 + 13*v - 13. Is z(m) composite?
False
Suppose n - 105 = -2*n. Suppose -2*v - 7 = l - 2, 0 = -5*l + 5*v + n. Suppose -4*i = l*i - 805. Is i a composite number?
True
Suppose -9 = -3*d + 2*d. Let i be -2*(d/2)/(-3). Suppose i*g - 23 = 16. Is g prime?
True
Let a = -852551 + 1197342. Is a a composite number?
False
Suppose -4*m = -5*n - 3, 2*m + 4*n = -1 + 9. Suppose 525 = d + b, m - 6 = -2*b. Suppose 354 = 3*o + 5*g, -4*o + d = -g + 51. Is o a prime number?
False
Suppose 0 = 20*u + 308940 - 969920. Is u composite?
False
Is 1/6 - (-47985)/126 composite?
True
Let n(q) = 37 - 15*q - 6*q - 32. Let y be n(-5). Let w = 237 - y. Is w a composite number?
False
Let j(z) = z**3 - 33*z**2 + 11*z + 23. Is j(38) prime?
False
Let u be (-8)/4*8/(-4). Let n = u + -8. Is 5/((-5)/(-18)) - n prime?
False
Let w be (2/(-6))/((-1)/3). Let x be w + -1 - (579 - 1). Let m = -21 - x. Is m a prime number?
True
Suppose -257*p + 270*p = 18109. Is p a composite number?
True
Suppose 7 = 4*v + 5*z + 38, -z + 13 = -4*v. Is (-2044)/(-5) + v/(-20) - 0 composite?
False
Suppose 18*s + 31*s = 2035411. Is s a composite number?
False
Let x(g) = 3*g - 3. Let b be x(2). Let i = 7 - 5. Is (161 - (i - b)) + -1 prime?
False
Suppose -961 + 235 = -3*x. Let f = x - 599. Let q = f - -578. Is q prime?
False
Let s(x) = 17*x**3 + x**2 - x + 1. Let b be s(1). Let z = 21 - b. Suppose o - 56 = -z*o. Is o a composite number?
True
Let l(g) = -8*g + 25. Let c be l(-14). Let o = 474 - c. Is o a composite number?
False
Let n(h) = -h**3 - 17*h**2 - 10*h + 37. Let d be ((-6 - -2) + 1)*(6 + 0). Is n(d) prime?
True
Let p = 10 - 6. Suppose -m + 2 = -3, 0 = -3*w + p*m + 1261. Is w composite?
True
Is 1141 - (-1 - (-12 - -9)) a prime number?
False
Let v = -17 - -10. Let i(l) = -l**3 - 6*l**2 + 7*l - 10. Let p be i(v). Is (-4)/p + 3366/10 composite?
False
Let p be (-1006*3/21)/((-1)/7). Suppose 0 = -4*i + o + 2003, -4*i + p = -2*i + 4*o. Is i composite?
True
Let l(h) = h**3 + 20*h**2 + 20*h + 25. Let g be l(-14). Let z(w) = 4*w**3 - 5*w**2 + 8*w + 7. Let j be z(-5). Let q = j + g. Is q composite?
False
Suppose 0*m - 16364 = -2*m. Suppose k - m = -5*j, -2*k - 2532 = -5*j + 5659. Is j prime?
True
Suppose 0 = -2*t - 0*t + 32. Suppose -3*l + 8*l - 2*c = -40, -4*l = 2*c + 14. Let d = l + t. Is d a composite number?
True
Suppose 5*v = d - 490, 5*d = 5*v + 595 - 85. Let i = 250 - v. Is i prime?
True
Let d be (5/(-45)*3)/(2/(-24)). Suppose -d*k + 5*q + 2231 = 0, -k = 2*k - 5*q - 1672. Is k prime?
False
Suppose 0 = -6*n + 3*n - 6, q = -4*n - 26. Let g be 9688/18 - (-4)/q. Suppose 95 + g = f. Is f a prime number?
False
Suppose -p = 3*p - 8. Let c be 3 + -8*(-55)/p. Suppose -x + 111 = 5*w - c, 272 = 4*w - 4*x. Is w prime?
True
Suppose 0 = -2*v + 2*g + 2*g + 5462, 3*g = 2*v - 5458. Is v prime?
False
Suppose 0 = 81*n - 75*n - 49974. Is n compos