ber?
True
Let f(b) = -164*b - 224. Let i be f(-15). Suppose i = 22*p - 10546. Is p a prime number?
False
Suppose 0 = 8*m - 64 - 0. Let n be (544/20)/(m/900). Suppose 5*h = d + n + 2970, -5*d + 6000 = 5*h. Is h composite?
True
Let d(r) = 7*r**2 + 3*r + 8. Let z be d(-2). Let v(l) = -9 - 18 - 66*l + z - 14. Is v(-12) a composite number?
True
Suppose -6*y + 133686 = -4200. Suppose 0 = 5*j - 1249 - y. Suppose -2*g = q - 4831, -5*q + j = 2*g - q. Is g a composite number?
True
Let t(p) = p - 13. Suppose 0 = -3*c + 23 + 16. Let l be t(c). Suppose l*k + 3*k - 5*u = 2613, 0 = k + 2*u - 871. Is k composite?
True
Suppose 0 = -4*t - 16*n + 17*n + 53595, 0 = -t + n + 13398. Let g = -6950 + t. Is g a prime number?
True
Let t be 3 - -4 - 0 - 12. Let f(d) = -6520*d + 3. Is f(t) prime?
True
Let n = -157 - -159. Let k = -5 + 7. Is ((-3)/n + k)*(192 + -14) a composite number?
False
Let f = -18 - -25. Suppose f*n - 3976 = -2*x + 4*n, -x - n + 1987 = 0. Is x prime?
False
Let u be 3*2 + 2414402/46. Suppose 9*m = u - 10490. Is m prime?
False
Let d = 234 + 46. Let q = d + -167. Is q prime?
True
Let c = 81272 - 28465. Is c composite?
False
Let q(a) = 213*a**2 + a + 1. Let k = 1 + 11. Suppose -4 = -k*t + 14*t. Is q(t) composite?
True
Let u(q) = -108*q**2 - 99*q**2 - 13*q + 205*q**2 + 1 + 42*q**3. Is u(6) a composite number?
False
Is (-6)/15 + 3031/(2 + 138/(-74)) prime?
False
Suppose -5*u + 11*u = 12. Suppose 5*n - u = -2*o + 4*n, 5*n + 10 = 0. Suppose o*v + 3*l - 4197 = -v, 0 = 4*v - 4*l - 5580. Is v composite?
True
Let j(d) be the second derivative of -38*d**3/3 - 7*d**2 + d. Let u be j(-12). Suppose 0 = 4*t - 4062 + u. Is t a composite number?
True
Let l be (-8*(-4)/(-12))/((-1)/3). Suppose 0 = 106*c - 107*c - l. Let t(a) = 5*a**2 + 18*a + 15. Is t(c) a composite number?
False
Let f = 81 - 78. Suppose 2*h + 5*i - 8530 = 0, 0 = f*h - i + 2588 - 15383. Is h a prime number?
False
Let o = -785 + 791. Let w(y) = 356*y**2 - 7*y - 11. Is w(o) composite?
False
Let c be -2 + (2 - -3) - 1054. Let u = c + 11745. Is u a prime number?
False
Let o(t) = t**2 - 26*t + 65. Let f be o(23). Let x(z) = -189*z**3 + 5*z**2 + 7*z + 1. Is x(f) a prime number?
True
Let r be -2*(-5 + 9/1). Is 77/35*587 - r/(-20) a prime number?
True
Suppose 0*j = -5*j + 2215. Suppose -b + j = -229. Suppose -5*l - 67 = -b. Is l a prime number?
False
Let h = 14 - 14. Suppose h = -51*y + 59*y - 160376. Is y a composite number?
False
Suppose a + 3*d + 7125 = 39878, 3*a + 2*d - 98301 = 0. Is a a composite number?
False
Is ((-72)/120)/((-24)/1438840) a prime number?
False
Is (-24 + -18 + 41)/((-300672)/(-300673) + -1) composite?
False
Suppose 133*q - 9724420 = 7809901. Is q composite?
False
Let b(g) be the first derivative of 60*g**3 + 11*g**2/2 + 14*g + 77. Is b(5) composite?
True
Let n(b) = -863*b + 1. Let d be n(-2). Suppose -12*m = 12009 - 2745. Let p = m + d. Is p prime?
False
Is (6244424/(-12))/(218/(-327)) a prime number?
True
Let h be (1/3)/(12/108). Suppose -5*f + 40 = -5*b + 140, b = -h*f + 32. Suppose 29*w = b*w + 53646. Is w prime?
True
Let m(s) = 70*s**2 + 17*s - 13. Suppose -d - 5*j = 10, -d - j - 3 = 7. Is m(d) a composite number?
True
Let x(o) = 13*o**3 - 7*o**2 - 3*o - 18. Let y(a) = -19*a**3 + 11*a**2 + 4*a + 26. Let r(n) = -7*x(n) - 5*y(n). Is r(3) a prime number?
True
Suppose 14*t - 650806 = 5039928. Is t a prime number?
True
Let w(r) = 569*r + 193. Let g(c) = 284*c + 95. Let u(n) = -11*g(n) + 6*w(n). Is u(12) prime?
True
Let n(i) = 15*i**3 - 15*i**2 + 30*i - 2339. Let w(v) = -7*v**3 + 7*v**2 - 14*v + 1169. Let k(y) = 6*n(y) + 13*w(y). Is k(0) a composite number?
False
Suppose -3*y = a - 19, -5*y - 4*a = 7 - 48. Suppose 3*p - y*p = -3*p. Suppose p*w = w + 2*r - 277, r - 282 = -w. Is w prime?
False
Let t(b) = -12*b**3 - 4*b**2 + 2*b - 27. Let o be t(-8). Suppose -4*c - 4*r = -o - 13419, -r = 1. Is c a prime number?
True
Suppose -255*u - 7605 = -260*u. Suppose -22*k + 18*k + h = -2011, -3*k = -5*h - u. Is k prime?
False
Let p be (-2)/(-14) + 750101/133. Let m = 8534 - p. Let s = 4861 - m. Is s composite?
True
Is (25520055/(-60))/((-3)/(-36)*-3) prime?
False
Let u(i) = -2*i**3 - 12*i**2 + 4*i - 19. Let m(p) = -4*p + 37. Let s be m(12). Is u(s) a prime number?
False
Suppose -4*v + 185597 = 3*s, -3*v - 77039 + 262640 = 3*s. Is s composite?
False
Let s(c) be the first derivative of c**2/2 - 18*c + 17. Let d be s(21). Suppose -407 = -2*q - d*q - k, -4*q = -4*k - 340. Is q composite?
True
Let x be 89 + 0 + 7 + -11. Let q = x + -54. Is q composite?
False
Suppose y - 5*u = -1644 + 11904, -y = 4*u - 10224. Suppose 14456 = 14*m - y. Suppose 8*r - 1812 = m. Is r prime?
False
Let x(m) = 8 + 4 - 1117*m - 109*m - 404*m. Let s be x(-1). Is (6 - 5)*6/(-2) + s prime?
False
Let g(z) = -40*z**3 - z**2 + 10*z + 75. Is g(-4) composite?
False
Let i(k) be the second derivative of k**8/960 + k**7/840 - k**6/360 - 3*k**5/40 + 13*k**4/6 - 25*k. Let x(b) be the third derivative of i(b). Is x(4) prime?
True
Is 386306/9 + (-22)/(-2772)*14 a prime number?
True
Suppose 5*u + 3*g = -2, -5*g - 7 = -5*u + 23. Suppose u*s + 0*s = 5614. Is s composite?
True
Let y = -43180 + 147659. Is y prime?
True
Suppose -59*b = -120*b + 1379149. Is b composite?
True
Let v be (-6 + -31 + 6)/((-2)/40). Let o = 3607 - v. Is o composite?
True
Let f = 96 - 362. Let q = f - -743. Is 6/((-3)/(q/(-6))) composite?
True
Let p = 14610 + -9523. Let s = -1508 + p. Is s prime?
False
Is 140/56 + 114153/2 a prime number?
False
Let m(r) = -2*r + 1. Let u be m(-1). Suppose -2*o - 2*h - 592 = 0, u*o + 2*o = 4*h - 1435. Is (1 + -2)/(3/o) a prime number?
True
Suppose -4*v + 37 + 15 = 0. Suppose w + 3*k = 0, -3*k = 4*w - 4*k - v. Suppose w*h - h - 5482 = 0. Is h a composite number?
False
Let t = 398435 - -119630. Is t composite?
True
Let h = 45202 + -8043. Is h composite?
False
Suppose 13*g = -15*g + 448. Let x(h) = 14*h**2 - 31*h + 163. Is x(g) composite?
False
Let l(y) = 9*y**2 + 17*y + 13. Let u be 244/10 - 16/40. Let a be -2*(-4)/u*-27. Is l(a) a prime number?
False
Let q(l) = -97*l**3 - 60*l**2 + 51*l - 63. Is q(-20) composite?
False
Let w be (-874972)/(-60) - (-18)/135. Suppose 9*k - w = 6*k. Is k composite?
False
Let h(k) = -8*k**3 - 7*k**3 + 50*k**3 - k + 6*k**2 + 21*k**3 + 19*k**3 + 13. Is h(5) prime?
True
Let o be (1 - -3)*-1*(87 - 92). Suppose -o*q = -19*q - 407. Is q prime?
False
Is 14 + (-2 - -117648) + -1 a prime number?
True
Suppose -9*u - 22 = -58. Is 24852/15 - u/(-20) a prime number?
True
Let g = 99 - 96. Let i(y) = -390 - 2*y**2 + 389 - 491*y**g + 3*y**2. Is i(-1) composite?
False
Let x = 46754 - 17141. Is x prime?
False
Let c be 9*(-4)/(-24)*24. Suppose -12*n - c = -156. Suppose 0 = s - 2*y - 201, -4*y + 6 - n = 0. Is s a composite number?
False
Let h = 2634 + -1433. Suppose 7*q = -5117 - 637. Let y = h + q. Is y a composite number?
False
Suppose 31*d - 1774656 = 29*d + 2*a, 0 = -2*d - 2*a + 1774676. Is d composite?
False
Let u(m) be the third derivative of 13*m**4/2 + m**3/6 + 2*m**2. Suppose 305*w - 240 = 281*w. Is u(w) a prime number?
False
Let z = 2833 + 388. Is z composite?
False
Let y = 3652610 + -2581892. Is (-3)/(-51)*2 + y/374 prime?
False
Suppose -4*k + k - 4*u + 32 = 0, -4*k + 3*u + 76 = 0. Let g(q) = 7*q**2 - 3*q + 21. Let y be g(k). Let x = y + -1134. Is x a composite number?
False
Let t be 3 + 30/(-12) + (-140311)/(-2). Let k be (255 - 1) + 12/(-6). Is (-2)/(-9) - (-7)/(k/t) a prime number?
True
Let h be (-66)/11 + 6/9*6. Is h*-2*20946/24 composite?
False
Suppose -44*w = 51*w - 115584505. Is w composite?
True
Suppose -437*z + 9338641 + 34358193 + 9521463 = 0. Is z composite?
True
Suppose 20*z - 22*z = -x + 60501, -z - 242032 = -4*x. Is x a composite number?
False
Suppose 2*v - 4 = 0, -3*a + 2*v = -8*a + 7044. Suppose o = 3*l - 1072, -4*l - 2*o = 2*o - a. Let g = 823 - l. Is g a composite number?
False
Let z = -5373 - -9283. Suppose 8*y - 3274 - z = 0. Is y composite?
True
Suppose -n - 1185224 = -3*c, -3*n - 331802 = -c + 63254. Is c prime?
False
Suppose -14*i + 11*i - 15 = 0. Let b(f) = -37*f**3 - f**2 + 10*f - 3. Is b(i) prime?
True
Suppose 9*d - 21 = 24. Suppose -p - 3966 = -u - 2*p, 0 = 3*u - d*p - 11906. Suppose -24152 = -5*i - u. Is i composite?
True
Is 8331618/32 - (-5)/(-80) a prime number?
True
Let g = 373 + -601. Let q 