- 0) + (-6 - -2) a prime number?
True
Suppose -4*r + 2*x + 13 = -1, 2*x - 6 = 0. Suppose v - s = 3*v - 3, -4*s = 4. Suppose r*n = 0, n + v*n - 36 = -4*k. Is k composite?
True
Suppose n - 15 = -5*r - 4*n, -3*r - 4*n = -11. Let m be ((-21)/6)/(r/(-2)). Suppose 4*v = 3*s - 91, -m*s + 3*s = 2*v - 158. Is s prime?
True
Let u(b) be the second derivative of -11*b**3/3 + 6*b**2 - 8*b. Is u(-5) composite?
True
Suppose -25 - 45 = -5*o. Let g = 829 - 319. Suppose 4*r - o = g. Is r a composite number?
False
Let p(n) = -4*n**3 + 4*n**2 + 4*n + 3. Is p(-4) a prime number?
True
Suppose -2*l = -82 + 22. Suppose 3*x - l = -0*x. Suppose 0 = -2*n + x, -5*n + n = -5*p - 10. Is p a composite number?
False
Is 527/15 + (-34)/255 composite?
True
Let y be ((-10)/(-4))/((-3)/(-6)). Suppose b - y*b = 144. Let m = -21 - b. Is m prime?
False
Suppose -3*v + v = -794. Is v prime?
True
Suppose 0 = n + 4*n + 30. Let p = 22 + -13. Is p/n*(-236)/6 composite?
False
Let m(o) = 132*o + 1. Let d(u) = u - 6. Let i be d(7). Is m(i) a prime number?
False
Let c(q) = 6 - 6*q + 14*q - 3 + 104*q. Is c(7) a composite number?
False
Suppose 0 = -0*j - 3*j + x + 61, -j = -3*x - 31. Is j prime?
True
Is 2 + 123/6*2 prime?
True
Let s(d) = -d + 6. Let c be s(3). Suppose -332 = c*y + 4*w, -2*y - 558 = 3*y + 2*w. Let l = y + 179. Is l composite?
False
Let q be 10/(-25) + 3334/10. Suppose 100 = z + 3*u, 3*z - 6*z + 2*u + q = 0. Is z composite?
False
Let r(a) = 15*a - 13. Is r(9) a composite number?
True
Suppose -3*w + 6*w - 635 = -a, -4*w + a + 842 = 0. Is w composite?
False
Let t = -321 + 1298. Is t a prime number?
True
Let d(y) = -62*y + 5. Let c(q) = -q**3 + 2*q**2 + 3*q - 3. Let a be c(3). Is d(a) prime?
True
Let b(k) = 57*k + 4. Let u be b(3). Suppose -5*p + 4*t = -178, -4*p + 5*t = p - u. Is p a prime number?
False
Let k(q) = -2*q**2 + 2. Let u be k(2). Let x be u*2*2/(-6). Suppose 0 = -x*c - 20, -2*c = -n + 9 + 48. Is n composite?
False
Let c(p) = -p**2 + 12*p + 13. Let l be 1*(0 - 1) + 2. Let q(n) = n - 1. Let a(d) = l*c(d) + 2*q(d). Is a(8) composite?
False
Let s(z) = -z**3 - 10*z**2 + 7*z - 10. Let f be s(-10). Let r(w) = 15*w**2 + 4*w - 2. Let p be r(3). Let t = f + p. Is t composite?
True
Let y = -1637 - -3401. Let n = -1021 + y. Is n composite?
False
Let m(j) = -j**2 - 6*j. Let d be m(-4). Suppose 0 = 5*b + 5*x + 10, -6*x + 2*x = d. Suppose 2*c - 78 = -4*l, b*l - 243 = -5*c + 2*l. Is c a prime number?
True
Suppose l = 227 + 272. Is l a composite number?
False
Let c(v) = -3*v - 7. Let f be c(-4). Suppose 6*d - 180 = -f*p + d, 4*p + d = 138. Is p a prime number?
False
Suppose 3*y - 377 = 178. Is y prime?
False
Let q(d) = -10*d + 3. Let o be 3*-2*2/3. Is q(o) prime?
True
Let y(g) = -g + 2. Let o be y(0). Let u be 0 - (-4 - 1) - o. Let b(s) = 18*s + 1. Is b(u) composite?
True
Suppose -1060 = 3*c - 7*c. Is c a prime number?
False
Suppose 3*t + 2*d - 897 = -2*t, t = 2*d + 177. Is t prime?
True
Suppose -2*r + 2 = -2. Let y be (-3 - -3)/(-1*r). Let a(u) = u + 26. Is a(y) composite?
True
Suppose -5*q + 483 = 4*f, 239 = 2*f + 2*q + q. Is f a prime number?
True
Let v be (-81)/(-2)*(-12)/(-1). Let l = v + -199. Is l composite?
True
Suppose s + 19589 = 20*s. Is s composite?
False
Let x(d) = 2*d + 3 + 2 + 6 + 1. Is x(11) a composite number?
True
Suppose -8 = -3*l - i, -2*l - i = 4*i - 14. Suppose -6*s + o = -l*s - 88, -3*s = -o - 66. Is s a prime number?
False
Suppose -2*b = 2*g - 642, 5*g + 2*b = -b + 1609. Is g a composite number?
True
Let h = 1483 - 942. Is h a prime number?
True
Let f be (-2)/7 - 122/14. Let m(o) = -21*o + 6. Let v be m(f). Suppose 3*x = -2*x + v. Is x prime?
False
Let m(w) = 32*w**3 + 4*w**2 - w - 2. Is m(3) prime?
False
Suppose 609 = 3*i - 0*i. Is i composite?
True
Let g(r) = 3*r**2 - 5*r - 6. Let m(h) = -5*h**2 + 8*h + 9. Let x = -12 + 7. Let j(i) = x*m(i) - 8*g(i). Is j(4) prime?
True
Let a(v) = v - 1. Let n(s) = -2*s. Let y(l) = -3*a(l) + 3*n(l). Let j be y(-11). Suppose j = 3*m - 0. Is m a composite number?
True
Let a be 1*3 + 0 + 0. Suppose 7*d - a*d = 316. Is d composite?
False
Let k = 25 + -17. Suppose 0 = 3*h + 2*v - 250, -h + 3*v = k*v - 79. Let b = h + -35. Is b prime?
False
Let c be -1 - 1/((-3)/(-75)). Let o = 48 + c. Is o a composite number?
True
Let d = -979 + 18. Let m = -508 - d. Is m prime?
False
Let k = 327 - 195. Suppose -a = -5*a + k. Let m = a + -23. Is m a composite number?
True
Is (162/12)/9*(-1258)/(-3) composite?
True
Let u = 2703 + -1898. Suppose 6*w - w = u. Is w prime?
False
Is 2/(-3)*3 - -211 a prime number?
False
Let j(x) = x**2 - x - 17. Is j(-15) prime?
True
Let z be -5 + 5 + 2*1. Let m(t) = 5*t**z - t + 0*t + 2*t. Is m(-1) composite?
True
Suppose -7*g + 2211 = -4*g. Is g prime?
False
Let m(y) be the first derivative of -y**4/4 + 8*y**3/3 + 2*y**2 + 2. Is m(5) composite?
True
Suppose -5*j - 4 = -j. Is (j - -63)*2/4 a composite number?
False
Is (5 + -4)*(1978 + 1) a composite number?
False
Let q(c) = -44*c + 3. Is q(-5) prime?
True
Suppose -201*s + 198*s + 879 = 0. Is s a composite number?
False
Let i be ((-5)/(-10))/((-1)/(-10)). Suppose 0 = -3*l - i*t + 9, 3*t - t = 5*l + 16. Is (l/(-1))/(12/222) prime?
True
Let t(k) = 6*k**2 + 7*k + 21. Is t(-10) composite?
True
Let w be (0 - 0)/(-1 - 1). Suppose w*c + 4*c = 92. Is c prime?
True
Let f(t) be the first derivative of 67*t**3/3 + t**2/2 - t - 12. Suppose 12 = -4*y - 4*d + 3*d, 0 = -2*y - 2*d - 12. Is f(y) prime?
False
Let t be 7*3*(-312)/(-18). Suppose 3*s = -s + t. Is s a prime number?
False
Let g = -5960 + 8901. Is g prime?
False
Suppose 0 = 4*p - p - 6, -366 = -5*u + 2*p. Suppose q = u - 23. Is q a prime number?
False
Suppose 3*s + 2*w = 8233, -2726 = 4*s - 5*s + 3*w. Is s prime?
True
Let b = -2 + 0. Let n(z) = z**3 + 4*z**2 - 2. Is n(b) prime?
False
Let v be (-3)/(-6)*30/(-3). Is (1/(-2))/(v/2110) a prime number?
True
Suppose 441 + 559 = 5*g - 5*d, 5*g - 4*d - 1003 = 0. Is g a composite number?
True
Suppose -14*o = -34 - 1044. Is o a composite number?
True
Suppose 3*o - 77 = -5*j, j + 3*o = -0*j + 13. Suppose -4*q + 44 = j. Is q a composite number?
False
Let x be (-4 + -5)/(1*-1). Let k(p) = x - 12 + 7*p + 2*p. Is k(8) prime?
False
Let h(g) = 100*g - 6. Let v be h(5). Let f(l) = -l**2 + 7*l + 20. Let r be f(9). Is r/3 - v/(-6) a composite number?
False
Let i(z) = -17*z. Suppose 4*q + 6 = -6, 14 = -4*a - 2*q. Is i(a) a composite number?
True
Let b = 601 + -152. Is b prime?
True
Let h(z) = -z**3 - 6*z**2 - 2*z - 17. Is h(-8) composite?
False
Suppose -5*f - 4*v + 0*v - 125 = 0, 25 = -f - 2*v. Let m be 5/(-10) + 250/4. Let n = m + f. Is n composite?
False
Let t(z) = z**2 + z + 4110. Let c be t(0). Suppose 10*s - 4*s = c. Is s a prime number?
False
Let s(v) = v**3 - 5*v - 3. Let h be s(5). Let j = h + 126. Is j prime?
True
Let v(b) be the third derivative of 17*b**5/60 - b**2. Let u(o) = 33*o**2 - o - 1. Let s(g) = -3*u(g) + 7*v(g). Is s(-2) a prime number?
False
Suppose g - 12 = -2*w, -3*w - 4*g + 36 = 13. Suppose w*n - 3*l - 446 = n, 0 = -2*n - l + 228. Is n a composite number?
False
Suppose -t + 132 = -5*b, -6*t + 5*b = -3*t - 446. Is t a prime number?
True
Suppose -3*n - 290 = -5*n. Is n composite?
True
Let q(k) = -8*k - 1. Let a(x) = 7*x. Suppose -2*g - 4 - 7 = p, 0 = 3*g - 2*p - 1. Let m(n) = g*a(n) - 2*q(n). Is m(-4) composite?
True
Suppose 2*u - 330 = -4*o, -158 = -u - 0*u + 5*o. Is u prime?
True
Let l be 69/92 + (-2)/8*7. Let p(b) = 1 - 4 + 2 - 16*b. Is p(l) prime?
False
Let r(h) = -h**3 - h**2 + 3. Let f be r(3). Let o = f + 210. Suppose -3*p = -o - 186. Is p prime?
False
Let u(c) = -2*c - 9. Let h be u(-7). Let n = h - 1. Suppose 5*v = 0, 2*v = n*p - 3*v - 8. Is p prime?
True
Let t = 3 + -8. Let x(p) = -1. Let n(h) = -6*h + 9. Let i(r) = n(r) + 4*x(r). Is i(t) prime?
False
Suppose 3 + 2 = w. Suppose 0 = -w*h - 3*k + 2237, -3*h + 0*h + 4*k = -1319. Is h prime?
False
Suppose 2116 = 3*l + 5*j, l - j - 2*j = 710. Is l a composite number?
True
Let f(n) = 45*n**2 - n - 1. Let r be f(2). Suppose r = 3*u - 2*u. Is (6/(-9))/((-2)/u) a prime number?
True
Suppose 4*s + 0*s - 3*u - 3 = 0, 2*s + u = 9. Suppose -s*z + 9 = -18. Suppose 0 = 3*b - 3*t - 21, b - z = -b - 3*t. Is b a composite number?
True
Let j(d) = -d**3 - d**2 - 2*d + 5. Is j(-5) prime?
False
Let g(r) = 106*r**2 - 9*r - 8. Is g(-3) 