/(-33). Let p = o - -72. Is p composite?
True
Let n = -203 - -876. Is n prime?
True
Let y = 53 + 44. Is y prime?
True
Let u be -2 + -15 - 6/(-3). Let q = u - -34. Is q prime?
True
Let s = 72 - -531. Suppose 2*x - 5*x + s = 0. Is x a composite number?
True
Let n be (-6)/(-10) + 4/10. Suppose -15 = -2*w - 3*w. Is (17/w)/(n/6) a prime number?
False
Let a(u) = 338*u + 45. Is a(5) a composite number?
True
Let v be (-9426)/(-12) - 1/2. Suppose 3*k + 4*q - 2*q - v = 0, 5*k + 5*q - 1300 = 0. Is k a prime number?
False
Let t = -561 + 1004. Is t prime?
True
Suppose 0 = 5*u + 4*k - 995, 0 = -2*u - 0*u - 5*k + 381. Suppose 0 = -2*c - 3*r + 142, 0 = -2*c - c - 2*r + u. Is c composite?
True
Suppose -5*o + 3*o - 2 = 0. Let b(g) = 127*g**2. Is b(o) composite?
False
Let o be ((-16)/6)/(4/(-6)). Let p(w) = 23*w - 3. Is p(o) a composite number?
False
Let p be 162/7*(6 - -1). Let i = -104 + p. Is i a prime number?
False
Let u be 9*-4*(-5)/(-3). Let g = 143 + u. Is g a composite number?
False
Let k(y) = -6*y**3 - 9*y**2 + 13*y - 26. Let p(b) = -5*b**3 - 10*b**2 + 14*b - 25. Let r(q) = 6*k(q) - 7*p(q). Is r(14) a prime number?
True
Let l(y) = 5*y - 19*y - 3 - 2. Is l(-6) composite?
False
Let b be 48/30 - 2/(-5). Let z(s) = -s + 2. Let m be z(0). Suppose -2*c = -4*x + 174, b + m = -4*c. Is x prime?
True
Let q(l) = 11*l**3 - 3*l**2 + l - 1. Suppose 0 = -i + g + 2, -2*i - 1 = -3*g. Let s = i + -5. Is q(s) prime?
False
Let v be (203 - -8)/((-2)/(-10)). Suppose 0 = 2*m - 3*m + v. Is m composite?
True
Suppose -4*r - 5*k - 744 = -0*k, -4*r = 4*k + 748. Is (r/3)/((-8)/24) prime?
True
Let l be ((-16)/(-20))/(1/(-5)). Let m be (l/6)/((-6)/(-108)). Is (m/(-8))/((-1)/(-22)) a composite number?
True
Let s be (-3)/(-2) - 9/2. Let b = s - -6. Suppose 0 = -5*y + 5*w + 415, -b*y - w + 261 = 2*w. Is y a composite number?
True
Let q(j) = -j**2 + 9*j + 7. Let r be q(9). Let s = r - 1. Suppose 3*o + 1427 = 2*b, -5*b = s*o - 2*o - 3533. Is b composite?
False
Is (-1907)/(-3) - 2/3 composite?
True
Let h be (4/3)/((-4)/(-12)). Suppose -h*c - 14 = -466. Is c prime?
True
Is 1/5 - (-2286)/45 a prime number?
False
Let b(f) = -f**3 - 6*f**2 + f + 8. Let z be b(-6). Suppose -53 = z*w - 3*w. Is w a composite number?
False
Let l be (-1 + 6)*6/(-15). Let r be (-74)/4 + l/(-4). Let a = r - -55. Is a prime?
True
Let c be ((-2)/(-4))/((-3)/102). Suppose 5*w + 0*w - 135 = 0. Let f = c + w. Is f a composite number?
True
Let o = 42 + -19. Suppose 2*q - 16 = -0*q. Let f = o - q. Is f a prime number?
False
Let f = 426 - 157. Let s be 6/21 - (-176)/(-28). Let t = f + s. Is t a prime number?
True
Suppose 2*g + 18 = 4*m, -m + 4*g = m - 6. Let j = m - -30. Is j composite?
True
Suppose 4*z - 82 = w, -4*z + 4*w + 76 = -12. Suppose -z = 4*r - 9*r. Suppose -y + 15 + r = 0. Is y a prime number?
True
Suppose -3*n + 1 = 4*h, -h - 16 = n + 3*n. Let b(j) = 2*j + 1 + 0 - 4*j**2 - 2 - j**3. Is b(n) composite?
True
Is 379*2/(6*(-3)/(-9)) a composite number?
False
Suppose 5 = 2*c - 3. Let h be (5 + -106)/(1 + -2). Suppose -39 = -m - o, -c*m + o = -m - h. Is m a prime number?
False
Let b(t) = -564*t**3 + t. Let r be b(-1). Suppose -5*d = -4*l - r, -d + 2*l + 156 - 47 = 0. Is d composite?
True
Let r(g) = 215*g - 92. Is r(17) a composite number?
True
Suppose 0*x = 3*x - 573. Let d = x + -28. Is d prime?
True
Suppose 2*u - 9 = -u. Suppose n - 2*g + 0*g + 2 = 0, -3*g + 3 = -n. Suppose -i = -4*h - 4*i + 110, h + u*i - 32 = n. Is h a composite number?
True
Let b(a) = a. Suppose -2*u - 4*v - 9 = 1, 0 = 4*u - 5*v - 6. Let g be b(u). Is (1 - g) + (43 - -8) a prime number?
True
Let i = -30 + 48. Let g = 55 - 26. Let h = g - i. Is h prime?
True
Let t(n) = -n - 7. Let g be t(-7). Suppose s - 5*i = g, 4*i - 8 + 20 = 2*s. Suppose 5*c - 20 = s. Is c a prime number?
False
Let i(u) = 8*u**2 - 6*u - 1. Is i(-6) a prime number?
False
Let q(i) = 7*i**2 + 2*i - 7. Let l be q(-5). Suppose -2*s = -0*s - l. Is s a composite number?
False
Is 214/4 + 36/24 composite?
True
Let p(a) = -37*a**3 + 2*a**2 + a. Is p(-1) prime?
False
Let u = -3 - -5. Suppose 548 = u*r + 32. Let s = r + -169. Is s a prime number?
True
Suppose -r - 28 = r. Let k = -9 - r. Suppose 2*a = k*a - 93. Is a composite?
False
Let i(a) = -a + 1. Let j be i(6). Let k(m) = -34*m + 7. Is k(j) composite?
True
Let h(q) = 2*q - 9. Let x be h(7). Suppose x*k + 231 - 1501 = 0. Suppose v - 3*v = -k. Is v a composite number?
False
Let f = -447 + 638. Suppose -c - f = -2*c. Is c a prime number?
True
Let b(r) be the second derivative of r**4/6 - r**3/6 + r**2/2 - 8*r. Is b(2) prime?
True
Let o(x) = -x**3 + 4*x + 3. Let d be o(-2). Let y be 3/((-282)/(-93) - d). Suppose 0*n + 3*n - y = 0. Is n prime?
True
Suppose -3 = b - 1. Let i be (-9)/b - (-1)/(-2). Is 1/i + (-1046)/(-8) a composite number?
False
Suppose 3*y - 3 = 0, 5*j - 4*y = 3142 + 4409. Is j composite?
False
Is -2 - 7412/(0 - 4) prime?
False
Suppose 0 = -3*w - w - 8. Let o = 21 - w. Is o composite?
False
Suppose 2*a + 4*a - 17412 = 0. Is a composite?
True
Is ((-7)/(-7))/((2/1)/42) composite?
True
Let t = 17 - 13. Suppose -1154 = -t*i + 2298. Is i prime?
True
Suppose -25 = -4*t + 2*r + 13, 45 = 4*t + 5*r. Let z be 6/15*t/(-2). Let a = 1 - z. Is a a prime number?
True
Let w = 3 + -2. Is (-1 - 18)*(-1)/w prime?
True
Let m be ((-525)/9)/((-1)/9). Suppose -5*a + m = -400. Is a a composite number?
True
Suppose 7*r = 4*r + 429. Is r composite?
True
Is (5/(-15))/((-2)/222) a prime number?
True
Let k(p) be the first derivative of -7*p**2/2 + 4*p - 2. Is k(-5) a prime number?
False
Suppose -5*f = -0*f - 35. Let u(o) = o**3 - o**2 + o - 1. Let b(h) = 2*h**3 - 11*h**2 + 6*h - 8. Let j(d) = -b(d) + u(d). Is j(f) a prime number?
False
Suppose 5*b - 2279 = -64. Is b prime?
True
Suppose -3*g + 0 = -5*p + 4, p = -g + 4. Suppose -p*m - 2*m + 260 = 0. Is m a composite number?
True
Let x = -15 - -21. Let m = -4 + x. Suppose m*z - 228 = -2*z. Is z composite?
True
Suppose -5*x - 4716 = -3*d, -2*d - 2*x = x - 3125. Is d a composite number?
False
Suppose 6*g - 215 = g. Is g a composite number?
False
Let o = 30 + -18. Let g(y) = y - 2. Let t be g(5). Is -1 - o/(t/(-1)) prime?
True
Let i = -370 + 807. Suppose -5*w = 4*c - i, 2*c + 2*c = 4*w - 328. Is w a composite number?
True
Let q(p) = -3*p. Let o be q(1). Let x(r) = 1 + 2*r**2 + 499*r - 499*r. Is x(o) composite?
False
Is 5 + -1 - -1725 - (2 - 0) a prime number?
False
Let r be -1 - (-543)/(1 + 2). Let u be ((-6)/(-3))/2*r. Let z = u + -59. Is z a composite number?
True
Is (-1*(-8)/12)/(4/4458) a composite number?
False
Let q = -543 - -275. Let y(s) = -2*s + 1. Let u be y(1). Is q/(-2) - u/(-1) a composite number?
True
Let s(g) = g. Let y be s(3). Suppose 130 = y*v - 101. Is v prime?
False
Let k = 226 + -74. Let y = -37 + k. Is y a prime number?
False
Let l(j) = -j**3 - 5*j**2 + 5*j - 6. Let q be l(-6). Suppose q = -b + c + 3, 4*b - b = -5*c + 9. Is 1*b*2/2 a composite number?
False
Let q(l) = l**3 + 12*l**2 + 12*l + 18. Let x be q(-12). Let v = x - -275. Is v a prime number?
True
Is (3 - ((-24)/(-4))/3)*487 composite?
False
Let a be (-3 - (-7 - -4))*1. Suppose a = -5*b - 89 + 544. Is b a composite number?
True
Is 2*1082/(-6)*3/(-2) composite?
False
Let o = -50 + 15. Let p be ((-3)/(-5))/((-7)/o). Is (p - 6) + (-2 - -20) composite?
True
Let l = 78 - 77. Suppose -4*k - 5 - 7 = 0. Is l/3 - 206/k composite?
True
Suppose 2*p + 3*i + i - 1566 = 0, 2*i - 2357 = -3*p. Is p a prime number?
True
Let z(s) be the first derivative of 2*s**3/3 - 5*s + 3. Is z(8) a prime number?
False
Suppose 25 = -5*m - 0. Let r be (-2)/m - (-4)/(-10). Suppose 2*v + y = 61, v - 4*y - 35 = -r*v. Is v prime?
True
Suppose -5*n = 2*m - 40, -5*n - 5*m + 0*m + 55 = 0. Suppose 5*c - n = 4. Suppose -7*a + 95 = -c*a. Is a composite?
False
Let i be (-6)/18 - 1273/(-3). Let f = i + 133. Is f composite?
False
Is (-1959)/(-2)*(-24)/(-36) composite?
False
Let u(t) = t**3 - 2*t**2 - 3. Let z be u(3). Let k be 1/1*(-6)/z. Let m(l) = 372*l**2 - 2*l - 1. Is m(k) a composite number?
False
Suppose -2*d = -66 - 104. Is d prime?
False
Let w be (-12)/8*(-20)/6. Suppose -76 = -w*m + m. Is m composite?
False
Suppose 5*p + 4*l - 1141 = -66, 3*l = 15. Is p a composite number?
False
Suppose -w + 5*y - 13 = 0, -5 - 6 = -4*w - y. Suppose -4*z + 8*g - 3*g = -3, 2*g = 