524/20 composite?
True
Suppose n + n - 286 = 2*p, 5*p = -20. Is n a composite number?
False
Is 23/((-1)/6*-3) composite?
True
Is 42/(-63)*1542/(-4) a composite number?
False
Suppose -3*j - 2*t + 196 = -33, 5*j - 384 = -t. Is j a prime number?
False
Let b be (1 - 0)*(-2 - -5). Suppose 2*q + 21 = -b*v, -21 + 6 = 3*v + 4*q. Let n(t) = t**3 + 8*t**2 - 11*t + 1. Is n(v) composite?
False
Let j be (-3 + -3)*1/(-2). Suppose 2*g = -j*g + 15. Suppose -g*l + 12 = 0, 2*c - 368 + 10 = 3*l. Is c prime?
False
Let v be (-2)/4 - (-10)/(-4). Let s(o) = -34*o + 4. Let k be s(v). Suppose 3*f - 5*x = k, -x + 2 = 1. Is f prime?
True
Let k(h) = -34*h - 19. Is k(-9) a prime number?
False
Suppose 5*b = -5*y + 20, -2*y + 3*b + 0 - 12 = 0. Suppose y = 2*j - j. Is 1/((-3)/(-111) + j) composite?
False
Let r = 26 + -21. Suppose 2*p - 3*f + f = 142, -r*f = -3*p + 221. Is p prime?
True
Suppose -7*d = -o - 3*d - 8, -3*o - 5*d + 10 = 0. Let b be o + 423/(3*-1). Let g = 224 + b. Is g a prime number?
True
Let y = -6 - 1. Is y*((-3)/3 + -16) prime?
False
Let d(g) = g**2 + g. Let u be d(1). Let o(t) = -2*t**2 + 5*t**2 - 14*t**3 - 3*t**u. Is o(-1) a composite number?
True
Let g be (-2)/6 - 249/9. Let r = g + 79. Is r composite?
True
Let m(g) = g - 9. Let t(k) = k**3 - 5*k**2 + k + 2. Let s be t(5). Let j be m(s). Let b(y) = y**3 + 4*y**2 + 3*y. Is b(j) composite?
False
Suppose 2447 + 601 = 2*n. Suppose 611 = 2*w + 3*q, 0 = -5*w + 4*q + n + 15. Is w a prime number?
True
Suppose m + 4*d - 18 = 0, 2*m - 4*d + 6 = -3*m. Suppose 2*y - 138 = 4*q, m*y + 2*q = -3*y + 333. Is y a prime number?
True
Suppose 0 = 5*a - 816 + 66. Let v = 20 - 14. Is ((-2)/v)/((-2)/a) composite?
True
Let z be (-15)/(-12) + 2/(-8). Let a(f) = -f**3 + 9*f**2 + 8*f + 19. Let j be a(10). Is 0 - 7/z*j a composite number?
False
Suppose 4*o + 0 = -12. Let c = o + 7. Let v(t) = 48*t - 1. Is v(c) composite?
False
Let u = 0 - 0. Let g(i) = 21 - i + 2 - 3*i**2 + 4*i**2. Is g(u) composite?
False
Let l(w) = -2*w**3 - 4*w**2 + w + 4. Let g be 1 - 0 - (-7 + 0). Let z = 3 - g. Is l(z) a prime number?
True
Let k(r) = 3*r - 2. Let x be k(2). Suppose -x*o + 8 - 2 = -5*j, -j = 3*o - 14. Suppose 2 = j*u - 4. Is u composite?
False
Is -2 + 7 + (19 - -2733) composite?
True
Suppose 7*u - 625 = 2*u. Suppose -4*h + 3*m + 374 = -121, h - 2*m = u. Is h prime?
False
Let k = -56 - 10. Let x = k - -110. Suppose 128 - x = 4*j. Is j a composite number?
True
Let s(g) = 6*g**2 - 5. Let l = 3 + 3. Let p(y) = y**3 - 6*y**2 - y. Let u be p(l). Is s(u) prime?
True
Let g(l) = l**2 - 14*l - 9. Let q be g(12). Let j = q - -79. Is j composite?
True
Suppose 2*n + 3*o - 5992 = 0, -2*n = n + o - 8995. Is n prime?
True
Suppose -2*q - 90 = -2*y, -7*y + 5*q = -3*y - 183. Let r = y - -373. Is r prime?
False
Suppose -w + 0 = -3*p - 5, -2*p + 2 = 2*w. Is p + 37/1 + 2 a prime number?
False
Suppose 3*x + 1 = 4*x. Is -3*(x - 56/3) composite?
False
Suppose 0*c = c. Let o be c/((-3)/(-3))*-1. Suppose 5*j - 123 + 18 = o. Is j composite?
True
Suppose -2*g = -4*x - 2862, -863 = 4*g + 2*x - 6547. Is g prime?
True
Suppose -5*k = -766 - 744. Is k a composite number?
True
Let j = 1552 + -971. Is j prime?
False
Suppose 0 = -x + 5*c + 26, -3*x - x - c = 1. Suppose -5*q - 24 = x. Is (0 - 0) + q + 8 a composite number?
False
Suppose 5*f = -3329 + 8314. Is f a composite number?
False
Let x(z) = -183*z**2 + z - 2. Let o be x(1). Let j = o - -275. Is j a prime number?
False
Suppose 3493 = u + 6*u. Is u a composite number?
False
Let b = 24 + -14. Is (-72)/(-30)*b/4 a composite number?
True
Let n = 72 - 38. Is n a composite number?
True
Let h = 291 + -206. Suppose 0 = 4*m - 191 - h. Is m a composite number?
True
Let z = -824 - -1171. Let a = z - 40. Is a prime?
True
Let q(f) = -f**3 + f**2 + 3*f + 3. Let p be q(-2). Is (-6)/p - (-143)/3 a prime number?
True
Let x = -157 - -380. Is x a composite number?
False
Suppose -c - 3 = -0*c. Let g(p) be the second derivative of -p**3/3 + 3*p**2/2 - 2*p. Is g(c) prime?
False
Suppose 4*w - 2*x - 284 = 0, -4*w + 146 = -2*w - 3*x. Is (0 + 1)*-1 + w a composite number?
True
Let m = 1672 + -833. Is m composite?
False
Is (5/(15/(-786)))/(-2) a prime number?
True
Let r(q) = -q - 9. Let m be r(-10). Let n(w) = 77*w**3 - w**2 + 1. Is n(m) composite?
True
Let q = 118 + -75. Is q a composite number?
False
Suppose i - 216 = -2*i. Let a = i - 13. Is a composite?
False
Is (3*(-4)/24)/(1/(-42)) a prime number?
False
Let x be (-23)/(-7) - 2/7. Suppose 0 = -x*t + t - 196. Let o = t - -187. Is o a prime number?
True
Is 1536/5 + 13/(-65) composite?
False
Suppose 0 = 2*m - 0*m - 236. Suppose 0*c - 2*c + 58 = 4*l, -5*c - l + m = 0. Is c prime?
True
Is 6/(-99)*3 - (-106893)/33 a composite number?
True
Let z(y) = 11*y**2 + 1. Let l be z(-1). Suppose 3*k - l - 63 = 0. Is k a composite number?
True
Let a(y) = 8*y - 4 - 2 - 3*y + 4*y**2. Is a(5) prime?
False
Let d be (-3)/(2 + 1) - 18. Let v = d + 44. Suppose 21 = 2*q - v. Is q a composite number?
False
Suppose -2*m - 115 = -7*m. Suppose -5*y - m = -68. Is y a prime number?
False
Suppose -6*t - 440 = -2*t. Let b = t - -241. Is b a prime number?
True
Let r = 23 + -16. Let g(j) = j**3 - 8*j**2 + 8*j - 4. Let u be g(r). Suppose y = u*p + 4*y - 51, p = 3*y + 25. Is p a prime number?
True
Suppose 4*k - 447 = -4*c + 3365, -2*c + 1906 = k. Is c prime?
True
Suppose -5*y - 1 = z - 16, -4*y - 2*z + 18 = 0. Let d be (-13885)/(-35) + y/7. Is d/3 - 6/(-9) composite?
True
Let t be (84/(-49))/((-2)/21). Suppose 4 = -2*o + t. Is o a prime number?
True
Let x(h) = -2*h**3 + 1. Let n be x(-1). Suppose -n*i + 332 = i. Is i prime?
True
Let g(z) = z**2 - 8*z - 23. Is g(-10) a prime number?
True
Let o(a) = a**2 + 1. Let u(d) = -3*d**2 - 16*d + 14. Let m(v) = -o(v) - u(v). Let b be m(-12). Let j = -46 + b. Is j composite?
True
Let c = -14 - -111. Suppose 0*k - 5*k = -20. Suppose -5*g = k*m - 117, -g = 3*m + m - c. Is m composite?
False
Let v = 1882 + -1229. Is v a composite number?
False
Suppose 0 = -2*k - 0*k - 4*s + 810, 2*k + 3*s - 806 = 0. Is k a composite number?
False
Suppose -5*x = -8*x + 6. Is (4 - 2)/(x/249) a composite number?
True
Let k(j) = -4*j**2 + 3*j - 7. Let g(f) = f**2 - f + 1. Let v(n) = -3*g(n) - k(n). Let w be v(0). Suppose -80 = -2*a + 2*h, w = -h + 3. Is a a prime number?
False
Let p(n) = -n + 237. Let v = 21 - 21. Is p(v) a composite number?
True
Is 3*(-2)/((-12)/374) composite?
True
Suppose -6*z + z = -4*d + 6482, 2*d - 2*z = 3242. Is d prime?
False
Is 2*3/12*1370 a prime number?
False
Let l be 2/(-6)*(-6 + 0). Suppose 2*u - 105 = -5*r, 5*u = -l*r - 3*r + 300. Is u prime?
False
Let h(a) = -a + 1. Let c be h(-2). Suppose -3*t + n + 201 = 0, c*t - 2*n - 201 = 3*n. Is t a composite number?
False
Let k(g) be the third derivative of g**6/120 + 7*g**5/60 - g**4/12 + 7*g**3/6 + 5*g**2. Is k(-6) composite?
True
Let v be (-15)/6*(-8)/10. Suppose -v*n + 86 = 3*k + 2*k, 2*k = 4*n - 124. Is n composite?
True
Let y be 1*-21*1010/15. Is (-2)/(-12) - y/12 composite?
True
Let q(l) = 25*l**3 + 2*l**2 - l. Let o be q(1). Let m = 101 + o. Is m a prime number?
True
Let u = 40 - -117. Is u a prime number?
True
Let u = -4 + 8. Suppose t = 3*a - 3*t - 70, 0 = -u*a - 5*t + 83. Suppose 0 = -2*j - 4*x + a, -4*x = 4*j - 13 - 27. Is j prime?
False
Let t(x) = 16*x**2 - x - 1. Is t(-6) a composite number?
True
Suppose -5*g - 5056 = -4*r, 3*g + 16 = -g. Is r a composite number?
False
Let m(y) = 36*y**2 - 3*y. Let o(l) = 37*l**2 - 2*l. Let r(p) = -3*m(p) + 4*o(p). Suppose 2*k + 2*q + 0*q = -8, 4*k - 4*q - 8 = 0. Is r(k) composite?
True
Let u(t) = -44*t**3 - t**2 - 1. Let w be u(-2). Suppose 0 = 3*v - 4*v + 4. Suppose -x = -v*r + 398 - 63, -5*x - w = -4*r. Is r a prime number?
True
Let n(x) = 29*x - 2. Let m = 3 + 0. Is n(m) a composite number?
True
Let o(f) = 9*f**2 + 9*f + 11. Is o(-9) composite?
False
Suppose -2 - 13 = -5*j. Is j/5 + 608/20 a composite number?
False
Let m(w) = 21*w**2 + 63*w**2 + 7 - 8. Is m(1) a prime number?
True
Is (4/(-6))/(2/(-447)) a composite number?
False
Let x(a) = 11*a**3 - a**2 + a - 4. Is x(3) a prime number?
False
Let a be 2/8 + (-481)/4. Suppose 3*g - 2*g = 283. Let j = g + a. Is j prime?
True
Suppose -2*d + 7 = b - 4*b, -2*d = -4*b - 4. Let l be 4/d*(-1 + 1). Suppose 6*q - 2*q - 12 = l, 0 = 4*u + 2*q - 218. Is u a