site?
True
Suppose -5*i = -g - 17, -5*g - 25 = -7*i + 2*i. Suppose 0 = -5*l + 3*f - 4*f + 130, i*l = -f + 78. Is l a composite number?
True
Let h = 109 + 810. Is h composite?
False
Suppose -4*m - 225 = -b, 3*b - 878 = -b + 5*m. Is b composite?
True
Let o be 0 - 15/6*2. Let n(i) = i**3 + 5*i**2 + i + 7. Let b be n(o). Is (b - 4)/(4/(-28)) composite?
True
Let r = -1073 + 2830. Is r prime?
False
Suppose -139 = -o - 0*j + 4*j, -3*o - 2*j = -431. Is o composite?
True
Let u(z) = z**3 + 5*z**2 + 3*z - 2. Let f be u(-4). Suppose -4*d = -f*r + 194, 2*r - 3*d - 102 = r. Is r prime?
False
Suppose 0*c - 26 = 5*b + 4*c, -b = 4*c + 2. Let q = -13 - b. Let l(d) = 3*d**2 + 9*d - 5. Is l(q) a composite number?
False
Let o = 144 - 31. Is o a composite number?
False
Let u(w) = -1. Let t(z) = -19*z + 57. Let d(i) = -t(i) - 57*u(i). Let h be d(2). Suppose 0 = -5*l + 3*l + h. Is l a prime number?
True
Suppose 0 = -2*s - 4, 35 = -2*u - 3*s + 339. Is u prime?
False
Suppose 2518 + 2067 = 5*a. Is a a prime number?
False
Suppose w = 6*w - 5. Suppose -a + k + w = 3, -4*a = k - 17. Let u = 4 + a. Is u composite?
False
Suppose z = -j + 160, -3*z - 776 = -6*j + j. Is j a composite number?
False
Suppose 3 - 2 = -m + k, -3*m + 5*k - 5 = 0. Let x(l) = l**2 + 35. Is x(m) a composite number?
True
Is 81/(-18)*92/(-6) a prime number?
False
Suppose -55 - 11 = -3*n - 3*s, -n + 25 = 2*s. Is n prime?
True
Let f(r) = -2*r + 9. Let b be f(7). Let c(u) = u**2 + 3*u + 4. Is c(b) composite?
True
Let c = -2 - -2. Let w = 5 + c. Suppose -2*x + w*q = -210, 3*x + 79 = -q + 428. Is x a composite number?
True
Suppose -3*f + f = -4. Suppose f*n = 3*n - 2. Suppose 0 = -r - n*r + 141. Is r composite?
False
Suppose -t - 4*t + 2*b = -36, 3*t - 30 = 4*b. Let f(k) = -56*k - 2 - 4 - 1 + t. Is f(-1) a composite number?
True
Suppose -t + 1576 = 5*q - 18366, -2*t = -3*q + 11973. Is q a composite number?
False
Suppose 0 = -y + 1, 5*b - 2 + 0 = -2*y. Suppose -4*f + 2 - 14 = b. Is 98/2*f/(-3) composite?
True
Suppose -5*u - 16 = i, -3 = 3*u - 5*i + 1. Let h be 0 + (-6)/u + 14. Is 182/8 - (-4)/h prime?
True
Let s be (-16)/(-12)*6/4. Let q(u) = 11*u - 2. Let k be q(s). Suppose 3*n + 4*r - 271 = 0, r = 5*r + k. Is n a composite number?
False
Suppose -2*b = -b - 14. Is b prime?
False
Suppose -i + 16 = u, 8 = i - u - 2. Let a = 27 - i. Is a composite?
True
Let h = -316 + 570. Is h a composite number?
True
Let q = -4 + 9. Suppose 5*v - q*d - 405 = -d, v = 2*d + 87. Is v a prime number?
False
Is (17 + -19)*149/(-2) a composite number?
False
Let l = 19 - 29. Is 148/(-10)*25/l prime?
True
Let m(i) = 3*i + 5. Let p be m(2). Suppose -p = 4*l + 5, -3*w + 249 = -3*l. Is w a prime number?
True
Let o(c) = 0*c - 5 - 1 + c - 5*c. Suppose 0 = 3*b - 2*b + 4. Is o(b) a composite number?
True
Suppose -9*d + 2540 = -5*d. Is d a prime number?
False
Let u(h) = 2*h**3 + 9*h**2 - 3*h - 10. Let p(a) = -a**3 - 4*a**2 + a + 5. Let f(z) = 5*p(z) + 3*u(z). Let x be 27/9 - (-2 + 12). Is f(x) a prime number?
True
Suppose -i - 4 = -f - 0*i, 2*f + 4*i = 8. Suppose -160 = -f*v + 60. Suppose 5*r + 6*u - 3*u = 275, -5*u - v = -r. Is r prime?
False
Let y = 2484 + -901. Is y prime?
True
Suppose 0 = 3*x - 0*x. Let d be (-2 + 1)*(x + 1). Let t = 8 + d. Is t a prime number?
True
Suppose -4*v + 7*v = 390. Let r be v/3 - 5/15. Suppose -5*t - 2*q = -8*t + 149, 0 = t - 2*q - r. Is t prime?
True
Suppose -4*d + 12 = 0, 2*h = 2*d + 2*d - 22. Is (-393)/h - 12/(-30) prime?
True
Suppose 4*f - 5*f + 6 = 0. Suppose -14 = -4*u - f. Suppose -6*m + 40 = -u*m. Is m composite?
True
Let i(b) = 2*b - 4. Let g be i(3). Suppose -g*h + 50 = -7*h. Is h/(0 + 6/(-39)) a composite number?
True
Suppose 2*c = 4*i - 818, 0 = -4*i - i + 3*c + 1024. Is i a prime number?
False
Let l(i) = 3*i**2 - i + 2. Let b be l(2). Is (84/b)/((-2)/(-10)) prime?
False
Is 423/6*(-14)/(-3) composite?
True
Let p be (-15)/4 - 18/(-24). Let h be (-45)/2*2/p. Is (-6)/(-10) - (-2136)/h prime?
False
Let a(u) = u**2 + 3*u + 2. Let l be a(-4). Suppose 0 = 3*j - j - l. Is -2 + 1/(j/45) a composite number?
False
Let s(h) = -h**3 + 5*h**2 - 3*h. Let l be s(2). Let o be 16 - (l/(-1))/3. Let v = 185 + o. Is v composite?
True
Suppose 3*k = -12, -3*c = -k - 3*k - 28. Suppose f = -4, 0 = -a - c*a + 2*f - 207. Let b = 90 + a. Is b a prime number?
True
Let h(x) = x**3 - 6*x**2 - 7*x + 3. Let q be h(7). Suppose q*i - 333 = -3*w, w + 352 = 4*i - 67. Is i a composite number?
True
Let a = 167 + -91. Suppose -k - a = -3*k. Is k a prime number?
False
Suppose -2*m = 3*b, -2*m + b = 2*b. Suppose -3*t + 2*q + 82 = -m*q, -96 = -4*t - 4*q. Is t prime?
False
Let r(d) = -5*d. Suppose -w + 2 = -0*w. Suppose i + w = -1. Is r(i) composite?
True
Suppose -5*i + 2*s = -s - 1552, 0 = -4*s + 4. Let d = i - 190. Suppose c - 224 = -2*z + 2*c, -z + 5*c = -d. Is z a composite number?
True
Let q(m) = -m**2 - 8*m + 9. Let b be (2/(-4))/((-3)/(-54)). Let t be q(b). Suppose -5*u + 65 = -5*z, 3*u - 35 = -t*u + z. Is u prime?
True
Let x(u) = u**2 - 5*u - 3. Let t be x(6). Let k(w) = -64*w. Let r be k(t). Let o = -73 - r. Is o a prime number?
False
Let d = 16 - 10. Is ((-51)/d)/(2/(-44)) composite?
True
Let h(p) be the first derivative of 4*p**3/3 - p**2 - 3*p + 3. Is h(4) a prime number?
True
Suppose 0 = 11*u - 1433 - 3726. Is u prime?
False
Suppose 3*j + 0*j - 3*n = 1530, -4*n = -j + 507. Suppose 5*l - j = -0*b - 2*b, 5*b - 1261 = 4*l. Is b composite?
True
Suppose 2*w - 11 = -3. Let m(f) = 2*f**2 - 5*f - 2. Let p be m(w). Suppose 0 = -5*n + p, -158 = 2*k - 6*k - 5*n. Is k a composite number?
False
Suppose 0 = y - 64 - 267. Is y a composite number?
False
Is -4*1/(-2) - -87 a prime number?
True
Suppose -m - 4*d + 1480 = -7*d, 0 = 4*d + 4. Is m a composite number?
True
Suppose 0 = 7*i - 1315 - 2192. Is i a composite number?
True
Suppose -3 = 2*z + 3. Let d be 3/(-1 + (-6)/z). Suppose -d*x + 0*x + 39 = 0. Is x a prime number?
True
Let g = 2 - 3. Is (-21 - 0/3)/g prime?
False
Let l(y) = 28*y + 15. Is l(7) composite?
False
Suppose 2*z - 84 = 226. Is z a prime number?
False
Suppose 4*m + 4 = 0, 6*h + 5*m = 2*h + 7. Suppose -1323 = -5*z + 5*l + 382, 5*l = h*z - 1031. Is z composite?
False
Let m = -484 - -1039. Suppose -h + 2 = 0, 3*n - 2*h = h + m. Is n a prime number?
False
Suppose 4*d - 28 = -0*d + 2*c, 4*d = 3*c + 26. Let n = d - 6. Suppose k = -5*r + 4*k + 182, 0 = n*r - 2*k - 72. Is r prime?
True
Suppose b - 5*b - 2*c = 12, -5*b = 2*c + 14. Is (-1 - -3) + (b - -707) a composite number?
True
Suppose -53 = 2*b - 141. Suppose -b = y - 123. Is y a composite number?
False
Suppose -h = 4*y + 22, h - y - 8 = y. Let g be h - (2 + -5 - 37). Suppose -3*b = -b - g. Is b a composite number?
False
Let w(i) = 12*i**2 + 3*i - 2. Let m = 7 + -5. Suppose 3 = x - m*x. Is w(x) a prime number?
True
Is 0/3 - (-1 + -52) composite?
False
Suppose 2*v = -3*c - 7 - 6, -4*c - 2 = -5*v. Let k be (2 - 8)/c*2. Suppose -2*f - 5*t = -113, k*f + 13 - 246 = -3*t. Is f a composite number?
False
Suppose 0*b - 12 = 2*b + 2*j, -5*b - 3*j - 20 = 0. Let i = 4 - b. Suppose 55 = -4*n + i*n. Is n prime?
False
Let q(c) = -c**3 - 3*c**2 - 3*c + 6. Is q(-5) prime?
True
Is (-1 + 3)*6461/14 a prime number?
False
Is 1/((2/(-2074))/(-1)) a prime number?
False
Let n = 1 - 1. Suppose b + n = 2. Suppose 52 = 3*s + 5*i - 1, 0 = 5*s + b*i - 63. Is s a prime number?
True
Let w be 16/9 - 4/(-18). Let r be (-2 - -3) + (w - -4). Suppose -3*o = -2*o - r. Is o a prime number?
True
Suppose -s = -3*s + 222. Is s prime?
False
Let m = 397 + -110. Is m prime?
False
Let n(u) be the second derivative of 5*u**4/12 + 2*u**3/3 + 2*u. Let s be n(-3). Suppose s = 5*z - 2*z. Is z a prime number?
True
Suppose -3*c - 2*n - 2 = 0, -5*c + 14 = -0*c - n. Is (c - (1 + 0))*77 a prime number?
False
Let p(v) = 6*v**2 - 3*v - 20. Is p(11) prime?
True
Let w(r) = 343*r**2 + 6*r + 25. Is w(-4) a composite number?
True
Let b(z) = -z**3 + 7*z**2 - 2*z - 6. Let x be -3*1/(-3) - -4. Is b(x) prime?
False
Let o(q) = 3*q - 7. Let d(t) = -4*t + 7. Let n(y) = -4*d(y) - 5*o(y). Let s be n(-5). Is s/(-6) - (-320)/6 a composite number?
False
Is 422*((-1)/2)/(-1) a composite number?
False
Let h(b) = 9*b**2 - 2*b - 9. Let f = -25 + 21. Is h(f) prime?
False
Let t = -97 - -147. Let j = t + 24. Is j prime?
False
Suppose -2*d - 228 = o, -2*o = -4*d