 + 12879 = 0. Is y a prime number?
True
Is (841 - (5 - 3))/((-2)/(-4)) composite?
True
Let k be (8/(-12))/((-4)/276). Suppose 2*v = v + k. Is v a prime number?
False
Suppose 5*h = 16 + 4. Suppose -h*x - 25 = -293. Is x prime?
True
Suppose -s = s - 4. Let x = s + 0. Is x/(-7) + (-550)/(-14) a composite number?
True
Let a(p) = -2*p**2 - 3*p - 1. Let f be a(-1). Suppose 3*j + 366 - 3861 = f. Is j a composite number?
True
Let y be (0*2/(-4))/1. Suppose -x + y*x + 536 = -2*r, 4*x - 4*r - 2160 = 0. Suppose -4*q + 4*t = -x, -4*t = 4*q - 0*q - 528. Is q a composite number?
True
Is 112 + -3 + 3 + -1 a prime number?
False
Let n(d) = -5*d. Let b be n(-1). Let v(c) = -6*c**2 + 4*c + 0 + c**3 + c + 6. Is v(b) prime?
False
Let a = 233 - 127. Is a a composite number?
True
Suppose -3*a = -3*k - 693, 5*k = 4*a - 141 - 784. Suppose -3*o + 359 = 5*t, 0 = -0*o - 2*o - t + a. Is o composite?
False
Let y(p) be the first derivative of 14*p**3/3 - 2*p**2 + p - 3. Is y(3) a composite number?
True
Let o be (-6)/33 - 4/(-22). Suppose 4*f - 16 = 5*l, o = -2*f - 2*l - 0*l + 8. Suppose -21 = -f*k + k. Is k composite?
False
Let g(z) = z - 1. Let y be g(4). Suppose y*x - 74 = x. Is x a prime number?
True
Is (1 + -2)*(-733)/(-4)*-4 a prime number?
True
Let c(k) = k + 7. Let i be c(-7). Let u(v) = 14*v**2 - 20*v + 147. Let s(t) = 5*t**2 - 7*t + 49. Let x(z) = -17*s(z) + 6*u(z). Is x(i) a prime number?
False
Let f = 186 - -25. Is f composite?
False
Let f = 18 - -16. Suppose -35 = -3*o + f. Is o composite?
False
Is (4 - (1 - 0)) + 10*44 composite?
False
Suppose 0 = 4*o - 2*o. Suppose y - 4*y + 249 = o. Is y composite?
False
Let k(j) = 19*j**2 - j + 10. Is k(3) composite?
True
Suppose -4*l + 2*l = 4*v - 10, 3*l + 4*v = 13. Let t be (-22)/(-8) - l/(-12). Suppose -11 = -t*s + 19. Is s a composite number?
True
Let o = 658 + -449. Is o a prime number?
False
Is (4 - (-91)/(-3))*-3 a composite number?
False
Let r = -1592 - -5649. Is r prime?
True
Suppose -3*w + 121 = 5*t, -4*w + 49 = 3*t - 116. Let p = w + 107. Is p prime?
True
Suppose 2*s + 3*s = 3455. Is s a composite number?
False
Let f(z) = 2*z**2 + 2*z - 6. Let y(s) = s**2 + s - 3. Let k(b) = 2*f(b) - 5*y(b). Is k(0) a prime number?
True
Let q be 2/(4/2) - -1. Suppose -66 + 76 = 5*t. Suppose 2*j = -5*c + 279, -t*c - q*c = -j + 107. Is j composite?
False
Suppose 3*l + 7 = -4*r, 2*r - r + 5*l = 11. Let j(g) = -2*g**2 + 37*g - 18. Let b be j(18). Let z = b - r. Is z a prime number?
False
Let g(v) = -2*v**3 + 3*v**2 + 5*v + 5. Is g(-4) prime?
False
Let b be 43 + 0 + 0 + -1. Let x = b + -7. Is x composite?
True
Let f = 838 - 545. Is f composite?
False
Is 214 + (-2)/((-2)/(-3)) composite?
False
Let z = 11 - 6. Suppose 5*f - 802 = -4*y, z*y - f - 1270 = -253. Is y prime?
False
Let v(y) = y**3 - y**2 + 9. Let k be v(0). Suppose 0 = k*x - 3*x - 222. Is x prime?
True
Let z(a) = -8*a**2 + 1 + a**2 - 5*a**2 - a. Let y be z(1). Let k = 19 - y. Is k a prime number?
True
Suppose 4*t - 2*u = 330 + 1188, 1514 = 4*t + 2*u. Is t a composite number?
False
Suppose 3*w - 968 = -5*w. Is w a composite number?
True
Suppose 4*z - 2173 - 3438 = -5*i, 4185 = 3*z - 4*i. Is z a prime number?
True
Let f be (-74)/(-6)*(-21)/(-7). Let b = -18 + f. Is b a prime number?
True
Suppose f - 5*f = 4*n - 6636, -2*n = f - 3316. Is n composite?
False
Suppose -3*t - t + 8 = 0. Suppose 2 = w - t*w. Is 262 - (-3 - 4/w) composite?
False
Let r = 292 - 845. Is (r/14)/((-2)/4) prime?
True
Suppose -1797 = -l - d, -l - 5*d = -0*l - 1805. Is l a composite number?
True
Suppose b - 2*a - 11 = 0, b + a + 3*a + 7 = 0. Suppose -f + 6 = -j, 2*f - b*j + 2*j = 14. Suppose -2*m = -4*m + f. Is m prime?
True
Let h(n) be the third derivative of -n**4/24 - 7*n**3/6 - 2*n**2. Let p be h(-9). Is 1/(-2) - (-75)/p prime?
True
Suppose 2*d - 6*d = -4. Let n = 24 - d. Let v = 8 + n. Is v a prime number?
True
Let k(c) = -23*c - 3. Is k(-16) composite?
True
Suppose 5*o - 2*b - 13 = -5, -2*o - b = -5. Is 1532/12 + o/(-3) composite?
False
Let v(p) = -31*p + 9*p + 10*p - 3 + 10*p. Let z = 5 - 10. Is v(z) composite?
False
Suppose -k + 4*k - 153 = 0. Is k prime?
False
Let m = 6 - 0. Is 758/m + (-4)/(-6) prime?
True
Let x(k) = -208*k + 3. Is x(-2) composite?
False
Let j(n) = 85*n - 3. Is j(4) composite?
False
Let x be 2/(-5) + (-110)/(-25). Let h = -3 + x. Let n(i) = 112*i**2 + 1. Is n(h) composite?
False
Let d = 11 - 6. Suppose -t + 39 = -d*w, -4*t + 4*w = -t - 73. Is t a composite number?
False
Let z(n) = -2*n**2 - 25*n - 14. Is z(-11) prime?
True
Let m(q) = 324*q + 21. Is m(2) composite?
True
Is 2809/5 + 5*(-1)/(-25) a composite number?
True
Let j(w) = w + 2. Let h be j(-3). Let d be (-3 + (-1)/h)/(-1). Is (-69)/(-1) + (0 - d) prime?
True
Suppose 375 = -3*d + 4404. Is d prime?
False
Suppose 2*s = -2*s + 4*m + 16, s - 4*m - 7 = 0. Suppose 3*l - 1 = 5. Suppose 7*q - 47 = 3*q + r, -s*q = l*r - 49. Is q a prime number?
True
Let y be (-117)/(-36) - (-2)/(-8). Suppose 6*r - y*r - 642 = 0. Is r prime?
False
Let j(p) = -5*p - 3. Let t be j(-2). Suppose 5*q - 3*u = 59, 4*u - t = -2*q + 1. Is (q/(-3))/((-4)/12) a composite number?
True
Let w(s) = 56*s**3 + 3*s - 9. Is w(4) a prime number?
False
Suppose -2*x = k - 4, -5*x + 5*k = -2*x - 6. Suppose -2*h + 103 = 3*j, 0*h + x*h + j = 105. Is h a prime number?
True
Suppose 7*x = 4*x - 30. Let m(i) = -i**2 - 7*i - 5. Let v be m(-6). Let o = v - x. Is o a composite number?
False
Is ((-1098)/4 - -4)*-2 composite?
False
Suppose 10*s + 2179 = 11*s. Is s a composite number?
False
Suppose -5 = -3*a + 1. Let j be -2 - -2*(a + -1). Suppose j*x - 3*x + 57 = 0. Is x a prime number?
True
Let g be 137/((0 - 2)/(-2)). Let d = 313 + g. Suppose 2*l = -4*w + d, -3*w + 0*l = 4*l - 335. Is w prime?
True
Let b(l) = -l**2 + 4*l. Let u be b(3). Suppose 520 = u*v - 539. Is v composite?
False
Let d(s) = s**3 - 2*s**2 - 2*s + 1. Let i be d(2). Let k be i + (19 - 1) - -3. Suppose 0 = 3*x - 117 + k. Is x a composite number?
True
Let f = 72 + 30. Is f/4 + 7/14 composite?
True
Let h = 2 + -10. Is (-204)/h*(-2 - -4) a composite number?
True
Let s(y) = y**3 - 2*y**2 + 2*y - 6. Let z = -15 + 19. Is s(z) a composite number?
True
Let g(m) = -31*m**2 + 8*m - 5. Let t be g(5). Is t/(-35) + 3/(-21) a composite number?
True
Let n(c) = -7*c**3 - 18*c**2 + 7*c - 19. Let r(i) = 3*i**3 + 9*i**2 - 4*i + 9. Let h(q) = 2*n(q) + 5*r(q). Is h(-8) a prime number?
False
Let f(r) = 25*r**2 + r + 9. Let c be f(5). Suppose 0*d - 3*d + c = -2*u, 4*d - 845 = 5*u. Is d prime?
False
Let u = 2 + 3. Suppose -626 - 324 = -u*d. Suppose 3*z - d = z. Is z prime?
False
Suppose -2*z + 4*w = z + 10, -w = -4. Suppose -2*y + 0*y = -4. Suppose y*r - 100 = -z*r. Is r composite?
True
Let p = 378 - -258. Suppose -1992 = -4*n - p. Is n composite?
True
Let w(y) = -66*y. Let i be w(-2). Suppose -6*t + i = -2*t. Is t prime?
False
Let y(a) = -7*a**3 + 2*a**2 + 6. Let d be y(-3). Let p = d + -146. Is p composite?
False
Let a be 3 - 2/6*0. Suppose a*g - 5*g = 3*s - 62, -2*g - 5*s + 70 = 0. Suppose 0*r + r = g. Is r a prime number?
False
Is ((-11380)/(-8))/5*10 a prime number?
False
Let j(r) = r - 1. Let g be j(6). Suppose 0 = f - 3*f + k, 5*f = -g*k. Suppose 4*h - 2*o - 186 + 18 = 0, -3*h - 4*o + 137 = f. Is h prime?
True
Let a = 3 + 9. Suppose -5*i = -6*i - 4*v - 12, -a = 4*v. Is 6 + (i/(-3))/1 a prime number?
False
Let a be (-11 - 0) + (-1)/1. Let o be 1 + 4/(a/(-9)). Suppose -3*u + 177 = 3*r - u, -o*r + u = -236. Is r a composite number?
False
Let l = 5042 + -2235. Is l a prime number?
False
Let b = 332 - 70. Is b a prime number?
False
Let w = -6863 + 10954. Is w prime?
True
Suppose 1115 = -w + 6*w. Is w a prime number?
True
Let t = 81 - 40. Let y = 6 + -4. Suppose y*j = -0*s - 2*s + 20, 5*j + 2*s = t. Is j composite?
False
Let g(o) be the first derivative of 9*o**2 + 11*o - 4. Is g(10) a composite number?
False
Let m = -11 + 4. Is m/35 + (-2512)/(-10) a composite number?
False
Let l(b) = -b**3 + 9*b**2 - 9*b + 2. Let q be l(7). Let u = q - -14. Is u a prime number?
False
Let w be 5/2 - (-1)/(-2). Let b(m) = 18*m - 10 - 6 + 17. Is b(w) composite?
False
Let a(y) = 25*y**3 + 5*y**2 - 3*y + 2. Is a(3) composite?
True
Let i(d) = 3*d**2 - 2. Let k(u) = -4*u**2 - u + 3. Let j(v) = -3*i(v) - 2*k(v). Let n be j(2). Let t(q) = -q + 55. Is t(n) a com