
True
Suppose 2*k + 50 = 306. Suppose 0 = -5*h + k - 3. Is h prime?
False
Let b(q) = -1 - 4*q + 6*q - 3*q. Let c be b(2). Let u(k) = -2*k**3 - 4*k**2 + 1. Is u(c) prime?
True
Let h = 89 - 39. Suppose h - 255 = -v + 3*j, 3*j - 217 = -v. Is v a composite number?
False
Suppose 0 = -4*z - z + 925. Let a = z + -66. Is a a composite number?
True
Let h = -280 - -491. Is h prime?
True
Let h = 103 - 60. Suppose -3*v + h = -2*v. Is v prime?
True
Is 11/44 - 1638/(-8) a composite number?
True
Suppose -3779 = -12*l + 12577. Is l a composite number?
True
Suppose -u - 3*s - 284 = -2*u, s + 1462 = 5*u. Is u prime?
True
Let d(n) = n**2 + 3*n + 2. Let c be d(-3). Suppose -c*v + 265 = -v. Is v composite?
True
Suppose 5*w = -5*f - 5, 29 = 3*f - 2*f - 5*w. Suppose f*k = 15 + 13. Is k composite?
False
Let t = -15 - -14. Is ((-524)/12)/(t/9) a prime number?
False
Let q be (-15)/21 + (-4)/14. Let h(o) be the first derivative of 25*o**3/3 - 1. Is h(q) a prime number?
False
Suppose 5*j - 596 = -5*o - 26, -2*o = -j + 129. Is j a composite number?
True
Let f(y) be the second derivative of y**5/20 + y**4/6 - 2*y**3/3 + 3*y**2 - y. Let z be f(-5). Is z/2*(0 - 2) prime?
False
Is (1 + 781)*1/2 a prime number?
False
Let l(p) = p. Let q(f) = -2*f + 2. Let z(n) = -4*l(n) - q(n). Is z(-2) a prime number?
True
Let c be 132/2 + (-2 - -1). Let b = c - 100. Let p = -12 - b. Is p a composite number?
False
Let z be (-6)/(-1)*6/(-9). Let k = -2 - z. Suppose -4*m - 319 = -5*v, -k*v + 206 = -3*m + 84. Is v prime?
True
Suppose 2*k - 5*k = 0. Let p(d) = -1 + 2*d**3 + 16 - 3*d**3. Is p(k) a prime number?
False
Let p(u) = u**3 + 12*u**2 - 8*u - 9. Let g be p(-9). Let q = g - 89. Is q prime?
False
Let z = 635 - 194. Suppose 0*w + h - 152 = -w, -3*w + 2*h + z = 0. Is w prime?
True
Suppose 10*y - 123 = 137. Is y a prime number?
False
Let g(n) = 7*n**2 + 2*n - 1. Is g(6) prime?
True
Let u = -434 - -723. Is u a composite number?
True
Suppose 0 = -y - 3*y + 32. Let l(b) = 11*b - 4*b**3 - b**3 + 8*b**2 + 5 + 4*b**3. Is l(y) a prime number?
False
Suppose -4*x + 3*i + 12 = -11, -x + 3*i + 17 = 0. Let m be x + -10 - -1 - 0. Let w = 76 + m. Is w prime?
False
Let t(f) = -2*f**3 + 6*f**2 + 13*f + 1. Let q(d) = d**3 - 3*d**2 - 6*d - 1. Let r(o) = 9*q(o) + 4*t(o). Is r(5) a composite number?
True
Is 8/(-32) - (-3562)/8 a composite number?
True
Suppose 3*l - 1841 = 1690. Is l a prime number?
False
Let r be (15/(-9))/(2/(-24)). Is 1678/4 + (-10)/r a composite number?
False
Suppose 4*f - 3*q = 2*f + 16, -4*q = 5*f + 6. Suppose f*d + j = -2*j + 7, 5*j + 20 = 3*d. Suppose -5*s + d*i + 661 + 39 = 0, -4*i = -12. Is s prime?
False
Suppose -3*l + l = -20. Suppose 0*z = 2*z - l. Is 2376/20 - (-1)/z prime?
False
Let o = 4 + 0. Suppose -o*b = -b - 156. Let g = b - 27. Is g a composite number?
True
Let a(h) = -11*h**2 - 3*h + 2. Let y be a(3). Is y/((-4)/(2/1)) prime?
True
Is 10/(-40) + (-2058)/(-8) prime?
True
Suppose 2*f + 8 = 0, a - 5*f = 19 + 4. Let w(l) = l**2 + a*l**2 + 8*l - 2*l**2 + 3. Is w(-8) a prime number?
True
Let k(l) = l**2 + 3*l - 2. Let a be k(4). Suppose 5*u - 4*x + 126 = 0, 5*u + 4*x + a + 108 = 0. Is u/8*(-100)/5 a prime number?
False
Let a(t) = t**3 - 5*t**2 - 6*t + 2. Let w be a(6). Suppose 0 = -w*p + 4*o - 0*o, 4*p - o + 7 = 0. Is p/2*1 - -16 a prime number?
False
Suppose 0 = -7*f + 2*f. Let u(w) = w + 1. Let b be u(f). Let i(v) = 36*v**3 + 1. Is i(b) prime?
True
Let i be (-1 - 9/(-2))*2. Suppose 2*y - p - 76 = 0, -5*p - 3 - i = 0. Is y a prime number?
True
Is (10/(-6))/(-2*4/1608) prime?
False
Suppose -6*n + 1588 = 2*x - 3*n, 3*x = 5*n + 2401. Is x a composite number?
False
Let m(g) = -1 - g**3 + g**3 + g**2 + 5*g**2 + 9*g - g**3. Is m(6) composite?
False
Suppose 0 = 3*n + n. Suppose -3*y + 0*y + 93 = n. Is y composite?
False
Suppose -10*a + 7*a + 393 = 0. Is a composite?
False
Suppose -3*i + 59 = -2*g - 163, -74 = -i + 5*g. Is i a prime number?
False
Let i = 60 - 26. Is i a prime number?
False
Let j(n) = 10*n**2 + 12*n - 47. Is j(9) composite?
True
Let o(u) = u + 6. Let i be o(-5). Is (655/20)/(i/4) a prime number?
True
Suppose 0 = 3*c - 1031 - 466. Is c a prime number?
True
Let j(g) = g**2 - 6*g - 9. Let z be j(7). Let m(r) = 67*r. Let h be m(-2). Is (-1)/(270/h - z) a prime number?
True
Let c(a) = -6*a - 51. Let d(j) = 5*j + 51. Let q(z) = 6*c(z) + 7*d(z). Is q(0) a prime number?
False
Let o(p) be the first derivative of -11*p**2/2 - 9*p + 6. Let w(z) = 2*z**3 + 2*z**2 - z - 2. Let f be w(-2). Is o(f) prime?
True
Let y(z) = -104*z**3 - z**2 + z + 1. Suppose q - 4 = -2. Let p(w) = -w**2 + 2*w - 1. Let v be p(q). Is y(v) prime?
True
Suppose -2*u + 1305 - 131 = 0. Is u prime?
True
Suppose 2*k - 656 = -2*a - 0*k, -3*k + 3 = 0. Is a prime?
False
Let z(x) = x**2 - 3. Let u be z(0). Is (-2 - 294/u) + 1 a prime number?
True
Let g = -2 - -14. Let x(u) = -3 - 13 + 6*u - 1. Is x(g) composite?
True
Let r(v) = 4*v**2. Let o be r(1). Suppose -o*f = c + 6, 5*c + 30 = 2*f - 6*f. Let s = -4 - c. Is s a prime number?
True
Let d = -242 - -733. Is d a composite number?
False
Suppose 6*r - 7 = 4*k + 3*r, k + 7 = -r. Let z be k/1*(-1 - 1). Suppose -4*l + 31 = 2*p - 119, -4*l = z. Is p composite?
False
Suppose -4*a + 15 = -a. Suppose -3*d + 1 + a = 0. Is 236/3 - d/(-6) a prime number?
True
Let j(u) = u**3 - 2*u**2 - 3*u + 2. Let a be j(3). Let h be 1 + -3 + a - 4. Is (21/(-6))/(2/h) composite?
False
Is (-1)/(0 + 4/(-876)) a composite number?
True
Let z(y) = y + 6. Let d be z(-9). Let a = 5 + d. Suppose -o + a*o = 2*u - 49, 0 = 4*u + 5*o - 105. Is u a composite number?
True
Suppose 5*v = -192 + 647. Let l = -20 + v. Is l a composite number?
False
Let w be 4 + -1 + 10 + -13. Suppose w*l + 4*l + 534 = 2*j, -3*j + 793 = -2*l. Is j composite?
False
Let s = 2 + -4. Let p be (-3)/s*16/6. Suppose 5*y - y - 192 = -p*q, 0 = -2*y - 10. Is q a composite number?
False
Suppose 6*l - 44 = 142. Is l a composite number?
False
Suppose 16 = k - 2. Is 6/k - 2668/(-6) prime?
False
Let n = 8 - 5. Suppose -1988 = -n*p - p. Is p composite?
True
Let u(f) be the first derivative of -3*f**2/2 + 2. Let c be u(-4). Is (-794)/(-6) + 8/c composite?
True
Let n(t) = -t**3 + 14*t**2 + 4*t - 4. Is n(-9) a composite number?
False
Let p(t) = 2*t**2 - t + 13. Let s be 2 - 2 - (-28)/2. Is p(s) a prime number?
False
Let h(v) = 8*v**2 + 3*v - 1 - 3 + 0. Let u be h(4). Suppose -58 - u = -2*x. Is x a composite number?
False
Is -1 + 0 - (-81 + -11) a composite number?
True
Let y = 199 - 116. Is y composite?
False
Let x(g) = 9*g**2 + 12*g - 23. Is x(6) a prime number?
True
Suppose -4*u + 78 = 2*o, 6 = -u + 4. Is o a prime number?
True
Suppose -932 = -2*k - 0*k. Let l be (-5)/(198/195 - 1). Let x = l + k. Is x a composite number?
True
Suppose 4*m + 6 = -6. Let q(o) = -195*o + 2. Is q(m) a composite number?
False
Let f be 60/14 + (-8)/28. Suppose 0*b = b - f. Suppose -86 = -0*q - 5*q - b*s, 3*s = 3*q - 30. Is q composite?
True
Let k(j) = -3*j**3 + 3*j**2 + 1360. Let h(t) = -t**3 + t**2 + 453. Let u(s) = 7*h(s) - 2*k(s). Is u(0) prime?
False
Suppose -2*o + 612 = o. Let m = o - 73. Is m a prime number?
True
Let k(z) = 2*z**2 - 7*z + 1. Is k(14) a prime number?
False
Is (-410)/(-7) + 6/14 prime?
True
Suppose -10*w + 17*w = 1393. Is w composite?
False
Is (5 - 6)/(3/(-147)) a prime number?
False
Let h(t) = -364*t - 7. Let g be h(-11). Suppose 0 = -o + 2*z + 789, -5*o + 3*z - 6*z = -g. Is o a prime number?
True
Suppose k + 275 = 2*k + q, 2*q = -4*k + 1108. Suppose -2*x = -3*i + k, 3*i - 302 + 32 = -x. Is i composite?
True
Is 10*(-1)/((-2)/29) a composite number?
True
Suppose -85 = -5*f - 5*s, -2*s + 76 = 6*f - f. Is f prime?
False
Let i(d) = -20*d**3 - 13*d**2 - 17*d - 21. Suppose -o - 1 = 1. Let y(g) = -5*g**3 - 3*g**2 - 4*g - 5. Let j(h) = o*i(h) + 9*y(h). Is j(-2) prime?
True
Let s be ((-8)/(1 - 5))/(-2). Let o(w) = -80*w - 1. Is o(s) a prime number?
True
Suppose -1 = -2*k + 5. Suppose -2*n - 1015 = -5*v, 6*v - k*v = n + 609. Is v a composite number?
True
Let u = 2 - 7. Let z(l) = -2*l - 6. Let c be z(u). Suppose 557 = c*t + 217. Is t composite?
True
Let m(d) = -4*d**3 - 11*d**2 + 22*d + 3. Let j(f) = -3*f**3 - 12*f**2 + 21*f + 3. Let h(v) = -3*j(v) + 2*m(v). Is h(-15) composite?
True
Let s(t) = 5*t**2 - 7*t + 26. Let l(q) = -2*q**2 + 4*q - 13. Let b(n) = 7*l