f. Is x prime?
False
Let z = 189 + -268. Suppose -30 + 258 = 2*k. Let r = k + z. Is r prime?
False
Let w be 46/6 - (-5)/15. Let i(h) = 2*h**3 - 9*h**2 - 7*h - 1. Is i(w) a prime number?
False
Suppose w = -2*w - 4*u + 24, 0 = -2*w + 4*u - 4. Suppose 0 = 4*j - 3*v - 514, w*v - 418 + 45 = -3*j. Is j composite?
False
Suppose -7*r - n = -3*r - 713, 5*r = n + 898. Is r prime?
True
Let h(z) be the second derivative of 21*z**4/2 - z**3/6 + z. Is h(-1) a prime number?
True
Let i(b) = -b**2 - 72 - 2*b**2 + 69 + 4*b**2. Suppose -h = -3 + 6. Is i(h) composite?
True
Let p = 17 - 18. Is 135 + -5 + -2 + p a prime number?
True
Suppose -2*y + 2315 = -5*a, -6*y + y + 2*a + 5798 = 0. Suppose -6*j + y = -j. Let l = j - 153. Is l composite?
False
Suppose 1024 = 8*t - 2232. Is t composite?
True
Suppose 0 = -w - 4*w + 10. Let v(k) = k**2 + 2*k**w + 2*k**2 + 4*k. Is v(-3) prime?
False
Let j = 64 + -206. Let c = 669 + -430. Let t = j + c. Is t composite?
False
Let y = -4 - -5. Suppose y = -r + 11. Is r composite?
True
Let u(b) = b + 2. Let l be u(0). Suppose 75 = l*v + v. Is v a composite number?
True
Let b = -14 - -12. Is (34 + -4 - b) + -1 prime?
True
Suppose 2*a - 784 = -2*a. Suppose -2*t = -2*x + a, 3*t + 197 = -2*x + 4*x. Is x a prime number?
True
Let l be 56*3 + 1*2. Suppose -4*b + 6 = -10. Suppose 5*n - 16 = 2*a + l, -2*a = -b. Is n a prime number?
False
Let f(u) = 4*u**3 - 3*u**2 - u + 1. Suppose v - 7 = -4*k, -3*v - 11 = 3*k + v. Is f(k) composite?
False
Suppose -4*y = -3*x + 2209, y - 1307 = -3*x + 912. Is x composite?
False
Let u = -464 - -1245. Is u a prime number?
False
Let d = 855 - 550. Suppose 3*x - 166 = d. Is x a prime number?
True
Let b be 5/((-10)/6) + -115. Is b/(-4) + (-3)/(-2) composite?
False
Let v(h) = -9*h**2 - 3*h + 9. Let t(c) = -c**3 - 19*c**2 - 6*c + 19. Let u(i) = -2*t(i) + 5*v(i). Suppose 0 = -5*s + 4 + 21. Is u(s) prime?
True
Let h(v) be the second derivative of -v**5/20 + 5*v**4/6 - 11*v**3/6 + 3*v**2/2 - 2*v. Let z be h(9). Is 4/10 - 999/z a prime number?
True
Suppose 23*v = 22*v + 1067. Is v a prime number?
False
Let v be (3 + -2 - -420)/(-1). Let s = 644 + v. Is s a prime number?
True
Let l = 286 - 183. Is l prime?
True
Is (-14)/21 - 4313/(-3) prime?
False
Let c = 3 - 17. Let f = -30 - c. Is (12/f)/((-1)/28) prime?
False
Let d be (3/(-2))/(5/(-10)). Suppose -d*u = -7*u + 76. Is u prime?
True
Let k be ((-64)/8)/(-2*1). Suppose 5*m + c = 747, 3*c - k*c + 2 = 0. Is m a composite number?
False
Suppose -3*m = -121 + 10. Let k = 5 + -1. Suppose 3*u = -2*s + m, -4*u - s = k*s - 40. Is u prime?
False
Suppose 3*g - 78 = -5*v, 10*g = 5*g + 3*v + 130. Is g composite?
True
Let h = -4 + 4. Suppose h = -t, 3*l - 2*l - 9 = t. Suppose -2*f + 1 = l, 3*w = 4*f + 25. Is w composite?
False
Let o = -1138 + 1655. Is o a composite number?
True
Suppose 299 + 72 = p - 5*x, 2*p - 742 = -2*x. Is p prime?
False
Suppose 0 = -w - 2, 268 = 4*q - 5*w + w. Is q a prime number?
False
Let j be (-64)/(-24) + 1/3. Suppose -5*q = -4*c + 902, -c = -j*q + 4*q - 221. Is c a prime number?
True
Let b = 4268 - 3025. Is b a composite number?
True
Let n(x) be the second derivative of x**4/4 + x**2/2 + 3*x. Let j be n(-1). Suppose -j*c + 3*c = -46. Is c a composite number?
True
Let q(v) = v + 456. Let b be q(0). Suppose -2*c = -2*p + b, 2*c + 0 = -4. Let m = p - 99. Is m prime?
True
Suppose 0*w = -w + 7. Suppose w*i - 25 = 2*i. Suppose -187 - 208 = -i*b. Is b a composite number?
False
Let u = 2029 + -947. Is u prime?
False
Suppose 11*a = 9*a + 826. Is a a prime number?
False
Let g = -655 - -1508. Is g a prime number?
True
Let y(c) = 2577*c - 3. Let p be y(-3). Is (-6)/27 - p/54 composite?
True
Let z be ((-10)/(-25))/(1/(-5)). Is -1*(z + -83 - 1) prime?
False
Is (0 - 1)*(-3705 + 34) a composite number?
False
Let s(f) = 3*f**2 + 7*f - 16. Let w(y) = 2*y**2 + 8*y - 15. Let z(o) = 4*s(o) - 5*w(o). Is z(10) a prime number?
False
Let l be (-26)/(-6) - 1/3. Let k(s) = 8*s**2 - 5*s - 3. Let t(z) = z**2 - 1. Let i(g) = k(g) - 6*t(g). Is i(l) a prime number?
False
Let p be 77/4 + (-2)/8. Suppose 0*f - 4*w + 4 = 2*f, -3*f = -w - 13. Suppose p = 2*t - 2*d - 13, -t + f*d + 19 = 0. Is t prime?
False
Is 4*(-4)/(-16)*359 a composite number?
False
Let z(m) = 2*m - 2. Let l(y) = -y - 5. Let b be l(-8). Let s be z(b). Is 2/s*23*2 a composite number?
False
Suppose 139 = 3*l - 20. Is l composite?
False
Let s be 1 - (-343 - (0 - -2)). Is (-6)/27 + s/18 prime?
True
Let n be 0/(-2)*(4 + -5). Suppose 3*r - 4*j - 383 = 0, n*r - 278 = -2*r - 3*j. Is r prime?
False
Let l(q) = 2*q + 33 + 167 - q. Let n be l(0). Suppose 7*y - 2*y + 5*p - n = 0, 3*y = -5*p + 130. Is y prime?
False
Let b = 11 + -27. Is ((-382)/4)/(8/b) a prime number?
True
Suppose -5*i - h - 3*h + 4945 = 0, 0 = -3*h. Is i composite?
True
Let o = 424 - -190. Suppose -5*b = -o - 441. Is b composite?
False
Let q = 37 - 14. Suppose 88 = 3*z - q. Is z a prime number?
True
Let w = 78 + -11. Let s be (7 + 1/(-1))*8. Let c = w - s. Is c a composite number?
False
Suppose -5*l - 613 + 1543 = -5*c, 0 = 5*l + c - 912. Is l prime?
False
Suppose -q + 2*q = 3*b - 37, 45 = 5*b - 5*q. Let v be 61/7 + 4/b. Suppose 4*y - v = 3. Is y a composite number?
False
Let p be 32/14 - 8/28. Suppose -2*w + 124 = p*w. Is w a composite number?
False
Let z = -537 + 790. Is z composite?
True
Suppose 4*z = -2*z + 462. Is z prime?
False
Let u(v) = -v**2 - 12*v. Suppose 5*b + 6 - 1 = 0. Let p = -6 - b. Is u(p) composite?
True
Suppose 5*b - 180 = x - 3*x, 3*x = 15. Let p be (-4)/18 - b/9. Let y = 47 - p. Is y a composite number?
True
Let l be (-1)/(-2 + (-66)/(-34)). Suppose 0*u + 106 = 3*u + 4*s, u = -5*s + l. Suppose 3*d - u = 15. Is d prime?
True
Suppose 2*w + 2 = 4*h, 2*h + 19 = 4*h + 5*w. Suppose -576 = -h*z - 4*i - i, 3*i + 6 = 0. Is z prime?
True
Suppose -4*j + 537 = m, 2*m + 292 = -4*j + 834. Is j composite?
True
Suppose -b + 136 = 2*t - 812, 0 = b. Suppose 0 = -5*k - k + t. Is k composite?
False
Let w(t) = 9*t**2 - 7*t + 5. Suppose -12*h + 9*h + 18 = 0. Is w(h) prime?
False
Let d = 82 - 123. Let o be 3/(-3)*d/1. Suppose v + 3 = o. Is v prime?
False
Let z(x) = -2*x - 6. Let v = 3 + -8. Let t be z(v). Suppose t*m - 36 = 88. Is m prime?
True
Let i(q) be the second derivative of -q**3/3 - 3*q**2 + 2*q. Let m be i(-6). Suppose -3*j = m, 3*j = -5*o + 5*j + 59. Is o a composite number?
False
Is (-1)/(-2) - (-6825)/10 composite?
False
Let h(g) = g**3 - 5*g**2 - 7*g - 10. Let y be h(7). Let x be 6/15*(-3 + -67). Let a = y + x. Is a a prime number?
True
Let b(y) = 3 - 4*y - 3*y + 4 + 3*y. Is b(-10) composite?
False
Suppose -3*i + d + 128 = 0, 5*d - 53 - 167 = -5*i. Suppose -i = -x - 3*s + 6*s, x + 4*s - 50 = 0. Suppose -x = -2*r - 4. Is r prime?
False
Suppose 6*h = 133 + 185. Is h prime?
True
Suppose -2*s + s - 75 = 0. Let o = s + 220. Is o composite?
True
Suppose 6*m + 17 = 3*m + x, 0 = -2*m - 5*x - 17. Is (-1465)/(-15) - (-4)/m composite?
False
Suppose u + 78 = 377. Is u composite?
True
Suppose -617 = -d - c, -2*c = -6*d + 3*d + 1831. Is d a composite number?
False
Let d(v) = -v**2 - 6*v**3 - 2 - 2*v**2 - 3*v + 5*v**3. Let r be d(-2). Suppose r*z = 5*z - 165. Is z a composite number?
True
Let r(d) = d**2 - 3*d + 1. Is r(-8) a prime number?
True
Let x(g) = 15*g**2 + 3*g - 3. Let j be x(2). Suppose -a = -4*h - 45, 2*h = -a - 3*h + j. Is a composite?
False
Let o(u) = -u**2 + 7*u - 2. Let g be o(6). Let j(a) = 84*a - 1. Is j(g) composite?
True
Let c be 0 + 1*0/1. Let t(g) = -3 + 6 + 2*g + 2*g**2 + c*g**2. Is t(-2) prime?
True
Suppose -147 = 4*t - 1639. Is t prime?
True
Let f = -4 + 3. Let a be 0 + 2 - (f - -4). Is 2 + a + (1 - -91) a composite number?
True
Let b(w) = -254*w - 5. Is b(-1) a prime number?
False
Let w(v) be the second derivative of 0 - v + 7/2*v**2 - 1/6*v**3. Is w(3) composite?
True
Is ((-163)/4)/(3/(-12)) composite?
False
Is 917 + (4 + -4)/(-3) a composite number?
True
Suppose -9*v + 989 = -8*v. Is v composite?
True
Let m = 25 + -30. Is 1/((4 + m)/(-211)) a prime number?
True
Let k = 476 + -265. Is k a composite number?
False
Let i(u) = 70*u - 5. Let r be i(-6). Let t = -293 - r. Suppose 0 = 5*a + 27 - t. Is a prime?
False
Let c be (-1 - -10) + 3 + -7. Suppose -4*f - 38 - 183 = -3*b, 5*b - c*f - 360 = 0. Is b composite?
False
Let o(k) be the first derivative of 