s m a composite number?
False
Let k(n) = 4528*n + 4595. Is k(14) a composite number?
False
Suppose -2*x = 4*b - 2625 - 605, 4*x + 20 = 0. Suppose 5*j - 2*v - 3*v = -1350, 3*j + b = -2*v. Is 6/(-2) - j - 2*2 a prime number?
True
Let c = -187 - -169. Let n(w) = -37*w + 67. Is n(c) prime?
True
Let t = -37065 - -61612. Is t composite?
False
Let v(w) = -162*w - 17. Let z be 2/6*(-11)/((-44)/48). Let n(x) = -2*x**2 + 4*x + 9. Let u be n(z). Is v(u) prime?
True
Suppose 3*v = 3 - 9. Let h be (-9 + 7)/((0 + v)*-1). Is 489 - (-3)/h - (0 - -1) composite?
True
Let m = 12682 + -6905. Let d = -2782 + m. Is d a prime number?
False
Let p = 9871 - -5498. Suppose 0 = q - 3*y - 3076, 5*q - 7*y + 3*y = p. Is q a prime number?
False
Let f = -3637 - -4698. Is f a prime number?
True
Suppose -4*c = -2*c + 6. Let d = c + 8. Suppose 4*u = 4*z - 1032, -d*z + u + 642 = -668. Is z a composite number?
False
Let v = -38 + 40. Suppose 0 = -2*l + 4 + v. Let u(t) = 150*t**2 + t - 16. Is u(l) composite?
True
Is 1092/84 - (0 + -44196) prime?
False
Let y(j) = 3*j**2 - 5*j - 7. Let z be y(-3). Suppose 5*i - z = -2*i. Suppose -298 = -2*v + w, i*w + 596 = 3*v + v. Is v composite?
False
Let q be (-3)/(-12) - 222/24. Let s(n) be the first derivative of n**4/4 + 4*n**3 + 2*n**2 + 4*n + 2. Is s(q) a prime number?
True
Let l(i) = -4*i**3 - 2*i**2 + 6*i - 9. Let k(c) = 3*c**3 + c**2 - 3*c + 5. Let q(p) = -9*k(p) - 4*l(p). Is q(-7) composite?
True
Suppose -5*g + 706 = 696. Suppose 2995 + 3199 = 2*h + g*w, w = 5*h - 15461. Is h a composite number?
True
Suppose 4*f - 224261 = 3*h, 4*h - 106251 = -2*f + 5863. Is f prime?
False
Let v = -54 + 34. Let t be 14/3 + v/(-60). Is (1 - t/3) + (-824)/(-3) a prime number?
False
Suppose -w = 4*h - 201531, 0 = -3*w + 15*h - 10*h + 604661. Is w prime?
True
Suppose 15 = -b - 2*b, -p = 5*b - 880. Suppose -4*n + 2969 = p. Is (-6)/21*-1 + n/7 a prime number?
False
Suppose -1568 = -4*o + 1140. Let p = 383 + o. Let g = -83 + p. Is g a prime number?
True
Let j = -72914 + 382711. Is j a composite number?
False
Let m = -191 + 325. Let n(t) = 67 + 65 - 3*t - m - 1636*t**3. Is n(-1) composite?
False
Suppose 8*i + 193569 + 311983 = 0. Is (-81)/1053 + i/(-13) a prime number?
True
Is ((-4844)/42)/((-6)/(-1341))*-1 a composite number?
True
Is (217637*(5 + -1 + -7))/(-3) a composite number?
True
Suppose 2*f = -2*c + 160480, 4*c - 50355 - 270614 = -f. Is c prime?
False
Is ((-1489740)/240)/(-2 - 21/(-12)) composite?
True
Let c = 408 - 146. Let w = 4533 - c. Is w composite?
False
Let h(w) = 137*w + 5. Let k be h(12). Let z = 1272 + k. Is z composite?
True
Suppose v + 4*k + 0*k - 38 = 0, 76 = 4*v - 3*k. Let z(f) = 107*f - 34*f - 31 + 8*f + 152*f. Is z(v) a prime number?
False
Let w be (-1)/1 + 1704/12. Suppose w + 327 = -9*b. Is 3 - 112208/b - 2/(-13) a prime number?
True
Suppose 0 = 22*w + 5*w - 945. Is (-5)/w - 123348/(-7) prime?
False
Is 150022/(-8 - 462/(-55)) composite?
True
Let h be 13/4 + (-18)/72. Let v = h + 0. Is ((2 + 6394)/6)/(-1 + v) a composite number?
True
Is -4 + (-74282)/(-182)*413 prime?
True
Let q be (-16)/20*25/2. Let n be (-3)/(6/q) - 1. Suppose -n*f + 3866 = 2*a, -2*f + 313 = 4*a - 1617. Is f a composite number?
False
Suppose 2*d + 197279 = 4*s + 5*d, -d + 1 = 0. Is s prime?
False
Let d(w) = -10*w**2 + 17*w + 4. Let u be d(2). Is u - -3993*(-8 + 9) composite?
True
Let m(v) = 6*v + 29 + 2*v + 9*v - 19*v + 4*v**2. Is m(7) a prime number?
True
Let k = 164718 + 349181. Is k composite?
False
Suppose 24608 = -71*t + 79*t. Suppose 3*d - 1421 = t. Is d a composite number?
False
Let l(n) = 29*n**3 - 5*n**2 + 2*n + 27. Let h(k) = -6 - k - 35*k**3 - 8*k**2 + 20*k**3 + 11*k**2 - 8. Let z(s) = -11*h(s) - 6*l(s). Is z(-3) a prime number?
True
Suppose 23*t + 5*z - 927155 = 18*t, 3*t + z - 556293 = 0. Is t a prime number?
False
Let j be 57/(-38) - 10/4. Let n be (j - -1) + (6/(-1) - -129). Let p = n + 7. Is p a prime number?
True
Let w = 1351835 - 653826. Is w a prime number?
False
Let l(v) = 3*v - 33. Let g be l(8). Is (-9278)/(-3) - ((-45)/(-15))/g prime?
False
Suppose -4*v + 12 + 4 = 0. Suppose v*a = -a + 15. Suppose d = -l + 990, d - 3*l = a*d - 1977. Is d a composite number?
True
Let n(u) = 2*u**3 - 4*u**2 + u - 16. Let d = 6 + -2. Suppose -5*g + l + 20 = 0, d*g - 5*g + 3*l - 10 = 0. Is n(g) a composite number?
False
Suppose -1245 = m - 5371. Let o = -2487 + m. Is o composite?
True
Suppose -5*w - 18 = 67. Let i(p) = p**3 + 29*p**2 + p + 11. Let h be i(w). Suppose -4*d - n + 4592 = 3*n, 0 = -3*d + 3*n + h. Is d a composite number?
False
Suppose 36*o - 514077 = 464763. Let w = -16359 + o. Is w a composite number?
False
Let j = 1240 + -646. Let r be 27926/14 + ((-104)/28 - -4). Suppose -x = -r + j. Is x a prime number?
False
Let n(c) = 2*c**2 - 15*c. Let f be n(4). Let p(h) = -h**3 - 18*h**2 + 7*h + 143. Is p(f) composite?
True
Let l = -104 + 107. Suppose f + 0*r - 3395 = 2*r, -l*r - 3398 = -f. Is f composite?
False
Is (-146 + 159)*(-17257)/(-1) prime?
False
Suppose 13316 = -15*l + 70811. Is l composite?
False
Let l(o) = 77*o + 18. Let p be (-63)/12*4/(-3). Let w = p - 0. Is l(w) composite?
False
Let s = 36 - 33. Suppose 0 = v - 3*p + 48 - 541, -s*p = 0. Is v a composite number?
True
Let y(n) = n**3 + 3*n**2 + n + 5. Let z be y(-2). Suppose -225 = 4*p - z*p. Suppose -46*v = -51*v + p. Is v prime?
False
Let a = 305159 + -195345. Is a a prime number?
False
Let i = 17 - 23. Let z be -2*i/(-4) + 69. Suppose 0 = 7*x - 9*x + z. Is x composite?
True
Suppose 5*n = g + 3*g - 13, -3 = 3*n. Suppose g*d - 5*v - 606 = 0, -8*d = -5*d + 2*v - 909. Suppose i - 1178 = d. Is i a composite number?
False
Let d = 7447 - 3726. Suppose -l - 2248 = f - 682, -f - 7838 = 5*l. Let y = d + l. Is y composite?
False
Let m(b) = -207*b**2 - 2*b + 3. Let y be m(1). Let d be (-2 + 6)*y/(-2). Let s = d + 339. Is s a prime number?
True
Let r(d) = 13*d**2 + 8*d - 44. Let y be r(7). Let u = 1952 - y. Is u a composite number?
False
Let c = 324 + 375. Let d(h) = 10*h - 25. Let i be d(3). Suppose 0 = -5*l + 4*f + c, 3*f - 151 = -i*l + 576. Is l a prime number?
False
Let c(a) = -91*a**3 - 12*a**2 + 15*a - 1. Let w be c(6). Let x = 41162 + w. Is x a composite number?
False
Let b(j) = -698*j**3 + 3. Let o be b(2). Suppose -h = 1575 + 1229. Let f = h - o. Is f composite?
False
Suppose 163*n + 147*n = -186*n + 293891408. Is n composite?
True
Suppose -2*q - f = 4*f - 160320, 8 = -4*f. Is q prime?
False
Suppose -v + 11 = -5*r, 33 = 16*v - 11*v - 3*r. Suppose 0 = 26*b + v*b - 23648. Is b a prime number?
True
Let h(o) = -28*o**3 + 7*o**2 - o + 155. Is h(-12) a composite number?
False
Is (2342/5)/(5 + (-46)/10) a composite number?
False
Let j(m) = -9033*m + 638. Is j(-15) composite?
False
Suppose -4*r + 27 = 4*i - i, -2*i - 5*r = -25. Suppose 2*q - 5*q - 785 = -i*a, 0 = 3*a + 2*q - 471. Is a a prime number?
True
Suppose -5*o + 1530 = -31835. Suppose 116975 = -7*a - o. Is a/(-28) - 1/(-7) a composite number?
False
Suppose 2*s - 973 - 1267 = 0. Let v = s + 162. Is v a composite number?
True
Let c = -157 - -99. Let b = c + 44. Is (-31005)/(-6) - (-7)/b a prime number?
True
Suppose 0 = 2*w - 5*z + 7027, w + 3*z + 1359 + 2160 = 0. Let f = w - -7559. Is f composite?
True
Let w(m) = m**3 - 3*m**2 - 8*m - 19. Let z be w(-4). Let c = -100 - z. Is (-2)/c*(3 + 1412/8) prime?
True
Suppose 0 = -u + 2, -82*u = 4*g - 77*u - 187422. Is g prime?
True
Suppose -20*x - 265172 = -3*w - 15*x, 0 = w + 2*x - 88365. Is w a composite number?
False
Let u(x) be the first derivative of 151*x**4/4 - 2*x**3/3 + x**2/2 - 13*x - 101. Is u(3) composite?
False
Let o(l) = 10*l**3 + 49*l**2 + 10*l - 31. Let i(h) = 28*h**3 + 148*h**2 + 31*h - 91. Let a(y) = -4*i(y) + 11*o(y). Is a(-28) a composite number?
False
Let a(d) = -6820*d + 133. Is a(-3) composite?
False
Suppose 2*u - 30 = 42. Is -1 - (-1068 - u/(-6)) prime?
True
Let j(w) = w**3 + 28*w**2 - 25*w + 9. Let r be j(-21). Suppose 2*o = -r - 1033. Let h = 3988 + o. Is h composite?
True
Let a = 3 + 3. Let g(w) = w - 10. Let h be g(a). Is ((-8)/h - -1527) + 2 composite?
False
Is (9060 - 61)*(1 + 0 + 0) prime?
True
Let u = -301 - -311. Let k(g) = g**3 + 10*g**2 - 8*g + 29. Is k(u) a composite number?
False
Let q be (-1432)/6*(-66)/(-44). Let n = q - -665. Is n prime?
True
Let h(v) be the second deriva