alse
Let u be 188 + -1 + 0/(-2). Suppose -4*o + u = -3*o. Let v = o + -110. Is v composite?
True
Is (19506/4)/((-102)/(-68)) composite?
False
Suppose 3*r + 5*y = 55, 2*r - 2*y - 43 = y. Suppose -4*f + 792 = -r. Is f a prime number?
False
Suppose 0 = -r - 2*r - 6. Let b be -4*(-78)/(r - 1). Let t = 53 - b. Is t prime?
True
Suppose -4*p - 206 = 3*o, -3*p - 5*o = -10*o + 169. Let g(c) = 2*c**2 + 19*c - 3. Let b be g(5). Let n = p + b. Is n composite?
False
Is 6/((-3)/(6/(-4)))*293 prime?
False
Let y = 2412 - 1135. Is y prime?
True
Suppose -3*n + 20 - 2 = 0. Suppose -n*t + 9 = -3*t. Suppose t*v + v = 1324. Is v prime?
True
Suppose 30*n = -20*n + 94450. Is n a composite number?
False
Is (126/252)/((-2)/(-137192)*2) prime?
False
Let t(a) = -2*a**2 - a + 1. Let k be t(-2). Let m(u) = u**3 + 5*u**2 - u. Let b be m(k). Is (-4908)/(-10) + 1/b a prime number?
True
Let a be (-4)/(-2) - (11 - -31). Let c = a - -24. Let l = 5 - c. Is l a prime number?
False
Let o = -29 + 22. Is 10*307/2 + 9 + o a prime number?
False
Let h(x) be the second derivative of x**5/20 + 5*x**4/12 - 7*x**3/6 + x**2/2 - 21*x. Let z be (2 - 1) + (-7 - 0). Is h(z) composite?
False
Let o = -1447 - -12552. Is o composite?
True
Is 29750/8 + (-14 - (-114)/8) a prime number?
True
Let d = 19 - 22. Let q be (-1)/d - 154/21. Is -382*((-7)/(-2))/q composite?
False
Let r(o) = o**3 - 9*o**2 - 15*o + 16. Suppose -2*v + 27 = a + 4*a, 5*v + a = 33. Let s be 22/v*(13 + -10). Is r(s) composite?
True
Let c(h) = 0*h - 4*h + 10*h - 5. Suppose p - 6*p + 40 = 0. Is c(p) a prime number?
True
Suppose 4*x + 8 = 0, -3*x - 87704 = -5*w + 81647. Is w prime?
False
Let k(z) = -z**3 - 6*z**2 + 2*z + 11. Let y be k(-6). Let t(f) = -1163*f**3 + f + 1. Is t(y) composite?
False
Let h(p) = 652*p**2 - 3*p - 17. Is h(-6) a prime number?
True
Suppose 0*a + 12 = -3*a. Let d be 3/a + 798/8. Is 2/9 - (-5027)/d a prime number?
False
Is (-2531150)/(-217) + 5/7 a composite number?
True
Let b(f) = 8*f**2 - 26*f + 345. Is b(53) prime?
False
Let b(v) = v**2 + 7*v + 5. Let p be b(-7). Suppose 5*y - 5*k - 1025 = 0, 0*y - 4*y + p*k = -822. Is y a prime number?
False
Let w(q) = -4*q**3 + 5*q**2 - 9*q - 7. Let i(a) = -19*a**3 + 25*a**2 - 46*a - 34. Let g(t) = 2*i(t) - 11*w(t). Is g(5) composite?
True
Let m be 0 - ((3 - 2) + -12). Suppose 5*f - 9 = -j, 0 = -4*j + 2*j - 3*f + m. Suppose -c = l - 59 - 7, 0 = -j*c + l + 279. Is c a composite number?
True
Let f = 2093 - -1146. Is f prime?
False
Let z = -153 + -91. Let b = z + 435. Is b a composite number?
False
Is (15 + 1067)*33/6 composite?
True
Suppose -12 = -2*l - 0. Suppose 2*j - 2*o + l = 0, j - 4*o + 18 = 3*j. Is -3 + j - (-81 - 0) composite?
False
Let k = 19 - 19. Suppose -h + 3*q = -29, -2*h + 4*h - 2*q - 54 = k. Suppose -4*i + 2*i = -o - h, 0 = -5*i + o + 59. Is i composite?
False
Let o be (-2)/3*42/7. Is 1 - 41*(-10 - o) composite?
True
Let h(b) = 558*b**3 + 6*b - 1. Let w(k) = -558*k**3 - 5*k + 1. Let f(a) = -3*h(a) - 4*w(a). Let o(n) = 8*n - 47. Let c be o(6). Is f(c) a prime number?
False
Let v(u) = u**2 + 43*u + 54. Let s be v(-23). Let z = s - -737. Is z composite?
False
Let q(n) = -n + 10. Let p be q(7). Suppose 2*g - 5*l - 15 = -p, -l = 2. Suppose 65 = 3*w - g. Is w composite?
True
Suppose -2*w + 1 = r, 3*r = 5*w + 2 + 12. Is (9015/10 - r/(-2)) + 4 a prime number?
True
Suppose -4*c + 7*c + 141 = 0. Let z = 96 + c. Suppose -4*o + z = -27. Is o a composite number?
False
Let z be 851/5 + 8/10. Let a = z - 35. Suppose 3*g - a = -25. Is g prime?
True
Suppose -4*z + 16 = -2*f - 8*z, -5*f = -2*z - 20. Let x(c) = -15 - f*c**3 - 8*c + 3*c**3 + 6*c**2 - 3*c + 0*c**3. Is x(-6) a prime number?
False
Let i be 84/(-35)*40/6. Let n = 18 + i. Suppose -k = 8*m - 4*m - 1001, 4*k + 514 = n*m. Is m a prime number?
True
Suppose 0 = 431*p - 445*p + 41818. Is p a prime number?
False
Let t(s) = 2*s**3 - 13*s**2 + 4*s + 10. Suppose -4*u + 5*q + 5 = -16, u - q = 6. Is t(u) prime?
False
Suppose 5*m = 7*m - 142. Let i = 35 + m. Suppose -5*z = 3*c - 298 + i, -z = c - 62. Is c a prime number?
True
Let i(p) = 8*p**2 - p**2 - 9 + 26 + 16*p**2 - p. Is i(5) prime?
True
Suppose v + 3*v = 160. Suppose 3*r - 29 = -2*f, 0*f - r = 5*f - v. Is f a composite number?
False
Let m = 5666 - -16581. Is m a composite number?
False
Let f(q) = -537*q**3 - 6*q**2 - 5*q - 3. Is f(-2) composite?
True
Suppose 0 = -5*v + w + 12, -3*v - w + 4*w = 0. Suppose 0 = -3*d - v*u + 9, -4*d + 2*u - 10 = -7*d. Suppose -d*x = -3*x - 299. Is x a prime number?
False
Let c be 2061/12*1 + 3/12. Suppose 604 = 4*x - c. Is x prime?
False
Let c(i) = 44*i**2 - i. Let o(k) = -89*k**2 + 2*k + 1. Let r(s) = 5*c(s) + 2*o(s). Is r(3) a prime number?
False
Let z be (-103)/(-3) + 3/(-9). Is (16690/16 - 0) + z/(-272) composite?
True
Let k(o) = o**3 - o**2 - 7*o + 11. Is k(4) a prime number?
True
Let i(p) = -p**2 - 11*p + 9. Let j be i(-9). Let f(o) = -3 - 48*o - j*o - 44*o - 7*o. Is f(-4) a prime number?
False
Let y(s) = -s**2 + 14*s + 5. Let d be y(15). Let u = 69 + d. Is u a composite number?
False
Let s = -36116 - -52855. Is s a composite number?
True
Suppose 2*l - 2*g = 178, -4*g + 5*g + 356 = 4*l. Is l a prime number?
True
Suppose 2*i - 7*i = -10. Suppose -k = i*x - 856, -x - 1315 = -k - 456. Is (6/(-9))/((-4)/k) a composite number?
True
Let z(r) = -2*r**3 - 13*r**2 - 30*r + 8. Is z(-9) prime?
True
Let a(m) = -18*m - 16. Let p(z) be the first derivative of -19*z**2/2 - 17*z + 5. Let g(n) = -4*a(n) + 5*p(n). Is g(-16) composite?
False
Let p be (-5)/(-5)*(-1 - -6). Let z(g) = 621*g + 11. Let t be z(p). Suppose 0 = 5*f - t + 161. Is f a prime number?
False
Let q = 86 - 34. Suppose -x - q + 243 = 0. Is x a composite number?
False
Let w(k) = 551*k + 250. Is w(47) prime?
False
Let n(d) = 125*d + 51767. Is n(0) a composite number?
False
Let z = 10 - 5. Suppose z*k - 6*h + h - 30 = 0, 0 = -3*h + 6. Suppose 80 = k*d - 536. Is d prime?
False
Suppose 7*y - y - 84 = 0. Suppose y*u + 33 = 17*u. Is u a prime number?
True
Suppose 0 = 3*n - n - 12. Suppose n = -0*d + 3*d. Suppose d*q - 108 = -v, -5*q = -3*v - 61 - 198. Is q composite?
False
Let l be (-63824)/(-144) - (7/(-9) + 1). Let d = -3 + 8. Suppose -z = -5*t + l, 3 = 4*z - d. Is t a prime number?
True
Let j = 3239 + -2308. Suppose 0 = 5*n - j - 844. Suppose -94 - n = -b. Is b a prime number?
True
Suppose 2348 = -4*r + 256. Let h = 1736 + r. Is h composite?
False
Let f = 190 - -651. Is f prime?
False
Let g(q) be the second derivative of q**4/12 + q**3/6 - 7*q**2/2 + q. Let u(w) = w**2 + 9*w + 1. Let l be u(-7). Is g(l) a prime number?
True
Suppose -47*w - 64005 + 272074 = 0. Is w a prime number?
False
Suppose -3*o + 30231 = 3*v, 3*v + 5346 = 2*o - 14818. Is o a composite number?
False
Suppose -3*g - 2*g - 7 = -2*n, -4*n = -5*g + 1. Let y be n/20 - 11/(-5). Suppose y*t + 501 = 2239. Is t a composite number?
True
Let i(r) = r**2 - 9*r + 27. Let c be i(8). Suppose -1 + c = 6*q. Suppose -609 = -0*w - q*w. Is w a composite number?
True
Is ((-4)/6)/((-36)/80946) a prime number?
True
Suppose 25*z - 24*z = 5729. Is z composite?
True
Suppose -k + 4*v = 2*v - 7, -4*k = 5*v - 2. Suppose 2*q = -4*t + 1268 + 14298, 0 = -5*q - k*t + 38936. Is q a composite number?
False
Suppose 3*f - 8*f = 3980. Let k = 1749 + f. Is k composite?
False
Suppose -8*k = -10*k. Suppose -2*q = -k*q. Suppose -1109 = -5*l - 2*c, -l - 4*c = -q*c - 211. Is l prime?
True
Suppose 9901 = 5*j - 2*n, n = 8 - 11. Is j composite?
False
Let i(j) = -42*j - 7. Suppose -4*l = -3*l + 7. Is i(l) composite?
True
Let x = 1529 - 596. Is x a composite number?
True
Suppose 5*q - 15 = -3*r - 40, -2*q = 4*r + 10. Suppose 0 = 5*b - 2*z - 205, b + r*z = z + 44. Let l = 233 - b. Is l prime?
False
Suppose 631 = -3*m + 4*m. Is m a composite number?
False
Let i(w) = w + 9. Let f be i(-8). Let h = f + 1. Is 337 + (-5 + h - -5) a prime number?
False
Suppose -6*s - 2 = -7*s. Suppose 4*i - 4 = 0, 4*i = -s*v + 5*v - 17. Is v prime?
True
Suppose 2*z - 5*k = -z - 522, -k = 2*z + 335. Let c = z - -299. Let o = 279 - c. Is o prime?
True
Suppose 13*l - 3561 - 742 = 0. Suppose k + 2*y - 50 = l, -5*k + 1945 = 2*y. Is k a composite number?
True
Let j(m) = 15*m**2 - m - 1. Let c be j(2). Let f(q) = -q**2 + 9*q + 12. Let n be f(10). Suppose d + n = c. Is d composite?
True
Suppose 10494 =