e -2596 = -4*j - 160. Suppose p - j = -k*v, 0 = -6*v + 2*v - 5*p + 812. Is v composite?
True
Let p = 172085 - 85114. Is p composite?
True
Suppose 3*d = 4*c - 44960, 6*c + 3*d = 4*c + 22480. Suppose -m = -3*w + c, 18736 = 5*w + 3*m - 2*m. Is w a composite number?
True
Suppose 5 + 6 = o. Suppose -3*k + 3*k = o*k. Suppose k = 8*t - 7366 - 1842. Is t composite?
False
Let i be 94*123 - (3 + 3). Suppose 6*o = i + 8502. Is o prime?
True
Suppose -3*c + 7620 = -0*c. Suppose 17*r - 2926 = 19*r. Let m = r + c. Is m composite?
True
Suppose 2*m = 5*g - 5, 6*g = 8*g + 5*m - 31. Suppose 7*d = 3*t + g*d - 42255, 0 = -5*t + 5*d + 70420. Is t a composite number?
False
Let u be 25/6 + 49/(-6) + 9. Is (2068/14 - u) + (-8)/(-28) a composite number?
True
Let m(q) be the first derivative of 95*q**3/3 + 3*q**2/2 + 33*q - 8. Let w(g) = -286*g**2 - 10*g - 98. Let p(t) = 7*m(t) + 2*w(t). Is p(6) prime?
True
Let o be (-5)/((-25)/(-40)*-4). Suppose 0 = x - v - 14048, 5*x - 66259 - 3978 = o*v. Is x a prime number?
False
Suppose -2*v + 5*t + 235 = 31, -4*t + 89 = v. Let b = v - 69. Suppose 246 = 30*u - b*u. Is u a prime number?
False
Suppose 4684 = 3*n - 2*d, -5*n + 1566 = -4*n - 3*d. Let x = -268 + 2297. Let t = n + x. Is t composite?
True
Let p(w) = w**3 + 11*w**2 + 17*w - 9. Let h be p(-9). Suppose h = 3*t - 4*t - 682. Let r = t + 1349. Is r a prime number?
False
Let l(t) = -46*t - 4271 + 4342 + 4*t**2 - t**2 + t**2. Is l(29) a prime number?
False
Let g be (-4)/18 - (-53024)/(-18). Let f be (304843/(-9))/(-7) - (-76)/342. Let i = g + f. Is i a prime number?
False
Suppose -244*d + 66*d + 40807459 = 31*d. Is d a composite number?
True
Suppose 4*t - 4*j = 265184, 201*j - 199*j = 11*t - 729301. Is t prime?
True
Is (1/1)/(1/(-4)) + 59751 composite?
False
Let j(z) = 5*z**2 + 22*z - 43. Let b(t) = t**3 + t**2 - 4*t - 22. Let y be b(0). Is j(y) a composite number?
True
Let o(s) = 341*s**2 + 19*s - 77. Is o(-12) prime?
True
Let s(c) be the third derivative of 5/24*c**4 - 3/40*c**6 + 0*c + 0 + 7/6*c**3 - c**2 - 1/15*c**5. Is s(-4) composite?
False
Suppose -8*k - 13658638 + 2583210 = -60*k. Is k a prime number?
False
Let n be 1/(52/12 - 4). Is -10*n*7318/(-12) composite?
True
Let t(i) = -9*i**3 - i**2 + 4*i - 4. Let h be t(1). Let s(c) be the first derivative of -c**4/2 - 11*c**3/3 - 3*c**2 - c - 1. Is s(h) composite?
True
Suppose 0*n - 9548 = -2*n. Suppose 4343 + n = 3*h. Is h a prime number?
False
Let w = 286163 + -149284. Is w prime?
True
Suppose -3*a = 4*x - 2*a - 20, -3*a - 12 = 0. Suppose -5*g + x = -3*g. Suppose -s = 3*c + 2*s - 1560, -4*c - g*s = -2083. Is c a composite number?
False
Suppose -w = 5*i - 787829, -3*w - 1118435 = -6*i - 173057. Is i a composite number?
True
Let a be (-2)/(-16) + (-29040)/(-128). Suppose -2*k = -k - 104. Let h = k + a. Is h a prime number?
True
Is (-181880)/(-12) + (-26)/(-6) prime?
True
Let a(h) = -h**3 + 6*h**2 + 5*h - 22. Let x be a(5). Let l = x + 196. Suppose 3*b = l + 349. Is b a prime number?
True
Let h(p) = p**2 + 3*p + 9. Let c be h(5). Let o = 50 - c. Is o/(((-4)/(-298))/2) a composite number?
False
Let n be ((-8208)/3)/(-6) + -6. Suppose 0 = v - n - 1113. Is v composite?
True
Let u = -30866 - -50284. Let f = 36289 - u. Is f composite?
False
Let w(y) be the first derivative of 79*y**3 - 19*y**2/2 - 3*y + 65. Is w(4) prime?
False
Let q = -5428 + 3390. Let p = q - -3769. Is p prime?
False
Let n be (366/(-10) - 4) + 6/10. Let w = -37 - n. Suppose -w*h + 43 = -392. Is h composite?
True
Suppose 0 = 5*k + 4*g - 19954, -g + 3*g = 4*k - 15984. Suppose d - k = 4*y, -2*d + 4*d = 2*y + 7988. Is d a composite number?
True
Let t(c) be the second derivative of 0 - 1/12*c**4 + 16*c + 1279/20*c**5 - 1/3*c**3 + 1/2*c**2. Is t(1) a prime number?
True
Suppose 0 = 3*p + 3*i + 9, -i + 25 = -2*p - p. Let q(b) = -73*b - 18. Let c(a) = 73*a + 18. Let m(w) = -6*c(w) - 5*q(w). Is m(p) a prime number?
False
Suppose 2*d - 5*d - 2*m + 33553 = 0, 4*d = 3*m + 44726. Is d a composite number?
True
Let n be (-5)/20 - 51/(-12). Suppose -a + 2 - 1 = b, -n*a = 0. Is 2/(54/53 - b) composite?
True
Suppose -5*c = -n + 104, 2*n - 172 = 4*c + 6. Suppose 6*v - v - 390 = 0. Suppose -n*q + v*q + 1459 = 0. Is q prime?
True
Suppose -13*w - 2*h + 463399 = -10*w, -5*w - 7*h = -772306. Is w a composite number?
True
Let g(j) = 86918*j**3 - 6*j**2 + 4*j + 1. Is g(1) prime?
False
Is (8 - -13 - 75583)*34/(-4) a prime number?
False
Suppose d + 2 = -1, -3*r - 261 = -2*d. Let j = 602 + r. Suppose -n + 5*c = 2*n - 406, 4*n - c = j. Is n a prime number?
True
Let o(k) = 366*k**3 - 13*k**2 + 78*k - 373. Is o(8) a composite number?
True
Suppose q - 375270 = -143*w + 141*w, 0 = -2*w + 3*q + 375238. Is w a composite number?
False
Let p(j) = -4*j**2 - 81*j - 27. Let i be p(-20). Let x(b) = -12 + 14*b - 59*b - 8. Is x(i) composite?
True
Is (-3136011)/(-11) + (-980)/1078 prime?
True
Let f = 4044919 - 2673476. Is f a composite number?
True
Let j = 74588 + 63630. Is j prime?
False
Let g = 260 - 159. Let z = 106 - g. Suppose z*s = 0, -2*s - 348 = -5*v + v. Is v a prime number?
False
Let g(c) = 15*c**2 - 2. Let v be g(1). Is (-6452600)/(-520) + 2/v a prime number?
True
Let i = 2949 - 1603. Let u(a) = -a + 12. Let z be u(0). Suppose 10*f - z*f = -i. Is f composite?
False
Let m be (-4)/(-18) + (-1512970)/(-171). Let u = -5261 + m. Is u a composite number?
True
Let v = 12990 + 36317. Is v a prime number?
True
Let p = 83 - 77. Suppose -2*a = 0, -5*a = 2*b - p*b + 24. Is (6 - 33/b) + (-1554)/(-4) a composite number?
False
Let f = -42 - -46. Suppose 0 = 3*i + 9, 5*i + 0*i - 5369 = -f*j. Is (j/(-8))/((-26)/104) composite?
False
Let j(v) = 2*v - 13 - 7 - 6*v. Let o be j(-9). Let q(t) = 4*t - 5. Is q(o) a prime number?
True
Let q(l) = 11606*l - 635. Is q(11) a composite number?
False
Let x = 756 - 737. Suppose x*r - 53580 = -16663. Is r a composite number?
True
Suppose 4*v = v + 15. Let r be (-68975)/45 - v/((-45)/(-2)). Let y = 2278 + r. Is y composite?
True
Let c(i) = 5*i - 23. Let k be c(4). Let u(h) = 1400*h**2 + 2*h + 17. Is u(k) composite?
False
Suppose 2*n - 4*d = 872258, 52*d + 1744483 = 4*n + 55*d. Is n prime?
False
Let n be ((-4)/(-12))/((-3)/(-54) + 0). Suppose n*k = k + 10. Suppose k*r - 3*r - 1485 = -2*a, r = -a + 744. Is a a prime number?
True
Suppose -5*z + 1467733 = -y + 143694, 5*z - 3*y - 1324057 = 0. Is z composite?
True
Suppose -11*i + 5*i = -96. Suppose i*g - 17*g - 1 = 0. Is 8/(-32)*5444*g a composite number?
False
Suppose -1151 + 373 = r. Suppose 418 = 3*t + 3826. Let h = r - t. Is h composite?
True
Suppose 3*k + k + 8 = 5*n, -4*k - 4*n = -28. Suppose -k*m - 4*y + 929 = 0, m - 3*y = 181 + 120. Is m a prime number?
True
Let t(d) = 120*d**2 + 111*d - 17. Let r be t(-10). Let w = -6380 + r. Is w a composite number?
False
Let y(n) = 414*n - 32. Let k be y(-9). Let m = 7351 + k. Is m composite?
False
Let y = 4676 - -2801. Is y a composite number?
False
Let a(x) = x**3 - 5*x**2 - x + 8. Let r be a(5). Suppose -4*j = b - 127, -4*b - r*j + 336 + 159 = 0. Is b composite?
True
Let i(v) = 24872*v**2 - 262*v - 779. Is i(-3) prime?
False
Suppose -12*b + 8689 = -4355. Is b a prime number?
True
Let u(y) = -189*y**3 - 48*y**2 - 3*y - 97. Is u(-19) composite?
False
Suppose -2*z - 4 = 0, 0 = -f - z - 3 + 4. Suppose -f*m = -13 - 8. Suppose 0 = m*y - 932 - 405. Is y a prime number?
True
Suppose -18*r = -351 + 81. Is (-31676)/2*r/(-6) a prime number?
False
Let z be 13/(-117) - 10298/(-18). Suppose 5*k = -z + 1587. Is k a composite number?
True
Let y(s) = -7*s - 4*s + s + 11*s**2 + 5 + 6*s - s. Is y(16) a composite number?
False
Suppose -320314 = 35*d - 37*d - 4*g, 480391 = 3*d - 4*g. Is d prime?
True
Suppose -3*p - 5*r = -p + 38, 5*p + 3*r = -76. Let i(f) = -39*f - 22. Let t be i(p). Suppose 0*c = -2*c + t. Is c prime?
False
Suppose x - 2*n - 280205 = -61020, -3*x + 657552 = -5*n. Is x prime?
False
Suppose 5*j = 2*o + 1060 + 601, 4*o + 325 = j. Suppose j*v - 344*v = -8481. Is v composite?
True
Let r(q) = -135*q**3 + q**2 + q + 2. Let o(u) = -u**2 - u - 1. Let p(h) = -o(h) + r(h). Is p(-2) a composite number?
False
Suppose 0 = 31*i + 14*i - 45. Is ((-1394156)/(-84) - 2/21)*i a composite number?
True
Suppose 8*c = 9*c - z - 2335, 0 = 4*c - 3*z - 9338. Let w = -1306 + c. Is w a prime number?
False
Suppose 183