g + 15. Let t be v(-4). Is m(t) a composite number?
True
Suppose 59*n - 3*f = 55*n + 21071, -4*n + 5*f + 21057 = 0. Is n prime?
True
Suppose 6 = -5*g + 7*g. Suppose 5*m + 2*d = 2462 - 757, -m = -g*d - 324. Let k = m - 44. Is k composite?
True
Let n be (-6 - 18/(-6))/((-6)/(-16)). Let m = n - -13. Suppose -3*p = -h + 550, m*p + 2207 = 3*h + h. Is h a prime number?
False
Suppose 3*r - 95 = -4*y, 3*y + 4*r + 45 - 118 = 0. Let o = -23 + y. Suppose o = -n + k - 2*k + 49, 3*n - 3*k = 129. Is n composite?
True
Suppose -1756*r = -1739*r + 204. Let z be 0 - 1810/(-2) - -2. Is z*(r/(-3))/4 a composite number?
False
Let o = -303 - -308. Suppose -3*b = 2*u - 1762, o*u - b - 3686 = 753. Is u prime?
True
Let l(g) = 97*g**3 + 31*g**2 - 31*g - 25. Is l(16) composite?
True
Let y = 39933 - -4263. Suppose 0 = -13*o + 25*o - y. Is o composite?
True
Let f(n) be the third derivative of 5*n**4/3 - 23*n**3/6 + 19*n**2. Let u = -59 - -64. Is f(u) composite?
True
Suppose 0 = -10*l + 20*l + 80. Is 12514/((-1)/2 + (-20)/l) a prime number?
True
Suppose 0 = 3*h - 5905 - 4064. Suppose -8*m + h + 4341 = 0. Is m composite?
True
Let i(v) = 34*v - 13 - 19*v - 68*v - 67*v. Let j(p) = p**2 + 9*p + 2. Let c be j(-8). Is i(c) a prime number?
False
Suppose 4*a = -5*s + 25575 + 1441, -2*s = -8. Let l = 11230 - a. Is l prime?
True
Let i = 5 + -1. Suppose a + i = 3*a. Let h(c) = 288*c - 11. Is h(a) a composite number?
True
Suppose 36 = -4*p - 2*p. Let q be -1 + 0/(-2) - p. Is q*(-3 - 497/(-5)) prime?
False
Let q(i) = -2*i. Let v be q(-2). Let m(f) = 106*f - 184. Let t be m(2). Is (-2)/v + 15778/t prime?
True
Let d(a) = 12581*a**3 - 2*a + 3. Let j be d(1). Let n = j - 8621. Is n a prime number?
False
Let m be 24/9 + (1 - 25/15). Suppose -b + 9754 = 3*b + m*c, 4*c + 2425 = b. Is b a composite number?
False
Let v(k) = -17*k + 292. Let f be v(17). Suppose -u = -f*c + 11948, -17809 = -5*c + 2*u + 2104. Is c a composite number?
True
Is ((-2830950)/63 + -1 + 2)/(90/(-630)) a prime number?
True
Let t(d) be the second derivative of d**4/4 + 5*d**3/2 - 25*d**2/2 + 11*d. Suppose -21 = -4*y + 27. Is t(y) a composite number?
False
Suppose 74*n = 802787 + 555335. Is n a composite number?
False
Let n = 13141 + -8336. Let v = -114 + n. Is v a prime number?
True
Let d(a) = 0 + 10 + 11*a + 2*a**2 + 0. Let v be (6 + 160/(-5))/(-2). Is d(v) a prime number?
True
Is ((-1)/14 - (-415740)/42)*92/6 a prime number?
False
Suppose 0 = -5*u + 5*b + 1488 + 2267, -b - 3 = 0. Suppose u = y - 2745. Is y composite?
True
Let r = -22 + 24. Let y = 91 - 142. Is r*y*(-46)/12 prime?
False
Suppose -8*o = -6*o - 2*j - 14, -2*o = j - 5. Suppose -p + o = -1. Suppose -4*w + 4*d = -p*w + 6135, -2*w + 12278 = 4*d. Is w a prime number?
True
Let t = -3 + -16. Let w = t - -22. Suppose 3*a = 2*h + 754, 5*h - 351 = w*a - 1093. Is a composite?
True
Let o(t) = -8*t - 2 - 7*t - 78*t**2 + 13*t. Let l be o(-1). Let d = l + 525. Is d a prime number?
False
Suppose 5*t = -2*z + 364417 + 255584, -4*t - 4*z + 495996 = 0. Is t prime?
True
Let s(q) = 118*q - 9. Suppose -4*m - 12 - 12 = 0. Let z be s(m). Let w = z - -1300. Is w prime?
False
Let d = 124322 - 66909. Is d a prime number?
True
Suppose -81542 = -2*d + 5*f, -d - 5*f = -17792 - 22979. Is d a prime number?
True
Let m = -81 - -81. Suppose -9*f + 3934 + 935 = m. Is f a prime number?
True
Suppose 2190 = 15*w - 1500. Is (-3794591)/w*-3*2 a prime number?
True
Let s = -323 - -323. Is (-31101)/(0 + -7) - s a composite number?
True
Suppose -14802 - 29322 = -6*u. Suppose -9376 = -10*v + u. Is v composite?
True
Suppose -28*z = 12*z - 12498040. Is z prime?
True
Let f(o) = o**3 - 5*o**2 - 6*o - 9. Let t be f(4). Let h be 9/1 + -3 + 1. Is (-2)/h - 6237/t prime?
True
Suppose -2983992 = -40*h + 7*h. Suppose 12*u + h = 20*u. Is u a prime number?
False
Let h(v) = -8*v + 12. Let y(x) = -7*x + 13. Let k(n) = -3*h(n) + 4*y(n). Let b be k(4). Suppose -17*w + 14*w + 1545 = b. Is w prime?
False
Suppose -1454*h = -1482*h + 38108. Is h a prime number?
True
Is ((-13985530)/91)/((-70)/245) a composite number?
True
Let p(s) = -3 - 26328*s**3 - 3*s**2 + 12 + 0 - 4 - s - 4. Is p(-1) a prime number?
False
Suppose -4*b = -5*p + 4, -p - 9 = -5*b - 35. Let z(m) be the third derivative of -m**6/120 + m**5/12 - 3*m**4/8 - 7*m**3/6 + 1889*m**2. Is z(b) prime?
True
Suppose 2*i - 74214 = 4*n, -14032 + 88211 = 2*i + 3*n. Is i composite?
False
Suppose -263*f - 24662102 = -98329980. Is f a composite number?
True
Suppose -2*o + 32 + 66 = 0. Let k = o - 46. Suppose 1279 + 8214 = k*s - 2*q, 12660 = 4*s - 4*q. Is s a prime number?
True
Suppose -2 = -5*r - 7. Let p be r + 2 + 5/((-5)/2). Is (p/(-3))/(-4 + 7527/1881) composite?
True
Suppose -23 = 4*l + 2*q + 5, 44 = -5*l + 2*q. Let a(r) = -8*r**3 - 3*r**2 - r - 11. Is a(l) a prime number?
False
Let y(r) = 1200341*r**3 - 4*r**2 - 15*r + 19. Is y(1) a composite number?
False
Let h be (-12)/9*9/((-3)/1). Suppose 2*g - 831602 = -n, -1392032 - 271188 = -h*g + 2*n. Is g/357 - (-1)/((-7)/(-2)) a prime number?
False
Let l(j) = -1086*j + 53. Let w be l(-3). Let g = -1002 + w. Is g a composite number?
False
Suppose 27*g - 6*g = 3128727. Is g prime?
False
Let r(z) = -89*z**3 + 976 - 971 + 3*z + 0*z - 20*z**3. Is r(-3) composite?
False
Let p(c) be the first derivative of 67*c**3/3 - 8*c**2 - 17*c + 82. Is p(16) composite?
False
Is (1 - 0) + -2 + (-1 - -166185) a prime number?
True
Suppose -77*x + 24 = -75*x. Let n be 26/x - (-3)/(-72)*4. Suppose -n*m = 2*m + 5*i - 1891, -5*i = 3*m - 1412. Is m a composite number?
False
Let j = -431 + -307. Let g = 3769 - j. Is g a composite number?
False
Let h be (-316)/14 + (-16)/(-28). Let o = h - -45. Suppose -28*p = -o*p - 1695. Is p a composite number?
True
Let d be -4 + 0 + 1 - -5. Suppose -3*p - 13 = -0*p + 5*l, -26 = -4*p + d*l. Is 1/p - (-17962)/56 prime?
False
Is (544915/10 - 1*3)*(-80)/(-40) a composite number?
True
Suppose -3*s - 34 = -43. Suppose -s*y - 2790 = -10227. Is y prime?
False
Suppose 41 - 33 = 4*z. Let h(g) = -g**2 - 7*g + 20. Let t be h(z). Suppose -4*i + t*l + 778 = -1220, -4*i - l + 1995 = 0. Is i composite?
False
Let o = 212988 - 99551. Is o a prime number?
True
Let p(k) = 13 + 22 - 1 + 28 + 271*k. Is p(11) composite?
True
Suppose -17*i - 272367 = -3*k - 16*i, -k + 3*i = -90805. Is k composite?
False
Is (9/(1782/16378307) - (-8)/(-36))*14 a composite number?
True
Let n = 60 - 55. Suppose -3*c + 28511 = -3*j + j, n*j + 47515 = 5*c. Is c a composite number?
True
Suppose 0 = -5*n - 7*f + 4*f + 850880, 2*n + 4*f - 340338 = 0. Is n composite?
False
Let k(u) = 5*u - 4*u + 0*u + u. Let q be k(0). Suppose q*j - j - 8120 = -5*c, 4*j = -4*c + 6472. Is c prime?
False
Suppose 3*c - 5555 = -2*c. Suppose -2*g + 1093 = -5*d - 6*g, 2*g - c = 5*d. Let x = d + 398. Is x a composite number?
True
Suppose 2*k - 2*q + q - 404135 = 0, k - 202072 = -q. Is k composite?
True
Let r be -157*2/4*(25 - 27). Let m = r + 136. Is m composite?
False
Let d(t) = -t**2 - 9*t - 13. Let j be d(-8). Let v be ((-5)/j + 0)*410. Suppose q - v = -q. Is q composite?
True
Let v = 74 - 68. Suppose -3*f + 2652 = -3*y, y = v*f - f - 4440. Suppose -28*w = -29*w + f. Is w prime?
False
Let m be (-2 - -1)*-1*3*9. Let j = m + -16. Suppose j*y - 3*y - 10696 = 0. Is y a composite number?
True
Suppose -17*h + 3*h - 140 = 0. Is 140665/85 + h/(-85) composite?
True
Is (-8)/(-4) - (-13 + 311)*(-7662)/4 a prime number?
True
Suppose 9*g = 221 + 94. Is 45595/g + (-11)/((-77)/2) composite?
False
Suppose -30 = 3*x - 42. Suppose 5*b + g - 1000 = 0, -5*b - 4*g + 219 = -x*b. Is b a composite number?
False
Let o be -2 + (-5 - -3)*(-9)/(-6). Let x be ((-12)/o)/(18/(-1170)). Let q = x - -4523. Is q composite?
True
Suppose 0 = -5*b + 97159 - 32954. Is b a composite number?
False
Let x = -27 - -29. Suppose 2*s - 32 = 2*m, 0 = -6*s + x*s + 5*m + 59. Is (128/12 - -3)*s prime?
False
Suppose 17*c = -7 + 75. Suppose 4*t = 7*t - 28389. Suppose -t - 1069 = -c*p. Is p a composite number?
False
Let o(c) = -c**2 + 25*c + 24. Let j be o(21). Let l be (4 - 2) + (-2 - j). Let y = 205 + l. Is y a prime number?
True
Suppose 5*t - 158310 + 1084218 = 2*d, d = -t + 462961. Is d prime?
False
Suppose 0 = j + 3*h - 208780, -662400 = -4*j + 5*h + 172601. Is j a prime number?
True
Let q(k) = 14597*k - 2379. Is q(56) prime?
True
