r + k = 0, 0 = 3*v + r + 149 + 266. Let m = v - -216. Is m a prime number?
True
Let i(o) = -87*o + 6. Let q be i(-5). Suppose 4*g - n = -16, -2*n + 4 + 7 = -g. Is q/g*(-2)/6 a prime number?
False
Let b(m) = -m**3 + 9*m**2 - 8*m - 3. Let h be b(8). Is h + 119 + 1 + -2 composite?
True
Suppose 0 = -2*a - a. Let q be a + 0 + -1 - 51. Let y = -31 - q. Is y a composite number?
True
Suppose 0 = -8*u - 4*u + 56148. Is u a composite number?
False
Let t(z) = 170*z - 5. Let h(b) = -b**3 - b**2 + 2*b + 2. Let l be h(-2). Is t(l) a prime number?
False
Suppose -2*n + 2445 = 3*n. Is n prime?
False
Suppose -5*n + 1254 = -o, -751 = -3*n + 3*o - o. Is n composite?
False
Let s be ((-12)/30)/((-1)/5). Suppose 2 = 4*u - 2. Is u/((-1)/(-78)*s) prime?
False
Suppose o - 26 = 5*f + 190, 4*o - 4*f = 848. Is o composite?
False
Suppose 0 = 6*i - 2*i - 132. Is i a prime number?
False
Let v = 7 + -5. Let x(z) = 2*z**3 - 4*z**v + 2 - 5*z**2 + 7 - 7*z. Is x(7) a prime number?
False
Let x = -13 - -9. Let m = 37 + -34. Let q = m - x. Is q composite?
False
Suppose 4*i + 3 - 34 = -5*w, 0 = -3*w + 5*i - 11. Suppose 4*r = -0*r + w*g + 12, -3*g - 12 = 0. Suppose -3*h + 30 = -r*h. Is h a prime number?
False
Is (3/9)/((-3)/(-4041)) a composite number?
False
Let q(u) = -16*u - 1. Let n(m) = m**3 + 17*m**2 - 4*m - 10. Let w(h) = -h**2 + h - 1. Let j(i) = -n(i) - 3*w(i). Let s be j(-14). Is q(s) prime?
False
Suppose 2*w - 3*k - 7826 = 0, 0 = 4*w - 2*k - 5338 - 10298. Is w a prime number?
True
Suppose -5*f + 1840 + 1725 = 0. Is f prime?
False
Suppose 0 = 4*r - 2*o - 2*o, 2*r - o = 4. Suppose 134 = r*n + 2*y + 38, 3*n - y = 77. Let i = -4 + n. Is i a composite number?
True
Let d be 2*-3*3/(-6). Suppose 3*q - x + d*x - 101 = 0, -3*q + 136 = -5*x. Is q prime?
True
Let y = -300 + 697. Is y a prime number?
True
Let j be 1/(2 - (-69)/(-33)). Let p = j + 17. Is p composite?
True
Let y(z) = -z + 31. Let n be y(0). Suppose 5*m = -n + 1. Let k(w) = -2*w**3 - 8*w**2 + 2*w - 5. Is k(m) composite?
False
Suppose -3*q - 12 = 0, 4*i - q + 4*q = 16. Suppose 3*s - i*s = 0. Suppose s = -4*w + 49 - 5. Is w prime?
True
Suppose 2*o + o = 330. Suppose b + o = 3*b. Is b prime?
False
Let i(w) = -21*w**2 + 9*w - 9. Let g be i(6). Let o = g - -1037. Suppose 0*s = 2*s - o. Is s prime?
True
Suppose 7*q + 2299 - 8046 = 0. Is q composite?
False
Let m(j) = -j**2 + 9*j - 8. Let h be m(6). Suppose -4*i + h + 14 = 0. Is i a composite number?
True
Let j(o) = -236*o + 39. Is j(-8) composite?
True
Let x(k) = -k**2 + 8*k. Is x(7) a composite number?
False
Let d(j) = 92*j - 2. Let c be d(-4). Let h = -249 - c. Is h a prime number?
False
Suppose -3 = 2*j - 105. Is j a prime number?
False
Let h(z) = -581*z + 12. Is h(-2) composite?
True
Let j(m) = 125*m**2 - 9*m - 33. Is j(-5) a composite number?
False
Let a(h) = -13*h - 1. Let i(y) = -y**2 + 6*y - 4. Let l be i(6). Let b(x) = 66*x + 6. Let t(z) = l*b(z) - 21*a(z). Is t(2) a composite number?
True
Suppose -1266 = 3*g - 5*g. Is g a prime number?
False
Suppose -6*w + 3*w = -801. Is w prime?
False
Let q = 0 - -6. Let h = -9 + q. Let v(j) = 12*j**2 + 5*j + 2. Is v(h) a prime number?
False
Let m(z) = 377*z + 9. Let q(y) = -189*y - 4. Let v(s) = 3*m(s) + 7*q(s). Is v(-1) prime?
True
Let f(q) = q**2 - 8*q + 4. Let r be f(7). Let z = r - 3. Is -15*13*2/z composite?
True
Suppose 245 = 4*o - 319. Is o prime?
False
Let l(d) = d + 1. Let i be l(3). Suppose 0 = -2*n + i*z + 12, -3*n + 0*n + 6 = -3*z. Is 90 - (1 - (2 + n)) a prime number?
True
Suppose -2*u - 5*o = -397, 3*o - 33 = -u + 163. Is u composite?
False
Let p(z) = -2*z + 15. Let g be p(7). Is g - (-92)/1 - 4 composite?
False
Let x(t) be the second derivative of -t**3/6 - 7*t**2/2 - 2*t. Let j be x(-5). Is -2 + 0 + (-18)/j composite?
False
Let w = 12 + -12. Suppose w*t - 5*t + 1865 = 0. Is t a prime number?
True
Suppose 5*r = 6825 + 2620. Is r a prime number?
True
Let p(j) be the third derivative of -3*j**4/8 - 5*j**3/3 - 3*j**2. Let d(c) = -c**3 - 7*c**2 - 5*c - 1. Let t be d(-6). Is p(t) prime?
True
Let x(j) = j + 2. Let y be x(0). Suppose -y*p - 3*p = -185. Is p a composite number?
False
Suppose -5*o + o - 12 = 0. Let w = 44 + -40. Is (36/(-8))/(o/w) prime?
False
Suppose 0 = 37*x - 42*x + 530. Let j(w) = -w - 7. Let u be j(-7). Suppose 0 = 2*n - 0*q + 2*q - x, 2*n + 3*q - 104 = u. Is n composite?
True
Suppose 33*a - 28*a - 555 = 0. Is a composite?
True
Let q = 170 - 97. Let k = -36 + q. Is k prime?
True
Suppose 2*m - 1004 = -2*m + 4*n, 2 = n. Is m a composite number?
True
Let u = 72 - -55. Is u prime?
True
Let o(s) = 3*s**2 - 15*s + 11. Suppose 0 = -0*r + r - 11. Is o(r) prime?
False
Suppose 5*r = 2*r - 138. Suppose 3*v - 5*m + 100 = 0, -5*v + 0*v = 5*m + 100. Let a = v - r. Is a a composite number?
True
Let b(l) = -l**3 + 8*l**2 + 11*l - 17. Is b(8) a prime number?
True
Let w(d) = -d**3 + 8*d**2 + 5. Let o be w(8). Suppose -o*b + 372 = -583. Is b prime?
True
Let q(z) = 103*z**2 + 2*z + 1. Is q(-2) a composite number?
False
Suppose 345 = 4*v - v. Let h = v - 78. Is h a prime number?
True
Let l(s) = s**3 + 7*s**2 - 8*s - 5. Is l(-6) composite?
False
Let i = -2155 + 1210. Let p be (-2)/(-7) + 64/(-28). Is i/(-20) + p/8 a composite number?
False
Let b be (-2)/11 + (-92)/(-22). Is 1/b + (-147)/(-4) prime?
True
Suppose -973 = -2*z + 3*j, -2*j + 0*j - 489 = -z. Is z a composite number?
False
Let k be (-20)/(-1*2/17). Suppose -f - 7 + 2 = 0, 5*x - k = -f. Is x a composite number?
True
Let h(j) = 16*j + 17. Let f(p) = 8*p + 9. Let l(s) = -11*f(s) + 6*h(s). Is l(4) composite?
True
Let g be 2*(-3)/(18/(-15)). Suppose -v + g = -d, 2*v = -d + 3 + 1. Is d/6 + 238/3 prime?
True
Let k(o) = 41*o - o + 10*o - 2 + 5. Is k(7) a prime number?
True
Let z be (-11)/(-2) - (-4)/(-8). Suppose 0 = -2*t - 4*m + 314, z*m - 765 = -t - 4*t. Is t prime?
True
Let n(a) = a - 2. Let r be n(-3). Let b(l) = l**3 + 7*l**2 + 6*l - 3. Let v be b(r). Let q = v - -18. Is q a prime number?
False
Let b = 0 + 2. Is 31/b - (-21)/(-14) prime?
False
Suppose -3*b + 5*g + 8365 = 0, -3*g - 8 = g. Is b a prime number?
False
Is 1*(-1 - 1 - -295) a composite number?
False
Let c(q) = 28*q**2 + 6*q - 5. Is c(6) a composite number?
False
Let a(y) be the second derivative of -y**5/20 - 5*y**4/12 + y**3/3 - 11*y**2/2 + 2*y. Let x be a(-9). Suppose 0 = -3*n + 86 + x. Is n composite?
False
Suppose 2*w = 2*x - 3*w - 794, -5*w = 0. Is x a prime number?
True
Suppose -1 = -5*a + 24. Suppose -2*h + 4*l - 33 = -3*h, a*l = 3*h - 48. Is h composite?
True
Let b(d) = 7*d**3 + 7*d + 4. Let g(v) = -4*v**3 - 3*v - 2. Let s(q) = 4*b(q) + 9*g(q). Is s(-3) prime?
True
Suppose -5*l = -23 - 7. Suppose -9 = -l*z + z - q, -2*q = -z - 7. Is (z/1 - 3) + 16 prime?
False
Suppose 2*h = -2*h + 144. Suppose -40 = -4*r + h. Is r a prime number?
True
Suppose 2*d + 4*f + 46 = 0, 6*d - 3*d - 2*f + 69 = 0. Let p = d + 132. Is p composite?
False
Let m be (1 - -1) + 0 + 89. Let l = m - -105. Suppose -5*a + l = -a. Is a a prime number?
False
Is 1/6*895 + (-10)/60 prime?
True
Let j(z) = 69*z - 8. Is j(3) a composite number?
False
Let x be (40 - 0/3)/(-1). Suppose c = 2*u - 23, 3*c + 4*u - 25 = 4*c. Let d = c - x. Is d a composite number?
False
Let f be 5*2*2/(-4). Let m(k) = -26*k - 3. Is m(f) a prime number?
True
Let u = -2 + 7. Suppose -5*b + 15 = -u*x + 60, -2*b - 26 = -3*x. Suppose -m + 13 = -x. Is m prime?
False
Let f = 10 - 6. Let k(n) = n. Let i be k(2). Is (i/f)/(2/76) a composite number?
False
Let y(h) be the third derivative of -h**4/6 - 11*h**3/6 + 2*h**2. Is y(-8) prime?
False
Let w = -71 + 18. Let l(b) = 3*b**2 - 2*b + 3. Let o be l(3). Let y = o - w. Is y a prime number?
False
Suppose h = 4 + 5. Let l(m) = 3*m**2 - 13*m + 1. Is l(h) composite?
False
Is (0 + 1)/((-13)/(-50791)) a composite number?
False
Let k(m) = 9*m - 37. Is k(24) a prime number?
True
Suppose 0 = -3*u + 8*u. Suppose 0*d - 3*d + 9 = u. Suppose 2*v = -5*w + v + 33, -2*w - d = -5*v. Is w a prime number?
False
Suppose 5*w - 32 = -3*x, 7*x - 2*x = 3*w + 110. Is x a prime number?
True
Let d(q) be the second derivative of -q**5/20 + 7*q**4/12 - q**3/3 - 3*q**2/2 + q. Suppose 6*s - 11 = z + 3*s, 3*z + 13 = 5*s. Is d(z) a prime number?
True
Suppose w + 3*w = 20. Suppose -w*b = 2*p - 103, 2*b + 3*b + p = 104. Is b a prime number?
False
Suppose 24 = 