 composite?
True
Let v = 136 + 321. Is v a composite number?
False
Let v(w) = w + 53. Suppose 0 = -2*z + 5*u - 3*u, z = 3*u. Is v(z) a prime number?
True
Is (-6)/18 - 376/(-12) a prime number?
True
Let t = 13 - 18. Let g(q) = q**2 + 5*q. Let o be g(t). Is o - (-1 - 0)*37 a prime number?
True
Suppose -4*n - 67 = 149. Let i(f) = f**3 + 2*f**2 - 5*f + 1. Let s be i(4). Let u = n + s. Is u a composite number?
False
Let p(k) = -23*k**2 + 2*k + 1. Let t be p(5). Let c = -271 - t. Is c a prime number?
True
Let g(z) be the first derivative of z**5/30 + 7*z**4/24 - 2*z**3/3 + z**2 + 3. Let s(v) be the second derivative of g(v). Is s(-11) a composite number?
True
Let x(f) = f**2 + 9*f + 2. Let t be x(-9). Suppose -t*d = -d - 2. Suppose -3*h + 116 = 5*s + 22, -d*h = -2*s - 36. Is h prime?
True
Let g = 13 + -8. Suppose g*x = -q + 2*x + 109, 2*q = -3*x + 206. Is q a prime number?
True
Is (0 - 3) + (-784)/(-2) composite?
False
Let t be 2*2 + (-2 - -4). Suppose -t*z + 2 = -5*z. Suppose -5*l = -z*c - 281, 108 = 2*l - c - 2*c. Is l a prime number?
False
Let b(d) = d**3 - 6*d**2 - 6*d - 4. Let y = 23 - 16. Let j be b(y). Let i(h) = h**3 - 2*h**2 - 2. Is i(j) a composite number?
False
Let x = 11055 + -7790. Is x a composite number?
True
Suppose 2*w = 1771 - 389. Is w a prime number?
True
Suppose -4*i - 4 = -2*i. Is -26*(10/(-4) - i) prime?
True
Let m be (4 + 0)*1/2. Suppose 3*u - 5*u + 31 = -b, m*u = 3*b + 33. Is u a composite number?
True
Let b(l) = 18*l + 3. Let q be b(3). Suppose -2*r - 3*z = -124 - q, -3*r + 264 = -3*z. Is r a composite number?
False
Let t be 112/1 + -1 + 3. Let j = 43 + t. Is j a composite number?
False
Let w(p) = 10*p - 1. Is w(9) prime?
True
Suppose l = -3*l + 16. Suppose -2*n + l*m + 4 = 3*n, -2*m = 3*n + 2. Let h(t) = -t**3 + 65. Is h(n) composite?
True
Let i = 1683 - 964. Is i a prime number?
True
Is -3 - (-81 + -3 + 2) composite?
False
Suppose -n = h - 1443, -5*n = -4*h - 7452 + 273. Is n prime?
True
Let f(t) = -t - 21. Let p be f(-12). Let w(y) be the second derivative of y**5/20 + 2*y**4/3 - 13*y**3/6 - y**2/2 - y. Is w(p) composite?
True
Let b(f) = 2*f - 7. Let w be b(5). Suppose -v + w*v = 62. Is v a composite number?
False
Suppose -2*i + i = -2*m + 3, -6 = 2*m - 4*i. Suppose 0 = -f + m - 2. Suppose 0 = -4*j + 3*r + 28, -2*j - f + 15 = -3*r. Is j prime?
True
Let h = -4 - -10. Let u be ((-1)/3)/((-1)/h). Is (1/(-2))/(u/(-148)) a composite number?
False
Suppose -42*t + 23*t = -20729. Is t a prime number?
True
Let q be 0*(4/(-2) + 3). Suppose q*g - g + 7 = 0. Is (-887)/(-7) + 2/g a prime number?
True
Suppose 0 = l - 5. Suppose 138 = l*w + 43. Is w prime?
True
Let v(k) = -k. Let m = -1 + 2. Let t be v(m). Is 6 + t/(-2)*2 a prime number?
True
Let v(r) = -r + 14. Let i be v(6). Let o = i - 6. Is (22/8)/(o/8) composite?
False
Let g = 535 - 116. Is g prime?
True
Let h(i) = 47*i**2 - 2*i + 7. Let a be h(5). Suppose -5*z = -z - a. Is z a composite number?
False
Suppose -q + 483 = -0*q. Suppose -5*x + 2*x + q = 0. Is x prime?
False
Let r(g) = -g**2 + 22*g - 15. Let d be r(10). Let k = -54 + d. Is k composite?
True
Suppose 12 = -7*r + 4*r. Let g(m) = -145*m + 5. Let h be g(r). Suppose -h = -5*a - 5*k, 23 = a - k - 98. Is a composite?
True
Let k(q) = 369*q - 6. Let z(m) = 74*m - 4. Let p(c) = 74*c - 3. Let o(g) = -3*p(g) + 2*z(g). Let n(s) = -2*k(s) - 11*o(s). Is n(1) composite?
True
Suppose 0 = -4*l - 3*k + 19, l + 4*k - 6 = 2. Suppose 0 = -2*c + l + 4. Let n = 3 + c. Is n a composite number?
False
Suppose w - 2 - 3 = 0. Let z(p) = -p + 7. Let r be z(w). Suppose 7*j - r*j = 575. Is j prime?
False
Let r(t) = -2*t**3 + t**2 - t - 9. Is r(-4) a composite number?
False
Let f(r) = -4*r**3 + 5*r**2 - 6*r - 2. Is f(-7) prime?
True
Suppose 0 = 2*s - 0*s - 2, 0 = b + 3*s - 226. Is b composite?
False
Suppose -b = -4*t - 5*b + 756, 4*b + 20 = 0. Is t a composite number?
True
Let b be (1 - -2)/((-6)/(-10)). Suppose 4*k + 0*d - d - 7 = 0, -3*k = -d - b. Suppose -2*n + 637 = k*n - 5*j, 15 = 5*j. Is n a composite number?
False
Is 40075/11 + 12/(-66) prime?
True
Let o(n) = 12*n**2 - 4*n + 3. Is o(2) prime?
True
Suppose 0 = -15*g + 5*g + 11510. Is g a composite number?
False
Suppose 0 = 3*h - 12, -o - 5*h = -0*o - 22. Is o a prime number?
True
Let h(b) = 8*b. Let u be h(-5). Is u/(-6)*(-285)/(-20) a composite number?
True
Is (2 - 3)*1*(-3 - 136) prime?
True
Suppose 0 = 3*h + 3*w - 3, h = -3*w - 0*w - 3. Let o be (-21)/(-2)*(3 + -1). Suppose -o = -h*q + 42. Is q composite?
True
Let r(w) be the third derivative of -w**6/120 - 3*w**5/20 - 7*w**4/24 + 5*w**3/3 + 3*w**2. Let v be r(-9). Let f = v - -22. Is f a composite number?
True
Let t = -1317 - -3248. Is t prime?
True
Let h = 4 + -153. Let l be (1 + -2)/(1/h). Suppose 3*z - 79 = 5*r, -7*z + 4*r + l = -2*z. Is z a prime number?
False
Is 67 - ((-1)/((-3)/(-9)) - -3) composite?
False
Let g be ((-3)/3 + 2)*82. Suppose -6 - 19 = -j - f, -g = -3*j + 4*f. Is j a prime number?
False
Let q = -9 - -9. Let z(j) = 2*j + 57. Is z(q) prime?
False
Let a = 160 - 271. Let w = -52 - a. Is w a composite number?
False
Let n(a) = -5*a - 1. Let y be n(-1). Suppose 0 = 4*p + k - 149, -5*p + 189 = -0*p + y*k. Is p a prime number?
True
Suppose 3*u = 2*u + 140. Let p = u - 49. Is p a prime number?
False
Let z be -12 - (-2 - (-3 + 3)). Let c = z + 15. Let t = 1 + c. Is t composite?
True
Suppose n + 1 = 11. Is 534/(-4)*n/(-15) prime?
True
Suppose -4*x = -5*f - 13611, -2*x + 6*x + 4*f - 13656 = 0. Is x prime?
False
Suppose 3*o + 2 = 11. Is 18 + (1 - o) - 1 composite?
True
Suppose 4*s = 2562 - 46. Is s a composite number?
True
Let w(f) = -5*f**3 - 7*f**2 - 8*f - 11. Let p(t) = 14*t**3 + 21*t**2 + 23*t + 32. Let q(z) = 6*p(z) + 17*w(z). Is q(6) prime?
True
Is 6/4*1820/30 prime?
False
Let d = -42 + 27. Let l = 38 + d. Let m = 10 + l. Is m a composite number?
True
Suppose -2*l + 2 + 4 = 0. Suppose l*h = 8*h - 415. Is h composite?
False
Let p(g) = 92*g - 3. Let b be p(2). Suppose -3*a + j = -112, -b = -5*a - 5*j + j. Is a a prime number?
True
Suppose -t - 2 - 6 = -4*b, 2*b = -3*t + 4. Suppose z + 3*p = t, p - 5 = -5*z + 3*z. Is z a composite number?
False
Let d(l) = -23*l. Let q = -3 + 0. Is d(q) a prime number?
False
Suppose 4*s - 119 = 21. Is s a prime number?
False
Let z be -3*1/(-3) + -3. Is 1/(-2)*157*z a prime number?
True
Suppose 4*j + 219 = -2*x + 1331, -5*j + 5*x = -1375. Suppose -5*f = n - j, 2*f - 4*n - 104 = -n. Is f a composite number?
True
Suppose 0 = 4*q - q - 57. Let t be (0 - -3)*1*q. Is t/6*(3 - 1) a prime number?
True
Let r(a) = -a - 1. Let f be r(-14). Is 6/(-39) - (-132)/f a prime number?
False
Suppose -2*x + 104 = -120. Suppose -f + x = -1. Suppose 0 = -4*s + f + 43. Is s a composite number?
True
Suppose 0 = -5*c + 5, 2*r + 5*c = -2*r + 953. Is r a prime number?
False
Let v(j) = -j**3 - 3*j**2 + 3*j - 2. Let l(u) = -u**2 + u. Let h(i) = 5*l(i) - v(i). Let c be h(2). Is (-1832)/(-6) - c/18 prime?
False
Let o = 48 - 119. Let l = 125 + o. Is (-2 - l/(-4))*2 a composite number?
False
Let n(h) = -6*h + 2. Suppose -16 = 5*p - 1. Let r be n(p). Is 416/r - (-2)/10 a prime number?
False
Suppose 0 = 4*o - 7*o + 6. Is 1029/13 + o/(-13) a prime number?
True
Let h(f) = -157*f + 4. Let l be h(-5). Suppose 2*p = -p + l. Is p a composite number?
False
Let v(y) be the second derivative of -y**5/20 - 2*y**4/3 + 5*y**3/3 + 13*y**2/2 - y. Let f be v(-9). Suppose 0 = 3*m + f*o - 203, 4*o + 1 = 9. Is m prime?
False
Suppose o = 4*b + 2, -b - 35 = -3*o - 7. Is o a prime number?
False
Let w(h) = -h**3 + 13*h**2 - 6*h + 7. Is w(6) a composite number?
False
Let t(x) = 142*x**2 - 2*x + 1. Let s be 2/(2 - 2 - -2). Is t(s) a composite number?
True
Let z(y) = -4*y. Let f(v) = -11*v - 1. Let t(x) = 3*f(x) - 8*z(x). Let m be t(-5). Suppose -1 = -m*n + 61. Is n composite?
False
Let t(k) = -k**3 + 3*k**2 - 2*k. Let f be t(4). Let g = 46 + f. Suppose 0*x + x = g. Is x prime?
False
Let m(j) = 7*j**2 - j - 1. Is m(-5) a composite number?
False
Suppose y - 428 = -x + 968, 4*x + 5*y = 5581. Is x composite?
False
Let q(t) = -739*t - 23. Is q(-4) a composite number?
True
Suppose -4*h = -7*h + 5*a - 29, -4*h - 31 = a. Let w(b) = b**2 + 8*b - 8. Let s be w(h). Let r = 34 + s. Is r a prime number?
False
Suppose -808 = -2*g + 2278. Is g composite?
False
Let l(d)