alse
Suppose 36590 = -7*k + 17*k. Is k prime?
True
Let o(c) = c**3 - 5*c**2 - 3*c - 14. Let i be o(6). Suppose 3*r + i = k, -k + 2*r = 6*r - 4. Suppose 2*g - 747 = a, -k*g + 3*a = -g - 1128. Is g a prime number?
False
Let p be (-3)/6 + 30/12. Suppose 2*t - f = -t + 334, -220 = -2*t - p*f. Is t a composite number?
True
Let r(u) = -u**2 - 10*u - 16. Let s be r(-7). Suppose -t - b + 480 = 0, -4*t - s*b + 1919 = -2*b. Is t composite?
False
Is 4715 - ((-38)/6 + 34/102) composite?
False
Let g(y) = -y**2 - 12*y - 7. Let c be g(-9). Is 2/5 + 11292/c composite?
True
Let c(q) = 2206*q - 115. Is c(11) a prime number?
True
Let u be 0 + -4*(-393)/(-6). Suppose 1013 = -6*r + 203. Let b = r - u. Is b a prime number?
True
Let t = 1 - -1. Let x = -4 - t. Let w(f) = 2*f**2 + 3*f - 1. Is w(x) a composite number?
False
Let d(v) = -5*v**3 + 5*v**2 + 9*v + 9. Let o(g) = 10*g**3 - 10*g**2 - 19*g - 18. Let c(t) = 5*d(t) + 2*o(t). Is c(-6) prime?
False
Let d(v) = -v**3 - v**2 - v - 1. Let y(t) = -t**3 + 9*t**2 - 13*t + 11. Let l(f) = 2*d(f) - y(f). Let c be l(-12). Is (-9330)/(-20) + c/(-2) a composite number?
False
Suppose -5*n + 0*n = -85. Let i = n + -13. Suppose 5*v + 5*b + 191 - 686 = 0, -i*v + 360 = -5*b. Is v a prime number?
False
Let z(s) = -679*s - 547. Is z(-12) composite?
True
Is 66596 - ((16 - 8) + -1) composite?
True
Let s be (52/(-6))/((-10)/(-75)). Let f = s - -152. Is f composite?
True
Suppose 0 = 4*d - 0 + 48. Let b = 14 + d. Suppose -4*v = -2*t + 94, t + v = -b*t + 162. Is t a prime number?
True
Is (39813 + 0)*10/30 prime?
False
Let w(n) = n**3 - 4*n**2 + 8*n. Let j = -18 + 34. Let m = j - 9. Is w(m) a prime number?
False
Let a(j) = j - 6. Let m be a(12). Suppose 0 = m*f + 650 - 2174. Is f composite?
True
Let n = 8640 - 2393. Is n a prime number?
True
Let g(n) = -n**2 + 6*n - 2. Let v(x) = -x. Let h(d) = g(d) + 3*v(d). Let f be h(4). Let r(t) = 7*t**2 + 3*t + 5. Is r(f) a prime number?
True
Let t(z) be the second derivative of z**3/6 + 7*z**2/2 + 4*z. Let o be t(5). Suppose 0 = -10*c + o*c - 446. Is c a prime number?
True
Let u(h) = h**2 - 3*h**2 - 16*h + 3*h**2 + 6*h + 10. Let s be u(12). Let f = s - 0. Is f composite?
True
Suppose -7*v - 12*v + 41401 = 0. Is v a prime number?
True
Suppose 2*b - 134 = -2*g - 2*g, -4*g - 5*b + 119 = 0. Let m be 0 - (0 + g)*5. Is -2*(1 + m/8) prime?
True
Let t(s) = -14*s + 12 + 69*s - 3. Let k be t(7). Suppose -d - 3 = 0, k = 5*p - 3*d - 0*d. Is p composite?
True
Suppose -2*t + 145 = -7*t. Let i = -27 - t. Suppose -94 = f - i*f. Is f composite?
True
Let j be (0 - -4) + -3 - -1. Suppose 4 = -j*t + 4*t. Suppose -1314 = -4*l - 0*v - 5*v, -t*l + 3*v = -668. Is l prime?
True
Let l = -7 - -7. Suppose l = -4*g + 3*c - 257, 4*g = -0*g - 3*c - 263. Let x = g - -112. Is x composite?
False
Is -6614*((-9)/2 - -4) a composite number?
False
Let p(c) = c**2 - 13*c + 15. Let d be p(11). Let o(w) = -363*w - 46. Is o(d) prime?
False
Suppose 17*p - 67656 = -7*p. Is p prime?
True
Let g be (336/(-32))/((-3)/328). Let l = g + 531. Is l a prime number?
False
Let i(s) = s**3 - 15*s**2 + 14*s + 2. Let k be i(14). Suppose 5*d = -5*g, 5*d = -3*g - 2 - k. Is 118 + -4 - (-2)/g prime?
False
Let t = -34 + 28. Let j(u) = -3*u**3 - 4*u**2 - 5*u - 1. Let d be j(t). Suppose -3*s = -76 - d. Is s prime?
False
Is ((-1485300)/45)/(-20) + 4/6 a composite number?
True
Let z = -3936 - -7009. Is z a composite number?
True
Is 58458/12 - 3/6 a composite number?
False
Suppose -2*p + 3*q = 6*q - 68, 5*p + 5*q - 160 = 0. Let o = p - 24. Suppose z = -o*l - 192 + 1721, -4*l + 1534 = 2*z. Is l prime?
False
Suppose -s = -3*s + 4. Let w be s - 1/(1/(-3763)). Suppose 5*r = -0*r + w. Is r composite?
True
Suppose 0 = 7*a + a - 33224. Is a composite?
False
Suppose c - 6*c + 18452 = -3*x, 6*x = 2*c - 7376. Is c composite?
False
Suppose 2347 = -3*c - 9347. Let i be (-22)/33 - c/6. Suppose -5*h + i = -466. Is h composite?
False
Let o(v) = 334*v**2 - 147*v + 1246. Is o(9) a prime number?
False
Let k(o) = -3*o**3 + 14*o**2 - 9*o + 3. Let s be k(4). Is -1*(-99)/(s + 4) composite?
True
Suppose -2*n + 2*f = -24088, -2*f = 2*n + 2*n - 48194. Is n prime?
False
Let q = 61 + -55. Suppose -q*p + 773 = -1213. Is p a prime number?
True
Let f(x) = -x + 4. Let r be f(8). Let t be (-9)/((1/r)/1). Is (-4)/18 - (-548)/t a prime number?
False
Suppose 3*b = -2*u + 22, -4*b + 11 = -5*u + 4*u. Let o(d) be the first derivative of -d**3/3 + 5*d**2/2 + 3*d + 10. Is o(u) composite?
False
Let n be ((-54)/(-4))/((-6)/84). Is (34/(-6))/(9/n) composite?
True
Suppose 0 = 3*v + 5*x - 3977, 3*x - 5288 = -14*v + 10*v. Is v a composite number?
False
Let y be (48/22 - 2) + (-587205)/(-165). Let v = -2192 + y. Is v composite?
False
Let l(j) = -234*j + 113. Is l(-8) a prime number?
False
Let h(a) be the second derivative of -5/2*a**3 + 0 + 11/2*a**2 - 1/12*a**4 + 2*a. Is h(-12) prime?
True
Suppose 0*b + 4*b + 4*x - 568 = 0, 0 = -b + 5*x + 130. Suppose 4*j - b = 3*j. Suppose 2*c - j = 114. Is c a prime number?
True
Let n = 4 + -1. Let q be (3 - (-48)/(-3)) + n. Is 522/14 - q/(-35) prime?
True
Let u = 25 - 7. Let v = -16 + u. Is ((-795)/(-6))/(v/4) prime?
False
Suppose 0 = f + 3*f - 2*d + 8, -4*f - 8 = 2*d. Let t(x) = -1892*x + 1. Is t(f) a prime number?
False
Let w = -47 - -49. Is (20/5 - w)*1346/4 prime?
True
Suppose -4*p + 13305 + 4533 = -a, 5*a - 4470 = -p. Suppose 0 = -13*m + 28614 - p. Is m a prime number?
False
Let i(d) = -1170*d + 6. Let g be i(-3). Suppose 5*f + 0*j + 2*j = 4377, -4*f + 2*j = -g. Is f a composite number?
False
Let z(n) = n**3 + 19*n**2 + 18*n + 4. Let w be (36/(-14))/(18/126). Let a be z(w). Is ((-862)/(a/(-2)))/1 composite?
False
Let f(j) = -j + 3. Let x be f(-3). Suppose 3*d - x = 3, 0 = -5*b - d + 1498. Is b prime?
False
Let w = -895 + 1506. Suppose w = 3*q + 50. Is q composite?
True
Let b = 110576 - 58597. Is b composite?
True
Suppose -24 = -3*k - 2*x, 4*k + x - 8 = 19. Suppose -k*o + 48 = -2*o. Is (-635)/(-3) - 8/o composite?
False
Let s(i) = 2*i**2 - 75 + 2*i + 0*i + 74. Is s(3) a composite number?
False
Let z be 185 + -2 + 2 + 0. Suppose -z = 5*w - 10*w. Let m = w - 22. Is m a composite number?
True
Let m = -3824 + 9325. Is m composite?
False
Suppose 0 = g - 3. Let j(k) = -2*k + 6. Let u be j(0). Suppose u*q - g*q = 333. Is q prime?
False
Let o be 2/(-2) + (-7 - -8). Let c be 2/4*(8 + o). Is (4 + (-14)/c)*446 a composite number?
False
Let o be (8/6)/((-10)/(-15)). Let c(j) = 7*j**3 - 2*j - 1. Let v be c(o). Suppose -19 = -2*s + v. Is s composite?
True
Let z = -58 - -135. Suppose -z = -v + 14. Is v a prime number?
False
Suppose 5*k + 3*b - 5 + 0 = 0, -1 = 3*k + b. Let f be (2/(-3))/(2/(-9)). Is (k + f)*(133 - 0) composite?
True
Suppose 33*p - 1653732 = -3*p. Is p a composite number?
True
Let h = -11 - -13. Let x(b) = -5 - 2*b**2 - 5*b + 3*b**2 + 0*b**h. Is x(8) a composite number?
False
Suppose -2*v = -n + 4107, 5*n - 20550 = -0*n - 5*v. Is n prime?
False
Let j(n) = -1 - 3 + 25*n + 0 + 0. Is j(3) a prime number?
True
Let i be (-388)/8*2/(-1). Suppose -2*s + 7*s + i = 2*f, 5*f + 2*s = 228. Let u = f + 87. Is u a prime number?
False
Let i = -2 - -5. Suppose 87 = i*v + 3*h - 105, 3*v = -h + 182. Is v prime?
True
Let y(f) = -23825*f - 17. Is y(-3) a composite number?
True
Suppose 5*b = -0*b. Suppose -2*p + b*p - 140 = 0. Let t = -1 - p. Is t composite?
True
Suppose 28 + 12 = 4*v. Let a = 503 - 171. Suppose 0 = v*l - 6*l - a. Is l a prime number?
True
Suppose -d + 63 = -2*c + 7340, -5*d = -c + 3652. Is c composite?
False
Suppose -5540*h - 30558 = -5546*h. Is h a prime number?
False
Let l(v) = -v - 2. Let k(f) = 74*f - 5. Let t(w) = -k(w) + 2*l(w). Let b(o) = -o. Let y be b(5). Is t(y) prime?
False
Suppose -22*c + 349193 = 54459. Is c a composite number?
False
Let j = -86 + 201. Is j composite?
True
Let j = 18 + -14. Is (2 - (-4 + j))/((-2)/(-4621)) prime?
True
Is -6 - 200/(-35) - (-120530)/14 a composite number?
False
Let k be (-2)/4 - 12524/8. Let f = 2782 + k. Let y = f - 65. Is y a composite number?
False
Let w = 34573 + -23752. Is w a composite number?
True
Suppose -4*l + 9*l + 4*t - 31 = 0, -3*l = 4*t - 25. Let s(d) = 80*d**3 - 5*d + 3. Let a be s(2). Suppose a = -l*o + 6*o. Is o a prime number?
True
Suppose -u = 5*i - 50280, 0 = -5*i + 3*u + 65428 - 15128. Is i composite?
True
