 = 84 - q. Is (r/2*2)/(-1) a prime number?
True
Is (-17)/102 - (-3775)/6 a composite number?
True
Suppose -3*o + 106 + 89 = 0. Is o a prime number?
False
Let f be (-5)/(-20) + (-2)/8. Let w = f + 8. Let y(n) = -n**3 + 12*n**2 - 12*n + 3. Is y(w) prime?
True
Let v(d) = d**2 - 1. Let y be v(-2). Suppose y*f - u = -f + 82, 3*f + 3*u - 69 = 0. Is f composite?
True
Let a = -6606 - -12968. Is a a prime number?
False
Let a = -6 + 7. Is (1 + (-72)/a)*-1 prime?
True
Let d(y) = -y**2 + 13*y - 12. Let m be d(12). Let j(n) = -n**2 + 115. Is j(m) a prime number?
False
Let b = -7 + 9. Let o be 0 + -51*(b + -1). Let u = o + 125. Is u composite?
True
Let c(v) = 5 + 10*v - 61*v - 21*v. Is c(-7) composite?
False
Let w(n) = -3*n + 13. Suppose 0 = 3*k - 2 + 20. Is w(k) a prime number?
True
Suppose 5*n - 4*k = 655, -4*k - 32 = 4*n - 556. Is n a composite number?
False
Suppose -2*l = -0*l - 6. Let v be l/12 - (-1089)/12. Suppose v + 16 = a - q, a - 103 = 3*q. Is a a prime number?
True
Let g = 7 - 4. Suppose -r = g*r - 164. Let q = 64 - r. Is q prime?
True
Suppose -4*y = -0*y. Suppose 2*w - 5 + 1 = y. Let x = w - -5. Is x composite?
False
Suppose -2*s + 0*s = -5*h + 55, 5*s = -4*h + 77. Is h a composite number?
False
Let g = 2718 - 781. Is g a prime number?
False
Let f(a) = 5*a - 4. Let k be f(-3). Let v = k - -50. Is v prime?
True
Let l = 774 - 269. Is l composite?
True
Let x(n) = -n**2 - n + 1. Let g(v) = 6*v**2 + 6*v - 7. Let u(r) = g(r) + 4*x(r). Let m = -10 + 14. Is u(m) composite?
False
Let v(m) = 13*m + 8. Let w be v(6). Suppose 2*d - 5*c - w = -23, 5*d - 110 = 3*c. Is d composite?
False
Suppose 0 = 2*p + 1 - 9. Suppose 93 = 5*s + 3*d, 4*s - 2*s + 2*d - 34 = 0. Suppose -4*r + 25 = 3*v, -2*v + s = -p*r + 51. Is r a composite number?
False
Suppose -3*l + 4*t + 2545 = 2*l, -l + 509 = t. Suppose -4*u + 5*v - v = -1048, 2*u = -3*v + l. Suppose d - u = -d - m, d - 2*m = 117. Is d prime?
True
Is 160 - (-3)/((-3)/3) prime?
True
Let i(n) = -n**3 - n**2 - n + 79. Let a = 11 + -11. Is i(a) a prime number?
True
Let b be ((-910)/(-25))/(4/10). Suppose 0 = 4*o - 637 - 291. Let w = o - b. Is w composite?
True
Let n(p) = 26*p**2 + 6*p - 7. Is n(2) composite?
False
Suppose 6 = 5*f - 9. Let q = f + 1. Suppose 2*g - 3*t = -5*t + 176, q*g - t = 357. Is g a composite number?
False
Suppose 2*u + 626 = 4*u - 4*i, 3*u - 909 = -4*i. Is u a composite number?
False
Suppose 3*z - 52 = d, -d + 0*z - 52 = 5*z. Let c = -37 - d. Is c a composite number?
True
Let q(s) = 225*s + 1. Is q(1) prime?
False
Let a be -6 + 3 - (0 - 7). Suppose 0 = -a*d + d + o + 1072, -4*o = 4*d - 1456. Suppose -5*l + 26 + d = 0. Is l prime?
False
Let t(o) = o**3 + 6*o**2 + 2*o - 6. Let h be t(-5). Let b be (h - 10)*2/2. Is 6 + 2 + (b - 0) prime?
True
Let x = 7 + -9. Let f(s) = -45*s + 1. Is f(x) a composite number?
True
Let u = 3 - 4. Let f be (u/3)/((-1)/15). Suppose -f*l = -23 - 172. Is l prime?
False
Let j = -8 + 9. Suppose -y = -j, -4*t = t - 4*y - 1111. Is t a composite number?
False
Suppose x - 3 = -1. Suppose 3*d + x*s - 177 - 170 = 0, 574 = 5*d - s. Is d a composite number?
True
Suppose -c = 4*i - 380 - 137, 1007 = 2*c - i. Is c composite?
True
Let f be 3*(-3 + 11/3). Is (215/2 + -2)*f composite?
False
Suppose 0 = 2*q - q + 12. Let p = 22 + q. Is p composite?
True
Let k(a) = 2*a**2 + 11*a + 5. Let g = 9 + -6. Let y be (0 + -3)*7/g. Is k(y) a prime number?
False
Let a be (5 - 2)*8/6. Suppose 4*l + 305 = 4*o - 343, a*o + 2*l - 672 = 0. Is o composite?
True
Let n = 2984 + -1845. Is n a composite number?
True
Let a be (15/(-20))/((-1)/(-28)). Is ((-7)/a)/(2/24) composite?
True
Let y(s) = -s**3 - 5*s**2 + 4*s - 7. Let x be y(-6). Suppose -x*h + 3 = -4*h. Suppose -h*v = 3, 3*k - v - 156 = -2*k. Is k composite?
False
Suppose -2*q + 0*k + 442 = -5*k, -5*q + 3*k + 1067 = 0. Is q a prime number?
True
Suppose 5*p + 2*y = 10, -4*p = -y - y - 8. Let q(c) = -2*c - 2 + 3 + c**p - 7. Is q(5) prime?
False
Suppose -2*v = -4*v + 8, -1681 = -3*z + 5*v. Let d be (1 - z/12)*4. Is d/((-1 + 3)/(-2)) a composite number?
True
Suppose 1 - 3 = -g. Suppose -m - 482 = -5*x, g*x + m = 3*x - 94. Is x prime?
True
Suppose s = -4*z + 4*s + 4508, -1144 = -z + 5*s. Suppose -230 + z = 6*n. Is n a prime number?
True
Let x(r) = 2*r + 9. Let n be x(-7). Let y = 8 + n. Suppose -162 = -y*k + 3*o, -4*o + 1 = 2*k - 125. Is k a prime number?
False
Suppose 6*h - 2*p - 2521 = 3*h, 4185 = 5*h + 5*p. Suppose 0 = 4*n + 219 - h. Is n a prime number?
False
Let c(g) = 5*g**2 + 2. Suppose 0 = -2*k + 4*u - u - 3, -2*u + 2 = -2*k. Let i = 5 + k. Is c(i) prime?
True
Suppose -2*i + 4*h + 30 = 0, -4*i + 3*h + 46 = -4. Is i a composite number?
False
Is 484 - ((2 - 2) + -3) a composite number?
False
Let h(m) = m**3 + 5*m**2 + 3*m. Let b be h(-4). Suppose 3*f + b = 4*f. Is f composite?
True
Let f = -276 + 529. Is f composite?
True
Let t(n) = n**3 + 4*n**2 + n - 2. Let s be t(-3). Suppose g - 330 = s*g. Is g*1/(1*-2) composite?
True
Let m be (-14)/70 - 32/(-10). Let l(k) = 125*k - 2. Is l(m) composite?
False
Suppose -2*y - 3 = 4*l - 1, 2*y - 3*l = 19. Let d(j) = -7*j - 1 - 4*j - y*j. Is d(-1) a composite number?
True
Suppose 3*s - 2*z - 2010 = z, -3*s = 2*z - 2025. Is s composite?
False
Let t = -150 + 289. Is t composite?
False
Suppose 32*d - 29*d - 921 = 0. Is d a prime number?
True
Suppose 3*a = -0*a + 2787. Is a composite?
False
Suppose 0*s - v - 236 = 3*s, -3*v = -4*s - 293. Suppose -z = 5*i - 55 - 36, -5*z - 2*i = -570. Let o = s + z. Is o composite?
True
Suppose 0 = -a + 95 + 104. Suppose -z + a = 54. Is z a prime number?
False
Suppose 385 = m + 128. Is m a prime number?
True
Let d = -63 - -157. Is d a composite number?
True
Suppose -5*w = -5*j - 260, -4*j + 57 = 2*w - w. Is w a prime number?
True
Let y = -14 - -91. Is y a prime number?
False
Let x be (3/5)/(6/30). Suppose 0 = -4*k + 4*q + 173 + 235, 4*k - 387 = -x*q. Suppose 2*o = -o + k. Is o composite?
True
Let p = 1652 - 519. Is p a prime number?
False
Let s(d) = -2*d + 1. Suppose 2 = -b + 3. Let p be 2 - 0 - b - 6. Is s(p) a composite number?
False
Is (-2550)/(-16) - 9/24 prime?
False
Let b be ((-2)/(-4))/((-2)/(-8)). Suppose 3*t + 50 = 2*m, 4 - b = -t. Is m a prime number?
False
Suppose 0 = -3*a - 3*h + 165, -49 - 63 = -2*a - h. Is a prime?
False
Suppose 2*o - 2*h - 1166 = -0*h, 0 = 3*o + 5*h - 1781. Is o composite?
False
Let j be -2*1/(-1) - 0. Is 2*(-230)/(-4) - j prime?
True
Suppose -4*r + 0*x + 1647 = x, -4*r + 5*x + 1629 = 0. Is r a composite number?
True
Let w(m) = -33*m + 13. Is w(-6) prime?
True
Let n(d) = -2*d + d + 8*d**3 - 210*d**3. Is n(-1) a composite number?
True
Let b(j) = j + 3. Let x be b(-7). Let v(a) = -a**2 - 3*a - 6. Let r be v(x). Is 5*r/(-1 - 1) a composite number?
True
Let b be (-8)/(-12)*6/4. Let f = 10 - b. Let a(z) = 2*z + 4. Is a(f) composite?
True
Let r = 1 - -3. Is ((-582)/r)/3*-2 prime?
True
Suppose 0 = 3*o - 2*o - 1897. Is o prime?
False
Let g be (-1*32/(-1))/1. Let o = g + -1. Is o prime?
True
Suppose 34 = 3*a - 29. Suppose 0 = f - 3*f + o - 6, 4*o - a = 5*f. Is -3 + f/((-2)/140) a composite number?
False
Let p = -1111 + 1613. Is p a prime number?
False
Suppose 0 = 2*y + 2*m - 184, 5*y - 3*m - 436 = -0*m. Is y a composite number?
False
Suppose -4*j = j - 35. Suppose -u + j = 31. Let h = 15 - u. Is h composite?
True
Let g be (-20)/(-1)*(-21)/(-14). Suppose -5*c + 40 = -g. Is c a composite number?
True
Let m = 2050 + -519. Is m prime?
True
Suppose -3*d = 4*u - u - 336, 2*d - 218 = -5*u. Suppose 3*z - d = -0*z. Is z a prime number?
False
Let t = 43 - 33. Is t a composite number?
True
Let r = -1 + 1. Let a(x) = x + 2*x**2 + 0*x**2 + 37 - x**2. Is a(r) composite?
False
Suppose 280*y - 283*y = -1893. Is y prime?
True
Suppose 0 = -w - 0*w - 2. Let y(z) be the first derivative of z**3/3 - z**2 - 2*z - 1. Is y(w) prime?
False
Suppose -4*k - 960 = -6*k. Suppose 5*x = 4*i + 490, 0 = 4*x + x - 2*i - k. Is x a prime number?
False
Let a = 5359 - 3756. Is a prime?
False
Let t = 8 + -14. Let q(o) = o**2 - 5. Is q(t) prime?
True
Let b(w) = 49*w + 7. Is b(4) a prime number?
False
Let d(x) = -180*x**2 - 2*x - 5. Let r(j) = j**3 + 12*j**2 + 11*j - 4. Let u be r(-11). Let k be d(u). Is k/(-28) - 2/(-8) a prime number?
True
Suppose -3*p + 5 = -40. Let w = p + -9. Is w/8 + 162/8 a prime number