10) prime?
True
Suppose 3*q - 21 = -3*v, 2*q + q - 2*v - 1 = 0. Suppose q*u - 439 = 5*p + 280, 2*u = 2*p + 474. Is u prime?
True
Let b = -3727 - -5506. Is b a prime number?
False
Is (6/(-3) - -4)/(6/4143) a prime number?
True
Let a be 2/5 + 99/15. Let s(z) be the second derivative of z**4/6 - z**3 - 3*z**2/2 - 18*z. Is s(a) a composite number?
False
Is 2/(-5 + 113871/22773) a composite number?
False
Suppose -22*s + 20*s = -20. Suppose 0 = -2*w + s*w - 1496. Is w composite?
True
Suppose 5*b = m - 19 - 10, -5*b - 5 = 5*m. Suppose -5*g - 3*s + 402 = 0, -m*g - g - s = -404. Let v = -58 + g. Is v a composite number?
False
Suppose -16 = -2*q - 12. Let r = 93 + q. Is r prime?
False
Let f be (-120 - 9/3) + -1. Let r = 180 + f. Is (-2)/(-2) + (r - -2) a composite number?
False
Suppose 3*z - l - 48 = 8*z, -3*z + 4*l = 15. Let a be 2/z + 48/(-27). Is ((-105)/12)/(a/8) a composite number?
True
Suppose b + 697 = -651. Let z = 2147 + b. Is z prime?
False
Suppose a - 20 = 4*d + 4, -3*a + 4*d + 32 = 0. Let f(y) = -12 - 6*y + 13*y**2 + 6 + 7 + 0. Is f(a) a prime number?
False
Suppose 13132 = 2*o - 5*c + 2*c, -5*o - c + 32813 = 0. Is o a composite number?
False
Let z be 303/12 + 3 + (-2)/8. Is ((-413)/2)/((z/(-8))/7) a composite number?
True
Let s be 52/(-65) + (-4)/(-5). Suppose s = 4*x + 53 - 321. Is x prime?
True
Let b(u) = 303*u**2 + 2*u - 1. Let g be b(1). Suppose 3*y - m = 1200, 3*y - 3*m = 896 + g. Suppose 4*o - 1880 = j, 0 = 2*o + 5*j - 562 - y. Is o a prime number?
False
Suppose 0 = q - 138 - 5. Is q composite?
True
Suppose -3*b - 12321 = -2*d, 2*d - 4*b = -9*b + 12313. Suppose q - 2*q = 5*m - 6151, -5*m + q = -d. Is m a prime number?
True
Let b(r) = r + 7. Suppose 3*g + 8 = -7. Let i be b(g). Suppose -8 = -0*h + i*h, 4*h = 4*a - 1772. Is a composite?
False
Let k be 1*-13 + 0/(-5). Let m(v) = -v**3 + 12*v**2 - 5*v - 1. Let y(j) = -j**3 - j**2 + j + 1. Let s(w) = m(w) - 2*y(w). Is s(k) a composite number?
False
Let v = -3 - 1. Let r(u) = -u**2 - 5*u - 2. Let d be r(v). Suppose q + 37 = d*q. Is q composite?
False
Let w(x) be the third derivative of 5*x**4/2 - 9*x**3/2 + 22*x**2. Is w(10) prime?
False
Let s = 153 - 78. Suppose 10*u - 7*u - s = 0. Is 742/5 - (-15)/u composite?
False
Is ((-16)/48)/((-2)/(-42)) + 19548 a composite number?
False
Let c(h) = h**3 - 5*h**2 - 15*h + 10. Let q be c(7). Let r(u) = 506*u + 17. Is r(q) prime?
False
Let c = 2 - 5. Let m = 94 - c. Suppose m = t - 556. Is t composite?
False
Suppose -4*x + 7978 = -m, -x + 7984 = -m + x. Is m/(-16) - (-33)/(-88) composite?
False
Is (-84)/56*(-153004)/6 prime?
False
Let m(o) = 96*o**2 - 32*o + 10. Let h be m(7). Suppose c + 3*c - h = -3*z, 2*z - 4488 = -4*c. Is c a composite number?
True
Let o = -34751 - -54306. Is o composite?
True
Suppose -3*w + 2737 = -3*x + w, 4*w + 1838 = -2*x. Let t = 1556 + x. Is t a prime number?
True
Let v = 8 + -15. Let z be -1*(-75)/(-3)*v. Suppose 3*m = 4*c - 140, 4*c + 5*m = -c + z. Is c prime?
False
Suppose 0 = 6*s + 3*s + 3*s. Suppose 5*k - 55 - 110 = s. Is k a composite number?
True
Suppose 3*c - 8*c + 20 = 0. Suppose -2*m + 2*u = -8, -4*m + c*u = 6*u - 16. Suppose 679 = 3*d - m*r + 266, -4*r = 3*d - 373. Is d composite?
False
Let i(p) be the first derivative of p**4/2 + 2*p**3/3 - p**2/2 - 4. Let h be i(1). Suppose 4*q = -m - 4*m + 38, -h*m + 34 = 4*q. Is q composite?
False
Let t = -20134 - -32103. Is t prime?
True
Let a(m) = m + 1. Let s(h) = 12*h - 7. Let j(p) = -6*a(p) + s(p). Let b = -299 + 313. Is j(b) composite?
False
Suppose -12*b = -6*b - 6018. Let r = b - 324. Is r a composite number?
True
Let g(u) = -u + 448. Let y be g(0). Let k = -22 + 197. Let c = k + y. Is c prime?
False
Suppose 42*b = 7*b + 809795. Is b composite?
True
Let z = -5059 - -7520. Is z composite?
True
Suppose -3*q = -2*g - 2 - 4, -4*g - 12 = -5*q. Suppose q*u = 3*t - 5*u + 810, 0 = 3*t + 2*u + 831. Let w = -184 - t. Is w a composite number?
True
Suppose 0 = 5*c - 4*w - 38479, 4*w - w - 12 = 0. Is c composite?
False
Suppose 789056 = 49*m - 788450. Is m prime?
False
Suppose -4 = 56*r - 54*r. Let i(z) be the second derivative of 19*z**4/6 + z**3/2 + 3*z**2/2 + z. Is i(r) a composite number?
False
Suppose -174792 = -38*u + 14*u. Is u a composite number?
False
Suppose 0*r = 5*r + 120. Let g = r - -29. Suppose -7*m + 2*w = -3*m - 52, g*m - w = 68. Is m prime?
False
Suppose 0 = -2*i + 102 + 18. Let v = -23 + i. Is v a prime number?
True
Suppose -5*m = 2*l + 39, 2*l + l + 6 = 0. Let d(p) = 40*p**2 - 9*p - 2. Let h be d(m). Suppose 0 = -4*v + h + 191. Is v composite?
True
Let r = 23 + -19. Suppose -5*j - 3*o = -2*o - 1173, 5*j - 1183 = r*o. Is j a prime number?
False
Let l = -502 - -739. Is l a composite number?
True
Suppose -4*k + 167 - 55 = 0. Suppose 25*m - k*m = -1347. Is m prime?
True
Suppose 14*b = 22*b - 824. Is b a prime number?
True
Let u(o) = -o**2 - 16*o + 17. Let j be u(-17). Suppose 0 = -j*b + 3*b - 318. Is b a prime number?
False
Suppose 0 = -4*r + 2*g + 1936, -547 = -5*r + 4*g + 1876. Let q be r - ((-16)/(-4) + -4). Suppose 0 = 2*f + 5*p - 980, 2*f = 3*f - p - q. Is f composite?
True
Let v be 33/2*(3 + 2/6). Let x = 4 + -2. Suppose -v = -p - x. Is p composite?
False
Suppose -3*y = y + 4*l - 18784, 2*y - 3*l = 9407. Is y a prime number?
False
Suppose 4*w + m - 23613 = 0, -43*w + 5*m - 23617 = -47*w. Is w composite?
False
Let s = 1301 + 136. Suppose -10*z = -11*z + s. Is z a prime number?
False
Let d(r) = 37945*r**2 + 8*r - 4. Is d(1) prime?
False
Let z = -50 - 390. Let u = z + 1031. Is u a prime number?
False
Let v(o) = o**3 - 13*o**2 - 2*o - 6. Let q be v(10). Let d = 715 + q. Is d a prime number?
True
Let q be (-7)/35 - (-2)/10. Suppose 4*y - 96 - 124 = q. Is y a composite number?
True
Suppose -3*m = -4*n - 0*n - 39, 2*n = 4*m - 42. Let r(j) = -19 + m*j - 39*j**3 + 20*j**2 - 39*j**3 + 79*j**3. Is r(-18) a composite number?
False
Let t be (1 + -23)*3/6. Let o(a) = -7*a + 8. Is o(t) a composite number?
True
Suppose 2*o + 8*q - 11*q = 15, 5*o = -2*q + 47. Is o composite?
True
Let c(z) = 77*z**3 + z**2 - 4*z - 9. Is c(4) a prime number?
True
Let c be (-2)/(-7) - 60936/(-21). Let p = -4356 + c. Is 16/(-40) - p/10 prime?
False
Let g be (-268)/(-8) - (-2)/(-4). Suppose -3*d = -8*d + 2*b + g, -3*b = -4*d + 32. Suppose 0 = i - d*f - 60, -4*i - 4*f = -7*f - 325. Is i a composite number?
True
Let s(p) = -p. Let l(d) = -2*d**3 - d**2 - 4*d + 3. Let o(z) = l(z) + 6*s(z). Is o(-8) composite?
True
Let j(b) = 1126*b - 147. Is j(11) prime?
True
Let j(o) be the second derivative of 2*o**2 + 4*o - 1/4*o**4 + 0 - 1/20*o**5 - 1/2*o**3. Is j(-3) a prime number?
True
Suppose 0 = -5*n - 218*j + 222*j + 92383, 2*n = 2*j + 36952. Is n a prime number?
False
Suppose 3*m - 6043 = -2*i, m - 6*i = -2*i + 2033. Is m a prime number?
True
Let k = 16710 - 5987. Is k composite?
False
Let x = -5 - -16. Let w(o) = o**2 - o - 4. Let i be w(-5). Let m = i - x. Is m a composite number?
True
Let p(a) = 904*a**3 + 4*a**2 - 8*a + 7. Is p(1) a composite number?
False
Suppose -2*t + 1 - 2 = -3*r, -8 = -5*r - 3*t. Let v(f) = -5*f + 57*f**3 + 16*f - 1 - 10*f + f**2. Is v(r) composite?
True
Let h = -3 - -5. Let x = 5 - h. Suppose -5*i = -r + 4*r - 318, -4*r + 424 = x*i. Is r a prime number?
False
Suppose -4*b - q + 2*q + 19 = 0, -23 = -5*b + 2*q. Suppose -603 = -5*v - 2*k, -v + 2*v - 126 = b*k. Is v prime?
False
Is 5/(-3) - ((-12946)/6 - -1) prime?
False
Let c(h) = 14*h**3 - 4*h**2 + 100*h - 1. Is c(14) prime?
False
Is -2 + -2 + 1 + (-3 - -559) a prime number?
False
Suppose -2*n - 594 = -u + 783, n = 5*u - 6921. Is u a prime number?
False
Let s(j) be the first derivative of 94*j**3/3 - 2*j**2 - 5*j + 10. Is s(-2) a prime number?
True
Let a(w) = -w**3 + 7*w**2 + 8*w. Let k be 1 - (1 + 0)*-6. Let p be a(k). Is 8360/p + 4/(-14) prime?
True
Let b(k) = -36*k - 5. Let f be b(-7). Suppose 4*l - 1899 = -f. Is l a prime number?
False
Let r(l) = 7*l**3 + 3*l**2 - 4*l + 5. Let k = -12 - -9. Let j be -3 + 1 + 3 - k. Is r(j) prime?
False
Let w(d) = -58*d - 365. Is w(-27) composite?
False
Let s = 17 + 6. Suppose -2*k + 3*g + 29 = 0, 4*g = k - 4 - s. Suppose x = 120 - k. Is x a composite number?
False
Let y(r) = -11529*r + 121. Is y(-6) composite?
True
Let a(w) = -12 - 7*w - 8*w**2 + w**3 + 6*w**2 + 13*w**2. Suppose 8*t - z = 3*t -