*o + r - 3*r - 421, 0 = -c*o + 2*r - 174. Is (4 - o) + (1 - 1) prime?
True
Let g(z) = z**3 + 6*z**2 - 3*z + 3. Let s be g(-6). Suppose 7 = 4*c - s. Is c a prime number?
True
Let l be (-46)/(-10) - 4/(-10). Suppose -3*i - 4*z = -214, -z - 282 = -l*i + 90. Is i composite?
True
Let o(v) be the third derivative of v**4/6 - v**3/6 - 2*v**2. Let u be o(2). Let a(i) = i**2 - 2*i + 4. Is a(u) a composite number?
True
Let h = -218 + 408. Suppose 0 = t - 6*t + h. Is t a composite number?
True
Suppose 4*v + 20 = -i + 3*i, 3*i - v - 10 = 0. Suppose 5*g + i = 97. Is g prime?
True
Suppose f = -2*w + 507, 0 = 7*w - 2*w - 4*f - 1235. Is w a composite number?
False
Let i(y) = 3*y**2 + 21*y - 19. Is i(-16) a prime number?
False
Let q(v) = 2*v**3 - 3*v**3 - 2*v - 3*v**2 + 2*v**2. Let t be q(-2). Is -3 + 1 + 1 + t composite?
False
Let v(t) be the first derivative of 4*t**4/3 + t**3/6 + 3*t**2/2 + 2. Let x(c) be the second derivative of v(c). Is x(5) composite?
True
Suppose -4*k + 4*r = -4, k = -2*k - 4*r + 17. Suppose c - k*c = -38. Is c prime?
True
Suppose 5*f - 12 = w + 3*w, w = -f + 6. Suppose 2*x - 3*h = 140 + 39, w*h = 4*x - 346. Is x composite?
True
Suppose -2*k - 4*y - 12 = 0, 3*y + 12 + 4 = -5*k. Let b = -4 - k. Is b*(143/(-2) - 0) composite?
True
Let l(g) = g**3 + 7*g**2 - 3*g - 6. Let v be l(-5). Suppose -i - 1 = y - 14, -v = -5*i - 2*y. Is i composite?
False
Suppose -5890 - 666 = -4*n. Is n composite?
True
Suppose -3*h + 2 = -7. Suppose 4*c - 5*y = 5*c - 16, 0 = h*c - 5*y - 128. Let j = c + -25. Is j a prime number?
True
Let b = -5 + 8. Suppose 0 = b*n + 2*n - 55. Is n prime?
True
Let l = -2 + -5. Let p(t) = t**3 + 8*t**2 + 6*t - 5. Let b be p(l). Suppose -b*g + 0*g = -178. Is g a composite number?
False
Let p = 767 - 318. Is p prime?
True
Suppose -268 = -2*d - 2*d. Is d composite?
False
Let a(w) = -233*w - 14. Is a(-5) composite?
False
Let a = -296 - -514. Let g = a + -121. Is g prime?
True
Is ((-1264)/24)/(4/(-42)) a prime number?
False
Let b = 808 - 479. Is b a prime number?
False
Let l(m) = 141*m - 4. Is l(3) prime?
True
Let a(w) = 8*w**3 + 5*w**2 - 4*w - 3. Let t be a(4). Suppose 5*f - t = 62. Is f composite?
False
Let s be ((-2)/6)/((-2)/12). Suppose -s*r + 78 = 4*g, r + 3*g - 151 = -3*r. Is r a prime number?
True
Suppose -530 = -4*b + 7650. Is b a composite number?
True
Let g be -1 + 13/1 - -3. Let b = g - 4. Is b a prime number?
True
Let p be (-235)/(-25) + 4/(-10). Let q be p/6*16/6. Suppose -4*w + 59 = -3*a, q*w + w = 4*a + 74. Is w composite?
True
Suppose 3*i + 2*i + 8265 = 0. Let n = i - -2336. Is n a composite number?
False
Let r = 1463 - 780. Is r a composite number?
False
Suppose b = q + 4*q - 2710, -3*q = -3*b - 1638. Is q a composite number?
False
Let p be (-741)/9 - 2/3. Let b = -52 - p. Is b composite?
False
Let u(q) = -2*q. Let g be u(-1). Is (-1 + 128)*(3 - g) composite?
False
Suppose -3*p = -0*p. Suppose p*a = 2*a - 106. Is a composite?
False
Is (4/(-8))/((-1)/26) a prime number?
True
Let s(k) = 4*k - 3. Let n be s(6). Let u be (-52)/(-6)*n/2. Let g = u - 54. Is g a prime number?
True
Let h = 501 + -106. Is h a composite number?
True
Suppose -5 = 5*i - 0. Let x be 3*i/((-1)/10). Let s = x - 15. Is s a prime number?
False
Let a be 2*1 + (-7 - 5). Let l = 17 + a. Is l composite?
False
Suppose -12 = -w - 2*b - 2*b, 3*b - 6 = 0. Suppose w*m = m. Let o(p) = -p + 15. Is o(m) a prime number?
False
Let h = -183 - -313. Suppose -5*g = -10*g + h. Suppose -5*q + 57 = -5*v - 23, 4*v = 2*q - g. Is q a prime number?
True
Let b(r) = 2*r**3 - 2*r**2 - 4*r. Suppose 0*j + j - 4 = 0. Let p be b(j). Suppose -3*d + l = -p, -2*l - l = 15. Is d a prime number?
False
Suppose -3*m = -5*n + 739, m - 449 = -n - 2*n. Is n prime?
True
Let m = 8 - -39. Is m a composite number?
False
Let c = 39 - 34. Let s be 4/(-18) - 1091/(-9). Suppose -54 - s = -c*h. Is h prime?
False
Suppose -3*s = -0*s + 126. Is (-1099)/s + (-2)/12 a composite number?
True
Suppose -19*u + 22*u = 3345. Is u prime?
False
Let t(d) = d**3 - 5*d**2 + 2*d - 1. Let w be t(3). Let h = w + 32. Is h a composite number?
False
Suppose 5*o + 44 + 56 = 0. Let f = 57 + o. Is f composite?
False
Suppose 3*p - 414 - 342 = -3*n, -4*n = -4. Is p composite?
False
Let b(y) = -9*y - 7. Let a(q) = q**2 - 17*q + 10. Let w be a(16). Is b(w) composite?
False
Let v(q) = 4*q**2 - 3*q - 6. Is v(-7) composite?
False
Let k be 0*(1 - 4)/(-3). Suppose 5*q - f - 13 = k, -q + 3 - 16 = 5*f. Let c(u) = 3*u**3 - 3*u**2 + 2*u - 2. Is c(q) a prime number?
False
Suppose 0 = -4*j + u - 6*u + 536, 5*u = -j + 119. Is j prime?
True
Let f be 3 + -1 - 2/2. Is -68*(-13)/4*f composite?
True
Suppose -4*f = -0*f - 20. Suppose -2*g + f*g = 165. Is g a composite number?
True
Let m be (-100)/10*2/4. Let g(i) = -7*i. Is g(m) prime?
False
Suppose -4*b = -3*a - 5 + 22, -3*b + 45 = 3*a. Is a composite?
False
Is -4*(-48)/160*(-9185)/(-6) composite?
True
Let i = -15 - -21. Is i a prime number?
False
Let y be 2 + -5 - (-6)/2. Let g = 2 + y. Suppose -g*o + 207 = -239. Is o composite?
False
Let r(l) = l + 4. Let z be r(0). Suppose 3*c - 5*c = -z. Suppose 5*n + c*d = 269, n - 3*n + 3*d = -119. Is n composite?
True
Suppose 36 - 11 = 5*f. Suppose -4*l - 4*x + 125 + 43 = 0, f*x + 190 = 5*l. Let w = -21 + l. Is w a composite number?
False
Let m(v) = v**2 - 3*v - 5. Let z = -7 + 10. Suppose o = i + 7, 0*o - z = -o + 5*i. Is m(o) composite?
True
Suppose -3*t = k - 70, 5*t - 105 = k - 5*k. Suppose t = 5*d - 160. Is d composite?
False
Let h(j) be the first derivative of -j**3 + j**2 - 13*j + 1. Let g(w) = 2*w**2 - w + 12. Let p(k) = -6*g(k) - 5*h(k). Is p(6) composite?
True
Suppose -i - 3*u = -47, -3*u + 8 = -i + 31. Is i prime?
False
Let u(p) = -p**3 - 7*p**2 + 8*p + 6. Let t be u(-8). Suppose n = t - 2. Suppose 3*x - 163 = -5*z - n, -z = 4*x - 212. Is x a prime number?
True
Suppose -3*p = -4*p + 5. Suppose -u + p*u = 260. Is u composite?
True
Is 221 + (-4)/3*60/(-40) composite?
False
Suppose 0*t = 5*t - 3515. Is t prime?
False
Let j(r) = -3*r**2 - 16*r - 5. Let y(g) = g**2 + g + 1. Let t(d) = j(d) + 2*y(d). Is t(-10) prime?
True
Suppose 3*n = 4*q - 7, -5*n + n = -2*q + 16. Let r(g) = g**3 + 11*g**2 + 4*g + 3. Is r(n) prime?
False
Let s(d) = -123*d - 2. Let y be s(-4). Let c(j) = 19*j**2 - 4*j + 5. Let k be c(4). Suppose -5*u + 191 = 3*n - k, -y = -3*n + u. Is n prime?
True
Suppose 0 = -2*x + 2362 + 312. Is x a prime number?
False
Suppose -8*b = 8768 - 30520. Is b composite?
False
Let i(s) = 210*s**2 + 2*s - 1. Is i(-2) composite?
True
Let i be 4 + -1 + 6/(-6). Suppose -i*v + 0*v = -124. Is v composite?
True
Let c(i) = i**3 - 3*i**2 + 9*i - 2. Let o be c(7). Let g = -96 + o. Is g composite?
True
Let p = -2 + 2. Suppose 7 = u - 1. Suppose -4*h + u = -p*h. Is h prime?
True
Suppose 4*v = -v + 440. Suppose -3*j = -2*j - v. Suppose 4*k = a + j, 0 = 5*k - 5*a - 65 - 60. Is k composite?
True
Let b = 4 + 8. Suppose b + 35 = v. Is v a composite number?
False
Let n(z) = 57 - 5*z**2 - 22 + 4*z**2. Is n(0) a composite number?
True
Suppose 2*z - 161 - 9 = 0. Is z a prime number?
False
Let q be (-3)/(-2) + 6/12. Suppose 4*l = 4*n + 40, 0 = q*n - 3 + 11. Suppose -548 = -4*w + 4*u, l*w = 5*w + 2*u + 141. Is w a prime number?
False
Suppose v = -5*i - 5, 3*v + 0*i + 2*i + 2 = 0. Suppose 5*x + v*x = 0. Suppose -a + x*a = -14. Is a a composite number?
True
Suppose -3 + 4 = i. Let n = i - -79. Let r = n - 42. Is r a prime number?
False
Let n = 720 - 473. Is n a prime number?
False
Suppose -k = 1 + 7. Let b(g) = 3*g**2 - g + 6. Is b(k) prime?
False
Let z = -825 + 1664. Is z a prime number?
True
Is (52/(-12) - -4)/((-2)/11478) a composite number?
False
Suppose 0*y - 4*y = -316. Suppose i + 0*i - y = 0. Is i composite?
False
Let y(o) = -13*o - 2. Is y(-9) a composite number?
True
Suppose 5*k - 3 = 2*k. Is k/(-2 + (-155)/(-77)) a composite number?
True
Is 135/10*4 + 1 composite?
True
Suppose 0 = 3*z - r + 19, 0*r = -4*z + 4*r - 36. Let o(k) = -k**3 - 6*k**2 + 8*k + 5. Let b be o(z). Is (b/16)/(2/(-8)) composite?
True
Suppose x + 3*k - 37 = -10, -3*x - 2*k = -46. Let a(q) = -q**3 + 12*q**2 + 10*q - 2. Is a(x) prime?
False
Suppose -v + 3*v + 168 = 0. Let m = v + 141. Is m a composite number?
True
Let b be ((-9)/(-6))/(6/8). Suppose 0*s = s - 3. Suppose 5*c - 134 = -3*o, -b*o - s*o 