 number?
False
Let x(i) = 4*i**3 - 2*i + 3. Let y(d) = -5*d**3 + 2*d - 4. Let r(z) = 6*x(z) + 5*y(z). Is r(-3) a composite number?
False
Let c be 99/(11/4 + -2). Suppose -2*d = 5*s - 168, 2*d - c = -3*s + 7*s. Is d a prime number?
False
Let c(s) = s**3 - 3*s**2 - 3*s - 1. Let i be c(4). Is (1 + 52)*i/3 prime?
True
Let q(c) = -c**2 + 4*c + 1. Let j be q(4). Let i = 13 + -8. Let g = i - j. Is g a prime number?
False
Suppose 10*d = 6*d + 1528. Is d composite?
True
Let a(q) = 2*q**2 - 2*q - 7. Let y be a(-6). Suppose 5*g - y = -3*c + c, 3*c = 3. Is g a composite number?
True
Suppose -301 = -2*z + 81. Is z a prime number?
True
Let i(b) = b**2 + 6*b - 3. Let a be i(-7). Suppose 4*p - a*d + 2*d - 196 = 0, 5*p + 3*d = 223. Is p a composite number?
False
Let f = 286 + -197. Is f composite?
False
Suppose 0 = -5*m + 3*m + 1594. Is m composite?
False
Let o(t) be the second derivative of t**5/20 - t**4/4 - 3*t**3/2 + 3*t**2 + 3*t. Is o(7) composite?
False
Suppose 158 = -2*i + 42. Is i/(-6) - (-6)/(-9) prime?
False
Let l(i) = -i**2 - i + 5. Let v be l(0). Suppose 0*x - 201 = -u + 5*x, -v*u = -4*x - 963. Is u a composite number?
False
Let k = 114 - 68. Let n = k - 27. Is n a composite number?
False
Let j = 1 - -3. Suppose -3*k + 35 + 125 = u, j*k - 210 = -2*u. Is k prime?
False
Let r(a) = -155*a + 17. Let g(i) = 77*i - 8. Let n(u) = u**2 + 9*u - 5. Let s be n(-8). Let z(w) = s*g(w) - 6*r(w). Is z(-3) a prime number?
False
Suppose -3*b - 4*g - 2 = -4, -5*b - 5*g + 5 = 0. Suppose 4*i + b*m + 0 = 2, -4*m - 5 = 5*i. Suppose -92 = -5*t + i. Is t a prime number?
True
Suppose 4*c + 8 = -4*q, 2*c + 1 = -3*q - 8. Let g be c*(-3)/(-36)*4. Let h(w) = 12*w**3 + 2*w**2 - 2*w + 1. Is h(g) prime?
True
Suppose g = 4*g - 1905. Is g a composite number?
True
Let u be (-240)/(-9)*9/1. Is (-2)/(2 - u/118) composite?
False
Suppose z + 0*z - 1 = 0. Let x(p) = p**2 - p - 3*p**2 + 2*p**3 + 3*p**2 + z. Is x(2) prime?
True
Let w(m) = m**2 + 4*m + 7. Let y(a) = a**2 + 3*a + 8. Let u(h) = 3*w(h) - 2*y(h). Let l be u(-6). Suppose -3*o = -5*d - 55, -d + 20 = -l*d. Is o prime?
False
Let o = -73 + 122. Suppose 14 = c - 3*s, 3*s + o = 2*c + 4*s. Is c a prime number?
True
Let z be 7/28 - (-15)/4. Suppose u + 6 = z*u. Is (3 - 2)/(u/38) prime?
True
Suppose -r = 3*r + 8, 2*o + 2*r - 2226 = 0. Is o a prime number?
False
Let v be (3/(-4))/(2/(-808)). Suppose 0 = -4*t - 35 + v. Is t a composite number?
False
Suppose 2*n + 0 - 4 = 0. Let q(b) = n - 3 + 16*b + 2. Is q(2) a composite number?
True
Let h(u) = -u**3 + 2*u + 1. Let q be h(-2). Suppose q*y = 149 + 611. Let n = y - 73. Is n a prime number?
True
Let l(h) = 400*h - 3. Is l(1) composite?
False
Let z(t) = -t**2 - 5*t - 2. Let v be z(-3). Suppose 249 + 19 = v*r. Is r composite?
False
Let y be 3/1*(3 - 4). Let v be (-558)/y - (-2)/(-2). Suppose -3*d - 2*d + v = 0. Is d composite?
False
Let p = 357 - 242. Is p a prime number?
False
Let t be ((-4)/(-8))/((-2)/(-8)). Suppose -4*q + 104 = t*l - 26, l - 170 = -5*q. Is q composite?
True
Let v(h) = -h + 8. Let q be v(3). Suppose 3*u - q*a = 875, -2*u + 5*a = -135 - 445. Is u a prime number?
False
Suppose y + k = 9, 5*y + k - 24 = 1. Suppose -w - 3*h + 12 = 0, -3*w + 8*w - 71 = -y*h. Is w a composite number?
True
Let a(d) = 16*d - 9. Suppose 0 = 5*p - 4*t - 54 + 3, 0 = 2*p + 2*t - 6. Let y be a(p). Let n = y + 54. Is n a composite number?
False
Let q = 11 + 0. Suppose 8 = 2*l, x + q = l + 2*l. Is 38 + (x - 0)*-3 prime?
False
Let f(c) = c**3 - 6*c**2 + 5. Let b be f(6). Let n(d) = -2*d**2 + d + 2. Let t be n(-2). Let q = b - t. Is q a prime number?
True
Let y(s) = -3*s + 1. Let n be y(1). Let a = 21 + n. Is a a composite number?
False
Let y = -1765 - -2814. Is y composite?
False
Suppose 4*h + 1 = -3. Let c be 3*(2/6)/h. Is (11 + -2)/1 - c a composite number?
True
Let y = -87 - -436. Suppose 0 = 2*a + 4*r - 106, -4*a + 3*r - 137 = -y. Is a prime?
True
Let v(s) = 8*s**2 - 2*s + 1. Let a be (-7 - -1)*(-1)/3. Let u be v(a). Suppose 4*f = u + 183. Is f composite?
False
Is (3 - 236)/(1/(-1)) prime?
True
Let j(g) = g**3 - 5*g**2 - 3*g - 5. Let x(y) = y**2 - 6*y - 10. Let f be x(8). Is j(f) prime?
True
Let h(r) = 251*r + 91. Is h(8) a prime number?
True
Suppose 0 = 5*o + 2*k - 261, 2*k + 4 = -0*k. Is o a composite number?
False
Let w = 7 - 7. Suppose -2*t + 5*c + w*c + 18 = 0, 35 = t + 4*c. Is t a composite number?
False
Let l = 160 + -240. Let f = 53 - l. Is f a composite number?
True
Suppose a - 5*p = -2*p + 247, -a - 3*p = -271. Is a prime?
False
Let u(k) = k**3 + 9*k**2 + 8*k - 7. Is u(-7) prime?
False
Let d be 19 + 0 + (-1)/(-1). Suppose -5*w = 4*t - 65, -3*t + 2*t + 46 = 3*w. Let u = d + w. Is u a prime number?
True
Suppose 2*o + 4*a + 671 = 215, 3*o + 5*a + 681 = 0. Let k = -125 - o. Is k a prime number?
True
Let f(s) = -60*s - 1. Let z be f(-2). Let m = -64 + z. Is m prime?
False
Suppose -6*g + 4*g + 4*q = -14, 5*g + q - 2 = 0. Let w(i) = 237*i**2 + i - 1. Is w(g) prime?
False
Suppose 2*u - 2 = 0, 5*l - u - 7 = 2*u. Suppose 557 = 5*i - l*y, -2*i - 3*y + 464 = 2*i. Is i a composite number?
False
Suppose -6*p + 3*p = -2*k - 4081, -p - 2*k + 1363 = 0. Is p a composite number?
False
Let j(f) = 3*f**2 - 4*f - 3. Is j(-10) prime?
True
Let z(w) be the second derivative of 5*w**4/12 - 7*w**3/6 + 3*w**2 + w. Let d be z(-7). Suppose -369 = -3*b + d. Is b composite?
False
Suppose -2 = -2*z + 2. Is 39 - (z - -1 - 3) a prime number?
False
Suppose -2*o + 3 - 9 = 0. Let s(g) = -3*g**2 - 4 - 5*g + 0*g**2 - 5*g**3 + 4*g**3. Is s(o) a composite number?
False
Let i = 24 + -21. Is 119 - (0 - (-3 + i)) a composite number?
True
Suppose -v + 6*v = -30. Suppose -2*c - 1150 = 3*c. Is c*(v/(-4) + -2) a composite number?
True
Let g(w) be the first derivative of -w**2/2 + 5*w + 1. Let t be g(4). Is (1/1)/(t/26) a composite number?
True
Suppose -115 - 113 = -4*v. Is v a composite number?
True
Let n(m) = m**2 - 6*m - 5. Let y be n(7). Suppose -5*s = -2 - 3, 0 = 3*r - y*s - 475. Is r a prime number?
False
Let q = 46 - 52. Let x(i) = -12*i + 1. Let s(t) = -t. Let g(h) = -4*s(h) + x(h). Is g(q) composite?
True
Let t(s) = 7*s**2 + 7*s - 1. Is t(-7) a prime number?
True
Let d be 1/(4 - (-585)/(-147)). Let z = -1 + 11. Let b = d + z. Is b prime?
True
Suppose 3*b = 278 + 106. Let m = -61 + b. Is m a composite number?
False
Suppose 7*l - 266 = 5*l. Is l a composite number?
True
Suppose -3*b - 683 = 196. Let n = -150 - b. Is n composite?
True
Suppose 4*v - 5 = 5*t - 32, -4*v - 18 = -2*t. Let s be (-10)/15 + 14/t. Suppose s*k + 59 = 199. Is k composite?
True
Suppose 0 = -3*y - 4 + 13. Suppose -y*r + z + 630 = 0, 3*z - 2*z = -5*r + 1042. Is r a prime number?
False
Let p = -18 + 33. Suppose -4*b - p = -9*b. Suppose -b*c + 24 = 3*t, -3*c + 0*t + t = -20. Is c a composite number?
False
Let d(z) = z**2 + 6*z + 4. Let g be d(-4). Let n be (-3 + -1)*(-42)/g. Let p = 13 - n. Is p prime?
False
Suppose 6*j - 33 = 3*j. Is j composite?
False
Is 0 + (-125)/(-4) + 6/(-24) composite?
False
Let j be 25/(-2 + -1 + 4). Let q = -18 + j. Is q composite?
False
Suppose -3*b - 2 = 10, -x + 2*b + 138 = 0. Let k = -73 + x. Is k a prime number?
False
Let a = -116 - -349. Suppose -w = -20 - a. Is w a composite number?
True
Let s(t) = -9*t**3 - 1. Let f be s(1). Is 4/f - (-807)/5 composite?
True
Is (2/(-4))/(1/(-746)) a composite number?
False
Is -169*((-20)/4 + 4) a composite number?
True
Let w = 4 - 1. Suppose 4*r + w + 14 = v, -5*v + 3*r = -170. Suppose 5*o - 88 = v. Is o a prime number?
False
Let i(b) = b**3 + 9*b**2 + 2*b - 3. Let u be i(-9). Let m be 1 - (-7)/(u/(-54)). Is (-5)/10*-2*m prime?
True
Is (0 - (-211)/(-3))/((-8)/48) a prime number?
False
Suppose 0 = 2*m - 2*q - 2606 - 394, 5*q = m - 1500. Suppose 5*g + 1482 = 3*b, g - m = -b - 2*b. Is b a prime number?
True
Suppose 2*r - 1172 = -2*r. Is r prime?
True
Let n(d) = -d**3 - 4*d**2 + 7*d + 7. Let z(j) = -4*j**3 - 15*j**2 + 28*j + 29. Let f(c) = -9*n(c) + 2*z(c). Is f(-5) prime?
False
Suppose 4*p = -2*m, -3*m = -2*m - 2. Let h be p/((3/18)/(-1)). Is ((-10)/h)/((-4)/84) a composite number?
True
Let h(p) = 12*p**3 + 5*p - 1. Is h(4) composite?
False
Let j be 4/1 - (4 + -2). Let c = -4 + j. Is c/8 - (-370)/8 prime?
False
Let l = -190 + 867. Is l a composite number?
False
Suppose o - 114 - 97 = 0. Is o prime?
