?
True
Let m = 17 - 5. Let g = m + 2. Is g prime?
False
Let j = -693 + 1214. Is j prime?
True
Let u = 3 + -3. Suppose 4*g + 0*g - 92 = u. Is g prime?
True
Let h(s) = -s**2 - 6*s - 1. Suppose j = 6*j + 25. Let w be h(j). Suppose 2 = w*r - 14. Is r a prime number?
False
Let j(x) = x**2 + x. Let z(p) = -24*p**2 + 3*p + 2. Let w(m) = -2*j(m) - z(m). Is w(-3) composite?
False
Let t(v) be the first derivative of -1/4*v**4 - 2*v**2 + 4*v**3 - 3 - v. Is t(8) prime?
True
Let i = -8 - -10. Suppose i*y + 2*y - 820 = 0. Is y prime?
False
Let k = 3 - -2. Is 10/25 - (-128)/k composite?
True
Let w be 86/(-4)*(-8)/(-2). Let c(b) = 26*b + 7. Let g be c(6). Let u = w + g. Is u a composite number?
True
Suppose -290 = -5*d + 3*d. Is d composite?
True
Let x(b) = -3*b**2 + 3 + b**3 + 9*b**2 + 3*b**2. Let p be x(-9). Suppose 0*d = 2*d + t - 4, p*d - 6 = t. Is d a prime number?
True
Let h = -14 + 50. Let c = 53 + h. Is c a prime number?
True
Let l(j) be the first derivative of 11*j**2/2 - 3*j - 3. Is l(11) a prime number?
False
Suppose q = 2*w - 329, 4*w - q - 166 = 3*w. Is w a prime number?
True
Suppose 2*g + 5*r = 254, r + 454 = 5*g - 181. Is g prime?
True
Let u = -78 + 641. Is u prime?
True
Suppose 0 = -5*d - 5*k - 20, 4*k + 14 + 2 = 3*d. Suppose d*v + 3*v - 3*f = 144, -4*v - 3*f = -213. Let m = 88 - v. Is m a composite number?
False
Let f = 3 + -2. Let j = f + -2. Is 149/4 + j/4 prime?
True
Let l(c) = 3*c - 1. Let w be l(1). Let m(a) = -w*a - 1 - a + 2*a. Is m(-4) composite?
False
Let q = 307 + -130. Suppose q = d + 2*d. Is d composite?
False
Suppose -4*z - 4*x - 66 = -26, 4*z = -x - 34. Let f = z - -29. Is f composite?
True
Let m(q) = q**2 - 4*q. Let t be m(6). Let f(d) = d**2 - 10*d - 10. Is f(t) composite?
True
Let o be (3 - -2)/(4 + -3). Let l(s) = 4*s + 1. Is l(o) a composite number?
True
Suppose -2 = -w + 3. Suppose -t + 412 = 5*o, -w*o + 421 = -t - t. Is o a composite number?
False
Is 2/(-5) - 187/(-5) prime?
True
Let d(u) = 150*u**3 - 2*u**2 + u. Is d(1) a composite number?
False
Let d = -80 - -139. Is d a composite number?
False
Let h = 101 + -52. Is h composite?
True
Suppose 2*p = 8, -3*p + 516 = 4*a - a. Let j = a - 71. Is j composite?
False
Is ((-114)/12)/(2/(-4)) a composite number?
False
Let k(h) = 4*h**2 - 9*h + 7. Is k(8) prime?
True
Suppose 0 = -s - 4*c + 307, -3*s - 2*c - 325 = -4*s. Let d = 35 - s. Let k = d + 441. Is k a prime number?
True
Let u be (-4)/(-14) + (-1905)/(-21). Let t = u - -29. Suppose -1310 = -4*o - 3*x, -o + t + 211 = -x. Is o prime?
False
Let u be 99/(-12) - (-2)/8. Let o be (-2)/u + (-15)/(-4). Suppose -o*j + 405 = 5*d - 8*j, j = 5. Is d composite?
True
Suppose 2*p + 8 = j - 0*p, j - 17 = 5*p. Let z = j - 1. Is ((-22)/(-8))/(z/28) a prime number?
False
Suppose -4*f + 18369 = 3*r + 976, 0 = 4*f - 2*r - 17398. Is f a composite number?
False
Let f be (-2)/(-6) - 1364/(-12). Suppose 0 = 5*g + 403 - 18. Let q = f + g. Is q composite?
False
Let t = 73 - 20. Is t a composite number?
False
Suppose -14 = -5*n + 6. Suppose 0 = -n*i - 3*r + 66, 0 = -4*i + 5*r + 32 + 50. Suppose 2*x - i = 56. Is x a composite number?
False
Suppose -2*k - 388 = -6*k. Let i = 9 - 5. Suppose i*l - k = 107. Is l prime?
False
Is 22/(4*(-1)/(-62)) a composite number?
True
Suppose -4*d + 4*w + 10856 = 0, -7*w + 2*w = -25. Is d a composite number?
False
Suppose -z = 2*s + 28, 2*z = 4*s - z + 36. Let g = 9 - s. Suppose 0*q + g = 3*q. Is q a prime number?
True
Is (4/(-6))/(4/5844)*-1 composite?
True
Let c(q) = -2281*q - 3. Is c(-2) a prime number?
False
Let g(d) = d**3 - 2*d + 59. Is g(0) a composite number?
False
Suppose 3*n - 1028 - 1271 = -2*c, -3*c = 12. Is n a composite number?
False
Let z = 4 + 0. Suppose z*f = -4 + 16. Is f*(3 - 84/(-9)) a prime number?
True
Suppose 2*c = -s - c + 16, s + 5 = 4*c. Let h be (-1367)/(-3) + (-2)/3. Suppose 2*i + h = s*i. Is i a composite number?
True
Suppose 5*k = -4*o + 20, -3*o - 4*k = -8 - 7. Suppose u = f - 6, f + u = o*u + 9. Suppose 3*x = -3*c + 81 + 39, f*x - 191 = -2*c. Is x composite?
False
Suppose 5 = -v + 90. Suppose -2*o + 303 = 4*a + v, 5*a = -25. Is o prime?
False
Let n be (4/3)/((-7)/(-231)). Let x = 163 - n. Is x prime?
False
Let x(b) = b**2 - b. Let m be x(2). Suppose 6*h - 580 = m*h. Is h composite?
True
Suppose 2*l + 14 = 4*j, 6*j - 2*j - 23 = -l. Suppose 2*z = 3*m + 1, 3*z = -2*z - l*m + 13. Suppose 2*p = -5*v + 174, 3*v - z*v = 3*p - 261. Is p a prime number?
False
Let g(a) = 88*a + 1. Let w be g(-1). Let z = -41 - w. Is z a composite number?
True
Let f(m) = -m**3 + 5*m**2 - 6. Let h be f(6). Is (1/(-3))/(2/h) composite?
False
Let s(r) = 2*r**2 + 7*r. Let t(k) = k**3 - 10*k**2 + 9*k - 5. Let q be t(9). Is s(q) composite?
True
Suppose 7*x = 2*x. Suppose x = 2*s + 4*l - 90, 2*l = -2*s - 13 + 95. Is s prime?
True
Let r(z) = -11*z**3 + 5*z**2 - 1. Let s(b) = -22*b**3 + 11*b**2 - 2. Let i(x) = -13*r(x) + 6*s(x). Is i(4) prime?
False
Suppose -7890 = -13*h + 209. Is h a composite number?
True
Suppose 0 = -z - z. Suppose -3*w + 3*r + 0 = -3, 2*w + r - 8 = z. Is w a prime number?
True
Let v = -5 + 10. Let i be (0/(4 - 2))/1. Suppose i*z = -v*z + 415. Is z prime?
True
Suppose -3*b = -7 + 4. Let v(q) = -15*q - 3 + 1 + b. Is v(-4) prime?
True
Suppose -4*d + 79 = -269. Let w be (-1 - -2) + 10 + -5. Is ((-28)/w)/((-2)/d) prime?
False
Let o(v) = -2*v**3 - 10*v**2 + 21*v - 8. Is o(-11) a composite number?
False
Let x(u) = -3*u**3 + u**2 + u. Suppose 2*f = -0*f - 8. Let c be (f/(-6))/(4/(-6)). Is x(c) a prime number?
True
Let z be 5 + 6*2/(-4). Is 652/z - (-24)/8 a prime number?
False
Is (3 + 5)/4 + (35 - 0) prime?
True
Let n be (-2 - -313) + (4 - 6). Let o = n + -160. Is o a prime number?
True
Suppose 140 = m + 31. Is m a composite number?
False
Let t = 18 + -8. Suppose -t*p + 7*p = -165. Is p a composite number?
True
Suppose 3*c + c - 1967 = l, 4*c - 2*l = 1962. Is c prime?
False
Let i be (-12)/(-18) - 115/(-3). Suppose -s = i - 128. Is s a composite number?
False
Suppose 4*r - 84 = -4*q, r - 3*q = q - 4. Suppose r = -u + 41. Is 1 + -1 + 1*u a prime number?
False
Suppose -5*h = 2*r - 1169 + 170, 0 = 2*r + 2*h - 984. Is r a composite number?
False
Suppose -16 - 252 = -h + 5*g, -3*g = -2*h + 571. Is h composite?
False
Let p = -19 - -21. Suppose -4*b = 3*l - 2549, b + p*l + 2*l = 621. Is b composite?
False
Let d(w) = -2*w - 2. Let u be d(-3). Let m be (-10)/u*4/(-5). Suppose -m*y + 3*y - 35 = 0. Is y composite?
True
Let n be ((-36)/8)/(6/8). Is 241/2 + (-3)/n a prime number?
False
Let y = 56 + 145. Is y composite?
True
Suppose 4*l + 310 = q + l, l + 890 = 3*q. Is q a prime number?
False
Is (1/3)/(14740/3684 + -4) a prime number?
True
Let o = -787 + 489. Let x = -6 - -5. Is (o/4)/(x/2) prime?
True
Let f = 20 + -36. Let g = f - 6. Is (-9)/(-3)*-1 - g a prime number?
True
Suppose -4*j + 10 = 2*r, 3*r + 3*j = 7*r - 9. Suppose 0*m = r*m + 405. Let f = -78 - m. Is f a composite number?
True
Suppose -4*f = 27 - 7. Let j = 5 + f. Is -3 + j - (-48 - -8) a prime number?
True
Let l(w) be the second derivative of -1/2*w**3 + 1/20*w**5 + 1/2*w**4 + 2*w - 3/2*w**2 + 0. Is l(-5) a prime number?
True
Let v(c) = -3*c**2 - c**2 + 3*c**2 - 9*c + 1. Let q be v(-4). Let w = q - 6. Is w prime?
False
Let s = 4 - 7. Is s/(-6)*6 - -152 a prime number?
False
Let p be 2*1/2*2. Let m(i) = -5*i + p*i**2 - 7 + 7*i + 6*i. Is m(-9) a composite number?
False
Suppose 3*v = 5*k + 10 + 11, 5*v - 5*k - 25 = 0. Suppose 0 = 2*i + v*i - 2564. Is i a prime number?
True
Let r(p) = -p**3 + 8*p**2 - 8*p + 8. Let f be r(7). Let i = -2 + 3. Is 18 + 1 + (f - i) composite?
False
Suppose 3*q = 5*q + 290. Let r = q - -52. Is r*2/6*-1 prime?
True
Suppose 4*w + 2*m - 20 = -3*m, 4*w = -4*m + 24. Suppose 5 = -d + 5*p + 3, 0 = d + 5*p - 8. Is d/(-15) - (-92)/w composite?
True
Let a(c) = c**3 - 6*c**2 + 5*c + 5. Is a(9) a composite number?
False
Suppose -2*k + 2*m + 14 = 4*m, -3*k + 25 = m. Suppose -k = -3*n - 0. Suppose -n*v = 2*z - 3, 3*z - 4*v + v = 12. Is z a composite number?
False
Suppose 3*t = 2790 - 429. Is t a prime number?
True
Suppose v = -v - 4*x + 1436, 2861 = 4*v - 3*x. Let l = v + -339. Is l prime?
False
Suppose 2*k = -2*k + 24. Suppose -3*h = -k*h + 42. Is h a prime number?
False
Suppose -n - 20 + 57 = 0. Suppose -o + 107 = 4*x, -2*o + x - n = -287. Is o a 