ber?
True
Let q = 200 + 335. Suppose -q = -9*r + 158. Is r a prime number?
False
Let t(o) = o**2 - 9*o - 7. Let f be t(10). Suppose -f*s - 2*i + 4858 = -3*i, 2*i - 8082 = -5*s. Suppose 3*m - 8*m - 3236 = -4*p, s = 2*p - 4*m. Is p prime?
True
Let y(a) = 11494*a + 10. Let w be y(1). Suppose 3*n = -13*n + w. Is n prime?
True
Let s be 9 + (1 + 0 - 0). Is (-6)/15 + 1914/s a composite number?
False
Suppose 2*j = j + 19547. Is j prime?
False
Suppose -70*k = -6613133 - 300977. Is k composite?
False
Let p = -46 + -22. Let i = p + 187. Is i a prime number?
False
Suppose 64 = 14*x + 316. Let v(z) = 6*z**2 + 25*z - 17. Is v(x) prime?
False
Let w = 33 + -5. Let l(h) = w*h**2 - 3*h**2 - h - 14*h**2 + 4. Is l(5) a prime number?
False
Suppose 0 = 5*l + 3*v - 8 - 7, -l = -5*v - 31. Let n(f) = -f**3 + 6*f**2 + 3. Let c be n(l). Let y = c + 10. Is y a prime number?
True
Let g be ((-1125)/135)/((-1)/3). Suppose 63 = 4*n - 0*n + 5*o, -n = -5*o + 3. Let m = n + g. Is m a prime number?
True
Let s = 9095 + -1504. Is s a prime number?
True
Let t = 23 - 17. Suppose t*h = 2*h - i + 3349, 4193 = 5*h - i. Is h composite?
True
Let r be 282/12*4/(-2). Is (r - 0)*(1 + -3) prime?
False
Suppose -8*w + 165 = 25*w. Let f(j) = -j**3 - 3*j**2 + 4. Let x be f(-3). Suppose w*o - c - 2615 = x*c, -2*o + 4*c = -1050. Is o prime?
True
Let q(a) = 22*a**2 + 3*a + 1. Let r(y) = 2*y + 6. Let n be r(-4). Is q(n) a prime number?
True
Let g(b) = 487*b - 9. Let z be g(3). Suppose z = 9*d - 2247. Is d a prime number?
False
Let c = -28 - -25. Is ((-4)/c + -2)/((-4)/2082) a prime number?
True
Suppose -24*t = 19*t - 3639047. Is t composite?
False
Suppose -3*x - 1 = -4*a, -2*a = -5*x + 30 - 13. Let w(b) = -861*b + 1. Let u be w(-1). Suppose -a*i = -2*i - u. Is i a composite number?
False
Let a(w) = w**3 - 4*w**2 + w + 1. Let l = 5 - 0. Suppose 0 = -l*t + 5*g + 25, 2*t - t - 7 = -g. Is a(t) a composite number?
False
Suppose -5*f = -5*p + 58045, p - 3*f - f = 11603. Suppose 0 = -5*w - g + p, 0*w + 5*g + 2343 = w. Is w prime?
False
Suppose 2117 + 4190 = 7*l. Is l a composite number?
True
Suppose 4*p - 1 = -3*o - 0*p, 4*o - 4*p + 8 = 0. Is (o - -2) + 529 - -3 prime?
False
Let w(m) = 11380*m + 141. Is w(2) a composite number?
False
Let d(y) = y**2 + 6*y + 12. Let v be d(-4). Let b(x) = 56*x**2 - 4*x + 9. Is b(v) a prime number?
False
Let p be 14/(-4)*(-220)/77. Is 2/(-5)*(-6275)/p prime?
True
Suppose 0 = 4*x + x - 37350. Suppose 2*f + 4*f = x. Suppose -3*o + f + 174 = 0. Is o a composite number?
True
Let d = -5592 + 11545. Is d composite?
False
Suppose 0 = -4*x - r + 1, -3*x - 3*r + 2 = -1. Suppose 4*j = -3*v, -v + 2*j = -x*v. Suppose 4*p + 530 = 2*t, v*p - 4*p + 247 = t. Is t prime?
False
Let a(k) = 5*k**2 + 31*k + 74. Is a(25) a composite number?
True
Let t(q) be the third derivative of q**6/120 - q**5/15 + 5*q**4/24 - 2*q**3/3 - 2*q**2. Let a be t(3). Suppose -4*d - a*d = -546. Is d prime?
False
Suppose 4*f = -4*w + 40, 14 = 5*f - 1. Let z = -10 + w. Let r(b) = -194*b - 1. Is r(z) a composite number?
True
Let x = 180 + -1010. Suppose 4840 = 3*n + 997. Let i = x + n. Is i a composite number?
True
Suppose -3*l + 7 + 17 = 0. Let i(q) = q**3 - 6*q**2 - 9*q + 13. Is i(l) composite?
True
Let l(y) be the first derivative of y**2/2 + 37*y + 4. Is l(16) prime?
True
Suppose 0 = -3*v - 5*k - 3, 4*v + 2*k + 18 = 7*v. Let g be 2/v - (-2495)/(-2). Is 2/(-3 - g/415) composite?
True
Let r(w) = 9*w**2 + 8*w + 20. Let k be r(-6). Let a = -181 + k. Is a a prime number?
False
Let o(j) = 5*j**3 + j**2 - j + 1. Let d be o(1). Let p(f) = 4*f + 3 - d + f**3 + 5*f**3 - f**2. Is p(2) composite?
True
Let r(z) = 17*z**2 + 10*z + 4. Is r(-9) a prime number?
True
Let h be (-509)/(-13) + (-6)/39. Let x = 61 - h. Is x a composite number?
True
Is 18/(-12)*39314/(-3) a composite number?
True
Is 1707615/90 - 1/2 a prime number?
True
Let v(b) = 2*b - 18. Let q be v(11). Suppose -4*a = 4*g - 1444 + 260, -q*g + 305 = a. Is a a prime number?
True
Suppose -2*t = -17*t + 36555. Is t a prime number?
True
Suppose x + 9 = 4*x. Suppose 4*w - w + x*g - 3648 = 0, -w - 4*g = -1225. Is w composite?
False
Suppose -12*d + 17*d = 29680. Suppose 4*b = o - 1484, -7*o + 3*o - 5*b = -d. Suppose -2*y + o = 222. Is y composite?
False
Let f be (0*(-4)/16)/1. Suppose 3 = 3*c - f. Is c/(-2 + 321/159) composite?
False
Suppose 2926 + 204860 = 6*l. Is l a composite number?
False
Suppose -3*l = -l - 8. Suppose 0*i - i = w - 7, 2*w - 4 = 3*i. Suppose 0 = -l*y + i*y + 92. Is y a prime number?
False
Let k(j) = 71*j - 3. Let f be k(3). Suppose -z = -154 - f. Suppose 6*y - z = 2*y. Is y a prime number?
False
Suppose 5*l - 150150 = -d, -3*l - 4*d - 120096 = -7*l. Is l a prime number?
True
Let i(q) be the third derivative of -q**6/120 + q**5/6 + 11*q**4/24 - q**3/3 + 12*q**2. Is i(9) composite?
True
Let a(t) = 150*t**2 + 22*t - 13. Is a(6) a prime number?
True
Suppose -18 = 2*b - 0. Let h be -20*b/12*1. Let g = h + 4. Is g prime?
True
Let v be (-8)/10*(-20)/8. Suppose -3*j = -3*k - 1 - v, -1 = -3*k + 2*j. Is 932/6*k/2 a prime number?
True
Let x(i) = i**3 - i**2 - 4*i + 2. Let n be x(3). Let g be (-2 + (-9)/(-6))*-6. Suppose n = -2*d, -g*f - 2*f - 2*d + 567 = 0. Is f composite?
True
Let k be (0 - -5) + (1 - 3). Suppose -u - 113 = -r, 0 = r + u - 114 + k. Suppose -4*b + r = -100. Is b a prime number?
True
Let w = -65 - 18. Let v = w + 282. Is v a prime number?
True
Let i = 631 + 1120. Is i prime?
False
Let a = -34 + 34. Suppose -i = 5, 5*f + a*f + 2*i = 1525. Is f prime?
True
Suppose l + 695 = 4*t, 0 = -l + 2*l - 5. Let b = -777 - -1116. Suppose -b = -2*m + t. Is m a prime number?
True
Suppose -4*d = 10 - 30. Suppose -h = 3*a - 1952, -5852 = 3*h - 6*h - d*a. Is h a prime number?
True
Suppose -j + 6*s + 263 = 11*s, j - 5*s - 243 = 0. Is j a composite number?
True
Suppose -59 = -u - 2*b, -2*u + 232 = 2*u + 4*b. Suppose 2*t = 4*z - 1126, -u = z + 5*t - 355. Suppose 225 = 4*p - z. Is p a prime number?
True
Let y be 14388/(-14) + (-25)/(-35) + -1. Is 0 + y*((-18)/8 - -1) a composite number?
True
Let z(y) = -4*y**2 - 10*y + 1. Let m(j) = -j**2. Let b(f) = -4*m(f) - z(f). Is b(4) a prime number?
True
Suppose 4*l = -669 + 4457. Suppose -5*t - 2*j = -l, -7*t + 2*t + 2*j + 963 = 0. Is t a composite number?
False
Suppose -4*h + 15 = -1. Suppose 172 = h*c - 264. Is c a composite number?
False
Suppose -3*l + 178997 = 14696. Is l a prime number?
True
Let l(r) = 6*r**2 + 4*r - 2. Let y be l(5). Suppose -y = -2*u - 22. Let k = u + 162. Is k composite?
True
Let c(m) = -m**3 - 18*m**2 - 20*m - 24. Suppose -5*g + g - 64 = -4*i, 2*g + 26 = 5*i. Let o be c(g). Suppose 2252 = 4*q - o. Is q composite?
False
Suppose -5*m - 34520 = -6*m + 3*i, -m + 34512 = i. Is m a composite number?
True
Suppose 686 = 6*y - 1648. Is y prime?
True
Let s be -3*(-2 - (16 - -1)). Let u(o) = o**3 - 7*o**2 + 8*o - 8. Let y be u(6). Suppose -y*c + s = -3. Is c prime?
False
Let p(o) = -14*o + 3 - 4 + 2 - 5*o. Is p(-3) prime?
False
Let z(d) = 524*d + 40. Let c be z(1). Let s = 791 - 8. Suppose -r = -3*n + 1347, -3*n + c = 3*r - s. Is n a prime number?
True
Let r = 22 + -19. Suppose 792 = 5*h + 4*l, -r*l - l = 4*h - 632. Suppose -5*b - 5*n = h - 480, n = -3*b + 194. Is b a composite number?
True
Let s(v) be the third derivative of 103*v**4/24 - v**3/3 + 5*v**2 - 1. Let k(g) = g**2 + 3*g - 1. Let u be k(-4). Is s(u) a prime number?
True
Suppose k = 1, -4*k = 3*g - 13 - 24. Suppose -5 = -x + g. Is 12663/12 - 4/x composite?
True
Let q = -5889 + 12676. Is q a composite number?
True
Let x = 7390 - 5123. Is x a composite number?
False
Let g = -647 - -1233. Let h = 1309 + g. Is h a prime number?
False
Suppose -18*w - 1588 = -12802. Is w composite?
True
Suppose -18 = -o + 58. Is 261/6*o/6 a composite number?
True
Suppose 8*p = 23224 + 101104. Is p composite?
False
Let k(z) = 13496*z + 3. Is k(1) prime?
True
Suppose u - 11*w = -7*w - 2122, -3*u = -2*w + 6336. Is (8 - 9)/(2/u) composite?
True
Let b(k) = 22 - 14*k - 14 - 15. Is b(-2) composite?
True
Suppose -2*l = -0*l - 82. Let b = l - 28. Let q = 20 - b. Is q a prime number?
True
Let j = -17 + 10. Let r(l) = 21*l**2 + 23*l - 2. Let f(c) = -11*c**2 - 11*c + 1. Let w(v) = 5*f(v) + 3*r(v). Is w(j) prime?
True
Let s(g) = g**2 - 8*g - 6. Let c be s(9). Suppose 666 = c*a - 78. Let n 