 prime?
False
Suppose 31361 + 12903 = 8*w. Is w a composite number?
True
Suppose 31*o - 5953 - 13608 = 0. Is o composite?
False
Is (-2)/(-4) + (-29064)/(-16) composite?
True
Let h(f) = -239*f**3 - f**2 - 14*f - 37. Is h(-3) composite?
False
Let a(h) = 14*h + 13. Let d(q) = 15*q + 14. Let b(l) = 6*a(l) - 5*d(l). Let o be (-4 - -2) + 4/(4/7). Is b(o) a prime number?
True
Let r(p) = -57*p**2 - 2*p - 12. Let j be r(4). Let c = -631 - j. Is c prime?
False
Suppose -g + 4380 = 5*x, -g + 2942 - 316 = 3*x. Is x a prime number?
True
Let c(i) = 35*i**2 + 49*i - 61. Is c(22) composite?
False
Let a(i) = i**3 + 7*i**2 + 10*i - 2. Let j be a(-5). Is 159*(j - (-175)/15) a composite number?
True
Suppose -4*l = 8*j - 7*j - 9123, 3*j + 2*l = 27349. Is j prime?
False
Suppose 6 = -3*x + 15. Suppose x*o + 674 - 3733 = 4*b, 3815 = -5*b - 5*o. Let r = -393 - b. Is r composite?
True
Let m = 4 - 1. Is m - (-786 - (-6 + 2)) prime?
False
Let o(n) = -762*n. Let j be o(-7). Let l = -3649 + j. Is l a prime number?
False
Let r be (-3)/9 - 546/9. Let m = r - -194. Is m a composite number?
True
Is (-35)/210 - ((-1363)/6 + 1) composite?
True
Suppose 218864 = 47*x - 31*x. Is x prime?
True
Is 14/3 + -4 - (-6469)/3 a prime number?
False
Let d(y) = 125*y**2 - 33*y + 171. Is d(25) a composite number?
False
Let a = 39 + -34. Let u(k) = 43*k**2 + 5*k + 11. Is u(a) prime?
False
Let m = -970 - -685. Let g = m - -419. Is g a prime number?
False
Suppose 38330 = 10*w + 10360. Is w prime?
True
Let z = -16 + 23. Suppose -9*j = -z*j + 170. Let k = j + 147. Is k a prime number?
False
Suppose -41*s + 688513 = -249198. Is s a prime number?
True
Suppose f + 12 = 14. Suppose f*o - 2*q = -5*q + 1461, 2194 = 3*o + 5*q. Is o prime?
False
Suppose 3*a + 111463 = 14*a. Is a composite?
False
Suppose 0 = x + 5*t - 24, -x + 5 = 3*t - 11. Suppose s = -x*v + 477, 0*v + 2351 = 5*s + 3*v. Is s prime?
False
Suppose 0*x + 3*d = -2*x + 30, -2*d - 28 = -4*x. Suppose -3 = u - x. Suppose i + 115 = u*i. Is i prime?
True
Let i(c) = -20*c - 5. Let t be i(-1). Is 12/t - 6633/(-15) a prime number?
True
Suppose -1 + 7 = -2*u, 3*w + 4014 = -4*u. Let b = w + 3651. Is b composite?
True
Let z(o) = 32*o**2 - 4*o + 3. Let t(g) = g**2 + 4*g - 2. Let f be t(-5). Suppose -f*c + 5 = -p, -6*c + 3*c + 2*p = -4. Is z(c) a composite number?
True
Suppose -22 = -7*f - 1. Suppose f*m = -5*n + 3241, -5179 = -4*m + 2*n - 823. Is m prime?
True
Suppose 0 = 9*k - 7*k + 350. Let f = k - -440. Let z = 376 - f. Is z a composite number?
True
Let j be 6 - (2*-6)/(-4). Let a be (-12)/(j/6*-3). Let l(g) = 42*g - 5. Is l(a) a composite number?
False
Let d = 760 - 249. Suppose -z - c + 555 = -d, 5*z = -2*c + 5339. Is z a composite number?
False
Let q(o) = o**2 - 1. Let u be q(-1). Suppose u = -5*c + f - 85 + 3774, -c = -f - 741. Suppose 9*p - 1240 = 4*p - 5*y, -4*y = -3*p + c. Is p a composite number?
True
Suppose 0 = 3*z - z - 26. Suppose -a - 2*t = -z, 6*a + t - 29 = a. Suppose -72 = -a*q + 38. Is q a composite number?
True
Suppose 15*c + 17358 = 21*c. Is c a composite number?
True
Is 139 + 18/3 - (4 + -2) composite?
True
Let w = 3291 + -1417. Is w prime?
False
Let k(l) = -5*l**2 - 6*l + 7. Suppose -7*a + 12*a + 25 = 0. Let f be k(a). Let v = f - -146. Is v prime?
False
Suppose 4*z - 2343 - 19181 = 0. Is z a composite number?
False
Let c = -772 + 4527. Is c a prime number?
False
Is 9 + (-1600)/176 - (-237986)/11 a prime number?
False
Let b(d) = d**3 - 3*d**2 - 2*d + 9239. Is b(0) a composite number?
False
Let z(a) = a**3 - 17*a**2 + 10*a - 18. Let v be z(12). Is (-2)/5 + 2*v/(-15) prime?
False
Let i(d) be the second derivative of d**5/20 - 2*d**3/3 - 3*d**2/2 + 9*d. Let k(g) be the first derivative of i(g). Is k(-7) composite?
True
Let h be -6*2*(-14)/21. Suppose r = 5*r - h. Suppose 0 = -r*d + 1047 + 11. Is d composite?
True
Suppose 5*h - 15 - 5 = 0. Suppose -4*m = -h*t + 9 + 7, 0 = -t + 2*m + 7. Is (t - 574)*(-2)/6 a prime number?
True
Suppose 0 = -3*p, -6 = -3*g + g + 4*p. Suppose -g*k = 5*z - 2276, 2*k + 14 = -5*z + 1523. Is k a composite number?
True
Suppose 4*r - 3*m - 47539 = 0, 32883 + 2763 = 3*r - 5*m. Is r a prime number?
True
Suppose 0 = 2*s - g + 1161, s + 10*g = 11*g - 580. Suppose 3*t = -2*t - 1890. Let o = t - s. Is o composite?
True
Suppose 15917 = -2*o - p + 63629, 2*o = -5*p + 47704. Is o composite?
False
Let p = -1221 + 2088. Suppose 0*c = -2*o + 3*c + 447, -4*o + p = 3*c. Is o a composite number?
True
Suppose 5*j = 2*s - 32, 0 = -j - 3*s + 7*s - 10. Let b be 3/j + 42/4. Is 1160/50 + (-2)/b prime?
True
Suppose 5*d + 5*w - 25 = 0, 3*d + 2*d + 4*w - 21 = 0. Is (1529 - -6) + (1 - (-2 + d)) prime?
False
Let a(m) = 3*m - 8 + m + 18*m**2 - 6*m. Let k be a(4). Let y = -189 + k. Is y prime?
True
Suppose 10*i = 13*i - 240. Suppose 5*w = -0*u - 4*u + 1, 5*u = -3*w + 11. Suppose i = -u*a + 388. Is a prime?
False
Let n(r) = 0*r**2 + 8 - 8*r**2 + 4*r**2 + 0*r**2. Let c(q) = -7*q**2 + 17. Let s(u) = -3*c(u) + 5*n(u). Is s(-8) a prime number?
True
Let l(n) = 21*n + 1. Suppose 3*t = 2 + 4. Suppose -t*d = -5*f + 20, -5*d + 12 = f - 19. Is l(f) a prime number?
True
Let l(u) = -217*u - 16. Let i be l(5). Let x = 1552 + i. Is x prime?
False
Let p(i) = i**2 - 2*i + 6. Let t(x) = -15*x - 3. Let c(j) = -8*j - 2. Let r(b) = 5*c(b) - 3*t(b). Let d be r(1). Is p(d) prime?
False
Suppose 0 = 4*a + a + 25. Let b = 3 + a. Is 4 + b + 60 + -3 a composite number?
False
Let c(y) = 101*y - 16. Let o(q) be the second derivative of 67*q**3/2 - 31*q**2/2 + 2*q. Let k(d) = 5*c(d) - 3*o(d). Is k(-8) prime?
True
Let i = 4 - 1. Suppose -3*n = 3*t - 1155, 4*t = -4*n + i*t + 1528. Is n composite?
True
Let h = 11038 + -7259. Is h composite?
False
Let t = -19 + 11. Let d(b) = b**2 - b - 3. Let x be d(t). Suppose k = 2*k - x. Is k a prime number?
False
Suppose -3*m - 4*s - 6249 = -18630, 3*m + 2*s = 12381. Is m prime?
True
Let m(d) = 153*d + 139. Is m(19) a prime number?
False
Let q(d) be the first derivative of -5*d**5/12 + 11*d**4/24 + 3*d**3 - 3. Let x(m) be the third derivative of q(m). Is x(-6) composite?
False
Let v(r) = 7*r**2 - 30*r + 29. Let z(a) = -3*a**2 + 15*a - 14. Let k(m) = 2*v(m) + 5*z(m). Let i be k(8). Let o = 97 - i. Is o composite?
False
Let z be (-8)/(-6) + (-209010)/(-45). Is z*((-1)/(-1))/((-2)/(-1)) a composite number?
True
Let s(w) = w**3 + 9*w**2 + 6*w + 2. Let i = 7 - 4. Suppose -b + 4 = y - i*b, 5*y + 3*b + 45 = 0. Is s(y) a composite number?
True
Is 7 + -10 + 38075 - 3 a composite number?
False
Let k(y) = -y**2 + 12*y - 3. Let m be k(11). Let a(h) = 153*h - 77. Is a(m) prime?
False
Let z(f) be the first derivative of -9*f**2/2 + 11*f + 1. Is z(-6) a composite number?
True
Let h = 16728 + -8518. Let c = h + -4363. Is c prime?
True
Let r(n) = n - 3. Let i be r(5). Suppose i*t = 11 - 1. Suppose 475 = 5*o - 3*d - 0*d, 0 = t*d. Is o prime?
False
Let s = -6 + -8. Let x be (0 + -4)*7/s. Suppose -x*b = -5*b - w + 475, -5*w = 2*b - 334. Is b composite?
False
Let w(t) = 340*t + 107. Is w(11) a prime number?
True
Let q(c) = 97*c - 12. Let j be (-136)/(-20) - (-1)/5. Is q(j) prime?
False
Let p(m) = m**3 + 5*m**2 - 7*m. Let g be p(-6). Suppose 0*z = -3*z + g. Is ((-1)/z - -1)*838 composite?
False
Suppose -3*d + 5*b = -2*d - 1934, 3*d = -3*b + 5856. Is d a prime number?
True
Let z = 142937 + -100144. Is z composite?
False
Let t = 2140 - 1443. Suppose -t = -6*r + 233. Is r prime?
False
Suppose 0 = -y - 2*j + 7609, -34*j = 3*y - 29*j - 22830. Is y composite?
True
Suppose 43*u - 923062 = 810827. Is u a prime number?
False
Suppose -5*i + 10 = -60. Let y = i + -8. Is ((-628)/y)/((-4)/6) prime?
True
Suppose o = 3*l, -o + 5 = 2. Let r be (-3)/(l + 2 - 4). Is (-1)/r*1*-633 a prime number?
True
Let a be ((-4)/(-12))/(1/(-45)*-3). Let r = 7 + -4. Is (-45)/(-9)*r/a a prime number?
True
Suppose -31 = 4*a - y + 33, -3*a - 4*y = 48. Let g be (4 - 5)/(4/a). Suppose 2*i + 4 = 0, -k - 3*k + 364 = -g*i. Is k composite?
False
Suppose -2*l - 18*u = -14*u - 52762, 5*l + 5*u - 131925 = 0. Is l prime?
False
Let j be (90/12)/((-2)/4). Let m(y) = -4*y**3 - 11*y**2 - 4*y - 17. Let h(s) = 9*s**3 + 21*s**2 + 9*s + 34. Let v(i) = 3*h(i) + 7*m(i). Is v(j) prime?
True
Suppose 4*y + 509 = 3617. Suppose 3*w = -0*w + y. Is w prime?
False
Let u(y) = y**3 - y**2 - y + 106. Is u(0) a prime numb