16 = 0. Suppose -c*g + 71 = -337. Let x = g + -64. Is x prime?
False
Let x(l) = -5*l**2 - 6*l - 4. Let f be (1 + 0)/((-3)/12). Let s be x(f). Is 2/(2 - s/(-33)) prime?
True
Suppose 10*b - 595 = 15*b. Let q(m) = 13*m**2 + 2*m - 2. Let g be q(4). Let i = b + g. Is i composite?
True
Is (1637/(-4))/(13/(-52)) a composite number?
False
Suppose -z - z - 162 = 0. Let c = 80 - z. Is c composite?
True
Suppose -4*v + 1050 = v. Let s(a) = a + 9. Let b be s(-9). Suppose b = 5*m - 0*p + 5*p - v, -2*m + 2*p + 104 = 0. Is m prime?
True
Is (((-16)/12)/(-2))/(2/1941) prime?
True
Let b(y) = -2*y**3 - 19*y**2 + 11*y + 11. Is b(-16) a composite number?
False
Suppose 7*y + 35 = 5*g + 2*y, -2*g + 5*y + 26 = 0. Let s = 6 - g. Suppose -s*d + 260 = d. Is d prime?
False
Let x = -278 - -396. Is x prime?
False
Suppose 6*h = -4*h + 8410. Is h a prime number?
False
Let l(y) = 33*y**2 - 2*y - 10. Is l(-3) composite?
False
Let q(t) = -t**3 - 6*t**2 + 2*t + 8. Let d be q(-6). Let x(w) = -w**2 + 14*w - 5. Let k be x(10). Is k*(d/10 + 1) a composite number?
True
Let r(s) = 2*s. Let g be r(6). Suppose 0 = -5*z + 9*z - g. Suppose -z*j - 36 = -237. Is j composite?
False
Let g(m) = -3*m**2 + 18*m - 5. Let o(a) = -2*a**2 + 9*a - 2. Let r(u) = 2*g(u) - 5*o(u). Is r(7) prime?
False
Suppose 7*a - 10*a + 4191 = 0. Is a composite?
True
Let x(g) = 21*g**3 - 6*g**2 + 6*g - 2. Is x(3) a composite number?
True
Let r = -1 + -1. Let i = 5 + r. Suppose -i = -b, 3*p + b + 1 = 13. Is p prime?
True
Let p(h) = -h**2 - 13*h - 4. Suppose -10 = 3*r + 26. Let w be p(r). Is w/6*(-138)/(-4) prime?
False
Let c be (-591)/(-15) - (-6)/(-15). Let x = c - 4. Let t = x + -20. Is t prime?
False
Suppose 0 = -4*a + 2*h + 8, a - 4*h - 8 = 8. Suppose a*c = -2*c - 12. Let w = 13 + c. Is w prime?
True
Suppose w + 2*w - 2*o = 3359, 0 = 5*w - 5*o - 5590. Is w a composite number?
False
Suppose 5*y - 12 + 2 = 0. Suppose -4*n - 18 = -y*m + 156, m + n = 75. Is m prime?
True
Suppose 4*t - 344 = -m, -4*m = -7*m + 12. Is t a prime number?
False
Let f(x) = 3*x**3 - 7*x**2 + 7*x + 8. Is f(7) prime?
True
Suppose 4*q = 1947 + 3313. Is q a composite number?
True
Let v(u) = -11*u + 7. Let n be (-4)/(4 - 12/4). Is v(n) a composite number?
True
Suppose -a + 3 = -2. Suppose 2*w - 154 = -4*l, -a*w + 446 = -5*l + 136. Is w a prime number?
True
Suppose 4*i - 8 = -f + 23, i + 92 = 5*f. Is f prime?
True
Let a(c) = -c + 15. Let b be a(9). Is 142 - (b/(-2))/3 a composite number?
True
Let w be ((-4)/(-2) + 0)*1. Suppose 0 = -2*v - 3*p + 54, -w*v = -0*p - 2*p - 34. Is v a composite number?
True
Suppose -1106 - 959 = -5*u. Is u a prime number?
False
Let z(r) = -r + 4. Let f be z(-3). Let y(c) = 22*c - 8. Is y(f) a prime number?
False
Suppose b + 78 = 2*f, -5*f = -f - 5*b - 162. Is f composite?
True
Suppose 6 + 26 = -4*v. Let s be v + (-2 + 3)*-3. Let m = 30 + s. Is m composite?
False
Suppose 3*t - k - 3*k = 31, -3*t - 3*k = -3. Suppose -34 - 6 = -t*o. Suppose -2*r + 14 + o = 0. Is r a composite number?
False
Suppose 4*b + 3 = b. Is b/(-1 + -1)*12 a prime number?
False
Suppose 0 = -3*z + b + 1255, 5*z - 2333 = b - 240. Is z prime?
True
Suppose 0*t = -t + 28. Let c = t - -95. Is 12*(c/12)/1 composite?
True
Let y(g) = -g**3 - 2*g**2 + 5*g + 9. Is y(-6) composite?
True
Let i(j) = 27*j**3 + j**2 - 8*j - 9. Let c(r) = -55*r**3 - 2*r**2 + 16*r + 18. Let w(n) = -2*c(n) - 5*i(n). Is w(-4) composite?
True
Suppose 0 = 3*m - 5*c - 8759, 3*m + c + 3*c - 8777 = 0. Is m a composite number?
True
Let q = 9 - 8. Let n be q/(3*(-3)/(-18)). Suppose -n*a + 88 = 2*r, r + 3*a = -0*r + 46. Is r prime?
True
Let o be -1 - 23*(-2 + 3). Let y be ((-6)/o)/((-1)/(-4)). Is 0 - (2 - y)*-37 composite?
False
Let z(m) be the first derivative of -m**4/4 + m**3 + m**2/2 - 4*m - 1. Let r be z(3). Let g = 3 - r. Is g a prime number?
False
Suppose 494 = v - 443. Is v composite?
False
Let n(h) = -2*h**3 - 19*h**2 - 17*h - 19. Is n(-13) composite?
True
Suppose 0 = p - 2*p + 5*t + 10, t = -p - 2. Suppose 0 = -0*i - 2*i - 5*j + 456, p = 3*j - 6. Is i prime?
True
Let o(f) = 11*f**2 + 7*f - 1. Is o(7) a prime number?
True
Let c = 14 + 151. Suppose 0 = 8*m - 3*m - c. Is m composite?
True
Let a(x) = -30*x**3 + x**2 + x + 1. Is a(-1) a composite number?
False
Suppose -l + 20 = 4*l. Suppose 3*a - l*y = 1118, 0*y = a + 2*y - 386. Suppose 4*i = i + m + 380, 3*m = 3*i - a. Is i composite?
False
Suppose -5*q + 49 = -q - k, 5*k = 4*q - 53. Is (-8)/q*(-801)/6 a composite number?
False
Suppose 2*y = 4*h + 1308, 0 = -y - 4*h + 444 + 186. Suppose -m = m - y. Is m prime?
False
Let f = 38 - 17. Is f a composite number?
True
Let o(u) = -74*u**3 - 2*u**2 - 2*u - 1. Is o(-2) prime?
True
Let d(l) = -l**2 + l + 79. Let i = 7 - 7. Is d(i) a composite number?
False
Suppose -r - 4 = -2*r. Suppose 6*i = r*i + 62. Is i composite?
False
Let w(k) = -k**3 + 7*k**2 + 9*k - 8. Let r be w(8). Suppose 3*h + 3*s - 14 = -s, r = -h + 3*s - 4. Let j = 1 + h. Is j a composite number?
False
Let b(f) = f - 3. Let y be b(7). Suppose 3*p - 431 = -y*q, -2*p = q - 0*q - 294. Is p a composite number?
False
Let x(y) = 273*y - 5. Is x(4) composite?
False
Let n be (4/8 - 1)*0. Suppose n = 4*s - 2*z - 378, -s - z + 139 - 37 = 0. Is s composite?
False
Let b(u) = 3*u**2 + 2*u + 1. Let q be b(-2). Suppose 3*d - 3 = q. Suppose -2*j + 0*w + 46 = -d*w, 3*j = -w + 55. Is j composite?
False
Let x be 1 - 3 - -697 - 1. Suppose 5*p - 3494 = 3*i, -p = 3*i - 2*i - x. Is p prime?
False
Let o be (-1 + 6)/(3/30). Let p = 73 - o. Is p composite?
False
Suppose -232 = -5*v + 33. Let h = v - 35. Suppose 3*d = h + 27. Is d a prime number?
False
Suppose 2*k = -4 + 10. Is (-2 - 3)*-8 - k prime?
True
Suppose -4651 = -3*m + 3*r - 1507, -2091 = -2*m + r. Is m a composite number?
True
Is 2/((-3)/((-1671)/2)) composite?
False
Let v(k) = -k**3 + 6*k + 7. Let d(l) = -2*l**2 + 1. Let a be d(2). Let w be v(a). Suppose -5*r - 73 + w = 0. Is r a prime number?
True
Let a(l) = 317*l**2 - 3*l - 3. Is a(-1) composite?
False
Let g = -13 + 7. Let t(a) be the third derivative of a**6/120 + 2*a**5/15 + a**4/6 + a**3/6 - a**2. Is t(g) a prime number?
False
Let w be (3 - 0 - 297) + -2. Let m be w/(-7) - (-10)/(-35). Let u = -5 + m. Is u prime?
True
Suppose 5*n - 3*a = 3985, -n = 2*n - a - 2387. Is ((-4)/(-8))/(1/n) prime?
True
Let b(p) = -p**3 - 2*p**2 - 4. Let v be b(-3). Suppose -s - 2 = -v. Suppose 8*j = s*j + 185. Is j a prime number?
True
Suppose 2*s = 2*h - 314, -5*h + 3*s = -582 - 205. Is h composite?
True
Let c(l) = -5*l**2 + l - 380. Let f(u) = u**2. Let k(m) = -c(m) - 6*f(m). Let h be k(0). Is 2/3 - h/(-15) prime?
False
Suppose -6*l = -4252 + 424. Suppose -2*y + 595 = 5*k + 178, 5*k + l = 3*y. Is y composite?
False
Let o(r) = r + 5. Suppose 2*l = -0*k - k + 1, -2*l + 8 = 0. Let m be o(k). Is (-771)/(-15) - m/(-5) composite?
True
Let w(b) = 4*b**2 - 5*b - 10. Let s be (-7)/(-2 + -2 + 3). Let l be w(s). Suppose 3*j - 5*x - l = -34, -5*j + 195 = 3*x. Is j a prime number?
False
Suppose -431 = s - 1286. Suppose 5*l + 80 = s. Is l composite?
True
Let i(f) = 2*f + 1. Let x be i(1). Let a be (x - (6 - 3))/1. Is 1*37 - a/(-5) a composite number?
False
Let c be -3 + 3 + (1 - -1). Suppose 2*r + 4 = 5*x + 13, -c*r = -3*x - 11. Let z(p) = -p**3 + 7*p**2 + 3*p + 10. Is z(r) prime?
True
Let r = 1880 - 1207. Is r a composite number?
False
Is 17 + -5*6/(-15) a prime number?
True
Suppose 7 = 3*z + 31. Let s(p) = 2*p**2 - p - 3. Is s(z) a composite number?
True
Let o(n) be the third derivative of n**5/60 - n**4/8 - 5*n**3/6 + n**2. Let j(b) = b + 3. Let d be j(3). Is o(d) a composite number?
False
Let v(o) = 82*o + 1. Suppose 6*x - x = 25. Suppose -4 = -x*y + y. Is v(y) a prime number?
True
Suppose -6*u = -7*u + 1639. Suppose -u = -3*v - 412. Is v a prime number?
True
Let c = 4 - -1. Suppose -c*p + 7 = -38. Is p a prime number?
False
Suppose -3*t = 3*s - 1128, 3*s - 5*t = -2*t + 1134. Is s a composite number?
True
Suppose 292 = 4*w - 312. Suppose 5*c - w + 26 = 0. Is c prime?
False
Suppose -2*k - 3*k = -15. Suppose -4*r + 3*z + z = -36, 0 = -4*r - z + 11. Suppose k*h - r*h = -47. Is h prime?
True
Suppose -3*k + 4*k - 4 = 0. Suppose k*s - s = 477. Is s a prime number?
False
Is 6/24 - (-950)/8 a composite number?
True
Let q(u) = u**2 - 7*u - 3. Let r be q(7). Let p be (r/(-2))/((-6)/(-