8/132*-3) composite?
True
Is 0 + (-8)/(-4) - -483 composite?
True
Let f(z) = -4*z**2 + 4*z - 2. Let w be f(3). Let u be (-1)/2*(4 + -82). Let m = u + w. Is m a prime number?
True
Let l be (-390)/(-3) + (-3 - -2). Suppose 0*z - l = -3*z. Is z composite?
False
Let h(w) = -2*w - 5. Let o be (-4)/(-6)*-6*1. Let y be h(o). Suppose -y*i + 0*i + 159 = 0. Is i prime?
True
Suppose 5*c = 4 + 21. Is (-115 - 0)*(c + -6) a composite number?
True
Let d(n) = -10*n**2 + 5 + 3*n + 17*n**2 - 4. Is d(-6) a composite number?
True
Suppose 3*a - 2*a = 0. Suppose -n + 5*n - 12 = 0. Suppose a*j + 5*x = n*j - 260, 4*j = x + 375. Is j composite?
True
Suppose 0 = k + k + 8, o = k + 5. Suppose 0 = 3*d - 8 - o, -2*r = d - 1. Let c(t) = -8*t - 1. Is c(r) a composite number?
False
Suppose 0 = 3*p - 2*d - 333, -d + 95 + 127 = 2*p. Is p prime?
False
Let x(j) = 6*j**2 - 8*j. Let i(f) = -9*f**2 + 12*f. Let t(p) = 5*i(p) + 8*x(p). Is t(-3) prime?
False
Let d(q) = 326*q**3 - q + 1. Let l be d(1). Suppose -w = w - l. Is w a prime number?
True
Is 1/2*5/((-30)/(-10644)) composite?
False
Suppose 5*l = -4*o + 1900 + 50, -5*o + 2431 = 3*l. Is o a prime number?
False
Let t(f) = -f**2 + 21*f + 47. Is t(20) composite?
False
Suppose -2*w - 5*d + 863 = 0, d = -w - 4*d + 424. Is w prime?
True
Let b be -2 + (120 - 0)/(-2). Let n = b - -87. Is n a composite number?
True
Let l(b) = 3*b**3 + b**2 + 2*b - 6*b**3 + b**3 - 4. Is l(-3) prime?
True
Let a(b) = 20*b**2 + b - 1. Let h be a(4). Let w = 48 + h. Is w a prime number?
False
Suppose -35 + 150 = u. Let j = 261 - 13. Let w = j - u. Is w prime?
False
Suppose 2*l + 61 = n, -5*l + 149 = -2*n + 4*n. Is n composite?
False
Is 449 + 20/(-5) + 2 prime?
False
Suppose 165 = -3*i - 345. Let s = 83 - i. Is s a composite number?
True
Let q(d) = d**2 + 9*d + 8. Let b(z) = -z**2 + 2*z + 1. Let w be b(4). Let g be q(w). Is (524/g)/((-8)/12) a prime number?
True
Suppose p + 3*h = -10, 1 = -3*p + 2*h + 4. Let x be 3 + (0 - 8) + p. Is 221/1 - (x - -4) a composite number?
False
Let f be (-4)/(-18) + 4/(-18). Suppose f = -2*i - 2*g, 4*g = 3*i + 8*g + 2. Is -1 - (-1*6 - i) a prime number?
True
Let o = 2213 - -3037. Suppose 5*j - 2*b = o, 5*j + 3*b - 5225 = -0*b. Suppose 794 = 3*k + 5*i, 0 = -k - 3*k + 4*i + j. Is k a composite number?
False
Let p(q) be the second derivative of q**5/20 - q**4/3 - 4*q**3/3 - 3*q**2 - 2*q. Is p(7) a prime number?
False
Suppose -4*c = -5*z - 2713 - 528, -c + 814 = -5*z. Is c a composite number?
False
Suppose x + 5 = 6. Let a be x/(-2)*-2 - 1. Suppose -m + 2*m - 3*g = a, -m + 16 = 5*g. Is m prime?
False
Let v = -9 - -7. Is (62/(-4))/(1/v) composite?
False
Let h = 2004 - 1075. Is h composite?
False
Let b(o) = -o**3 + 19*o**2 - 6*o + 23. Is b(13) composite?
True
Let t(b) = -b**2 - 12*b - 10. Let w be t(-9). Let i(c) = 3 + 0*c + w*c**2 - c**2 + 3*c + c**2. Is i(5) composite?
False
Suppose -11 - 4 = -4*i + j, 4*i - 2*j - 14 = 0. Suppose -i*w + 0*w = 0. Suppose w = 4*f - 40. Is f prime?
False
Suppose 4*j - 8 = 4*h, 0 + 3 = h. Suppose -j = -b - 1. Is (2/b)/(1/158) composite?
False
Let h be (-2)/(-4) - (-9)/2. Suppose v = -0*v + h. Suppose -13 = -v*p + 22. Is p prime?
True
Let u(f) = f - 2. Let t be u(8). Suppose -70 = -t*x + x. Is x a composite number?
True
Let d = -71 - -149. Suppose 4*t + 4*c = 12, -5*t + 0*c - c = -19. Suppose d = t*k - 374. Is k composite?
False
Let u be 2*1 - (-60)/10. Is ((-50)/u + -3)*-4 a prime number?
True
Is ((-5172)/10)/(-2) + 16/40 prime?
False
Is ((-1651)/(-2))/((6/(-4))/(-3)) composite?
True
Let z(f) = f**3 - f**2 + 242. Let c be z(0). Suppose 221 = 4*y - 5*i, 6*y - 2*y + 2*i - c = 0. Is y a composite number?
False
Let j be (-64)/5*(0 - 10). Is 2*j/2 + -1 prime?
True
Let w be (-8)/(-28) - 6/21. Suppose 0*r - 5*r + 175 = w. Is r a composite number?
True
Let j(p) = -9*p + 4. Suppose 0 = -2*l - 3*y + 22 - 9, -29 = -4*l - 5*y. Let a(r) = 26*r - 12. Let z(x) = l*j(x) + 4*a(x). Is z(3) composite?
False
Let u = -48 - -23. Let q = u + 48. Is q composite?
False
Let v = -616 + 1143. Is v a prime number?
False
Let v be (-10)/(-3) - (-8)/12. Suppose v*c - 2*c = 194. Is c composite?
False
Suppose 5*n - 26 = n - 2*m, -4*n - 5*m + 29 = 0. Suppose n = 3*f - 9. Suppose -16 + 173 = f*a + 2*o, 2*a - 58 = -2*o. Is a composite?
True
Suppose 27 - 3 = 3*r. Let l(h) = h**3 - 6*h**2 - 10*h - 5. Is l(r) prime?
True
Let g(c) = c**2 - c - 2. Let v be g(3). Suppose 452 = 2*j + 5*a, -v*j - a + 1166 = 280. Is j a prime number?
False
Let h be 4/8 - (-169)/(-2). Let r = 135 + h. Is r a prime number?
False
Let r = -827 + 1941. Is r composite?
True
Suppose -3*u + u + 3*h = -886, 3*h - 2257 = -5*u. Is u a composite number?
False
Let k = 506 - 321. Is k composite?
True
Suppose 2*x = -3*x. Let k be -2 - -3 - (-1 - 8). Let i = k - x. Is i a composite number?
True
Suppose -5*s + 3*a + 692 = -575, -3*a + 239 = s. Is s a prime number?
True
Let o be 79/(-7) - 6/(-21). Let c = -4 - o. Is c a prime number?
True
Let s(k) = 202*k - 41. Is s(9) composite?
False
Let l(n) = 31*n**2 + 3*n - 1. Let y be l(-3). Let t = -56 + y. Is t composite?
True
Let w(z) = 9*z**3 + z**2. Let x be w(-1). Is (124/x)/((-1)/4) prime?
False
Let x(u) = 2*u - 8. Let h be x(6). Is 1/h*(316 + 0) a composite number?
False
Let b be -2 + (-8)/(0 + -4). Suppose d - 111 - 12 = b. Is d composite?
True
Let d = -18 + 17. Is (-97 - (2 + -2))/d prime?
True
Let b(i) be the first derivative of i**7/840 - i**6/72 - i**4/24 + i**3/3 - 2. Let y(n) be the third derivative of b(n). Is y(6) a prime number?
False
Let l(x) = -53*x**3 + x**2 + 4*x - 1. Is l(-5) a composite number?
True
Suppose -2*w - 2 = -0*w. Let l = w - -5. Suppose -2*v + 5*u = -0*v - 85, l*v - 4*u = 200. Is v composite?
True
Let v = 13 + 116. Let a = -67 + v. Is a composite?
True
Let j(u) = u. Let k(r) = 49*r + 1. Let c(g) = 2*j(g) + k(g). Let d be c(-1). Let b = -27 - d. Is b prime?
True
Let b = -5974 + 8655. Is b composite?
True
Suppose 0 = 5*t + 29 + 6. Let r(l) = -l**3 - 8*l**2 - 9*l - 8. Let f be r(t). Suppose 2*c = f*c - 184. Is c a prime number?
False
Suppose -u = 4*u - 745. Is u prime?
True
Let v(n) = -4*n**3 - 8*n**2 - 7*n - 4. Is v(-5) a prime number?
True
Let z(k) = 53*k**2 + 7*k - 9. Is z(-4) a composite number?
False
Suppose 5*h + 5*q - 3375 = 0, -q - 681 = -h + q. Is h a prime number?
True
Let r(p) = p**3 + 4*p**2 + 2*p - 4. Let t be r(-3). Is t - -3 - (0 + -32) a prime number?
False
Suppose 0*l - 6 = 3*l, 5*f - 569 = -3*l. Is f a composite number?
True
Let v = 4119 - 2278. Is v a prime number?
False
Let z = 2 + 5. Is z prime?
True
Suppose -3*g + 2*g + 5 = 0. Suppose 0 = -g*d - 10 - 0. Is ((-55)/10)/(d/4) prime?
True
Let m(z) = 7*z**3 - 2*z**2 + 4*z + 2. Is m(7) a prime number?
True
Let r = -497 + 708. Is r composite?
False
Suppose 3*u + 566 = -z - 191, 5*z = -u - 257. Let m(f) = -5*f**2 + 5*f + 5. Let y be m(9). Let h = u - y. Is h prime?
True
Suppose -5*o + 2*o + 2031 = 0. Is o prime?
True
Let q = 701 - 462. Is q a prime number?
True
Let d be (1 - (-2)/(-6))*3. Let i(l) = l**3 - 6*l**2 - 7*l + 9. Let r be i(7). Suppose -4*m + k = -199, d*k + 64 - r = m. Is m prime?
False
Suppose -3*u + o + 397 = -o, 2*u - 2*o - 266 = 0. Is u prime?
True
Let z = 150 + -256. Let a = z + 183. Is a a composite number?
True
Let b be 10/2 + 0/(-3). Let s = -12 - -31. Let u = s - b. Is u prime?
False
Let v(t) = -27*t - 16. Is v(-5) a composite number?
True
Let l be ((-6)/(-5))/((-2)/5). Let v(q) = -6*q**3 - 3*q**2 + 2*q + 2. Is v(l) a prime number?
True
Let b(o) = -o**3 - 7*o**2 + 5*o. Let q be b(-8). Suppose -q - 31 = -5*i. Is i prime?
True
Suppose -4*x + 103 - 7 = 0. Let q = 46 - x. Is q a prime number?
False
Let o be ((-12)/(-2))/((-2)/(-7)). Suppose 5*d + 6 - o = 0. Suppose 4 - 34 = -d*b. Is b a composite number?
True
Let o be 2/4*(-3 + 1). Let h be o/2 - (-1)/2. Suppose h = -4*k + k + 33. Is k composite?
False
Is (-2 + -147)/(-1 + 0) composite?
False
Let u(m) = 5*m**2 - 5*m + 8. Let y(n) = 14*n**2 - 14*n + 23. Let v(f) = -11*u(f) + 4*y(f). Is v(3) composite?
True
Let r = 333 - -58. Is r composite?
True
Let q(b) = 3*b**2 - 1. Let f be q(-1). Suppose 0 = g + 5, -f*x + 2*g + 299 = 5*g. Is x prime?
True
Suppose 0*v = 4*v - 60. Suppose x - 5*l = -l + 20, 3*l = 3*x - v. Suppose 5*a + 2*t = -t + 178, x = -3*a - t + 106. Is a a composite number