4*(-24)/i. Suppose -k*b = b - 245. Is b a prime number?
False
Is (2/4)/(3/786) prime?
True
Suppose -3*w + 7 = -8. Let q be w/(-3) + (-2)/6. Is (-1 + -5)*q/3 a composite number?
True
Let k be (-2 + 4)/(5/15). Is (-978)/(-18) - (-4)/k prime?
False
Let i be (-2)/(-1)*(5 + -3). Let k(j) = j - 10 + j + i*j + j**2. Is k(-8) composite?
True
Suppose 5*l - 3*t - 1276 = 0, 2*t = -4*l - 290 + 1324. Is l a composite number?
False
Suppose -3*k - 3*z = 2*z + 1870, -3050 = 5*k - 5*z. Let s be ((-2)/(-3))/((-10)/k). Suppose s = 4*l - 5*w, -2*w = 3*l + 3*w + 13. Is l a prime number?
False
Let n = 34 - -157. Is n composite?
False
Is 83 - (-3 - 2/(-2)) prime?
False
Let o(h) = -h**3 + 4*h**2 - 3*h + 3. Let v be o(4). Let n(x) = x - 3. Let j be n(4). Let f = j - v. Is f composite?
True
Let c(m) = -67*m**3 + m**2 - 4. Let f be c(-3). Let a = -1131 + f. Is a prime?
True
Suppose n - 4*n = 5*m - 787, -4*m - 5*n = -640. Let d = 346 - m. Is d prime?
True
Suppose 0*j + 5*j + 8 = 2*u, 4*j - u + 4 = 0. Suppose j = 5*y - 27 - 43. Is y prime?
False
Let l(m) = -m - 2*m - 2 + 2 - 5. Is l(-8) composite?
False
Let a(v) = -v. Let d be a(2). Let u be -4*(0 - -1) + d. Is 2/(-1)*147/u composite?
True
Suppose 4*v + 0*v - m = 12, 3*v - 2*m = 14. Suppose -v*i = -4*i + 106. Is i a prime number?
True
Let k = 6899 - 4744. Is k composite?
True
Let t(h) = -4*h**2 + h. Let y(q) = -12*q**2 + 2*q - 1. Let n(k) = 8*t(k) - 3*y(k). Let x = -1 - 2. Is n(x) a prime number?
False
Let l(b) = b**2 - 6*b - 2. Is l(15) a prime number?
False
Suppose -12 = 3*z, -5*v + 5*z + 27 = -8. Let d(p) be the first derivative of 2*p**2 - p - 1. Is d(v) composite?
False
Let n(c) = 9 - 2*c - 9. Let u be n(-1). Suppose 245 = u*q + 3*q. Is q prime?
False
Suppose -5*r - 2*o = 11, -2*o + 10 = -5*r - 9. Let n(i) = -11*i**3 - 4*i**2 - i + 1. Let w be n(r). Suppose 2*p - 180 = -2*u, 3*p - u = u + w. Is p prime?
True
Let b(m) = 2*m - 9. Let v be b(6). Let g = -1 + v. Suppose 5*i - 64 = -k, 0 = -k - g*i + 42 + 7. Is k a composite number?
True
Suppose 1 = 5*u - 1294. Is u composite?
True
Suppose -5037 + 240 = -9*a. Is a a composite number?
True
Let a(s) = 2*s**2 - s + 2. Let y be a(-5). Suppose 0*o = 3*o - y. Is o a composite number?
False
Suppose 0 = -3*y + 2*c + 1175, 5 = -3*c - 7. Is y a prime number?
True
Is (-9)/3 + 34*5 a prime number?
True
Let p(y) = -y**2 + 5*y + 1. Let z be p(5). Let a be (2 + -1 + -1)*z. Is 1 + a/2 + 10 prime?
True
Let f(h) = -h + 139. Is f(0) composite?
False
Suppose -2*x + 6*x - 151 = n, 5*n = -2*x + 103. Is x a composite number?
True
Suppose 5*l - 118 = 3*l. Is l composite?
False
Let y(a) = a**2 - 5*a - 3. Let s be y(5). Let d = s - -5. Suppose 14 = x - 3*q - 9, 2*x + d*q = 22. Is x composite?
True
Suppose -4*u - 5*f - 1 = 0, -4 - 22 = -u + 4*f. Is ((-4)/u)/(4/(-714)) composite?
True
Let u = -9 - -6. Let z be -1 - u - (1 - -2). Let w(k) = -96*k**3 - 2*k**2 - k. Is w(z) prime?
False
Suppose -8 = 4*g, 0*n + 3*n + 2 = 5*g. Is (n/(-6))/((-6)/(-1395)) a composite number?
True
Let t = 12 + -2. Let m(v) = -v**2 + 13*v + 1. Is m(t) prime?
True
Let o be (-23)/(-5) - (-2)/5. Suppose -3*t - t + 376 = 0. Suppose 0 = -2*a - 3*g + 40, -o*a + a + g = -t. Is a a composite number?
False
Let r = -505 - -812. Suppose 0 = 5*c + r + 138. Is (c/(-3))/(4/12) a composite number?
False
Let b(h) = 2*h**2 + 21*h + 37. Let v be b(-9). Let w be (14/4)/((-1)/(-2)). Suppose v*m = w*m + 138. Is m a prime number?
False
Let i(y) = y**3 - 6*y**2 + y + 4. Let b be i(6). Let d be 3/2 + 15/b. Is (-112)/(-3) - d/9 a composite number?
False
Suppose 1414 = 8*p - 1218. Is p prime?
False
Suppose 22*g - 20*g = 1142. Is g prime?
True
Suppose 0 = 2*f - 4*i - 633 - 169, 2*f + 3*i - 781 = 0. Is f prime?
False
Let k(z) = 49*z**2 + z - 1. Is k(3) a composite number?
False
Let v(s) = -1591*s - 8. Is v(-1) composite?
False
Suppose -5*d - 30 = 5*a - 0*d, -5*d = 3*a + 26. Let f be 246/a + 0/4. Let s = 250 + f. Is s prime?
True
Suppose -184 - 732 = -2*j. Is j prime?
False
Suppose 2*m + 1131 = 5*m. Suppose 5*o + 52 - m = 0. Is o a prime number?
False
Suppose c - 2*p - 6 = -p, 2*c - 5*p - 12 = 0. Let o be 416/c + (-2)/6. Let r = 104 - o. Is r prime?
False
Let m = 496 + 445. Is m a prime number?
True
Suppose 5*w + 5*b = -125, -2*w + 4*w = b - 59. Is (-543)/(-7) + w/49 prime?
False
Suppose b + 4*k = -k + 20, -b + 3*k - 4 = 0. Let n be b*1 + 4/(-4). Suppose 0*s - 3*s = -2*p - 253, -5*p + 345 = n*s. Is s composite?
True
Let n(c) = c**2 + 8*c + 7. Let r be n(-7). Suppose r*x + 5*h - 60 = 5*x, -2*h + 51 = -5*x. Let w(f) = 6*f**2 + 12*f - 5. Is w(x) composite?
False
Let j = -81 - -237. Let i = -89 + j. Is i a prime number?
True
Suppose -3*q = -122 - 325. Is q/(-2)*2*-1 prime?
True
Let b = 34 + -19. Suppose -t = -b - 16. Is t a composite number?
False
Is ((-1486)/3)/((-14)/3 - -4) prime?
True
Suppose -4*u = -2*u - 226. Is u composite?
False
Let g(c) = -c - 6. Let l be g(-6). Suppose l*z = -4*w + z + 108, 2*z + 112 = 4*w. Is w a composite number?
True
Let g(q) = 9*q + 1. Let t be g(1). Is 12/20 + 24/t a composite number?
False
Suppose 3*j - 5*j + 6 = 0. Let c(o) = o**2 - 5*o + 2. Let d be c(5). Suppose -d*b = j*b - 575. Is b prime?
False
Let r = 5 + 0. Let c(k) = 2*k**2 - 2*k + 7. Let v be c(r). Suppose -z + v = -0*z. Is z a composite number?
False
Let f(y) = 3*y**2 + 3*y - 3. Let q(m) = -2*m**2 - 2*m + 2. Let z(v) = -5*f(v) - 8*q(v). Is z(9) a composite number?
False
Suppose -u = -5*g - 2103 + 181, -3*u = -4*g - 5799. Is u composite?
True
Let q(t) = 3*t**3 - 6*t**2 + 8*t + 6. Let k(m) = 2*m**3 - 5*m**2 + 7*m + 5. Let j(y) = 4*k(y) - 3*q(y). Is j(-5) composite?
True
Let h(g) = -g**3 - 4*g**2 - 4*g + 4. Let v be h(-4). Suppose 0 = 2*x + 3*x + v. Let b = x + 23. Is b prime?
True
Suppose -4*x + 40 - 12 = 0. Suppose 2*z - 3*r + x*r - 58 = 0, 4*r - 19 = -z. Is z a composite number?
True
Let h(r) = 10*r**2 + r - 4. Is h(5) composite?
False
Suppose -15 = -3*h + 4*i, h - 6*h - 4*i + 25 = 0. Suppose 29 = h*r - 26. Is r a composite number?
False
Let d be (1 + -222 - -3)/(-2). Let y = d + 2. Is y a composite number?
True
Let m = -804 - -2303. Is m prime?
True
Let x(c) = c**2 + 10*c - 4. Let n = 30 - 9. Suppose 25 = -3*u - 4*h + 8, -n = 3*u + 3*h. Is x(u) a prime number?
True
Suppose n = 467 - 76. Is n a prime number?
False
Suppose -7*q = -6*q - 1. Is (-2 + q)/((-2)/174) a prime number?
False
Let w(f) = -19*f + 2. Let y(z) = z**2 + 7*z - 11. Suppose 2*h = -s + 6*h, 5*s - 5*h = -30. Let c be y(s). Is w(c) composite?
False
Let s = -6 - -6. Suppose 0*z - z = s. Suppose z*n + 134 = 2*n. Is n a composite number?
False
Let u(l) = -3 - 12*l - 4 + 3 + 9. Is u(-4) composite?
False
Let s = 1049 - 402. Is s prime?
True
Let t = -12 - -14. Is 3 + (-3 - t) + 95 a composite number?
True
Let y = -616 + 1283. Is y a prime number?
False
Let c be 20/50 - (-686)/10. Suppose 3*k + 5*u = -104, -k - 82 = k - 3*u. Let h = k + c. Is h a composite number?
False
Let f be 1 + (3 + -4)*-139. Suppose -3*m = 2*m + f. Is 3/(-2)*m/6 composite?
False
Suppose i - h - 78 = -2*i, 4*i = 3*h + 109. Is i a prime number?
False
Let y(k) be the first derivative of -31*k**2/2 + 5*k + 5. Is y(-4) prime?
False
Suppose 4*c + 304 + 60 = 0. Let n = -38 - c. Is n composite?
False
Let p(d) = 22*d**3 + d**2 - d + 1. Let h be p(1). Suppose -h = -0*k - k. Is k composite?
False
Let b(x) = -4*x**2 + 5*x + 3 + x - x**2 - x**3 + 3. Is b(-6) composite?
True
Let c(t) = -t**2 + 6*t - 2. Let w be c(4). Suppose w*z - 5*z - 6 = 0. Is (2 - 9/z)*52 a composite number?
True
Let f = -553 - -861. Let k = 46 - 43. Suppose -k*i = -7*i + f. Is i prime?
False
Let v(j) be the second derivative of -j**5/20 + j**4/3 + j**2/2 - j. Let m be v(4). Is (17 - (-4 + 2))*m prime?
True
Let q(f) = -f**2 + 19*f - 9. Let z be (-8)/(-12) - (-28)/(-6). Let r = 4 - z. Is q(r) a composite number?
False
Suppose 3*j - 4 = 2. Suppose 0 = -j*n + 9 + 3. Is 1095/9 + n/(-9) a composite number?
True
Suppose 7*j - 3522 = j. Is j prime?
True
Let p(c) = 6*c**3 - 2*c**2 + 7*c. Let g(a) = -5*a**3 + a**2 - 7*a. Let h(o) = -4*g(o) - 3*p(o). Is h(5) composite?
True
Let w(j) = -19*j - 1. Let t be w(7). Let q = -79 - t. Let p = 168 - q. Is p a composite number?
False
Let d = -50 - -121. Let h = d - 36. Is h a prime number?
False
Suppose 1 = -p - 1. Is p/4 - (-158)/4 a composite