prime?
False
Let n(s) = s**3 + 4*s**2 - 4*s + 5. Let z be n(-5). Suppose z = 4*h + 2 - 10. Is h composite?
False
Let v(w) = -w + 3. Let a be v(6). Suppose x + b + 17 = -3*x, b + 9 = -2*x. Is 94/x*(1 + a) composite?
False
Let y be ((-474)/4)/((-3)/40). Suppose -5*c = 5*x - y, -5*c + 5*x = -c - 1291. Is c composite?
True
Suppose 0*u - 10 = u. Let b be (4/u)/((-3)/(-15)). Let m = 8 - b. Is m prime?
False
Is (-1)/1*(-499 - 15) prime?
False
Let o(l) = 18*l**2 - 18*l - 13. Is o(-6) composite?
False
Let o(h) = -h**2 - 3. Let j be o(0). Let q(d) = 7*d**2 - 4. Is q(j) a prime number?
True
Let i = 5 - 3. Suppose -i*l - 39 = -105. Is l prime?
False
Suppose 7 = -4*u - 2*i + i, 5*u = -i - 8. Let s = 4 - u. Suppose j - 38 = -c, -s*j = c - 2*c + 20. Is c a prime number?
False
Let q(s) = -10*s + 4. Let h be 3/(0 + -1 - 0). Let v be q(h). Let r = 17 + v. Is r a composite number?
True
Let o = -23 - -25. Suppose 2*k - 4*x - 37 = -k, -o*x + 64 = 4*k. Is k a prime number?
False
Let t be ((3 - 0) + -2)*84. Suppose -2*z + t = 14. Is z a composite number?
True
Let q be ((-10)/(-4))/(3/6). Suppose -2*d + 2 + 3 = -a, -25 = -2*d + q*a. Is d/(2/(-1)) - -6 composite?
True
Suppose -3*j + 5*l = 2, 3*l = 5*l + 4. Let i(f) = -7*f + 8. Let t(p) = 14*p - 15. Let k(v) = -5*i(v) - 3*t(v). Is k(j) composite?
True
Suppose -5*z + 4*y - 171 = -954, -4*z = 5*y - 651. Is z prime?
False
Suppose -176 - 475 = -4*i + 5*v, 0 = 5*i - v - 798. Is i a prime number?
False
Let c = -160 - -92. Let k be c/(-20) - (-4)/(-10). Suppose u + k = -0, 5*u + 437 = 2*b. Is b prime?
True
Let t(y) = y**2 + 11*y + 3. Let r be t(-11). Suppose 0 = -2*o - r*o + 175. Is o a composite number?
True
Suppose -3 = l - 1. Let u be l/1*(-3)/(-6). Is ((-10)/u)/((-4)/(-10)) composite?
True
Suppose -3*m = -94 - 143. Let k = m - 42. Is k composite?
False
Suppose 6235 - 88 = 9*v. Is v a prime number?
True
Suppose 52 = -g + 155. Suppose 163 = 3*c - 2*h, -25 - g = -3*c - 5*h. Is c a prime number?
False
Let x = 961 + -1469. Let a = -285 - x. Is a a composite number?
False
Suppose -2*l + 5*s + 1596 = 207, 2*l + 5*s = 1439. Is l composite?
True
Is 159 - (1 - (1 + -4)) a prime number?
False
Suppose -6 = 4*g - 2*g, 5*g = c - 17. Let m be -6*c/3*-1. Suppose 2*h + 140 = m*q, 2*q + h - 5*h = 58. Is q composite?
False
Let d(q) be the third derivative of -q**5/60 - q**3/6 - 2*q**2. Let p(g) = g**3 + 10*g**2 - 9*g + 2. Let r(j) = -6*d(j) - p(j). Is r(-6) a prime number?
False
Suppose 0*z - 4*z + 16 = r, -3*r = 12. Suppose z*x - 4*s - 25 = 0, 5*s = -x + 6*x - 30. Is (58 + -5)/(0 + x) a composite number?
False
Suppose 3*p - p - 4*k + 10 = 0, p + k - 10 = 0. Let l = 2 + p. Let t = l + -1. Is t prime?
False
Suppose 0 = 2*y - 5*y + 1227. Is y a composite number?
False
Let z be (-36)/45*(-345)/2. Suppose f + z = a + 2*f, -a = -3*f - 142. Is a a composite number?
False
Suppose 6*c = -c + 847. Is c a composite number?
True
Let p = -5 - -3. Is -134*p/(-8)*-2 a prime number?
True
Suppose 0 = 2*r - 2*v - 56, -2*r + 3*r + 5*v - 34 = 0. Suppose -r = -f + 3*p, 3*f - 2*p - 101 = -28. Is f prime?
True
Let u = -1 - -2. Suppose -3*h + 4 = u. Is (h + -3)/((-2)/83) a prime number?
True
Let v(x) = -x**3 - 3*x**2 + x + 3. Let f be v(-4). Is ((-18)/f)/(4/(-170)) composite?
True
Let h(l) = 6*l + 2. Suppose 0 = 2*g - 10 - 10. Let t be h(g). Suppose t = q - 143. Is q prime?
False
Suppose 0 = 2*x - x. Suppose -2*m + 4 + x = 4*z, -4*z - m = -4. Is ((-31)/2)/(z/(-2)) composite?
False
Let n = 23 + -21. Suppose -136 = -h + q, 251 = n*h + 5*q - 0*q. Is h composite?
True
Suppose -5*v = -4*f - 3, 0 = 3*v + 4*f - 27 + 6. Let g = v + -1. Suppose -g*q - q = -111. Is q a prime number?
True
Suppose -2*d = -6*d + 3*h + 1504, 4*d = 4*h + 1508. Is d a prime number?
True
Let v be -16*3/6*1. Let y = v - -17. Is y a prime number?
False
Let k be (10/(-4))/((-4)/8). Let l(r) = 2*r**3 - 6*r**2 + 4*r + 6. Let g be l(k). Suppose 0 = -3*s + 2*d + 115, -4*d + 36 - g = -2*s. Is s a composite number?
True
Suppose 0 = 4*s + 18 + 6. Let o(x) = 2*x + 9. Let i be o(s). Is 682/8 + i/12 a prime number?
False
Let j be 11 + 0 + -2 + 2. Suppose -i = j - 48. Is i a composite number?
False
Suppose 0 = 5*j + 5, -5*a = -3*a + 2*j - 2172. Is a a prime number?
True
Let r = -3 + 6. Is r/(-5) + (-4796)/(-10) a prime number?
True
Let s(t) = -t**3 - 16*t + 11. Is s(-12) composite?
False
Let c(r) be the first derivative of r**3 - 5*r**2/2 + 9*r - 2. Is c(6) prime?
False
Suppose 10757 = 2*s - m, -2*s + 4*m = s - 16123. Is s prime?
True
Is 26438/14 - 6*16/(-168) composite?
False
Let i(u) = u**3 + 3*u**2 - u + 2. Let a be i(-3). Suppose 695 + 1720 = 7*x. Suppose x = a*k - 2*k. Is k composite?
True
Let i(w) = 5*w**2 + 10*w + 9. Is i(-8) prime?
False
Let d(p) = -4*p**3 - 3*p**2 - 6*p - 2. Let a be d(-4). Suppose 3*u + 61 - 406 = -3*i, 2*u = -3*i + a. Is u prime?
False
Let a(m) = m**2 + 5*m + 3. Let p be (27/9)/(3/(-4)). Let f be a(p). Is 1 - f - (-53)/1 composite?
True
Suppose -2*d + 188 = 2*d. Suppose 14*l - 13*l = d. Is l a composite number?
False
Let v(x) = x**2 + 1. Let d be v(1). Suppose 118 = d*z + 4*k, -3 = -5*z + 2*k + 244. Suppose -a = -2*a + z. Is a prime?
False
Is -115*(-6)/15*1 prime?
False
Let m = 184 - 57. Is m prime?
True
Let z = -486 + 1175. Is z a composite number?
True
Suppose -4*w - 1325 + 5241 = 0. Is w composite?
True
Let j = 6 - -19. Suppose 0 = -2*l - 13 - 15. Let r = j - l. Is r composite?
True
Suppose b + 73 + 124 = 0. Let y = b + 330. Is y composite?
True
Let w be (0 - 48)*8/(-12). Let j = w - -45. Is j a prime number?
False
Suppose -4*j + 158 = -2*j. Let m(c) = -c + 1. Let r be m(-4). Suppose -2*x = r - j. Is x a composite number?
False
Let z(m) = -m**2 + 9*m - 7. Let o be z(6). Let c(l) = l**3 - 10*l**2 - 12*l + 14. Let d be c(o). Suppose d*h + 0*h = 105. Is h composite?
True
Let z = -256 + 1173. Is z prime?
False
Let s(u) = u**3 + 5*u**2 + 3*u. Let n be s(-4). Suppose v = n*v - 573. Is v a prime number?
True
Suppose 0 = 3*v - 299 - 1984. Is v composite?
False
Let r = 157 + 60. Let y = 366 - r. Is y prime?
True
Suppose -68*c + 74*c = 4014. Is c prime?
False
Let t(x) = -18*x - 4. Let f(w) = -18*w - 3. Let d(s) = 3*f(s) - 2*t(s). Is d(-3) a prime number?
True
Let p be (2 - -1)*6/9. Let w be 29 + p - (0 - 1). Suppose -3*c + 7 = -w. Is c a prime number?
True
Let f be 12/9 - 4/(-6). Suppose -2*i - 4 + f = 0. Is (-2)/(-4)*i*-110 composite?
True
Let h = 6 + -4. Suppose h*u = -5*m + 174, m = 3*m - 3*u - 62. Is m a prime number?
False
Let y(p) = -129*p - 1. Is y(-2) composite?
False
Let p(o) = -o + 254. Is p(0) a composite number?
True
Suppose -12 = -6*f + 2*f. Suppose -w = -1 + f. Is (52 + 1)*w/(-2) a composite number?
False
Let m = -1 - -4. Is ((-4)/1 + m)*-127 a prime number?
True
Suppose -4*j - 16 = -8*j, -5*m + j + 43701 = 0. Is m composite?
False
Let g(u) = -u**3 + 3*u**2 - 2*u + 2. Let x be g(2). Suppose x*j - 40 = 236. Let q = -49 + j. Is q a composite number?
False
Let s(w) = w - 82. Let j be s(0). Let u = -56 + -3. Let t = u - j. Is t prime?
True
Let y(d) = -2*d + 2*d - 2*d + 5 - 4*d. Is y(-7) a composite number?
False
Suppose 4*b = 5*v + 2021, 5*b - 5*v - 1146 = 1374. Is b a composite number?
False
Let v = -5 + 13. Suppose -4*c + v*c - 596 = 0. Is c a prime number?
True
Suppose -3*b + x = -743, -2*x + 493 = 2*b - 5*x. Let r be (-1)/3 - b/(-6). Let p = 87 - r. Is p prime?
False
Suppose -2*y + 0*y = -1640. Suppose 0 = -5*n - 3*q + 1310, -4*q - y = -3*n + q. Is n prime?
False
Suppose -4*v = 4*l - 7*l - 18829, 3*l = 5*v - 23534. Is v composite?
True
Suppose -5*n - 4610 = -10*n. Suppose 0 = -5*b - 20, -4*b = 2*t - b - n. Is t composite?
False
Suppose 2*v + 0*x = -x + 450, -5*v + 4*x = -1099. Is v composite?
False
Let a(b) = -54*b + 19. Is a(-11) a prime number?
True
Suppose 4*u - 3*u - 5 = 0, 0 = -5*k - 4*u + 265. Let g = -3 - 1. Let f = k - g. Is f a composite number?
False
Suppose -10417 = 6*r - 29395. Is r composite?
False
Let b = 25 - 3. Is b a prime number?
False
Let v(q) = -q**3 - 3*q**2 + 4. Let k be v(-5). Suppose 3*g = 5*g - 158. Let r = k + g. Is r a prime number?
False
Is ((-356)/(-6))/((-10)/(-15)) a composite number?
False
Let j = 26 + 73. Suppose 4*w - 3*w - 20 = 0. Let y = w + j. Is y composite?
True
Suppose 54*x - 57*x + 627 = 0. Is x a composite number?
True
Let p = -2