8 + -114. Let q = 447 + s. Let x = 396 - q. Is x composite?
True
Let d(o) be the third derivative of -o**4/4 + 11*o**3/6 + 5*o**2. Is d(-8) composite?
False
Is 139196/28 - -2*(-7)/49 a prime number?
False
Let k(c) = 6*c**2 + 11*c + 2. Let x be k(-7). Let y = x - -230. Is y a prime number?
True
Let v = -40 + 42. Suppose -3*m = 5*k - 4496, v*m = -k - 3*k + 2998. Is m composite?
True
Let w(q) = -138*q + 6. Let x be w(-5). Let h be ((-51)/(-12))/(3/x). Let j = -669 + h. Is j composite?
False
Let d = 148 - -190. Suppose 2*x + 95 = h - 90, 2*h + 4*x = d. Is h prime?
False
Let o = -26454 - -39547. Is o composite?
False
Suppose -3*y - 3*v + 1278 = -0*y, 4*y = 5*v + 1731. Suppose 2*l + y = 5*u - 148, -3*u - 3*l + 363 = 0. Suppose -c = -104 - u. Is c a composite number?
True
Suppose -7*r = -10*r + 41256. Suppose 0 = 9*a - r - 8019. Is a composite?
True
Let u be 3037 - (0 - 4)/(-4). Suppose -3*c = x + u, 2*x + 2*c + 6058 = 3*c. Is ((x*1)/(-3))/2 a prime number?
False
Suppose 0 = -12*h - 2*h + 854. Let o = 1 - -3. Suppose 63 + h = o*r. Is r a prime number?
True
Let y(k) = -114*k**3 + 2*k**2 + 2*k + 1. Let t be y(-1). Suppose -215 = -19*l + 14*l. Suppose -3*c = -g + l, 3*g = -c + t + 14. Is g a composite number?
False
Let v be (39/(-13))/(-2 - 1). Is 3 + (v - 4) - -1685 prime?
False
Let w(q) = -2707*q + 134. Is w(-5) composite?
False
Let c(u) = 2*u**2 + u**2 - u - 6*u**2 + u**2 + 1027. Is c(0) prime?
False
Suppose -2*t = -21 + 1. Suppose 0 = -t*o + 9*o + 2721. Is o prime?
False
Let o(q) = 69*q - 16. Let v be o(8). Let y = v - 45. Is y composite?
False
Let f be (-8)/(-2)*-1 - -4. Suppose f = d - 46 - 67. Is d a prime number?
True
Suppose -8295 = -8*w + 10049. Is w a prime number?
True
Let h(f) = -f**3 + 11*f**2 - 11*f - 6. Let x be h(10). Let w = x - -19. Suppose y - 628 = -w*c, 0*c - 2*c + y = -427. Is c prime?
True
Suppose -s + 3466 = -1471. Is s a composite number?
False
Suppose 2*f - 15 = -3*f, 4*f - 24 = -4*p. Is (-4 - (-6 + p))*-1097 a prime number?
True
Let u = 47798 + -22957. Is u composite?
False
Suppose -4*w + 16 = 2*y, 3*w + 2*y = 4*y + 19. Suppose t - 4*t - 4468 = -w*x, 2*x - 1788 = 2*t. Is x prime?
False
Let l = -21 - -19. Let w be (2 - l) + (5 - 5). Suppose -i - 2*c + 183 = 0, 0 = w*i + i - c - 959. Is i a prime number?
True
Let i(j) = 30*j**3 + 14*j**2 + 14*j + 13. Is i(8) prime?
True
Suppose i - 369 - 8408 = -2*t, -4*t + 26333 = 3*i. Is i a prime number?
True
Suppose -19442 = -10*r - 4092. Is r prime?
False
Suppose -3*i - 26478 = -6*o + 2*o, -33115 = -5*o - 5*i. Let x = -4522 + o. Is x composite?
False
Let o(q) = q**3 - 10*q**2 + 18*q - 12. Let v be o(8). Suppose -m - 2979 = -v*m. Is m a composite number?
True
Let m be 9*(2 + 20/(-6)). Let s = m - -23. Suppose -s*z = -9*z - 26. Is z a composite number?
False
Let k = 15445 + -10238. Is k a composite number?
True
Let x(d) = -d**2 + 5. Let w be x(-2). Is 37*(0 + 13) + -1 + w a prime number?
False
Let f(g) = 175*g**2 + 2*g - 4. Let y be f(2). Suppose -5*c + 90 = 5. Suppose -c = 4*l + 2*n - 583, -5*l - n + y = 0. Is l composite?
False
Let i(a) = -6*a**3 + 11*a**2 + 10*a + 10. Let j(t) = -t**3 + t**2 + t. Let p(n) = i(n) - 5*j(n). Let m be p(7). Is (m - 1)/(1/(-23)) composite?
True
Let n(k) = 4*k + 25. Let b be n(-5). Suppose -b*z - 2*p = -4*p - 95, 19 = z + 5*p. Is z composite?
False
Let x be (-1 + 1 - -5)*(227 - 3). Suppose -2*z + 2935 = 5*r, -5*r - z = x - 4055. Is r a prime number?
True
Suppose -h - 1871 = -4*d + 2814, -5*h = -4*d + 4673. Suppose -13*q + 9*q = -d. Is q a composite number?
False
Suppose -p + 7 - 2 = 0. Suppose -5*g + g + 2484 = 0. Suppose -p*k - 166 = -g. Is k a prime number?
False
Suppose 0 = -20*k + 21*k - 351. Suppose -3*n + 354 = -k. Is n composite?
True
Let t(d) = -3*d - 2*d + 12*d - 35. Is t(16) prime?
False
Suppose k + 1825 = -365. Let p be k/8*(-9 - -5). Suppose 0 = q + 2*q - p. Is q a prime number?
False
Let m = 161 + -161. Let l = 519 + -243. Suppose d - 5*d + l = m. Is d prime?
False
Is -29*(-4 + -49) - (-3 - 3) a composite number?
False
Let x(u) = 808*u**2 + 3*u - 4. Is x(1) a prime number?
False
Let s = 336 - -169. Is s composite?
True
Let o = -36 - -38. Suppose -5*a + 3*a - 3876 = -2*b, -a - 3880 = -o*b. Suppose 4*r - r - b = -l, -l = 5. Is r composite?
True
Is (-2458525)/(-40) - (-8 - (-325)/40) a composite number?
False
Let n = -10 + 23. Let q be -2*n*(-1 - 0). Suppose q = l + l. Is l composite?
False
Suppose 10069 = 2*c + 2771. Is c a prime number?
False
Let i(p) = -5*p - 5. Let v be i(-4). Suppose 2*x - 2*m + 15 = -7*m, v = -4*x - 5*m. Suppose 3*n - 767 = 5*y + 504, y - 2 = x. Is n a prime number?
False
Suppose -2*r = -0*t - 4*t + 14, 2*r = 3*t - 9. Suppose 0 = 4*l - 20, -2*l + 35 = t*q + 3*l. Is ((-1)/q)/(5/(-890)) composite?
False
Let t = 65288 + -46365. Is t prime?
False
Let m = -60 + 263. Let w = -133 + m. Is (1*17)/(10/w) a composite number?
True
Let u be 138 - (-4 + 5) - 3. Suppose -2*c = q - u, 0 = 5*q + 2*c - 196 - 490. Suppose -2*o = -3*s + q, 120 = 4*s + o - 64. Is s a composite number?
True
Let y be (1116/(-45))/(4/(-50)). Suppose y = 6*i - 1010. Let p = i - 65. Is p a composite number?
True
Suppose 0 = a + 334 - 6953. Is a prime?
True
Let l = -45 - -49. Suppose y + 11105 = 5*g - y, 5*g - 11075 = -l*y. Is g prime?
False
Let s(a) = -a**3 + 2*a**2 + 8*a - 11. Let p be s(-8). Suppose 369 = 5*h + 1539. Let g = p + h. Is g a prime number?
True
Let s = 13 + -10. Suppose s*c - 11501 = 2*d, 12 - 28 = 4*d. Is c prime?
False
Let y(a) = a**3 + 5*a**2 - 2*a + 1. Let c be y(-4). Let j = c + 10. Is 3/15 + 8778/j a prime number?
True
Let i(k) = 2*k**3 - 5*k**2 - 8*k - 2. Let p(c) = -2*c**3 + 4*c**2 + 9*c + 2. Let x(g) = 3*i(g) + 2*p(g). Is x(8) composite?
True
Let u = -59 - -64. Suppose 3*y - l = 3571, 4*y - u*l = -6*l + 4752. Is y a prime number?
False
Suppose 4*k - 31 = -4*g + g, k = -3*g + 19. Suppose 4*f - 9963 = -4*l + g*l, -f = -l - 2490. Is f prime?
False
Let k = 1722 - 695. Is k a prime number?
False
Is 956010/121 + 0 - (-1)/11 composite?
False
Let o = -12843 + 22784. Is o a prime number?
True
Let q = -17132 + 26719. Is q a composite number?
False
Let f(m) = 3*m**2 + 7*m + 6. Suppose -s - 45 = 4*s. Let d be 4/(-3) + 33/s. Is f(d) composite?
True
Let c = 14182 - 7935. Is c a prime number?
True
Suppose 0 = -0*r + 3*r - 9. Let d be (-4 + -4)*r/(-4). Suppose -d*q - 174 = -9*q. Is q prime?
False
Suppose 130*o - 99*o - 1194337 = 0. Is o a prime number?
False
Let k = -20 + 99. Suppose 122 + k = t. Is t a composite number?
True
Let q(a) = -a**2 - 21*a - 1. Let l be 3/1 + 4*-1. Let u(d) = d**2 + d + 1. Let b(o) = l*q(o) - 2*u(o). Is b(8) a composite number?
True
Let s(x) = 7*x - 54. Let r be s(-18). Is r/(-2) - (-4 - -3) composite?
True
Suppose 0 = -10*g + 13*g. Let c(h) = h**2 - 5*h + 3043. Is c(g) prime?
False
Suppose -4*p + 185 + 2307 = 0. Suppose 0 = -4*l - i + p, 0*i = l - 2*i - 167. Is l a prime number?
True
Let b be (-10)/(-15) - 8/(-6). Suppose b*s - 280 = -22. Let p = 196 - s. Is p prime?
True
Let h(v) = -76*v - 15. Suppose -28 = 2*d + 3*g, 39 = -3*d - 3*g - 0*g. Let p = 4 + d. Is h(p) composite?
True
Let b(s) = 5*s**3 + 4*s**2 + 2*s + 5. Let x be b(-3). Let p be ((-4)/(-5))/((-1)/x). Let o = p + -22. Is o a prime number?
False
Suppose 71*h = 70*h + 5839. Is h a prime number?
True
Let h(u) = -21*u + 11. Let n be h(-4). Suppose j - 414 = -n. Is j prime?
False
Let m = -203 - -610. Is m prime?
False
Suppose -3*l = -19 - 17. Is 5553/l - 1/(-4) a composite number?
False
Let f = 6232 + 3897. Is f prime?
False
Let v(j) = j**3 - 3*j**2 - j - 5. Let d be v(4). Suppose l = -p + 4, 4*l + d + 7 = 2*p. Suppose s - 148 = 5*f, 8*s - p*f - 800 = 3*s. Is s prime?
True
Let t(d) = -d**3 - 11*d**2 - 11*d + 19. Let r be t(-14). Let y = 194 + r. Is y prime?
False
Suppose -7*o = -5591 - 5154. Is o prime?
False
Is 12/3 - -398*(-1)/(-2) a prime number?
False
Let h be 6/15 + (-112)/(-20). Let y(z) = z - 4. Let t be y(h). Suppose t*b + 2*x = 40, -b = -2*x + x - 30. Is b a prime number?
False
Let u(m) = -m**3 + 10*m**2 - 10*m + 16. Let h be u(9). Suppose -h*i + 1296 + 755 = 0. Is i a prime number?
True
Let m(y) = -2765*y - 16. Is m(-3) prime?
False
Let b = 9 - -1. Let j = -45 + 92. Let c = j - b. Is c a prime number?
True
Let s = 367 + -634. Let v = 572 + s. Is v a composite num