s q prime?
True
Suppose 3*j - 591911 = -13*l + 8*l, 3*j = 3*l - 355185. Is l composite?
False
Let v = -26325 - -66300. Suppose -5*g = 5*r - v, -13*g + 31978 = -9*g + 3*r. Is g composite?
False
Let v = 3103 + 34700. Let m = v - 25580. Is m a composite number?
True
Let a(r) be the second derivative of -3*r**3/2 + r**2/2 - 5*r. Let d be a(-1). Is (-2 - (-6)/d)*-2995 a composite number?
True
Let w be 1/6*52*3*16993. Suppose 13*g = 39*g - w. Is g a prime number?
True
Let i = 29746 - 16589. Is i composite?
True
Let d(f) = 3315*f + 25. Let u be d(2). Let m = 402 + u. Is m prime?
True
Suppose -73*o + 32*o + 38*o = -25791. Is o a composite number?
False
Let p = 24 - 20. Suppose 0 = -2*l + 2, -l + 1 = -4*n + p. Suppose 0 = 2*v + 3*x - 1900, 1 = x - n. Is v a composite number?
False
Suppose -3*n + 5*n - 3338 = 0. Suppose 5*z = -3*c - 388 + n, -428 = -c - 2*z. Is c a prime number?
False
Suppose 0 = -5*u + r + 353, -3*r + 77 = 3*u - 2*u. Let g = -71 + u. Suppose 0 = -g*q + q - 1199. Is q a prime number?
False
Suppose -559828 = -71*l + 266010 + 1056159. Is l a prime number?
False
Suppose 44*p - 107*p + 68510365 = -8*p. Is p composite?
True
Suppose 28*h = -31*h - 13*h + 2391624. Is h a composite number?
True
Suppose -10890*p - 62063345 = -10907*p. Is p a prime number?
False
Suppose -279*v = -298*v + 1849973. Is v a composite number?
False
Let p(b) = b**3 - 2*b + 1867. Let r(m) = -3*m**3 + 5*m**2 - 6*m - 4. Let f be r(3). Let c = 58 + f. Is p(c) a composite number?
False
Is 636/(-848) + (-840430)/(-8) composite?
True
Let a(k) = 111080*k**2 + 113*k - 459. Is a(4) a composite number?
True
Let l(i) = 506*i**3 + 8*i - 5. Let b be l(2). Suppose 0 = 14*z + b - 14097. Is z prime?
False
Let h = 226647 - -20590. Is h composite?
True
Let j = 2047137 - 1245491. Is j a composite number?
True
Suppose -3*p + 4*a + 14 = 0, -1 = p - 3*a - 9. Suppose -5*l - p + 17 = 0. Suppose 0 = l*r - 3, -3*x + 0*x + 12582 = 3*r. Is x a prime number?
False
Let u be ((-14118)/21)/1 + (-2)/(-7). Suppose 0 = -r - r - 2*q + 2456, 4919 = 4*r - 3*q. Let p = u + r. Is p prime?
True
Let s(y) = -2*y - 16. Let v be s(-9). Is v/(-14) + 36912/7 composite?
False
Let t(i) = i**2 + 3*i + 3. Let s(l) = -2*l**2 - 4*l - 2. Suppose 0*u + 10*u + 20 = 0. Let g(x) = u*s(x) - 3*t(x). Is g(-7) a prime number?
False
Let x(q) = 8296*q**2 + 3*q - 11. Let s be x(4). Suppose -15*o + s = 53702. Is o a composite number?
True
Let h be (-19 + 17)/(1/2). Let l(m) = -26*m**3 - m**2 - 3*m - 3. Is l(h) a prime number?
True
Let h(y) = -y**3 - 18*y**2 - y - 19. Let m be h(-18). Let z(q) = 4607*q**2 + q + 1. Is z(m) composite?
True
Let a(l) = 2187*l - 71. Let w(r) = 2186*r - 71. Let k(u) = 5*a(u) - 6*w(u). Is k(-4) prime?
False
Let l = 5 - -2. Suppose -l*t = -4*t + 219. Let b = t + 110. Is b a composite number?
False
Suppose -j - 506 = -5*w, 0 = -3*w + 6*j - 2*j + 307. Suppose 3308 + w = 7*x. Is x a prime number?
True
Let n = -9319 - -72496. Is n prime?
False
Is (1/(-2))/(6*(-10)/29554680) a composite number?
False
Let h = 2889 + -863. Let r(u) = 2063*u**2 - h*u**2 + 6*u + 2*u - 43 - u. Is r(7) a composite number?
True
Let i(v) = -2*v**2 - 11*v - 11. Let w be i(-3). Suppose 3*g - w = 11. Is (10/6)/g - 40670/(-21) a composite number?
True
Suppose 3*g = -7*g + 6250. Let r be (-2868)/(-27) + (-4)/18. Let o = g - r. Is o a composite number?
True
Suppose -o = 2*b - 13, 1 = 4*b - 3*o - 0*o. Suppose -2*y - d + 4 = 0, -y - 5*d + 6 - b = 0. Is y/(640/319 + (-3 - -1)) composite?
True
Let w(m) = 34*m**3 - 6*m**2 - 12*m - 36. Let q be w(-5). Let j = q + 13261. Is j prime?
False
Suppose -m = 0, -4*w + 3*m - 6764 = -8*w. Let v = -292 + w. Is v a composite number?
False
Let h be (24/(-42) - 176/(-14)) + -3. Let c be (42/35)/(h/30 - 0). Suppose c*q - 1831 = -s, -3*q - 9994 = -5*s - 908. Is s a composite number?
True
Suppose 4*y - 121 = 3*k - 1244, 2*k - 5*y = 737. Suppose -17*g = -18*g + 74. Let s = k - g. Is s prime?
True
Let z = 54 + -47. Let y be 9*-1*(z + 154/(-21)). Suppose 905 = -y*q + 8*q. Is q a prime number?
True
Suppose -58*w + 55*w - 95204 = -4*k, -2*k - 2*w = -47602. Is k composite?
False
Let t(h) = h**2 + 2*h - 3. Let x be t(0). Let w(o) be the third derivative of -3029*o**4/24 + 2*o**3/3 - 12*o**2. Is w(x) a prime number?
True
Suppose v - 13563 - 44278 = 0. Let z = -37980 + v. Is z a prime number?
True
Suppose 5*v - 2272 = -i, -7*v = -9*v + 3*i + 919. Suppose -2*m + 227 = 2*x + 59, -5*x + 2*m + v = 0. Is x a composite number?
False
Suppose -1648*f = -1643*f - z - 6784, 6814 = 5*f + 4*z. Suppose 0 = -3*h - 5*w - 3 - 16, -h = -2*w - 12. Suppose 3560 + f = h*k. Is k a composite number?
False
Suppose 15 = 4*f - 9*f, 42 = l - 4*f. Suppose -93 = -3*m - 4*n + 2*n, 0 = m + n - l. Suppose 27*j + 5190 = m*j. Is j a prime number?
False
Suppose -5*t = 3*b + 7, -3 + 4 = -5*b - 3*t. Let k be 4363*2/2 - (b + -4). Suppose -k = -9*s - 1729. Is s a composite number?
False
Let t be 152/57*6/8. Suppose 0 = 7*v - t*v - 30. Suppose -v*g + 1305 = 447. Is g composite?
True
Suppose 51068735 = 658*p - 209965040 - 78127719. Is p prime?
False
Let b = 486 + 2177. Let r = b + -330. Is r prime?
True
Suppose -122825 = -43*a + 128252. Is a a composite number?
False
Is (-31)/(2511/1660878)*3/(-2) composite?
False
Suppose -3*n + 2*p + 34 = 0, -n + 2*p = -2*n - 2. Let a(k) be the first derivative of k**4/2 - 7*k**3/3 - 2*k**2 + 7*k + 133. Is a(n) prime?
False
Let r(s) = s**2 - 7*s - 14. Let i be r(9). Suppose -3*f = 2*o - i - 16, -5*o = 3*f - 32. Is (-1 - -4) + (o - -75) a composite number?
True
Let b be (-52)/39*(-9)/4. Suppose 4*l + 0*l = -b*c + 12327, 2*l - 6 = 0. Is c prime?
False
Let z(a) be the third derivative of a**6/180 + 17*a**5/120 - 2*a**4/3 + 2*a**3/3 + 16*a**2. Let m(i) be the first derivative of z(i). Is m(14) composite?
True
Let a(o) = o**2 + 6*o - 13. Let w = 42 + -50. Let u be a(w). Suppose 426 = 2*p - u*h, 2*h + 220 + 206 = 2*p. Is p a prime number?
False
Let l(c) = -3*c**3 - c**2 - 2*c - 1. Let p be l(-1). Let t be 6/27 + (-2)/18*-43. Suppose -t*m = -p*q - 3*m + 8993, 0 = -3*m - 12. Is q prime?
False
Let v(q) = -2*q**2 + 12*q + 6. Suppose n + 31 = 2*n + 5*f, -2*n + 4*f = 8. Let b be v(n). Is 3/b*2626 - -2 prime?
False
Let a(q) = q - 1. Let b(i) = 4*i - 17. Let r(x) = 5*a(x) - b(x). Let o be r(-10). Is (o + 2018/4)*4 prime?
False
Let l(m) = -9770*m + 534. Is l(-2) composite?
True
Let k = 152 + -145. Suppose 8 = -k*p + 1. Is (1468/8)/(2/(p - -29)) a prime number?
False
Let o(t) = 8 + 9*t**2 + 16 - 5 - 12*t - 3*t. Is o(11) composite?
True
Let b be 6 - (12/(-9))/(6/9). Suppose 2*i - 670 = -4*a, 4*a + 8 + b = 0. Suppose -4*m + 4 = -3*m, t - m - i = 0. Is t a prime number?
True
Suppose 0 = -4*q - 5*c + 152, 21 = -37*q + 38*q - 3*c. Is (22/q)/((-2)/(-16755)) composite?
True
Suppose -1249684 = -2*i + 5*z, 0 = -4*i + z + 1134787 + 1364527. Is i prime?
False
Let l(w) = 2*w**2 + 1. Let i be l(-1). Suppose 5*y + 508 = 2*k - 721, -3*k - 729 = i*y. Let j = y - -832. Is j prime?
True
Let v = 181760 + -104959. Is v composite?
False
Let y(i) = 11255*i - 56. Let n be y(-5). Let a = 84254 + n. Is a a composite number?
True
Suppose 4*h - 9 = h. Suppose 2*u = -h*g + 84, 3*g + 189 = -u + 6*u. Is u a prime number?
False
Let i(h) be the first derivative of 29*h**6/40 - h**5/60 + 7*h**3/3 - 12. Let g(o) be the third derivative of i(o). Is g(1) composite?
True
Let n(a) = -14*a + 5 - 8*a - a. Suppose 1 = -x - 3. Is n(x) prime?
True
Let n = 13 - 11. Let l(h) = 338*h - 11. Let x be l(3). Suppose o = 5*m - m + x, 5*o - n*m = 4961. Is o composite?
False
Let t = 16235 - 2552. Suppose t + 63878 = 11*z. Is z composite?
True
Let p(v) = -3*v**2 + 8*v - 10. Let z be p(2). Let c(h) = 6*h + 3*h - 2*h - h**2 - h**3 - 12*h + 3. Is c(z) prime?
False
Let u = -400245 + 605366. Is u a composite number?
True
Is (445/(-30))/(25/(-86550)) prime?
False
Let l(z) = z**3 - 5*z**2 + 8*z - 8. Let j be l(4). Let r(g) = j*g**2 + 16 - 16*g - 18 - 25. Is r(-11) composite?
False
Let d(l) = 63*l**2 - 18*l + 37. Let y be d(-18). Suppose 0 = -6*z + 2885 + y. Is z prime?
True
Let y(u) = 175*u**2 + 4*u + 3. Let r be y(-3). Suppose -r = 2*m - 0*m. Let j = m - -1825. Is j prime?
False
Let v(m) = -23455*m + 28. Is v(-1) prime?
False
Is (5 - (-33860 - -6)) + -8 a composite number?
False
Suppose -8*y = -7*y. S