-0*j - 4*b, -8 = 2*j + 4*b. Suppose -t*g + j*g = -764. Is g a prime number?
True
Suppose 5*y - 9*y = -12. Suppose -5*d + 153 = n + 46, -4*d = y*n - 266. Is n composite?
True
Suppose 0 = -2*x + 5*o + 29, x - 2*o + 0 - 12 = 0. Suppose b - f - 5347 = -4*b, -x = f. Is b prime?
True
Let i = 44 + -18. Suppose 30*y = i*y + 11276. Is y prime?
True
Let d = 12 + -9. Is 1*((-264)/(-3) - d) a composite number?
True
Suppose -5*c = -4*f + 33, 3*c - 1 = -3*f - 10. Let j(u) = 115*u. Let x(l) = 235*l + 1. Let k(i) = 11*j(i) - 6*x(i). Is k(c) composite?
False
Let m(j) = 20*j**2 - 5*j + 10. Let o be m(9). Let u = o - 696. Is u composite?
True
Let f(o) = 2*o - 4. Let w be f(5). Suppose -w = -5*c + 19. Is 46/c*(16 + -11) a prime number?
False
Let i(l) = 5*l**3 - l + 7. Let s(f) = -2*f**3 - 3*f**2. Let b be s(-2). Is i(b) a composite number?
True
Is (-64941444)/(-288) + 1/(-8) composite?
True
Let q = 41931 + 15055. Is q composite?
True
Let y be (-3)/(-1) - 3 - -490. Let t = y - -465. Suppose t + 630 = 5*u. Is u a composite number?
False
Let w(t) = -t + 12. Let n be w(9). Suppose -2*d + 310 = -n*y + 2*y, 3*y + 465 = 3*d. Is 10/(-15) + d/3 a composite number?
True
Suppose -3*v = -x - 10, 2*x = 5*v - 17 - 0. Suppose 0 = -v*c + 2*y + 2*y + 3617, 0 = -2*c - 4*y + 2378. Is c a prime number?
False
Is (-75609)/(-6) + 2/(-4) a prime number?
True
Let n be (-4)/(-8 - -4) - -19. Let s = n + -23. Let q(v) = -27*v - 2. Is q(s) prime?
True
Suppose 5 + 7 = -2*m. Is (-10)/m*(-204)/(-4) a prime number?
False
Suppose 0 = 27*z - 26*z - 1361. Is z a prime number?
True
Let a(d) = -57*d - 8. Let c be a(4). Let x = -45 - c. Is x a prime number?
True
Let n be (262/(-5))/((-10)/50). Let s = 389 - n. Is s a composite number?
False
Let b(t) = -5*t + 36. Let q be b(7). Let r(d) = 412*d + 1. Is r(q) prime?
False
Let l = -20 + 24. Let g be (66/(-5))/(l/(-10)). Suppose 0 = 3*k + 2*z - g, 3*z = -k - 2*z + 11. Is k a composite number?
False
Suppose 78*r - 3947 = 73*r - 4*n, 4*r - 5*n = 3174. Is r prime?
False
Let q = -102 - -107. Suppose 5*w - 4*a = 7405, -1481 = -w + q*a - 0*a. Is w prime?
True
Suppose 13*s = 17*s - 716. Let c be 9/(-4)*96/(-9). Suppose m - c = s. Is m prime?
False
Suppose -7*z = 8 + 6. Let c be -4*(4/(-4) - z). Is c/24 - 319/(-6) composite?
False
Is (3400/(-16) - -3)/((-2)/76) a prime number?
False
Suppose 5*z + 3415 = -5*h, -6*z = -z - 20. Let i = 1761 + h. Let l = -693 + i. Is l a composite number?
True
Is (29166/9)/(4/6) a prime number?
True
Let i(v) = -v**3 - 9*v**2 + v + 16. Let y be i(-9). Is (y - -3) + -5 + 262 composite?
True
Let m be (0 - 1) + (-2 - -4). Let f be (10 - 0) + (2 - m). Let y = 26 + f. Is y prime?
True
Let u be (-3)/6*-2 - -22. Suppose 22*s = u*s - 727. Suppose b + s = 5*y, 2*y + 2*b - 282 = -2*b. Is y prime?
False
Let h = 16349 + -976. Is h composite?
False
Suppose 93*a - 3*a = 2526210. Is a a prime number?
True
Suppose -2*k + 5*k = 0. Suppose -19*a + 3*a = -272. Suppose -o + a - 3 = k. Is o a composite number?
True
Let o = -80 - -150. Let h be -2 + 1 + 2 + -12. Let d = o + h. Is d prime?
True
Is (-3 - -4)/(12830/2138 + -6) a composite number?
False
Let n = 16941 - 11204. Is n a prime number?
True
Let m(b) = 130*b**2 - 9*b - 56. Is m(15) a prime number?
True
Let v = 87 + -59. Suppose 5*m = m - v. Is 131/7 - 2/m composite?
False
Suppose 0 = -5*y + 2 + 18. Suppose -y*s + 4 = 0, 4*q - 4*s + 14592 = 8*q. Is q prime?
False
Let j(s) = -5*s**3 + 2*s**2 + s - 1. Let g(a) = -a**3 - 4*a**2 + 16*a + 20. Let m be g(-6). Is j(m) a composite number?
False
Let f = 16 - 9. Suppose -2*w = 4*l - 68, l + 2*w = 2*l - f. Is (-3)/l + (-5058)/(-15) composite?
False
Let l(a) = -a**3 + 21*a**2 - 17*a - 17. Suppose h = 13 + 3. Let b be l(h). Suppose -i = 4*r + i - 1970, 2*r + 3*i = b. Is r composite?
False
Let w(u) = -19*u**2 - 2*u - 7. Let p be w(3). Let o = 449 + p. Is o a prime number?
False
Let g = 1947 + -470. Is g prime?
False
Let s be ((-33)/44)/(2/8). Is 729 - (-10)/(-15)*s a prime number?
False
Let b = 1301 - 2343. Is (-5 - (-22)/4)*b/(-1) a prime number?
True
Let j be 1*5/(10/68) - 4. Is (-30)/(-4)*1580/j composite?
True
Suppose -7*m = -4*m + 9. Let d = 5 + m. Is (-1)/(d - 78/38) a prime number?
True
Suppose -2*h - h = -5*y - 1409, -5*h - 4*y + 2299 = 0. Suppose -3*k + h = -71. Is k prime?
False
Let k(c) = -15*c - c**2 - 3 + 0*c**2 - 10*c. Suppose -247 + 1063 = -48*o. Is k(o) prime?
False
Suppose 0 = -2*v + v + 2. Suppose -v*x = -x. Suppose 137 = p - 4*r, -4*p + 3*r = -x*r - 535. Is p prime?
False
Let w be (-434)/(-105) - (-2)/(-15). Is (-5 + 106/w)*(-2 - -16) a prime number?
False
Let i be 5/(5/1318) - (10 + -10). Suppose 9*r + 40 = i. Is r a prime number?
False
Suppose b - 1759 = -3*h, -2*h - b = 4*b - 1164. Suppose -6*o + o = 3*p - h, -232 = -2*o - 4*p. Is o prime?
False
Let o = -11 - -13. Suppose -589 + 83 = o*d. Let f = d - -908. Is f a composite number?
True
Is 233680/138 - (-2)/(-1 + -5) prime?
True
Suppose 0 = l - 12*l + 12331. Is l a prime number?
False
Suppose 19093 = 5*d - 3*w, 4*w - 12 = w. Is d a prime number?
True
Suppose -4*o - 10365 = -1137. Let v = o - -3890. Is v composite?
False
Suppose -13949 = -14*i - 15*i. Is i a composite number?
True
Let s = -6629 - -13830. Is s a prime number?
False
Suppose 26*a = 31*a + 10. Is 2 + 213 - (-2 - a) composite?
True
Let y = 20285 + -12730. Is y a composite number?
True
Let j be -650 + (-1 - -2) + -1. Let r = j + 1283. Suppose -3*o = -4*x + x + r, 4*x - o = 856. Is x composite?
True
Let g be 0 + 4 - 1/(-4 - -3). Suppose -g*b - 1816 + 9431 = 0. Is b composite?
False
Let g = 24 + -16. Suppose 4*r - 8 - g = 0. Suppose -2*k + 279 = 3*a, -5*k - r*a = -3*k - 278. Is k prime?
False
Is (-6)/(-4)*(-107052)/(-18) a composite number?
True
Suppose -5*j = -o - 0*j + 19, -4*o + j = -19. Suppose 9 = 5*q + o. Is 1/q*(15 - 0) a prime number?
False
Suppose 2*o - 3 = -q + o, 2*o = -3*q + 4. Let v be 3 - (3 + q) - 1. Is -1 - (v + 1*-253) a composite number?
False
Let j(i) = -i**3 + 8*i**2 - 8*i + 6. Let y be j(6). Let u = -24 + y. Suppose 0*m = -u*m + 2382. Is m composite?
False
Suppose -z + 9 = 6. Is -75*(-5)/z*(-5)/(-25) a prime number?
False
Let t(b) = -28*b**2 + 4*b - 2. Let v be t(-7). Is -4*5/40*v composite?
False
Let o be 372/(-8)*(-10)/1. Suppose o = 34*x - 29*x. Is x a composite number?
True
Let u(s) = -7*s**3 - s**2. Let j = 25 - 26. Let f be u(j). Suppose f*y - y = 935. Is y a prime number?
False
Let u(o) = o**3 + o**2 + o + 34. Let r be u(0). Suppose -r = -5*n - 114. Let z = n + 35. Is z composite?
False
Let q(m) = -21*m - 12. Let p(l) = 210*l + 119. Let n(u) = -5*p(u) - 49*q(u). Let d be n(-10). Suppose -911 = -4*w - d. Is w a composite number?
True
Let g(p) = p**3 + 4*p**2 - 5*p + 5. Let i be g(-5). Suppose i*z - 1328 - 907 = 0. Is z a composite number?
True
Let p = 11 - -1790. Is p a prime number?
True
Suppose 1559 + 3789 = 4*x. Let m(d) = 2*d**3 - 20*d**2 + 8*d + 10. Let g be m(12). Suppose 2*s - x = -2*q + 3*s, 5*s + g = q. Is q a composite number?
True
Suppose -27724 = -1321*c + 1317*c. Is c a prime number?
False
Suppose 3*g - 2*t - 31614 = -5*t, -5*g + 5*t + 52720 = 0. Is g a composite number?
True
Suppose 0 = -120*q + 133*q - 70291. Is q a prime number?
True
Let v(b) = 10*b**2 + 3*b + 1. Let o be v(-1). Is ((-821)/(-2))/(4/o) prime?
True
Let r = -2180 + 1520. Let s = 218 - r. Is s composite?
True
Let s(u) = -u**3 - 2*u**2 + u + 2. Let j be s(-2). Let m be (j + 2/(-8))*-356. Suppose -y = -m - 330. Is y a composite number?
False
Suppose -11*a + 13*a = 36. Suppose -3*p - a = -39. Is p a prime number?
True
Let l(v) = v**3 + 3*v**2 - 5*v - 1. Let z be l(-4). Suppose -2*t - t - 78 = -y, 4*y - 372 = -z*t. Suppose 4*h = 66 + y. Is h a composite number?
True
Is (-3)/((-9)/3408) + 6 a prime number?
False
Suppose 3*m + 168 = 5*n, n + 5*m = -3*n + 164. Suppose -3*y - z + 45 = -y, 5*z = 3*y - 74. Suppose n = q - y. Is q composite?
False
Suppose w - 40 = -34. Suppose p + 1670 = w*p. Is p a prime number?
False
Let x = 25 + -25. Let z(n) = -n**3 + n - 5. Let s be z(x). Let y(q) = -3*q**3 + 3*q**2 - 7. Is y(s) prime?
True
Let x be (-1)/(-4) - 1908/16. Let j = 6 - -66. Let s = j - x. Is s a composite number?
False
Let d(a) = -19*a - 9. Let x(v) = -132*v - 63. Let j(y) = y**2 - 5*y + 2. Let r be j(2). Let s(c) = r*x(c) + 27*d(c). Is 