 number?
True
Suppose i + 1183 = -f, 5*i + 2554 = 5*f - 3361. Is i/(-63) + (-2)/(-9) prime?
True
Is (-8 - (-313445)/35) + (-4)/7 composite?
True
Let b = 3643 + -803. Is (-2)/(2 - b/1418) prime?
True
Let p = 30344 + -13926. Is p a prime number?
False
Suppose 3*c - 2*c + 4*j = 890, 12 = 4*j. Is c prime?
False
Let g = 1041 + 473. Is g composite?
True
Let k = -14 + 14. Suppose -i + 2 + 1 = k. Suppose -5*u - 2*d + 88 = -69, 5*d + 119 = i*u. Is u a composite number?
True
Suppose 5*n + 5516 = 6*n - 3*d, 3*n - 4*d - 16523 = 0. Is n a composite number?
False
Suppose -2*a = 2*v + 3990, -3*a + 873 = 5*v + 6850. Let m = 3080 + a. Is m a composite number?
True
Suppose -i + 19 - 148 = 0. Let o = i + 228. Is (9 + 1)*o/18 prime?
False
Let c(b) = -b - 6. Let z be c(-8). Suppose 2*y = 4*i + 18, z*i - 1 - 8 = -5*y. Suppose 3*v + 3*g = 543, -2*g + 5 = -y. Is v composite?
True
Let u(h) = 6*h**2 + 2*h + 19 + 17*h**2 + h**2. Is u(6) composite?
True
Suppose 12*q = 15*q - 6873. Is q composite?
True
Let b(m) = -1525*m - 22. Is b(-17) a prime number?
True
Suppose 3*i + 4*m = -m + 69561, 4*i + 4*m - 92748 = 0. Let j = i + -15464. Is j a composite number?
False
Let f(m) = m**2 - 6*m + 6. Let x be f(4). Let q(s) = 31*s**2 + 9*s - 23*s + 5*s + 1 + 11*s. Is q(x) prime?
False
Let i(z) = -z**3 + 12*z**2 + 2. Let g be i(12). Suppose v = g*v. Suppose -5*f + 8 = -f, 2*j + 3*f - 228 = v. Is j a composite number?
True
Suppose 7*s = 2*s + 65. Let w = s + -18. Is (-114)/w*(-10)/(-4) composite?
True
Suppose f - 6*f = 0. Suppose -m = -3*x + 343, f = -x + 2*m + m + 109. Is x a prime number?
False
Suppose 0*j - 14632 = -5*i + 2*j, 0 = 2*i + 5*j - 5847. Let y = i + -1367. Is y composite?
False
Let u = -17681 + 27132. Is u a composite number?
True
Suppose 0 = 3*v + 197 - 611. Is ((-176)/(-24))/(4/v) composite?
True
Let x be 6/(-9) + 32/12. Suppose x*w = -3*l - 3, -w + 6 = -4*w - 5*l. Suppose 0 = 8*i - w*i - 395. Is i composite?
False
Let z be 13 + -9 - (1 - -1). Suppose -z*k + 3*k = -3. Is (669/k)/((-3)/3) a prime number?
True
Let p be 12/(-9) + 4/3. Suppose 5*q + q = p. Suppose q*x - 1099 = -x. Is x prime?
False
Let b be 5*(0 - 7/(-5)). Suppose -4*l + b*l = 72. Suppose x + l - 70 = 0. Is x prime?
False
Let d(c) = 2*c + 7. Let f be d(-2). Let a(k) = 60*k**2 - 8*k - 2. Is a(f) composite?
True
Suppose -t = -3*t + 3970. Is t composite?
True
Let z(a) be the second derivative of 1411*a**3/6 + a**2/2 + 5*a. Let q be z(1). Suppose -3*y + q = t - 6*t, y + 3*t - 466 = 0. Is y composite?
True
Let r(n) = -n**2 - 5*n + 3. Let f = -25 - -20. Let j be r(f). Suppose q - 450 = -j*m, 0 = -2*m - m - 5*q + 462. Is m a composite number?
False
Is (4 + 15172/(-16))*8/(-6) a prime number?
True
Let c(g) be the third derivative of -g**6/60 - 7*g**5/60 + g**4/24 + 7*g**3/6 - 16*g**2. Is c(-6) a composite number?
False
Let n be ((-23)/4)/(-1 - (-12)/16). Is -75*(0 - n) - 4 a composite number?
False
Suppose 5*p = -4*n + 75, 42 = 2*p - 0*p + 4*n. Suppose -3086 = 9*h - p*h. Is h prime?
True
Let j = 482 + -195. Let q = j - -92. Is q prime?
True
Suppose -341 = -5*g - 1081. Is (-1)/(0 - (-4)/g) a composite number?
False
Suppose 5*d - 676 - 234 = 0. Suppose 2*o - d = -54. Let q = -27 + o. Is q prime?
True
Let g = 14 + -4. Suppose 3*b - 17 = g. Suppose 485 = b*p - 4*p. Is p prime?
True
Let s(z) = -350*z - 41. Is s(-9) a prime number?
True
Suppose 4*j + 3*h - 137285 = 0, 3*h = 4*j - 129329 - 7938. Is j prime?
True
Suppose -75*o + 1022351 + 810874 = 0. Is o a prime number?
True
Let s(n) = -n**2 - 2*n + 24. Let t be s(-7). Let a be 6/(-33) - 57/t. Suppose -a*l - 49 = -f - l, -345 = -5*f - 5*l. Is f composite?
True
Suppose 5*a - a - 3*n = -3, 0 = -2*a - 3*n + 3. Suppose -2*t = -t + u - 52, a = t - 4*u - 57. Let w = t - -14. Is w a prime number?
True
Let w be 4/(-8)*(11 + 1). Let g be ((-10)/w)/((-3)/(-9)). Suppose -g*j + 120 = v - 153, -5*v = 3*j - 1277. Is v a prime number?
False
Is 1644/4 - (-2 - 4) prime?
False
Suppose -2*p = -19*g + 20*g - 15991, 0 = 5*p. Is g prime?
True
Let q(v) = 8*v**2 + 3*v + 1. Let j(a) = a - 14. Let t be j(7). Let x be q(t). Suppose 3*p - 5*m = 404 + x, 515 = 2*p - m. Is p prime?
True
Let z(h) = 17*h + 2. Let s(t) = -68*t - 7. Let u(l) = 2*s(l) + 9*z(l). Let a = -48 + 57. Is u(a) prime?
True
Let b = -286 + 1. Let h(u) = 64*u - 4. Let y be h(8). Let t = b + y. Is t prime?
True
Let g = 2950 - -1391. Is g composite?
True
Suppose -7*i + 10*i = -4*c + 11867, -5*i - 4*c + 19789 = 0. Is i a composite number?
True
Let r be (-27420)/(-3) + 1 - (1 - 4). Suppose 22*a = -2*a + r. Is a prime?
False
Let c = 128138 - 91165. Is c composite?
False
Suppose -4*b = -4*a - 607 + 1755, -4*a + 5*b + 1146 = 0. Suppose 0 = 5*j + a - 3984. Is j prime?
True
Suppose -52*r = -15*r - 482665. Is r a prime number?
False
Let o be (0 + 1 - -2)*1. Suppose -28 + o = -5*j. Suppose 7342 = 4*k - 2*d, -j*k + d + 9178 = -2*d. Is k composite?
True
Let k = -2580 + 4632. Is k + -1*(7 + -4) a composite number?
True
Suppose 2*a + 1659 = 5*p + 4091, 3*a = -4*p + 3671. Suppose -a - 3249 = -6*x. Is x prime?
False
Let t = -3314 - -5067. Is t composite?
False
Let w(y) = -3*y**2 - 5*y + 2. Let j be w(-12). Let o = j - -621. Is o composite?
False
Suppose 0*c = -4*c + 344. Suppose 9 = 5*n - c. Is n a prime number?
True
Suppose -2*b = -5*j + 2, 1 = -0*j + 3*j - b. Suppose j = -5*p + 3*p + 426. Is p composite?
True
Let g = 9 - 5. Let s(w) = 9*w**3 + 2*w**2 - 10*w + 9. Let q(b) = b**3 + b**2 - b + 1. Let h(d) = -4*q(d) + s(d). Is h(g) prime?
True
Let g be (1 + 1)*(-4)/12*-3. Suppose -2*r - 768 = -2*f, -g*f + 1142 = f + 2*r. Is f a composite number?
True
Let h be 8/(-6)*9/2. Let q be -58 + h/(0 - 2). Is q/(-1) - (2 - 6) composite?
False
Suppose 0 = -4*h + 6 - 2. Let a = -3 + h. Is (-2)/(-1) - 222/a composite?
False
Let b(w) = -14*w**3 + 18*w**2 - 2. Let x(i) = -5*i**3 + 6*i**2 - 1. Let z(t) = 6*b(t) - 17*x(t). Let g be z(-6). Suppose 0*k - 485 = -g*k. Is k prime?
True
Let o = -72 + 90. Let k(q) = 3*q**2 + 7*q - 25. Is k(o) a composite number?
True
Let h(v) = 13*v**3 - v**2 - 2*v + 2. Let z be h(3). Suppose -n + z = -93. Is n prime?
True
Let i be 1/5 + (-1)/10*-2838. Let b = 727 - i. Is b prime?
True
Suppose -5*f + 3809 = -2836. Let d be 12/(-48) - f/(-4). Let v = d - -79. Is v a composite number?
True
Let j(f) = f**3 + 10*f**2 + 10*f + 1. Let u be j(-9). Let g = u + 11. Suppose 389 = -0*v + 2*v + g*r, 4*v - 738 = 2*r. Is v prime?
False
Let m(s) = 225*s**2 - s - 3. Let r be m(-3). Let a = -1040 + r. Is a a prime number?
False
Let l be 61082/56 - (1 + (-10)/8). Suppose 5*z = 2*b + 5431, -2*z - 2*b = -z - l. Is z prime?
True
Suppose 4*l = 17 - 1. Is l + 1462 - -3*(-3)/9 composite?
True
Let f(b) = -19*b**3 + 5*b + 5. Let z be f(5). Is ((-2)/(-5))/(28/z)*-34 prime?
False
Let v be 11968/24*(-9)/(-4). Suppose u - v = -0*u. Suppose -u = -3*q + 549. Is q a composite number?
False
Suppose 4*f - 1366 - 5590 = 0. Is f prime?
False
Let c(x) be the first derivative of x**6/36 + 7*x**5/120 + x**4/6 - x**3/3 - 2. Let y(v) be the third derivative of c(v). Is y(-7) a composite number?
True
Let u = -155 + 159. Suppose u*s - 2484 = -0*s + 2*a, 4*a = 3*s - 1853. Is s a composite number?
True
Suppose 2*g + g + 123 = 2*t, -g = 5*t + 24. Let h = -34 - g. Suppose a = -4*j + 940, -h*j = -0*a - a - 1175. Is j a composite number?
True
Let f be (2 - (7 - 3)) + -16. Let g = f - -37. Is g composite?
False
Let v(b) = 4*b**3 + 3*b**2 - 5*b + 21. Is v(5) prime?
True
Suppose 2*b = -2*q + 33438, -3*q = -5*b + 77912 + 5715. Is b composite?
True
Suppose 2*a + 41 - 293 = 0. Let d = a + -88. Is d prime?
False
Is 6/(-8) - (-407976)/96 composite?
True
Let b(d) = -53*d - 4. Let l be b(2). Let s = -2580 + l. Is s/(-5) + (4 - 1) composite?
False
Suppose -367266 = -0*i - 6*i. Is i a composite number?
False
Let c = 203 + -135. Is 7/35 + 21/10*c a prime number?
False
Let s = 1873 + -1092. Is s a composite number?
True
Let m(a) = 1749*a + 343. Is m(10) a prime number?
False
Suppose -4*k + 5*m = -4799, -9 = 4*m + 3. Suppose u = -3*u + k. Is u prime?
False
Let n be 3/2 + 4450/4. Let v be 2 - (n/(-2) - 2). Suppose -s - y + 379 = 0, -3*s = -5*y - v - 576. Is s a prime number?
True
Suppose 0 = -2*l + 5*l - 36. Is (l/4 + -46)/(1/(-5)) composite?
True
Suppose -y + u + 7247 = 0, 28988 = 4*y - 249*u + 248*u. 