 Is (1 + -4)/(u/249) a prime number?
True
Let i = -24805 + 46814. Is i prime?
False
Suppose -14627 = -5*t + 4*y, -14603 = -5*t - y - 3*y. Is t composite?
True
Let i = -34 + 58. Suppose -3065 = -29*c + i*c. Is c a composite number?
False
Let s(a) = 3*a**3 - a**2 + 13*a + 56. Is s(15) a prime number?
True
Let a be (-18778)/(-14) - (-8)/(-28). Suppose 3*c + z = 113, 31 = c - 3*z + 10. Is 2/(-8) + a/c composite?
False
Let o = 343 + -84. Suppose -11*i + 4*i = -o. Is i a prime number?
True
Let g = 10 - 9. Let m be 0 - g - (-200 + 1). Let d = -83 + m. Is d a composite number?
True
Suppose -11*w + 16*w - 3720 = 0. Let b = w + -331. Is b a prime number?
False
Let n(w) = 1616*w - 191. Is n(14) prime?
True
Suppose -s = -4*r - 52, -3*r - 5*s = -8 + 70. Let g = r + 21. Suppose g*l = 4*l + 267. Is l a prime number?
True
Suppose 0 = 2*q + 1564 - 4806. Is q a composite number?
False
Suppose 0 = -7*b + 98716 + 172863. Is b prime?
False
Let y(v) = 0 - 9 + 26*v + 0. Is y(2) composite?
False
Let h(q) = q**2 + 17*q + 30. Let f be h(-15). Suppose -p + 6*p - 8305 = f. Is p a composite number?
True
Let o(k) = 2*k**3 - 7*k**2 + 3*k - 7. Suppose g - 13 = -7. Is o(g) prime?
True
Suppose -4*w - 10 = 5*k - 29, w + 14 = 5*k. Let y = -457 + 866. Is (y/k)/((-4)/(-12)) a prime number?
True
Suppose 6*g - 15*g + 1179 = 0. Is g a composite number?
False
Let v = -19 + 21. Suppose 0*m + 5*m - 823 = -2*b, -v*b + 171 = m. Is m composite?
False
Is (-720)/160*(-39106)/9 prime?
True
Suppose -d = -0*d - 5. Suppose 1921 = d*c - 4*l, -c - l + 385 = -2*l. Is c a composite number?
True
Suppose -w + 0 = -2. Is ((-2)/(-1))/(w/769) a prime number?
True
Suppose 9*y - 11*y + 3193 = -t, -4*y + 4*t = -6384. Is y a prime number?
True
Let v(c) = 32*c + 43. Let a be (-110)/(-8) + -2 + 9/4. Is v(a) a composite number?
False
Let r be (-2 + -1)*40/12. Let q = r - -14. Suppose -356 = -q*n - 0*n. Is n a composite number?
False
Let d(o) = -o**2 + 3*o + 2. Let f be d(2). Suppose k + 4*m - f = -1, 0 = -2*k - 2*m. Is k/(1/154*-2) a prime number?
False
Let x(z) = -65*z**2 - 2 + 3 + 2*z + 385*z**2. Is x(-2) a prime number?
True
Suppose -3*w = -3*n - 19824, 3*n - 10558 = -w - 3954. Is w a composite number?
False
Suppose 51*h - 3633533 = 2002426. Is h prime?
False
Is 0 - (-12453 - (4 - 8)) a composite number?
True
Let l = 33967 + -44. Is l a prime number?
True
Is 11819/((-6)/(-3 - 3)) a composite number?
True
Suppose 0*j - 2*j - r + 1680 = 0, 0 = 2*r + 4. Let u = j - -1212. Is u a composite number?
False
Let i(h) = h**3 - 4*h**2 + 5*h + 1. Let p be i(4). Let d be 72/28 + (-12)/p. Suppose 5*f - 5*c - 270 = 0, d - 130 = -2*f - 2*c. Is f a composite number?
False
Let x(r) = r**3 - r + 5794. Is x(0) composite?
True
Let o = 9 - 6. Suppose -p + o*p = 1016. Suppose -2*s + 6*s - p = 0. Is s a composite number?
False
Let n(u) be the second derivative of u - 4/3*u**3 + 9/2*u**2 + 1/6*u**4 + 0. Is n(-7) composite?
False
Let b = -837 - -5620. Is b a prime number?
True
Let s be -3 + -9 + (-3)/1. Let j be s/(-25) + 7/5. Suppose -3*d - g + 313 = -2*g, -g - 207 = -j*d. Is d a prime number?
False
Let r(b) = -5*b + 74. Let y be r(14). Suppose y*l + 3493 = 5*l. Is l a prime number?
False
Suppose -2*p - 1294 = 5*m, p + 8*m - 4*m + 644 = 0. Let q = p - -3089. Is q a prime number?
True
Let r be ((-10927)/14)/(9/6 - 1). Let z = -804 - r. Is z a prime number?
True
Suppose p = 2 - 0. Suppose -3*i = -p*i - 200. Is i/9 - 12/54 composite?
True
Let l(h) = -h**3 + 13*h**2 + h - 12. Let m(p) = -p**3 + 14*p**2 - 13. Let a(x) = -3*l(x) + 2*m(x). Is a(12) prime?
False
Let s = 17 - 39. Let u = s - -35. Let h(k) = 3*k**2 - 12*k - 4. Is h(u) a composite number?
False
Let z = -1668 - -2917. Is z a prime number?
True
Suppose 5*i - 6*i - b + 4762 = 0, 23840 = 5*i - 5*b. Is i a prime number?
False
Let r = 4220 - 777. Suppose -3*u + 2*v - r = -12738, -4 = 2*v. Is u a composite number?
True
Suppose 0 = -4*h, -5*p = 3*h - 21 + 1. Suppose q - y - 734 = p*y, -q = y - 740. Is q a prime number?
True
Let g = 17 - 9. Let v be (g - 1) + -2 + 0. Suppose v*p + 35 = 6*p. Is p a composite number?
True
Let o be (-2 + (-151)/2)/(5/(-10)). Suppose 4*q = 3*q + o. Is q prime?
False
Let t = -102 + 120. Let s(y) = y**3 - 15*y**2 - 16*y + 19. Is s(t) a prime number?
False
Suppose -4*d + 5 = y, -2*y = -3*d + 16 + 7. Is (-4 - (y + 2)) + 572 prime?
False
Suppose 4*d = -12*d. Suppose 5*q - q - 3828 = 2*r, d = r + 4. Is q a composite number?
True
Let x = -151 + 79. Let r be x/(92/104 + -1). Let n = r + -391. Is n a prime number?
True
Suppose -5*o + 10 = 20. Let h be o/8 - 5782/8. Let b = -490 - h. Is b composite?
False
Is 4/((-8)/41342*119/(-17)) a composite number?
False
Suppose 11389 = 8*c + 2181. Is c a composite number?
False
Let t = 16838 - 9725. Is t a composite number?
True
Let o be (-3)/4 + 15/20. Suppose o = -4*b + 9*b. Let h(a) = -a**2 - a + 149. Is h(b) composite?
False
Let w be 45*1*(-2)/(-6). Suppose s + 10 = w. Let g(i) = 38*i - 3. Is g(s) composite?
True
Is 12*14669*(-8)/(-48) composite?
True
Suppose -48*x + 36*x + 55452 = 0. Is x a prime number?
True
Let s(p) = 2*p**3 - 25*p**2 + 48*p + 49. Is s(22) a composite number?
False
Let m = 513 + -285. Let f(g) = 12*g**2 + 7*g - 1. Let l be f(-6). Let c = l - m. Is c composite?
True
Suppose -3*q - 4*v + 279 = -2*q, -3*q + 3*v = -792. Let t = q + -128. Is t a prime number?
True
Suppose -5*v = -2*v - 12. Suppose 3*r - r = -k - v, 5*r = -2*k - 10. Suppose k = -3*h + 190 - 31. Is h a composite number?
False
Let p(r) = 387*r**2 + r. Let f be p(-2). Let h = f - 675. Is h a prime number?
False
Let m(x) = 139*x**2 - 6*x - 30. Is m(7) composite?
True
Suppose -18*a - 15548 = -19*a + o, -46665 = -3*a - 4*o. Is a a composite number?
False
Suppose 4*c = -3*g + 9113, 3*c + 2*g - 6866 = 6*g. Let a = c + -1239. Is a composite?
True
Let d(r) = -1117*r - 139. Is d(-8) a composite number?
True
Let x = 761 - -3799. Suppose 0*n + x = 4*n - 3*u, -4*n - 2*u = -4540. Is n a composite number?
True
Let l(f) be the second derivative of -10*f**3 - 19*f**2/2 + 18*f. Is l(-11) a prime number?
True
Suppose -6967 = -7*c + 6676. Is c a composite number?
False
Let i(f) = -f**2 + 11*f - 3. Let c be 144/30 + (-2)/(-10). Suppose -3*u + 10 = 4*m, c + 20 = -5*m. Is i(u) a prime number?
True
Let d(s) = s**3 + 7*s**2 + 14*s + 4. Let x be d(-4). Is (-4 + 5)*x + 801 a composite number?
False
Suppose -20 = -4*j - 72. Let h be (-1)/(-1) - (-40 - j). Is (h/3)/(12/18) a composite number?
True
Let z(c) be the second derivative of 23*c**5/20 + c**3/6 - c**2/2 - c. Suppose 5*u - t + 4*t = 6, 0 = -4*u - 4*t. Is z(u) a composite number?
True
Let i = -31922 + 51825. Is i a composite number?
True
Let h(f) = -3*f**3 - 22*f**2 - 39*f - 247. Is h(-18) prime?
False
Suppose 2112 = 296*j - 294*j. Let w = -417 - 52. Let x = w + j. Is x a composite number?
False
Let n be (0 + 1)/((-9)/(-45)). Let r = n + -1. Suppose -12 = -8*j + r*j. Is j composite?
False
Let q be ((-4)/(-3))/(3/(-18)). Let f(k) = k**2 + 9*k + 8. Let o be f(q). Suppose o = s - 3*a - 124, 3*a = s - 6*s + 638. Is s prime?
True
Let z(a) = -604*a + 387. Is z(-14) a prime number?
False
Let x(k) = -51*k**2 + 3*k - 11. Let j(n) = 76*n**2 - 4*n + 16. Let s(f) = 5*j(f) + 7*x(f). Let p(r) be the first derivative of s(r). Is p(7) prime?
False
Is 2 + 1 + 1549 - -1 composite?
False
Let d(f) = f**2 - 1. Let w be d(2). Suppose -b = -4*x + 87, 40 - 170 = -5*x - w*b. Let a = 184 - x. Is a composite?
True
Suppose -7*j = -3*j - 64. Let y = 39 - j. Is y a prime number?
True
Let s be (0 - -1)*(586 - 4)/(-6). Let j(l) = 10*l**3 + l + 1. Let z be j(-1). Let c = z - s. Is c composite?
True
Let u(o) = -98*o**3 - 4*o**2 - 39*o - 248. Is u(-5) composite?
False
Let r(n) = 4403*n**3 - 5*n**2 + 7. Let l(s) = 6605*s**3 - 7*s**2 + 10. Let m(u) = -5*l(u) + 7*r(u). Is m(-1) composite?
False
Let m = 1158 - -1295. Is m prime?
False
Suppose 0 = -3*a - 5*r + 41, 0 = 5*a - 5*r - 12 - 83. Let h = -14 + a. Suppose 4*w + 1223 = h*y, 5*y - w - 1594 = 450. Is y a composite number?
False
Suppose 2 = -y + 4*n + 10, n = -y - 7. Let v be (6/y)/((-18)/12). Is (1/2)/(v/138) a prime number?
False
Let o = -55 + 101. Let r = 237 - o. Is r prime?
True
Let c be (-4)/18 + (-174)/(-54). Suppose -x + 16 = c*x. Suppose 243 = -u + 5*u + 5*o, -x*u + 263 = o. Is u prime?
