(-12208)/n a prime number?
True
Let z = -2694 - -4075. Is z composite?
False
Suppose 2*a - 4*a = -a. Suppose 4*j + 4*l - 6216 = a, j - 2*l = -2*j + 4687. Is j composite?
False
Let w be 14/4 + (-1)/2. Suppose -3*h - 39 = -2*i, 6 = i + w*h - 0. Let o(b) = 4*b**2 - b + 10. Is o(i) a prime number?
False
Let h = -578 + 957. Is h a prime number?
True
Let r = -633 + 1746. Suppose j + 1121 = s, -j + r = -s + 2*s. Is s prime?
True
Let v(s) = -s**2 + 48*s - 65. Let q be v(45). Let l = -2 + -2. Is 114150/q - l/14 a composite number?
True
Let t = 1 - 2. Let x be ((0 - 2) + 3)/t. Is x*(-68 + 2/(-2)) a prime number?
False
Suppose -20*i - 2045231 = -99*i. Is i a prime number?
True
Suppose -1700 = -3*l + 4909. Is l prime?
True
Let p(q) = 18*q**2 + 5*q - 9. Let z(a) = 6*a**2 + 2*a - 3. Let r(u) = -2*p(u) + 7*z(u). Is r(-4) a prime number?
False
Let d = 5015 - 1458. Is d composite?
False
Let t = 23 + -20. Let g(m) = -95*m + 7. Let i be g(t). Is i/(-1)*(-1)/(-2) prime?
True
Suppose -6*o - 104097 = -27*o. Is o prime?
True
Suppose p + 3 = -0. Let d(v) be the third derivative of v**5/12 - v**4/8 - v**3/6 + v**2. Is d(p) composite?
False
Suppose 230790 = 4*o + 15*x - 14*x, -2*x = o - 57701. Is o prime?
True
Let j = 24595 - 10632. Is j composite?
False
Suppose -32*t + 30*t + 31282 = 0. Is t a prime number?
True
Let r(c) = -3*c**3 - 4*c**2 + 17*c + 27. Is r(-8) a composite number?
False
Suppose -3*r - 2*k = -9403, 12*r - 7*r - 3*k = 15697. Is r a composite number?
False
Let h(f) = -4*f - 46. Let l be h(-6). Let m = l - -41. Is m composite?
False
Let h(s) = -s**3 + s**2 + 1273. Let j be h(0). Suppose -668 = -2*v - 2*u, 4*v - j - 72 = 5*u. Is v composite?
True
Let g be (16/10)/(4/10). Suppose -5*v - g*i = -2435, -3*v - 3*i = -8*v + 2435. Is v prime?
True
Suppose 4*x - 111379 = 3*m, 5*m = 6*x - 7*x + 27816. Is x a prime number?
False
Suppose 8*g - 6 = 18. Suppose -4*y + 2851 = 5*q, -2866 = g*y - 7*y - 2*q. Is y prime?
True
Let x(p) = -127*p - 103*p + 47*p - 8. Is x(-3) a prime number?
True
Suppose -4*i + 239 = 3*f, -3*f - 2*i + 172 = -69. Suppose -u + f = -362. Is u prime?
True
Let q be (-6)/(-2) - (12 - 7). Is (q - -7) + 967 + 1 a composite number?
True
Let h = -7 + 25. Is 12758/h - (-20)/90 a composite number?
False
Let p = 16 - 11. Suppose -2508 = -p*y + 2912. Let i = 1569 - y. Is i composite?
True
Suppose -5*n = -2*m + 3*m - 3706, -m + 2*n + 3685 = 0. Is m a composite number?
False
Let d(u) = u + 0*u**3 - 12 + 3 + u**3 + 0*u**2 - 7*u**2. Let r be d(7). Is ((-127)/r)/(1/2) a composite number?
False
Suppose 3281 = -3*b + x + 10820, 5*x = 0. Is b composite?
True
Let p(j) be the second derivative of -181*j**3/6 + j**2 + 6*j. Let w be p(-2). Let s = 513 - w. Is s composite?
False
Suppose -i - 2*q = -11, 0 = -q + 5*q - 12. Suppose 3*n = -2*d + 1829, -3*n + i*d = 2*n - 3065. Is n a prime number?
False
Let u(d) = -379*d + 9. Suppose -8*q - 3 = 13. Is u(q) composite?
True
Suppose 35 + 7 = -7*l. Is 9/l + (-8391)/(-6) a composite number?
True
Let b be 0*(-2)/(-6)*3/6. Is 648*1 - -1*(-1 - b) prime?
True
Let h be (-30)/(-10)*(-14)/3. Let n = h + 29. Is 5*(11052/n)/4 prime?
False
Let d(v) = v**2 + v - 19. Suppose -10*j - 58 = 92. Is d(j) a prime number?
True
Suppose -8*l - 4*l - 13992 = 0. Is (-1 + 3/6)*l a composite number?
True
Is -3 - (-62 + 5/5) prime?
False
Suppose 0 = -4*h - 0*h. Let y be 12/8*(h + 2). Suppose 0 = -3*x + y*p + 246, 5*x + 2*p = -0*x + 417. Is x prime?
True
Suppose 6 = 4*d - 7*d, 3*d = 3*m - 3783. Is m a composite number?
False
Is (6 + -335836)/(-10) + 10 composite?
True
Let f = -902 - -1689. Let s(w) = 4*w**2 + 14*w + 10. Let o be s(-3). Suppose 0 = 3*r - o*v - f, -2*r = v - 3 - 507. Is r a prime number?
True
Let q be 1/2 + 3642/12. Let y be q/20 + 2/(-10). Let p(k) = 18*k - 5. Is p(y) a composite number?
True
Let z = -808 + 1655. Suppose 2*i - 9*i = -z. Is i composite?
True
Suppose -3*r + 144 + 9669 = 0. Is r composite?
False
Suppose 4*y = -11 - 57. Let n = y + 19. Suppose -n*i = 4*u + i - 65, 5*u - i = 67. Is u a composite number?
True
Let c = 9 - 5. Suppose 0 = -4*t, 2*r - 116 = -2*r - t. Suppose -g + 0*x - c*x = 1, -5*x = 4*g - r. Is g composite?
False
Suppose 3*h + a = -4*a - 11, 2*h + 14 = -5*a. Suppose -g - h*g + 1508 = 0. Is g a prime number?
False
Let z = -6 - -16. Let t be 1849/2 + 5/z. Suppose t = 3*x - 332. Is x a prime number?
True
Suppose 36915 - 4057 = 2*r. Is r a prime number?
False
Let f(w) = 6*w**3 - 12*w - 17. Is f(18) composite?
False
Let r(l) = l + 3 - 1 - 5*l**2 + l**3 + 7*l**2. Let n be r(-2). Suppose n = j - 3, 5*u - 259 = j + 33. Is u prime?
True
Let f be ((-1)/3)/((-2)/12). Suppose 6 = y - f*y. Is (-2)/y - 5768/(-12) prime?
False
Let g = -480 - -902. Is -2*g/4*-1 a composite number?
False
Suppose -29 - 49 = -m - 5*w, -4*m - 4*w + 232 = 0. Suppose 3*s - 52 = m. Is s a prime number?
False
Let x(g) = 80*g**2 - 6*g. Is x(1) a prime number?
False
Let z = 6997 + -2630. Is z a prime number?
False
Is (-4 - 1590/(-4))*(2 + 0) prime?
True
Let c be 5/(-3*(-4)/12). Suppose -5*o - l = l + 436, -10 = -c*l. Let i = o - -162. Is i a composite number?
True
Let b(x) = -225*x + 21. Let z be 1/(-5) + (-406)/70. Is b(z) a composite number?
True
Suppose 0 = 2*j - 8891 + 771. Let u = j - 2259. Is u composite?
False
Suppose -105 = -2*q + 357. Suppose 0 = -7*b + 2*b + o + 7, 4*b + 3*o - 17 = 0. Suppose a - q = -b*a. Is a a composite number?
True
Suppose -403*q - 6995 = -408*q. Is q a prime number?
True
Let m(s) = s**3 - 7*s**2 + 4*s + 10. Let x be m(13). Suppose r = 3*r - x. Suppose -n = 2*a + 2*n - r, 4*n = -3*a + 807. Is a a prime number?
True
Is 14/(-28) - ((-273369)/2 - 3) a composite number?
True
Let c be 47/(-3) + 6/9. Let a be (-2 - 0)/(6/c). Suppose -a*j = -861 - 404. Is j a composite number?
True
Let z(f) = -6*f + 3 + 3*f - 3*f + 7*f. Let i be z(-7). Is (3 - i/(-4)) + 215 a prime number?
False
Suppose 3*i = -k + 15619, -2*i + 10406 = 22*k - 18*k. Is i composite?
True
Let f(n) = 67*n**2 + 21*n + 3. Is f(-10) prime?
False
Is ((-4)/4 - -24615) + -7 prime?
False
Let a(r) = 7*r - 9. Suppose -3*q - 5*b + 40 = q, -4*q = -2*b - 40. Let k be a(q). Let s = k + 13. Is s a composite number?
True
Suppose -4 = -2*x + 4. Let a(u) = 6*u**3 - 5*u**2 - 4*u. Let o be a(x). Suppose 4*j - 3*w = 2*w + o, 0 = 5*w + 20. Is j a composite number?
False
Is (1 + (-23724)/2)/(10 + -11) composite?
True
Let c be (-91928)/(-60) - 6/45. Suppose -3*w - c = w. Let a = -76 - w. Is a composite?
False
Suppose 2*z = -9*z + 6534. Let t be ((-112)/(-10))/(1/80). Let h = t - z. Is h a composite number?
True
Let q be 2/(-3) - 42/(-9). Let s be 126/15 - (-2)/(-5). Suppose -t = q, 4*y - s*y + t = -1056. Is y a composite number?
False
Let y(u) be the third derivative of 53*u**4/4 - 13*u**3/6 + u**2. Let g = 1257 + -1253. Is y(g) a prime number?
True
Let j(y) = -670*y + 659. Is j(-30) a prime number?
True
Suppose 0*m = -6*m - 25914. Let q = m + 6604. Is q a composite number?
True
Suppose -4*o + 3526 = 506. Suppose -4*l = 4*i - 578 - 434, -3*l = 4*i - o. Is l a prime number?
True
Suppose 0 = -3*w + 15, -3*u + 2038 = w - 2*w. Let h = u - 431. Suppose h = 2*i - 152. Is i a composite number?
True
Suppose 0 = -4*w - 3*j + 752, -2*w + j + 376 = -0*w. Suppose 5*u = -4*o + w, -2*o - 46 = 4*u - 140. Is o prime?
True
Let b(h) = h**2 - h - 15. Let k be b(5). Suppose -3*i + 8*i - 7955 = -k*v, 0 = v - 5*i - 1609. Is v composite?
True
Suppose 3*i + 156 = 4*m, 120 = 4*m - m - 3*i. Suppose m - 27 = j. Is j composite?
True
Let u(x) = x**3 + 24*x**2 - 2*x - 43. Let d be u(-24). Suppose 2*b - 344 = -b - v, 0 = d*v + 5. Is b composite?
True
Is 12639 - -155 - 6/(-2) a composite number?
True
Let t(d) be the first derivative of -3/2*d**2 + 5*d + 1/4*d**4 - 2/3*d**3 + 1. Is t(6) prime?
True
Let m = 16595 + -6852. Is m a composite number?
False
Suppose -3 = -4*u + u. Is -471*u*(-2)/6 a composite number?
False
Let v = 1 - 6. Let p be (v/(-5))/(1/5). Suppose -p*a = 2*i - 394, -3*a + 0*a = 2*i - 386. Is i prime?
False
Is ((-7751)/69)/(1/(-177)) prime?
False
Let g be (32/(-20))/((-2)/5). Suppose 0 = -5*h - 4*d + 1385 + 724, 0 = -2*h + g*d + 838. Let w = h - -246. Is w a composite number?
True
Suppose 7*p = 3*p + 12. Let o be 1 + 3/(p/7). Suppose -o*k = -11*k + 4083. Is k prime?
True
Let i(u) = -118*u - 29. Let z be i(-