Is k a composite number?
False
Let h(i) = 35*i + 1. Let j(p) = p**2 + 3. Let t be j(0). Is h(t) a prime number?
False
Suppose 3*m + m - q - 475 = 0, -5*q = 4*m - 481. Suppose -t - m = -2*t. Is t composite?
True
Let g = 2 - -2. Suppose 304 = -0*j - g*j. Is (-6)/(4/(-2)) - j composite?
False
Let y be -7615 - 2*6/4. Is 6/(-4)*y/39 composite?
False
Suppose x = 2*x + 4. Is x - (-3)/(6/178) prime?
False
Let k(m) = 3*m**2 - 4*m. Let f be k(3). Suppose u - f = 5*p, u = -2*u. Is ((-1)/(-2))/(p/(-942)) a composite number?
False
Suppose -r + 16 = 3*l, -3*r + 0*r + 16 = l. Suppose -r*g = -g - 4*s - 41, 56 = 4*g - 4*s. Is g a prime number?
False
Let h(o) = -5*o - 10. Let m be h(-10). Suppose 5*a - m = 250. Let j = a - 27. Is j a prime number?
True
Suppose 4*h = 5*d - 11221, -4*h + 2*h + 2 = 0. Is d prime?
False
Suppose 3*t = 2*t + 12. Let d = t - -47. Is d a composite number?
False
Let t(r) = 25*r**3 - 3*r**2 + r + 5. Is t(4) a composite number?
True
Let s = 2 + 19. Is s a prime number?
False
Let r(q) = 14*q + 4. Let c be r(-4). Let s = 175 + c. Is s a prime number?
False
Suppose 0 = d - 3*d. Suppose d = -3*p - 12, -4*o - 40 = -0*p + p. Let g(w) = w**2 + 4*w + 2. Is g(o) composite?
False
Let r(g) = -132*g**2 + 2*g. Let y = 0 - 3. Let t be r(y). Is (-4)/10 + t/(-10) prime?
False
Let i = -33 - -17. Let v = -3 - i. Is v composite?
False
Suppose -i + 8*w - 4*w + 15 = 0, 23 = 3*i - w. Let p(b) = -i*b + 2*b - 2*b - 4 + 6. Is p(-5) composite?
False
Suppose 2*d = -3*d. Let f(y) = -3*y**2 + d*y**3 + 2*y + 0*y**2 + 4 + y**3. Is f(3) prime?
False
Let s = -25 - -17. Let z(w) = -31*w + 9. Is z(s) a prime number?
True
Is -31 + 26 + 3272/2 a composite number?
True
Let r(s) = -3*s**2 - 3*s + 3. Let m be r(2). Let d be -1625*(51/m - -3). Suppose 162 + d = 4*b. Is b a prime number?
False
Let a = -12 + 6. Let r = 9 + a. Suppose 4*g + 377 = 3*m, -610 = 2*m - 7*m + r*g. Is m a composite number?
True
Let y(w) be the third derivative of w**6/120 + 7*w**5/60 + w**4/8 - 4*w**3/3 + 3*w**2. Is y(-6) a prime number?
False
Let f = -2 - -6. Is (2 + -8)*(-14)/f composite?
True
Let m be (2/(-5))/(6/(-30)). Let d(q) = 5*q**3 + 2*q**2 - q. Let v be d(-5). Is (-1)/m + v/(-12) composite?
False
Let g = -4 + 7. Suppose g*q + 3*k - 414 = 0, -q - k + 404 = 2*q. Is q prime?
False
Let s(l) = -2*l**2 - 4*l - 4. Let z be s(-3). Let i = 49 - z. Is i composite?
False
Let h = 7 + -7. Suppose 2*j - 110 = -h*j. Is j prime?
False
Suppose 4*s + 2 = 3*k, -s + 12 = 4*k - 4*s. Suppose 3*o - 1 = -10. Let i = o + k. Is i prime?
True
Suppose 107 = 5*m - 278. Is m composite?
True
Suppose 3*o + 3*m + 0*m - 165 = 0, -4*o = -2*m - 244. Is o a prime number?
True
Let j(d) = -d**3 - 11*d**2 - 11*d + 13. Let f = -20 + 10. Is j(f) prime?
True
Is (1/(-2))/(6/(-3972)) a composite number?
False
Let z(v) be the second derivative of v**4/12 + 5*v**3/6 - 5*v**2 - 2*v. Let w be z(-7). Let g(l) = 10*l - 5. Is g(w) a prime number?
False
Is (-3)/4 - ((-15825)/(-12))/(-5) composite?
False
Let r(s) = s**3 + 6*s**2 + s - 4. Let y(l) = l**3 + 2*l**2 - 2*l - 1. Let k be y(-3). Let g be r(k). Let p = g + -3. Is p composite?
True
Suppose -2*f + 10 = 3*f. Suppose -815 = -5*i - 5*q, 2*q - 2 = f. Is i a composite number?
True
Let z be (-30)/(-4) - (-5)/10. Suppose -4*r - 1484 = -z*r. Is r a composite number?
True
Let m(o) = 20*o - 3. Let d(f) = f + 14. Let v be d(-10). Is m(v) a composite number?
True
Let v(y) be the third derivative of y**6/40 + 2*y**2. Let l be v(1). Suppose -w = 3*b - 22, -l*b = -3*w + 38 + 16. Is w a composite number?
False
Suppose -5*n - 536 + 1805 = -2*c, 4*c = -n + 267. Is n/3 - (0 + 0) a prime number?
False
Let g = -3 - -3. Is -1 - (g + -9 + 2) prime?
False
Let b = 4 + -5. Let h(w) = -308*w**3 + w. Is h(b) a composite number?
False
Let i(m) = -m**3 + 14*m**2 - 8*m - 7. Is i(-12) composite?
False
Is 1/((-3306)/(-1101) + -3) a prime number?
True
Let m = 1528 + 781. Is m prime?
True
Let u(f) = -20*f - 9. Let w(r) = r**2 + 2*r - 13. Let c be w(0). Is u(c) a composite number?
False
Suppose 2*x = 3*w - 99 - 5, 5*w - 166 = -4*x. Is w a prime number?
False
Let b(w) = 5*w - w + 4*w**2 + 71 - 2*w - 3*w**2. Is b(0) a composite number?
False
Let y be 44/6*(0 - -3). Let n = -13 + y. Is ((-114)/9)/((-6)/n) prime?
True
Let y(z) be the second derivative of -z**5/10 - z**4/2 - z**3/3 - 3*z**2 + 3*z. Is y(-4) composite?
True
Is 2*2 + (-9180)/(-12) a prime number?
True
Let u(x) = 45*x - 1. Suppose 3*j = -2*j + 35. Suppose 3*r - 6*r + m = -j, r - 3*m = 5. Is u(r) prime?
True
Is (-38)/((-4)/14 + 32/(-84)) a composite number?
True
Suppose 8*n - 646 = -126. Is n a prime number?
False
Suppose 5*h - 45 = 25. Is (h/5)/((-2)/(-10)) a composite number?
True
Suppose 4*y + 5*c - 186 = 0, -128 = -3*y + 4*c - 2*c. Suppose 2*h + y = -18. Let t = h - -65. Is t composite?
True
Let g(s) = -s**2 + 6*s + 9. Let a be g(7). Let x = 4 - a. Suppose -o + 113 - x = 4*m, 5*o - 619 = -4*m. Is o a composite number?
False
Suppose -2*s - 4*s + 1842 = 0. Is s prime?
True
Let v(j) = j**2 + 10*j - 9. Is v(6) prime?
False
Let f = -7 + 7. Suppose f*c - 6*c = -6294. Is c composite?
False
Suppose -5*u = -2*i - 25, -2*u + i = -3*i - 26. Suppose -u*b = b - 8. Suppose p - 5*j = 40, 4*p + j - 137 = -b*j. Is p a composite number?
True
Suppose -2*b + 4*c + 80 = 0, -95 = 3*b - 6*b + c. Let u = b - 6. Suppose -3*y + 86 = -4*o, -y + 4*o = -3*y + u. Is y a prime number?
False
Suppose -4*h - 36 = -q + 29, -2*q + 115 = -3*h. Is q a prime number?
True
Let n(a) = a - 3. Let v be n(6). Suppose -5*w + q + 80 = -0*q, -q = -v*w + 50. Suppose m = 40 + w. Is m a prime number?
False
Let s(h) = 12*h**3 + 2*h**2 - 2*h + 1. Suppose -2*o - 1 + 3 = 0. Is s(o) a prime number?
True
Let s(r) = -3*r**3 - 2*r - 7*r**2 - 7*r - 4 + 2*r**3. Is s(-6) composite?
True
Let m be -240 - (2 - -1 - 2). Let h = -143 - m. Suppose 5*c = -h + 273. Is c prime?
False
Suppose 3*t = -a - 78, -2*a = 4*t - 4*a + 114. Let q be t/5 + (-8)/(-20). Is q + 4 - (-6 + -1) prime?
False
Suppose 0 = d - 3*b - 15, 4*b = -5*d + 2*b + 109. Suppose g - x - d = 4*x, g - 29 = x. Is g a prime number?
True
Is 1/((-4)/(-44) - 0) a prime number?
True
Is 1014/7 + (-4)/(-28) composite?
True
Is (-460)/(-14) - (-5)/35 a prime number?
False
Let p(w) = 31*w. Let b be p(10). Let r = -23 + b. Is r prime?
False
Let k = 1476 - 799. Is k prime?
True
Let h = -11 - -16. Suppose -3 + h = -4*v + q, -v - 3*q = 7. Is (0 - -1)*(48 - v) composite?
True
Let g = 365 + -96. Is g a composite number?
False
Suppose 8*o - 10 = -3*r + 3*o, 5*o = 4*r + 10. Suppose r*y - 3*y = -630. Is (-1)/(-2) + y/4 a prime number?
True
Let p(i) = i + 13. Let a be p(-9). Suppose -8 = -r + 2*l + 6, -32 = -a*r + 2*l. Is (-2)/r + (-40)/(-3) composite?
False
Let s = -446 + 765. Is s a composite number?
True
Is 263 - (4 + 16/(-4)) a composite number?
False
Let i(o) be the second derivative of -o**5/20 + 7*o**4/12 + o**3/2 + 5*o**2/2 - o. Let h be i(4). Suppose -5*w = -180 + h. Is w prime?
True
Is (1044/24)/((-1)/(-2)) a prime number?
False
Let a(d) = -d**2 - 10*d - 6. Let m be a(-9). Let y = -7 + 10. Suppose 188 = 5*w + m*l, -5*l = w - y*w + 69. Is w a composite number?
False
Suppose -3*c = 8 - 2. Let y = c - -6. Suppose -y*v - 79 = -5*v. Is v a prime number?
True
Let n = 39 - 351. Let l = n - -853. Is l prime?
True
Let u be 52/16 - 1/4. Let d(c) = -3*c + 3 + c - u*c - c**2. Is d(-4) a composite number?
False
Let o = -608 - -2515. Is o a prime number?
True
Let d(l) = -l**2 + 6*l - 6. Let x be d(5). Let o(u) = -36*u - 1. Is o(x) prime?
False
Let w = 5 - 1. Suppose -r = 3*r - w. Is 1140/9 + r/3 a prime number?
True
Suppose 2*n - 20 = -4*h + 4*n, -5*h + 2*n + 25 = 0. Suppose -h*x + 5*g + 220 = 0, 103 + 65 = 4*x + 4*g. Is x prime?
True
Let k(l) = l**3 + 2*l**2 - 2*l + 3. Let j be k(-3). Suppose c - 2*s - 1 = j, 5*c - s = -2*s + 27. Suppose -226 = -c*b + 409. Is b a prime number?
True
Suppose -2*i - 3*i = 0. Suppose i = 5*p - 4*j - 340, -5*j = -3*p + 199 + 5. Let l = -21 + p. Is l a composite number?
False
Suppose -4*f + 7*f + 2 = -4*y, f = -5*y - 8. Suppose -153 = -3*x + 3*w, -2*x = -w - f*w - 100. Is x prime?
True
Suppose 0 = -2*j + 6*j - 32. Is (-26)/j*(0 + -20) composite?
True
Let o = 1 - -13. Suppose 0*m = 5*m - 195. Suppose -l + 3*p = 4*l - m, -2*l + 2*p + o = 0. Is l a composite numb