ber?
False
Suppose 5*m - 2488 = -j, -1 = 5*j - 16. Is m composite?
True
Let x(v) = 404*v + 13. Is x(6) composite?
False
Let h be (-46)/14 + 10/35. Let y = 16 - h. Is y prime?
True
Let m(j) = j**2 - 7*j + 7. Let p be m(9). Suppose 2*u - p = -u + 5*y, -3*u - 3*y = -57. Is u composite?
True
Let t(b) = -2*b**3 - 8*b**2 - 7*b + 1. Let r be (0 - 1)*6 + 1. Let g be t(r). Suppose 2*c = 48 + g. Is c a composite number?
False
Let t(f) be the second derivative of 7*f**3/6 + 7*f**2/2 - 3*f. Let r(n) = 2*n - 14. Let z be r(12). Is t(z) composite?
True
Let a(x) = 2*x**2 + 14*x + 7. Is a(-16) a prime number?
False
Let q(y) = 2*y**2 + 2*y - 1. Let h be q(-2). Suppose -v + 2*d - 18 = -3*d, 12 = h*d. Suppose -s = v*r - 11 - 60, -s - 4*r + 75 = 0. Is s prime?
True
Suppose l - 37135 = -5*q, 4*l = -2*q + 6640 + 8214. Is q composite?
True
Let i(q) = -q**2 - 5*q + 8. Let c be i(-6). Suppose x + 1 = -3*u, -x + c*u + u = -11. Suppose -124 = -x*v - 3*p, v - 5*p - 8 = -0*v. Is v composite?
False
Let h = 153 + -42. Is h a composite number?
True
Let p(m) = 5*m**2 + 15*m + 3. Is p(-10) a prime number?
True
Suppose 3*h = n + h + 12, 5*n + 4*h + 4 = 0. Let t = 0 + n. Let s(l) = -7*l - 2. Is s(t) a composite number?
True
Is (-6)/(7/((-9716)/8)) a composite number?
True
Let z = 20 + -26. Is z/24 - (-2682)/8 prime?
False
Let n = -10 + 168. Suppose 37 = 3*x - n. Is x prime?
False
Let j be (-1 - 0)*(0 - 2). Suppose -j*v = 2*v - 340. Is v composite?
True
Suppose -158 = -4*z - 3*k + 145, 5*k + 70 = z. Let b = 152 - z. Is b a composite number?
True
Let a(c) = 0 - 2*c - 2 + 28*c**2 - 18*c**2 + 25*c**2. Is a(2) a prime number?
False
Is ((-8)/6)/(12/(-1926)) composite?
True
Suppose -7*l + 5*l = 0. Suppose -6*j + j + 185 = l. Is j a prime number?
True
Suppose 4*v = 2*t - 5*t + 5549, 4*t = -3*v + 4153. Is v a composite number?
True
Suppose 20*l - 7*l = 5785. Is l composite?
True
Let j = -315 + 69. Let o be 3/(9/j) - -2. Let g = o + 135. Is g prime?
False
Let z(o) = -o**3 + 5*o**2 - 2*o - 6. Let s be z(3). Let w(b) be the third derivative of 19*b**4/24 + 7*b**3/6 + b**2. Is w(s) a composite number?
True
Suppose s + 2*s - 537 = 0. Is s prime?
True
Let t(w) = -w**3 - 8*w**2 + 2*w + 10. Let d be t(-8). Let z = d - -1. Is 332/10 + 1/z a prime number?
False
Suppose 4*n + 5*q + 694 = 0, 2*n - 5*q + 362 = -0*n. Let c = n - -253. Is c composite?
True
Suppose 19 = 2*j + j + i, -i = -1. Let s(g) = 3*g**3 - 18*g**2 + 31*g + 8. Let p(k) = 2*k**3 - 12*k**2 + 21*k + 5. Let u(o) = -7*p(o) + 5*s(o). Is u(j) prime?
True
Let g = 6 - 11. Let t(k) = 3*k**2 - 4*k**2 + 7 - 3*k - 2*k. Is t(g) a prime number?
True
Suppose -5*p = 99 + 161. Let b = p - -73. Is b composite?
True
Let d(i) = i + 5. Let v be d(-9). Let o be 26/(-4) + (-2)/v. Is (1 - -1)/(o/(-237)) a prime number?
True
Let o be ((-3)/(-6))/(3/342). Is o + -1 + 2 + -1 composite?
True
Let w be ((-4)/(-8))/(1/8). Suppose -8 = -w*i, -4*n + 2*i - 1 = -3*n. Suppose 0 = -b + 2*q + 17, -4*b + 0*q + n*q = -43. Is b prime?
True
Let d(y) = -3*y + 3. Suppose 3*t + 0*t = 6. Let f be d(t). Is (35/5)/((-1)/f) prime?
False
Let n be ((-30)/25)/(2/140). Let s = 719 + n. Is s a prime number?
False
Let l = 7 - 5. Let k be ((-1)/l)/((-2)/(-72)). Let n = k - -55. Is n prime?
True
Suppose -2*n = 3*n - 2045. Is n a composite number?
False
Suppose 116 = d - 3*w - 2*w, -w = 4*d - 527. Is d a prime number?
True
Let m(u) = -u**2 + 6*u + 3. Let o be m(6). Let f be 272/(-4)*(2 - o). Suppose -y + f = y. Is y a composite number?
True
Suppose -k = -h + 592, -6 = 4*k + 14. Is h prime?
True
Let f = 65 - 50. Is f a prime number?
False
Let s(g) = -g**2 + 9*g - 3. Let w be s(8). Suppose 0 = -b + n - 3, 0*b + w*n = -3*b + 31. Is (-531)/(-15) + b/(-5) prime?
False
Let x = -102 - -240. Is (-9)/3 + x + -4 a prime number?
True
Let j(x) = -x**2 + 33. Let s(i) = i + 5. Let z be s(-4). Let a be (2 - 2) + (z - 1). Is j(a) a composite number?
True
Suppose 2*i + 3 = 87. Let l = 93 - i. Is l a composite number?
True
Suppose -4*y + 12 = -y. Let v(j) = 9*j**3 + 6*j**2 - 6*j + 5. Is v(y) composite?
False
Suppose 5*p - 19 - 11 = 0. Is p a prime number?
False
Suppose 3988 = -2*p + 6*p. Suppose p = -6*x + 3187. Is x a composite number?
True
Let a(d) = d**2 + 5*d + 4. Suppose y + 2 = 4, 0 = -4*q - 4*y - 4. Let t be a(q). Is -2*31/t + 2 a composite number?
True
Suppose -1055 = 3*a - 4*a. Is a a prime number?
False
Let x(f) = f**3 - 2*f**2 - 2*f - 3. Let v be x(3). Suppose 4 = 2*o - v. Is o + (2 - (-2 - -3)) a composite number?
False
Let u be (-9)/(4/(24/9)). Let i(m) be the third derivative of -m**4/12 + 7*m**3/6 - m**2. Is i(u) a composite number?
False
Let s = -37 + 232. Let i = s - 84. Is i prime?
False
Let i(m) = -m + 8. Let d be i(6). Suppose d*q - 9 = -0*q + c, 45 = 5*q + 5*c. Is q/(-2) + 23*4 composite?
False
Let z = 10 - 7. Let y be ((-2)/(-6) - 0)*0. Suppose y*x = z*x - 393. Is x a composite number?
False
Suppose 0 = -4*f + 9 - 1. Suppose 92 = 5*k + x, -2*k + 67 = f*k + 3*x. Is k a composite number?
False
Let f be ((-12)/(-8))/((-2)/(-4)). Suppose 0 = -f*c + 56 + 58. Is c composite?
True
Suppose 0 = -4*a + 320 - 68. Suppose -r + 4*u + a = 0, -6*r - 5*u = -5*r - 72. Is r composite?
False
Let l be (291/(-4))/(2/8). Let g = l + -216. Let m = g + 724. Is m prime?
False
Suppose -11 = -3*d + 4. Suppose 0 = -0*q - 2*q + d*g + 309, 4*q + 3*g = 631. Is q a composite number?
False
Let g(h) = 7*h**3 - 12*h**2 - 5*h + 3. Let p(y) = -y**3 + y**2 + 1. Let j(o) = g(o) + 6*p(o). Is j(7) composite?
False
Suppose 9*i + 1212 - 29571 = 0. Is i a prime number?
False
Suppose 0 = -2*i - 2*g + 5*g + 777, -3*g = -4*i + 1539. Is i a composite number?
True
Let l(j) = j**2 + 2*j + 1283. Is l(0) composite?
False
Let s(b) = 192*b - 4. Let f be s(-3). Let n be f/(-28) + 4/14. Suppose -y + 2 = -n. Is y prime?
True
Let r(o) = 4*o - 2*o + 3 - o. Let w = 14 + -6. Is r(w) a composite number?
False
Let d(q) = q**2 + 3*q - 15. Let i(s) be the third derivative of -s**6/60 + s**5/60 - s**4/24 + s**3/6 + 2*s**2. Let g be i(2). Is d(g) prime?
False
Suppose 5*n - 4 + 0 = 2*p, 0 = -p + 3*n - 1. Let o(v) = v**2 + 6*v - 10. Let u(f) = -f**2. Let l(h) = o(h) - 2*u(h). Is l(p) prime?
False
Suppose 2*w + 2*a = 0, -w = -a - 3*a. Suppose w = -y + 7. Is y a composite number?
False
Let x(g) = 35*g + 12. Is x(2) a prime number?
False
Let s(m) = -12*m - 7. Is s(-5) a composite number?
False
Suppose -3*z - 10 = -8*z. Let w(l) = 2*l**2 - l - 4*l**2 + 3*l**z. Is w(-1) composite?
False
Let r be 1*-15*(1 - 7). Suppose -2*b - 16 = -r. Is b a composite number?
False
Let a = -5 - -5. Suppose a = -5*f + p + 721, -5*p + 302 = 2*f - 2*p. Is f composite?
True
Let w be (-2 - (0 - 0))*-1. Let m = 152 + -95. Suppose 0 = -f + w, j + 2*j = 3*f + m. Is j a prime number?
False
Suppose 4*m - 4 = -2*a, 9 = 4*a - 2*a - m. Let p(d) = 14*d**2 - 6*d + 3. Is p(a) composite?
True
Suppose -4*d + 16 = -2*m, 4*m + 2*d = -d + 23. Is (-10)/((-24)/10 + m) composite?
True
Suppose -q - 8324 = -5*q. Is q a composite number?
False
Let v = 178 - 21. Is v prime?
True
Let b(o) = -59*o + 2. Let a be b(-2). Suppose -3*d + a = -171. Is d prime?
True
Let h(j) = -j**3 + 5*j**2 - 5*j + 3. Let t be h(4). Is t + 3 + -3 - -192 a composite number?
False
Let k be (30 - 1 - -2) + -2. Suppose -2*s - b = -6*s + 85, 2*s = 5*b + k. Is s a prime number?
False
Let f = 768 - 461. Is f a prime number?
True
Let i(q) = 18*q**2 + 4*q - 19. Is i(8) a prime number?
False
Let m be 2/8 - (-394)/(-8). Let c = 108 + m. Is c prime?
True
Let x = -2 + 6. Suppose x*g + p = 405, 5*p + 90 = g + 3*p. Let h = -65 + g. Is h composite?
True
Suppose h = 3*x - 0 - 14, -1 = -2*x - h. Suppose -x*m + 955 = 2*m. Is m composite?
False
Let p = 265 + -183. Suppose 5 = -l + p. Suppose b = -0*b + l. Is b a prime number?
False
Is 3/(-6)*-6*14/2 a composite number?
True
Suppose 7*d - 995 + 218 = 0. Is d composite?
True
Suppose 0 = i + 4*i + 5. Let u(m) = 7*m**3 + m**2 - m - 1. Let a be u(i). Is (-1)/(-3) - 316/a a composite number?
False
Suppose -c - 2*j + 15 = 0, -3*c - j + 3*j + 5 = 0. Suppose -332 = -c*u + 53. Is u prime?
False
Let r(i) = 28*i**2 + 2*i + 4. Let a be r(-3). Is a/4*6 - 2 prime?
True
Let l(g) = -g**3 - 7*g**2 - 7*g - 4. Let j be l(-4). Let k = 119 + j. Is k prime?
False
Let s(i) be the third derivative of -i**5/60 - 3*i**4