 s be (-21)/(-12) + r/(-12). Let p = s - -20. Is p a prime number?
False
Let j = -45817 + 65004. Is j a prime number?
False
Let w(z) be the first derivative of z**4/4 + 2*z**3/3 + 5*z**2/2 + 14*z + 7. Let b be w(6). Suppose 4*j + 0*j - b = 0. Is j a composite number?
False
Suppose -9*z - 88829 = -12*z + 4*w, 0 = 4*z - 3*w - 118448. Is z a prime number?
False
Suppose 91*x - 84*x - 26327 = 0. Is x composite?
False
Let w(z) = 8*z + 4. Let x be w(4). Let s be 8/x + 22/(-18). Is (67*s)/(7 + -8) composite?
False
Let q(v) = 4*v**2 - 16*v + 4. Let y be q(4). Is 1784 + (1 - (y - 0)) prime?
False
Let x(y) = y**2 - y - 9. Let o be x(-3). Is 502*(12/o)/8 composite?
False
Suppose 8*d - 883 = -5*x + 4*d, 0 = -4*x - 3*d + 706. Let y = x - 86. Is y a composite number?
False
Let x be (1524/(-14))/(13/(-91)). Let j(i) = 59*i + 43. Let f be j(8). Let c = x + f. Is c prime?
True
Suppose -i + 10*i - 48114 = 0. Suppose 3*v - y + i = 7*v, 3*y = 4*v - 5354. Is v a prime number?
False
Suppose -3*k = 5*k - 1336. Let v = 140 + k. Is v composite?
False
Let w = -2 + 5. Suppose 15 = w*g - 0. Let v(k) = k**3 - 3*k**2 + 3*k - 7. Is v(g) composite?
True
Let i = 0 + 3. Suppose -v = 8 - 3, -i*a - 4*v + 154 = 0. Is a a composite number?
True
Let o(q) = -7*q**2 + 7*q + 3*q**3 - 31 + 6*q - 2*q**3 - q. Is o(7) a prime number?
True
Let w(z) = 5*z - 22. Let v(d) = -d - 1. Let l(t) = 3*v(t) - w(t). Let j be 17*((-2 - -2) + -1). Is l(j) composite?
True
Let o(x) = 2*x - 1. Let l(m) = -m**2 + 7*m + 10. Let r be l(8). Let p be o(r). Suppose -4*y - 4*v = -130 - 22, -v + p = 0. Is y composite?
True
Let u(j) = -139*j + 31. Is u(-30) composite?
False
Suppose u + 2*q = 480, -4*u + 5*q + 1907 = -0*u. Suppose -5*h + u = 18. Suppose 6*i - 334 = h. Is i a prime number?
True
Let h be 16/2*14/28. Let t(k) = 29*k**3 - 6*k**2 - 2*k + 25. Is t(h) a composite number?
False
Suppose 20*f = 27*f - 8057. Is f a composite number?
False
Let l(v) = -56778*v**3 + 4*v**2 + 5*v. Is l(-1) prime?
False
Let m = -4410 + 8317. Is m a prime number?
True
Suppose 0*q = -4*o - 3*q, 0 = -o + 2*q. Suppose 0 = l - 2*x - 1141, o = -8*x + 7*x. Is l prime?
False
Suppose 0*f - 2*u - 1340 = 2*f, 0 = -5*f + u - 3320. Let b = f + 1134. Is b a composite number?
True
Let k(z) = -2*z**2 - 5*z - 7. Suppose 9 = -3*a, -3*r - 2*r = -3*a + 6. Let x be k(r). Is (-5)/(x/(-4)) - -15 a prime number?
True
Let g be (-10)/(((-24)/(-1107))/4). Let k = g - -5110. Is k composite?
True
Suppose 4*z - 130 = -z. Let y be z/10 - 2/(-5). Is 2 - ((y - 0) + -116) a composite number?
True
Suppose -k = 3*o - 15, 4*k + 4 - 29 = -5*o. Suppose 5*z + m - 15316 = k, -5*m = -5*z - 0*m + 15310. Is z a composite number?
True
Suppose 2*j - j + 3*k + 19 = 0, j + k = -13. Is (-1827)/(-15) - 2/j a prime number?
False
Let y(q) = -q**2 - 2*q + 1. Suppose -u - 8 = 3*u. Let l be y(u). Is (l + 12/(-8))*-38 a composite number?
False
Let v be 15*(-1)/(10/(-4)). Let f(u) = 25*u**2 - 2*u + 3. Let h be f(8). Is v/9*h/2 a composite number?
True
Let l(q) = -q**2 - 5*q + 1. Let r be l(-6). Let u be r/(-10)*0/(-2). Suppose 3*m + 0*m - 141 = u. Is m a composite number?
False
Suppose -4*j - 5*l + 72103 = 7758, -3*j - l + 48256 = 0. Is j composite?
True
Let f = 2 + 0. Is (6/(-12))/(f/(-1588)) a prime number?
True
Let r(a) = 1317*a + 88. Is r(15) a composite number?
False
Let b(x) be the third derivative of -x**5/60 - 7*x**4/24 - 5*x**3/6 + 3*x**2. Let w be b(-2). Suppose 189 = w*j - 86. Is j prime?
False
Let d(y) = y**2 + 2*y - 1. Let x be -1 + -2 - 5*-2. Suppose -5*f - x = -5*r + 4*r, -5*r + f = 37. Is d(r) composite?
False
Is 5*2/(-4)*66758/(-145) composite?
False
Suppose -9*j + 11*j = 12. Let v(s) = 52*s - 10. Is v(j) a prime number?
False
Let k(z) = -3*z**3 + 11*z**2 - 46*z + 67. Is k(-23) prime?
False
Let p(i) = 386*i + 705. Is p(50) prime?
False
Is (-8 - 3019)*(-185)/15 prime?
False
Let f = -10 - -11. Let k be (-12)/9*(-2 - f). Suppose 3*d - 1194 = 2*h - 5*h, 3*d - 1173 = k*h. Is d a prime number?
False
Let t be -102*((-75)/10 - -4). Suppose v + t = 2966. Is v a prime number?
True
Suppose 5*r - 32 = -7. Suppose -4*d - 12 = 0, 0 = -r*j - d + 93 + 964. Suppose 3*y - 5*y = -j. Is y a prime number?
False
Is 2/(-6)*-1*(-314304)/(-64) a composite number?
False
Let b be (11/(-33))/((-2)/18). Suppose -3*n = -2*d + 3*d - 634, 0 = b*n - 5*d - 628. Is n composite?
False
Suppose -5*c - 244*g = -242*g - 409229, c = -4*g + 81835. Is c composite?
False
Let u(z) = -z + 4. Let q be u(0). Suppose -q*r = 2*s - 1717 - 2895, -5*r + 5775 = 5*s. Is r a composite number?
False
Let i = -615 - -838. Is i a prime number?
True
Suppose 3*t - 2*y - 74 = 3*y, 30 = t - 3*y. Is ((0 - 1)*1)/(t/(-24498)) prime?
True
Suppose -h + 5 = -0. Suppose -h*b = -194 + 684. Let u = b - -365. Is u prime?
False
Suppose 3*s + 612 = -6*s. Let u = s - -231. Is u prime?
True
Suppose -5*q = -2*h - 3*h + 28180, 0 = -2*q + 6. Is h a composite number?
False
Is (0 + (-12490)/25)/(4/(-10)) a prime number?
True
Suppose -24 = -5*u - 2*t, 9 = 2*u - u - t. Is (-4)/u + 3 + (-5448)/(-18) composite?
True
Let j = 23 - 20. Suppose 0 = j*a - 6*a. Suppose a = l - 5*l + 204. Is l composite?
True
Is 6/1 - (-8356 + -7 - -2) prime?
False
Is -1889*(-4 - (5 + -8))*1 a composite number?
False
Let h(z) = 232*z + 16. Let i be h(-8). Let w = -1211 - i. Is w prime?
False
Let f = -6 + 9. Suppose 9 = n + f*j - 0, -2*n + 2*j = -10. Suppose -s = -n - 9. Is s a composite number?
True
Suppose -74 = -37*t + 35*t. Is t a composite number?
False
Let j(d) = 51*d**2 + 5*d + 3. Let t(n) = -255*n**2 - 26*n - 16. Let z(p) = 11*j(p) + 2*t(p). Is z(3) a prime number?
False
Suppose 0 = t - 1 + 8. Let f(g) = 7 - 7 - 5 + 14*g**2 - 21*g**2 - g**3 - 6*g. Is f(t) composite?
False
Let j = -2 - -2. Let q = 4 + j. Suppose -q*v - 2*l = -l - 224, 16 = 4*l. Is v composite?
True
Suppose 33*p = 21049 + 5054. Is p composite?
True
Suppose 3*h = 5*w + 25, -1 = h + 4*w + 19. Suppose 0 = -3*t + t - n - 90, t + n + 46 = h. Let f = t - -77. Is f a composite number?
True
Suppose 5*s = -4*o + 127817, -3*s = -3*o + 68878 + 26978. Is o a prime number?
False
Suppose -5*r + 32 - 2 = 0. Is 12642/30 + r/10 prime?
False
Let z(c) be the first derivative of 5*c**4/12 + c**3/2 + 5*c**2/2 + 5*c + 7. Let n(b) be the first derivative of z(b). Is n(-2) a composite number?
False
Let j be ((-6)/2 - (-12 - -171))/1. Let s = -68 - j. Is s composite?
True
Suppose 6*w - 43 + 13 = 0. Suppose -3*u + 6*u = d + 11, 18 = w*u - 2*d. Suppose 0*a - a - 1596 = -2*z, -2399 = -3*z + u*a. Is z composite?
False
Suppose 4*i + 55 = 5*p, -p + 5*i = -39 + 7. Suppose 8*a - 2789 = p*a. Is a a composite number?
False
Let q(s) = s**3 - 2*s**2 - 5. Let g be q(3). Let k(u) = -u**3 + 3*u**2 + 4*u + 4. Let r be k(g). Suppose r*j - 3*j = 177. Is j prime?
False
Let r = -9 - -12. Suppose -1 - 2 = -r*u. Is -2 - u - (1 + -23) a composite number?
False
Suppose 3*k - 40 = k. Let n(b) = 2 - 13*b + 68*b**2 - 10*b + k*b. Is n(1) a composite number?
False
Suppose -f - 2*x + 1496 - 320 = 0, 5*f = -2*x + 5888. Suppose -29*c + 31*c = f. Is c a composite number?
True
Let a = -9573 - -17362. Is a composite?
False
Let u(v) = 23*v**3 + 16*v - 71. Is u(4) prime?
False
Let s(m) = -2*m**3 - 15*m**2 + 7*m - 13. Let l be s(-8). Is (-4697)/(-35) - (-1)/l composite?
True
Suppose z - 3*z = -6. Is z*((-400)/(-15) + -3) prime?
True
Let n(k) = -k**2 - 2*k**2 - 3 + 3*k**3 + 3*k + 5*k**2 - 4*k**3. Let x be n(2). Suppose 0*o + x*f - 138 = -2*o, -o + 69 = 4*f. Is o a composite number?
True
Let x(q) = -q**2 - 2*q - 6. Let a be x(-5). Let d = 24 + a. Suppose 2*u + d*u = 4435. Is u prime?
True
Let q(w) = w**3 + 21*w**2 - 4*w - 9. Is q(-20) composite?
True
Is 527/(-6 + 7) + 6 composite?
True
Let d be 1 + (5 - -1) + (36 - 38). Suppose 2*t + 2*b - 6 = 0, 4*b = -7*t + 2*t + 14. Suppose 496 = 2*x - 2*l, -t*x - l = -d*x + 754. Is x a composite number?
True
Suppose -o - 5*k + 6215 + 1966 = 0, 0 = -5*k - 10. Is o a composite number?
False
Let m(r) be the third derivative of 25*r**4/8 + 5*r**3/6 - 5*r**2. Let d be m(6). Suppose -7*u + d = -2*u. Is u a composite number?
True
Suppose 17041 + 31999 = 16*s. Is s a prime number?
False
Suppose 5*f - 943 = -8*o + 5*o, -5*f + 975 = -5*o. Is f composite?
False
Let i = -52 + 295. Let x = i + -587. Is 14/(-63) + x/(-9) a composite number?
Tru