osite?
True
Suppose 0 = n - 374 - 149. Is n a prime number?
True
Is 5226/8 - (-15)/(-60) a composite number?
False
Let w(o) = -5*o + 8. Let q(j) = 6*j - 7. Let g(h) = -6*q(h) - 5*w(h). Let p be g(-4). Suppose -3*t = -1 - 11, p = 3*u + 4*t. Is u a composite number?
True
Suppose 9 = -3*n - 2*d, 13 + 3 = -4*n - 4*d. Is 25 - n - (-3)/(-3) a prime number?
False
Suppose -5*z + 5*h = -40, -3*z = 3*h - 8 + 2. Suppose z*r = 3*r - 12. Let k(n) = n**3 + 7*n**2 + 5*n + 7. Is k(r) a prime number?
True
Let b(s) = -s**3 + 6*s**2 - 3*s + 3. Is b(4) composite?
False
Let j(g) = g + 3. Let f be j(-5). Let z be 0/((-1 - -4) + f). Suppose 0 = -z*m + m - 2*q - 43, 0 = -3*m - 4*q + 89. Is m composite?
True
Is 1346/2*-1*(-2 + 1) a prime number?
True
Let g be -2 - -4 - (-2 + -126). Suppose 250 = 4*f - g. Is f prime?
False
Is ((-17730)/(-4))/3 - (-1)/(-2) a composite number?
True
Let p(y) = 17*y**2 - 1. Is p(-2) a prime number?
True
Let i(h) = -323*h. Let p be i(-1). Suppose 3*m + p = -451. Let k = -97 - m. Is k a composite number?
True
Let b = 34 - -115. Is b prime?
True
Let r = 28 - -31. Let z = -26 + -10. Let l = z + r. Is l composite?
False
Let x be 4/(-14) - 2314/(-14). Suppose -i + x = 2*i. Is i prime?
False
Suppose -42333 = -9*l + 2334. Is l composite?
True
Let n = -11 - -7. Let a = n - -31. Suppose 21 = f - w, -2*f - 3*w + 15 + a = 0. Is f prime?
False
Let s(o) = -o**2 + 13*o - 11. Let v be s(8). Suppose -3*y + 105 = -3*x, 3*x + v = y - x. Is y prime?
True
Let d(i) = -i**3 - 13*i**2 - 12*i + 2. Let s be d(-12). Suppose 0 = s*u + 5*k - 379, 2*u = -k + 417 - 42. Is u a composite number?
True
Suppose -4*y + 0*y + 836 = -2*v, -5*y + 4*v + 1039 = 0. Is y composite?
False
Let z(w) be the third derivative of 0*w + 0 + 77/6*w**3 - 1/24*w**4 - 2*w**2. Is z(0) composite?
True
Suppose -4*t = -5*t + 95. Is t prime?
False
Let b(g) = -24*g + 5. Let y be (-28)/5 - 8/20. Is b(y) prime?
True
Let d(x) = 27*x**2 + 8*x - 14. Is d(11) a prime number?
False
Is 188 - (-1 - (-2)/1) composite?
True
Let q(y) = y**2 + 11*y - 17. Is q(6) a composite number?
True
Let r(a) = a**3. Let n(p) = -3*p - 3 + 4*p**2 - 8 - 10*p - 14*p**2. Let z(k) = -n(k) + r(k). Is z(-8) prime?
False
Suppose 5*t - 2090 = 5*p, -2*t = t + 3*p - 1260. Is t a composite number?
False
Is (-4)/36 + 1018/9 composite?
False
Let y(z) = z. Let q be y(-6). Let j(v) = -40*v + 2. Let i(m) = -20*m + 1. Let u(h) = q*j(h) + 11*i(h). Is u(1) a composite number?
False
Suppose -3*a - 7*g + 31 = -3*g, 4*a = 5*g. Suppose -z - 245 = -a*c, -3*z - 2*z = 0. Is c composite?
True
Suppose -5*u - 28 = -3*j, -2*j + 3*u = -0*j - 18. Suppose -r - 895 = -j*r. Is r a composite number?
False
Let l = 1 - -6. Let r(x) = 29*x - 12. Is r(l) composite?
False
Let o(f) be the third derivative of -f**4/12 + 2*f**3/3 + 2*f**2. Let a = -13 + 8. Is o(a) a composite number?
True
Let h = -8 - -4. Let o(j) = -j - 9. Let k be o(h). Let a(g) = 2*g**2 - 6*g + 5. Is a(k) a prime number?
False
Suppose -y = -2*a - 35, y - 2*y + 3*a + 30 = 0. Suppose -5*j - 4*s + y = 0, 6*j - 4*s = j + 85. Is j prime?
True
Suppose 3*r - r - 6 = 0, 5*p + 5*r + 235 = 0. Let h be p/(-6) - (-4)/6. Suppose -5*c = -26 - h. Is c a prime number?
True
Let q = 5 - -1. Suppose 0 = q*z - 3*z - 141. Is z prime?
True
Let p = -49 + 94. Suppose p = -4*h + 257. Is h a composite number?
False
Suppose 0 = a - 2 + 5. Let x be 1 + a + -2 + 137. Suppose -2*f + 38 = k - 27, 4*f + 3*k = x. Is f a prime number?
True
Let t = -31 + 5. Is ((-331)/(-2))/((-13)/t) a composite number?
False
Let w be (-4)/14 + (-663)/7. Let v = w - -134. Let t = v + -24. Is t a prime number?
False
Let g(s) = -633*s - 7. Is g(-2) a prime number?
True
Let w(z) = z**2 - 8*z - 1. Let l be w(8). Let t(n) = n + 11. Let f be t(14). Is (-2)/l - (4 - f) prime?
True
Let c = 27 + 18. Let d be 8/6*c/10. Let v(b) = 4*b + 2. Is v(d) a composite number?
True
Let a = -35 - -16. Let w = -5 - a. Is w a prime number?
False
Let c be 3*(-1 - (-10)/6). Suppose -356 = -2*l - c*l. Is l prime?
True
Let t = 318 + -164. Let i = t + -85. Is i composite?
True
Let k(t) = -113*t - 2. Suppose l = -2*l + 15. Suppose 0 = d + 3, -l*u = -0*u + d + 18. Is k(u) prime?
True
Suppose 782 = 37*r - 35*r. Is r prime?
False
Suppose 2*a = 6 - 0. Suppose 0 = 3*u + 5*r + 3 + 1, 5*u = -3*r + 4. Suppose 0 = u*f - a*f + 131. Is f prime?
True
Let d(s) = 126*s + 3. Let b(h) = 126*h + 2. Let a(l) = 4*b(l) - 3*d(l). Let z(y) = 631*y - 5. Let x(w) = -11*a(w) + 2*z(w). Is x(-3) prime?
True
Suppose 5*x + 5*m - 40 = 0, 0 = -3*x - 5*m + 17 + 1. Let r(c) = -c**3 + 12*c**2 - 6*c + 7. Is r(x) prime?
False
Let h be (2 + 1 + -3)/1. Is (7 - -244) + 0 + h composite?
False
Let x be (2 + 0)/(-1) + -115. Let m = -62 - x. Is m prime?
False
Suppose -39 - 376 = -h. Is h a composite number?
True
Let y(n) = n**3 + 5*n**2 - 7*n - 2. Let l be y(-6). Suppose 2*f = -l*w + f - 3, -4*w = 3*f + 9. Suppose w = -6*o + o + 545. Is o composite?
False
Let z(y) = -4*y**3 + y**2 + y. Let u = -4 - -7. Suppose u = -2*k - k. Is z(k) prime?
False
Suppose 2*j - 2 = 0, -o = -6*o - j + 2096. Is o a composite number?
False
Suppose -5*f - 4 = 11. Let l = -9 - f. Is 1*(-4)/(8/l) a composite number?
False
Suppose -1082 = 153*n - 155*n. Is n prime?
True
Let k(h) be the third derivative of 2*h**2 + 1/2*h**3 + 1/15*h**5 + 0*h + 0 + 1/12*h**4. Is k(-3) prime?
False
Let x(j) = 10*j**2 - j. Let o be x(1). Let l be (1 - 0)/(3/o). Is (-1)/(0 + l/(-57)) a composite number?
False
Let o(h) = h**2 + 2*h + 3. Let m be o(-3). Suppose 4*v = -0*v + 2*b + m, 0 = -v - 3*b - 9. Suppose v = 2*s + s - 381. Is s prime?
True
Suppose 4*a - 392 = 5*g, 76 = a - 3*g - 15. Is a a prime number?
True
Suppose d = 2959 + 2390. Is d prime?
False
Suppose -3*p - 5 + 44 = 0. Suppose 4*y - 19 - p = 0. Let f(z) = 13*z + 9. Is f(y) a composite number?
False
Suppose 0*m = -m + 685. Is m composite?
True
Suppose -4*u = -2*z - 5914, 3748 = 3*u + 4*z - 671. Is u prime?
False
Let o(k) = k**3 + 8*k**2 - 3*k + 7. Is o(-7) a composite number?
True
Let y = -5 + 94. Is y composite?
False
Is ((-12)/(-6))/(2 - (-420)/(-211)) composite?
False
Let h(g) = 23*g + 1. Suppose 3*y - p = 1 + 6, 0 = -2*p - 2. Is h(y) composite?
False
Let m(r) = 3*r**2 - 5*r**3 + 12*r**3 - 1 - 8*r**3. Is m(-3) composite?
False
Suppose 2*v - 114 = 34. Suppose v = t + t. Is t a composite number?
False
Let u(p) = 9*p**2 + 11*p + 3. Let n(d) = 4*d**2 + 6*d + 2. Let j(h) = -5*n(h) + 3*u(h). Let o be 6*(-3 - 5/(-2)). Is j(o) a composite number?
False
Suppose -3*r - 430 - 233 = 4*b, -5*r = 2*b + 1105. Let p = 486 + r. Is p a composite number?
True
Suppose 3*r - 2*r = 77. Let t(y) = y**3 - 6*y**2 - 5*y + 6. Let w be t(4). Let d = w + r. Is d a prime number?
True
Let r be (2 - (-2)/(-1)) + 4. Let f be (-7)/(0 - 1) - 2. Suppose -r*q = f - 49. Is q prime?
True
Suppose 4 = -4*z + 28. Let c(q) = -3*q + 5 + 5*q - q. Is c(z) prime?
True
Suppose -3*m - 5*k + 15 = 0, -7*m + 4*k + 20 = -3*m. Suppose -5*d + 205 = m*a, a - 24 - 19 = -2*d. Suppose -i + a = 2*i. Is i a composite number?
False
Let j(v) = -2*v**2 + v + 11. Let i be j(-8). Let m = i - -246. Is m a prime number?
False
Let p be 4/(-6) - (-3066)/9. Suppose 120 = 4*v - p. Is v a prime number?
False
Suppose w + 5*q = 371, -3*w - w + 2*q = -1440. Is w a composite number?
True
Let r be 1/(-3 + (0 - -2)). Let v = r - -3. Suppose 0 = -v*a + 199 - 9. Is a a composite number?
True
Let s = 5 + -11. Is (-1)/s + 4885/30 a prime number?
True
Let x(s) = s**3 + 5*s**2 - 5*s + 8. Let f be x(-6). Let u = 2 + f. Let r = 41 - u. Is r a prime number?
True
Suppose -2*u - 16 = -2*r + 7*r, -2*r + 2 = -2*u. Let z = 6 + u. Suppose 0 = -4*b + z*b + 79. Is b a composite number?
False
Let n(x) = x - 5. Let o be n(10). Suppose p + o*l = 92, -p - l = -4*l - 100. Is p prime?
True
Let m(f) = 277*f + 7. Is m(4) a composite number?
True
Suppose 0 = -6*b - 0*b + 1830. Is b a composite number?
True
Suppose 5*k - 3*v = -0 + 6, 4*k + 3 = 5*v. Let q(h) = 4*h**3 - 2*h**2 - 3*h - 4. Is q(k) a composite number?
True
Let d = 11 - 11. Suppose 0*l - 5*t = -4*l + 187, d = l - 5*t - 28. Is l a composite number?
False
Suppose 4*n = 5*r - 60, -3*r + 2*n - 4*n + 14 = 0. Is (226/r)/(6/120) composite?
True
Let u(f) = 1 - 4 - 32*f + 2. Is u(-4) prime?
True
Let j = -100 - -171. Is j a composite number?
False
Let y(q) 