w prime?
False
Let m = 4 + 2. Let g(w) = 5*w**2 - 4*w + 11. Let a(b) = 16*b**2 - 11*b + 33. Let u(h) = 3*a(h) - 8*g(h). Is u(m) prime?
True
Let h be -21*5/((-45)/6). Is h/(-21) - (-1990)/6 prime?
True
Let h = 1691 + 11526. Is h prime?
True
Suppose -2*t + 3871 = 25*w - 22*w, 0 = 5*t - 3*w - 9646. Is t a composite number?
False
Suppose 0 = 2*x + 2*x - 16*x. Is x + ((-5)/4)/(9/(-3852)) a composite number?
True
Suppose -20 = -5*s - 2*j - 3*j, 5*j + 4 = s. Suppose 3*i + 5022 = 2*g - i, 0 = s*g + 2*i - 10074. Is g a composite number?
True
Suppose -3*q + 2*f + 8 = 0, 2*f = q + 3*f - 6. Suppose -u + 4 = 0, 0*m = 5*m + q*u - 16811. Is m a composite number?
False
Let t be ((-84)/18)/(1/3) + -4. Let y(v) = -30*v + 95. Is y(t) composite?
True
Suppose -5*r + 108*x = 105*x - 46895, -5*r + 2*x = -46895. Is r a prime number?
False
Suppose 5*j + 8987 = 3*z, -2*z + j = -2384 - 3612. Is z a prime number?
True
Suppose -20967 = 11*b - 521170. Is b composite?
True
Let j(y) = 68*y**2 + 28*y - 47. Is j(-9) composite?
False
Suppose 3*c - 2*i = -23, 0 = 4*c - 2*i + 21 + 11. Let w be (17/(-5))/(c/45). Suppose w*h - 7868 = 13*h. Is h a composite number?
True
Suppose -v + 4*v = 4*o + 8, -5*o - 10 = 4*v. Let t be 3 + 0 - (-1 + v). Suppose t*r - 525 + 17 = 0. Is r composite?
False
Let w(j) = j**2 - j + 2. Let h be w(2). Suppose s - 4637 = 5*y, s + 4*s = h*y + 23143. Is s a composite number?
True
Let q = 43249 + -22190. Is q a composite number?
False
Let w(c) = 2435*c - 22. Is w(3) prime?
True
Suppose -11 = -3*i + 19. Let t be 18 + -6*5/i. Suppose -886 = t*g - 17*g. Is g a composite number?
False
Let y(g) = -3659*g**3 - 2*g**2 - 2*g. Is y(-1) a composite number?
False
Suppose -p + 0*p + 125 = 0. Suppose -p - 147 = 4*i. Let x = -31 - i. Is x prime?
True
Suppose 24*o - 100187 = 5*o. Is o composite?
False
Let k(o) = 2*o**3 + 21*o**2 - 17*o - 30. Let j be k(-15). Let m = j + 2897. Is m a prime number?
True
Suppose 8*b = -3692 + 43260. Suppose -b = -4*s + 1658. Is s a composite number?
True
Let d(p) be the third derivative of p**6/120 + p**4/8 + p**3/6 + 12*p**2. Suppose -4 = 4*c - 16. Is d(c) a composite number?
False
Let c(v) be the first derivative of -5 + 1/4*v**4 - 2*v + 4/3*v**3 - v**2. Is c(3) a composite number?
True
Let o = -16641 + 24508. Is o a composite number?
False
Let r be 8/(-14) + (-6)/14. Is 4/(-18) + (3140/(-36))/r prime?
False
Suppose -7*n + 265 = -6*n. Is n prime?
False
Let s = -72 - 327. Let q = -140 - s. Is q prime?
False
Let v(a) = -2*a - 14. Let z be v(-9). Suppose -5*l - z*i = -7*i - 490, -i = 2*l - 207. Let o = 190 - l. Is o prime?
True
Let x = -21 - -23. Suppose 2*t + 4*j - 5 = 5*j, -t = x*j - 5. Suppose f + 442 + 2702 = t*a, 0 = -2*a - f + 2101. Is a prime?
True
Suppose 4*o = 2*o - 146. Let c = o + 52. Is c/49 - (-5872)/14 a prime number?
True
Suppose w + 7 = -0*w. Let m = 11 + w. Suppose 4*n = 5*c + 1218, 6*c - m*c - 618 = -2*n. Is n a composite number?
False
Suppose -7 - 1 = -4*i. Let b be -2 - (-65*i - 3). Suppose v - 30 - b = 0. Is v prime?
False
Suppose -i = -5*m + 146197, -87709 = -3*m + 2*i - 6*i. Is m composite?
True
Let f be (-6)/14 - (-420)/(-49). Let t = f + 42. Let o = 58 + t. Is o prime?
False
Let z(g) = 1744*g - 22. Let t(w) = 873*w - 11. Let y(d) = -7*t(d) + 3*z(d). Is y(-4) a composite number?
False
Let o = -27 + 31. Suppose c = -0*c + 3*u + 422, 3*c = -o*u + 1266. Is c a prime number?
False
Let u be -2*(-3 - -4) + 5/1. Suppose u*m - 4 = -1, -3*l + 2*m = -2935. Is l a composite number?
True
Suppose 3*r - 2*r - 5*d + 5 = 0, 36 = 3*r + 2*d. Let l(j) = j**2 - 3*j - 1. Is l(r) a prime number?
False
Suppose -4*h + 13 = -7. Let c(z) = -2*z - 9. Let w be c(-6). Suppose -d = -h*f + 829 + 486, -3*d - 789 = -w*f. Is f a prime number?
True
Let a be (-513)/36*152/(-3). Let c = a + -261. Let z = c - -82. Is z a prime number?
False
Let z(w) = -2*w**3 - 6*w**2 + 7*w - 7. Let f be z(5). Let t = -1816 + 2597. Let u = f + t. Is u prime?
True
Let h(r) = -12*r + 10. Let y(b) = -11*b + 10. Let q(u) = -2*h(u) + 3*y(u). Let z be q(-11). Let w = z - -14. Is w prime?
False
Let n(m) = 14*m**2 - 7*m + 5. Let j be n(4). Suppose 2*l = -l + j. Is l composite?
False
Let f(x) = 3*x**3 - x**2 + 27*x + 52. Is f(15) a composite number?
False
Let z = -123 + 127. Suppose 2*m = z*l - 2086, -2*m - m = 4*l - 2081. Is l prime?
True
Is -4 + 5 + -11 + 75249 prime?
True
Let s(m) = -88*m - 30. Let p be s(-2). Let l = 70 - 127. Let b = l + p. Is b composite?
False
Let s = 181314 - 263744. Is 2/11 + s/(-22) a composite number?
True
Let p be (0 - -34)*87/6. Let k = -325 + p. Suppose -2*f + 2*b = -k, 2*f + b + b = 148. Is f composite?
False
Suppose 3*w + 4*m + 5 = 0, 0*w = -2*w - 2*m. Suppose -4*z + 0*z = -8, -2*d = w*z - 236. Is d a prime number?
True
Suppose 5*j - 4459 = 4*u + 1124, 0 = -u + 3. Is j composite?
True
Let c(v) be the second derivative of v**5/20 - 5*v**4/12 + v**3/2 - v**2/2 + 4*v. Let h be c(5). Let q(t) = t**2 - 11*t - 7. Is q(h) composite?
True
Let q be 8/28 + (-5624)/(-14). Suppose -j + 1261 - 142 = 0. Suppose -k + q = z + 33, -j = -3*z + 3*k. Is z prime?
False
Is 8 - ((9 - 1361) + -1) prime?
True
Suppose -1897 = -h + 3*w + 2096, -3*h + 11959 = -4*w. Is h prime?
False
Suppose h = -3*m - 74, 0*h - 3*h - 22 = m. Let q = m + 118. Suppose -3*g = -2*g - q. Is g a composite number?
True
Let k = -444 - -2183. Suppose -k = -3*i + 2*x, 3*x = -5*i + 4*x + 2903. Is i a prime number?
False
Let x be 4/(-2) - (0 - 6). Suppose -2*r = 3*d - 883, 5*d - 1180 = d - x*r. Is d a composite number?
False
Suppose -2*i + z = 6 - 33, -4*z + 12 = 0. Is 651/i + (8/10)/(-2) prime?
True
Let l(k) = 1101*k + 52. Is l(5) a prime number?
True
Let f = -8630 - -28369. Is f prime?
True
Let r(c) = c**3 - 7*c**2 - 7*c - 3. Let x be r(8). Let z(o) = 11*o**2 + 9*o + 3. Let t(v) = -17*v**2 - 13*v - 5. Let j(p) = x*t(p) + 8*z(p). Is j(6) prime?
True
Let p = 9156 + -4036. Let h = p - 2155. Is h a prime number?
False
Suppose 0 = 92*q - 88*q - 125228. Is q prime?
True
Suppose -f + 5 = -0, -5*f = -4*h + 55487. Suppose 0 = -10*a + 4*a + h. Is ((-1)/3)/((-3)/a) prime?
True
Suppose 2*f + 3*w = 13, 5*f + w - 7 = 3*f. Is (-43)/((-4)/12 - 0) - f prime?
True
Suppose 2*z + 0 + 2 = 0, 4*f = 4*z + 16856. Is f composite?
True
Let z = 43632 - 22011. Is z a prime number?
False
Let q(y) = -y**2 - 13*y + 7. Let a be q(-10). Let v = 9 - a. Is 4689/21 + 8/v prime?
True
Let h = 14 + -17. Let q be h + -1 + (-3 - -5). Is -3*q/3 - -17 a prime number?
True
Let r(n) = -32*n**3 - 2*n**2 - 3*n - 3. Suppose 2*u + 0*l - 16 = -2*l, -l - 4 = -2*u. Suppose 7*g = u*g - 6. Is r(g) a prime number?
True
Let o(m) = m**3 + 6*m**2 - 10*m - 15. Let a be o(-7). Is ((14/4)/(-1))/(a/(-804)) composite?
True
Suppose 3*k + 34 = -4*x, 6 + 4 = -5*k. Let i(r) = -r**3 + 3*r**2 + 10*r + 27. Is i(x) composite?
True
Suppose 3*t + 1569 = 2*i + 14282, -4*t - 5*i = -16943. Is t composite?
True
Suppose -s - 1559 = -23818. Is s a composite number?
False
Is (-2 - -4)/(9/((-4845645)/(-14))) composite?
True
Let d = 33305 - 16344. Is d composite?
True
Let d be (-1 - -13)/(18/(-63)). Let v = -11 - d. Is v prime?
True
Let n(h) = -h**2 - 11*h + 5. Let j be n(-11). Suppose -3*d = f + 33 + 38, j*d - 15 = 0. Let v = 1131 - f. Is v a composite number?
True
Let q be (-4 + 110 - -4)*-1. Is 1/(-5) - 11/(q/26152) a composite number?
True
Suppose -26*j = j - 396846. Is j prime?
False
Let i = -17 - -27. Suppose -5*d + 0*d = -4*u - i, -4*d = -4*u - 8. Is (-2 - 87)/(d/(-14)) a prime number?
False
Let h(g) = g**3 + 3*g**2 - g - 1. Let a be h(-3). Suppose -3*v - 15 = -a*c, 6*v = -5*c + v - 25. Suppose c = -4*n - 0*n + 92. Is n prime?
True
Suppose 0*b - 8 = -4*b. Suppose -6*s = -s + 4*k - 1273, -b*k = -5*s + 1291. Is s composite?
False
Suppose 7*u - 280 = 84. Let s = u + -17. Is s composite?
True
Let p = -37 + 35. Is 4737/18 + p + (-22)/(-12) a prime number?
True
Let x(k) = -k. Let i be x(0). Suppose 2*f = -i*f - 32. Is (62/(-4))/(4/f) prime?
False
Let r = 13 - 9. Let m(y) = -3*y**2 + 40*y**3 - 22*y**3 + 2*y - 16*y**3 - 6. Is m(r) prime?
False
Suppose 1 + 4 = q, 4*l = -4*q + 44128. Is l composite?
False
Suppose 0*v - 4*f = 3*v - 26, -34 = -4*v - 5*f. Let w(o) = -o**3 - 49*o**2 - 50*o - 98. Let p be w(-48). Is (13 + p)/(v/78) a prime number?
False
Let o(n) = -2*n - 9. Let p be o(-6)