er?
True
Suppose -u = -2*u - 5. Let k be (0 + u)/(1/74). Let b = 519 + k. Is b a prime number?
True
Suppose -5*i = -2*g - 18, 4*g + 2 = -4*i - 6. Suppose -5*b = 4*a - 2109, -3*a + 1573 = -i*b - 3*b. Is a prime?
False
Let g = -1588 + 2727. Is g a composite number?
True
Suppose 4*i + 4*b + 11 = -9, 0 = 4*i + b + 11. Let m be 17*11/i*-4. Let s = -159 + m. Is s composite?
True
Let s(k) = 11*k**2 + 16*k + 12. Let u be s(12). Suppose -i - u = -5*i. Is i a prime number?
False
Suppose 7*x - 363806 = 109989. Is x composite?
True
Let c(v) = -3*v - 7 - 2*v + v**3 + 2*v**2 - 7*v**2. Let a be c(9). Suppose -a + 10 = -2*j. Is j a composite number?
False
Suppose -4*h + 3*i + 4477 = 0, 5570 = 5*h + 3*i + 2*i. Is h a composite number?
False
Let z(n) = 8*n**2 - 22*n + 3. Is z(-11) prime?
True
Let b = -13455 - -18926. Is b composite?
False
Is 5/((-10)/19417)*-2 a prime number?
True
Is 2/(-9) + (-4437638)/(-522) composite?
False
Let f(x) = 230*x**2 + 5*x + 2. Let a be f(4). Suppose 7*b - 4*b = a. Is b a composite number?
True
Let g(u) = -u**2 + 15 + 0*u + 4*u - 17. Let h be g(2). Suppose k + v = -v + 85, -5*v = -h*k + 143. Is k prime?
True
Let c(v) = -4*v**3 - 5*v**2 - 11*v - 2. Let i(d) = 3*d**3 + 5*d**2 + 10*d + 2. Let q(j) = 4*c(j) + 5*i(j). Let k be q(6). Suppose -o + 213 = k*o. Is o prime?
True
Suppose 4*h = 5*h. Suppose h*l + 5*l = 0. Suppose -4*d + d + 489 = l. Is d a prime number?
True
Let p(r) = -r**3 - 8*r**2 + 8*r - 7. Let m be p(-9). Suppose j = m*w - 13, -w - j + 3 = w. Suppose 3*n = 6, w*y = -y + 3*n + 389. Is y prime?
True
Suppose 2*r - z + 26 = -5*z, 4*r - 3*z = -8. Let j = 7 + r. Suppose -j*a = 4*g - 116 + 26, -2*a + 4*g + 50 = 0. Is a prime?
False
Suppose 145*z - 146*z = 21. Is 3/(-3 + z) - (-1609)/8 prime?
False
Suppose -380575 = -69*o + 4*o. Is o a prime number?
False
Let x = -666 + 1014. Is (x/(-36))/((-1)/33) a prime number?
False
Let q = 35398 - 14525. Is q composite?
False
Let g be (0 + (-330)/8)*(-320)/120. Let z = -52 + g. Is z prime?
False
Let j be (8 + -2 + -3 + 2)/1. Suppose -j*a - 4*r = -14417, 4*a + 3*r - 15538 + 4004 = 0. Is a a prime number?
False
Suppose 116 = v - 5*y - 318, 5*v + 3*y - 2114 = 0. Let x = 687 - v. Is x composite?
False
Let v(n) = 23533*n - 18. Is v(1) a prime number?
False
Let y(f) = -2*f - 11. Let t(l) = 2*l + 12. Let j(h) = -5*t(h) - 6*y(h). Let m be j(-3). Suppose 3*s + 4*z - 91 = m, 0*s + 128 = 4*s + 2*z. Is s a prime number?
False
Let x be 7 + -2*(-25)/(-10). Suppose 0*a + 758 = 4*a + 2*v, -10 = -x*v. Is a a prime number?
False
Let l(o) = -o**2 + 10 + 6*o - 17 + 8. Let v be l(6). Is v*(-2)/4*-222 prime?
False
Suppose -3*x = -7*x - j + 14, 2*x = -3*j + 2. Suppose -3*m = 2*h - 412, -x*h - m = 110 - 944. Is h prime?
False
Let b be (-7 - -5)/2*-2206. Suppose -5*c + 7*c - b = 0. Is c prime?
True
Let r be (42/5)/(6/20). Let n = -30 + 35. Suppose -n*g = -g - r. Is g composite?
False
Let g(r) = r**3 - 7*r**2 - 4*r + 14. Let i be g(10). Let z(n) = -3*n + 1. Let c be z(-1). Suppose c*s - 70 = i. Is s composite?
True
Suppose 0 = -4*q + 1 + 7. Suppose -5*t = -2*s - 9, -4*s + 2*s = -q*t. Suppose s*d - 2*d = 19. Is d a composite number?
False
Suppose 7734 = 5*l - l - 10*r, 5*l + 4*r - 9651 = 0. Is l composite?
False
Suppose -3*f + 33233 = -4*n, 9*f - 5*n + 22117 = 11*f. Is f prime?
True
Let o = -13 - -14. Let h be (3/(-6))/(o/(-4)). Suppose -2*l + 32 = w - 55, -3*w - h*l = -281. Is w prime?
True
Suppose y + 10 = 9, -2*s = 5*y - 13717. Is s a composite number?
True
Let y(b) = 5*b**3 + 2*b**2 + 4*b + 3. Let f be y(-3). Let a = f - -271. Is a a prime number?
False
Suppose 3*l = 2*h - 4*h + 145, h + 5*l = 83. Suppose 2*z + 2*z + 92 = 5*w, 3*w + 4*z = h. Suppose -4*i = -2*i - w. Is i composite?
True
Let v(f) = -f**2 + 9*f - 9. Let q be v(7). Suppose -2*n - 3*k = 3, 5*n - 5*k + 0 - q = 0. Suppose -p + 930 - 41 = n. Is p composite?
True
Is (-5 + 2)*(-9 + 137500/(-15)) a composite number?
False
Suppose -5*c + c + 9504 = 5*x, x = 4. Is c a prime number?
True
Suppose -4*s = -4*r - 8*s + 5468, 2*s = r - 1367. Is r a prime number?
True
Suppose 2*d + 5*p - 12 = 1, 0 = d - 2*p - 2. Suppose n = -2*q + 2723, 0 = -5*n + 9 - d. Is q composite?
False
Let f(i) = 1473*i - 4. Is f(3) a composite number?
True
Let k be (-1)/((2/(-4))/(8/4)). Is ((-23)/k*-2)/(11/682) a composite number?
True
Let p(n) = -30*n**2 - 11*n + 17*n**2 - 7 + 12*n**2. Suppose -i - 30 = 2*i. Is p(i) composite?
False
Let g = -14 - -95. Let n = -43 + g. Is n composite?
True
Let t = 10 + -12. Let y be (497 + -3)/(-3 - t). Let x = y - -787. Is x prime?
True
Let i be (-13 - -13)*(0 - 1). Let f = -458 - -1505. Suppose i = -5*s + f - 112. Is s prime?
False
Let q = 5882 + 849. Is q a prime number?
False
Let s(d) = 10*d - 66. Let n be s(7). Suppose -3*a + 1431 = n*q, -209 - 267 = -a - q. Is a composite?
True
Suppose -3*p = -0*p - 4*x + 18, -2*x = -p - 6. Let k be -6*(-3 - (-50)/p). Let l = 145 - k. Is l composite?
True
Let x(m) = m**3 + 3*m**2 - m - 1. Let k be x(-4). Let q = 15 + k. Suppose 4*g = 4*l - 158 - 454, -q*l + 5*g = -318. Is l composite?
False
Let m(t) = 12*t**2 + 3*t - 71. Is m(-8) prime?
True
Let q(g) = 103*g**2 + 3. Let n(j) = -2*j**2 - 3*j. Let z be n(-2). Is q(z) composite?
True
Is (-1768478)/(-145)*5/2 composite?
False
Let c be 1*-9*(13 - 18). Let z be (-3)/5*c/(-3). Is 3/9 - (-3336)/z prime?
False
Let h(t) = 5*t**2 + 42*t + 22. Is h(15) composite?
False
Suppose 0 = 349*b - 347*b - 20074. Is b prime?
True
Suppose -y = y + 3*i - 2, 4*y + 5*i - 6 = 0. Let h(x) = 18*x**2 + 5. Is h(y) a composite number?
False
Let c(j) = 16*j**2 + 20*j - 69. Is c(5) a composite number?
False
Suppose -6 = 10*v - 11*v. Let s = v + -1. Suppose 265 = 5*n - s*g, -2*g + 191 = 3*n + 7. Is n a composite number?
True
Is (-6*14390/(-60))/((-2)/(-2)) a prime number?
True
Let q(o) = 81*o**3 + 5*o**2 - 29*o + 71. Is q(10) a prime number?
True
Suppose -6 = z - 1. Let q(w) be the second derivative of w**4/12 - 7*w**3/6 - 7*w**2/2 - 14*w. Is q(z) composite?
False
Suppose q - 14 = 23. Let f = q + -43. Is (-1165)/f + (-6)/36 a prime number?
False
Let s be ((-34)/17)/(4/(-18)). Suppose -2 = 7*y - s*y. Let z(n) = 312*n**3 - n**2 - n + 1. Is z(y) a composite number?
False
Let r(m) = m + 2. Let c be r(3). Suppose 3*o - 784 = -c*v + 2598, o - 1353 = -2*v. Is v prime?
True
Let b(k) = -17*k**3 + 18*k**2 + 6*k - 29. Is b(-12) a prime number?
False
Suppose -v + 197 = 4*x - 7*x, -20 = -4*x. Suppose -7*r - 24 = -13*r. Suppose -3*s + v - 9 = -2*d, r*d - 20 = 0. Is s composite?
False
Suppose 14*s = -24*s + 81814. Is s prime?
True
Suppose b - 3*b = 34. Let w = -27 - b. Is 11 + w - (-787 - -1) a composite number?
False
Suppose 4*z + 5*q + 21 = 0, 4*z + 4*q + 13 = -3. Let o(y) = 1800*y**3 - y**2 - y + 1. Is o(z) prime?
False
Let m(p) be the first derivative of -111*p**2/2 + 13*p - 9. Is m(-4) a prime number?
True
Let f = -16 - -21. Suppose -z + 5*y = -6 - 91, 0 = f*z + 4*y - 485. Is z composite?
False
Is -4*(-9)/(-6) + 6349 composite?
False
Let x(o) = 86*o**3 - 2*o**2 + 2*o - 1. Let d be 1/2 + (-11)/(-2). Suppose -d*a + 1 = -5*a. Is x(a) a composite number?
True
Let r = -357 - -1028. Suppose 6*n - r = -3*k + 2*n, 4*n - 20 = 0. Let h = 348 - k. Is h a composite number?
False
Let i(y) be the first derivative of y**3/3 - 13*y**2/2 + 11*y - 6. Let p be i(13). Let k = p - -86. Is k a prime number?
True
Let w(t) = 2*t**3 - 12*t**2 + 3. Let p be w(6). Let m be ((-2)/(-6))/((-2)/(-12)). Suppose 4*l = -p*h + 344, 0*l - m*l = -4*h - 194. Is l a prime number?
True
Let f(l) = -353*l + 3. Let k = -31 + 33. Let g be f(k). Let b = 1190 + g. Is b composite?
False
Is -7 - (201826/(-4) + (-11)/(-22)) a prime number?
False
Let z = 5 + -3. Suppose 94 = 4*h + z. Suppose h = -0*x + x. Is x composite?
False
Suppose -54*a + 660555 = 130869. Is a a prime number?
False
Suppose 2*b - 5314 = -2*u, 3*u + 2*b = b + 7973. Let m = u + -1895. Is m a prime number?
False
Suppose 2*f - 5*i = 49, 5*f + 2*i = 3*i + 88. Is 18/(-153) + 7941/f prime?
True
Let y(s) = s**3 + 12*s**2 - 16*s - 16. Let g be y(-13). Let p be (2 - (-2 + 4))/(-1). Suppose 2*w - 723 - g = p. Is w a composite number?
False
Let u be 3/(4 + -3) + 2 + 495. Let h = u - -131. Is h prime?
True
Let u be 2/(-4)*(1811 + -5). Let n = -528 - u. Let j = 256 + n. Is j a prime number?
True
Let a