015770)/(-45))/((-20)/(-90)) prime?
True
Let h(w) = -5*w + 3. Let l be h(-5). Let s = l - 31. Is s/15 - (-2426)/5 composite?
True
Suppose -170113584 = -190*g - 77429323 + 159811109. Is g composite?
False
Suppose -9*g - 29 = 25. Let u(m) = -6*m**3 + m**2 + 9*m - 1. Is u(g) a prime number?
True
Suppose -4*a + 2*w + 8 = 0, 11*w - 16*w + 4 = 2*a. Suppose 3*b = -q + 15997, -4*b + 21342 = -a*q - 3*q. Is b a prime number?
True
Suppose 496*i - 3620689 = 448*i - 1380865. Is i composite?
False
Let o = 136437 + -16568. Is o prime?
True
Let n(a) be the first derivative of -3*a**2/2 - 37*a - 3. Let t be n(-16). Suppose -2*h - t = -3325. Is h composite?
False
Let m(k) = -4*k - 114. Let c be m(-30). Let x(n) = 19*n**2 + 3*n - 17. Is x(c) a prime number?
False
Suppose -3*q - 6115 = 4*i - 64620, 3*i - 43884 = -3*q. Is i composite?
False
Let v be (3038392/35)/7 - (-2)/5. Suppose 7169 + v = h. Is h prime?
True
Is -12 + 675105*1/3 a prime number?
True
Let c be 4/(-6)*(-5 + -4417). Suppose 19*w = 5*w - 25746. Let v = c + w. Is v composite?
False
Let i(g) = -4*g**3 + 3*g**2 + 5*g + 3. Let p be i(-2). Let o = p - 35. Is ((-1647)/o - -5)*-2 a composite number?
False
Let y be (-1475)/(-2) + 95/38. Let i = y + -289. Is i prime?
False
Suppose 0 = 112*u - 23080 + 6871 - 17167. Is u composite?
True
Suppose h = 4*m - 82181 + 282050, -9*h + 1798661 = 4*m. Is h prime?
True
Let y = -1200048 + 1936331. Is y a composite number?
True
Let h(u) = 6*u + 29. Let g(v) = -11*v - 57. Let i(q) = -2*g(q) - 5*h(q). Let r be i(-13). Let s = -4 + r. Is s composite?
True
Let z(y) = -19184*y - 107. Is z(-6) a composite number?
False
Let l(r) = -1254*r - 64. Let a be l(-10). Let o = a + -363. Is o composite?
False
Let p(s) = 52*s**2 + 12 - 54*s**2 + 2*s - 12. Let k be p(2). Is 2 + (0 + k - (-398 - 1)) prime?
True
Let i = -416 + 420. Suppose i*l - 6*l = 8, -4*l = -r + 9197. Is r composite?
False
Suppose -4*p + 23 + 15 = 2*k, 4*p - 83 = -5*k. Is ((-17268)/k - 1/(-5))*-1 a composite number?
False
Let r(v) = 126*v**3 - 9*v + 6. Let u be r(3). Is -7 + 3 + u/3 a prime number?
True
Suppose 0*b + 9*b = 27. Suppose 4*o - b*a + 369 = 0, -3*a - 1 = -10. Is (o/75)/(4/(-130)) a prime number?
False
Let m(k) = 144*k**3 - 11*k**2 + 166*k - 25. Is m(12) prime?
False
Suppose -4*o - 3*o + 14 = 0. Let f(j) = 1481*j**2 + 9*j - 7. Is f(o) a prime number?
False
Suppose -403 + 115 = 8*p. Is 76558/18 - (-8)/p composite?
False
Let b(h) = 1607*h**2 - 3*h + 47. Is b(6) a composite number?
False
Let m be (-45)/(-10) + (0 - 1/(-2)). Suppose a + 3671 = o + 5*a, 5*o - 18355 = m*a. Is o prime?
True
Let q(r) = -64*r**2 - 5*r + 11. Let b be q(-10). Let x = 16633 + b. Is x a prime number?
False
Suppose -2*a + 2744 + 1863 = -s, 0 = 5*s + 4*a + 22965. Is s/(-1)*(-5 + -5 + 11) composite?
False
Is ((1 + 3)/(-4))/(2/(-442430)*5) prime?
False
Suppose 5*z - 782290 = 5*h, 9*z - 14*z + 782330 = 3*h. Is z prime?
False
Suppose 2*i - 150 = -5*o, 5*i - 2*i = 2*o - 41. Suppose o = 13*t - 6*t. Suppose -1604 = -0*l - t*l. Is l composite?
False
Let a(f) be the first derivative of f**4/4 + 13*f**3/3 + 12*f**2 + 11*f + 241. Is a(18) prime?
True
Let c be 36/(-60) - (13/5)/(-1). Suppose -5*s - 4*f = 3276, -2*s - f = c*s + 2623. Let k = s + 1157. Is k a composite number?
True
Let a(w) = 179*w**2 + 38*w - 97. Is a(-16) a composite number?
False
Suppose -2*n - 4*d + 284462 = 0, -4*n + 8*n - 568884 = 2*d. Is n composite?
False
Let n = 1713 + 1117. Suppose 7489 = k - n. Is k a prime number?
False
Is 515077/(-24 - (1 + -26)) a prime number?
False
Suppose 3*h + 276400 = 4*j, 0*j - 2 = -2*j. Is h/(-36) - (-4)/(-18) a composite number?
True
Suppose -86*y + 8548525 - 110517620 = -591*y. Is y composite?
False
Let c = 202427 + -136696. Is c a composite number?
False
Suppose 0 = -14*q + 19*q + 15. Let u(j) = -10124*j - 43. Is u(q) a composite number?
True
Let b(a) = 16*a**2 - 6*a + 5. Let s(m) = 2*m**2 - 17*m - 4. Let q be s(8). Let g(j) = -j - 8. Let h be g(q). Is b(h) a prime number?
False
Let g = 11 + -5. Let b be 617/41 - 8/164. Is 2*-1*((-17055)/g)/b a composite number?
False
Let n = -32 - -32. Suppose -4*u = -2*o + 318 + 14, -u - 1 = n. Suppose -d + o = h, -2*h + 4*h - 348 = 2*d. Is h composite?
True
Suppose 0 = -l + 5*y + 12972, -4*l + 71475 = y + 19608. Is l prime?
True
Is (-1 - 2900)/((-1)/2*564/70594) a prime number?
False
Let p = -264 + 1565. Suppose 1308 = s - p. Is s a composite number?
False
Let q = 478 + 2401. Is q composite?
False
Suppose -t - 3*j = -56574 - 75646, -2*j = -8. Suppose 19*g = 3*g + t. Is g prime?
True
Let t be 28/10 - (-19)/95. Suppose -42667 = -4*n - t*c, 5*n - 34775 - 18565 = -5*c. Is n prime?
True
Suppose -48 = -11*o + 7. Suppose -o*x - 5*l + 2153 = 11678, 4*l - 20 = 0. Is 9/6*x/(-15) a composite number?
False
Let p be (-15)/25*(-6 + 1). Let l be 6/8 + 26/8 + 2845. Is l + p + -7 + -4 prime?
False
Let t = -89983 + 179954. Is t a composite number?
True
Let r(k) = 141*k**2 - 45*k - 295. Let x(u) = u**3 + 14*u**2 + 39*u - 18. Let f be x(-10). Is r(f) prime?
False
Suppose j = 4*d + 3231, -14431 - 1724 = -5*j + 2*d. Suppose -5952 = -3*i + q + j, q = -5*i + 15305. Is i a composite number?
False
Let n(y) = -3*y**2 + 18*y + 7. Suppose -4*x = -b - 36, -4*x = -7*x - 4*b + 46. Let p be n(x). Let r = p + 370. Is r a composite number?
False
Let m be -7 - 837/(-117) - 438/(-26). Suppose 0 = m*c + 2*c - 123253. Is c a composite number?
True
Let v(c) = c**3 + 6*c**2 + c - 7. Let s be v(8). Let j = 1564 - s. Is j composite?
True
Let g = 6763 - 4793. Suppose -5*t + 5*p = -g, 676 - 270 = t - 5*p. Is t prime?
False
Let p be 2/((-8)/6)*-2. Suppose 3*h = 4*u + 22, 3*h + p = -4*u - 7. Suppose 3*d = -3*v - d + 243, 176 = 2*v - h*d. Is v a composite number?
True
Let y = 18301 + -7193. Suppose 0 = -4*p - 2*x + y, 2*p + 2*p - x = 11108. Is p a prime number?
True
Suppose 2127984 = 111*n - 518589. Is n composite?
True
Suppose 2*t + 2100 - 117 = 5*r, -3*t - 1987 = -5*r. Suppose 13228 = r*j - 391*j. Is j a prime number?
True
Suppose 8*n = 3*n + 47130. Let c = -4945 + n. Is c composite?
False
Let r be (-2 - (-32)/6)/((-96)/(-864)). Let j be (-4)/(-6) + 289/3. Let p = r + j. Is p a prime number?
True
Let n be (-24)/2 + 2 - -10. Let c = 8 - 3. Suppose m + c*g = 2*g + 326, n = -m - 2*g + 331. Is m prime?
False
Suppose -19*w + 306008 = -568391. Is w a prime number?
True
Let z(p) = p**2 + 3*p - 18. Let q be z(-6). Let o be (0 + q - -3)/3. Suppose 1 + o = -g, -4*m = -2*g - 848. Is m a composite number?
False
Suppose -2*k = 3*h + 19, 2*k = -h - 4*h - 9. Let g(d) = d**2 - 3*d - 42. Is g(k) composite?
True
Suppose -5*o - 195470 = -15*o. Is o a prime number?
False
Let p(v) = v**3 - 6*v + 3. Let u be p(3). Let f(d) = 37*d + 55. Is f(u) a composite number?
False
Let z = 136520 - -25869. Is z a prime number?
True
Is (5 + -10 - -1) + 19938 prime?
False
Let o(h) = 150*h + 7. Let k(n) = -75*n - 3. Let z(s) = -5*k(s) - 2*o(s). Suppose -19 = 4*r - 43. Is z(r) a prime number?
False
Let a = -342 + 337. Suppose 0 = l + 2*l - 3. Is 3969/15 + l/a*-2 composite?
True
Suppose 8*r + 35391 = -17121. Let f = r - -12233. Is f prime?
True
Let r(u) = -14*u**2 + 0*u**2 - 2*u**2 + 479*u**3 - 483*u**3 - 55*u - 5. Is r(-12) a prime number?
False
Suppose -27*u + 26*u + 201 = 4*t, -t + u + 54 = 0. Let x(h) = h**3 - 42*h**2 + 46*h + 74. Is x(t) composite?
True
Let n = -11493 + 8200. Let m = -1500 - n. Is m a composite number?
True
Suppose -135*o + 139*o = -h + 9413, 0 = -h + 2*o + 9407. Is h composite?
True
Let w = 3686 + -116. Suppose 0*f - 5*f = -w. Let n = -263 + f. Is n a prime number?
False
Suppose 0 = -30*f + 24*f + 11358. Let i = 2752 - f. Suppose 0 = 4*u + 20, -4*u + 42 = 3*s - i. Is s a prime number?
True
Suppose i = 11910 + 3143. Is i prime?
True
Let c be (-2)/(5 - 3)*-10. Suppose -c = -3*b + b. Suppose 5*p + 1376 = h, 2*h + b*p + 244 = 3011. Is h a prime number?
True
Suppose 5 = 7*b - 51. Suppose 0 = b*d - 13*d + 20545. Is d/(-14)*(-3 + 1) a prime number?
True
Let x(r) = -r**2 - 26*r - 33. Let w be x(-23). Let d(g) = 74*g - 8. Let c be d(-7). Let i = w - c. Is i a prime number?
False
Suppose -3*i - 182 + 197 = 0. Is -2 - (35/i - 428) a composite number?
False
Let t(m) = 189*m + 26. Suppose -2*q + 176 = 170. Is t(q) prime?
True
Suppose 112 + 256 = 2*r. Suppose 3*b - 1057 = -r. Suppose