 number?
True
Suppose -19*l = -26*l + 2093. Is l a composite number?
True
Let h be 220/8 - (-1)/(-2). Let k be (2/3)/(6/h). Suppose y + 3*u - 193 = -y, y - 74 = k*u. Is y composite?
False
Suppose -6*v = 5*f - v - 25, -4*v + 23 = 5*f. Let h(l) = -2 - 1 + 4*l - l**f + 7*l**2 - 2. Is h(7) a prime number?
True
Let i(d) = d**3 + 8*d**2 + 3*d - 9. Let z(c) = -c**3 - 8*c**2 - 2*c + 9. Let l(s) = 5*i(s) + 6*z(s). Is l(-10) composite?
False
Let q(t) = 2*t**3 - 4*t**2 + 3*t + 3. Let n be q(3). Suppose 0 = -2*i + 10, 2*i + n = 3*o - i. Is o a composite number?
True
Is (3 - (-1143)/12)*(-88)/(-33) prime?
False
Let x be 8235/(-20) - 1/4. Is -4*-1*x/(-16) a prime number?
True
Let d = 10 - -1. Let l = d + 144. Suppose 0*w - w = -l. Is w a prime number?
False
Suppose 5*c = -2*x + 6, -5*c - 5*x + 4 + 11 = 0. Let u = -11 + 14. Suppose -v + u + c = 0. Is v a prime number?
True
Let g = -15 + 7. Is (-1304)/16*(g - 2) prime?
False
Suppose 3*t + 2*t - 20 = 0. Suppose 115 + 33 = t*n. Is n a prime number?
True
Let s(y) = 67*y**2 + y + 8. Is s(3) a prime number?
False
Suppose -3*u + 13 = -2*s + 82, 0 = -4*s + 2*u + 134. Suppose z - s - 101 = 0. Is z a composite number?
True
Suppose 0 = 4*w - j - 6, -w + 2*j - 2 = 0. Suppose a + w*a = 1011. Is a prime?
True
Let m(c) = -3*c**3 - c**2 + c - 1. Let g be m(1). Is ((-370)/15)/(g/6) composite?
False
Is 0 - ((-2)/(-5) - (-67736)/(-40)) composite?
False
Suppose 1799 = h + 2*a, h - a + 3601 = 3*h. Is h a composite number?
False
Let t(b) = 143*b**2 + 2*b - 1. Let m be t(2). Suppose m = 4*z + 3. Is z prime?
False
Suppose 2*k = -0*k + 4. Suppose 4 = k*p, 0*g = -2*g - p + 68. Is g composite?
True
Let i(r) = -7 - 6 + 28*r + 4 - 6. Is i(10) a prime number?
False
Is (-4)/8*1*-526 prime?
True
Is (-14 - -13)*1514/(-2) a prime number?
True
Let l(c) = -12*c + 1. Let m = 4 + -11. Is l(m) prime?
False
Let o = -204 - -292. Suppose -19 - 34 = l. Let z = l + o. Is z a composite number?
True
Let k be -9*((-16)/6 + 2). Suppose -42 = -4*r + k*r. Is 135/7 + 6/r a prime number?
True
Let s be 24/10*(-10)/(-4). Suppose l - 4*h - s = 0, -3*l - 2*h + 1 + 3 = 0. Suppose -l*m + 293 - 75 = 0. Is m prime?
True
Let c be (-1 + 2)*(-4)/2. Is ((-118)/3)/(c/3) composite?
False
Suppose 2*k + 3 = -2*l + 1, -2*k = -3*l + 22. Suppose m = y + 361, 370 = -3*m + l*m + 2*y. Suppose -m = -r - 3*r. Is r a prime number?
False
Is (382*-1)/(-1 + -1) prime?
True
Suppose -2*k + 3*x = -562, -k - 4*x + 108 = -195. Is k a composite number?
True
Suppose -510 = -5*i - 0*i. Suppose 4*k - i = -34. Is k - (0 - 6/3) a prime number?
True
Let n(q) = q**2 - 2. Let u be n(0). Let a be u/(9/6 + -1). Let w = a - -10. Is w composite?
True
Suppose 0 = -3*w + 53 + 10. Is 1074/14 + 6/w a composite number?
True
Let u(w) = w + 3. Let v(r) = -1. Let s(g) = u(g) - 6*v(g). Let a be s(-8). Is 0 + a - (-68)/2 prime?
False
Let h be ((-6)/(-3))/(-1) + 6. Suppose -s + 106 = h*s + o, 2*s - 47 = -5*o. Is s a prime number?
False
Let h be (-1 - -2) + -1 - 61. Let l = -100 - -4. Let a = h - l. Is a prime?
False
Suppose -f - 2*f - 435 = -3*c, -2*c + 318 = 5*f. Is c prime?
True
Let w = 8 + -6. Let f = w - 1. Is f + (1 - -1 - -86) composite?
False
Suppose 5*k = 35 + 70. Suppose -k = -5*x + 14. Suppose x*v - 2*v = 170. Is v a composite number?
True
Suppose 573 = -0*p + 3*p. Is p prime?
True
Let g = -663 - -1056. Suppose 403 = 5*k - 4*d, -d + g = -2*k + 7*k. Is k prime?
True
Let l = 15 - -14. Suppose -3*z - l = -4*n - 0*z, 5*z = 25. Let y = n + 4. Is y a composite number?
True
Let v be 2627/4 + 3/12. Suppose b = 3*u + 211, 3*b - 2*u = -u + v. Suppose h = -3*h + b. Is h composite?
True
Let h(s) = -7*s**3 + s**2 + 2*s + 1. Let y(p) = p**2 + 7*p - 10. Let c be y(-8). Is h(c) a prime number?
False
Let z(c) = c + 1. Suppose -d + 1 = 2. Let r be z(d). Let p(n) = n**2 + n + 19. Is p(r) a composite number?
False
Let c = -4 + 6. Suppose -c*l - 36 = -l. Let u = 185 + l. Is u prime?
True
Let k(v) = 18*v**2 - 7*v - 4. Let b be k(8). Suppose 0 = 2*x - 6*x + b. Let g = -178 + x. Is g composite?
True
Let f = 7 - 5. Suppose 3*d = -f*d. Suppose -30 = -d*s - 2*s. Is s a composite number?
True
Let s(u) = 151*u + 1. Is s(2) a prime number?
False
Suppose 24 = 5*b + 4, 5*b - 21 = -s. Let i be (-3)/(9/(-6)) + s. Suppose -i*w = -16 - 50. Is w composite?
True
Is (8*136)/4 - 4/(-2) a composite number?
True
Let z(s) = -63*s - 1. Let t(x) = 126*x + 3. Let a(q) = -6*t(q) - 13*z(q). Is a(6) composite?
False
Let x be (1/2)/((-2)/4). Is (1 + -117 + 3)*x composite?
False
Is ((-2)/(-4))/(17/20366) a prime number?
True
Let x = 21 - 11. Suppose -4*a = -a - 27. Let h = x + a. Is h prime?
True
Let c = -9 + 14. Suppose 5*l - 11150 = 5*u, -c*l - 2*u = u - 11182. Is l/6 + (-4)/(-6) a prime number?
True
Let z(d) = -d**2 + 3*d + 4. Let l be z(3). Suppose -555 = -5*i + l*u, 45 = 5*i + 3*u - 510. Is i prime?
False
Let g(t) = 1082*t**3 - 3*t**2 + 3*t - 1. Is g(1) a composite number?
True
Suppose -51*n + 3274 = -49*n. Is n composite?
False
Suppose b + s = -0 - 2, 5*s + 10 = b. Suppose 5*h + 45 - 160 = b. Suppose h = -0*f + f. Is f prime?
True
Let v = 15 - 13. Is 1*-266*(-1)/v prime?
False
Let p be 4 + (-1 + -1 - 0). Suppose 3*q - p*z + 0*z = 345, 0 = -q + 3*z + 115. Is q a prime number?
False
Let i be ((-60)/7)/(2/(-14)). Let m = 33 + i. Is m a composite number?
True
Let o = 4 + -4. Suppose o = 2*b - 106 - 28. Suppose 5*a - 3*q = -5*q + b, q = 1. Is a composite?
False
Let u(l) = 13*l**2 - 8*l**2 - 3*l**2 - 3*l - 3. Is u(-6) composite?
True
Let n(o) = -5*o**3 + o - 1. Let k be n(1). Let u(v) = -v**3 + 5*v - 3. Is u(k) prime?
True
Suppose 4*s + d + 306 = 0, d - 2*d = 2*s + 152. Let f be ((-54)/(-4))/((-1)/(-8)). Let l = s + f. Is l a prime number?
True
Let z(s) = 26*s + 3. Is z(2) a prime number?
False
Is (1774/4)/((-9)/6 + 2) a prime number?
True
Let r be ((-909)/(-6))/((-3)/(-6)). Suppose 4*y - r = 341. Is y a prime number?
False
Suppose -5*g + 2615 = -90. Is g a composite number?
False
Suppose 0 = -3*f + 372 + 885. Is f composite?
False
Suppose -4*w + 4*a = 392, -w - 25 = 3*a + 69. Let c = 179 + w. Suppose -5*z + c = -28. Is z a composite number?
True
Let z(b) = 317*b**2 - 3. Let l be z(-2). Suppose -5*u + l + 2120 = 0. Is u a prime number?
True
Let n(i) = -i + 2. Let d be n(-2). Let w be 5/1 - 4/2. Suppose -d*s - 2*a + 0 = -22, -4*s = -w*a - 37. Is s composite?
False
Let k(g) = -613*g + 1. Is k(-1) composite?
True
Let v(p) = -4*p**2 - p + 4. Let r be v(-8). Let l = 232 + 215. Let n = r + l. Is n prime?
False
Suppose 3*c - 5*c = -582. Is c prime?
False
Let u(f) = f**3 - 15*f**2 + 12*f + 27. Let w be u(14). Let j(t) be the third derivative of -157*t**4/24 - t**2. Is j(w) prime?
True
Let w(x) = -x**2 - 8*x - 4. Let q be w(-8). Let j be q/10 + 1035/25. Suppose -6 = d - j. Is d a prime number?
False
Let u(l) = 3*l + 9. Is u(8) composite?
True
Suppose -4318 = -3*d + u, -d + 1482 - 41 = -2*u. Is d prime?
True
Is 257/2 + (-3)/2 prime?
True
Suppose -5*x - 3 - 12 = 0. Suppose w + 4*d - 5*d + 4 = 0, 8 = 4*d. Is (w/3)/(x/99) prime?
False
Let f(c) = 566*c**3 - c**2 - c + 1. Is f(1) prime?
False
Suppose -t + 5*r = -2*t + 22, 20 = 5*t - 5*r. Suppose -t*y + 130 = -2019. Is y composite?
False
Let m(c) = c + 3. Let g be m(-3). Suppose g = -w + 2*f - 6, -12 = -4*w - 8*f + 4*f. Suppose 3*o + w*o + 104 = 5*v, 0 = -4*v + 2*o + 82. Is v a composite number?
False
Let y = -12 + 14. Is y - (-176 - (-2)/(-2)) a prime number?
True
Let x be (149/(-2))/(2/(-4)). Let t = x + -87. Is t prime?
False
Let k = 76 + 73. Is k a prime number?
True
Let w(t) = -t**3 - 7*t**2 - t - 6. Let j be w(-7). Let i(y) = y - 2*y - 1 + 7*y + 2*y. Is i(j) a prime number?
True
Let c(k) = k**3 + 10*k**2 - 11*k + 2. Suppose -j - 5 = 0, -z - 5*j - 14 = -2*z. Let u be c(z). Is 147 + (u*-3)/3 composite?
True
Let c be (3 + 20/(-6))*-12. Suppose 2*x + 168 = c*x + 2*p, 3*x = 2*p + 227. Is x a prime number?
True
Let l = 514 + -116. Is l composite?
True
Let u = -1 - -1. Suppose 0*v - 2*v + 52 = 2*n, u = 2*v + 5*n - 46. Suppose 2*x - 4*s - 66 = 0, -s = -x - 0*x + v. Is x a prime number?
True
Let m(n) = -n**3 + 5*n**2 + 6*n + 2. Let h be m(6). Suppose 0*v - 648 = -h*v. Let r = v + -139. Is r prime?
False
Let g(u) be the first derivative of u**4 - u**3/3 + u**2 - 2*u + 6. Is g(3) a composite number?
False
Let o(l) = 2*l*