 x(7). Let k(o) = 14*o - 1. Let d be k(1). Is (d/(-2))/((-6)/g) composite?
True
Suppose 1835 = v - 2*r, -2*r + 1149 + 702 = v. Is v a composite number?
True
Let n(k) = -k**3 - 13*k**2 - 2*k - 19. Let w be n(-13). Let a = w - 3. Suppose -a*p + 337 = -3*q, -3*q = 3*p + q - 259. Is p composite?
True
Suppose 0 = -4*h - 4, -4*h = -6*m + 2*m + 15616. Is m composite?
True
Is -1 + -1 + (46*1846)/4 prime?
True
Let x be 44/(-8) + 9/6. Is ((-2)/(-5))/(x/(-11710)) a composite number?
False
Suppose -2 = -3*t + 25. Let z = 8 + t. Suppose -2*p + 21 + z = 0. Is p a prime number?
True
Suppose -51*a = -23*a - 283724. Is a a prime number?
True
Suppose 13*n - 305851 = -53066. Is n prime?
False
Suppose 24 = -h - 3*k, 5*h + 2*k + k + 60 = 0. Let x be 1 + 7/((-21)/h). Suppose -x*g + 4*y + 3404 = 0, -5*g = 2*y - 4*y - 4261. Is g composite?
False
Let f(g) = -150*g - 5. Let z be f(-6). Suppose 0 = -2*m + 1895 + z. Is m - (0 + 1 - -1) a prime number?
False
Let t = 89287 - 50580. Is t a composite number?
False
Suppose 3*s = 60*z - 61*z + 26167, 5*z + 5*s = 130815. Is z prime?
True
Let b(x) be the second derivative of 5/3*x**3 - 3*x + 0 + 9/2*x**2 - 1/20*x**5 - 5/12*x**4. Is b(-7) prime?
True
Let v(w) = 59*w**3 - 5*w**2 + 21*w - 38. Is v(7) prime?
True
Let g(x) = x**2 - 2*x - 1. Let t be g(3). Let q be 14*t/(-2 + 1). Let m = 50 + q. Is m a composite number?
True
Suppose -4*g + 149977 = -3*y + 2*y, -3*g + 4*y = -112499. Is g composite?
False
Suppose -460 = 2*n + i, -5*i = 5*n - 10*i + 1180. Let q = 497 + n. Is q a composite number?
True
Suppose -4*d + 5*a = 1138, 5*d + 6*a + 1443 = 2*a. Let m = d + 419. Suppose -4*z + m = x, 2*x - 22 = -z - x. Is z composite?
True
Suppose 4*c - 1167 = 277. Is c a composite number?
True
Suppose -6*w + 2207 + 28027 = 0. Is w a prime number?
True
Let r be 5/(-1*(1 + -2)). Suppose 3*j = 5*v + 43, j = 3*j + r*v + 13. Suppose 5*d = j*d - 235. Is d composite?
True
Let n(i) be the first derivative of 9*i**4/2 + i**3 + 2*i + 4. Is n(3) composite?
True
Suppose 4*j = -5*j + 9. Is (2746 - 5/1)*1/j a composite number?
False
Suppose 2*h - 13 = -5. Suppose h*w = -4*g - 4, -2*w + g = 6*g + 8. Is 19 - (-2 + w - -1) a composite number?
False
Suppose 0 = -3*f + 4*f + 10. Let t(o) = -7*o**2 - 29*o + 17. Let b(w) = -3*w**2 - 14*w + 9. Let n(z) = 5*b(z) - 2*t(z). Is n(f) composite?
False
Let b = -464 + 658. Suppose -2*w + b + 600 = 0. Is w prime?
True
Let t = -490 + 740. Let s(z) = z**3 + 4*z**2 - 8*z - 7. Let p be s(-6). Let n = p + t. Is n a prime number?
False
Suppose 56*h - 4550190 + 1099862 = 0. Is h prime?
True
Suppose 9*u - 12236 - 60403 = 0. Is u a composite number?
True
Let s = 0 + 0. Suppose -5*c + 4 + 16 = s. Suppose -l = 5*j - 630, -c*l = 4*j + l - 483. Is j a prime number?
True
Suppose 7*o = 9*o - 12*o. Suppose 5*s + 3*r = 8416, o*r = -2*s + 4*r + 3382. Is s a prime number?
False
Let s be 1/((-1)/229) - 0. Let p = -1398 + 1786. Let o = s + p. Is o a composite number?
True
Let f = 27 - 27. Suppose f = d - 0 - 63. Let y = d - -346. Is y a prime number?
True
Suppose 2*g - 2*m = 3864, -51*g = -53*g - 5*m + 3857. Is g a prime number?
True
Let u be 80 - (2 - 0) - 0. Suppose -u = -v + 4*v. Let a = 115 + v. Is a a prime number?
True
Let g(k) = k**3 - 8*k**2 + 5*k - 2. Let j be g(7). Let f be (j/6)/(5/15). Is (76/f)/((-1)/2) composite?
False
Let w be (0 + -7)*12/(-42). Suppose -d - w*u = -697, d - 6*u + 2*u = 709. Is d a composite number?
False
Suppose 4*l = 0, -3*b + 4*l + 1231 = -2042. Is b prime?
True
Let v(z) = 6*z**2 - 8*z + 15. Suppose -3*r = -8*r + 40. Is v(r) a composite number?
True
Let d = -220 + 110. Let h be (-20)/d - 4000/(-22). Suppose -r = -3*r + h. Is r a prime number?
False
Suppose 2*f + 3*f = 2265. Is f prime?
False
Suppose l + 2024 = 2*c, -3*l - 1338 = 3*c + 4761. Let w = l + 3127. Is w prime?
True
Suppose -3*m = -7 + 1. Let z(s) = -3*s + 17. Let y be z(5). Suppose 0 = -y*t - m*t + 564. Is t prime?
False
Suppose -93 = -3*m - 4*k, -5*m - 6*k + 163 = -2*k. Let i = m - -270. Suppose -328 - i = -3*j. Is j composite?
False
Suppose 0 = -4*f - h + 3*h + 48798, -12177 = -f - 4*h. Is f a composite number?
False
Suppose -g + 2*g = 545. Suppose 4*t = -r + 535, 4*t - g = 3*r - 2*r. Let c = t + -14. Is c a prime number?
False
Let k be 27/(-36)*8/(-3). Suppose -k*s + 3*n = -29, 2*n + 18 = s + 5. Is s a prime number?
True
Let r = 9 - 6. Suppose 7*s + 3*z = r*s - 18, -21 = 5*s + 3*z. Is 176 + s/2*-2 composite?
False
Let j(y) = -196*y + 15. Let p(n) = 195*n - 14. Let b(v) = 5*j(v) + 6*p(v). Is b(4) a composite number?
False
Let b(h) = h + 18. Let n be b(-15). Let c(i) = -i**3 + 3*i**2 + 2*i - 1. Let s be c(n). Suppose -390 = -s*w + 4045. Is w composite?
False
Suppose 0*b + b - 5401 = 4*u, b - u = 5401. Is b a composite number?
True
Suppose -62*s = -63*s + 6. Suppose -4*b + 3*u - s*u = -4376, b = 3*u + 1109. Is b composite?
False
Let w(q) = -268*q**3 + q**2 - 2*q + 3. Is w(-2) prime?
False
Suppose w + 4*f = 1423, -4*f - 168 = 3*w - 4461. Suppose 3*p + 4*j - w = 0, 3*p - 5*j = 730 + 750. Is p composite?
True
Suppose -19097 - 10446 = -31*q. Is q prime?
True
Let r(o) = -14*o + 9. Suppose 3*z - 17 = 2*f + 42, 5*z - 92 = -3*f. Suppose 0 = -2*x - m - 0*m - z, 4*m - 24 = 2*x. Is r(x) a composite number?
False
Suppose 0 = 6*u - 16630 - 15656. Is u composite?
False
Suppose -4120 = -5*s + 5*f, s - 293 = -5*f + 513. Is s composite?
False
Let m(n) = 10032*n**2 - 4*n + 1. Is m(-1) prime?
True
Let h(d) = 35*d**2 + 6*d + 97. Is h(18) a prime number?
False
Let a be 4/20 + (41358/(-10))/(-1). Suppose 7*u - a = 603. Is u a prime number?
True
Suppose 6*l - 8*l + 5*q = -17693, 5*l - 44243 = 2*q. Is l composite?
False
Let m(b) = 1135*b**2 + b + 1. Let a be m(-1). Let o = a - 668. Is (0 + o)*(-6)/(-6) a composite number?
False
Suppose 6 = -2*p, -57 = -3*c + 4*p + 54. Let w(a) = 46*a - 36. Let m be w(4). Let z = m - c. Is z a prime number?
False
Suppose -12*j = -57770 - 57586. Is j a composite number?
False
Let r = -45 + 49. Let p(v) = v**3 - 2*v**2 + v - 2. Is p(r) prime?
False
Suppose -475896 = 101*l - 3214915. Is l composite?
True
Let l = -2697 + 3958. Is l prime?
False
Suppose 62410 = 7*h - 3*h - 2*j, j - 15598 = -h. Is h composite?
False
Let a = 2000 - -11229. Is a composite?
False
Let c(l) = -172*l**3 + 7*l**2 - 24*l + 2. Is c(-7) a prime number?
True
Let i be 3/(-6) - 106/(-8)*78. Let a = 1562 - i. Is a a prime number?
False
Let q = -219 - -336. Let c be 3*5/((-15)/28). Let s = c + q. Is s prime?
True
Let r(o) = o - 1. Let d(t) = -3*t**2 - 20*t - 7. Let j(c) = d(c) - 6*r(c). Is j(-6) composite?
False
Let c = 137 + -135. Suppose -4*w + 1521 = -d, -6*w = -c*w + d - 1527. Is w prime?
False
Let g(r) = 2*r**2 + 20*r + 23. Let h be g(-23). Let s = h - -188. Is s prime?
True
Is -3*((-1123623)/54)/((-5)/(-10)) prime?
True
Let w be (2 + 10/(-4))*-364. Let i = w + -73. Is i composite?
False
Let l(y) = 2*y**2 - 5*y - 5. Suppose 0 = 4*q - 5*n - 45, -6*n + n - 10 = 3*q. Let o be l(q). Suppose m - h = 2*h + o, 3*m - 71 = -2*h. Is m prime?
True
Let x(o) = -o**3 + 14*o**2 - 15*o + 29. Let j be x(13). Suppose j*h - 3*d = -2485 + 6628, -5*h = 5*d - 6925. Is h a composite number?
True
Suppose 5*b - 1423 = -p + 2166, -p + 3581 = b. Is p a composite number?
True
Is (-425033)/(-21)*24/8 a composite number?
False
Suppose 0 = -71*q + 54*q + 935. Is q a prime number?
False
Suppose -18*h + 4604 = -14*h. Is h a prime number?
True
Let y(u) = -8657*u**3 + 3*u**2 - 4*u - 1. Is y(-1) composite?
False
Suppose 0 = s + 2*d - 10, 3*s - s + 3*d = 16. Suppose 0 = 3*g + s*m - 20, 0*g = 4*g - m - 12. Suppose l - g*l + 1335 = 0. Is l composite?
True
Is -4 + (5 - 0)*25309 a prime number?
True
Let j(x) = 1399*x**2 + 2*x + 25. Is j(6) a prime number?
False
Let y be 24/16*-35*(-24)/10. Suppose 0 = 2*t + 10, -2*i - t = -y - 3503. Is i prime?
False
Suppose 0 = -3*w - q + 2*q + 3987, 0 = 3*w + 5*q - 3987. Let f = 2966 - w. Is f a composite number?
False
Let z(t) = 657*t**2 - 2*t + 4. Is z(-3) a prime number?
True
Let z(h) = 206*h - 7. Let i be z(7). Suppose -9*f + 464 = -i. Is f prime?
True
Let u(d) = d**3 + 34*d**2 - 17*d - 85. Is u(-32) a composite number?
True
Let l(a) be the third derivative of 121*a**5/60 - a**4/24 - a**3/6 + 4*a**2. Suppose 6*v = 5*v + 2. Is l(v) a composite number?
True
Let j be ((-4)/(-2)