er?
False
Let j(a) = -a + 5. Let s be j(4). Let k be (-2)/(-2 - -2 - s). Suppose -147 = -5*y + k*u, -y + 8*u + 11 = 3*u. Is y a prime number?
True
Suppose 9*y - 21 = -r + 4*y, 79 = 5*r - y. Let g = r - -31. Is g composite?
False
Suppose 0 = 3*a - 833 + 74. Is a a prime number?
False
Suppose 2*d = 7*d - 1505. Is d a composite number?
True
Suppose 4*u + 0*u = -704. Let g = u + 303. Is g prime?
True
Let o(d) = d**2 - 3*d + 4. Let i be o(3). Suppose -i*u - 1 = -9. Is (-240)/(-5) + (u - -1) composite?
True
Suppose -z + 4*d + 1662 = z, 3*z = -2*d + 2453. Is z composite?
False
Let s = -7 - -6. Let q be 2 + 0 + 1/s. Is (-1*q)/(2/(-98)) composite?
True
Suppose 2*u = 405 + 269. Is u prime?
True
Let k(q) = q**3 - 3*q**2 - q + 3. Let y be k(3). Suppose -2*n + w + 51 = y, -4*n + n + 70 = 5*w. Is n composite?
True
Suppose h + 4 = 6*h + 2*b, -b = -2*h + 7. Let c be (1 - 3)/(4/(-14)). Let v = c + h. Is v a prime number?
False
Let l = 392 - 193. Is l a composite number?
False
Let d = 158 + 151. Is d a prime number?
False
Let w(f) = -2*f - 1. Let h be w(-1). Is (485/10)/(h/2) prime?
True
Suppose -8*v = -3*v - 405. Let w be (-1*4)/(3/(-39)). Let q = w + v. Is q prime?
False
Let p(r) = r + 158. Let w be p(0). Suppose 0 = 4*q - 42 + w. Let k = q + 64. Is k a composite number?
True
Let f be (-6*7)/(3 - 4). Let o be 4/14 + 72/f. Suppose 34 = 2*u - o*x, 0 = 2*u - 0*x + 4*x - 10. Is u a composite number?
False
Suppose -3*t = -2*t - 3*g + 2, 5*g - 10 = 0. Suppose 0*r - 12 = s - 4*r, -t*s = -4*r. Let v = s - -2. Is v composite?
True
Suppose 3 = 2*o - o. Suppose o*l - 5*l = 2*z - 4, -2*z - 3*l = -7. Is (-1)/z - (-55 - 1) a composite number?
True
Let c(v) be the third derivative of -v**6/120 - v**5/5 - 13*v**4/24 - v**3/2 + 3*v**2. Is c(-11) a composite number?
False
Is (-3)/(-2)*(-28)/(-6) composite?
False
Let w be (6/4 - -2)*-10. Let r = 58 + w. Is r composite?
False
Suppose -4*t + 3 + 0 = -3*y, -4*y - 35 = 5*t. Is 31*y/(-2)*2 a prime number?
False
Let c = -5 + -2. Let o(v) = v**3 + 9*v**2 + 2*v + 7. Is o(c) a prime number?
False
Let s(l) = l + 6. Let b be s(-4). Suppose -3*h + 67 = -0*h - 4*v, b*h = -3*v + 56. Suppose 3*o - 100 = -h. Is o prime?
False
Let v(i) = 374*i**2 - 4*i - 5. Is v(-2) a prime number?
True
Let v = 7 + -4. Suppose v*i - 231 = 2*i - 2*s, 3*s = 4*i - 880. Is i a prime number?
True
Let s(j) = 6*j**3 + 3*j - 8. Let n(i) = i + 3. Let p be n(3). Let k be s(p). Suppose -3*c + k = 529. Is c a prime number?
False
Suppose -n - 3*n + 3*p + 47 = 0, 0 = -3*n + 4*p + 44. Suppose 5*g = 3*r + 40 - 323, n = -4*g. Is r prime?
False
Let k(h) = 40*h**2 + 41. Is k(-6) prime?
True
Suppose 0*c - a = 5*c - 2914, 1 = -a. Is c a prime number?
False
Suppose -2*j - 80 = -6*j. Let q = 239 + j. Is q composite?
True
Let a = 665 - 6. Is a a prime number?
True
Let m be 2/(-4)*32/2. Let a be (-164)/m + (-2)/(-4). Is ((-28)/12)/((-1)/a) a prime number?
False
Let s(o) = o**2 + 5*o + 5. Let h be s(-6). Let y(w) = 14*w + 7. Is y(h) a prime number?
False
Let x(m) = -30*m**2 + 3*m - 2. Let o be x(2). Let r = 39 - o. Is r a prime number?
False
Let r(s) = 8*s**2 + s - 2. Let n = 1 + -4. Is r(n) composite?
False
Suppose 4 = -u + 6. Let y(c) = 8*c**2 + 0*c**u + c**3 - 3*c**2 - 8*c + 7 + 2*c. Is y(-5) a composite number?
False
Suppose 7 - 3 = q. Suppose 4*v + 268 = 4*d, -q*v - 1 = 7. Is d prime?
False
Let d(a) = -a**3 + 18*a**2 - 3*a + 11. Is d(12) a prime number?
True
Let g = 5 - -54. Is g prime?
True
Let j = 17 + -24. Let k = j + 12. Suppose -4*p + 101 = -a, k*a = -0*a + 15. Is p a composite number?
True
Suppose -361 = -5*w - 4*u, u + 353 = 5*w + 3*u. Is w a prime number?
False
Is (-19 + 6)/(1/(-5)) prime?
False
Let o(t) = -139*t**3 - t - 1. Suppose -10 = -5*f - 35, -s + 5*f + 24 = 0. Is o(s) a composite number?
False
Let i = 9 - 5. Suppose o - 4*k = 5*o - 80, -2*o = i*k - 36. Is -1 + (1 - 1) + o a composite number?
True
Suppose -2*z + 3*h + 22 = 0, -5*z + 107 - 33 = 2*h. Let s be 23/(-7) - (-4)/z. Let l(c) = -c**2 - 4*c - 1. Is l(s) a composite number?
False
Let u = -11 + 23. Let h(d) = 24*d - 17. Let n be h(8). Is n/(-10)*u/(-10) a prime number?
False
Suppose -2*f + 5 + 5 = 0. Suppose 2*l + 13 = j, 0 = -f*l + 2*j - 31 - 1. Let u(n) = -11*n - 7. Is u(l) composite?
False
Suppose -2*s - 206 = 3*n + 3*s, 0 = 2*n + 4*s + 136. Let u = n - -124. Suppose 2*t = u + 22. Is t composite?
False
Let v(m) = -m - 1. Suppose 2 = -4*b + 5*b - 3*i, 5*b = 4*i - 23. Let s be v(b). Suppose -a - s = -3*a. Is a prime?
True
Let k(a) = 1400*a**3 - 2*a**2 + 3*a - 2. Is k(1) composite?
False
Let a(t) = t**3 - 7*t**2 - 9*t + 11. Let j be a(8). Suppose 5*h = -3*x + 61, -5*x = -2*h + j*h - 21. Let y = h - -11. Is y prime?
False
Suppose -3*u + 2*u + 4*k + 6 = 0, 2*k = 6. Suppose -t - 4*s = -8*s - 23, t - 3*s = u. Suppose 22 = 2*m + y, -t*m = -8*m - y + 55. Is m a prime number?
True
Is (206/4)/((-6)/(-60)) a composite number?
True
Let r(g) = g**3 + 9*g**2 - g - 9. Let j be r(-9). Suppose -4*b + 0*b + 1956 = j. Is b composite?
True
Is (6/(-10)*1)/((-13)/49205) a composite number?
True
Let y = -7 - 2. Let i = -14 + y. Let a = i + 76. Is a a prime number?
True
Let v(b) = -b**2 + 10*b - 5. Let k = 13 + -4. Let l be v(k). Is (-28)/(-2)*82/l a prime number?
False
Is 4*(3940/(-8))/(-5) composite?
True
Let y = 213 + -428. Let q = 282 - y. Is q a composite number?
True
Suppose 271 = x - 3*s - 163, -4*s = x - 399. Is x a prime number?
True
Let q(y) = 2*y**2 + 2*y - 2. Let x be q(-2). Suppose x*l - 6 = -l. Let w = 7 + l. Is w a prime number?
False
Suppose 2*u - 1002 = -2*o, 0 = 4*o - 3*o - 2*u - 489. Is o a composite number?
True
Suppose 5*f - 683 - 642 = 0. Is f a composite number?
True
Suppose -2*w + 3 = -w. Suppose w*i - 5*i + 133 = o, 393 = 3*o + 4*i. Is o prime?
True
Suppose t - 82 + 19 = 0. Let h = t - -10. Let m = h + -4. Is m a composite number?
True
Let s be 609/3 - 0/2. Let g = s - 143. Let z = -34 + g. Is z prime?
False
Let l be 2610/(-63) + (-6)/(-14). Let g = 54 - l. Is g prime?
False
Let u(n) = -4*n - 1. Let j = 6 + -6. Let d = -2 - j. Is u(d) composite?
False
Let k(b) be the third derivative of b**6/120 + b**5/30 - 5*b**4/24 - b**3/2 + b**2. Let g be 3*(0 - (2 + -1)). Is k(g) prime?
True
Let d = 40 + -28. Is 2440/d - 1/3 prime?
False
Suppose -8*q + 17224 = -0*q. Is q composite?
False
Suppose -r + 2*r = -3. Is 12 - (r/(-3) - -1) composite?
True
Let y(f) = -2*f**3 - 6*f**2 - 26*f + 23. Is y(-12) composite?
False
Let p = 1387 - 654. Is p composite?
False
Let m = -4 + 55. Is m prime?
False
Suppose 0 = -2*c - 10, -3*j + 12 + 19 = -5*c. Let q(u) = -1 - u**3 - 3*u**j + 4*u + u + 2. Is q(-6) prime?
True
Let c be 2 - 22/(1*-2). Suppose -a = 3*w - c, -5*a - 2*w + 55 = 3*w. Is a prime?
False
Suppose 2*x + 4*n = -2*x - 48, 3*n - 92 = 5*x. Suppose 3 = 3*h, -v + 3*h - 4 = -66. Let w = x + v. Is w a composite number?
True
Let k(w) = 2*w**2 + 3*w + 1. Let s be k(-2). Suppose -2*r = 0, -4*b - s*r = -2*b - 618. Let m = b + -190. Is m a composite number?
True
Let z be 20/(-12) + 1/(-3). Is z - -631 - 4/(-2) a composite number?
False
Suppose -2*y - 29 - 21 = -4*c, 4*y - 4*c + 104 = 0. Let j = -1 + y. Let g = -19 - j. Is g composite?
True
Let k = 2557 + -1470. Is k prime?
True
Suppose -5*y - 2 = -22. Suppose -y*k = -k - 795. Is k composite?
True
Let u(q) = -q**2 - 5*q + 2. Let j be u(-4). Suppose 0 = -j*t + 11*t - 1435. Is t a composite number?
True
Let k(u) = -96*u + 38. Is k(-6) a composite number?
True
Let q(u) = u**2 - 3*u + 1. Suppose -2*d = 4*l - l - 26, 2*l = -5*d + 43. Let c be q(d). Suppose 5*x - c = 96. Is x prime?
False
Suppose -r = r - 2. Let q(u) = 12*u + 1. Let c be q(r). Let g = c - -6. Is g composite?
False
Let j(x) = -x**2 - x + 6. Let q be j(0). Suppose 3*c + q*u = u - 15, -2*u = -3*c + 6. Suppose c*g - 5*g = -485. Is g prime?
True
Suppose 0 = 4*w - 3*w - 179. Is w composite?
False
Let d be ((-1)/1)/(3/(-21)). Let z(f) = 3*f**2 + 2*f + 2. Is z(d) prime?
True
Suppose -4*x + 12*x - 7672 = 0. Is x a composite number?
True
Let a(n) = -5 + 3*n - 1 + 1 + 2. Let f be a(-3). Let s = 18 + f. Is s a prime number?
False
Let c(a) = 1473*a + 7. Is c(2) prime?
True
Suppose 2*r - m - 517 = 0, -5*r + 291 = 3*m - 974. Suppose -2*t + 2*z = -140, -4*t - z - 3*z + r = 0. Is t prime?
True
Suppose -4*q + 4 - 44 = 0. Let d(i) = 2*i - 24.