-20 + t. Is b a composite number?
False
Suppose 3*s = -3*q + 2823, 5*q - 3*s + 2321 - 7010 = 0. Let n = q + -622. Is n composite?
False
Let q = 49 + -47. Is (245 - (0 + -4)) + q composite?
False
Let p(a) = -a**2 + 5*a - 4. Let q be p(3). Let o(k) = 2*k**2 + 1 - 5 + k**3 - 7*k**q + 5*k + k**2. Is o(5) prime?
False
Let x = -427 - -722. Is x a prime number?
False
Let k(q) = 75*q**3 + 3*q**2 - 5*q - 3. Let w be k(-3). Let x = -737 - w. Is x composite?
False
Let a(d) = d**2 + 2*d + 3. Let t be a(-2). Suppose 436 + 923 = t*x. Is x a prime number?
False
Let s = -430 - -663. Is s a composite number?
False
Suppose 2*z - 9 = -z. Let n(p) = p**3 - 5*p**2 + 3*p + 1. Let m be n(z). Let c(g) = 2*g**2 + 10*g - 5. Is c(m) a composite number?
False
Suppose -5 = 3*i + 16. Let k(u) = -5*u**2 + 1 + 2*u**3 + 19*u**2 - u**3 + 5*u. Is k(i) a composite number?
True
Let t be (-74)/(-6) - (-4)/(-12). Let v be (-18)/(-15)*30/t. Suppose v*m = -4*q - 2*m + 575, 0 = 2*q + 2*m - 288. Is q composite?
True
Let m be (-7)/(35/(-15))*(-1)/(-3). Let l = -17 - -7. Is (-942)/l + m/(-5) composite?
True
Let x(i) = 3*i**3 - 3*i**2 + 14*i + 26. Let l be x(12). Let n = l + -2367. Is n composite?
False
Let f(v) be the second derivative of 7*v**4/12 - 3*v**3/2 - 3*v**2 - 2*v. Let t be f(8). Suppose -2*g = -0*g - t. Is g a prime number?
False
Suppose 0 = -4*l + 5*n + 52, 0*l + 5*n + 39 = 3*l. Suppose -272 + 2755 = l*r. Is r a prime number?
True
Let l be (-3)/(-12) + (-265)/4. Let i be (-144)/l - (-2)/(-11). Suppose -i*q - 11 = -197. Is q prime?
False
Let x(r) be the first derivative of 467*r**2/2 - 12*r + 11. Is x(5) composite?
True
Suppose -5*b - z + 43758 = 0, -3*b + 2*z = -6*b + 26259. Is b composite?
True
Is (2 + -1)*(13168 - 13)/15 a composite number?
False
Let g(y) be the first derivative of -106*y**2 - y + 7. Is g(-1) a prime number?
True
Suppose 11*k = 12 + 43. Suppose 4*n - r = 1386, k*r = 3*n - 2*n - 337. Is n a prime number?
True
Let k = -56269 - -82268. Is k prime?
True
Suppose 2*p = s - 1642, 5*s - 8194 = 6*p - 4*p. Let t = s - 823. Is t a prime number?
False
Suppose 2*a + k + 367 = 97, -400 = 3*a - k. Let i = a - -357. Is i a prime number?
True
Let u = -17 + 28. Suppose 3*t = 7 + u. Is 4/(-6) + 262/t a prime number?
True
Let b(c) = -759*c + 9. Let u be b(-2). Suppose u = -23*m + 24*m. Is m composite?
True
Let f be (6/(-10))/(8/(-120)). Suppose 0 = -p - j + 3, 2*j - f = p + 7*j. Suppose a = 5 + p. Is a a prime number?
True
Let p(a) = 30*a - 26. Let t be p(-17). Let u = -802 + 1775. Let f = t + u. Is f a composite number?
True
Let r = 240 - 122. Suppose 3*u - u - r = 0. Is u composite?
False
Let j = 1922 + -1003. Is j a prime number?
True
Let c = -591 - -1690. Is c a composite number?
True
Let l(i) = 44*i**3 - 3*i**2 + 4*i + 22. Is l(7) prime?
False
Suppose -2*y + 3*o + 1398 = 7*o, o = 3*y - 2132. Is y prime?
True
Suppose 2*s - 6 + 4 = 0. Suppose -4*w + s + 171 = 0. Is w composite?
False
Suppose f - 5*f + 4372 = -4*c, 3*f - 3277 = c. Let u = 1879 - f. Is u a prime number?
True
Let q be 4/16*-2*0 - -33. Suppose -q - 119 = -4*k. Is k composite?
True
Suppose u = -0*u. Suppose u*p + 20 = -4*p. Is (-110)/(-8) - p/20 prime?
False
Let m(r) = r**3 - 3*r**2 - 4*r + 2. Let a be m(4). Suppose a*d + 3269 = 9*d. Suppose q + 3*g - d = 0, 4*q - 2*q = 4*g + 954. Is q prime?
False
Let a(r) = 22*r**2 - 6*r + 8. Let q(b) = -23*b**2 + 5*b - 7. Suppose -4*y - 10 = 2*g, 2*g - 2*y = 3*y - 19. Let u(j) = g*q(j) - 6*a(j). Is u(2) prime?
False
Suppose -2*y + 4 = y - g, 5*y = -2*g + 3. Suppose -v + 7 - y = 0. Let f(i) = 5*i**2 + 5*i + 1. Is f(v) a prime number?
True
Let y(o) = o**2 + 21*o + 3. Let x be y(17). Let l = x - -610. Is l a prime number?
True
Let z(b) = 29*b**2 + 2*b - 6. Let p(k) = -145*k**2 - 9*k + 31. Let c(w) = 2*p(w) + 11*z(w). Is c(-5) a composite number?
False
Suppose -4*o - 1856 = -4*x, 3*o - 28 = 4*x - 1887. Is (-2)/(-2) - (-5 - x) a prime number?
False
Suppose -20851 = -3*b - 2*b - 2*r, 5*b - 20857 = r. Is b a prime number?
False
Suppose -3*c - 2*o = -57461, 4*c + 12515 = -2*o + 89133. Is c prime?
True
Let a(j) = 48*j - 229. Is a(31) a composite number?
False
Suppose 0 = -477*c + 479*c - 32618. Is c prime?
False
Let r(q) = -23*q**3 + 4*q**2 + 6*q + 6. Is r(-5) composite?
True
Let f(n) = 5*n + 12. Let w = 24 + -19. Is f(w) composite?
False
Let y be -2 - 0 - (135/(-9) - -6). Suppose -4*t + 9352 = 2*r - y*r, 3*t + r - 6995 = 0. Is t prime?
True
Let k(n) = 1358*n**3 + 2*n**2 - 11*n + 9. Is k(2) prime?
True
Suppose 18*f - 4 = 14*f. Let d(l) = 3492*l**2 + 6*l - 7. Is d(f) prime?
True
Let m(v) = 25*v**2 + 27*v + 7. Is m(16) prime?
False
Let g(s) = -s - 4. Let v be g(14). Let b be 8/36 - 32/v. Suppose 0*r + r - 271 = -5*k, -b*r - 8 = 0. Is k a prime number?
False
Is 2*-1*(-4 - (-23055)/(-10)) a composite number?
True
Let h = 1805 - -3684. Suppose -14*m + 3*m + h = 0. Is m prime?
True
Let x(p) = 167*p**2 - p + 3. Let q be x(2). Let n = 1562 - q. Suppose 2272 = 3*h - n. Is h composite?
True
Let p = -65 - -42. Let r be (-188)/(-3) - 10/15. Let g = r + p. Is g a composite number?
True
Let c(n) = 8080*n**2 - 11*n - 10. Is c(-1) a composite number?
False
Let v(d) = -d - 1. Let q be v(1). Let z be 129 - (-1)/(q/(-6)). Suppose -n + 6*n + y = z, 58 = 2*n + 3*y. Is n prime?
False
Suppose -y = 3*b + 12, -22 = 5*b + y - 4. Let f = 7 + b. Is (-3 + f)*267/3 a prime number?
True
Suppose 2*o = 120 - 586. Let a = -144 - o. Is a prime?
True
Let c = 82 - 78. Suppose -2*z = c*x - 872, -8*z + 1779 = -4*z + x. Is z a composite number?
True
Let q(f) = -2*f - 4. Let m be q(-2). Suppose 3*k - 988 - 1853 = m. Is k a composite number?
False
Let y(i) = -35*i**2 + 15*i - 21. Let w(m) = 70*m**2 - 30*m + 42. Let v(z) = 3*w(z) + 5*y(z). Is v(5) prime?
True
Suppose 4*j - 28 = 4*y + 48, 0 = -3*y - 2*j - 37. Is (78/y)/((-1)/5) composite?
True
Let z(u) = 380*u**2 - 10*u - 15. Is z(-5) a composite number?
True
Suppose 6*f - 4*f = -112. Let z = f + 123. Is z a composite number?
False
Let f(x) = -x + 3. Suppose 0 = 9*q - 36 + 9. Let l be f(q). Suppose 4*c - 2*j - 210 = l, -5 = j - 2. Is c a composite number?
True
Let h(a) = -10*a - 3. Let v be h(-3). Suppose 0 = -4*j + 3*u + 3700, 2*u - 5 + 13 = 0. Suppose j - v = 5*t. Is t composite?
False
Let r(b) = 3*b**2 + 8*b - 61. Is r(16) a prime number?
False
Suppose 3*h + 6 = 99. Let r(y) = -y**3 - 6*y**2 - 15*y - 10. Let u be r(-2). Is (h - 1) + u - 3 a prime number?
True
Let z(k) = -k**2 + 3*k + 12. Let y be z(7). Is (235/2)/((-8)/y) a composite number?
True
Let z = 946 - 1341. Suppose -5*w + 182 = 622. Let r = w - z. Is r composite?
False
Let a(o) = 491*o + 23. Let v be a(11). Suppose -4*y = -v + 1388. Is y composite?
False
Let t = 9 + 46. Let v = -6 + -12. Let k = t + v. Is k a prime number?
True
Let p = 67 + -71. Let q(h) be the third derivative of -11*h**6/120 - h**5/20 + 3*h**4/8 + 3*h**3/2 + 3*h**2. Is q(p) a prime number?
False
Let s be (-16 - -13)*4/(-6). Suppose 522 = s*z + z. Suppose -2*l + z = l. Is l prime?
False
Is ((-3778920)/(-25))/24 - (-8)/10 prime?
True
Suppose -4*c - 5*w = -53864, 6*w + 8 = 4*w. Is c composite?
True
Suppose 0 = -6*s + 816 + 3054. Let c = s + -295. Suppose -2*k + 357 = 3*n, 2*n - 6*n = -2*k + c. Is k a prime number?
False
Let t = 4 + -4. Let m = t - -5. Suppose -m*y + 5*s + 1771 = -2*y, 0 = -y + 2*s + 591. Is y composite?
False
Let q = 2256 + -632. Suppose j - 5*p - 2079 = 0, 3*p + q - 5834 = -2*j. Is j composite?
False
Let r = 1220 + -537. Is r a prime number?
True
Let r(t) = 2*t**3 - 8*t**2 + 66*t - 17. Is r(18) prime?
True
Let y(u) = -2*u**3 + 9*u**2 - 5*u - 33. Let p(t) = t**3 - 4*t**2 + 2*t + 16. Let r(i) = -5*p(i) - 3*y(i). Is r(8) a composite number?
True
Suppose m - 10 = 4*m + 4*v, -12 = 3*v. Suppose -m*y = y. Suppose -4*r - n + 319 = -130, 3*r - 3*n - 318 = y. Is r composite?
True
Let u(g) = 3*g**2 - 5*g - 6. Let j be 5 + 0 + (-2)/(-2). Let t(p) = p - 11. Let z be t(j). Is u(z) prime?
False
Let y(c) = 30280*c**2 + c - 2. Is y(1) a prime number?
False
Suppose 83*b - 14 = 85*b. Let u(v) = -2*v**3 - 7*v**2 + 7*v + 13. Is u(b) composite?
False
Let s(b) = 38*b**2 + b - 1. Let f be s(1). Suppose -5*y = 5*c - f - 72, -4*y - 5*c + 91 = 0. Is y a prime number?
True
Let h(j) = j**3 - 5*j**2 - 16*j + 20. Let y be h(7). Suppose 0 = y*z - 4*z - 422. I