*t = 37 + 18. Suppose 0*w = -5*v + 3*w + 22, 3*v = 4*w + t. Suppose 0 = -v*f + 38 + 27. Is f composite?
False
Let k(h) = h**3 - 6*h**2 + 5*h. Let b be k(4). Let q = -21 - b. Is (-6)/(-27) - 34/q a composite number?
True
Suppose 3*s + 7*o - 96 = 2*o, -o - 105 = -4*s. Suppose -3*z - s = -174. Is z a prime number?
False
Let w = -51 + 140. Is w a prime number?
True
Let y = -3 - -5. Let i(a) = -16*a**3 - 3*a**2 - 2*a - 2. Let j be i(-2). Suppose -4*v - 59 = -o - 250, -4*o = y*v - j. Is v a prime number?
False
Let q(d) = d**3 - 7*d**2 - 2*d - 12. Let u be q(9). Suppose -220 = -4*h + 4*s, -5*s - 10 = -0*s. Let y = u - h. Is y a prime number?
True
Let o(x) = 147*x + 8. Is o(3) composite?
False
Suppose -2*t + 17 = -3*f, t - 3*f = 6*t - 11. Suppose -t*n = 4, 3*z - 3*n - 313 - 23 = 0. Is z a prime number?
False
Suppose 2*n = 5 + 5. Suppose -n + 23 = 3*f. Is f a prime number?
False
Suppose -c - s + 0 = -83, 4*c + 5*s - 337 = 0. Let i = c - -11. Is i composite?
False
Let j = 761 + 98. Is j composite?
False
Let p be (9/(-12))/((-1)/(-4)). Is p*(1/(-3) - 2) a prime number?
True
Let a = 2 - 0. Suppose -254 = -a*l - 0*l. Is l composite?
False
Let l(y) = -4*y + 9. Let r(k) = k**3 - 7*k**2 + 6. Let x be r(7). Let g be l(x). Is (-310)/g + 1/3 composite?
True
Suppose -2 - 4 = -2*j. Suppose 4*z = j*z + 15. Is z prime?
False
Let d(y) = -212*y - 1. Suppose -5 = 2*h - 3. Is d(h) composite?
False
Let c be ((-6)/(-5))/((-3)/(-10)). Suppose c*a + 5*k = 2*a + 20, -5*a = k - 27. Suppose 5*y + a*r - 170 = 0, -3*y + 5*r = 2*y - 180. Is y a prime number?
False
Let a = -151 - -342. Is a a prime number?
True
Let q = -24 + 46. Is q a composite number?
True
Suppose -541 = -r + 2*c, 0*c + c = r - 541. Is r a composite number?
False
Let d be ((-212)/(-6))/(2/(-3)). Suppose -3*v + z + 263 = 0, 4*z + 102 = -4*v + 458. Let q = v + d. Is q prime?
False
Let a(d) = 3*d**2. Suppose 2*q + 5 = 3*i - 11, 2*i = -4*q - 16. Let m(c) = -9*c**2. Let r(b) = i*m(b) + 7*a(b). Is r(1) a composite number?
False
Let b be 6/(-15) + 497/5. Suppose -b = -3*o + 39. Is o a prime number?
False
Is (-41483)/(-9) + (-10)/45 a prime number?
False
Let m(s) = -8. Let i(u) = u + 23. Let t(k) = 3*i(k) + 8*m(k). Let h be t(4). Is 7/7 - -2*h composite?
True
Suppose -15 = -5*t, c = -4*t + t - 25. Let p = 303 - 202. Let a = p + c. Is a prime?
True
Let d = 409 + 310. Is d prime?
True
Suppose -8*n = 14*n - 14718. Is n a prime number?
False
Let j(q) = -877*q**3 - 2*q - 2. Is j(-1) a prime number?
True
Is ((-331)/(-4))/((-1)/(-4)) a prime number?
True
Let h(u) = 18*u**2 + 7*u + 8. Is h(7) composite?
True
Suppose -o - 2*o - 24 = -3*n, -2*o - 10 = 0. Suppose -s - 93 = -574. Suppose -n*m + s = -2*k, 0*m - k = m - 152. Is m a composite number?
False
Let p be ((-18)/(-5))/(3/(-200)). Let l = 782 + -415. Let b = p + l. Is b prime?
True
Let y be -1*11*(9 - 4). Is (-1*1)/(1/y) a composite number?
True
Let z(u) = 3*u**2 - 8*u - 2. Is z(7) a prime number?
True
Suppose 4 + 1 = -k. Let z(l) = -l - 3. Let n be z(k). Suppose 0 = -n*d + 5*d + 2*w - 67, -68 = -3*d - w. Is d prime?
True
Let m = -69 - -178. Let z = m - 4. Suppose -3*q - 2*j + 337 = 2*j, -5*j = q - z. Is q composite?
True
Suppose 5*c - 12 = 3. Suppose -3*i + c = -2*i. Suppose 0 = 2*l + i*l - 155. Is l a composite number?
False
Let n(s) = s + 2. Let x = 3 + -3. Let m be n(x). Suppose 15 + 23 = 2*z + 4*a, -5*a = -z - m. Is z composite?
False
Suppose -3*q - 8 = -2*m - q, 3*m + 2*q - 7 = 0. Suppose 16 = 2*f - 4*c, -3*f + 17 = f - m*c. Is -7*2*(-3)/f a prime number?
False
Suppose 0 = -3*p + 2*z - 464, 4*z = -4*p - 558 - 34. Is 0 + -3 - (p + -6) prime?
False
Let k(n) = 10*n**2 - 5*n - 2. Let p be 8*1 - (12 - 9). Is k(p) composite?
False
Suppose -1918 - 1897 = -5*j. Is j prime?
False
Suppose 593 = 2*j + 15. Is j a composite number?
True
Let m(p) = 7*p**2 + 6*p - 5. Let s be m(-5). Suppose 3*c + 197 = 5*v, -4*v + s = 6*c - 4*c. Is v a composite number?
False
Let o = -1 + 1. Suppose o = -2*k + 3*k - 5. Suppose -2*h + k*h = 93. Is h a prime number?
True
Let s be (-1)/3*1*-417. Suppose -s = -4*i - 7. Is i composite?
True
Let v = -121 + 278. Is v a prime number?
True
Is (3310/(-3))/(-2) + (-62)/93 a composite number?
True
Is 2 + 92 - (2 - -1) composite?
True
Let j(s) be the third derivative of s**5/5 - 5*s**4/24 + s**3/3 + 2*s**2. Let z(h) be the first derivative of j(h). Is z(7) a composite number?
False
Let v(g) = g**2 - 5*g + 2. Let c be v(2). Let u(k) be the second derivative of -k**5/20 - k**4/12 + k**3/3 - 3*k**2/2 - 3*k. Is u(c) a composite number?
False
Let f = 6 - 6. Suppose f = -5*a - h + 262, 2*a + 2*h = -3*h + 91. Is a composite?
False
Let v(i) = 23*i**3 - 2*i**2 + 1. Is v(1) prime?
False
Let h = 16 - 4. Is (-129)/(5/((-20)/h)) prime?
True
Is (-38)/8*220/(-5) prime?
False
Let b(z) = -4*z**3 + 4*z**2 - z. Let n be b(3). Let o = -29 - n. Is o a composite number?
True
Let q(l) be the second derivative of l**4/6 - 3*l**3/2 + 3*l**2/2 + l. Let j = 15 + -9. Is q(j) composite?
True
Is ((-9)/(-6))/((-4349)/(-2174) + -2) prime?
False
Let w = 8028 + -4391. Is w prime?
True
Let h = 1 - 4. Let d(a) = -5*a - 1. Is d(h) prime?
False
Let v = 57 + 8. Suppose -200 = -4*h - h + 5*k, 0 = 2*h + 3*k - v. Is h composite?
False
Let j = 310 + -214. Suppose 0 = 2*s - v - 111, -4*s - 2*v + j = -2*s. Is s a composite number?
False
Let r = -484 - -758. Is r a composite number?
True
Let h = 15 + -8. Let r(n) = 3*n**2 - 7*n - 3. Is r(h) a prime number?
False
Let p = -191 + 584. Is p a prime number?
False
Let c = 13497 - 4754. Is c a composite number?
True
Let s(t) = -t**3 + 5*t**2 + 4*t + 6. Let i be s(6). Is 4/i - 1004/(-12) composite?
False
Suppose r - 7 = 5. Suppose -5*w - 5*t = -20, -2*t = -3*w - 7*t + r. Suppose w*s = s + 3, -s - 11 = -4*i. Is i a composite number?
False
Let z = 2158 + -1007. Is z composite?
False
Is (-1)/(-5 - (-35016)/7004) a composite number?
True
Let j(n) = 20*n**3 + n + 1. Is j(2) a composite number?
False
Let y = -10 - -7. Let t(g) = g**2 + 8*g - 5. Let z be t(-8). Let s = y - z. Is s prime?
True
Let f be -3*(-3 - -4)*-1. Suppose v + 4 = -5*z, f*v = -2*z - 10 - 2. Is 1016/8 + z/1 composite?
False
Let u = 10 + -4. Is u/2 + 575/5 a prime number?
False
Is ((-2)/(-6))/((-26)/(-5070)) composite?
True
Let i = -7 - -6. Let t be 6 + (-1 - (3 + i)). Is (54/(-12))/(t/(-4)) composite?
True
Let o(t) = -t - 7. Let d be o(-5). Let b be (-9 + d + 0)/(-1). Suppose 0 = 5*x - 24 - b. Is x prime?
True
Let y = -75 - -19. Let g be (-121)/7 - 4/(-14). Let m = g - y. Is m prime?
False
Let h be 9/(-3) - (-4 + -1). Suppose 0 = 5*b + 4*f - 1835 - 634, -8 = h*f. Is b prime?
False
Suppose -2*a = -2*j - 288, 5*a - 27 = j + 121. Let f = -45 - j. Is f/3 + 2/6 a composite number?
True
Let w(m) be the first derivative of m**4 + m**3 - 3*m**2/2 + m + 2. Is w(2) composite?
True
Let y be (-33)/15 - 3/(-15). Is 445/((y - -6) + -3) prime?
False
Is 38254/8 - (-3)/(-4) a prime number?
False
Let b(z) = z**3 - 11*z**2 + 11*z + 9. Is b(10) composite?
False
Let b = -183 - -450. Is b a prime number?
False
Suppose 6*g = 3*g + 9. Suppose 5*a - 1058 = -3*q, 4*a + g*q - 1042 = -195. Is a composite?
False
Suppose 2*o = 5*k - 23, 2*o + 1 = -3*k + 2. Let w(m) = -m**3 + 2*m**2 + 5*m - 2. Let s be w(k). Suppose 3*l + 9 = 0, 516 - 164 = s*g + 4*l. Is g composite?
True
Let s = -71 - -1170. Is s prime?
False
Let m be (-4)/(-5)*85/2. Let x be (-4)/((-8)/m) - 2. Suppose -2*i - 91 = -u - 4*i, -5*i = -x. Is u composite?
True
Suppose -8*z + 5028 = 4*z. Is z prime?
True
Is 79*5/((-15)/(-9)) composite?
True
Suppose 3*s + 118 = 1411. Is s a composite number?
False
Let h(y) = y**2 - 4*y + 5. Let m be 3*(2 + (-3)/9). Is h(m) a composite number?
True
Suppose t + 5*h = 151, -151 = t - 2*t + 2*h. Suppose -b + t = -60. Is b a prime number?
True
Suppose -6 = -3*t + t. Suppose t*s - 4*s + 177 = 0. Is s a composite number?
True
Let k = 6 - -13. Is k a composite number?
False
Suppose 3*q - 1003 = -5*z, -301 = -q + 4*z + z. Is q composite?
True
Suppose 3*q = -2*t + 38, -4*t = -q - 159 + 55. Is t composite?
True
Is ((-4424)/84)/(2 - 224/111) prime?
False
Let g = -6 - 0. Let q = g - 0. Is q/(-15) - 43/(-5) composite?
True
Let f = -965 + 1479. Is f composite?
True
Let k = -3213 - -5342. Is k a prime number?
True
Let a be (-2)/11 + (-351963)/(-99). Su