 -5*n + q. Is n a prime number?
True
Let y(s) = 39*s**2 - 173*s - 25. Is y(-19) a composite number?
False
Let t be 2*(-3)/(-2) + -1. Let k = 7 + 170. Suppose -t*m = m - k. Is m prime?
True
Let p = -19 + 24. Let h = p - 2. Is 184 + (0 - (h + -4)) a prime number?
False
Is 4/(-6) + 3330402/306 a composite number?
False
Suppose -4*y - 15 = -3*z, 4*y + 13 = 2*z - z. Let t(d) = -27*d**3 - 3*d**2 + d - 4. Is t(y) a composite number?
True
Let s be ((-90)/4)/(-5)*-4. Is ((-1122)/s)/((-2)/(-6)) prime?
False
Suppose -13*l + 26568 = -10*l + 3*g, 4*l - 5*g - 35433 = 0. Is l a composite number?
True
Is (26702/4 + 1)*(-308)/(-231) a composite number?
True
Suppose 33*l - 121217 = -10*l. Is l a prime number?
True
Let q(m) = 851*m - 3. Let f be q(4). Suppose -4*n = 4*u - 2*u - 1338, -f = -5*u + 4*n. Is u composite?
False
Let q(w) = 8*w**2 + 2*w + w**3 - 6*w - w**2 + 3. Is q(-7) a prime number?
True
Let g = -200 - -514. Let m = -109 + g. Is m prime?
False
Let x be 8/5 - 8/(-80)*4. Suppose -2*l + 754 = x*c, -10*l + 4*c = -8*l - 778. Is l a composite number?
True
Let v be ((-1137)/2)/((3/3)/4). Let l = 4057 + v. Is l composite?
False
Suppose 10 = -v - 3*d, -2*v + 2*d = 3*d. Suppose 0*m - 4*c = -v*m + 296, 0 = 3*c - 15. Suppose -5*y = 3 - m. Is y composite?
False
Let h = -1003 - -8658. Is h prime?
False
Let y(t) = -106*t - 1. Let u be y(-1). Suppose 1190 = 4*b + b + 2*h, -h + 241 = b. Let g = b - u. Is g composite?
False
Let u be 1/(-3) + (-56)/12. Let j(k) = -2*k**3 - 3*k**2 - 3*k + 1. Is j(u) a composite number?
False
Suppose -8 - 80 = -4*g. Is 77/g + (-1)/2 a composite number?
False
Let f(m) = m**2 - 23*m + 29. Let a be f(23). Suppose -j + 476 = a. Is j a prime number?
False
Let k be 18/(-5)*(-15 - -5). Let n = 191 + -82. Let r = k + n. Is r a composite number?
True
Let z = 5771 - 2428. Is z prime?
True
Suppose 3*v = 4*o - 6757, -2*v + 2*o - 5*o - 4516 = 0. Let g = v + 7970. Is (16/24)/(6/g) prime?
False
Let s(m) = -m**3 + 22*m**2 + m - 6. Let u be s(10). Suppose u + 256 = 4*c. Is c a composite number?
True
Let u(f) = f**3 + 23*f**2 + 22*f + 4. Let y be u(-22). Suppose -y*c = -0*c - 3628. Is c a composite number?
False
Suppose -2*s - b - 313 = -4*b, -3*s = -3*b + 468. Let j = 534 + s. Is j a prime number?
True
Let c = -19 - -12. Let v = -2 - c. Suppose 3*b - 5*a - 278 = b, 20 = v*a. Is b a composite number?
False
Let l = -23 + 88. Suppose l = 8*w - 7*w. Is w composite?
True
Let r = -7691 - -12853. Suppose 52*b - 50*b = r. Is b a prime number?
False
Suppose 30*a = 21*a + 12834. Suppose -21 = -4*w + q, -5*w + 5*q - q + 40 = 0. Suppose w*m - a = -5*n + 95, 3*n - 761 = -2*m. Is m composite?
False
Let q(j) = 11*j**2 - 16*j - 8. Suppose -5*d = -5*c + 20, -2*d + 0 + 28 = 2*c. Is q(c) a prime number?
True
Let l(m) = 9 - 15*m - 4 - 4. Let g be l(4). Let r = g - -178. Is r a composite number?
True
Let z = 15 - 11. Suppose -z*s = 5*t - 1603 - 962, -3200 = -5*s - 5*t. Suppose -s = -0*b - 5*b. Is b a prime number?
True
Suppose 5 + 10 = 5*a, 2*q + 3220 = 2*a. Let v = -1116 - q. Is v composite?
False
Suppose -13*c + 74604 = 3455. Is c prime?
False
Let j(l) = -457*l - 6. Let y be j(-10). Suppose -4*g - y = -0*g + 3*q, -q = 4*g + 4572. Let p = 1887 + g. Is p a composite number?
False
Suppose -2*g + 14 = -0*g. Suppose -5*y + g = -8. Let l(s) = 29*s**2 - 4. Is l(y) prime?
True
Suppose 7*j - 5806 - 30909 = 0. Is j composite?
True
Suppose 4*c - 922 - 6290 = 0. Is (2 - c/3)/(3/(-6)) a prime number?
False
Let d = -635 + 2. Let s be ((-6)/(-4))/(6/3568). Let q = s + d. Is q composite?
True
Let m be 921/6*-4*-4. Is (12/24)/(2/m) a prime number?
False
Let z(k) = -5*k - 8. Let m be z(-4). Let d(x) = 2*x**2 - 15*x - 15. Let y be d(m). Let w = 152 - y. Is w composite?
False
Suppose 269 = 3*h - 694. Is h composite?
True
Is ((-55644)/24)/(-1*1/2) a prime number?
True
Suppose 0 = 2*w - 4*r, 3*w + 2*r - 6 = 5*r. Is w/(-8) - (-423)/2 a prime number?
True
Let z = 9 - 3. Suppose 0 = -z*o + 4*o - 6. Is (-6)/(-9) - 109/o a prime number?
True
Let c(t) be the second derivative of -t**5/20 + 581*t**2/2 - 14*t. Is c(0) a prime number?
False
Suppose 5*h = -5*s + 19 - 4, -5*h + 5*s = 5. Let p(f) = 1167*f**2 - f - 1. Let d be p(h). Suppose -a + 6*a = d. Is a a composite number?
False
Is (2/12*150662)/((-45)/(-135)) composite?
True
Let w = 3091 - 848. Is w composite?
False
Suppose 0 = -g + 3, -147*g = a - 149*g - 232549. Is a composite?
True
Let s(r) = r**2 + 1. Let l be s(1). Let v = -164 + 414. Suppose -l*w = 4*g - v, -3*w - g + 2*g + 340 = 0. Is w prime?
False
Suppose -v - 29 = 1. Let k = 109 + v. Is k a prime number?
True
Let r be (-2 - (-1 + 3)) + 51. Let o = -27 - -46. Suppose -r - o = -3*g + 3*c, g - 3*c = 28. Is g a prime number?
True
Is (-16)/56 + 30*(-26682)/(-84) prime?
False
Let a(f) = 26*f + 9. Suppose 7 = -p - 5*j, p - 2*j = -6*j - 4. Let u be 3 + p/(2/1). Is a(u) a composite number?
False
Suppose -5*l - 2*x = -11690, l + 5*x - 11690 = -4*l. Suppose 436 = -6*c + l. Is c a prime number?
True
Let l(r) = -4*r + 26. Let u be l(6). Suppose 3*q + u*p = -2*q + 2915, q - 566 = 3*p. Is q a prime number?
False
Let d = -14 - -17. Suppose 5*x - 639 = -2*p, -138 = x - 2*x + d*p. Suppose -x = -3*n + 4*b - 31, -n + 32 = -2*b. Is n a prime number?
False
Suppose 3*r = 8*r. Suppose 0*x - 322 = -2*x - 2*o, r = -x + 5*o + 137. Is x composite?
False
Suppose 10*t = 5*t - 10. Let v be (-178)/(-5) - 4/(-10). Let c = t + v. Is c composite?
True
Suppose 0*l - 5*l - 30 = 0. Let h be ((-4)/l)/(1/(-93)). Is 3*h/(-6) - 0 prime?
True
Suppose 4*i + 8*f - 4*f = -668, 339 = -2*i + 3*f. Is -1*(4/(-8))/((-4)/i) composite?
True
Let a = -59 + 85. Let z(b) = -b**3 + 27*b**2 - 2*b + 38. Is z(a) composite?
True
Suppose d - 5439 = -x + 11759, 86025 = 5*x - 2*d. Is x a composite number?
False
Let b(u) = 3*u**2 - 7*u + 6. Let n be b(3). Let t(c) = 5*c**2 - 2*c + 5. Is t(n) composite?
False
Let x = 189 - -115. Suppose 0*o + 2*o = -x. Let s = 403 + o. Is s composite?
False
Is (-1 - -2)/(17 - 2539648/149392) a composite number?
False
Let r(i) = -908*i**3 + 8*i**2 - 6*i - 13. Is r(-3) prime?
True
Suppose 5*j - 231590 = 3*i, 3*j + 92542 = -4*i + 231496. Is j composite?
True
Let o be ((-459)/(-2) + (-4)/2)*-2. Let k = -40 - o. Is k a composite number?
True
Let s be (90/3)/(-3)*2. Let x be (16/s)/((-2)/(-15)). Is (-109)/(-2) + (-3)/x a prime number?
False
Let a = 41332 + -6921. Is a a composite number?
True
Let g(u) = u**3 - 8*u**2 + 8*u - 4. Let v be g(7). Suppose 0 = -0*s - v*s + 18. Let r = s + 0. Is r prime?
False
Suppose 0 = -5*s + 5, -2*j + j - 4*s = 15. Let i = -35 - j. Let o = 21 - i. Is o composite?
False
Let j be 4*(2 - (3 + -2)). Suppose -2529 = j*o + 8823. Is o/(-4)*(-10)/(-15) prime?
False
Let u be 1*(-3 + (-6)/(-1)). Is 3 + (u - 2) + 1213 prime?
True
Let k be (-1 + -3)/4*-2. Suppose -k*q - 3*a + 24 = 3*q, 5*q = 5*a + 40. Is q prime?
False
Suppose 2*x + 2*x = 0. Suppose -w - 124 = -x*w + 5*z, 0 = -w + 3*z - 108. Is 2/(-4)*2 - w a prime number?
True
Suppose -5*x = -x - 60. Suppose 0 = -2*v - v - x, -v = l + 6. Is (l - 2) + (2 - -162) a composite number?
True
Is -11 - (-7 - 112963)/5 prime?
False
Suppose 440161 = 18*z - 119765. Is z composite?
True
Let a = 5894 + -271. Is a prime?
True
Let j(x) = x**2 - 3*x - 4. Let v be j(5). Suppose 5 = -p - 5*l, v*p - p - 5*l - 5 = 0. Suppose p*t - 534 = -3*t. Is t a prime number?
False
Let k be 26*(26/(-10))/(8/20). Let x = 548 + k. Is x prime?
True
Let l be (2 - (-6)/(-3))/(1*-1). Suppose -4*d = 4, -2*a + 4*d + 0*d + 302 = l. Is a composite?
False
Suppose c + 18 = -2*c + 4*w, 2*c - 4*w + 16 = 0. Is 0 - -539 - (c - 0) a composite number?
False
Let m(g) be the second derivative of -g**5/20 - g**4/12 - g**3/6 + 6*g**2 + g. Is m(-9) composite?
True
Let f = -10450 + 24921. Is f prime?
False
Let s = 8439 - 5518. Is s composite?
True
Let m = 19 - 12. Suppose 3513 = m*b - 17158. Is b a prime number?
True
Let j(z) be the third derivative of -z**4/8 + 5*z**3/3 + 6*z**2. Is j(-9) prime?
True
Suppose -8 = -4*r - 0. Let d be 39/6*8/r. Suppose -d = 4*y - 174. Is y a prime number?
True
Suppose -6124 = 6*o + 2576. Let l = -827 - o. Is l a prime number?
False
Let c(s) = -21*s**2 + 27*s - 10. Let r be c(14). Let f = -2489 - r. Is f a prime number?
True
Let j be (16/12)/(1/(-6)). Let d(x) = 4*x**2 + 3*x - 27