er?
True
Suppose -26*l = -20*l + 42. Let i(a) = 0 + 5*a**2 + 2*a - 7*a - 2*a - 1. Is i(l) a prime number?
True
Let a(f) = -28354*f + 9499. Is a(-6) a prime number?
True
Let m be ((-4)/10 - 2157813/105) + 6. Let k = m + 38012. Is k composite?
False
Let w be -4 - (24/((-20)/(-5)) - 0). Is 1243/(((-15)/w)/(3/2)) prime?
False
Let x be -9 + (8 - -6830) + (-5 - -1). Let f(b) = -29*b**3 + b**2 - b + 7. Let o be f(-5). Let q = x - o. Is q composite?
False
Let x(r) = r**3 + 4*r**2 + r - 4. Let u be x(-3). Suppose u = 5*c + s, -2*s - 5 = -4*c - 9. Suppose c = 2*n - 2, z + 0*n = 5*n + 2390. Is z a composite number?
True
Let g(u) = u**3 + 3*u**2 - 3*u - 4. Let c be g(-3). Let a = 184 + -105. Suppose 0 = 4*i + l - 1513 - a, 0 = 2*i - c*l - 774. Is i prime?
True
Let g be ((-27)/12)/9 + (-33538)/(-8). Suppose -5*q + 3778 = -g. Is q prime?
False
Suppose -185*o + 3324948 = -27067. Is o a composite number?
False
Suppose -1080718 = -70*s - 405428. Is s a composite number?
True
Let t(g) = -g. Let q(o) = -o. Let x(l) = -2*q(l) + 3*t(l). Let i(m) = 47*m**2 + 5*m + 2. Let y(r) = i(r) + 3*x(r). Is y(-3) a prime number?
True
Suppose -18*z + 20*z = -17610. Let o = -2066 - z. Is o a composite number?
True
Let z be 1*((-2)/(-2) + 0/3). Let k be (4 - 3)/z - -1. Suppose -4*l + 612 = 4*y, k*y - 6*l + 2*l - 336 = 0. Is y prime?
False
Let i = -108 - -113. Suppose 0 = t - i*h + 20, 0 = -5*h + 10 + 10. Let q(v) = 2*v**2 - 2*v + 139. Is q(t) prime?
True
Let l(z) = -2*z**2 - 17*z - 25. Let d be l(-6). Let x(r) = -69*r + d + 23 + 6. Is x(-16) composite?
True
Suppose 0 = 4*i - 0*i - 0*i. Let n be (-5)/(-1)*(24/(-15) + i). Is (139/n*2)/(1/(-4)) composite?
False
Suppose 2791799 - 22870130 = -91*o. Is o composite?
True
Let g = 52 + -52. Suppose -9*n + 32 + 4 = g. Is (n/5)/(10/175) composite?
True
Let p(v) = -16*v + 296. Let w be p(18). Suppose w*x - 15856 - 2472 = 0. Is x prime?
False
Is -8 + (15 - 25) + 8459 a composite number?
True
Suppose -5*s - 104 = 2*r + 2*r, 4*s + 76 = 4*r. Let u be (-4)/(-36) + s/18. Is u/((-3)/2*(-6)/(-1719)) a prime number?
True
Let n = 35 + -31. Suppose -2*q + n*q + 276 = 2*v, -5*q - 270 = -2*v. Suppose -b + v + 119 = 0. Is b a composite number?
True
Is (-49)/(-14)*2088628/14 prime?
True
Suppose 0 = -5*p - w - 4*w + 15685, -4*w - 28298 = -9*p. Is p prime?
False
Let i(q) be the second derivative of -227*q**3/6 + 2*q**2 - 2*q + 119. Suppose -2*o + 4*v - 21 = -v, v = -o. Is i(o) a composite number?
True
Let r = 225886 - -293125. Is r a prime number?
True
Let z(n) = 7*n**2 - n - 45. Suppose 0 = -7*i + i + 24. Suppose 0 = 4*o - i - 44. Is z(o) prime?
False
Suppose -r - 5*g = 3*r - 31, 2*r + g - 11 = 0. Suppose -r*w = k + 373, 0*w + 2*w - 5*k + 159 = 0. Let f = 297 + w. Is f a composite number?
True
Suppose 3*f = s + 11, -3*s + 2*f - 26 = -0*s. Let o(d) = d**2 + 8*d - 14. Let w be o(s). Is w/21*(-762)/4 composite?
False
Let n = 99076 - -45303. Is n a composite number?
False
Suppose 0 = -v - 3*p + 1776845, 1094*v + 3553650 = 1096*v + p. Is v prime?
True
Let u be -4 + 1 + 4 - 62. Let f be u + 79 + 2*(0 - -1). Suppose f*z - 1790 = 18*z. Is z composite?
True
Let o(z) = -128*z + 9. Suppose 10*l + 16 + 14 = 0. Is o(l) a composite number?
True
Let o be (-9)/(-36) - (2 + 87/(-4)). Is o/(-8) + (-14294)/(-4) a composite number?
False
Suppose 4*c + t = 484487, 0 = -t - 2 - 3. Is c prime?
True
Suppose -x = 771 - 18038. Suppose -9*s + x = -2776. Is s composite?
True
Let h = -14713 + 91700. Is h prime?
False
Let s be ((-54)/6 - -6) + 439. Suppose -f - 1709 - 8647 = -3*u, 0 = 5*f - 15. Let v = s + u. Is v a composite number?
False
Suppose 4*v + 4*p = -31972, -v + 5*p = 3*v + 31990. Let w = -4772 - v. Is w a composite number?
True
Let w = 2347 + -1360. Let m = w + 2656. Is m prime?
True
Suppose -769776 - 18472 = -8*i. Is i composite?
True
Let q = -11942 + -1542. Is (q/(-16))/((-12)/(-48)) composite?
False
Let y(q) = q**3 - 24*q**2 - 19*q + 143. Let c be y(18). Let m be (-1161 - 1) + -2 - 2. Let d = m - c. Is d a prime number?
True
Suppose -33*x - 270 = -63*x. Suppose -15736 - 23207 = -x*n. Is n a prime number?
True
Let w be 12/(-15) + 573923/35. Suppose 21576 = 13*v - w. Is v a prime number?
False
Let r(t) = 11148*t + 11209. Is r(25) composite?
True
Is (-114)/1767 - (-5130566)/62 prime?
False
Let n(t) = 19*t**2 - 28*t - 76. Let a(u) = -2*u - 49. Let z be a(-14). Is n(z) prime?
False
Let k be ((-105)/(-14))/(1/((-12)/9)). Let x(q) = -q**2 + 1. Let t(i) = -23*i**2 + 4*i + 3. Let o(c) = -t(c) - 6*x(c). Is o(k) prime?
False
Let t(c) = -3*c - 26. Let f be t(-10). Let g be f/26 - (-4)/182*-7. Suppose 4*l + 53 = w, -3*w + g*w = -l - 115. Is w a composite number?
False
Suppose -9*f + 431560 = -19511. Is f composite?
False
Let k be 50/30*24/2. Let c be k/(-12) + 2 + (-3)/9. Suppose 3*j - 6*j + 381 = c. Is j a composite number?
False
Suppose k - 2 = -a + 8, -2*a - k = -25. Suppose a*d - 13*d = 1822. Is d a composite number?
False
Let x(l) be the first derivative of 7*l**3/3 + 7*l**2/2 + 11*l - 2. Suppose 26*w - 3*j = 21*w - 49, 2*w = -4*j - 30. Is x(w) a prime number?
False
Suppose 43020 = 4*f - 4*i, 9*f = 6*f - 2*i + 32240. Suppose 835 = 7*n - f. Is n a prime number?
False
Let h = -79 - -82. Suppose -h*k - 3080 = -2*u, -2*u + 3064 = -0*u + k. Suppose 0 = 4*n - 2*n - u. Is n prime?
False
Suppose -9*u + 216297 = 65736. Is u a prime number?
True
Let u(r) = 13*r**3 + r**2 - 3*r + 3. Let m be u(1). Is 32/(-28) - (-252590)/m a composite number?
False
Let c(n) be the third derivative of n**5/60 - n**4/4 + 5*n**3/3 + 32*n**2. Let p be c(4). Suppose -u = p*g - 529, -7*g = 5*u - 3*g - 2663. Is u a prime number?
False
Is ((-3)/21)/(23/(-46434493)) composite?
False
Is ((-3592479)/(-6) + 0)*(-24)/(-10 + -2) a prime number?
False
Suppose 0 = 3*t + r + 274855 - 892378, 4*r + 24 = 0. Is t a composite number?
True
Suppose -9*q + 15*q = 372. Let f = 65 - q. Is f/2*1774/(-6)*-2 composite?
False
Let y be (-7 + -28)*-1*2053. Is (6/15)/(646709/y - 9) composite?
False
Let d(i) = i**3 - 2*i**2 + 6*i - 24. Let h be d(3). Suppose l = -h*f + 9117, -5*l + 9117 = 3*f - 6*l. Is f composite?
True
Let k = -27 - -30. Suppose k*y + 561 = -3*a, -a = 2*y - 0*a + 378. Let o = y - -270. Is o composite?
False
Let m(i) = -1422*i - 1279. Is m(-30) composite?
False
Let v be -21*1084/(-12)*1. Let o = -614 + v. Is o composite?
False
Let j be 7/(-7) - (0 - -45). Let i = j + 49. Suppose -206 = i*t - 743. Is t prime?
True
Let i = 30042 - 10384. Is i a prime number?
False
Suppose -46*x = -47*x - 27. Let k(w) = w**3 + 35*w**2 + 13*w + 8. Is k(x) prime?
False
Let l be (9/2)/((-15)/(-20)). Suppose -2*y + l*y - 12 = 0. Suppose 4*p - 23 = -y*m + 56, p - 23 = -4*m. Is p prime?
True
Let p(c) = 1452*c - 59. Let i be p(7). Suppose 13238 = 2*l + 5*k, 3*l - 4*k - i = 9729. Is l prime?
False
Suppose -2*j - 11776 = 2*j. Let a(c) = 7*c**3 + 23*c**2 + 2*c - 25. Let x be a(-10). Let s = j - x. Is s a prime number?
True
Let k(r) = -57*r - 5. Suppose -4*m + 6*m = 0. Suppose 5*d + j = -m*d - 10, -d + 4*j - 2 = 0. Is k(d) a prime number?
True
Let u(m) be the second derivative of 483*m**5/10 + m**4/6 + m**3/2 - 2*m**2 + 13*m. Let s = -40 - -41. Is u(s) prime?
True
Let t = 25263 - 37710. Is (11/(66/(-172)))/(18/t) a composite number?
True
Let h(j) = -j**3 + 8*j**2 + 8*j + 5. Let c be h(9). Is c/(-22) - (-175338)/374 a composite number?
True
Let k be 14/10 - 22952/(-95). Suppose -k*h - 9441 = -252*h. Is h prime?
True
Let p(m) = 302*m + 205. Suppose 34*q + 0*q - 714 = 0. Is p(q) a composite number?
False
Let x(n) = 78 - 42*n + 94*n**2 - 15*n + 12*n. Is x(17) prime?
True
Let l(n) = n**3 - 102*n**2 + n + 195863. Is l(0) a composite number?
False
Suppose -3*n = -2*n + c - 7, -5*c = -2*n + 28. Let u(q) = 2*q**2 - 16*q - 20. Let h be u(n). Is ((-1)/3)/(h/14466) a prime number?
True
Let n = -91414 + 158291. Is n prime?
True
Is -1*5*22/110*-121967 a prime number?
True
Suppose -3*d = -348*d - 23*d + 617528656. Is d prime?
True
Suppose 3*r - 449 = 3*w + 565, 0 = -4*r + 16. Suppose -3*l + 36 = 9*l. Is ((-7)/(14/l))/(1/w) a prime number?
False
Suppose 5*n + 9*n = 78736. Suppose -5*o + 13*o - n = 0. Is o a prime number?
False
Let f = 208 + 280. Suppose 0 = 4*u + 1208 + f. Let x = 1967 + u. Is x a prime number?
True
Let h be 2/6*(-11 + -1). Let p(d) = -371*d**3 - 2*