g = -136907. Is h a prime number?
True
Let b(q) = 693*q + 185. Let c be b(33). Let j = c - 14403. Is j prime?
False
Suppose o + 1293 = y - 653, -y = 3*o - 1930. Is y + (6/(-39) - (-30)/26) prime?
False
Suppose 0 = -3*f + 13*f + 20. Is (-561 + f)*(-1 + 0) composite?
False
Suppose -31*r + r = 2*r - 1236128. Is r prime?
True
Let g = 5893 + 226849. Is g composite?
True
Suppose 28*l + 3*l = -3*l + 40834. Is l a composite number?
False
Let z be (-20)/(-30) + (-1 - 88062/9). Let q = z - -19650. Is q a prime number?
False
Let w(m) = m**3. Let q(d) = -17*d**3 + 10*d**2 - 5*d + 4. Let x(z) = -q(z) + 5*w(z). Is x(7) prime?
False
Let m = 46 - 79. Let i be -5 - 324/m - (-2)/11. Suppose 0 = 5*v + 4*k - 2447, i*v + 3*k = 4*v + 496. Is v a prime number?
True
Let w be -4 + 2 - -2 - 6. Let a be 2/w + 40/12. Suppose 0*p = a*p - 2505. Is p a composite number?
True
Let a(w) = 131*w - 8. Let c be a(-12). Suppose -3*z = 4*v - 1573, -2*z - 5*v - 309 = -1367. Let d = z - c. Is d composite?
False
Suppose 4*f = -a + 91846, 9*f - 13*f = -2*a - 91840. Is f composite?
False
Let t(m) be the second derivative of 29*m**7/2520 + m**6/60 + 4*m**5/15 - 3*m**4 + 7*m. Let c(f) be the third derivative of t(f). Is c(-5) a prime number?
False
Let r be 6195*(4 - (-28)/(-12)). Suppose 3*c - r = -2*d, -c - 5*d - 13805 = -5*c. Suppose 2*b + 0*b - 1345 = -5*u, 5*b - 4*u = c. Is b composite?
True
Suppose -b + 3*f - 62 = 0, -68 = 2*b - 5*f + 57. Let l = 71 + b. Is 2/(-4)*(l + -3 + -1829) a composite number?
True
Suppose -90*v + 94*v = -56128. Let g = -7073 - v. Is g composite?
False
Suppose -i + 4*i - 474685 = -4*j, -118631 = -j + 5*i. Is j prime?
False
Let k = 38315 - -203636. Is k a composite number?
False
Suppose 5*m = 53335 - 10675. Let o = 5911 - m. Let v = 3984 + o. Is v a composite number?
True
Let y(u) = -516*u**3 - 7*u**2 + 9*u + 114. Is y(-8) prime?
False
Suppose -d - 353721 = 53169. Is d/(-55) - (0 - -1) a prime number?
False
Let x = -11393 + 54474. Is x a prime number?
False
Let m(k) = k**2 - k + 1. Suppose -3*v + 14 = -2*p - 0, 2 = -2*p - 3*v. Let d(i) = -11*i**2 + 11*i + 2. Let x(a) = p*m(a) - d(a). Is x(8) prime?
False
Suppose -4*o - 3*x = -22 + 7, 0 = 4*o + 4*x - 20. Suppose o = 3*s - 319 + 1378. Let r = s - -532. Is r composite?
False
Let g(c) = -70*c - 3. Let r be (-12 + -3)*2/(-6). Suppose 0*t + 40 = -r*t. Is g(t) composite?
False
Let a(r) = -10*r - 13. Let g(t) = 5*t + 7. Let y(l) = 6*a(l) + 10*g(l). Let o be y(-5). Suppose 2*s - o = -f, -s - 36 = -f + 12. Is f composite?
True
Let k = -219 - -342. Suppose k = 78*w - 81*w. Is (w/(-4))/((-2)/(-184)) prime?
False
Let w(s) = 21*s**2 - 7*s + 10. Let k be w(-6). Suppose -k = -2*r - 6*r. Suppose 4*v = 2*m - 17 + r, 4*v - 64 = -3*m. Is v a prime number?
True
Suppose -f = -2*s - 3*s + 37, 0 = s + 3*f - 1. Is (-1)/(s/(-57771)) + 4 composite?
True
Let a(b) be the third derivative of b**5/10 - 5*b**4/6 + 31*b**3/6 + b**2. Suppose 3*j = 3*p - 63, -2*p + 3*j - 1939 = -1987. Is a(p) prime?
False
Let b(k) = 400*k**3 - 21*k**2 + 6*k - 21. Let j be b(11). Is 0*1/2 + j/16 a composite number?
False
Let h be (-4 - -2 - 1)*(-49)/21. Suppose 5*c - h = p, -5*c - 7*p + 13 = -6*p. Suppose c*n = -l + 3*l + 200, 15 = -5*l. Is n a composite number?
False
Let w be 41289/9 + 12/9. Let s = w + 456. Is s a composite number?
True
Suppose -5*t + 729740 = y, 63 = -2*y + 53. Is t a prime number?
True
Suppose 17 = 5*o + 37. Is -239*440/o + -9 prime?
False
Let h(f) = -771*f**3 + 4*f**2 + f - 43. Is h(-5) composite?
True
Let w(r) = -297*r - 122. Let c = 473 + -485. Is w(c) a prime number?
False
Suppose -6*h - 33 = 39. Is (h/(-18))/(4/(-6)) + 1474 a composite number?
True
Let k = 27124 - 18435. Is k prime?
True
Let q(o) = 10460*o - 2591. Is q(3) composite?
False
Let q be (8/16)/((-74)/(-36) - 2). Suppose -5*w = q*w - 25102. Is w composite?
True
Suppose -j + 0*j + 5022 = 3*l, -3*l + 5022 = 5*j. Suppose -5051 - l = -5*b. Is b a composite number?
True
Suppose 6 = -k - 41. Let g = -44 - k. Suppose 2*h - 633 = -g*j + 1320, 2*h - 6 = 0. Is j a prime number?
False
Let y(o) = -18 + 2141*o + 1645*o + 331*o. Is y(3) a prime number?
False
Suppose 21*y - 43*y + 7721582 = 0. Is y composite?
False
Let p be -4323*(-6)/5 + (-4)/(-10). Let w = 23039 - p. Is w a prime number?
True
Let o be (8 + -8)/(0 + 1). Suppose -2*f + 7944 = 4*a, 0*a + 2*a + 4*f - 3966 = o. Suppose -l - l - n + a = 0, 3*n = 2*l - 1967. Is l composite?
False
Let b = -3008 + 2128. Let m = b - -183. Let c = m + 1371. Is c composite?
True
Let y = -99776 + 147553. Is y prime?
True
Let v = -87 + 96. Suppose -v*i = -70605 - 44262. Is i composite?
False
Let t(c) = 296184*c**2 + 4*c - 13. Is t(2) composite?
False
Is ((-11)/(-22))/((-2)/4)*-644153 prime?
True
Let d(l) = -270*l + 799. Is d(-59) composite?
False
Let d(h) = -71*h**2 - 18*h + 10. Let u(i) = 70*i**2 + 17*i - 9. Let x(w) = 5*d(w) + 6*u(w). Let f be x(-9). Let q = -1494 + f. Is q a prime number?
True
Suppose b - n = 9 - 1, 2*n - 14 = -b. Let g be (b/(-4))/(5 - (-22)/(-4)). Suppose 5*d - s = -355 + 1950, 638 = 2*d + g*s. Is d prime?
False
Let o(q) = -4*q**2 - 20*q - 26. Let g be o(15). Let t = g - -2987. Suppose -12*a = -15*a + t. Is a prime?
True
Let n = -175366 - -297383. Is n prime?
False
Suppose -14*v = -134519 - 77175. Is v prime?
True
Suppose v = -5*z + 6*v + 167670, -z - 7*v = -33574. Is z a prime number?
False
Suppose -6*o + 24 = 2*o. Let s be ((-11 + -1)/o - -9)*-1. Is 0 + -2 + 4 + s + 145 a prime number?
False
Let m(p) = 10 - 58*p + 1 + 8. Let y be m(4). Let q = -47 - y. Is q composite?
True
Let t be (-8)/(-6)*(-63)/(-42). Suppose 25154 = 2*r + 5*c, t*c = -r + 4577 + 8002. Is r prime?
False
Let q be (13 + 374/(-33))*1263. Suppose -l - 414 = -4*l. Let j = q - l. Is j a prime number?
False
Suppose h + 5 = 0, 7*h - 208808 = -3*k + 2*h. Is k prime?
False
Let d be (-176)/24 - 5/(-15). Is 2/2*d/(-42)*111702 prime?
True
Let l = 876021 - 552479. Is l a composite number?
True
Is (-3323195)/190*5/(25/(-70)) prime?
False
Let y(r) = -34*r**3 - 11*r - 29. Let o be y(-17). Suppose -19*a - 26391 = -o. Is a a composite number?
False
Let k(d) = -1210*d + 13. Let y be k(-12). Let j = -9285 + y. Let r = -3091 + j. Is r prime?
False
Let d = -66 - -66. Suppose d = -m + 493 + 278. Is m a prime number?
False
Is ((-3829426)/(-111))/(3 - (0 - 172/(-60))) a composite number?
True
Let l(k) = -1004*k - 49. Suppose -v + 201 = 205. Is l(v) composite?
False
Let i be (-3)/(-4) - (-15045)/4. Suppose 2*q + 10 = 0, 478 = 2*o - 2*q - 996. Suppose -6*a = -o - i. Is a a composite number?
True
Let f be (7575/(-10))/((-3)/12). Let s(q) = -257*q - 18. Let j be s(-7). Let m = f - j. Is m a prime number?
True
Let r(g) = 7*g**2 + 31*g + 5. Let u(k) = -6*k**2 - 30*k - 4. Let a(c) = 3*r(c) + 4*u(c). Is a(-8) composite?
False
Suppose t + 710607 = 3*j, -5*j + 69*t + 1184359 = 65*t. Is j prime?
True
Suppose 0 = 8*k - 3*k + 10. Let l = 969 - 965. Is l + (k + 1)*2 - -1757 a composite number?
False
Let x = 12005 - 6265. Let f = x + -389. Is f a composite number?
False
Let o(r) = r**2 + 3*r - 5. Let d be o(-5). Suppose -4*i + d*s = -2*i + 8, -2*i = -3*s + 8. Is ((-22)/i)/(7/70) composite?
True
Suppose -412*r + 413*r = 62. Suppose r*s - 31*s = 289013. Is s a composite number?
False
Let k = 11041 + -7496. Is k a composite number?
True
Let f = -2168 - -21475. Is f a prime number?
False
Let a(h) = -2*h - 54. Let q be a(-23). Let b(j) = -6*j**3 - 9*j**2 + 7*j - 21. Is b(q) a prime number?
False
Let y be (34 + -48)*(-39)/6. Suppose 4*u + 90*z = y*z + 14639, -9 = 3*z. Is u prime?
True
Let q(t) = 15700*t**2 - 215*t - 632. Is q(-3) a composite number?
True
Let w = -8630 + 20457. Is w composite?
False
Is ((-21)/7)/((-111)/8031109) prime?
True
Suppose -5*k + 119 = 24. Let f = k + -17. Suppose -3*u = -j + 76, f*j = 7*j - 5*u - 410. Is j a composite number?
True
Suppose -2*y + 5*r = 2*y + 41, y = 5*r - 29. Let c be -2798*(y + 12/4). Is (-4)/8 + (-2)/((-8)/c) a prime number?
False
Let o = 665292 - -296645. Is o a prime number?
True
Suppose 249247 + 6841 = 56*m. Is m prime?
False
Let d(a) = 2*a**2 + 2*a - 2. Let v be d(-3). Let k(w) = 5*w - 17 + w**3 - 14*w + 3*w**2 + 23*w. Is k(v) prime?
True
Let h(s) = s**2 - 27*s + 72. Let j be h(24). Suppose -4*i - 5*q + 1546 = j, -4 = -9*q + 11*q. Is i a prime number?
True