 i composite?
True
Let f(n) = 6*n + 3*n + 5*n**3 + 8*n**3 - 4*n**2 - 14*n**3 - 7. Is f(-7) a prime number?
False
Let q(a) = 143*a - 62. Is q(20) a composite number?
True
Suppose 19 = 2*w - 9. Suppose 3*z + i + 21 = 0, 5*z - 3*z + 4*i = -w. Let j(v) = -8*v - 3. Is j(z) a composite number?
False
Suppose -10*y = 3786 + 5164. Let h = y + 2492. Is h composite?
False
Let g(x) = 16*x**2 + 43*x + 150. Is g(29) prime?
False
Let s be 479/4 - 3/(-12). Is 2 + s/(-55) - 5359/(-11) a prime number?
True
Let x be -9*(6/21)/((-9)/7). Suppose 0 = -x*o - 12 + 182. Is o a composite number?
True
Let u = 2139 + -464. Suppose -2*d - u = -7*d. Is d a composite number?
True
Let l = -1318 + 3329. Suppose 2*t + 0*t - 1334 = -w, 3*t = w + l. Is t a composite number?
True
Suppose 4 = -3*a + 82. Let p = a + -27. Is (-1)/(3/327*p) composite?
False
Suppose 9*z = 4*z. Suppose -s - 5*r = -24, -r + 6*r - 25 = z. Let a(c) = 292*c**2 - 1. Is a(s) a prime number?
False
Suppose -6*m = -2442 + 408. Let c = -166 + m. Suppose v = 5 + c. Is v a composite number?
True
Suppose 2*q - 8109 - 24894 = -5*l, l + 5*q = 6619. Is l composite?
False
Suppose 5*j - 1769 = 4*j. Suppose 4*c - j = -3*w + 2*c, -2*w + 1177 = -c. Is w a prime number?
False
Suppose -2*r + 11985 = 739. Is r a composite number?
False
Let m be (-1088)/(-8) + (1 - -3). Let q = m - -401. Is q a prime number?
True
Let m(t) = 230*t**2 - 3*t + 2. Let i be m(-6). Suppose -i - 11145 = -5*s. Is s a composite number?
False
Suppose -2*h + 3*m + 4813 = 0, 5*h - 8944 = -3*m + 3120. Is h a prime number?
True
Let q be (-27)/(-9)*(-1 + 2). Suppose -x = -q + 1. Suppose -5*w = -2*m - 0*m - 2219, w - 439 = x*m. Is w a composite number?
True
Suppose 4*f = -3*r + 3784, -f - r = 4*f - 4730. Suppose 0*g + f = 2*g. Is g a prime number?
False
Suppose -12*t = -5*t - 41923. Is t a composite number?
True
Let b be 18/(-30) - 54/10. Let p be (1611/b)/(4/(-8)). Suppose u = p - 184. Is u prime?
True
Suppose -14 = 13*x - 15*x. Let b(l) = x*l + 3 + 13*l**2 - 6*l**2 + 2*l**2. Is b(10) composite?
True
Let c = 47 - 43. Suppose 4*f - 2064 = -c*p - 0*p, -4*p + 2*f = -2052. Is p composite?
True
Let d(w) be the second derivative of 5*w**3/6 - 7*w**2 - 4*w. Let f be d(16). Suppose 5*v - 180 = -5*j, 0 = -2*j - 0*j + 4*v + f. Is j prime?
False
Suppose 62*g - 3481 = 61*g. Is g composite?
True
Let r(u) = 46*u**2 + 7*u - 4. Suppose 13 = -2*h - 3*f, 4*f + f = -5*h - 30. Is r(h) a composite number?
True
Is -2*(-8 + 239855/(-10)) prime?
False
Suppose -4*x + 2*c + 21 = -7, -4*c = -3*x + 31. Let f(m) = m**2 - 4*m - 1. Let h be f(5). Suppose x*o - 35 = h*o. Is o a prime number?
False
Suppose 5*t + 5 = 15. Suppose k = -3*m + 2739, -5*k + 2739 = t*m + m. Is m composite?
True
Let q = 39 + -32. Suppose -104 = q*k - 447. Suppose -k = -5*n + 4*n. Is n a composite number?
True
Suppose -10*y + 5*y + 3*q = -341432, y - 68283 = 4*q. Is y a prime number?
False
Let x(w) = w - 15. Let i be x(19). Let a(d) be the third derivative of 29*d**4/24 - d**3/2 - d**2. Is a(i) composite?
False
Let y be 33/6 + (-2)/4. Suppose y*p = 4*f + 17, p - 9 = -0*p - 2*f. Is 996/9 + p/15 prime?
False
Let m(v) = 12*v**2 + 14*v - 31. Let b = 128 + -115. Is m(b) a prime number?
True
Is ((-23572)/20)/(14/(-70)) a prime number?
False
Let i = -3157 + 5144. Is i a composite number?
False
Suppose -2*m = -3*s - 11, s - 5*m = -2*s - 14. Let u be ((-6)/s - 1)*3. Suppose -u*b = -0*b - 21. Is b prime?
True
Let s = 5 - -10. Let z be (-5)/(s/6)*-106. Is (z - 1)*(-1 - -2) a prime number?
True
Is ((-10)/(-30))/(3 - (-9908)/(-3303)) a prime number?
False
Let w = 114 - 89. Suppose w*u - 254 = 23*u. Is u a composite number?
False
Let a(g) be the first derivative of 29*g**5/60 - g**4/24 - g**3/6 - 2*g**2 + 3. Let p(f) be the second derivative of a(f). Is p(3) a composite number?
False
Let j(w) = -14*w + 379. Is j(0) prime?
True
Let i(w) = 423*w**2 - 23*w + 3. Is i(2) a prime number?
False
Suppose -1685 = -5*k - 0*k - 4*o, -5*o - 1389 = -4*k. Is k a prime number?
False
Let u be 38/14 - (-12)/42. Suppose u*b - 933 + 0 = 0. Let x = b - 166. Is x prime?
False
Let i(r) = -r + 93. Let t(d) = 23. Let n(k) = 2*i(k) - 9*t(k). Let w be n(-15). Suppose 7*f + 358 = w*f. Is f prime?
True
Let v = 71 - 67. Suppose -k - v*k + 2755 = 0. Is k a composite number?
True
Suppose 0 = 178*v - 49*v - 5454249. Is v composite?
False
Suppose -2*i = 4*l + 176, 2*i + l = -l - 176. Let x = 43 - i. Suppose -2*y + 23 = -x. Is y composite?
True
Is 79/7 - (264/(-77))/(-12) prime?
True
Suppose 0 = -b - 0*b + 8. Suppose -3*t + b*t + 72 = 3*q, -41 = -2*q + t. Let n = -6 + q. Is n prime?
True
Let j(b) be the second derivative of 3*b**5/20 - 5*b**4/12 - 5*b**3/3 + 11*b**2/2 - 35*b. Is j(5) a prime number?
True
Let n = -263 - 47. Let g = -105 - n. Is g a composite number?
True
Let o be 1 - 4/((-4)/(-13)). Let v be (4/(-10))/(o/60). Suppose -v*d + 2*j = -0*d - 660, 2*d + 3*j = 685. Is d a prime number?
False
Let m(r) = -64*r + 1. Let q(a) = 128*a - 2. Let c(b) = 13*m(b) + 6*q(b). Is c(-4) a prime number?
True
Suppose -4*t - 1228 = -0*o - 2*o, -t = -3*o + 1847. Suppose 18 - o = -3*b + 5*n, b + 2*n - 181 = 0. Is b composite?
False
Let q(s) = -57*s**3 + 8*s**2 + 6*s - 7. Let b(z) = -172*z**3 + 23*z**2 + 17*z - 20. Let d(l) = -6*b(l) + 17*q(l). Is d(1) a prime number?
False
Let x(h) = -h**2 + 5*h - 4. Let k be x(3). Is k/(-3) - (-3057)/9 prime?
False
Suppose -d = -4*q - 8, -4*d - 5*q + 0*q + 53 = 0. Let m be 80/6 - 4/d. Suppose -o + m = -6. Is o composite?
False
Suppose -4*b + 4 = 4*v, 2*b - 3 = -2*b - 3*v. Suppose b = -6*t + 7*t - 141. Suppose 0 = x - 0*x - t. Is x a composite number?
True
Suppose -5*y - 9*y + 11942 = 0. Is y prime?
True
Let j(i) = i**2 - 11*i + 30. Let b be j(7). Suppose p - 2*d - 11 = b*d, -22 = -2*p + 2*d. Is p prime?
True
Let v = 34 - 30. Suppose v + 7 = d. Is d a prime number?
True
Let o(t) be the first derivative of -51*t**2 - 11*t - 17. Is o(-10) a composite number?
False
Suppose 4*s - 2454 = 7958. Is s a prime number?
False
Let h = 1005 - 1912. Is h*(-1 + 2)/(-1) prime?
True
Let z be 0 + 1 - 2/(-1). Suppose x = z*m - 1887, -4*x + 915 = -3*m + 2793. Suppose -2*a - 197 = -3*a - 4*h, -3*a = -h - m. Is a prime?
False
Suppose -4*g + 30 = -3*g. Suppose 3*a - 24 = 3*v, 0 = 3*a - 6*a + 5*v + g. Suppose 3*c - 113 = -a*w, 5*w - 5*c - 96 = 9. Is w a prime number?
False
Let j(k) = 10*k**2 + 9*k - 13. Let s = -2 - -2. Suppose -4*l = 4*o - 20, s*o - 4*o = 4. Is j(l) composite?
False
Suppose -4*r + 67 = -301. Let u = r + -25. Is u composite?
False
Let o(a) = -a**2 - 35*a + 28459. Is o(0) a prime number?
False
Suppose 5*n - 5 - 5 = 0. Suppose -2*k + 4*k - n = 0. Is 108/6 - -1*k a prime number?
True
Let c = -3 + 0. Let j be (c + 6)/(3/2). Suppose 0 = -2*f - j*f + 148. Is f composite?
False
Let f(a) = 5*a**3 + 7*a**2 - 14. Let j be f(6). Let d = j - 575. Is d a composite number?
False
Suppose 3160*k - 3169*k = -3429. Is k prime?
False
Suppose 0 = -5*k - 3*t + 2*t + 102965, k + 5*t = 20593. Is k prime?
True
Let r(y) = y**2 - 2. Suppose -w + 5 + 1 = 0. Suppose 3*b - w*l + 5 = -l, 3*b = l - 13. Is r(b) a composite number?
False
Let o = 2679 + 1498. Is o prime?
True
Suppose -5*l - 5951 = -586. Let c = l - -2710. Is c composite?
False
Suppose d = -5*h, -4*h = 3*d + d - 16. Let b = d + -2. Suppose -3*x + 658 = -x + 3*s, -b*s = -4*x + 1352. Is x composite?
True
Suppose 77*y - 537563 = 64*y. Is y prime?
True
Let o(h) = -82*h + 17. Is o(-23) prime?
False
Suppose -3*t + 5*u = -189, -4*u - 274 = -3*t - 82. Suppose 3*a + 192 - 51 = 0. Let s = a + t. Is s a composite number?
True
Let k be (-8)/8 + (3 - 0). Is -4 - -8 - (-830)/k composite?
False
Let x(y) be the second derivative of 11*y**3/3 - 15*y**2/2 - 48*y. Suppose 2*m - m - 2*z - 20 = 0, -4*m - 3*z + 58 = 0. Is x(m) composite?
False
Suppose 2*t + 2*i - 8432 = 5*i, 4*i + 16872 = 4*t. Is t a composite number?
True
Is -31 - -3076 - (-1 + -3) a prime number?
True
Let f(c) = 133*c**2 - 8*c + 5. Is f(-3) a composite number?
True
Let f(t) = -22940*t + 141. Is f(-2) prime?
True
Suppose w - 2 = -s + 1, 0 = w - 3*s - 3. Suppose -2*d = -174 - 1162. Suppose w*z = -z + d. Is z a prime number?
True
Let x = 2767 - -3582. Is x a composite number?
True
Let w(z) = 11691*z**3 - 8*z**2 + 7*z - 1. Is w(2) prime?
False
Let u(g) = -48*g - 337. 