 4*v - 2 - 6. Is (3 - (5 + v))*217 a composite number?
True
Suppose 2*g = -24 - 20. Let a = g + 69. Is a a composite number?
False
Suppose 3*g + 0*g - 321 = 0. Let u = g + 84. Is u a prime number?
True
Let y be (-80)/14 - (-4)/(-14). Let k = 8 + y. Suppose b + 133 = k*b. Is b composite?
True
Is ((-5)/(-10))/(3/4854) prime?
True
Let f(a) = 7*a**2 - a - 3. Let c be f(4). Let u = c + -31. Is u a composite number?
True
Let i(p) = p**3 - 4*p**2 - 9. Let m be i(4). Let t(u) = -u**3 - 5*u**2 + 8*u + 7. Is t(m) composite?
True
Let i(c) = -c**2 + c - 3. Let p be i(4). Is p/(-20) - (-626)/8 prime?
True
Suppose 2*c + 508 = 2*g - 0*c, -5*c + 1300 = 5*g. Is g composite?
False
Suppose 0*b + 31 = b + 5*s, b - 3*s = -9. Let q(c) = c**3 - 7*c**2 + 8*c - 9. Let v be q(b). Suppose 5*f + 4*y - 427 = 0, 4*y + 355 = v*f + 118. Is f prime?
True
Let x = 280 + -146. Is x a prime number?
False
Suppose -4*b = -b - 3489. Is b a composite number?
False
Let c be -1 + -39 + 4/4. Let l = 104 + c. Is l prime?
False
Let c be 2/(-7) + 3324/21. Let i be (c*3)/3 + 1. Suppose 0*g - i = -3*g. Is g prime?
True
Let c(o) = 2842*o - 29. Let r(q) = 203*q - 2. Let y(t) = -2*c(t) + 29*r(t). Is y(1) prime?
False
Let i = 217 + -155. Suppose -z - i = -3*z. Suppose l = z + 20. Is l a prime number?
False
Suppose g - 3*g = 5*a - 23, 3*a - 29 = -5*g. Suppose -2*n - 5*p = -80, -3*p + 138 = 4*n - g*p. Let m = 54 - n. Is m a prime number?
True
Let p(r) = -r**3 + r**2 + 3*r - 5. Let j be p(-4). Suppose 2*a = -a + 4*i + j, 2*a + 2*i - 42 = 0. Is a a composite number?
True
Suppose -2*v + 41 = -15. Let x = -3 - -11. Is 154/x + (-7)/v prime?
True
Suppose 0 = 4*y + 5*k - 187, -5*y - 3*k - 62 = -299. Let o(n) = n**3 - 7*n**2 + n + 5. Let j be o(6). Let p = y + j. Is p a prime number?
True
Suppose -5*i + 2400 = 5*h, 4*i - 4 = -0*i. Is h a prime number?
True
Suppose -5*s - 5*q = -1595, -635 = -2*s - q + 2*q. Suppose 5*p + 2*t - 404 = 4*t, 4*p - s = -t. Suppose 2*f - 2*x = p, 142 = 4*f - 0*x + 2*x. Is f composite?
False
Let o(i) = 3*i**2 - 9*i - 8. Suppose 3*s - 4 = 4*a + 9, s = 2*a + 3. Let g be o(s). Let r = 155 - g. Is r composite?
False
Suppose -434 = -2*s - 2*m, -m = 2 + 3. Let u = -77 + s. Is u composite?
True
Let y = 562 + 69. Is y a composite number?
False
Suppose -a = j - 6*a - 97, 4*a + 269 = 3*j. Is j prime?
False
Let s be (-1278)/24*16/(-3). Suppose m + 3*m - s = 0. Is m prime?
True
Let c = 14 - -42. Suppose 4*l - l - 5*p - c = 0, -2*l + p = -49. Suppose -l = -3*z + 18. Is z a composite number?
True
Suppose 2*k = -3*c - 25, -4*k - 2*c - 41 = -11. Is (-656)/(-5) - k/(-25) composite?
False
Let i(o) = -4*o - 2. Let b be i(-3). Is 14/(-35) + 1314/b a composite number?
False
Let o(a) = -396*a**2 + 4. Let b(l) = 396*l**2 - 3. Let z(u) = 5*b(u) + 4*o(u). Is z(1) prime?
True
Suppose 4*h - 481 = -3*l + 2*l, 2357 = 5*l + 4*h. Let z = 16 + l. Is z a composite number?
True
Let b(n) = -17*n - 4. Is b(-7) a composite number?
True
Suppose y - 1882 = -731. Is y composite?
False
Suppose 33 = 2*s + 5*h, 3*s + 6 = 2*s + 2*h. Is (-5)/((-10)/s) - -51 composite?
False
Let o = -1114 + 1951. Suppose 4*d - o = -17. Is d composite?
True
Let d(r) = 2*r**2 - r - 1 - 17*r**3 - 3*r**2 + r**2 - r**2. Let m(o) = -o - 7. Let l be m(-5). Is d(l) a prime number?
False
Let h = -482 + 685. Is h a composite number?
True
Let r(q) = 2*q**3 - q**2 + q - 1. Let f be r(2). Suppose 5*u - f = 3*m, -2*u + 3*m + 8 = 2*u. Is (u/10)/(2/524) a prime number?
True
Let o = -1 - 19. Is (-872)/(-10) - (-4)/o a prime number?
False
Let n(l) = l**2 + 13*l + 16. Let m = 6 - 18. Let t be n(m). Suppose o - 178 = -o + t*h, 445 = 5*o + 5*h. Is o a composite number?
False
Let g be (-26)/(-4) - (-2)/(-4). Let x be 2/3*297/g. Suppose -2*w + 3*w = x. Is w composite?
True
Suppose -2*l + 140 = 3*l. Suppose -z + 135 + l = 0. Is z composite?
False
Let q(r) = 2*r + 1. Let f be q(-3). Is -14*(-3)/((-6)/f) a composite number?
True
Suppose 5*t - 2*t + 21 = 0. Let m = 26 + t. Is m prime?
True
Suppose 0 = -3*u + 3*g + 75, 156 - 39 = 5*u - 3*g. Suppose 5*s - 125 = -0*s. Suppose 2*r = s + u. Is r composite?
False
Let s(x) = x + 4. Let t(y) = y + 3. Let j(l) = 5*s(l) - 6*t(l). Let q be j(-5). Suppose -148 = 3*o - q*o. Is o composite?
False
Suppose 4*d - 920 = -4*f, 2*d + 678 = 5*d - f. Let o = d + -130. Is o prime?
True
Let h(b) be the first derivative of b**3/3 + 3*b**2/2 + 9*b + 3. Is h(8) prime?
True
Let q(d) = -d**3 + d**2 + 1. Let z be q(-4). Suppose -4*c + z = -115. Is c a prime number?
False
Let c(u) = -11*u + 39. Is c(-10) a prime number?
True
Suppose 4*x = -4*q + 2092, -x = -3*q - 191 - 344. Is x a composite number?
True
Let b(q) be the first derivative of q**4/4 - 4*q**3/3 + 2*q**2 - 2. Let h be b(3). Is (h - 1) + (-87)/(-3) composite?
False
Is (3 + -4)/((-1)/1319) prime?
True
Let y(t) = -133*t - 11. Is y(-6) composite?
False
Suppose 4*n = 3*j - 2413, 41 + 742 = j + 4*n. Is j a prime number?
False
Suppose -w - 5*b = 22, -b = -2*w + 2*b + 21. Is 146 - (5 + -5 + w) a composite number?
True
Let b(i) = 2*i - i - 4*i + 2 + 12*i**2. Is b(-5) a composite number?
False
Let n = 232 - 101. Is n composite?
False
Let w(a) = 10*a - 9. Suppose 5*k - 10 = -5*u, 4*k - 8 = 6*k. Is w(u) a prime number?
False
Is (-4)/(-10) - 20215/(-25) prime?
True
Suppose 4*c = 2*o - 58, -o + 134 = 3*o + c. Let y = o + -54. Is (-7)/y - (-236)/3 composite?
False
Suppose -5*n + 32 = -98. Is n a prime number?
False
Let l(r) = r**3 + r**2 + r + 77. Let i be l(0). Suppose -5*g - 3*f + 105 = 0, 3*g - 2*f - i = -f. Let p = g - 9. Is p a composite number?
True
Suppose -b = -4*m + 3, -9 = 3*m + 3*b - 0. Let c be (-16)/1*1243/(-44). Suppose 0*p - 4*p + c = m. Is p composite?
False
Suppose 3*h = -2*f - 13, 0*f - 9 = 5*h - 3*f. Let g = h + 6. Is g composite?
False
Suppose -3*d + 253 = w, -2 = 2*w - 10. Let k = d - -32. Is k prime?
False
Suppose 3 - 1 = k. Let s be 10*k*(-13)/(-4). Let v = s + -34. Is v prime?
True
Let a be (4 - 2) + 1 + 1. Let k(d) = a*d - 7 + 3 + 3 + 4 - 3*d**3. Is k(-2) composite?
False
Suppose 0*t + 2*t = v + 444, -5*t + 1113 = -v. Suppose 288 = 4*y + 3*k, 6*y + 4*k - t = 3*y. Is y composite?
True
Suppose -5*t = -2*m + 55 + 272, 646 = 4*m - 2*t. Is m a composite number?
True
Let s(t) = -24*t**3 + 4*t**2 + 3*t + 1. Is s(-2) prime?
False
Suppose -262 = -3*h + 2*d + 203, -5*h + 3*d = -776. Is h prime?
True
Let v(d) = -8*d + 4. Let u be v(-3). Let q be 10/6 + (-2)/(-6). Suppose q*t = -2*t + u. Is t a prime number?
True
Suppose -5*w = -375 + 25. Let c be (0/(-2))/(6/3). Suppose c*g = -2*g + w. Is g prime?
False
Let c(k) be the third derivative of k**5/60 - k**4/3 - k**3 - 3*k**2. Is c(-5) composite?
False
Suppose 5*c + 2*q = -q + 8795, -c + 1759 = -q. Is c a composite number?
False
Let g(v) = -v**3 + 12*v**2 + 3*v - 10. Is g(12) composite?
True
Suppose -47*c = -45*c - 606. Is c prime?
False
Suppose -641 + 101 = -4*c - 3*n, -2*c + 270 = 2*n. Suppose -r + 2*k + k = -41, -3*k - c = -3*r. Is r prime?
True
Let c = -21 - -36. Let h = c + -5. Is h composite?
True
Suppose 2*v + 7 = 165. Suppose -v = -m + 12. Is m a prime number?
False
Is (-870)/12*(-6)/5 a prime number?
False
Let p be (9/(-6))/(2/(-52)). Is 7911/p + (-4)/(-26) a prime number?
False
Let n(u) = -u**3 + 12*u**2 + 18*u - 15. Is n(12) a composite number?
True
Let g be (0 + -1)/((-5)/10). Suppose 146 = g*a - 138. Let s = 225 - a. Is s a prime number?
True
Suppose 4*u - 1649 = 3*u. Is u a composite number?
True
Let x = 20 + -11. Is 2/((-6)/x) + 294 a composite number?
True
Suppose 4*l = -c + 16, 2*c = c + 5*l - 29. Is c/(-1) + 1035/9 a prime number?
False
Let j(g) = 36*g**2 - g. Is j(-1) a prime number?
True
Let f(r) = -99*r + 16. Is f(-9) a composite number?
False
Is 2/(-6) - 202/(-3) a composite number?
False
Is ((-9056)/12 + 2)*(-30)/4 prime?
False
Is (201/(-4))/(6/(-16)) a composite number?
True
Suppose d + 11 - 54 = 2*q, 4*d = -q + 217. Is d a composite number?
False
Let s = 0 + 5. Suppose -6 = -s*r - 1. Is -3 + 1/r - -49 a composite number?
False
Let f = 2785 - 582. Is f a prime number?
True
Suppose 0 = 2*l - 52 - 846. Is l a prime number?
True
Suppose 5 = 5*s - 5*a, 3*s + 3*a - 3 - 12 = 0. Suppose 0 = 7*u - s*u - 44. Is u a prime number?
True
Let n = -2 + 6. Is 355/4 + 1/n a prime number?
True
Is (-2)/(-6) + (-7616)/(-48) prime?
Fal