9 = -0*x - x. Let m = x - 168. Is m a composite number?
False
Suppose -5*i + 5*r - 38 = -2*i, r + 89 = -4*i. Is -1 - 7/(i/36) prime?
True
Is -5 - (-268 - -4 - -2) a composite number?
False
Suppose 2030 = 5*q + 3*g, 2*q + 5*g = 4*g + 812. Suppose -q = -3*h - 5*f, -2*h + 6*h + f = 513. Is h a prime number?
True
Suppose -4*o - 34 = -6*o. Suppose 49 = 2*m - o. Is m prime?
False
Let o = -119 - -342. Is o composite?
False
Let a(o) = 255*o**2 + 2*o + 1. Is a(-1) composite?
True
Let c(z) = z**3 - z**2 - 4*z - 1. Let p be c(3). Suppose -o = p*q - 164, -15 = -5*q - 0. Is o prime?
True
Suppose -2*w = 3*c + 23, 0 = -2*w - 0*c - 5*c - 33. Let d = -5 - w. Is 80*1 + 1*d a prime number?
True
Suppose -3*g - 153 - 48 = 0. Let x = g + 98. Is (x/(-4))/((-1)/4) prime?
True
Let i be 18/5 - (-10)/25. Suppose -i*l + 34 = -178. Is l prime?
True
Let m be 2/6 - 591/(-9). Suppose m = 4*o + 10. Suppose 2*l = 4 + o. Is l composite?
True
Let j(x) = 43*x - 13. Suppose -4*f - 2*v = 2*v - 52, 3*v = 4*f - 45. Is j(f) prime?
True
Suppose 5*p = 4*b - 3503, 5*b + 0*p = -3*p + 4388. Is b a prime number?
True
Let l be (0 - 0) + -3 + 1. Let x(j) be the third derivative of -149*j**4/24 - j**3/2 - 15*j**2. Is x(l) a composite number?
True
Suppose -52 = -u - 0*u. Suppose 3*x = u + 59. Is x prime?
True
Suppose -2*a + 3*f - 5 = 0, -4*f - f = -5*a - 5. Suppose -3*d = a*d, -4*d = 4*t - 1036. Is t composite?
True
Let d = 17 - 21. Is d*4/((-16)/199) composite?
False
Let y = 1 - 1. Suppose -d - 2*d + 363 = y. Is d a composite number?
True
Let w = 10 - 40. Let y = w + 43. Is y composite?
False
Let z(g) = -g**2 - 5*g - 2. Let l be z(-4). Let n = 5 - l. Suppose -3*s = -2*o - n*o + 1115, -o + 5*s + 223 = 0. Is o a composite number?
False
Suppose 0 = -s - 4, -5*y = -s - 4. Suppose 0 = 4*q - 2*x - 16, -5*x - 1 = 3*q - y. Suppose -q*l - 2*l = -575. Is l composite?
True
Suppose 2*t = 173 + 81. Suppose a + 84 = -0*a. Let r = a + t. Is r a composite number?
False
Let f be 0 + 0 + 1 + 2. Suppose 7*b - f = 6*b. Is b composite?
False
Is 3/(-2)*(-48818)/33 prime?
False
Suppose -2*h + 7 = -5*f - 54, 3*h + 5*f - 29 = 0. Let n be h/8 + (-3)/12. Suppose -2*r + 27 = 2*p - 3*r, n*p + 3*r - 39 = 0. Is p a prime number?
False
Suppose w + 3*j = 1563, -11*j + 3134 = 2*w - 9*j. Is w prime?
False
Let x(h) = 4*h**3 - h**2 - 3*h - 3. Let n be x(-3). Let a = 177 - 7. Let o = a + n. Is o a composite number?
False
Let y(a) = 3*a**2 + a - 14. Let q be y(-7). Suppose q = 4*b + 2*r, 8 = b - 3*r - 20. Is b a prime number?
True
Suppose 0*j + j - 130 = 0. Let q = j - 194. Let p = 122 + q. Is p prime?
False
Let y(p) = -p**2 + 6*p + 4. Let c be y(7). Let h be (-44)/(-12) + (-1)/c. Suppose 0 = -2*j - 4*q + 166, -h*j + 2*q - 3*q = -318. Is j a composite number?
False
Let t = -257 - -1816. Is t a composite number?
False
Suppose 3*v - 515 = 5*f + 7*v, -4*v - 20 = 0. Let j be f/(-12) + (-2)/8. Suppose -2*m - j*k + 48 = -6*k, -53 = -2*m - 3*k. Is m a composite number?
False
Suppose 3*h - 5*h = -8. Suppose -y + u + h = 0, 0 = -2*u + u + 3. Is y prime?
True
Suppose 2 = k - g, 2*g = 6*g. Suppose 4*o - k*o + 1169 = 3*n, 5*o = -5. Is n composite?
False
Suppose 3*m - m - 533 = -5*j, -991 = -4*m + 5*j. Is m a prime number?
False
Suppose -3 = -2*w - 4*g - 1, 0 = 3*w - g - 17. Let b(k) = k + 10. Let h be b(-7). Suppose -o = -n + 14, -2*n + w*o + 16 = h. Is n a composite number?
False
Suppose s + 0 = 1, -88 = -k - 4*s. Let u = k + -47. Is u a composite number?
False
Suppose -3*r + 4*t + 3 = -1, 2*t + 2 = 3*r. Suppose 3*h + r*h - 46 = -z, 4*z = -2*h + 34. Is h prime?
False
Let c = 7 - 3. Suppose 42 = -5*j + 3*p, -c*j + 7 = -3*p + 43. Is 214/6 + j/9 a composite number?
True
Let v = 14 - 14. Is v/(-1) + 300 + -5 composite?
True
Let v be (-10)/5 + 2 + 0. Suppose -4*n = -2*r + 58, v = r + 4*n - 0*n - 29. Suppose 2*s = 37 + r. Is s composite?
True
Let c = 5 + 1. Is c prime?
False
Suppose -2*p = -2*h, -3*h - 8*p + 3*p + 16 = 0. Let f be 1*(21 + (-6)/h). Is ((-276)/f)/(2/(-21)) a prime number?
False
Let i be 3273/27 + 6/(-27). Let y = 6 + i. Is y prime?
True
Suppose -n - 21 = x - 3*x, -31 = n - 4*x. Let r = n + 34. Is r prime?
True
Let v(q) = -2*q - 2. Let n be v(-1). Suppose n = k + 35 - 198. Is k a composite number?
False
Suppose 59 = 5*a + 174. Let b = 96 - 98. Let q = b - a. Is q a composite number?
True
Suppose 5*p - 25 = 0, -4*p + 6 = h - 16. Suppose 0 = -h*w + t + 110, 0 = 3*w - 2*t - 116 - 51. Is w a composite number?
False
Suppose -2 = -c + 146. Let x be 182/5 + (-12)/(-20). Suppose -n + t = -x, -c = -4*n - t - t. Is n a prime number?
True
Let y be -2*((-297)/6 + 1). Is (y/2)/(14/28) a prime number?
True
Let u = 0 - -4. Suppose 44 = 3*h - u*h. Let m = -31 - h. Is m a composite number?
False
Suppose -v - 71 = -t, -4*t = -2*v - 378 + 102. Is t a prime number?
True
Is (-6 + 7)*((-380)/(-2) + 1) prime?
True
Let v = 220 - 71. Is v prime?
True
Let k(b) = -b**2 - 8*b + 1. Suppose 9 = 3*s - 12. Suppose 5*c = -3*a - 42, 13 = -2*c - 2*a - s. Is k(c) a composite number?
False
Suppose 0 = -3*l + 25 + 2. Suppose -5*q - 4*v = -13, -2*q + l = -3*v - 10. Suppose -2*j + 76 = q*z, -16 = -2*z - 2*j + 18. Is z a composite number?
True
Let h(l) = 2*l**3 - 2*l - 1. Let c be h(-1). Let f be (c/(-2))/((-2)/(-204)). Suppose -f - 15 = -2*u. Is u composite?
True
Let w(b) = 487*b - 40. Is w(5) prime?
False
Suppose 4 = 3*p - 449. Let v = p - 72. Is v prime?
True
Let j = 715 + -431. Suppose -5*n + j = -51. Is n prime?
True
Suppose -3*z + 2289 = -0*z. Is z prime?
False
Suppose p - 23 = 2*b, 2*p - 25 = 3*b + 18. Let r be (4/14)/(9/63). Suppose j - p = r. Is j a prime number?
True
Let j = -2 + 5. Suppose i - j*i = 0. Let d(w) = w**2 + 11. Is d(i) prime?
True
Suppose 6204 = 7*x + 1346. Is x a composite number?
True
Let p(r) = -r**3 - 24*r**2 - 25*r + 7. Is p(-23) composite?
False
Suppose 2*i + 4 - 8 = 0. Suppose k + 4*r = 2*k - 49, 5*r + 89 = i*k. Is k prime?
True
Let j(v) = -v**2 + v + 2. Let r be j(0). Suppose r*a - 771 = -a. Is a prime?
True
Let w = 17 - 12. Suppose -f = -w*u + u - 247, 2*f - 3*u - 499 = 0. Is f prime?
True
Suppose -3*h = -4*w + 7, w - 2 - 5 = -h. Suppose 0 = 5*q + w*t + 44, -7 = 3*t - 4. Let d(p) = -p**2 - 10*p - 10. Is d(q) composite?
True
Suppose -5*t + 1182 = -1933. Is (3*1)/(21/t) composite?
False
Let b be -5*(0 + 22/5). Let k = 7 + b. Is ((-5)/k)/(1/111) prime?
True
Suppose 0 = -z - 4*z. Suppose z = v - 2*h + 3*h - 1, -17 = -v + 3*h. Suppose d = -r - 4*d + 58, v*r = -d + 170. Is r a prime number?
False
Suppose 3*y - 3401 - 1228 = 0. Is y a composite number?
False
Let u(z) = z + 2. Let y be u(-4). Let s be 1/y + 3/2. Suppose 4*h - 28 = 3*f - 7*f, -4*f + 5*h = -s. Is f a composite number?
True
Suppose 7*a - 76 = 3*a. Is a a composite number?
False
Let q = -6 - 0. Is q/9 - (-161)/3 prime?
True
Suppose -3*q + 4*r + 1263 = 2*r, 0 = -2*q + 4*r + 850. Is q composite?
False
Suppose 3*j = -4*i - 1, 4*j - i - 8 = -4*i. Suppose -150 = 4*x - 6*x + 4*c, -j*x + 5*c + 385 = 0. Is x a composite number?
False
Suppose 5*l = 82 - 482. Let i = l + 25. Is (-1)/((2 - 1)/i) composite?
True
Let k = -168 + 523. Is k a composite number?
True
Let a = 373 + -56. Is a composite?
False
Let u = 2087 + -936. Is u composite?
False
Let x be 2/6 + (-1)/3. Suppose x = -2*o + 3*z + 3 - 1, -4*o + z + 24 = 0. Is o a prime number?
True
Let o(f) = -f**2 + 1. Let x(a) = 2*a**3 + 3*a**2 + 2*a - 1. Let n(m) = 6*o(m) + x(m). Is n(4) a composite number?
True
Let l = -16 + 4. Let r = l + 9. Is ((-7)/r)/(1/3) a composite number?
False
Suppose -5 = 4*a - 21. Suppose -5*c + 10 = -2*g - 3*g, 4*c = a. Is ((-173 + 2)/3)/g a prime number?
False
Is ((-1664)/4)/(-2) + 3 a composite number?
False
Let f = 81 + -25. Suppose f = -3*m - 4*i, 0*m - 5*i = -2*m - 22. Let z = m + 22. Is z a composite number?
True
Let j = -133 + 510. Is j prime?
False
Suppose 2*w = 2*u + 212, -290 - 18 = 3*u + 2*w. Let b = 230 + u. Suppose b = 2*d + 24. Is d prime?
False
Is 590 - -6*2/(-4) a composite number?
False
Is (-39)/(-1)*(-10)/(-15) prime?
False
Suppose -14*h + 8*h = -14166. Is h prime?
False
Let s = 17 - -184. Is s prime?
False
Let u = 5 - -2. Suppose -4*b = g - 380, -3*b + u*b - 380 = g. Is b prime?
False
Let s(r) = r**2 + r + 1. Let t(x) = 3*x**2 + 7*x + 5. Let a(n) = -6*s(n) + t(n). Let y be a(1). Is (-266)/y - 3/(-9) 