alse
Suppose -199 = -5*u + 631. Is u a composite number?
True
Let a be 2440/(-6)*18/(-4). Is 4/(-22) - a/(-22) a prime number?
True
Let o = 4 + -1. Suppose o*d = d + 742. Is d composite?
True
Suppose -747 = 8*b - 15523. Is b a prime number?
True
Let j(d) = -d**3 + 6*d**2 - 4*d - 3. Let x be j(5). Suppose -6*l + 20 = -x*l. Let f(b) = 3*b. Is f(l) prime?
False
Suppose y - 2*j - 585 = 0, 4*y + 0*y + 5*j - 2314 = 0. Is y prime?
False
Let l(b) = 7*b**2 - 4*b + 2. Let r be l(2). Let x = 44 - r. Is x a composite number?
True
Suppose 0 = -4*p + 6 + 6. Suppose 3*f - 4*y = -2*f + 5255, -3*f = p*y - 3126. Suppose 3*h - u = 629, -h + f = 4*h - 2*u. Is h a composite number?
False
Suppose o - 4*o + 1199 = -4*b, 3*b + 799 = 2*o. Is o a composite number?
False
Let z(p) = -p. Let l(c) = -c**3 + c**2 - c + 2. Let d be l(0). Let w(r) = -10*r - 5. Let o(j) = d*z(j) - w(j). Is o(6) composite?
False
Let l = 7 + -5. Suppose -3*g - l + 44 = 0. Is g a composite number?
True
Let y = 14 - 20. Let x(k) = -k**3 - 6*k**2 - 2*k + 7. Is x(y) a prime number?
True
Is 3/(-9) - (-214)/(-12)*-4 a composite number?
False
Suppose -4*n - 4 = -16. Is 70/6 - 2/n prime?
True
Let p(c) = -67*c. Suppose 0 = 3*v + 4*s + 22, 12 = -4*v - 2*s + s. Is p(v) a composite number?
True
Let u = 11 - 6. Suppose 0 = b + 2*b + 4*l - 287, u*b - 420 = 5*l. Is b composite?
False
Suppose 3555 = -4*u + 13*u. Is u a prime number?
False
Let a = 43 + -39. Suppose 0 = -2*f - 3*f + 15. Suppose -a*n - 5*r + 71 = -0*r, f*r = -3. Is n composite?
False
Suppose 2*g - 4 + 10 = 0. Let q(z) = z**3 + 4*z**2 + 3*z + 2. Let t be q(g). Let r(v) = 19*v - 1. Is r(t) prime?
True
Suppose -5*h = 20, 146 = -3*d + 4*h - 6*h. Let b = d + 71. Is b composite?
True
Suppose -16 = 4*g + 4*y, -4*g + 4*y + 0 = -16. Let p be 4/(-2) + 4 + 0. Suppose -5*o + p*f + 186 = g, -5*f = 2*o - 3*f - 80. Is o composite?
True
Let b(v) = 64*v + 9. Let t be b(13). Let s = -470 + t. Is s a composite number?
True
Let d be 8*2 + 4/(-4). Let a = d - 11. Suppose -u - a*u = -35. Is u composite?
False
Suppose 5*a = b - 253, -4*b = -0*b - 5*a - 1012. Is b prime?
False
Let w = 369 + -158. Is w a prime number?
True
Suppose -4*s - 1000 = -0*s. Let l = 237 - s. Is l a prime number?
True
Let w = -2 + 2. Suppose -4*a + 1 = 3*y, -4*y - 2 = 2*a - w*y. Is -4 + a + 2 + 34 a composite number?
True
Let s = 1363 + -974. Is s prime?
True
Let u = -69 - -103. Suppose -c = -0 - u. Is c composite?
True
Let s(i) = -5*i**3 - 5*i**2 + 6*i + 5. Let h be s(5). Is (h/(-5))/(-2 + 3) a prime number?
False
Is (-32)/(0 + 3/(-78)) - 3 composite?
False
Let y(a) = -8*a - 1. Let m be (-1)/3 + (-110)/(-15). Suppose 4*h + 5*d = -23, 2*h + m*d = 4*d - 13. Is y(h) a prime number?
False
Let l(c) = -2*c + 5. Let m be l(7). Is 0*3/m - -7 composite?
False
Suppose 25 = -3*j + 4*j. Let s be (40/j)/(4/10). Suppose 30 + 22 = s*a. Is a composite?
False
Let d = -4 + 6. Let l be (-4 - -8) + 0 + 0. Suppose -4*y + 29 - d = 5*z, -2*z = -l*y + 6. Is z a composite number?
False
Is ((-6)/(-18))/((-2)/(-654)) a composite number?
False
Let n(w) = -w**3 - 2*w**2 + w - 3. Let u be n(-3). Let t(z) = -3*z**2 + 3*z + 4. Let o be t(u). Is (-36)/o + (-9)/(-21) prime?
True
Let i be 7/(-3) + (-1)/(-3). Let p = i - -5. Is p composite?
False
Is (2 + 176)*(2 - 1) a prime number?
False
Let g = 18 + -24. Let i(k) be the second derivative of -13*k**3/3 + 7*k**2/2 - k. Is i(g) a prime number?
True
Let v be (-2 + 4 - 1)*5. Let a(d) = 2*d**3 - 8*d**2 + 6*d + 7. Is a(v) a prime number?
False
Suppose 4*k + 0*k = 212. Is k prime?
True
Let z(b) = -b - b**2 + 5 + 17 - 4 + 37. Is z(0) prime?
False
Let a = 4 + -3. Let s(w) = 4*w**3 + w**2 - 1. Let r be s(a). Let d = 15 + r. Is d prime?
True
Suppose 2090 = 4*a + 2*l - 4*l, 5*a - 2599 = -2*l. Is a composite?
False
Is ((-2)/(-8))/((-2)/(-632)) composite?
False
Let x be (-11)/2*-2*1. Suppose -3*g = -m - x, -2*g = 2*m + 3*m - 30. Suppose 0 = m*i - 179 - 449. Is i a composite number?
False
Let r(f) = -39*f - 68. Is r(-19) prime?
True
Is (340/(-15))/4*-1329 a composite number?
True
Let n(i) = 4*i - 1. Let h be n(1). Suppose -11 + h = -4*w. Suppose 2*g - 166 = -5*v, 130 = w*v + 2*v + 3*g. Is v a prime number?
False
Let q(s) = -s**3 - 4*s**2 - 2*s - 4. Suppose 4*d + d + 20 = 0. Let b be q(d). Suppose b*f + 2*k - 7*k - 21 = 0, k - 11 = -3*f. Is f prime?
False
Let k = 120 + 65. Is k prime?
False
Let h be 4/(-2)*20/(-8). Let b = 9 - h. Suppose -663 = -b*m + 2*s - s, -678 = -4*m - 2*s. Is m prime?
True
Let x = 518 - 317. Is x a composite number?
True
Let r = -491 + 1744. Is r a composite number?
True
Let q(c) = 3*c**2 + 20*c - 19. Is q(-20) composite?
True
Let n(h) = -h**3 + 7*h**2 + h - 7. Let o be n(7). Suppose v + o*v - 3 = 0. Is v a composite number?
False
Suppose -4*r - 3*d + d + 1418 = 0, -2*r + 2*d = -706. Suppose -5*x - 19 = -r. Suppose -15 = -3*w - 2*h + 82, 2*w - h - x = 0. Is w prime?
False
Let y = 3 + 2. Suppose -97 = -y*w + 4*h - 26, -3*w + 29 = h. Suppose w = 2*r - 19. Is r prime?
False
Is 676/6 + 10/30 composite?
False
Suppose -4*c - 3*b + 3155 = 0, -c + 785 = 3*b - b. Is c a composite number?
True
Suppose -3*d - 52 - 329 = -4*l, -l + 4*d + 105 = 0. Is l a composite number?
True
Let g(t) = -t**3 - 2*t**2 + 449. Is g(0) a composite number?
False
Let y = -189 - -320. Is y composite?
False
Let b be 6*208*(-1)/(-2). Suppose b = 4*j + 2*v, -3*v + 312 = j + j. Suppose 0 = h + 3*h - j. Is h a prime number?
False
Let f = -1881 + 1211. Let a = -303 - f. Is a prime?
True
Let h be 2/6 + (-4)/(-6). Let a = h + 1. Suppose -a*y + y = -10. Is y a composite number?
True
Let y(i) be the third derivative of 13*i**5/15 + i**4/24 + 2*i**2. Is y(1) a composite number?
False
Suppose -4*m + 16 = -4*z, 2*z - 4*m - 8 = 6*z. Is (z + (-2)/(-1))*-33 a prime number?
False
Let z(a) = -22*a - 1. Suppose -17 - 3 = 4*o. Is z(o) composite?
False
Let y = 649 - -912. Is y prime?
False
Suppose -r + 55 = -34. Is r a prime number?
True
Let i(g) = g**2 + 12*g + 1 - 11 - 2*g**2 + 1. Let w be i(11). Suppose 2*h = -5*d + w*d + 39, 2*d = 4*h + 26. Is d a prime number?
True
Suppose -3*k + 48 = 2*k + 4*j, 4*j - 16 = -k. Let q be (-2)/k*2*-10. Suppose 5*h - q*g - 275 = 0, 2 + 0 = -g. Is h a prime number?
True
Suppose 3*t - 1634 - 4903 = 0. Is t prime?
True
Suppose -4*k + 1772 = -4*g, 0*k + 1329 = 3*k + 5*g. Is k prime?
True
Suppose -292 = -5*k + 3*j, 2 - 270 = -5*k - 3*j. Let z = -37 + k. Is z a composite number?
False
Is 2/8*157*4 prime?
True
Suppose -5*m = l - 4*l - 179, 2*m - 76 = -l. Let v = m + -24. Is v prime?
True
Let q(r) = -r**3 - 13*r**2 + 4*r - 6. Is q(-14) a composite number?
True
Suppose -3*f + 0*f = -g - 11, -4*g - 26 = -3*f. Suppose f*y - l = 4*l + 34, -5*l = 4*y - 98. Is y a composite number?
True
Is (2/6)/(5/(-30)) - -35 prime?
False
Let l(j) = 4*j**2 - 2*j + 2. Let u be l(2). Let n(w) = 10*w - 21. Is n(u) a composite number?
True
Let o be (-1)/2 - (-22)/4. Is 1*o*357/35 composite?
True
Let m be -4*((-57)/12 - -3). Let q(r) = 36*r + 5. Is q(m) a prime number?
True
Is 25818/90 + (-2)/(-15) a prime number?
False
Let t = 587 + -280. Is t a prime number?
True
Let b = 124 + -255. Is -1*(b - 3)/2 a prime number?
True
Let g be 3/(-15) - (-44)/20. Let i = 17 - g. Is i a composite number?
True
Let h(z) = -z**3 - 13*z**2 - 13*z - 8. Let q(f) = -12*f**3 + f - 1. Let a be q(1). Is h(a) composite?
True
Suppose 3*f + 5*n - 877 = 0, 4*f - 2*n - 1503 = -f. Let h = -140 + f. Is h a prime number?
False
Suppose 0*n = -5*n + 15. Suppose -253 = -4*c + 463. Suppose -5*g - 2*u = -c, -g + 2*u = n*u - 37. Is g composite?
True
Let r(b) = b**2 + 4*b - 9. Let u be r(-8). Suppose -2*t - 32 = -4*k + t, 0 = k + 3*t - u. Let n = k - -72. Is n prime?
True
Let z(o) = -5*o**2 - o + 3. Let b be (-1*2 - -3)*8. Let d(j) = -14*j**2 - 4*j + 9. Let c(h) = b*z(h) - 3*d(h). Is c(2) prime?
True
Let n(z) = 3*z + 121. Let g = -22 + 22. Is n(g) prime?
False
Suppose 2*a = 2*g + 2, 3*g - 3 = -0*g + a. Let l be ((-10)/8)/(g/(-8)). Let d = 2 + l. Is d prime?
True
Let j be (-28)/(-16)*8/2. Suppose 3*s - j = 131. Is s a prime number?
False
Let i = -12 + 21. Suppose 0 = 4*c + i + 3, 5*m + 9 = 2*c. Is ((-53)/3)/(1/m) prime?
True
Let c = 206 + -143. Let q = c + 20. Is q a prime number?
True
Suppose -4071 = -3*k - 3*n, 6*k - 5432 = 2*k - 3*n. Is k prime?
True
Let p = -