mposite number?
True
Suppose 3*i = 1783 + 16448. Is i composite?
True
Let u = 858 + 851. Suppose 5*y = -594 + u. Is y a composite number?
False
Let j(z) = -z**2 - 13*z - 12. Let d be j(-13). Let m = d - -10. Let i = 37 - m. Is i a composite number?
True
Suppose 2*o + i = 5, 0 = 2*o - o - i - 7. Suppose -o*r + 7*r - 1131 = 0. Is r composite?
True
Let k = -1619 + 2608. Is k a composite number?
True
Suppose -19*h + 24*h = -885. Let p = -112 - -14. Let n = p - h. Is n a composite number?
False
Let h(d) = 11*d**3 - 6*d**2 + d - 5. Is h(11) a composite number?
False
Is 327534/(-2)*3/(-9) a composite number?
True
Suppose 0 = -v - j + 33636, 0 = -5*v - 24*j + 23*j + 168192. Is v prime?
False
Let b(p) = p**2 - 10*p + 9. Let r be b(9). Suppose -2*w + 13 = k, 4*w + 2*k + 3*k - 29 = r. Is w composite?
True
Let y = -7 + 15. Let w(s) = -s**2 + 11*s - 18. Let n be w(y). Suppose -n*v + 816 = -42. Is v a prime number?
False
Suppose 265 = x + 87. Suppose -4*p + x = 2*l - 434, -5*l = 3*p - 1502. Let g = l - 141. Is g composite?
False
Let x = -4545 - -8813. Let c = x - 969. Is c a prime number?
True
Let n(h) = 3*h**2 + 58*h - 318. Is n(49) composite?
True
Let h(o) = o**3 - 1 + o + 7 - 2*o**3 - 15*o**2 - 12*o. Let r be h(-10). Let g = -37 - r. Is g prime?
True
Suppose l = -5 + 10. Suppose -2*o - 5*q = -31, -l*q = 3*o - 0*q - 34. Suppose 0 = u + 2*m - 151, -5*u + 275 = -o*u - 5*m. Is u composite?
True
Let y = 12 - 4. Let b(w) = w**3 - 9*w**2 + 4*w + 3. Let x be b(y). Is -7*(x + (1 - 1)) composite?
True
Let t = -231 - -80. Let a = t + 408. Is a a prime number?
True
Suppose -13*q = q - 8162. Is q composite?
True
Let w = 4300 + 1773. Is w prime?
True
Let m = -40 - -44. Suppose 4*f - 88 = 4*b, 0 = 2*f - 3*f + m*b + 10. Is f composite?
True
Suppose 2*n + n = -4*l + 11925, -l + 3*n = -2970. Suppose -2083 = -3*x + m, -4*x + 4*m - 199 = -l. Is x prime?
False
Suppose -3*x = -5*i - 11712, -x + 762 = -3*i - 3146. Is x a prime number?
False
Let r be 7 + ((-6)/10)/((-1)/5). Suppose r*v = 15*v - 1265. Is v prime?
False
Suppose 0 = -6*q + 2*q - 1092. Let j = q + 520. Is j a composite number?
True
Suppose 208022 + 2115244 = 66*s. Is s a composite number?
False
Suppose n = -5*r + 7784, 2*r - 5*n - 1060 = 2059. Suppose -5*t = 4*s + 2116 + r, 5*s - 4*t = -4622. Let f = s + 1389. Is f a prime number?
True
Let x(v) be the first derivative of v**4/12 - v**3/6 + 451*v**2/2 - 3*v + 4. Let f(j) be the first derivative of x(j). Is f(0) a prime number?
False
Let o be 3*(8/(-6))/(1/(-40)). Let v = 425 - o. Is v a composite number?
True
Let q = -1473 - -2500. Is q composite?
True
Let j be (-4 + 174/(-3))*-2. Is (3 + -1*10)*(-3 - j) composite?
True
Let m(i) = -i + 2. Let x be m(2). Suppose 5*c + 4 - 19 = 0, x = 5*u + c + 2. Is u/(-1) + (-14)/(-1) a composite number?
True
Let q(i) be the third derivative of 13*i**9/30240 + i**7/1680 - i**6/240 + 2*i**5/15 + 7*i**2. Let k(r) be the third derivative of q(r). Is k(2) composite?
False
Let i(o) = -2*o - 30. Let y be i(-17). Suppose 0 = -w + y*g + 73, -5*w = -5*g - 470 + 30. Is w prime?
False
Suppose 0 = 5*h + 1422 + 2718. Let k = 1813 + h. Is k prime?
False
Suppose 14 = 4*u - 14. Let s(p) = 422*p**3 + 22 - 421*p**3 - 5*p**2 - 25. Is s(u) a prime number?
False
Let a(v) = 1. Let t(o) = -1836*o**2 + 6*o - 1. Let y(n) = -6*a(n) - t(n). Is y(-1) a prime number?
False
Suppose 14*n + 48 + 8 = 0. Is (n/7)/(4/(-3262)) a composite number?
True
Let f = -288 - -1912. Suppose -f = 5*t - t. Let p = -272 - t. Is p prime?
False
Suppose -4*h = 3*i - 15, 4*h - 4*i - 1 - 7 = 0. Suppose h = w - 1. Is (-9628)/(-52) - w/26 a composite number?
True
Suppose -3*n = 3*r - 2*n - 6, -n = 2*r - 3. Let a be r*23*(-9)/1. Let z = a + 1162. Is z prime?
True
Let k(o) be the second derivative of -7/3*o**3 + 0 - 7/2*o**2 - 4*o. Is k(-7) a prime number?
False
Let y be 18/(-1)*4/6. Let i = y - -74. Suppose 0 = -2*q + 4*q - i. Is q a prime number?
True
Suppose -14*v - 24 = -17*v. Let n(p) be the third derivative of p**5/20 - 11*p**4/24 + 11*p**3/6 + p**2. Is n(v) a composite number?
True
Let u(i) be the first derivative of -i**4 + 2*i**3 - i**2 + 5*i - 9. Let z be u(-7). Suppose 0 = -4*s + 479 + z. Is s a composite number?
False
Let m = -7 - -11. Suppose v + m*w = -639, 2*v + 1160 = -4*w - 126. Is (v/2)/((-2)/4) prime?
True
Let c be (698/(-6))/((-1)/(-3)). Let w = c + 1262. Is w a prime number?
False
Suppose 0*s + 6 = 2*s. Let j be s/(-6)*(-3 - 1). Suppose -2*k + 4*x + 66 = 2*x, j*k - 66 = -3*x. Is k a composite number?
True
Let z = -5484 - -10921. Is z a composite number?
False
Let k be (-8)/(-36) + (-88)/(-9). Is (2/(-8))/(k/(-31480)) composite?
False
Is (48/(-12) - (-6918)/2) + 2 composite?
False
Let t be 2*1 - (-16 - -14). Suppose -5*a = k - 674, 0*k + 2720 = t*k - 4*a. Is k a composite number?
True
Let t be ((-4)/10)/(4 + 244/(-60)). Is -5*(15804/(-15))/t a prime number?
False
Let v(p) = p**3 + 2*p**2 + 33*p + 37. Is v(11) a composite number?
False
Suppose -5*a = 825 + 595. Let t = a - -1191. Is t prime?
True
Let w(z) = 7 - 4*z**2 + z**3 + 12*z**2 - 10*z**2 + 4*z. Suppose -32 = -5*a - 3*a. Is w(a) a composite number?
True
Is 4*3/((-24)/(-1366)) composite?
False
Let y(v) = 28*v + 3. Suppose 0 - 3 = 2*t + i, -t = 2*i. Let f be y(t). Is f*(-3)/(4 + -1) prime?
True
Let s be -31*(-3 - -18)*-1. Let u = s + -131. Suppose 92 = 2*q - u. Is q composite?
True
Let o = -11280 + 17365. Is o prime?
False
Suppose 2*k - 5*k = 12. Let f be (k/8)/((-1)/996). Suppose -2*y + f = 4*d + 3*y, -5*d - y = -633. Is d prime?
True
Let h(x) be the first derivative of -x**3/3 + 6*x**2 + x + 2. Let a be h(5). Suppose 69 = 3*q - a. Is q composite?
True
Let s(b) = 2*b - 8. Let j be s(7). Let x be ((-229)/3 - -2)*j. Let p = -127 - x. Is p a composite number?
True
Let i(g) = -g**2 - 17*g + 14. Let f be i(-8). Let h = 135 + f. Is h a composite number?
True
Let a = -7163 + 15906. Is a a prime number?
False
Let r(u) = 14*u**2 - 6*u + 9. Let k(w) = w**3 + 9*w**2 - 10*w + 7. Suppose -q + 45 = -5*q - y, 0 = -3*q - 3*y - 45. Let g be k(q). Is r(g) composite?
False
Suppose 9*p + 30 = 14*p. Let s be ((-1)/2)/(p/1392). Is 21/(-7)*s/6 composite?
True
Let h be 2/(-18) + (-1)/(-9). Suppose 0*y + 2*y = -4*b - 10, -b - 3 = h. Is (-3 - y)*(-1265)/44 a composite number?
True
Let f(b) = 10*b**2 - b + 1. Let j be f(1). Let t(n) = 4*n - n + 12*n - 2*n + j. Is t(9) a prime number?
True
Suppose -2*h = 4*v - 3*v - 3839, -3835 = -v - 3*h. Suppose 33*i - 32*i = v. Is i composite?
False
Let s(t) = 47*t + 4. Let c be s(2). Suppose -4*p = -3*p + c. Let y = -55 - p. Is y composite?
False
Is 0 + 130455/33 + 8/(-44) a prime number?
False
Suppose -4*v - x = -9892, -2043 - 2903 = -2*v - 5*x. Is v a prime number?
True
Suppose 2431 = 4*w - y, 5*w + y - 5*y = 3047. Suppose -2*x + w = -0*q + 5*q, 4*q - 5*x = 479. Is q a prime number?
False
Let w(u) = -u**3 - u. Let d(r) = 2*r**3 - 4*r**2 - 12*r + 3. Let x(p) = d(p) - 4*w(p). Is x(5) prime?
True
Let b(y) be the first derivative of y**6/120 + y**5/30 + y**4/4 - 7*y**3/6 + y**2 + 8. Let n(f) be the second derivative of b(f). Is n(6) composite?
False
Suppose -84*c = -5789387 + 152735. Is c a composite number?
False
Let y(m) be the first derivative of m**2/2 + 9*m + 2. Let w be y(-7). Is (29*(2 - -2))/w prime?
False
Suppose o - 8 = -0*o. Suppose 111 = -o*a + 1015. Is a prime?
True
Let b be 9 + (-3 - (-2 - -2)). Suppose w - b*w + 5840 = -y, 4*y - 3504 = -3*w. Suppose 4*a + 228 = w. Is a a prime number?
False
Let z(h) = 474*h - 113. Is z(9) prime?
True
Suppose j = -3*v + 4096, -j - 20580 = -6*j + 5*v. Is j composite?
False
Suppose 1857 = 6*q - 513. Is q composite?
True
Is ((54544/6)/4)/((-2)/(-3)) prime?
False
Is -6 + -5 + (94862 - -22) a prime number?
True
Suppose 5*h = x - 2078, 0 = -47*x + 51*x + 4*h - 8240. Is x a prime number?
True
Let m = 943 - 520. Suppose 4*w = 7*w - m. Is w composite?
True
Let z(t) = 12*t + 8. Let h be z(-11). Let x = h + 187. Let n = -10 + x. Is n a prime number?
True
Suppose 2*j + 0*i + 51 = -i, -2*j + 3*i = 31. Let l be -1 + -3 - -1 - j. Is ((-37)/4)/((-5)/l) a composite number?
False
Let w(m) = m**3 - 8*m**2 + 7*m - 8. Let b be w(7). Let u = -13 - b. Is 39*1 + 3 + u composite?
False
Let n = 103206 - 67955. Is n a composite number?
False
Let c be 0 - (-1151 - (-6)/2). Is -1 + (c