23*l - 1399. Is l prime?
True
Suppose 32*m - 51*m = -40*m + 8954211. Is m a composite number?
True
Let o(c) = 5557*c**2 + 79*c - 17. Is o(-3) a composite number?
True
Suppose 31127 = 3*z + 2*d, 3*z - 1264 - 29865 = -4*d. Suppose -5*t + 3*y = -30906, t + y = -t + 12358. Let n = z - t. Is n prime?
False
Let y(l) = 10*l**2 - 8*l - 2. Let n be y(-3). Suppose 0 = 113*m - n*m - 815. Is m a composite number?
True
Let r(i) = 75*i**2 + 7*i - 379. Is r(32) composite?
True
Let s = 270 - 251. Suppose -35262 = q - s*q. Is q prime?
False
Let z = 16 + -66. Let h = z - -51. Is -1 - (1 + 0) - h - -538 a composite number?
True
Suppose -43*p = -6*p - 649387. Is p composite?
False
Let w = 831 - -538. Is w composite?
True
Suppose -2*i = -4*z, 0*z + 4*i - 18 = -z. Suppose -z*r = 5*g - 264, 5*g - 157 = -3*r + 109. Let k = g + 19. Is k a prime number?
True
Let u(b) = -4*b**3 + 8*b**2 + 5*b + 15. Suppose 2*h - 3*m = -3*h - 42, 4*h + 5*m + 4 = 0. Let s be u(h). Let q = -358 + s. Is q a prime number?
False
Let n(y) = 406*y**2 - 23*y + 23. Is n(12) prime?
True
Let x = 27 - -64. Let f = x - 84. Is ((-257)/3)/(f/(-42)) composite?
True
Let y be (114/95)/(4/(-10)). Let p be 2*((y - -8) + -3). Is (-2)/4*(p + -102) composite?
True
Let b be 585/18*(-8)/(-5). Let j = b - 45. Let a(w) = 2*w**2 + 5*w + 16. Is a(j) prime?
True
Suppose h - 130 = -4*g, 3*g + 3*h - 104 = -h. Suppose -4*o + g = 20. Suppose -o*j = b - 2004, 3*j - 673 = 2*j - 2*b. Is j a prime number?
False
Let p(s) = 50*s + 25. Let g be p(12). Let z = g - 438. Is z composite?
True
Is 7553 + 199 + 22/(-2) composite?
False
Let g be ((-26)/(-6) + -4)/(2/54). Suppose 14926 - 47749 = -g*c. Is c prime?
False
Let y(l) = 5*l**3 - 5*l**2 - 13*l - 50. Let n(o) = 8*o**3 - 10*o**2 - 27*o - 99. Let f(g) = 3*n(g) - 5*y(g). Is f(-13) prime?
False
Suppose 0 = -4*z + 2*k - 3 + 1, 0 = 2*z - 4*k - 14. Let m be (3 + z)*(-2 - 21/(-12)). Is (-2 - -1)*-2153 - m a composite number?
False
Suppose 4*k - t + 146 = 0, 2*t - 23 + 199 = -5*k. Let a = k - -125. Is a a composite number?
False
Let r = 296257 - 204944. Is r prime?
False
Suppose -k + 4*k - 153 = -5*u, 0 = u - 4*k - 26. Suppose 0 = -6*c - u. Is ((-1)/((-6)/(-14)))/(c/465) a prime number?
False
Suppose -6*b + b = 3735. Suppose 0*j = 2*j - 2920. Let n = j + b. Is n composite?
True
Let q be 0 + 4 - (-24)/(-6). Suppose 4*x = -3*h - 0*h + 13345, q = -5*x - 4*h + 16681. Is x composite?
True
Let m(d) = -d + 13. Suppose 4*b + b = 55. Let j be m(b). Suppose -5*u + 2202 = q + 3*q, -1102 = -j*q - 2*u. Is q composite?
True
Suppose -3464*x = -3493*x. Suppose 4*j = -w + 24, -5*j + 2*w + 21 = w. Suppose -5*b + q + 9746 = x, 0 = -j*q - 5. Is b composite?
False
Let s = 14902 + -4257. Is s a prime number?
False
Let o(s) = 129*s**2 + 3*s - 7. Let r(a) = -3*a + 41. Let g be r(12). Is o(g) prime?
False
Let r(l) = 26*l**2 - 4*l - 5. Let w be r(-10). Suppose -q = -4*x + 2099, -5*x = 3*q - 2*q - w. Suppose -x = -b - 33. Is b composite?
True
Let p(w) = 0*w + 0*w + 2*w - 6*w. Let o be p(-1). Suppose -o*a + 14*a = 1450. Is a a prime number?
False
Let t = 47 + -42. Suppose 9976 = 3*c + t*c. Is c prime?
False
Is (-797297)/(-5) - 4 - (-11)/385*-14 composite?
True
Let z be 56/40 + (-5416)/(-10). Suppose -3 + 0 = 3*m, 2*d = -5*m + z. Is d a prime number?
False
Let r(x) = 96*x**2 - 333*x - 628. Is r(83) a composite number?
True
Suppose -20*s + 17*s = -4*h - 31694, 5*h = -4*s + 42300. Let y = s - 7181. Is y a prime number?
True
Let y(z) = 44*z - 45. Let d be y(19). Suppose -4*n + d = -2*n - p, -4*p = 20. Suppose 0 = 4*u - 3443 - n. Is u a composite number?
True
Suppose 0 = -112*k + 116*k - 40224. Suppose -k = -h + 5039. Is h a prime number?
False
Suppose 25 = -2*y + 7*y. Suppose -y*b - b = -5*b. Suppose -5*l + 2*q + 233 = b, -3*l + 136 = -0*l - 5*q. Is l a composite number?
False
Let y(m) = -134*m**3 - 18*m**2 + 98*m + 977. Is y(-9) a composite number?
False
Suppose 308 = 2*u + 1572. Let d be ((-4)/3 + 2)*(-5 - u). Suppose -5*p + 898 = 3*r, -2*r = 2*p - d + 58. Is p a composite number?
False
Let n(g) = -214407*g + 2698. Is n(-3) a composite number?
True
Let o(h) = 15*h**3 + 44*h**2 - 6*h - 224. Is o(21) a prime number?
False
Let b be (-3)/(9/8*(-8)/(-12156)). Let n = 6001 + b. Is n composite?
False
Let i(m) = 42*m + 61. Let r be i(32). Suppose 6*a - 3917 = r. Is a a prime number?
True
Let r = -7980 + 13976. Suppose -r = -8*b + 20876. Is b composite?
False
Let l(c) = 669*c**2 + 2*c - 4. Suppose 3*w = w + o + 5, 2*o = 5*w - 12. Let d be l(w). Is d/14 + 3/(-21) composite?
False
Suppose 9*g + g - 10910 = 0. Suppose s = 500 + g. Is s a prime number?
False
Is (-3)/(15/(-560890))*-4*(-6)/48 prime?
False
Suppose 7*h - 2257668 = -10*h + 10809331. Is h composite?
True
Is 7 + -3100*((-305)/25 + -1) composite?
False
Suppose 23*m + 238248 - 664673 = 835976. Is m prime?
False
Let j(s) = 18*s**2 + 20*s - 85. Let l be 5 - 1 - (8 - 12). Is j(l) prime?
False
Let y = 28 - 35. Let c = y - -28. Suppose c*v = 17*v + 1796. Is v a composite number?
False
Suppose b + 2*x = 51577, -3*b + x = 6*x - 154731. Is b prime?
True
Suppose 51*v - 3619524 + 1457560 = 23*v. Is v prime?
True
Let d(t) = -2297*t - 95. Let f be d(-7). Suppose 4*l - 3*n = 21277, 0 = l + 2*l + 3*n - f. Is l prime?
True
Let q = 13537 + -9630. Is q composite?
False
Let i = -3140 - -19269. Is i a prime number?
False
Let l = -110217 - -248351. Is l composite?
True
Suppose 4*f - 2688 = -0*f. Let m(u) = -43 + 683*u - 3*u**2 + 5*u**2 - f*u. Is m(12) prime?
False
Let n(r) = 652*r**2 - 116*r + 2851. Is n(37) a composite number?
True
Let n be (-768)/18*(-81)/2. Let x(u) = 35*u**3 - 2*u**2 + u + 1. Let v be x(-2). Let p = v + n. Is p a composite number?
False
Suppose 14*g = 1934 + 2630. Let p(a) = -g*a + 5 + 58*a - 15. Is p(-2) composite?
True
Let a be (-1)/3*19/((-133)/42). Suppose 0 = a*u - 6, 0 = -l - 3*l + 5*u - 15. Is (-3)/((-12)/148) - l prime?
True
Suppose -68*n - f = -66*n - 156081, 4*n + 5*f = 312147. Is n composite?
True
Let t(n) = -3*n**2 - 16*n + 17. Let o(x) = 4*x**2 + 17*x - 18. Let y(m) = -4*o(m) - 5*t(m). Let u be y(10). Suppose 3*j + 1228 = u*j. Is j a composite number?
False
Let l be 720/(-168)*(-11179 + 0/(-1)). Is (14 - l)*(-2)/16 composite?
False
Suppose 4*u = 16*a - 13*a + 740645, -5*a = -3*u + 555492. Is u a prime number?
False
Let l(b) = -b**3 - 24*b**2 - 2*b - 50. Let q be l(-24). Is q/(-5)*220/(-16)*-194 a prime number?
False
Let i(p) = 430*p - 107. Let b = -735 + 754. Is i(b) a prime number?
False
Suppose 0 = 2*b - 2*l - 17008, 69*l = -8*b + 70*l + 68011. Is b a prime number?
True
Let o(v) = 5*v**3 - 4*v**2 + 4*v. Let k = 32 + -28. Let u be o(k). Suppose -l + u + 129 = 0. Is l prime?
True
Let n = -13 + 0. Let p = -20 - n. Is (-15)/(-35) - 3490/p a prime number?
True
Let v = -26 - -11. Is 3/v - (-11958)/15 composite?
False
Let n be (3*(-4)/36)/(4/395196). Is 1/((-63)/14) + n/(-9) prime?
True
Let b be (-16)/56 - 30/(-7). Suppose 0 = 3*s + 2*v - 2823, -3*s + b*v + 2823 = -0*s. Is s composite?
False
Suppose -2 = -r, 40*r + 354927 = 5*i + 41*r. Is i a composite number?
True
Suppose 5*b - 19 = 1. Suppose 0 = -3*t - 0*t + 4*u + 8813, b*t + 2*u = 11714. Suppose 6*q - 15045 = -t. Is q a composite number?
True
Let m(i) = -535*i**3 - 5*i**2 - 4*i - 13. Is m(-8) a prime number?
False
Suppose -1336895 = -21*a + 969178. Suppose 3*v = -8*v + a. Is v composite?
True
Let w be ((-1)/6*4)/(1/3). Is w/3*(17490/(-12) - -7) a composite number?
False
Let u = 93 + -88. Suppose s + 1099 = 2*s + b, -1083 = -s - u*b. Is s prime?
True
Suppose 0 = -2*u - 5*k - 0*k + 18, -4*k + 20 = 2*u. Suppose -4*a - 6790 = -u*a. Is a composite?
True
Is ((-9597)/12)/((-280)/(-32) - 9) prime?
False
Let y be (-4)/(38013/(-7603) + 5). Is (6/4 - 2)*(y - 8) composite?
False
Let r = -1161120 + 1949161. Is r a prime number?
True
Is 1/(13/(12 + 555790)) prime?
False
Let j(t) = 6*t**2 - 198*t - 11369. Is j(-48) composite?
False
Is (-36 + 52 + -15)*(26795 - 1*-2) a composite number?
True
Suppose -5*o = 2*r - 25, -2*o - 11 = 7*r - 2*r. Suppose 47559 = o*t - 75074. Is t a composite number?
False
Suppose 4*u - 16080 = 4*v + 35048, -5*u - 4*v + 63901 = 0. Is u prime?
True
Let k be -15*8/(-200) - (-207)/5. Let u = 91 - k. Let z = 2368 + u. Is z composite?
False
Let x = 2316 + -1639. Is x a composite number?
False
Let o(