?
True
Suppose -3*s + 4*k = -12889, k = 4*s + 4*k - 17152. Is s composite?
True
Suppose 88*q - 87212 = 863276. Is q composite?
True
Let w = 826 + -197. Is w prime?
False
Suppose 78*q = 2*n + 82*q - 23408, q + 23433 = 2*n. Is n composite?
True
Suppose y = -4*x + 37, 3*x + 5*y + 0*y - 15 = 0. Suppose 5*a - x*a = 0. Suppose -u + 0*u + 265 = a. Is u composite?
True
Is ((-1)/((-2)/(-4)))/((-77)/406021) prime?
False
Suppose 0*m - 11*m + 74041 = 0. Is m a prime number?
False
Suppose 0 = -2*n + 4*j + 37234, 39*n - 36*n - 3*j = 55860. Is n a prime number?
False
Let o(q) be the second derivative of q**5/20 + 13*q**4/12 - q**3 + 11*q**2/2 - 5*q. Is o(-13) prime?
True
Is 291*2*-2*(-2286)/216 a prime number?
False
Suppose -2*a - 67305 = -3*c, -22430 = -c - 87*a + 86*a. Is c a prime number?
True
Suppose f + 4*l - 18648 = 0, -2*l + 6*l + 37344 = 2*f. Suppose 9*b - f = 14213. Is b a prime number?
False
Is (5 + -29)/12 + 0 + 43237 a prime number?
False
Let a(l) = 10 - 11 - 27 + 1219*l. Is a(3) composite?
True
Suppose -3 + 7 = d, -4979 = -c + 2*d. Is c composite?
False
Let i(j) = 6*j**2 - 5*j + 5. Suppose -w - 2*w - 33 = 0. Let t = -5 - w. Is i(t) a composite number?
False
Suppose 2*n - 2000 = -3*n. Let l = n - 231. Is l a prime number?
False
Let h(w) = -4*w**3 - 34*w**2 - 27*w - 37. Is h(-24) a prime number?
False
Suppose 4*h - 2*k - 622 = 0, h - 2*h + 158 = 2*k. Suppose -o = 2*u + 107, -5*o = -0*o - 3*u + 496. Let z = h + o. Is z prime?
False
Suppose -g + n = 3*n - 102, 0 = -3*n + 9. Suppose 3*o - 6*o = -g. Let b = o + 17. Is b a composite number?
True
Let h(p) = 403*p + 60. Is h(7) a prime number?
False
Suppose g - t - 754 = -4*g, 2*t = 2*g - 308. Suppose 0 = 5*q - 3*q + 3*l - g, l = -3*q + 218. Suppose b - q = 77. Is b a composite number?
False
Let l be ((-7)/(-14))/(2/12). Let m = l - -66. Is m prime?
False
Let p(n) = -23*n - 45. Let d(b) = 2*b - 50. Let k be d(20). Is p(k) a composite number?
True
Let o(t) = -t**2 + 1. Let u(x) = -3*x**2 + x - 67. Let k(c) = 2*o(c) - u(c). Let j(z) = 9*z - 45. Let n be j(5). Is k(n) a prime number?
False
Let v = 31 - 26. Is -1*v/5*-287 prime?
False
Let q be (0/(-2))/(-3 + 2). Let f(j) = 3*j + 69. Is f(q) a composite number?
True
Let m(q) = -10*q - q**2 - 4*q**2 + 15 + 4*q**2 - 2*q. Let r be m(-13). Suppose 4 - 6 = r*g + 4*j, -70 = -5*g + 5*j. Is g prime?
False
Is (-4 - -3303)/((-7)/(-35)) a prime number?
False
Suppose 5*t - 18 = 2. Suppose -4*y = t*z - 13960, 709 - 7693 = -2*z + 2*y. Suppose 4*l = z + 1521. Is l a prime number?
False
Is 340/60*(410 + 1) a prime number?
False
Let p(v) = -v**3 + 12*v**2 - 3*v - 1. Let m = -21 - -30. Is p(m) prime?
False
Suppose 3 - 1 = b. Suppose p + 2*n = -12, b*p + 2*n + 24 = -n. Let v = p - -33. Is v a composite number?
True
Let b(j) = -19 + 36 - 4 + 53*j. Is b(6) prime?
True
Let c(j) = 48*j**2 - 10*j - 5. Let l(d) = d**2 - 3*d + 6. Let v be l(3). Is c(v) prime?
True
Let f be 4/8*12*-6. Let h be f/(-16) + 2/(-8). Suppose 0 = l + 5, 217 = h*i + l - 160. Is i prime?
True
Let d(g) = -g**2 - 10*g + 3. Let j be d(-10). Let y be 3/j - 26/(-2). Is (4/6)/(y/6279) prime?
False
Suppose -2*h + h = -m + 2109, 0 = -3*h - 6. Let p = 18 - 15. Suppose p*n = -5*q + m, q + 1273 = 4*q + 4*n. Is q composite?
False
Let o(i) = 16*i**2 - 3*i - 4. Let v be o(-1). Let m(c) = -c**3 + 14*c**2 + 31*c + 7. Is m(v) a composite number?
True
Let r(l) = -472*l**2 + l + 2. Let h be r(-1). Let p = 0 - h. Is p a prime number?
False
Let o(v) = v**2 + 3*v + 6. Let s be o(-4). Let k(m) = 99*m**2 + s*m**2 - 1 + 13*m**2. Is k(2) prime?
True
Let o be (-5 + 44/8)*6. Suppose -o*t + 6393 = -4428. Is t a prime number?
True
Suppose 0 = -639*q + 633*q + 22998. Is q composite?
False
Suppose -2 = -3*b + 5*b, 5*y - 4*b = 84. Let f(v) = v**3 - 8*v**2 - 7*v + 33. Is f(y) composite?
True
Let g(j) be the first derivative of -j**4/4 - 3*j**3 - 19*j**2/2 - 10*j - 8. Is g(-9) a prime number?
False
Suppose -3*t - 4*v + 9749 = 0, 4*v + 12999 = 4*t + 9*v. Is t prime?
True
Suppose 10*p = 336613 - 113633. Is p a prime number?
False
Suppose -5*s - 175 = -2*i - 3*i, -4*i - 140 = 3*s. Is (-16)/s + (-1266)/(-10) - 0 a prime number?
True
Suppose 1934 = 3*u - 1384. Suppose -5*z + 3459 = -u. Is z composite?
True
Suppose 0 = 26*t - 23*t - 15135. Is t composite?
True
Let g(t) be the first derivative of -t**3/3 + 5*t**2 + 3*t - 2. Let n be g(7). Is n - (0/(-1) + 3) prime?
False
Let g = 13978 + -7364. Is g prime?
False
Suppose 9540 - 360 = 3*k. Suppose -3*t = u - 612, 0*u - 5*t + k = 5*u. Let x = u + -401. Is x composite?
False
Let i = 1072 + -173. Is i prime?
False
Let u be ((-55)/50 + (-3)/(-5))*-4. Suppose -847 - 859 = -u*i. Is i composite?
False
Is 42878/44*(-1 - -3) composite?
False
Let w(n) = 610*n**2 + n + 1. Let s be w(1). Let m = -365 + s. Is m composite?
True
Let o = -11 + 14. Suppose o*b = -d + 9, -3*d + 4 = -3*b + 13. Suppose 3*j = -x + 31 + 25, b*x + j = 144. Is x prime?
True
Let n(o) = o**3 - 14*o**2 - 15*o + 2. Let d be n(15). Suppose -d*w = w. Is w + 1 + (10 - -180) a composite number?
False
Suppose 13*b - 18660 = 8003. Is b a prime number?
False
Suppose -10210 = -9*b + 8249. Is b a prime number?
False
Let a(t) be the first derivative of 41*t**3/3 - 7*t**2/2 - 15*t - 20. Is a(-4) composite?
True
Let s(g) = 5*g**2 + 23*g + 19. Is s(-14) prime?
True
Let v(o) = -12*o**3 - 1. Let a be v(1). Let n be (a - 1)*(-60)/24. Let w = -9 + n. Is w prime?
False
Suppose -2*l = 2*l + 19704. Is 6/9*l/(-4) composite?
False
Suppose -4*m - 2*t = -20, 0*m - 3*t + 15 = m. Suppose 0 = n + m, -2*j + 4*n = -7*j + 6583. Is j composite?
False
Let j(m) be the first derivative of -13*m**2 - 23*m - 27. Is j(-8) prime?
False
Let n(g) = -19*g - 3. Let f be ((-24)/(-32))/(1/(-8)). Let b(u) = 10*u + 1. Let w(z) = f*n(z) - 13*b(z). Is w(-5) a composite number?
True
Suppose -s - 4*j + 7061 = 0, -4*j - 3 - 5 = 0. Is s a prime number?
True
Let b = 14 - 26. Let s = 15 + b. Suppose -s*m + 80 - 11 = 0. Is m composite?
False
Suppose 3*h + 4*k = -2*h + 39835, 4*k = -h + 7951. Is h a prime number?
False
Let x be 47/((-6 + 1)/35). Is x/21*(0 + -51) a prime number?
False
Suppose -2*g = -s + 21, 3*s - 12 = -g + 44. Let n(a) = 107*a - 14. Is n(s) a composite number?
True
Let z = 22936 - 13065. Is z prime?
True
Let a(f) be the first derivative of -1/3*f**3 + 19/2*f**2 + 5 + f. Is a(14) a composite number?
False
Let d(c) = 111*c + 25. Is d(6) a prime number?
True
Let x(g) = -3*g - 4. Let h be x(-9). Let d = h - 44. Let k = -10 - d. Is k a prime number?
True
Suppose 2*j = -9*p + 4*p - 19, 2*j - p - 11 = 0. Suppose 4*d = j*d - 1. Is 94/(d/((-5)/2)) a prime number?
False
Suppose w - 27236 = -4*r - 3419, -3*r + 2*w + 17849 = 0. Is r composite?
False
Let t(s) = 2*s - 17. Let y be t(10). Suppose 78 = y*x - 60. Is x prime?
False
Let u(f) = 2*f**3 + 27*f**2 + 19*f + 14. Let o be u(-13). Suppose 4*w = 5*m + 614, 5*m - 5*w + 383 = -232. Let d = o - m. Is d prime?
False
Let r = -2615 + 1201. Let m = r - -2027. Suppose 4*w - k + 1 = 491, -k = -5*w + m. Is w composite?
True
Suppose 79*c - 14 = 86*c. Suppose -b - 1821 + 9023 = 0. Is (-1)/c - b/(-4) prime?
True
Suppose -6*s = -12*s + 48. Suppose -s*m + 117 = -635. Is m a composite number?
True
Let t = 5974 - -3897. Is t a composite number?
False
Suppose -5*b = 55545 - 1301260. Is b composite?
False
Let x = -8 + 19. Suppose -4*k - 3*o + 31 = 0, -4*o + x = -k - o. Suppose -48 = -k*i + 484. Is i a prime number?
False
Let o(n) = -200*n + 7. Let w(g) = -g. Let x(r) = o(r) + 6*w(r). Is x(-6) composite?
True
Suppose 10*n - 20362 = -3432. Is n a composite number?
False
Suppose 2*y + 1129 = x + 304, 4*x = 4*y + 3308. Is x a prime number?
True
Suppose 0 = -16*m - 261614 + 1091326. Is m a prime number?
False
Let g be -5*(-1796)/10*4. Suppose 4*r = 4*u - g, 4*r + 3*u = 6*u - 3589. Let l = 1317 + r. Is l a prime number?
False
Suppose -11*z = -186679 - 30208. Is z a prime number?
True
Suppose 4117 = h - 154. Is h a prime number?
True
Let g = -14 + 371. Suppose -3*j - g + 1794 = 0. Is j a prime number?
True
Suppose 2*b - 4*b + 7300 = 3*f, 2*f = b - 3657. Is b a composite number?
True
Suppose -4*g + 13753 = -5*q - 92476, -5*g + 3*q = -132770. Is g prime?
False
Let z(r) = 96*r + 5. Let o = -13 + 14. Let q be (-1*o)/((-2)/6). Is z(q) a composite number?
False
Let i(w) = -