?
False
Suppose o - 186 = -3*g + 517, 0 = o - g - 711. Is o composite?
False
Suppose -5*v - 242 = -4*g + 592, -v + 635 = 3*g. Is g a composite number?
False
Let s be -1 - 1/(-1) - -18. Suppose 0 = -0*u + u - 7. Let r = s - u. Is r composite?
False
Suppose -3*y + 3*c + 156 = -243, 0 = -2*y - 3*c + 256. Is y a composite number?
False
Suppose -3 - 15 = -4*k - 2*r, 0 = 5*k - r - 33. Is k/(-4)*(-364)/6 a prime number?
False
Suppose -j = -4*j + 66. Is j prime?
False
Is (2/(-4))/((-9)/774) prime?
True
Suppose -4*n = -k - 10 - 4, -n - 3*k = 3. Suppose -n*y + 2*y + 20 = 0. Let m = y + -5. Is m a prime number?
False
Suppose -488 = -4*z + 756. Let w = -155 + z. Let f = w + -77. Is f prime?
True
Suppose -4*y - 1068 = -5*t - 16203, -4*t = -2*y + 7566. Is y composite?
True
Let h(m) = m + 3. Let r be h(8). Suppose -2*i + 1 = r. Is ((-7)/(-4))/(i/(-220)) a composite number?
True
Let s be (-1 + -2 + 3)/(-1). Suppose s = -3*q + 6*q - 57. Is q a composite number?
False
Let c = 1309 + 52. Is c composite?
False
Let i(g) = 3*g + 4*g - 2 + 2*g**2 - 6*g. Is i(-7) composite?
False
Let a = -5 + 15. Let c be 15/(-6)*(-12)/a. Suppose 2*b + 40 = c*l, 0*l - 5*b = 3*l - 47. Is l composite?
True
Let p = 4 + 0. Suppose -10 = -p*m + 2. Suppose -3*g + 1139 = -0*g - 4*f, m*f = -4*g + 1477. Is g a prime number?
True
Let a(k) = -2*k**3 - 3*k - 8. Is a(-9) composite?
True
Suppose -i + 5*m + 100 + 161 = 0, -728 = -3*i + 4*m. Suppose -4*k + 5*k = i. Suppose 0 = -0*c + 4*c - k. Is c a composite number?
False
Suppose 3*s = 4*k + 23, k - 3*k - 14 = -2*s. Suppose 3*n + 3*w = 2*n - 38, w = n + 58. Is -2*k/((-4)/n) a composite number?
False
Suppose 5*r + 7 = 2*v, -r - 3*v - 8 = 7. Let x be (2/r)/((-4)/24). Suppose 0 = -p + 4*y - 13, -y - 7 = -x*p + 1. Is p composite?
False
Suppose 0 = -4*t + 5*t + 3. Is t/7 - 2046/(-21) a composite number?
False
Let y(t) = -3 + 4*t + t - 4 + 19*t. Is y(5) prime?
True
Let m = 100 - 43. Is m prime?
False
Let q = 24 + 53. Is q a composite number?
True
Suppose 4*a - 11 = 5*r, -r - 2*a + 4 = -3*r. Let t(f) = -85*f - 4. Is t(r) prime?
True
Let d(k) = -9*k + 5. Let o(x) = 5*x - 2. Let u(a) = -3*d(a) - 5*o(a). Let t be u(5). Suppose 24 = t*l + 4*m - 23, -2*l = -4*m - 2. Is l composite?
False
Let j(c) be the first derivative of 3*c**3 - 5*c - 1/4*c**4 + 4 + 1/2*c**2. Is j(8) a prime number?
True
Let t = -11 - -19. Let z(b) = 17*b - 5. Is z(t) a composite number?
False
Is (13501/(-46))/(-1 - 1/(-2)) prime?
True
Let o(i) = -i**3 - i**2 + 333. Let c be o(0). Let n = -68 + c. Is n prime?
False
Let z(j) be the third derivative of -j**6/120 + 5*j**4/24 - 2*j**3/3 - j**2. Let b be z(3). Let p = b + 23. Is p a composite number?
False
Is -1*(-8)/(-2) - -1155 prime?
True
Suppose 5*j - 204 = 2501. Is j prime?
True
Let k(f) = -2*f**3 - 4*f**2 - 2*f + 2. Let a be k(-2). Let t = -20 + 23. Let h = a - t. Is h a prime number?
True
Suppose 3*g - 531 + 6692 = 4*f, -5*f + 4*g = -7701. Is f a prime number?
False
Let a = 14083 - 8304. Is a a prime number?
True
Let w(v) = -140*v - 15. Is w(-10) a prime number?
False
Let c = -1 - -3. Let h(d) = 15*d**2 - d + 1 - d**2 - 10*d**c. Is h(-2) a prime number?
True
Let r = -514 - -787. Suppose r + 312 = -5*c. Is c/(-6) + (-1)/2 composite?
False
Let d = 1 + -1. Let j be -3 + 5 - (0 + 0). Suppose -2*u + 5*s - 34 = -3*u, d = 5*u + j*s - 285. Is u a prime number?
True
Suppose 4*n = -n - m - 1635, -2*m = -4*n - 1322. Let y = 477 + n. Is y a prime number?
True
Let y(g) = g**2 - 7*g - 3. Let u = 2 - -6. Let f be y(u). Let p = 2 + f. Is p a composite number?
False
Let x be 987/(-12) + (-7)/(-28). Let w be (-681)/15 - 2/(-5). Let q = w - x. Is q a composite number?
False
Suppose 3*n - 5*m - 964 = 360, -891 = -2*n + 5*m. Suppose -n = 2*o + p, -211 = -4*o + 5*o - 5*p. Let a = -119 - o. Is a prime?
True
Suppose 2*f - 5*f = -2253. Is f prime?
True
Let m(h) = -h**2 - 1. Let a be m(0). Is ((-1)/(-3))/(a/(-159)) a composite number?
False
Let q(p) = -4*p**3 - 3*p**2 + 2*p + 4. Let x be (-2)/(4/6) + 0. Is q(x) prime?
True
Suppose 4*j + 2*n = 3*n + 84, 0 = 4*j - 4*n - 96. Suppose 2*u + 30 = 3*u - 4*m, -2*u = 2*m - j. Is u a composite number?
True
Let i be (-6)/21 + (-74)/(-14). Suppose -5*o = 3*j - 104 + 16, i*o = j - 36. Is j composite?
False
Let r(g) = g**3 - 8*g**2 - 3*g - 13. Let l be r(9). Suppose 294 + l = d. Is d a prime number?
False
Suppose -4*t - z = -t - 951, -4*t - 4*z = -1268. Let v = t - 207. Suppose v = d + 4*d. Is d prime?
False
Suppose 0 = -5*p + 7189 - 2119. Let q be p/4 + 5/10. Suppose 0*u = -2*u + q. Is u a composite number?
False
Suppose y - 92 = 5. Is y prime?
True
Let q(h) be the first derivative of -h + 4/3*h**3 + 2 + 0*h**2. Is q(-3) a composite number?
True
Suppose -2 = -2*n + 2. Suppose -n*q - 178 = -4*q. Is q a composite number?
False
Suppose -23*f + 4503 = -20*f. Is f a composite number?
True
Let o be ((-10)/(-4))/(1/2). Suppose 235 = o*w - 0*w. Let d = -16 + w. Is d composite?
False
Suppose -5*d = -j - 0*j + 350, -2*j + 711 = d. Is j a prime number?
False
Let z(v) = -v**2 - 4*v - 3. Let d(l) = -l**2. Let m(c) = -2*d(c) + z(c). Let s be m(5). Is s - (-397 + 2) - 0 a composite number?
False
Suppose 6*i - 1570 = i. Is i a prime number?
False
Suppose -3*r = 5*a + 39, 30 = -4*a - r - r. Let y(s) = 9*s + 12. Let h(z) = 3*z + 4. Let b(x) = -7*h(x) + 2*y(x). Is b(a) a composite number?
True
Let z(k) = -k**2 - 21*k - 7. Is z(-8) a composite number?
False
Suppose 2*c - 7*c - 5*y = -4540, 0 = 5*y. Let x = c - 423. Is x prime?
False
Suppose 0 = 6*o - o - 25. Suppose 5*c - 5*v - o = 0, 2*c + 5*v = 2*v + 7. Suppose -c*t = -5*t + 93. Is t a composite number?
False
Let b(l) = -l**3 - 7*l**2 - 6*l - 7. Let h be b(-6). Is (-40)/(-2) - (h - -4) composite?
False
Let o(t) = -14*t - 9. Let i be o(-6). Let m = i + 2. Is m a prime number?
False
Let v = -151 + 347. Suppose 0*u = -4*u + v. Is u a composite number?
True
Let v = -1449 - -2846. Is v prime?
False
Suppose -2*r = -2 - 6. Is -2 + 1 + r + 6 a composite number?
True
Suppose -8*y + 5*y + 156 = 0. Is 1/(-2)*y/(-2) composite?
False
Let t be 52/5 + (-4)/10. Let v = t - 6. Suppose -v*l = -5*u - 113, -3*l + 71 = -4*u + 3*u. Is l a prime number?
False
Let m be (3 - 5)*(-9)/(-2). Let v be (-1)/(-3) + (-15)/m. Is (v/(-3))/(4/(-222)) composite?
False
Let v be 2 + 3/(6/4). Suppose 0 = v*a - a - 63. Is a composite?
True
Suppose 131 = 2*a - a. Is a a composite number?
False
Suppose 5*g = 2*t + 24, -5*t - 3 = -4*g + 6. Suppose 2*b + g = 4*b. Suppose v - 3*y = 8, 5*y - 140 = -2*v - b*v. Is v prime?
True
Let a = -1 + 3. Let p(f) = 3*f + 1. Let w be p(a). Is (w + -76)*(-2)/6 a prime number?
True
Let g = 58 - 4. Let d be (g/(0 + -2))/1. Let u = 65 + d. Is u a composite number?
True
Suppose -f + 1762 = 2*f + a, -5*f = -2*a - 2955. Is f composite?
True
Let d(o) = 26*o + 3. Let k be d(3). Suppose 0 = -0*f + f - k. Let h = f - 42. Is h a composite number?
True
Let v(f) = -35*f - 53*f - 31*f + 12*f - 7. Is v(-6) a prime number?
False
Let l be -2*(1029/2 - 2). Let m = l - -567. Is (-9)/15 + m/(-5) a prime number?
False
Suppose -3*q - 4 = -19. Let l(u) = 58*u + 5. Is l(q) a composite number?
True
Let d = 275 - 146. Suppose g - d = -0. Let s = -92 + g. Is s composite?
False
Let x = 10 + -31. Let f = 88 + x. Is f composite?
False
Let p(l) = l**2 + 19. Suppose 4*w - 3 = 3*c + 3, 3*c = -3*w - 6. Is p(w) a composite number?
False
Let h(q) = -q + 8. Let p be h(0). Let k be (-2 + 1)/((-2)/p). Suppose g = -3*g - u + 505, -k*g - 3*u = -499. Is g a composite number?
False
Let o = 198 + -77. Is o a prime number?
False
Let y = 5 - -1. Let c(i) = -i**3 + 7*i**2 - 4*i + 1. Is c(y) prime?
True
Let d = 2307 - -1526. Is d prime?
True
Let v = 212 + -110. Suppose 2*b + b - v = 0. Is b a composite number?
True
Suppose 0 = 2*z - z. Suppose 2*f + 1 + 5 = z. Is 3/(-9) - 31/f composite?
True
Let a be (3/6)/((-1)/(-4)). Suppose -5*y - 51 = 2*w - a*y, -11 = 2*w - 5*y. Is (-4)/w + 763/9 a prime number?
False
Suppose 0 = 3*o + 2*p - 929, -o + 1539 = 4*o + p. Is o a composite number?
False
Let y(i) = -i + 4*i + 3 - 5*i. Let t(n) = n. Let v be t(-6). Is y(v) a composite number?
True
Let v = -6 + 8. Is 2*((-165)/(-6) - v) a composite number?
True
Suppose -5*a + 1113 = 5*h - h, 9 = -3*a. Suppose 2*m - h = -m. Suppose -2*k + m - 24 = 0. Is k a prime numb