u = -h + 34. Is h a composite number?
True
Is (113 + 0)*(2 - 1) a prime number?
True
Suppose 5*x + 142 = w, -5*w + 3*x + 644 = -0*x. Is w composite?
False
Let c be (-4)/(-22) + (-28328)/(-44). Is (c/16)/(1/4) a composite number?
True
Suppose w + 2*w - 381 = 0. Is w prime?
True
Suppose -17*l = -15*l - 4714. Is l composite?
False
Suppose 5*d = 3*u + 2*u - 275, 0 = -2*d + 10. Is u + (-6)/(-2) - 1 a prime number?
False
Let b = 23 - 38. Is (-3)/b - 1392/(-15) composite?
True
Is -11*2/(-6)*39 a prime number?
False
Let z be (-126)/(-35) + 2/5. Suppose z*h - 1720 + 44 = 0. Is h a prime number?
True
Suppose 0 = 5*x - 0*x + 5. Let m = 2 + 2. Is (50/m)/(x/(-2)) a composite number?
True
Let f be 1 - (-1)/(1/104). Let r = 106 + f. Is r composite?
False
Let x(w) be the first derivative of -w**4/4 - w**2/2 + 31*w + 1. Let m be x(0). Suppose -8 = -3*o + m. Is o composite?
False
Let m = 25 + 18. Suppose 4*l - 191 = -m. Is l a prime number?
True
Suppose -y + 2*m = 6, 5*m = y + 2*y + 13. Suppose y*j + z - 443 = 0, -3*j + 2*z + 113 = -2*j. Is j prime?
False
Let q = -4 - -6. Suppose q*m - 3*n - 77 = 0, 3*n + n = 3*m - 113. Is m a prime number?
True
Let p(d) = -2*d**3 + 2*d**2 - 3*d + 2. Let c be -2 + 7/(2 - 1). Suppose w - 4 = 0, 18 = 3*v - c*v + 3*w. Is p(v) a composite number?
False
Suppose -2*w = -w - 8. Suppose 0*i = 2*q + 3*i - w, -2*q = 5*i - 4. Let a = 11 - q. Is a a composite number?
True
Let r(a) = -6*a**2 + 3*a + 17. Suppose k = 0, -x - 15 = 2*x - 2*k. Let s(n) = -3*n**2 + 2*n + 8. Let y(i) = x*s(i) + 2*r(i). Is y(5) prime?
False
Let o(w) = w**3 + 7*w**2 + 3*w - 5. Let i be o(-4). Suppose -i = 3*f + 4*r, -r - 28 = 4*f + 9. Is f/(-6)*40/6 composite?
True
Let w = 822 + 2063. Is w composite?
True
Let i = 485 - 331. Suppose 0 = 2*j + 4*v - i, -3*j - 2*v - 97 = -4*j. Is j prime?
False
Let h be (-1)/(-2)*(10 + -4). Let x(s) = -9*s - 2*s**3 + 11 + 0*s**h + 3*s**3 + 7*s**2. Is x(-8) composite?
False
Is (-1)/((8/314)/(-4)) composite?
False
Suppose c + c - 2 = 0, 3*c + 1162 = 5*q. Is q composite?
False
Suppose 0 = u - 5*m - 8480 + 3021, -4*u - 3*m = -21790. Is u a composite number?
False
Let t be (-91)/(-3) - 2/6. Suppose -2*q = 4*l - t, -l + q = 5*q - 11. Is (0 + 7)/(1/l) composite?
True
Suppose 5*i - 18 - 7 = 0. Suppose -5*k = 2*g - 5 - 26, -i*k + 77 = 4*g. Is g composite?
False
Suppose -3 + 15 = 2*g. Let b(t) = 2*t**2 - 3*t + 1. Is b(g) a prime number?
False
Suppose 4*o + 46 = -f + 3859, 5*f = 5. Is o a prime number?
True
Let g be 471 + (0 - (2 - 1)). Suppose -5*d = -8*d + 6. Suppose d*w = -0*w + g. Is w prime?
False
Let m(r) = -2 - r - 2*r - 4*r. Let x be m(-3). Is x/1 - (-1 - 1) a composite number?
True
Let w be 8 + -5 - (-105 + 1). Let c = 160 - w. Is c composite?
False
Let q be ((-5)/(-3))/(2/(-6)). Let z(t) = -t**2 - 7*t - 5. Let j be z(q). Suppose j*n - 95 - 170 = 0. Is n a prime number?
True
Let x(q) be the third derivative of q**6/12 - q**4/24 - 2*q**3/3 - 2*q**2. Is x(3) composite?
False
Suppose -5*c - 13 = 3*q, 6 = 4*q - 4*c + 2. Let n be 1/((-6)/(-5) + q). Let o = n + -2. Is o prime?
True
Suppose -2*c - c + 60 = 0. Suppose 18*x = c*x - 94. Is x prime?
True
Let j be 0 + 3 + -3 + 1. Is j*4/(-8)*-22 a prime number?
True
Suppose 2408 = l - 4*m + 3*m, 0 = -l + 3*m + 2402. Is l prime?
True
Suppose 4*o + o - 7 = w, w + 3 = 4*o. Is w a composite number?
False
Let w(d) = -12*d**3 + 9*d**2 - 14*d - 27. Is w(-8) a composite number?
True
Let j = -437 - -639. Let v = j + -140. Is v composite?
True
Let b(t) = 17*t**2 + 4*t - 5. Is b(-4) prime?
True
Suppose -3*o + 5*p + 4530 = 0, 2*o + 5*p + 0*p = 3045. Suppose 31 - o = -4*n. Is n composite?
True
Suppose 4*b - o - 4247 = 0, 2*b + 0*o = -3*o + 2113. Is b a composite number?
False
Suppose -t + 188 = -183. Is t a prime number?
False
Suppose 5442 = 3*u + 3*u. Is u a composite number?
False
Suppose 3*f = -2*s + 261, 0 = 4*f + 3*s + 2*s - 341. Is f prime?
True
Let t(f) = 2 + 3*f + 6*f**2 - 2*f - 1 + f**3 - 2. Let c = -16 + 11. Is t(c) composite?
False
Suppose -12 - 8 = 4*j. Is (2 + -1)/(j/(-435)) a prime number?
False
Let d(i) = -42*i + 19. Is d(-11) a composite number?
True
Let a = 99 - -56. Is a composite?
True
Let g(l) be the first derivative of l**3/3 + l - 1. Let a(o) = o**3 + 2*o**2 - 5*o - 5. Let w be a(-2). Is g(w) prime?
False
Suppose 148 = 3*s + 37. Is s a composite number?
False
Let t = 394 + 163. Is t composite?
False
Let n be ((-7)/3)/(5/(-15)). Suppose -2*q + n*q = -60. Is q/20 + (-106)/(-10) composite?
True
Let o(j) = 2*j**2 - 2*j - 3. Is o(-4) composite?
False
Let u(l) = -4*l**3 - 6*l**2 + 3*l + 5. Suppose -25 = -5*q + 5*j - 0, -5*q + 19 = j. Let t be u(q). Let g = t + 544. Is g prime?
False
Suppose 3*g - 11 = 16. Is (114/g)/((-2)/(-15)) a composite number?
True
Let h(o) = -o**3 - 3. Is h(-8) a prime number?
True
Suppose 0*b = -2*b + 3*c + 587, 0 = -4*b + c + 1179. Is b a prime number?
False
Let y be 0/(-3*(-6)/(-9)). Suppose -8 = -4*f - y*f. Suppose -f*c + 37 = -c. Is c a composite number?
False
Let d = -5 - -2. Let g(o) = -o - 1. Let j be g(d). Suppose 0*a - j*a - 5*n + 33 = 0, 0 = 5*a + 3*n - 92. Is a a prime number?
True
Let w(u) be the third derivative of 1/30*u**5 + u**2 + 0*u - 1/12*u**4 - 1/2*u**3 + 0. Is w(6) a composite number?
True
Suppose -3*q + i + 7 = 0, -q + 0 - 1 = -i. Let k(v) = 9*v**2 + 6*v - 7. Is k(q) a prime number?
False
Let v(n) = 11*n**2 - 2*n. Let c be v(2). Suppose 3*j - 6*q + 5*q = 10, -c = -3*j - 5*q. Suppose 40 = g + j. Is g prime?
False
Let c(d) = d**3 - 3*d**2 + 3*d + 7. Let r be c(5). Let s = 129 - r. Is s a prime number?
False
Let v(c) = 34*c**2 - 2*c - 2. Is v(3) a composite number?
True
Let t be ((-39)/21 - -1)*-7. Let m = -2 + t. Suppose -m*g = -2*g - 238. Is g prime?
False
Let y be (12/(-9))/(4/582). Let w = -109 - y. Is w prime?
False
Let c(q) = 2*q**2 + 2*q + 1. Let g be c(-1). Let b = g - -4. Suppose -4*o = 4*p - 2*o - 30, 0 = -p - b*o + 21. Is p prime?
False
Let m(a) = 2*a**3 + a**2 + 2*a - 4. Let j be m(3). Let x = -34 + j. Is x composite?
False
Let m(q) = q**2 + 3*q - 3. Let k(x) = -x**3 + 8*x**2 - 7*x - 1. Let t be k(7). Let u = -9 - t. Is m(u) composite?
False
Suppose -3*k + 11231 = 2*i, -8873 = 4*i - 3*k - 31380. Is i prime?
True
Let c(q) = q**3 + 7*q**2 + 6*q + 3. Let m = -2 + 46. Let b be 8/28 - m/7. Is c(b) prime?
True
Suppose 6*w - w + 67 = 2*v, 0 = 5*v + 5*w - 80. Suppose 3*h - v = 36. Is h composite?
False
Let a(g) be the third derivative of g**5/4 - g**4/24 + 11*g**3/6 + 7*g**2. Is a(-6) a composite number?
False
Suppose -5*u = -3*u. Let c be 86/8*(u + 4). Let m = 120 - c. Is m a prime number?
False
Suppose -736 + 3292 = 4*c. Is 4/6*c/2 a prime number?
False
Let b(h) = -h + 11. Let o be b(6). Suppose -29 = -4*z + x - 2*x, -o*z = 4*x - 39. Is z prime?
True
Let w(h) = -5*h**3 + h**2 - 9*h - 6. Let s(j) = 6*j**3 - j**2 + 10*j + 7. Let x(c) = -4*s(c) - 5*w(c). Is x(7) composite?
False
Is (-4663)/(-8) + (-11)/(-88) a prime number?
False
Suppose 2*j - 237 = j. Suppose -4*f + j = -f. Is f a prime number?
True
Suppose 0 = -9*x + 54117 - 11070. Is x a prime number?
True
Let p(b) = 40*b**2 - b - 15. Is p(-4) prime?
False
Suppose -d = 1 - 4. Let i be (-1)/(d/(-82 + 1)). Suppose -r + 13 = -2*b, 2*b = 4*r + i - 85. Is r a composite number?
True
Let c = -127 + 312. Is c a prime number?
False
Let c = 6 - 8. Is c/(-3) - 625/(-3) a prime number?
False
Let i(c) = c**2 - 2*c. Let k be i(3). Let q be (-4)/k*3/(-2). Suppose 4*o = -q*u + 138, -6*o + 174 = -o + 4*u. Is o a composite number?
True
Suppose 22*w - 790 = 20*w. Is w a composite number?
True
Suppose -1079 = -a - 2*k, -a - 4*a + 5443 = -2*k. Is a prime?
True
Let v(o) = 11*o - 2. Suppose -14 - 4 = -4*z + j, 3*z - 19 = -2*j. Is v(z) composite?
False
Let n(i) = 2257*i. Is n(1) prime?
False
Let w(y) = -3*y**3 - 4*y**2 - 3*y - 3. Let b = 4 - 4. Let t(u) = -u**2 - u - 3. Let l be t(b). Is w(l) prime?
False
Let p(n) = 16*n**2 - 12*n - 9. Is p(-7) a composite number?
False
Let s(b) = -33*b**3 + 3*b**2 - 2*b - 5. Is s(-3) composite?
False
Suppose 5*n + 86 = -239. Let f = n - -244. Is f a prime number?
True
Suppose -s - 717 = -4*s. Is s a prime number?
True
Let v(f) be the third derivative of -f**4/4 + 5*f**3/3 - f**2. Is v(-6) prime?
False
Let m(w) = -w**3 + 10*w**2 - 11*w - 5. Suppose 6*f - f + 20 = 0, -5*y - 5*f = -20.