819. Is z prime?
False
Let l(w) be the first derivative of -317*w**2/2 - 8*w + 28. Is l(-3) prime?
False
Suppose 3*d - 60544 = -5*g, -5*d - 5*g - 63322 + 164212 = 0. Is d a prime number?
True
Let q(g) be the first derivative of -g**4/4 - g**3/3 + 68*g + 2. Let f be q(0). Suppose -2*y + 237 = 3*v - 4*y, v = -3*y + f. Is v a composite number?
True
Let z be 4 - 6/(-15)*-5. Suppose -q - 9 = z*q, 0 = -4*u - 3*q - 9. Is 1/(1/146 - u) composite?
True
Suppose -2*j + 0*j - 6 = 0. Let p be (j/2)/((-12)/(-16)). Is ((-222)/(-9))/(p/(-3)) a composite number?
False
Suppose 2*q - 493 - 12445 = 0. Is q composite?
False
Suppose 2*d - 5*d = 5*z - 24, -4*z - 4*d + 24 = 0. Suppose -2*c - 3*p + 10 = z*c, 0 = -3*p. Suppose c*v - 5*b = -b + 130, -2*b + 136 = 2*v. Is v composite?
False
Let t = 14 - 26. Let v = t - -14. Suppose v*n - 265 = n. Is n a prime number?
False
Suppose -5*d = 20, 4*t - 32 = -3*d - 740. Let q = t + 267. Let k = -62 + q. Is k composite?
False
Let w = 3893 - 2694. Is w a composite number?
True
Let c(l) be the first derivative of 4*l**3/3 - 11*l**2/2 - 22*l - 2. Is c(-15) composite?
True
Is (20014/6)/((-208)/(-39) - 5) prime?
True
Suppose 4*o = 0, -17*w - 44675 = -22*w + 4*o. Is w prime?
False
Suppose 32 = 4*z + 3*p, -4*p = -3*z - 4 + 3. Suppose -z*f + 9340 = -5*w, -3*f = -4*f + 3*w + 1862. Suppose 3571 = 6*c - f. Is c a composite number?
False
Suppose 4 + 11 = -5*f, -5*s = -5*f - 20. Let p(v) = -16*v**3 + 52*v**3 - 2 - 2 + 3. Is p(s) a prime number?
False
Let w(j) = -j - 2. Let u(o) = 1. Let d(t) = 3*u(t) - w(t). Let k be d(-3). Is (-470 + -9)/(-3 + k) prime?
True
Let u = 74 + 194. Suppose -22*o = -26*o + u. Is o composite?
False
Let g be ((-4)/(-6) + -1)*-6. Suppose -2*x - 4*u + 3850 = 0, -g*x + 4*x = 3*u + 3836. Is x prime?
False
Let n = 179210 - 111327. Is n a composite number?
False
Is 5/(45/376797) - 8/(-12) composite?
True
Let k(a) = 3*a + 10. Let q be k(-6). Let t = 11 + q. Is (-33)/(-9)*t*23 a prime number?
False
Suppose -2*a - 5*i = 3*a - 4590, 0 = -a + 4*i + 928. Let l = -473 + a. Is l a composite number?
True
Let z = -1275 + 6321. Let d = -2995 + z. Is d composite?
True
Suppose -4*z = -2 - 2. Let f be -1 + z - (-4 + -694). Suppose -3221 = -3*c - f. Is c a composite number?
True
Suppose -3*x = -5*x + 2*n - 8, 0 = x + 3*n - 16. Suppose 0 = -k - 4*v + x, 2*v + 9 = 2*k - 3. Suppose -5*p - 167 = -3*t, -3*p + 275 + 26 = k*t. Is t composite?
False
Let t(c) = -419*c - 22 - 802*c - 7 + 7. Is t(-3) composite?
True
Let x(l) be the second derivative of l**4/12 - 4*l**3/3 + 7*l**2/2 - 4*l. Let c be x(10). Is ((-90)/c)/((-4)/102) prime?
False
Let k(m) = 350*m + 23. Is k(3) prime?
False
Let u(x) = x - 1. Let m be u(-5). Let c(t) = -2*t**3 - 2*t**2 + t + 6. Let z be c(m). Suppose 0 = -5*b + z - 95. Is b prime?
True
Let x(g) = g**3 + 55*g**2 - 6*g + 77. Is x(-52) a prime number?
True
Let k(u) = u + 23. Let x be k(-7). Suppose z - x - 283 = 0. Is z a composite number?
True
Is (-3 + (-392)/(-16))/(2/508) a composite number?
True
Let l be (-4)/(-8) - (-1)/2. Suppose -14 = -y - m, -l = -2*y + 4*m + 3. Is (-2)/y + 912/10 composite?
True
Suppose -4*a - r = -27923 - 9700, -28226 = -3*a + r. Is a composite?
True
Let v = 27 - 42. Let p = v + 508. Is p prime?
False
Let v = -28 - -10. Let k(w) be the second derivative of -w**5/20 - 17*w**4/12 + 5*w**3/3 + 11*w**2 + w + 1. Is k(v) composite?
True
Suppose 0 = 19*u - 152329 - 145686. Is u a prime number?
False
Let j(m) = -4*m**2 + 3 - 2*m - 9*m + 5*m + 0*m. Let b(d) = 15*d**2 + 23*d - 13. Let o(t) = -2*b(t) - 9*j(t). Is o(6) a composite number?
False
Suppose -1484 = -5*t - 3*l + 3060, 2*t - l - 1822 = 0. Let k = t - -57. Is k composite?
False
Suppose -4*m - 37 - 15 = 0. Let r(x) = -7*x - 4. Let g be r(m). Suppose 4*i - 145 - g = 0. Is i a prime number?
False
Let x = -3 - -6. Suppose 5*l = x*r + r - 132, 5*r + 4*l - 124 = 0. Suppose 5*k - r = 3*k. Is k a prime number?
False
Let n(l) = 14*l**3 + 17*l**2 - 7*l - 39. Is n(8) a composite number?
False
Suppose -4*w - 2*u = -98442, -9*u = -4*w - 13*u + 98440. Is w a prime number?
True
Let b(k) = -k. Let c(p) = 15*p + 1. Let u(d) = b(d) - c(d). Suppose -3*v = 4*g - v + 54, 0 = -g - 2*v - 12. Is u(g) a prime number?
True
Let z be 7083/3 + (-16)/(-4). Let n = z + -542. Is n a prime number?
True
Suppose 4*n - 1382 = 3470. Is (n/2)/(-1 - (-9)/6) prime?
True
Let h(w) = -8 + 2*w + 44*w**2 + 74*w**2 + 1. Is h(3) a prime number?
True
Let n = -19206 - -29471. Is n composite?
True
Let q(v) = v**3 + 10*v**2 - 4*v - 8. Let m be q(-8). Let n = m - -6. Is (n/(-4))/1*-2 prime?
True
Suppose 0 = -v + 9*v - 10392. Is v prime?
False
Let m = 361 + 3835. Suppose -4*b - 4*w = -m, w - 2098 = -2*b + 3*w. Is b a prime number?
True
Suppose -469070 = 36*o - 43*o. Suppose -o + 9909 = -11*m. Is m a composite number?
True
Suppose -31*m - 3*f + 12688 = -29*m, 31713 = 5*m + 4*f. Is m composite?
True
Let h(s) = 1556*s**3 - 4*s + 4. Let v be h(2). Suppose 2*x = -10*x + v. Is x a prime number?
False
Let v = -1 + 5. Suppose 1746 + 618 = v*k. Is k a prime number?
False
Let r = -36 + 52. Let b = r - -55. Suppose 0 = m + 3*g - 80, 223 = 4*m - g - b. Is m a composite number?
True
Suppose 4*w - 1120 = -3*k - 0*k, 0 = -4*k - 2*w + 1490. Suppose c - k = 745. Is c a composite number?
False
Let l(f) = f - 4. Let c be l(0). Let t(n) = -21*n**3 - 6*n**2 - 6*n. Let v be t(c). Suppose 2*h = -3*b - h + v, 5*b + 3*h - 2110 = 0. Is b prime?
True
Suppose -16*p + 17*p - 5 = 0, 0 = q + 3*p - 23314. Is q prime?
False
Let u(d) = 6 - 546*d - 280*d + 170*d + 3. Is u(-8) composite?
True
Suppose 0 = -u + 5*g + 5, -3 = -0*u - 4*u + 3*g. Suppose u = 4*z - 3*j + 11755, 4*j + j = 25. Is (2 + -4)*z/10 composite?
False
Suppose -4*o + 9968 = -4*q, -7 - 5 = -4*q. Is o composite?
True
Suppose 2*j = -0 + 6. Suppose 7*g - j*g = 20. Suppose g*p = 2433 - 218. Is p prime?
True
Let w = -8107 + 13488. Is w a prime number?
True
Suppose -4*t + w = -8701, -t - 4*w + 1057 = -1097. Suppose 2*d - l + 3*l = t, 0 = -d - 5*l + 1107. Is ((-4)/(-8))/(1/d) a composite number?
False
Let x(m) = 2 - 6 + 1 - 2 + 4*m**2 - 4*m. Let r be x(6). Suppose 7*a - r = 2*a. Is a a prime number?
True
Let t(r) = -1570*r + 593. Is t(-24) a composite number?
False
Let w = -10 + 13. Suppose -w*c = -c - 10. Suppose 0 = -3*s + c*s - 66. Is s composite?
True
Let r(s) = 4049*s + 78. Is r(7) a prime number?
False
Suppose -4*y = -2*y - 586. Is y a prime number?
True
Suppose 4*l - 2054 - 4533 = -3*k, l = 2*k + 1655. Is l composite?
True
Let l be (1/2)/(-1)*-2. Let w = 4 - l. Suppose w*u - f = 426, u + 75 - 217 = -2*f. Is u a composite number?
True
Suppose 552 = -0*j - 4*j. Is (46/3)/((-4)/j) a prime number?
False
Is 4245950/30 + (-2)/3 + 8 a composite number?
False
Let v(y) = y**3 + 4*y**2 - 5*y - 5. Is v(14) a composite number?
True
Suppose 0 = 9*v - 1899 - 2052. Is v a composite number?
False
Let l = -16 + 17. Let g = 19 - l. Is 561/g + (-3)/18 a composite number?
False
Suppose 9*t - 190 = 2312. Suppose -b + 3*b - t = 0. Is b a composite number?
False
Let k(n) = n + 1. Let a be k(4). Let q = -12 + a. Let h(x) = -2*x**3 - 11*x**2 - 4*x + 3. Is h(q) a prime number?
False
Let t(c) = 33*c + 115. Is t(24) a prime number?
True
Suppose 8*f - 9 = 5*f, -z - 3*f + 2183 = 0. Is z a prime number?
False
Let a(c) = 753*c**3 + 2*c**2 - 12*c + 10. Is a(3) a composite number?
False
Suppose 0 = 46*r - 31610 - 99904. Is r a prime number?
False
Let h be 1/4 + 22/8. Let v = -29 + 318. Suppose -h*b + 80 = -v. Is b a composite number?
True
Let d(r) = 31*r**2 + 4*r + 6. Let w = -24 - -39. Suppose 0 = 5*n - 5*b - w, 3*b + 19 = 3*n - 2*b. Is d(n) prime?
False
Let u be 6/(-33) - ((-794)/11 + 0). Is -1 - (20/3)/((-3)/u) a prime number?
False
Let t(f) = 31*f**3 + 2*f**2 + 2*f - 1. Is t(6) composite?
False
Let v be (-3)/(15/(-2))*5. Let h be (-30)/(-12) - v/(-4). Suppose 2*l + 299 = 5*c, -4*l - 130 = -h*c + 55. Is c a prime number?
True
Suppose 0 = 30*m - 8*m - 19030. Is m prime?
False
Suppose 93736 = 8*q + 9104. Is q composite?
True
Let r = -213243 + 340912. Is r a composite number?
False
Let y(p) be the third derivative of -5*p**4/24 + 13*p**3/6 - p**2. Let q be y(-10). Suppose 132 = 5*b - q. Is b composite?
True
Suppose -563*a = -560*a - 66813. Is a a prime number?
True
Suppose f - 248 = -2*s, -2*f - s + 40