i) prime?
True
Suppose -7*b = -2*b + 20, 5*z + 2*b - 7 = 0. Suppose z*f + 189 = -12. Is 10*f*2/(-4) prime?
False
Suppose 627518 = 27*l - 551599. Is l composite?
True
Let p(s) = s**2 - 19*s + 21. Let i be p(18). Let c(t) = 156*t + 23. Is c(i) prime?
True
Is (5 + 23/(-5))/((-16)/(-774920)) a prime number?
True
Suppose -5*t - 18 = -33. Suppose -t*o + 3*a + 2587 = -a, 0 = o + 4*a - 857. Suppose 304 = 5*h - o. Is h prime?
True
Suppose 3*s + 8*s - 44 = 0. Is 55624/168 - s/42 a composite number?
False
Let w(m) = -1099*m + 86. Is w(-5) composite?
False
Let z(n) = -53*n - 5. Let f(a) = -a**2 + 2*a + 4. Let p be f(3). Let x(c) = c - 1. Let u(m) = p*z(m) - 6*x(m). Is u(-2) a prime number?
False
Let v = 18180 + -10825. Is v a prime number?
False
Suppose 9*z - 31*z + 13926 = 0. Is z a prime number?
False
Let l(g) = 18*g - 2. Suppose 5*n + 4*w - 4 = 0, 0*w = n - 2*w - 12. Suppose -n*o + 5*o - 4 = 0, 0 = f - 3*o + 10. Is l(f) a prime number?
False
Let q = 22 - 12. Is 8/q - 19386/(-30) composite?
False
Let f(z) = -3*z**2 - z + 4 - 5*z + 8*z**2 - 5*z. Let k be f(-8). Let i = k + -289. Is i prime?
False
Suppose -2*d + 8*r - 10*r = -3272, 3*r = -4*d + 6541. Is d prime?
False
Suppose -5*i + 16 = -0*c + c, -4*c = i - 7. Suppose 2946 = i*h - 4113. Is h prime?
False
Suppose 11 = -r + p + 2*p, -8 = 4*p. Let h be 4/(4/r) + 2. Is (-6)/h + 546/10 a composite number?
True
Is -1 - (-23)/(69/7884) a prime number?
False
Let b be 4/6 + -2 + (-128)/12. Is (2/(8/b))/(3/(-709)) a composite number?
False
Suppose 117335 = 5*d - 5*o, 9*d - 14*d + 117349 = 2*o. Is d a composite number?
True
Let n = 22 + -9. Let i = n - 10. Suppose -i*m + 651 = -0*m. Is m a composite number?
True
Is (-71215)/(-10) + 9/(-18) a prime number?
True
Let n = -8140 + 13919. Is n composite?
False
Let h be (-6)/15 + (-10)/(-25). Suppose h = 34*q - 33*q - 2039. Is q a composite number?
False
Let f = 6760 + 3197. Is f a composite number?
True
Suppose 7*y - 64836 - 83165 = 0. Is y a composite number?
False
Suppose 2*w + 0 - 10 = 0. Suppose 3086 = w*r + 331. Is r a composite number?
True
Let g(y) = 2*y**2 - 7*y - 1. Let l(w) = -w**3 + 6*w**2 + w - 1. Let z be l(6). Let f be g(z). Is (-1)/(-7) - (-1776)/f a prime number?
True
Let t = 11 + -7. Suppose -16 = -4*b, t*z - 2*b = -z + 12. Suppose -v - 110 = -2*x - z*v, -4*x + 220 = 5*v. Is x composite?
True
Suppose -11095 = o - 30804. Is o composite?
False
Suppose -4*m = -h - 93, -3*m + 5 = -4*h - 55. Let z(y) = 6*y**2 + 4*y - 6. Let g be z(7). Is g*14*3/m prime?
False
Suppose -3*x - 4*j = -18, 7 = 5*x + j - 2*j. Suppose 0 = 4*y - x*y - 15008. Is 1/2*y/8 prime?
False
Let v be 1/(-3) + ((-204828)/9)/(-2). Suppose 3*o = -5*a + v, -6*a = 2*o - 3*a - 7586. Is o a composite number?
False
Suppose -l - 6 = -2*z + 11, 2*z - 13 = 5*l. Is 135 + (-12)/9 + (-6)/z a composite number?
True
Is 68874 - 7*(-3)/(-21) a composite number?
True
Suppose 0 = -4*t - d + 18, d = -4*t - 3*d + 12. Suppose 33 = 4*f - t*i, 0*f - 7 = 4*f + 3*i. Suppose f*s = 4*s - 778. Is s a prime number?
True
Suppose 14 = -w + 4*q, -5*w + 4*q = q + 2. Suppose -w*u = 0, -80 - 131 = -y - 4*u. Is y composite?
False
Let j(k) = -28*k**2 + 5*k + 24. Let i(s) = -84*s**2 + 15*s + 72. Let v(y) = -3*i(y) + 8*j(y). Is v(-5) a prime number?
True
Suppose -w + 5 = 0, -2543 - 642 = 5*z - 4*w. Is z/(-5) - 34/(-85) a prime number?
True
Let y(a) = 4 - 2 - 5*a + 3*a + 3*a. Let w be y(-4). Is w/(-7) + 9367/119 composite?
False
Let f(l) = -15*l - 1. Let i be f(0). Let v = 232 + -42. Is 3/(-3)*(i - v) composite?
False
Suppose -26*k + 42*k - 11408 = 0. Is k prime?
False
Let t(d) = 15*d**2 - 59*d - 17. Let s(x) = -5*x**2 + 20*x + 6. Let b(l) = 11*s(l) + 4*t(l). Is b(7) a prime number?
True
Let i(x) = 1315*x**2 - 10*x - 7. Is i(4) prime?
False
Is 77516/10 + 336/240 a prime number?
True
Let s = 110865 + -45896. Is s a composite number?
False
Let f be (-2)/(-8) + 4 + (-119)/28. Suppose 16*d - 13*d - 1473 = f. Is d composite?
False
Let k(u) = u**3 - u**2 - 6*u. Let r be k(3). Suppose r = -16*g + 12*g + 3548. Is g composite?
False
Let h = -24829 + 42552. Is h a composite number?
True
Let q(s) = 2348*s + 9. Is q(1) prime?
True
Suppose 6*s = s + 55. Let f(j) = j**3 - 10*j**2 - 13*j + 14. Let q be f(s). Is (-597)/(-4) + 2/q prime?
True
Suppose 3*j = 3*v - 2442, 4*v - 3023 = -5*j + 242. Is v prime?
False
Let n = 11 + -12. Let p be n - (-2)/4*10. Suppose 0 = -2*f + v + 145, -78 - 8 = -f - p*v. Is f a prime number?
False
Let i = -3 - 81. Let p = i - -31. Let y = 65 - p. Is y prime?
False
Let y = -21371 + 41998. Is y a prime number?
True
Let m(i) = -i**3 + 27*i**2 + 5*i - 39. Is m(14) composite?
False
Let o(u) = 17*u - 50. Let i be o(-23). Let r = i - -860. Is r a composite number?
False
Is (-194)/3*(-7)/((-42)/(-333)) composite?
True
Let m = -9 + -2. Let y = -8 - m. Is (3/9)/(y/63) a prime number?
True
Let k(w) = -w**3 + 7*w**2 - 5*w - 2. Let r(u) = -3*u - 1. Let b be r(-2). Suppose n - 16 = -3*o, -14 = -3*o + 6*n - b*n. Is k(o) prime?
True
Suppose 476*m = 488*m - 410268. Is m composite?
True
Suppose -10*b + 26054 = -3*b. Is b composite?
True
Let t be (-42)/(-28)*(-8)/(-3). Suppose -t*p = 5*p - 15489. Is p a prime number?
True
Let s(b) = b**2 - 2*b - 22. Let r be s(6). Suppose -4*u = 2*y - 574, r*y + 3*u = -0*u + 577. Is y a composite number?
False
Let l(o) = 1 - 3*o - 2*o + 3*o + 3*o. Let s(x) = 59*x + 10. Let p(u) = 5*l(u) - s(u). Is p(-6) a prime number?
False
Suppose -z - 1 = -7. Let j(c) = 3*c - 24. Let q be j(8). Is (-51)/z*-6 + q prime?
False
Let b(q) = -40*q + 1117. Is b(0) a composite number?
False
Suppose 0 = 8*f - 21336 - 18880. Is f composite?
True
Let b = -1 - -1. Let f be (b + -1)*(-7 + 2). Suppose -f*c + 477 = -2*c. Is c prime?
False
Suppose 0 = 13*s + 602 - 2747. Let h be 1 - (-1 - (-1 - -379)). Let b = h - s. Is b prime?
False
Let r be (48/(-40)*1)/(2/100). Let f = r + 182. Is f a composite number?
True
Let q(p) be the first derivative of -p**5/20 - p**4/4 + p**3/2 + 2*p**2 - 5*p + 1. Let z(x) be the first derivative of q(x). Is z(-5) composite?
True
Let d = 7 + -3. Suppose -435 = -u - 0*u + 2*x, d*u - 1788 = -4*x. Is u prime?
True
Let h be (8/(-20))/(1/(-10)). Suppose -3*a + 5*a - h = 0. Suppose -c + 305 = -f, -a*c - 3*f + 594 = -f. Is c prime?
False
Suppose -1073 = 3*u - 4*r, r = 4*u - r + 1414. Let d = u + 554. Is d composite?
True
Suppose 3507 = 7*q + 1071. Let h be 17/(0 - 1/11). Let x = q - h. Is x a prime number?
False
Suppose -2*b = -1 - 7. Suppose 2*y + 4 = 0, -b*w - 3*y + 274 = 2*y. Is w composite?
False
Let z(x) = 20*x**2 + 4*x**2 - x**3 - 23 + 28*x - 3*x**2. Is z(21) a composite number?
True
Let l = 216 - 742. Let a = 958 + l. Suppose w - a = -4*i, w - 175 = 5*i - 724. Is i a composite number?
False
Let x = 880 - 598. Let c = 418 - x. Suppose 4*j + c = 4*l, 2*l + 3*j - 38 = l. Is l prime?
False
Let t(i) = 502*i + 329. Is t(60) a prime number?
True
Let t(z) = -z**3 + 4*z**2 + 5*z - 4. Let q be t(-7). Suppose 2*p - 2006 = q. Is p a composite number?
True
Suppose -2*z = s + 2, 5*s - 3 - 5 = -z. Suppose -s*m - 5*t - 143 = 0, 0 = 2*m + t + 3*t + 142. Let v = m - -115. Is v a prime number?
False
Let i(c) = -17 - 5*c - c**2 - 8*c - 10*c. Is i(-19) prime?
True
Let j = -8 - -11. Let b be j/(21/(-15) + 2). Suppose -2*n + 5*h + 329 = -319, 0 = n + b*h - 354. Is n a prime number?
False
Let h = 1616 - -1511. Is h a prime number?
False
Suppose 5*p + 1 - 16 = -5*t, -t = 4*p. Let q(i) = i**2 - 1. Let d be q(p). Suppose h - 3*n = 11, d = h + n + 4*n - 11. Is h a composite number?
False
Let k be ((-4)/(-2))/((-12)/(-7566)). Let x = k + -688. Is x a prime number?
False
Let x = 33 + -37. Let l(m) = -m**2 - 5*m - 1. Is l(x) a composite number?
False
Let d(s) = -2*s - 7. Let m be d(-5). Is (63/42)/(m/382) a composite number?
False
Let j(p) = p**3 + 6*p**2 - 3*p - 12. Let n be j(-6). Suppose -s + 262 = 25. Is s - 3/n*4 prime?
False
Let k = 2612 + -1557. Is k a prime number?
False
Suppose 0 = -2*x + 14 - 8. Suppose -2*v = 3*v. Suppose v = -3*y - x*z + z + 373, -4*z - 397 = -3*y. Is y a composite number?
False
Let h(l) = -l - 32. Let g(y) = 1. Let b(r) = -4*g(r) - h(r). Is b(-6) a composite number?
True
Let v = 38 + -34. Suppose 0 = -v*q - 644 + 2416. Is q a prime number?
True
Suppose 8*p = 504236 - 132324. Is p a prime number?
True
Let i