
Is (-1 + 0)/((-4)/1348) composite?
False
Let x(f) = -f**3 - 6*f - 1. Let l be x(-4). Let k be (3 - (-16)/(-6))*l. Let u = k - 15. Is u composite?
True
Let j = 15 + -8. Is 583/j - 6/21 prime?
True
Suppose 146 + 73 = 3*v. Let k be ((-16)/(-10))/(2/280). Suppose -o = 5*l - 2 - v, 4*o - k = -l. Is o a prime number?
False
Let v(t) = -t**3 + t**2 + t - 1. Let j be v(2). Is 1 - (-11 + 0 + j) a prime number?
False
Let k be 3/(-1 - 371/(-368)). Let g = k + -105. Is g composite?
False
Let r(m) = -m**2 + 3*m + 2. Let i be r(3). Is (-328)/(-10) + i/10 a composite number?
True
Let i = 514 + -226. Suppose y = 2*r - 152, i = 4*r - 3*y - 14. Is r a composite number?
True
Suppose -2*b + 30 = 4*y, 2*b + 36 = 4*y - 2*b. Suppose 111 = x - y. Is x prime?
False
Let p(d) = 9*d + 1. Suppose 4*o - 9 = 15. Is p(o) a prime number?
False
Suppose 0 = 3*n - 2 - 4. Suppose 3*d + n*d = 290. Is d prime?
False
Suppose -6 = -2*q + 2*b, 5*q + 5*b - b = 6. Suppose -207 = -q*m - 33. Is m prime?
False
Suppose -2*v + 610 = 5*z, -244 = -3*z + z - 2*v. Suppose z = 5*t - 63. Is t composite?
False
Let c = 379 + -176. Is c a composite number?
True
Let w = -6 + 5. Is (-8 - w)/((-3)/177) composite?
True
Let j(t) = t**2 + 127. Is j(0) composite?
False
Let i(l) = -l**3 + 5*l**2 + 6*l + 6. Let j = -8 + 14. Let b be i(j). Suppose -b*g + 2*g = 3*w - 95, 99 = 3*w + 3*g. Is w composite?
False
Suppose 29 = 5*z - 4*c, 5*z + c = 2*c + 26. Suppose -3*t + 3 + 0 = z*j, -4 = j - 4*t. Suppose 0*k - k + 37 = j. Is k a composite number?
False
Is ((-3)/9)/(1/759*-1) a prime number?
False
Suppose -3*g + 353 = -1306. Is g a composite number?
True
Let c(v) = 3*v + 3. Let p be c(6). Let b be 2/5 + 76/10. Let g = p - b. Is g prime?
True
Let t = 588 - 361. Let z = -114 + t. Is z composite?
False
Let v(s) = 9*s + 17. Is v(18) prime?
True
Suppose 5*k - 451 = 544. Suppose -2*r = 2*i - 126, 3*r + 6*i - k = i. Let n = 95 - r. Is n composite?
False
Suppose 0 = 2*k + d - 249, 2*k - 5*d - 279 = -0*k. Is k a prime number?
True
Suppose -1 = 4*m - u, 0*u + 4 = -m - u. Is 5 + 8 - 0/m a composite number?
False
Let r = 6191 + -220. Is r a prime number?
False
Suppose -2 = -4*o + 3*o. Let v(w) = 6*w - 6*w + 1 + 5*w**o + w**2. Is v(7) prime?
False
Suppose -17 = -2*j - 5. Suppose -t - 5*d = 1, -j*t - 2*d + 10 = -3*t. Suppose 0 = -t*p + 55 + 141. Is p a composite number?
True
Suppose -2*a + 5 = -a. Suppose 0 = -a*j + k + 25, -4*j = -4*k - 3 - 17. Suppose -3*u + j*u - 286 = 0. Is u prime?
False
Let s(i) = i - 3*i - 4 + i. Let b be s(-6). Suppose -2*v = -3*w - 71, b*v - 72 = -0*v + 2*w. Is v a prime number?
True
Let i(d) = -71*d - 10. Is i(-7) composite?
False
Let r = 30 + 5. Is r a prime number?
False
Suppose -3*b - 5*z - 18 = -z, 0 = -z. Let t = b - 0. Let f = t - -21. Is f composite?
True
Let c = 2 + -358. Let v = -245 - c. Is v prime?
False
Is (264/2)/3 - -2 a prime number?
False
Let w be (-1)/(3*(-1)/(-51)). Let a = 11 + w. Let q(l) = l**3 + 7*l**2 + 3*l - 7. Is q(a) a prime number?
True
Suppose 2*c - 6 = -c - 3*z, 0 = c - 4*z + 8. Is (c/2 - 3) + 40 a prime number?
True
Suppose -v + 2*v - 20 = -5*w, 0 = -2*w - 5*v + 31. Is 7/w*(-12)/(-4) a composite number?
False
Suppose -i + p + 1 = -1, -i = -2*p. Suppose 5*w = i*w - 20. Is 4/w + 1232/10 a prime number?
False
Let k = 124 + -69. Is k prime?
False
Is 148/2*114/12 prime?
False
Suppose -1 = -q - 0. Let b = q - -2. Suppose b*z + 4*t - 133 = -0*t, -3*t = 6. Is z a composite number?
False
Suppose -5046 = -13*r + 5341. Is r a prime number?
False
Suppose 0 = -5*q - w + 64, 5*q = 4*w - 6*w + 63. Let b = q + -7. Is b composite?
True
Let h(n) = 3*n**3 - 4*n**2 + 2*n + 8. Is h(9) prime?
True
Let v(b) = 31*b - 7. Is v(2) composite?
True
Let m be (16/(-10))/(2/(-5)). Suppose -o = -5*o + 8. Suppose r = -3*q + 43, -r + o*r = -m*q + 56. Is q a composite number?
False
Suppose -v - 65 + 26 = 0. Is 26*(v/(-6) - 1) prime?
False
Let n = 10 - 10. Suppose n = -0*x + 4*x - 2*k - 12, 0 = 2*x + 2*k - 12. Is x*((-194)/(-8) + -1) a composite number?
True
Let u(y) = -3*y**3 - 7*y**2 - 13*y - 4. Is u(-9) prime?
True
Let g = -686 - -1017. Is g prime?
True
Suppose 2*w - 3359 = 4*j - 9*j, 0 = 2*w - 4. Is j a prime number?
False
Let z = -3628 - -5789. Is z prime?
True
Let b(l) be the second derivative of 17*l**8/3360 - l**6/720 + l**4/12 - l. Let r(p) be the third derivative of b(p). Is r(1) a prime number?
False
Suppose 0*c = -2*c + 2. Is (-6 - -4) + 35/c a composite number?
True
Let g = -2 + 0. Let s(i) = -4*i**3 - 4*i - 3. Is s(g) composite?
False
Let o(q) be the first derivative of -q**3/3 + 5*q**2/2 - 2*q + 1. Let v be o(5). Is 127/3 + v/(-3) a composite number?
False
Let h = -225 - -549. Let m = h - -7. Is m prime?
True
Let b(k) = 2*k**3 - 8*k**2 - 5*k - 5. Is b(6) composite?
False
Let g(r) = -r - 4. Let f be g(-6). Suppose 3*c = f*d + 26 - 153, -d = 3*c - 68. Is d a composite number?
True
Suppose -3*w = -w + 8. Let l = 33 - w. Is l a prime number?
True
Let z be ((-2)/(-3))/(2/9). Let n(x) = 3*x**2 + 6*x + 6. Let l be n(-6). Suppose -5*b - t - z*t = -406, b + 4*t = l. Is b prime?
False
Suppose 4*r + 2*l = 32 - 10, 0 = -2*r - 4*l + 20. Suppose -r*p - p = -255. Is p a prime number?
False
Let d(v) = -4*v + 1. Let b = 8 - 13. Is d(b) composite?
True
Suppose -w + 2*j - 2 + 157 = 0, -2*w = -3*j - 314. Is w composite?
False
Let h(p) = -p**3 - p - 1. Let w be h(-5). Suppose -4*g - 59 - 149 = 0. Let q = g + w. Is q prime?
False
Suppose 0 = 5*o + 2*i - 1671 - 1454, -5 = -i. Is o composite?
True
Suppose 13 - 5 = 4*n. Suppose -n*r = -6*r + 460. Is r composite?
True
Let s = -60 + 1571. Let n = s - 130. Is n a prime number?
True
Suppose 0 = -3*f + c + 96, f - 3*c + 75 = 3*f. Is f a composite number?
True
Let i(x) = 1. Let g(n) = -257*n - 1542. Let s(l) = -g(l) - 1542*i(l). Is s(1) a composite number?
False
Suppose 57*o = 60*o - 1221. Is o composite?
True
Let h = 50 + 10. Suppose -3*c - h = -5*c. Let s = 17 + c. Is s a composite number?
False
Let q(p) be the third derivative of p**5/10 + p**4/24 - p**3/6 + p**2. Let a(r) = 2*r. Let x be a(-1). Is q(x) a composite number?
True
Suppose -2*f + 3*m = m - 72, -3*m = 4*f - 137. Let n be 13/(-5) - 14/f. Is 21*n/(27/(-39)) prime?
False
Suppose -2*c + 4 = -2*a, -4*a = -2*c - 0 + 8. Suppose -56 = -5*t + 39. Suppose t = -c*l + l. Is l prime?
True
Let n = 13 - 8. Suppose 489 = -5*q + 3*x + 1538, -n*q = -4*x - 1047. Is q composite?
False
Let c = -2049 + 3223. Is c prime?
False
Let h(m) = 24*m**2 - 5*m + 1. Let n(z) = 24*z**2 - 6*z + 1. Let b(v) = 6*h(v) - 5*n(v). Let u be 12/9*9/(-6). Is b(u) composite?
False
Let w(f) = f**2 - 5*f + 7. Is w(6) a composite number?
False
Let j = 69 + 233. Is j composite?
True
Suppose -4*q - 208 = 2*p, 52 = q - 2*q + 5*p. Let u = -37 - q. Is u prime?
False
Let u be (-2)/4*(0 + 0). Let g be u + (-1 - -2) - 3. Is -3*3/6*g a prime number?
True
Suppose 0*p - 5*t = -2*p + 3732, 0 = -p + t + 1863. Is p a composite number?
False
Let f = 21 - -9. Let p = 3 + f. Is p a composite number?
True
Let n(a) = a**3 + 8*a**2 - 7*a + 8. Let b be n(-8). Let x = b + -42. Is x a composite number?
True
Suppose 502 = 20*p - 18*p. Is p prime?
True
Let v be (2/4)/(8/704). Suppose 3*w - 3*h - v = 97, -2*w = h - 91. Is w a composite number?
True
Let t = 1080 + -407. Is t composite?
False
Let t = 858 - 65. Is t a composite number?
True
Suppose 4*l = a - 269, -a + 2*l - 41 = -304. Is a a prime number?
True
Suppose 5*i - 214 = 306. Suppose 2*b - i = 6*b. Let t = b + 47. Is t prime?
False
Let c be -198 + 1 - (-18)/(-9). Let b = 384 + c. Is b a prime number?
False
Let h(d) be the first derivative of 28*d**3/3 + 7*d**2/2 - 7*d + 4. Is h(6) a prime number?
False
Suppose -19 = x + 5*r, -4*x + 3*r = -r + 100. Let d be (x/(-20))/((-2)/(-5)). Suppose 3*o + d*j = 30, -2*o - j = -4*o + 11. Is o composite?
False
Let u(t) = 8*t**2 + 2*t + 5. Let r(c) = 7*c**2 + c + 4. Let v(k) = 4*r(k) - 3*u(k). Is v(-2) prime?
False
Is (-3 + 2 - -401) + 6/(-2) composite?
False
Let a(w) = 5 - 2 + 2*w - 2. Is a(1) composite?
False
Let z(y) = -y**3 + 5*y**2 + 6*y + 5. Let g be z(6). Suppose 377 = o + b - 3*b, -b - 1894 = -g*o. Is o composite?
False
Let i(h) = -9*h**2 + 11*h - 18. Let q(w) = -4*w**2 + 6*w - 9. Let c(k) = 2*i(k) - 5*q(k). Is c(6) prime?
False
Suppose 3*g = 2*k - 4 - 2, 2*k - 6 = 0. Suppose 0 = 