 (t/4)/g - 4 a prime number?
True
Let v = -78579 + 200450. Is v prime?
False
Let z(n) be the second derivative of 3*n**5/20 + 5*n**4/12 + n**3/3 + 7*n**2/2 - 3*n. Is z(4) a prime number?
False
Let b = 202 - -263. Suppose -9*d = -2280 - b. Is d a composite number?
True
Let h = 553 + -233. Suppose 323 = 2*r - m, -2*r - m = -3*m - h. Is r composite?
False
Let i = 62641 + -38234. Is i composite?
False
Let y = -25 - -24. Is y/8 - 594/(-16) a composite number?
False
Let w be 2/5 + 32/(-5). Suppose -4*h = -3*d - 28 + 4, 0 = -h + d + 6. Is (h/(-4))/(w/1492) a composite number?
False
Suppose -13 = -2*q + 3*y + 2*y, 2 = 4*q - 2*y. Let d be (0 + q)/(10/(-40)). Is (30/(-9))/(d/(-78)) a prime number?
False
Suppose -4*o - 5*b = -1259, -927 = -8*o + 5*o + 2*b. Suppose s + 3*s = -168. Let n = s + o. Is n a prime number?
True
Let p(u) = 9*u**2 - u + 2. Let n be p(1). Let h = -5 + n. Suppose -h*j - 41 + 1056 = 0. Is j prime?
False
Let t(w) = 4*w - 4. Let f be t(3). Is 2/f + 4108/16 a prime number?
True
Let l = -6 - -8. Suppose -b = l*k - 1045, -2*b - 5*k = -2*k - 2092. Is b composite?
False
Is 2430 - ((-1)/(-1))/((-15)/(-15)) composite?
True
Let w = -22213 - -34586. Is w a prime number?
True
Suppose 2*r - 841 = y + 2264, 2*r - 2*y = 3106. Let x = r - 491. Is x a prime number?
True
Let l = 45 + -72. Is 31/(-2 + l/(-13)) composite?
True
Is (19207/(-3) - -11)/(4/(-30)) composite?
True
Suppose u + 903 = 2*u + 2*l, 3*u + l - 2699 = 0. Is u a composite number?
True
Suppose -3*x + 15 = 36. Let p(c) = -5*c**2 + 5*c + 7. Let g(m) = -13*m**2 + 10*m + 15. Let t(y) = -2*g(y) + 5*p(y). Is t(x) a composite number?
False
Suppose 0 = 5*n - 10 - 0. Suppose n + 1 = j. Suppose 3*h - 4*i = 443, j*h + 4*i - 240 = 211. Is h prime?
True
Let w(d) = -d - 16. Let j be w(-3). Let g(n) = 11*n**2 - 8*n - 20. Is g(j) composite?
True
Suppose -643 = -3*b + 4*p, 5*b + 0*p - 1075 = 5*p. Let o = b - 78. Is o prime?
True
Suppose -2447 = -2*s + 1931. Suppose 5*y = -2*t + s, -825 - 1357 = -2*t + 2*y. Suppose -2*k + t = 158. Is k a prime number?
True
Let x(i) = -i**2 + 7*i + 10. Let n be x(8). Is (-3)/n + (-10707)/(-6) a prime number?
True
Is (-24486)/(-18) + 10/15 a prime number?
True
Let c(t) = 9*t**2 - 3*t - 13. Suppose -2*b - 27 = 3*o, o - b + 36 = -3*o. Is c(o) a prime number?
True
Suppose 0 = -3*a + 3*l + 14321 + 13414, -4*a + 36959 = 3*l. Is a a prime number?
False
Suppose 2*s = -3*i - 3202, -2*s - 3*s = -2*i + 8024. Let l = -385 - s. Is l prime?
False
Let j(v) = -v**2 + 3*v - 3. Let h be j(5). Let y = h - 91. Let x = y - -295. Is x a prime number?
True
Suppose 2*t + 0*t = -4*x + 78180, 78176 = 4*x + 3*t. Is x a composite number?
True
Let u be 4*2/4 + 9. Let w(v) = v. Let t(k) = k**2 - 2*k + 3. Let g(j) = t(j) + 5*w(j). Is g(u) composite?
False
Let j = 49 - 91. Is ((-8204)/j)/(2/3) a composite number?
False
Let d(r) = -204*r**2 + 8*r - 14. Let w(f) = -f**2 - f - 1. Let a(j) = -d(j) - w(j). Is a(2) a composite number?
False
Suppose 221*x - 234*x + 183391 = 0. Is x a composite number?
False
Suppose 2*l - 8174 = 2*i, i = -16*l + 21*l - 20451. Is l composite?
False
Let f(g) = -30*g + 7. Suppose -3*v = 0, -3*v = -5*c - 2*v - 35. Is f(c) a composite number?
True
Suppose 24994 = 15*j - 14441. Is j prime?
False
Suppose 4*h = 3*n + 6556, 26*h + 4917 = 29*h + n. Is h composite?
True
Suppose 10 = -2*m - 26. Let f be (-3 - -2)/(6/m). Suppose -774 = -3*j - f*n, n + 192 = 2*j - 309. Is j prime?
False
Suppose -2*p - 240 = p. Let t be 24/10 + 32/p. Is (-1022)/(-28) - (-1)/t composite?
False
Let q be 5/(-10)*(1 + -1). Suppose 0*f - f + 121 = q. Let p = 242 - f. Is p prime?
False
Let t = -965 + 1356. Suppose q - t = 620. Is q a composite number?
True
Suppose 4359 = 2*m + 1015. Let c = m - 693. Is c composite?
True
Is 49891/3 - 134/(-201) prime?
True
Let r(o) = -573*o. Let b be r(-1). Suppose 3*h - b = u - 5*u, 5*u + 5*h = 715. Let y = u + -3. Is y prime?
False
Let q be 0/(3 - (0 + 1)). Let n be (q/1)/(-1 - 1). Suppose n = -3*w - 2*w + 170. Is w a composite number?
True
Let h = 83 + 128. Is h a prime number?
True
Let t = -51634 - -86523. Is t prime?
False
Suppose n = -2*n + 2391. Let z = -118 + n. Suppose -z = 8*c - 9*c. Is c prime?
False
Let u be 13 + -13 + (-156)/(-2). Suppose 2*o = 8*o - u. Is o a prime number?
True
Suppose -5*p = 4*u - 2951, -u + 734 = -p + 6*p. Is u prime?
True
Let t be -23 - (1 - (0 - 3)). Let n = t - -94. Is n a prime number?
True
Suppose 12*t - 37339 = 4553. Is t a prime number?
True
Let x(c) = 2*c**3 - 11*c**2 + 6*c - 3. Let k be x(5). Suppose -2*l + l - 5*z = -84, k*z = -2. Is l composite?
False
Let y(i) = -i**2 + 6*i - 5. Let f be y(2). Suppose -2*v - q - 14 = 9, -f*v - 4*q = 47. Let n(u) = -43*u - 22. Is n(v) a composite number?
True
Suppose -3*k = -15332 - 11005. Is k prime?
True
Suppose -3*i + 47137 = 5*x - 17013, -5*x = -5*i - 64190. Is x prime?
False
Let k(b) = -b**2 + 2077. Let w be 144/28 - 5 - 3/21. Is k(w) composite?
True
Let z = -45 - -49. Suppose -z*h = h - 7715. Is h composite?
False
Is (2859/(-12) + 3)*(-15 - 5) composite?
True
Suppose -3*i + 1873 = -1490. Is i a prime number?
False
Suppose -3*s - 3 = -2*h, -3*h = -h + 5*s - 11. Suppose h*d = -4 + 169. Is d composite?
True
Let u(l) = -3159*l - 25. Is u(-1) composite?
True
Let k(v) be the first derivative of -61*v**2/2 + 9*v - 8. Is k(-4) prime?
False
Let n = 522 + -519. Let h = 0 + 5. Suppose 2*g + h*d = 131, -3*g - n*d + d = -169. Is g a prime number?
True
Let j be ((-9)/(-2))/(3/(-456)). Let y be ((-3)/8)/(27/(-36))*1958. Let a = j + y. Is a prime?
False
Let i(y) = 3*y + 12. Let p be i(-8). Let m(j) = -j - 8. Let h be m(p). Suppose 658 = h*s + 14. Is s prime?
False
Let o(g) = -g + 2. Let h be o(0). Suppose -5*i + 205 + 390 = -5*n, h*i + 2*n - 246 = 0. Is i composite?
True
Suppose 0 = -4*r, 1 = -p - 2*r - 2. Is 4*(-4)/24*79*p a prime number?
False
Is (-303)/2*((-980)/21 + 2) a composite number?
True
Let u = 21511 - 14861. Suppose -2163 = -7*l + u. Is l prime?
True
Let m = -26 - -26. Suppose 8*i - 197 - 7635 = m. Is i a prime number?
False
Is 319818/54 + (-3 - 31/(-9)) a composite number?
False
Let h(c) = -c + 6. Let o be h(-5). Let b(n) = -o + 16*n + 16*n - 9*n. Is b(6) a composite number?
False
Let i(k) = 288*k - 53. Is i(12) a prime number?
False
Let f(u) be the second derivative of 3/2*u**2 + 0 - 2/3*u**3 + 2*u. Is f(-8) composite?
True
Suppose 0 = -7*f + 4*f + 3, 0 = -i - 4*f + 20. Let p(v) = -8*v**2 + 7*v + 4. Let u be p(-5). Let r = i - u. Is r composite?
True
Let u be (-5 - -3) + 4 - -2. Suppose b + 2*h - 766 = -b, 4*b - u*h = 1572. Suppose 0 = 5*a - a - b. Is a prime?
True
Let k(v) = -2*v**3 + 4*v**3 - 4*v**3 + 3*v**3 + 4 + 2*v**2. Let h be k(0). Is 124 + (h/4 - -2) a prime number?
True
Suppose 9*l - 4928 - 2191 = 0. Is l prime?
False
Let b(z) = 5*z**3 - 2*z**2 - 10*z + 6. Is b(4) a prime number?
False
Suppose -5*b - 10 = 0, 4*h - 525 + 47 = 3*b. Suppose -j + h = -n, 0 = -j - 2*j + 2*n + 351. Is j a prime number?
False
Suppose -30 = 6*q + 36. Is 12/66 + (-6411)/q a composite number?
True
Suppose -3 = l + 4. Let f = 10 + l. Suppose 0 = -2*v + 4*n + 926, n = f*n - 8. Is v a prime number?
False
Let o(b) = -58*b + 25. Suppose f - 3*f + 3*g - 18 = 0, f = -3*g. Is o(f) prime?
True
Let v = 775 + 131. Suppose 2*r = -3*r + 25. Suppose v = -r*o + 3151. Is o prime?
True
Suppose 9 = t - 3*n + 4*n, 2*n - 2 = 0. Suppose i + 3*b = 253, -2*i = t*b - 6*b - 506. Is i a composite number?
True
Suppose 14*f - 4635 = 4731. Is f prime?
False
Let p(k) = 104*k**3 + 4*k**2 - 13*k + 38. Is p(3) prime?
True
Suppose -10274 = 6*c + 4156. Let z = c + 4042. Is z prime?
True
Let q be 32 + 0 + 1*-2. Suppose -5*y = -3*h + 110, -9*h + 14*h = -y + 6. Let x = y + q. Is x composite?
False
Let g be -1 + 0 + (222 - 1). Let l be (15/4)/(33/g). Suppose -57 = -v + l. Is v prime?
False
Suppose y = -5*m - 19, -2*m + 3*y = m - 3. Let u be ((-119)/m)/((-4)/(-60)). Let b = 1080 - u. Is b a composite number?
True
Let p = 3 - -114. Suppose 4*g + 3*x = 468, -g - 7*x + 2*x = -p. Suppose 3*d - g - 60 = 0. Is d composite?
False
Let u(p) = 5*p**3 - 5*p**2 + 4*p - 27. Is u(10) prime?
True
Suppose 627 = 4*j - 3*j. Suppose j = -5*r + 2282. Is r a prime number?
True
Let f(c) = -c**3 + 21*c**2 - 24*c + 5. Let l be f(22). Is l*4/((-8)/2) a composite number?
True
Suppo