 composite number?
True
Suppose 0 = -6*f + 5*f + 4*z + 31741, 4*f - 127016 = 3*z. Is f a composite number?
True
Is 8/12*1/(6/126459) a composite number?
False
Is (2/(10/(-7795)))/(-1) a prime number?
True
Let s be (-3)/(-2) - (-591)/(-6). Suppose 5*y - 3*i - 964 = 0, -5*y = 2*i - 538 - 411. Let a = y + s. Is a prime?
False
Let s be (-5)/20 - 2/(-8). Suppose -u - 9 + s = 5*r, -2*u + r - 7 = 0. Is 8/u - -2 - -31 prime?
True
Let w(o) = o + 4. Suppose 0 = 5*i - 3*i + 8. Let l be w(i). Let j(a) = -a**2 + 67. Is j(l) composite?
False
Let i be -4 - -1*16 - 2. Suppose 0*v - v = -3*l - 1856, -2*l = i. Is v a composite number?
True
Suppose 0 = -2*p + 5 + 3. Suppose 3*t - 162 - 896 = -p*w, -t = -4*w - 374. Suppose -2*u + 148 = -t. Is u a prime number?
False
Suppose -p = -2*y + 12, -1 - 7 = 4*p. Suppose -y*z + 5*l = -265, 0 = z + z + 2*l - 106. Is z a composite number?
False
Let p = 27 + -27. Suppose p = 3*o + 3*l - 4095, 3*o = 3*l - l + 4115. Is o prime?
False
Let q = 3892 - 1649. Is q composite?
False
Suppose 0 = -8*q - 10422 + 4006. Let t(s) = 431*s + 5. Let k be t(-4). Let c = q - k. Is c a composite number?
True
Suppose -3*h - 8 = -5*h. Let d be -1*h*325/(-10). Suppose 3*f - 4*q - 133 = 0, 4*f + 5*q - 6 = d. Is f a composite number?
True
Suppose -2*i + 82 = 14. Let t = i - 18. Is 2/3*888/t a prime number?
True
Suppose -4 = -5*b - 1519. Let f = 602 + b. Is f a prime number?
False
Suppose -m + 12 = -4*x - 0, -4*x - 12 = 4*m. Suppose -9*p - 4266 + 21483 = m. Is p a composite number?
False
Let t = -106 - -109. Suppose t*l + 7194 = 9*l. Is l a prime number?
False
Let h(d) = d**2 + 19*d + 17. Let u be h(-20). Suppose 35*z + 596 = u*z. Is z composite?
True
Suppose 0*g - 10 = -2*d + 3*g, 3*d + g = 4. Suppose k - d*k + 16 = 0. Is ((-157)/4)/((-4)/k) a composite number?
False
Suppose 4*p + 4*c = 900, -5*c - 1 - 421 = -2*p. Suppose 0 = a + 4*v - 2*v - 70, -5*v = -3*a + p. Suppose -3*n = -5*d + 80, 5*d = 2*d - 3*n + a. Is d composite?
False
Let v(b) = b**2 + 13*b + 27. Let a be v(-11). Suppose -a*w = -6 - 364. Is w a prime number?
False
Suppose -71951 = -58*v + 47*v. Is v a prime number?
False
Suppose 0 = -s - 175 + 552. Is s prime?
False
Let c = 1331 + 6926. Is c a composite number?
True
Let a(x) = 5*x - 4*x**2 + 5 + 2*x**2 + x**2 + 0. Let c be a(6). Is 14*c/((-8)/212) prime?
False
Suppose -11 = -t - 3*g - 0*g, 5*t - 15 = 5*g. Let y(r) = 8*r**2 + 3*r - 10. Is y(t) composite?
True
Is (-647748)/(-216) - 1/(-6) a prime number?
True
Let j(q) = q**3 - 5*q**2 - 6*q - 1. Let i be j(6). Is (i/(-2))/((-4)/(-280)) composite?
True
Suppose z - 19905 = 2*d, d - 19909 = -z + 2*d. Is z a prime number?
True
Let b(v) be the second derivative of 13*v**4/6 + 5*v**3/2 - 8*v**2 - 2*v. Is b(-11) a prime number?
False
Let r(a) = -665*a + 253. Is r(-38) a prime number?
True
Let k(w) = 15*w**2 - 3*w - 4. Let y be k(6). Suppose 0 = 4*r - y - 178. Suppose 2*l - 116 = r. Is l prime?
False
Let z = 39 - 45. Is 242 + z + 2 + -1 prime?
False
Let x(l) = l**2 - l. Let p be x(0). Let g = -6 - p. Is ((-3)/g)/((-5)/(-380)) composite?
True
Let z(u) = -u + 9. Let v be z(5). Suppose -v*f = f. Suppose -2*r + 258 - 94 = f. Is r a prime number?
False
Let z = -42287 - -70460. Is z a composite number?
True
Let x(h) = -h + 1. Let q be x(-5). Suppose -26 = -q*s + 7*s. Let g = s - -39. Is g a composite number?
False
Let c(p) = 1949*p**2 - 4*p - 2. Is c(-1) a composite number?
False
Let l(u) = -u**3 - 2*u**2 + 4*u + 1. Let j be l(-9). Suppose 3*h = -4*t + 399, 0 = -4*h + 4*t - 3*t + j. Suppose r - h = 90. Is r composite?
False
Let r = 23968 + -16551. Is r composite?
False
Let q = -36 - -79. Suppose -39*c - 2788 = -q*c. Is c prime?
False
Suppose -q - 1654 = -2*i - i, 0 = -3*i + 5*q + 1670. Let x = i - -156. Suppose 5*r + 71 = x. Is r a prime number?
True
Suppose -20*n + 17*n + 114 = 0. Is ((-10317)/n)/((-3)/8*2) a prime number?
False
Let a(x) = -x**3 + 21*x**2 - 60*x - 7. Is a(15) composite?
False
Let h = -21 + 23. Suppose l = -h*l - 6. Let p = l - -121. Is p a prime number?
False
Suppose -j - 4*j = -570. Suppose -3*r + j = -591. Is r a prime number?
False
Suppose -5*a = -5, -l + 2*a + 434 = -3*a. Suppose -4*m = -k - 2600, -m + 5*k = -230 - l. Is m a composite number?
True
Let u(d) = 367*d**2 - 37*d - 3. Is u(-4) composite?
True
Let z be 129 - 5/((-10)/4). Let o(d) = d**3 - 2*d**2 + 2. Let h be o(2). Suppose h*q - z = q. Is q a composite number?
False
Let i = 42776 - 30079. Is i a composite number?
False
Let q be 1*(-6)/21 - 40312/28. Let k = -761 - q. Is k composite?
True
Let r(l) = -l + 7. Let d be r(9). Let y be 28 + 1/2*d. Suppose 0 = 5*o - y - 68. Is o a composite number?
False
Let z(y) = -7*y**2 - 3*y + 3. Let j(u) = -u**2 + u - 1. Let t(p) = -2*j(p) - z(p). Let h be t(1). Suppose -h*m + 6*m = -879. Is m composite?
False
Let c(a) = 34*a**2 + 25. Is c(-6) a prime number?
True
Let v(n) = -168*n - 14. Let o be v(-6). Let q = -633 + o. Is q a prime number?
False
Let l(i) = -82*i + 18439. Is l(0) a prime number?
True
Let t(s) = s**2 + s + 2. Let k be t(-3). Suppose -2*d + k = -3*n + 3*d, 2*n + 5*d + 47 = 0. Let h = n - -42. Is h prime?
True
Let m(p) = 76*p**2 + 18*p + 173. Is m(-30) a prime number?
False
Let f = 31 + -28. Suppose -5616 = -4*g - 2*z, -2*g + f*z + 2*z + 2820 = 0. Is g prime?
False
Suppose 3*y + 2518 - 11947 = 0. Suppose y = 4*w + 3*w. Is w a composite number?
False
Suppose -j - 4*j = 0. Let v(r) = r**3 + r + 863. Is v(j) a prime number?
True
Let z = 69 - 11. Suppose 2*o - 4*y - 186 = 0, z = o + 4*y + y. Is o composite?
False
Let z be -2 + (3 - -265*1). Suppose -329 = -5*g + z. Is g prime?
False
Let m = -2 - -39. Suppose -17*w - m = -18*w. Is w a composite number?
False
Let b be 55*((-69)/(-15) + -1). Let u = 755 - b. Is u composite?
False
Let u(o) = -16*o**2 - 3*o - 2. Let r be u(-2). Let x = r + 145. Suppose x = k - 4*a, -4*k + 268 = 2*a - 0*a. Is k prime?
False
Suppose -3*b + 6*b = 66. Let q be (-6)/4*b/(-3). Let y(g) = g**3 - 12*g**2 + 14*g + 14. Is y(q) prime?
True
Let u(n) = 24*n - 121. Is u(31) a composite number?
True
Let a(m) = -667*m - 128. Is a(-5) a composite number?
True
Let c(z) = 5*z - 10. Let x be c(23). Let s = x - 38. Is s prime?
True
Suppose -466 = -3*w - 4*v, 2*v - 608 = -4*w - 0*v. Suppose -2*a + 9 + w = -s, 0 = 3*a - 2*s - 240. Let b = a - -311. Is b a prime number?
True
Let y = -2981 - -12508. Is y prime?
False
Suppose 4*j - 512 = -0*j. Suppose -j = -11*m + 2853. Is m a composite number?
False
Suppose -3*p = -6*p + 3*l - 39, -3*l = -2*p - 31. Is (-20)/p*(-2)/(-10)*9830 a composite number?
True
Suppose u = -49 + 653. Suppose a + 147 - u = 0. Is a composite?
False
Let n = -11 + 16. Suppose 3*z + n*d + 8 = 0, -17 + 5 = -4*z - d. Suppose 4*k - 2816 = -z*u, -4*u - k + 2797 + 34 = 0. Is u composite?
False
Suppose 4*x - 55182 = -2*x. Suppose 168*k - 169*k = -x. Is k a prime number?
False
Let t = -8287 - -12722. Is t prime?
False
Let s(h) = 3*h**3 + 9*h**2 + 7*h + 3. Let u be (2/(-5))/((-10)/100). Let k(n) = -n**3 + n**2 - n - 1. Let v(g) = u*k(g) + s(g). Is v(6) composite?
False
Is 0 + (-27)/9 + 2003 + 3 composite?
False
Suppose 3*d + 1096 + 1631 = 0. Is (d/(-3))/(((-18)/4)/(-3)) a composite number?
True
Let z = -19 - -17. Let s be (0 + 3)/3*z. Is 2 + 186 + 1 - s a composite number?
False
Suppose -f + 0*f = -5*q + 13, -5*q = -5*f - 5. Let u = 2 + q. Suppose -4*l + 210 = -u*m - 307, 4*l - 2*m = 526. Is l a prime number?
False
Let f = 6683 - 4077. Is f prime?
False
Suppose -7*n - 5933 = -39127. Is n a composite number?
True
Suppose 0 = 7*o - 13*o + 9378. Is o prime?
False
Suppose -b = -3*b + 354. Suppose -5*o + b = -3158. Is o a prime number?
False
Suppose 3*r = -4*y + 4*r + 24529, 0 = 4*y - 3*r - 24539. Is y prime?
True
Let c = -10230 - -42583. Is c composite?
False
Let u be (16/12)/((-6)/(-9)). Let v(z) = -79*z. Let l be v(u). Is l/(-3) + 2/6 prime?
True
Let v = 21692 - 12889. Is v prime?
True
Let k(o) be the third derivative of 67*o**5/60 + o**3/3 + o**2. Let a be k(3). Suppose a = -0*m + 5*m. Is m prime?
False
Suppose 3*d = -2*y - 2257 + 22666, d + 4*y = 6803. Is d composite?
False
Suppose 19*t - 245429 = 680460. Is t a prime number?
True
Let y(u) = u**3 + 3*u**2 - 3*u - 5. Let o be y(-3). Suppose 4 = 4*n - 4, 5*c = o*n + 13937. Is c composite?
False
Suppose 3*l - 2485 = 1