 = h - -72. Is w composite?
False
Suppose 7*z - 2*z = 30. Is 148/z*6/4 a composite number?
False
Let w be (4 - 3)*(-1 - -3). Is -2 + w/(-2) + 12 prime?
False
Suppose m + 471 - 5174 = 0. Is m a prime number?
True
Is (-1 - 236)/((-60)/40) a prime number?
False
Suppose 4*t + 16151 = 3*f, 5*f - 2*t = -0*f + 26909. Is f prime?
True
Is -5 + (-9)/(-3) + -3 + 2458 a composite number?
True
Let j(a) = 7*a**2 + 2*a. Let u be j(-2). Let l = u - 6. Suppose 3*h = -4*x + l + 43, 2*h - 5*x - 10 = 0. Is h composite?
True
Let o be (-96)/(-10) - 2/(-5). Suppose o*i = 5*i + 10. Is (2/4)/(i/268) prime?
True
Let y(f) = -f**3 + f + 55. Is y(0) a composite number?
True
Suppose 0 = -2*b + 6, 0 = -3*n + 4*b - 137 + 830. Is n composite?
True
Suppose 5*w = 3*j - 14, -w = j - 2*j + 4. Suppose 5*o + j = 3*k, -3*k - 3 = -2*o - 6. Suppose -h - k = -12. Is h a prime number?
True
Suppose y - 2*y = -1441. Is y composite?
True
Suppose -1 = h - 180. Is h prime?
True
Suppose 0 = 3*k - 5*f - 362, f + f = 4*k - 464. Suppose 3*v = 123 + k. Is v prime?
True
Let o be (-8)/12*(-27)/6. Is (4 - o)/((-3)/(-111)) a prime number?
True
Suppose 7*w - 34767 = 18496. Is w a composite number?
True
Suppose -l = -3*g + 1242, -1664 = -2*g - 2*g + 4*l. Is g prime?
False
Is (-3751)/(-3) + (-4)/3 composite?
False
Let k = 2 + -3. Is -52*(k + (-21)/12) prime?
False
Let q = -310 + 941. Is q composite?
False
Suppose 0 = -b - 6*c + 3*c + 3, -4*c - 74 = -3*b. Is 1056/b - (-2)/6 a composite number?
False
Suppose 158 = l - 95. Is l a prime number?
False
Is (192 - 1)/(1 - 0) prime?
True
Let d(a) = -10*a**3 - 5*a - 7. Is d(-2) prime?
True
Let y(v) = -7*v - 7. Suppose 5*h + 10 = 0, 0*h = 5*f + 2*h + 74. Is y(f) a prime number?
False
Suppose -2*q = -4*a - 144, 2*q - 5*q = a + 50. Let r = 12 - a. Suppose -440 = -5*d + v - r, -5*v = 3*d - 206. Is d composite?
True
Suppose 2*f + 2*x = 3*f - 2, 2*x = -3*f - 10. Let r = f + 5. Is 19*4 + r + 0 prime?
True
Let l(o) = -8*o**3 + 4*o**2 - 2*o - 29. Let s(r) = -3*r**3 + r**2 - r - 10. Let h(g) = -4*l(g) + 11*s(g). Is h(-5) a composite number?
True
Is 620 + (1/(-1) - -3) prime?
False
Suppose -2*x + 6 + 2 = 2*q, q = -3*x + 14. Let p(y) = y**3 - y + 228. Let s be p(0). Suppose x*u - 97 - s = 0. Is u a prime number?
False
Suppose 4*q - 21 = -z, -3*q - 2*q + 2*z = -36. Let u(g) = -13*g + 15. Let c(r) = 6*r - 7. Let h(w) = 5*c(w) + 2*u(w). Is h(q) a prime number?
True
Let l(i) = i**2 + 2*i - 34. Let w be l(0). Is 0/(0 + -4) - w composite?
True
Let v(p) = 8*p**2 + 7*p + 21. Is v(-10) a composite number?
False
Suppose -5*g - 5*o + 425 = 0, -g = -5*o + 4*o - 75. Let w = -49 + g. Is w a composite number?
False
Suppose g = 4*j + 12, -3*j + 6*g - 9 = 2*g. Let p be (-2)/(j - (-296)/98). Let m = -52 - p. Is m prime?
False
Suppose 7*k - 2*k = 0. Let v = 10 - k. Is v composite?
True
Let p = -21 + 26. Suppose p*s = 229 + 256. Is s a prime number?
True
Let c = -6 - -6. Suppose g - z - 1 = c, -2*g - z + 15 = -2. Is (9/1)/(g/4) a composite number?
True
Suppose -2*q + 10 = -10. Let g(p) be the third derivative of -p**6/120 + p**5/6 + 2*p**4/3 - 11*p**3/6 - 4*p**2. Is g(q) prime?
True
Let k be (3/(-3) + 1)/2. Let b be 8 + (1 + -1)/1. Suppose k = -b*w + 3*w + 245. Is w a composite number?
True
Let j(i) = i**2 - 5*i + 9. Let c be j(6). Let d be (-272)/(-44) - 4/22. Let g = c - d. Is g composite?
True
Let f(g) = 5*g. Let d(w) = 15*w + 1. Let k(y) = 6*d(y) - 17*f(y). Is k(5) prime?
True
Let k = 15 - 11. Suppose 0*z = k*z. Suppose z = 2*w - 173 - 1. Is w a composite number?
True
Suppose -13 + 3 = -2*x. Suppose -x = -r - 2. Suppose 0*j - r*j + 9 = 0. Is j a prime number?
True
Let d be 1677 + -2 - (-3 + 3). Suppose -5*w + d = -0*w. Suppose 8*x = 3*x + w. Is x a composite number?
False
Let r be 2*(-1)/2 - -5. Suppose -w - r*w = 0. Suppose -i + 5*f = -61, -i + 53 = -w*i - f. Is i composite?
True
Let a(p) = -12*p**3 - 2*p - 1. Suppose 1 = u + 2. Is a(u) prime?
True
Is ((-20110)/18)/(-1) + 8/(-36) composite?
False
Suppose 39 = -x - 24. Let p be (21 - 0)*x/(-27). Let u = 4 + p. Is u a prime number?
True
Suppose -3*x + 6*x = -5*c + 875, 3*x - 847 = 2*c. Let t = x + -170. Is t composite?
True
Is (4559 + 2)*-1*-1 a prime number?
True
Is (-3 + (2 - 0))*-631 prime?
True
Suppose 216 = -3*h + 7*h. Let l = 93 - h. Is l a composite number?
True
Let z be (-1)/(-1) + 4/2. Let l(f) = 52*f - 7. Is l(z) a prime number?
True
Let x be 10/45 - (-4)/(-18). Suppose 2*i = -x*i + 8. Suppose 771 - 175 = i*r. Is r prime?
True
Suppose q + 245 = 53. Let s = -29 - q. Is s prime?
True
Let b(q) = -2*q**2 + 2*q + 2. Let z be b(3). Let k = z - -3. Let v(n) = n**2 + 3*n - 9. Is v(k) a prime number?
True
Let y be (3 + -4)/(2/(-6)). Suppose -y*f = 2*c - 287, 5*f - 2*c = f + 392. Is f composite?
False
Let t(q) = 6 - 89*q - 5 + 4 - 3. Is t(-4) a composite number?
True
Let d(m) = 1 + m**2 + 0*m**2 + 2*m**2. Let a be d(-1). Suppose a*j - 75 - 233 = 0. Is j composite?
True
Let v(n) = -n**3 + 11*n**2 - 5*n + 6. Is v(5) a prime number?
True
Let h(j) = -2*j - 5. Let u(t) be the first derivative of -t**3/3 + 3*t**2/2 + 9*t - 2. Let c(y) = -5*h(y) - 2*u(y). Is c(-5) a composite number?
False
Let x = 9 + 1659. Let p = 179 + x. Is p prime?
True
Is (3 - 3) + (0 - -74) composite?
True
Let s(j) = j**3 + 7*j**2 - 8*j + 2. Let v be s(-8). Let k(g) = 6*g + 5*g + g - g**v - 4. Is k(11) a composite number?
False
Let b = -42 - 25. Is -2 - -4 - (b + 2) prime?
True
Suppose -5*y + 2 = -18. Is 124*((-7)/2 + y) prime?
False
Suppose 0 = -2*c + 8, 2*s + 66 = -c - 24. Suppose 0*n - 2*n - 32 = 0. Let t = n - s. Is t composite?
False
Let f(z) = -z**3 - 6*z**2 - 6*z - 5. Suppose 3*a - 2*d = -4*d - 15, 2*a + d + 10 = 0. Let u be f(a). Suppose 0 = -u*b - 4*b + 76. Is b a composite number?
False
Suppose -l = i - 0 - 6, 5*i - 26 = -3*l. Suppose -4*z = 5*w - 0*z - 10, 0 = i*w - 3*z - 8. Suppose 0 = -0*n + n + 5*o - 241, n - 255 = w*o. Is n composite?
False
Let k(g) = 7*g**2 + 6*g + 4. Is k(-5) composite?
False
Suppose -3*b - 23 = b - 5*q, -2*q + 2 = 2*b. Let g = 2 + b. Suppose 2*i + 3*i - 175 = g. Is i prime?
False
Let o be 5*4/((-20)/(-3)). Suppose -2 + o = i + 2*y, 5*i + y = 5. Is (-2 + 0 - -33)*i prime?
True
Let d(h) = -h**3 - 7*h**2 + 5*h - 11. Is d(-10) a prime number?
True
Suppose -3*q + 4*f + 3 = -22, -f - 19 = -5*q. Suppose 4*c - 2 = 134. Let j = q + c. Is j a composite number?
False
Suppose 26 = -4*s - 2*u, -3*s = -s - 2*u + 10. Let h = 9 - s. Is h a prime number?
False
Suppose -4*a + 5*a = 2. Is (0 + 0 - -29) + a prime?
True
Let s = 32 + 226. Let v = s + -182. Suppose -v = -3*u - 10. Is u a prime number?
False
Let v(l) = 8*l**3 - 4*l + 7. Is v(3) prime?
True
Suppose -3*n - 29223 = -12*n. Is n a prime number?
False
Let v(l) = 11*l - 3 + 0 + 0 + 2. Is v(2) a prime number?
False
Let b be (-10)/(-3)*(-18)/(-15). Suppose 43 = b*r - 1. Is r composite?
False
Let u = 581 - 344. Suppose -s - 2*s - 5*q + 197 = 0, -3*s + 3*q = -u. Is s a prime number?
False
Let g be (-3)/((27/(-6))/3). Suppose 2*t - 3*t + 4 = g*b, 0 = 5*b + t - 16. Suppose s - 15 = -b*s. Is s a prime number?
True
Let k = -2 - 3. Let o = -5 - k. Suppose -6*y + 2*y = -n + 303, -n - 2*y + 309 = o. Is n composite?
False
Let a(w) = -w**3 - 8*w**2 - 8*w - 1. Let j(u) = u**2 + u - 1. Let q(t) = -a(t) + j(t). Is q(-7) composite?
True
Let v = 2304 + -1261. Is v prime?
False
Let g(l) = 3*l + 4. Let z be g(3). Let d = z + -39. Let v = 65 - d. Is v a composite number?
True
Suppose 2*i + 4*r = 6, 0*r - r = 0. Suppose -4 = -x - i*n + 69, 3*n = -12. Is x composite?
True
Suppose -4*a = -5*a + 467. Is a composite?
False
Let b(h) = 12*h**2 - 3*h - 2. Is b(3) a prime number?
True
Suppose -5*h + 3*u = -334, 4*h - 272 = 4*u - 0*u. Is h prime?
False
Let i = 8320 - 4289. Is i composite?
True
Let o be -2 + 2 - (-10)/2. Suppose o*p = p + 56. Is p a prime number?
False
Let k(i) = 3*i**2 - i. Let r be k(-1). Suppose 4*n = -0 + r. Is n*65*(1 + 0) a composite number?
True
Let t(x) = -x**2 + 11*x - 2. Let r be t(5). Suppose 240 = 4*c + r. Suppose -c = -0*h - h. Is h a prime number?
True
Let v(c) be the third derivative of -c**6/120 + c**5/30 - c**3/6 - c**2. Is v(-2) a composite number?
True
Suppose 4*o + 122 = 2*x, 3*x + 4*o - 207 = 2*o. Is x composite?
False
Let k(t) = t**2 + t - 1. Let u(n) = -7*n**2 - 10*n + 9. Let m(x) = 6*k(x) + 