216)/40 - 6/(-10) a prime number?
False
Let z = 0 + 2. Suppose -7*p + z*p = -40. Let s(u) = u**3 - 3*u**2 + 13*u - 11. Is s(p) a composite number?
True
Suppose 3*v - 4*n = 443, -5*n + 448 = 3*v - 4*n. Is v a composite number?
False
Suppose 3*q = 3*v + 801, 4*q - 1044 = -0*q - 2*v. Suppose 0 = 2*j - 111 - q. Is j a composite number?
True
Suppose 149 = 3*s + s - 5*d, 0 = 4*s - 3*d - 147. Let r be 2*(23 - 1) - 3. Let i = r + s. Is i a composite number?
True
Let u = -1167 - -3583. Let s = -1559 + u. Suppose 4*m - 1027 = s. Is m composite?
True
Suppose 51134 - 15056 = 2*b + u, -u = -b + 18045. Is b a composite number?
False
Suppose 2975 - 701 = 6*k. Is k composite?
False
Let z(f) = 27*f**2 + 2*f + 4. Let m be z(-16). Suppose -j + m = 3*j. Is j a prime number?
True
Suppose 5*n + 33 = 4*t, -n - 27 = -t + 4*n. Is (-1 - 15/(-9))/(t/255) a prime number?
False
Let r(g) = 3*g + 2*g - 7*g. Let b be r(1). Is 154 - -2 - (-1 - b) a composite number?
True
Let t(w) = -22 - 23 - 2*w + 13. Let i be t(-15). Is i/(-1 + (-231)/(-237)) prime?
True
Let r = 72 + -182. Is (r/15)/(4/(-66)) a prime number?
False
Let u be (-80)/(-15) + (-3)/9. Suppose 4*q - 2 - 29 = u*f, 5*q + f - 17 = 0. Is (-1 - 1) + q - -269 a prime number?
True
Let m be 4/(-10) - (-46)/(-10). Let z(x) be the third derivative of 11*x**5/30 - 7*x**4/24 + x**3/3 - 25*x**2 + 5. Is z(m) a composite number?
False
Suppose 36*t - 20369 = 27763. Is t composite?
True
Let x be -4 - (-43 + 3)/4. Suppose -37 = x*z + 47. Is (7 - 8)/(2/z) a composite number?
False
Let b = -2532 - -1416. Suppose 6*s - 3*s - 5109 = 0. Let p = b + s. Is p a prime number?
True
Suppose 5*b = z + 149522, 3*b = -2*b + 5*z + 149510. Is b composite?
True
Let y be -1 + (3/3)/1. Suppose -l + y*l = -21. Suppose f - h = h + l, 0 = -2*f - 5*h + 33. Is f a composite number?
False
Suppose 0*g + 1240 = -2*g. Let n = 74 - g. Is n a composite number?
True
Suppose 0*b - 4*b + 36 = 2*m, 0 = -m + 2. Let z(s) = b*s + 5 + s**2 - s + s. Is z(-12) a composite number?
False
Suppose 0 = -2*y + 3*i + 6 + 3, 4*y - 20 = 4*i. Suppose 2*u - 5 + 2 = -p, -5*u + 1 = -4*p. Is y - 5 - (-113 + u) prime?
True
Let w(c) be the first derivative of c**4/4 + c**3/3 + c + 2. Let b(y) = -6*y**3 + 4*y**2 - 6*y - 2. Let v(o) = b(o) + 5*w(o). Is v(4) a composite number?
False
Suppose 0 = -3*q - 10 + 1. Let s = q - -3. Suppose s = -3*h + 545 - 152. Is h a prime number?
True
Let i(c) = 13*c**3 - 17*c**2 - 14*c + 11. Is i(5) a prime number?
False
Let w = 35 + -259. Let i be (w/2)/((-2)/3). Suppose i = s + y + 18, y = 3*s - 430. Is s a composite number?
True
Let i(v) = 2*v**2 + v. Let n be i(-3). Suppose -297 = -3*g + 3*h, -6*h + h + n = 0. Suppose 0*f - 2*f = -g. Is f composite?
True
Let s = 37 - 28. Suppose -2*k + s = -3. Suppose -6871 = -k*x + 755. Is x a prime number?
False
Suppose -8 = -2*r + 4*b, -b = -r + 4*r - 12. Let k = -2 + r. Suppose -k*h + 41 = -21. Is h prime?
True
Suppose 4*a + 5*o - 3043 = 0, a + 5*o = -266 + 1023. Let l = 749 + a. Is l a composite number?
False
Suppose o - 3*l = -7*l - 119, o = 3*l - 147. Let f = 184 + o. Is f prime?
False
Let d be 790/(-11) + 12/(-66). Let c = 28 - d. Let z = c - 11. Is z prime?
True
Let m = -11566 + 20085. Is m a composite number?
True
Suppose -6*b = -b - 25, -j - 4*b = -24. Suppose -u - 4*c - 256 = -0*u, -j*u - 4*c = 964. Let z = -157 - u. Is z a composite number?
False
Let m = 342 - 145. Suppose 0 = -3*z - 2*j + m, 0 = -3*z - 4*j - j + 191. Is z composite?
False
Is 28 - 37 - (-3656)/2 a prime number?
False
Suppose -162*f + 28868 = -158*f. Is f composite?
True
Let i be ((-33)/(-22))/(3/9228). Is (-1 - 0) + i + 3 + 3 composite?
True
Let x be ((-385)/10)/((-1)/2). Let p be (-33)/x - (-11)/(-7). Is 415/(-15)*(p - 1) a composite number?
False
Let v be (-10 - -7 - -1)*(-1 - 0). Suppose -v*t + t - 5*q = -572, 2*q = -4*t + 2342. Is t a composite number?
False
Let s(m) = 545*m**2 - 4*m - 4. Let n be s(-1). Suppose 0*a = 3*a - 3132. Let k = a - n. Is k prime?
True
Suppose -w + 3723 + 2678 = 0. Is w a composite number?
True
Suppose i + 45865 = 5*x, -3*x - i + 1037 = -26482. Is x prime?
True
Let p = 3024 + -5582. Let w = 3895 + p. Is w composite?
True
Let z be -15*(28/12 - 3). Let r be 28/70 - (-76)/z. Is ((-20)/r)/(2/(-28)) prime?
False
Suppose 3*c + m = 243792, m - 309108 - 97214 = -5*c. Is c prime?
False
Suppose -10*q - 10 = -15*q. Let t be (-15 + 16)/(q/4). Suppose 2*o - 1914 = t*j, o - 2*j - j - 961 = 0. Is o prime?
False
Let j = 8221 - -12652. Is j a composite number?
False
Let d = 2336 + -462. Suppose -a = 3*o - 2750, 5*a - 1811 = -4*o + d. Suppose 0 = 5*c - 0*j - 2*j - 915, 0 = 5*c + 2*j - o. Is c prime?
False
Let s(k) = 119*k**2 - 2. Suppose 10 = -j + 6. Let v be s(j). Suppose 0*f - 6*f + v = 0. Is f a prime number?
True
Let n be (-28)/3*3*-7. Suppose -3*g + 2*q = 6*q - 573, g = -3*q + n. Let v = 342 - g. Is v a prime number?
False
Let z be 35/(-2) - 4/8. Let m = z - -23. Suppose 0 = -10*q + m*q + 7355. Is q a composite number?
False
Suppose -25 = 7*z - 4. Is -1 - 0/z - -1736 prime?
False
Suppose -z = -5*n + 384004, 3*n = -3*z - 16973 + 247379. Is n a prime number?
True
Is (5/1 - (8 - 4873))/2 composite?
True
Let c be 3/1 + -4 - 1 - -6. Suppose 2*u + u - 1137 = -4*l, c*u = 2*l + 1516. Is u prime?
True
Let l = 320 - 133. Is l prime?
False
Suppose 0 = s + b + 139, -13*s - 4*b = -16*s - 396. Let a be 2/(-5) + (-3234)/(-10). Let v = s + a. Is v a composite number?
True
Let y(c) = -c**3 + 5*c**2 + 27*c + 7. Let q be y(-6). Let z = 1640 - q. Is z composite?
False
Let f(q) = 91*q**2 + 46*q - 161. Is f(20) composite?
False
Suppose 47*g = 56*g - 285183. Is g a prime number?
True
Is ((-1142)/(-8))/((-52)/(-208)) prime?
True
Let r(a) = 124*a**3 - 2*a**2 + 4*a - 3. Let w be -2 - 1 - ((0 - 3) + -1). Is r(w) composite?
True
Let h(u) = 2925*u**2 - 15*u + 13. Is h(2) composite?
True
Let w(x) = 571*x**2 + 13*x + 7. Let v(b) = -b**2. Let d(l) = 3*v(l) - w(l). Let j(c) = 191*c**2 + 4*c + 2. Let n(s) = 2*d(s) + 7*j(s). Is n(-1) composite?
True
Suppose 40435 - 123178 = -3*r. Is r a prime number?
True
Let b(f) = -f - 17. Let z be b(-12). Let w(k) = k**3 + 5*k**2 - 7. Let m be w(z). Let i = m + 50. Is i composite?
False
Let v(u) = -129*u - 119*u + 114*u - 119*u - 42. Is v(-5) prime?
True
Suppose 4*n + 9 - 5 = 0. Is (-6)/2 + n + 891 composite?
False
Let v(m) be the first derivative of 8*m**3/3 + 2*m**2 - 3*m + 7. Let u(i) = 9*i**2 + 4*i - 3. Let x(l) = -6*u(l) + 7*v(l). Is x(-4) composite?
False
Suppose 4*o - 3*v - 2 = -0*v, 2*v + 4 = 4*o. Let k(r) = 5*r**2 - 10 - 3*r**o + 7*r - 5*r**3 + 5. Is k(-4) a composite number?
True
Suppose -2*t + 561 = t. Suppose 0*k + k = t. Is k a composite number?
True
Suppose -944 - 92 = -4*c. Is c prime?
False
Let m be 1/(-2) - 22/(-4). Suppose 0 = -3*p + m*k - 20, 2*k + 2*k = -2*p + 16. Suppose -4*z + p*z + 76 = 0. Is z composite?
False
Let y = -7766 + 4406. Let d = y + 6407. Is d prime?
False
Let z(h) = 89*h**2 + 19*h - 7. Let x be z(-8). Let g = -964 + x. Is g composite?
True
Let p(s) = s**3 - 16*s**2 - 17*s - 24. Let i be p(17). Let g be 3/(-9) - 56/i. Suppose -5*t = g*x - 431, 2*t = 4*x - x - 675. Is x a composite number?
False
Let b = -9 - -12. Suppose 0 = 4*m - 12, -c - b*m = c - 335. Is c a prime number?
True
Let n be ((-2)/(-7)*-1)/((-3)/42). Suppose -2*q - 6*v + 4*v = -1926, 0 = -n*q - 2*v + 3842. Is q composite?
True
Let p = -13 + 19. Suppose -3*f = -p*f + 879. Is f a prime number?
True
Suppose r - 5*z - 1282 = 611, -3*z + 6 = 0. Is r prime?
False
Let i be (-2890)/51*(-1464)/10. Let u = i + -5347. Is u prime?
False
Let o = 69 + 33. Suppose 3 = -3*s, -2*s = k - 497 + o. Is k composite?
False
Let c be -4 - (-2 + 0) - 89. Let v = 308 + -111. Let h = v + c. Is h a composite number?
True
Let n(v) = 118*v**2 - 6*v + 8. Let d be n(4). Is d/20 + (-4)/(-10) a prime number?
False
Let f(k) = k**3 - 9*k + 7 + 3*k**2 + 5*k**2 - 5*k**2. Let t(c) = -2*c**3 - 6*c**2 + 19*c - 14. Let u(z) = -13*f(z) - 6*t(z). Is u(-6) a composite number?
False
Suppose 4555 = 2*n - n. Is n composite?
True
Suppose -5977 = -3*i + 2699. Let n be 2*4/(-8) + i. Suppose 5*b = -2*b + n. Is b prime?
False
Suppose 0 = -21*r + 24*r - 6. Suppose r*j = -j - m + 449, -4*j = 4*m - 604. Is j composite?
False
Suppose -60*z + 623 = -59*z. Is z a composite number?
