f -q**3/3 + q**2/2 + 23*q + 2. Suppose -3*k + 6 = -2*f - 0, -2*k + 3*f + 9 = 0. Is w(k) prime?
True
Let n(d) be the second derivative of -d**3/3 + d**2 - 3*d. Let q be n(6). Is ((-555)/q)/(6/8) composite?
True
Let f = -7 - -8. Let a = f + 0. Is 22*(3 - a/2) a composite number?
True
Let w(d) = 6*d**2 + 2*d + 1. Let o be w(2). Suppose o - 410 = -3*k. Is k a prime number?
True
Suppose 2*f - 6*f + p = -101, 3*f = 2*p + 77. Let m = 64 - f. Let r = m - 17. Is r prime?
False
Suppose q - 5*x - 1637 = 0, -5*x = 10 - 30. Is q composite?
False
Let c = 90 + 31. Is c prime?
False
Is 251 + (-4 - -5 - 1) prime?
True
Let r(u) = u**3 - u**2 - 4*u + 471. Is r(0) a prime number?
False
Let g be 4/(-10) - 14/(-10). Let q be (-2 - -3) + (g - 2). Let d(b) = b**2 + 57. Is d(q) prime?
False
Suppose 186 = 4*f + 3*s - s, s + 250 = 5*f. Is f a prime number?
False
Suppose 3*f - 2*q = 207, 2*q = -3*f - 0*f + 219. Let d = f + -49. Suppose 3*m = -2*l + 42, l + m + 3 = d. Is l prime?
False
Let a = 6 - 2. Let v be (0 - 38/a)*-2. Is (v/4 + -2)*28 a composite number?
True
Let y = -132 - -246. Suppose -4*b = -82 - y. Is b composite?
True
Is (-10252)/(-16) - 0 - 1/(-4) a prime number?
True
Let j(t) = -t**3 - 5*t - 15*t**2 + 6*t**2 + t**2 - 6. Is j(-8) a composite number?
True
Let c be 1662/(-2)*1/(-3). Let t = -198 + c. Is t composite?
False
Let i(t) = 34*t**2 + 3*t - 1. Let n be i(2). Is (0 - 0) + 2 + n a composite number?
True
Let k(y) = y**3 + 15*y**2 + 16*y + 16. Let b be k(-14). Is 3*((-76)/b)/1 prime?
True
Let f be (-9)/(-4) - (-1)/(-4). Suppose 0 = 3*c + 9, -5*o - 2*c + 359 = -0*c. Is (-3)/(-1) + o*f a composite number?
False
Let p = -4 - -14. Suppose o - p = -4*o, 4*j + 2*o = 100. Suppose a - j = -n, -5*n + 6*a = 4*a - 106. Is n a composite number?
True
Let b(v) = 62*v**2 + 8*v + 5. Is b(3) a composite number?
False
Let v(b) = -b**2 + b - 86. Let h be v(0). Let x(r) = -23*r + 4. Let j be x(-7). Let w = h + j. Is w a prime number?
True
Let o = 6 - 14. Let d be o*(-2)/2*1. Is (-173)/(-9) - d/36 composite?
False
Let g = -1574 - -2833. Is g prime?
True
Let g = -8 + 10. Suppose 6*w - g*w = 844. Is w composite?
False
Let a be 4/8*2*23. Let z = a - -14. Is z a composite number?
False
Suppose a - 462 = 17. Is a prime?
True
Let o(u) = 15*u + 66. Is o(21) composite?
True
Let w = -463 - -676. Is w a composite number?
True
Let x = -17 - -23. Is x/(-15) - (-1454)/10 a prime number?
False
Let a(o) = o**3 + 7*o**2 + 8*o - 5. Let i be (-4)/(-18) - (-224)/(-36). Let t be a(i). Let f = -10 - t. Is f a prime number?
True
Let v = -1604 - -2701. Is v composite?
False
Let w be 2/(-4) - (-76)/8. Let b = -20 + w. Let l(q) = q**2 + 3*q - 9. Is l(b) prime?
True
Let a be (-1218)/8 - (-3)/(-4). Let x = a - -280. Is x a composite number?
False
Suppose 0 = -0*q + 8*q - 8696. Is q prime?
True
Let a = -384 + 550. Is a composite?
True
Is 4/(-14) - (-22210)/70 composite?
False
Let w(q) = q**3 + 8*q**2 - 2. Let n be w(-8). Let x = 9 + n. Is x a composite number?
False
Let d(q) = 2*q**2 - 6*q - 5. Let t be (-2)/(-5) - 8/(-5). Suppose -4 = -t*p + 8. Is d(p) prime?
True
Let t(k) = 4*k**2 + 8*k. Let i be t(-7). Suppose -8*l = -3*l - i. Suppose 3*g = -5*u + 73, -3*u - l = -g - u. Is g a composite number?
True
Let z be (-1)/3 + 13/3. Suppose 4*k + 11 = 3*v, 0 = -v - z*k - 8 + 1. Is 36 - (v + 6/(-3)) composite?
False
Let d(u) = -3*u**3 + u**2. Let f be d(-1). Suppose 0*n - f*n = -444. Let k = 190 - n. Is k a composite number?
False
Let h = 532 - 351. Is h prime?
True
Let l(q) = q + 11. Let g be l(-9). Let w be 12/(-2)*g/(-3). Suppose m + 63 = w*m. Is m a prime number?
False
Let q be (0 - (-6)/9)*3. Let z(i) = -3 - 6 - 10*i - i**q - i. Is z(-7) composite?
False
Suppose b - 80 - 587 = 0. Is b prime?
False
Let w(s) = -s**2 + 16*s - 2. Let y be w(16). Is (-24759)/(-49) + y/7 prime?
False
Suppose 0 = -2*z - 6, -t + z = t - 1025. Is t composite?
True
Let j = -259 + 2312. Is j a composite number?
False
Let z = -5 - -9. Let y = 1 + z. Suppose 54 = 3*f + v, y*f = -0*f + 3*v + 104. Is f a prime number?
True
Let z(c) be the second derivative of c**5/10 - c**4/4 - 3*c**3/2 + 3*c**2/2 - 6*c. Is z(7) prime?
True
Let q = 15 - 9. Suppose 3*d + 4*u - 22 = 0, -q = -5*d + 2*u + 22. Is d a composite number?
True
Suppose -2 - 1 = -n. Suppose -f = -5*c - 37, -25 = -3*f + 2*c + 21. Suppose -18 = -2*l - w - 0, -n*w = f. Is l composite?
False
Let j = 80 + 53. Is j composite?
True
Suppose 3*d + 2*d = 3*v + 3674, 5*d = v + 3668. Is d prime?
True
Let x(o) = -o - 11. Let a be x(-8). Suppose 0*g - 4*g = -2*w - 20, -2*g + 38 = -3*w. Is w/a*3/2 composite?
False
Suppose -r + 5*r - 2 = 5*d, -18 = 4*r + 5*d. Let o be r/(-4)*24/6. Suppose -2*x - 14 = -5*x - 2*y, 0 = -4*x - o*y + 20. Is x a prime number?
False
Is 106/(2 - -2 - 2) a prime number?
True
Suppose 0 = -7*q + 7329 - 1190. Is q composite?
False
Suppose -3*q - 4*c + 1575 = 0, -4*q + 2*c + 934 = -1144. Is q composite?
False
Suppose -7*x + 4353 = 818. Is x composite?
True
Suppose -1911 + 587 = -4*a. Is a a composite number?
False
Let k(f) = -318*f - 61. Is k(-6) composite?
False
Let x(t) = -t - 6. Let s be x(-7). Is ((-9)/12)/(s/(-28)) a prime number?
False
Let m(s) = s**2 + 4*s - 7. Suppose 2*j + 13 = p, 0*j = 5*j - 5*p + 30. Is m(j) a prime number?
False
Let p be (-48)/(-8) + 1 + -4. Suppose p*n = 5*n - 194. Is n a composite number?
False
Suppose -5*h = -3*h - 382. Is h composite?
False
Suppose 0 = 4*d - 12, -4*u - 2*d + 19 = -d. Suppose 0*g = u*g + a - 144, g - 21 = -4*a. Suppose -4 = -5*b + 2*k + g, 2*k = 3*b - 27. Is b prime?
True
Let q = -1256 - -2475. Is q a composite number?
True
Let y = 4 - 4. Suppose -b + 0*b - 21 = y. Let v = b - -148. Is v composite?
False
Is ((-4445)/(-10))/((-1)/(-2)) a prime number?
False
Suppose 0 = 5*u + 27 + 33. Let i = u - -33. Is i a prime number?
False
Let o = -4 + 26. Let v(h) = 7 + o*h - 2*h + 10*h + 0. Is v(7) prime?
False
Let z(o) = o**2 - 6*o + 2. Let v be z(6). Suppose v*a - 4*w - 28 - 82 = 0, -4 = w. Is a prime?
True
Let d = -3 - -4. Let y(i) = 19*i. Is y(d) a composite number?
False
Let g(i) = -316*i**3 + 2*i**2 - 1. Is g(-1) composite?
False
Suppose -6*v = -14*v + 872. Is v prime?
True
Let m = -17 + -17. Let i = 21 - m. Is i prime?
False
Let b(p) = -2*p + 19. Let n be b(9). Let h = 3 - n. Is h prime?
True
Suppose 0 = 8*z - 6830 - 2298. Is z prime?
False
Let w be (1473/(-6))/(5/(-10)). Suppose -463 = -3*k + 3*p + 2*p, 2*p = -3*k + w. Is k a composite number?
True
Is (93/(-4))/((-3)/4) a composite number?
False
Let c be (0 - -1)/((-2)/14). Let h(i) = i**2 + 5*i - 7. Is h(c) composite?
False
Let p(a) = -26*a**3 + 2*a**2 + 3*a - 3. Let j be p(2). Let h = j + 346. Is h a composite number?
False
Suppose 5*h - 4 = m - 5, 0 = 5*m - 3*h - 5. Is -1 + 4 - (m - 1) composite?
False
Let b(u) = 2*u**3 + 2*u**2 - u. Let g be b(1). Is (g/1 - 6) + 320 a composite number?
False
Let n = -8 - -19. Let w = -5 + n. Is w a composite number?
True
Let a(f) = 22*f**2 + 1. Suppose 0 = -5*i - 3*k - 13, -4*i - 11 = 4*k + 1. Is a(i) composite?
False
Suppose -w + 2*p + 2*p + 73 = 0, 0 = -2*w + 3*p + 121. Is w composite?
False
Suppose -5*f + 9 + 16 = 0. Suppose 2*r - 240 = u + 81, 156 = r - f*u. Is r prime?
False
Let a = -760 - -1217. Is a a prime number?
True
Let d = -1727 + 2446. Is d prime?
True
Suppose -3*y = 15, -3*y = -2*k + 5*k + 9. Suppose l + m = -1, 4*m + 14 = 2*l + k*m. Suppose -2*a + 14 = -l*v, -3*v = 5*a + v - 35. Is a composite?
False
Let o = 15 - 7. Let v be (o/6 + 0)*3. Suppose v*t - 6*t = -6. Is t composite?
False
Let m(v) = -v**3 + 8*v**2 + 9. Let o be m(7). Let h be o/18 + (-4)/18. Suppose -5*p = -h*f + 4 + 4, 5*p = -f + 36. Is f prime?
True
Suppose -3*v + 0*v + 1466 = x, -2*x + 2443 = 5*v. Is v prime?
False
Let n(a) = -a**3 - 6*a**2 + 5*a - 8. Let l be n(-7). Suppose 3*d - 126 = -4*k, 2*d = -3*k + l*d + 107. Is (-1)/3*-1*k composite?
False
Let t = 8 + -5. Suppose 2*f = 3*f - t, 4*l + 2*f = 314. Is l composite?
True
Let q(n) = n - 2. Let l be q(3). Let t(a) = -4*a + 1. Let v be t(l). Is (-66)/v - (-2 + 2) prime?
False
Suppose w - 3*w = -758. Is w a prime number?
True
Suppose -5 = -4*n + 3. Suppose n*m - 3*m + 7 = 0. Is m a composite number?
False
Is 7983/(-6)*2/(-3) prime?
True
Let z = -1 - -5. Suppose z*o = 6*o. Is o + -11*6/(-2) prime?
False
Suppose 0 = -