et n = o - 5. Is n a prime number?
True
Let s be (-2)/(6/(-27)) + 3. Let y(u) = u**3 - 11*u**2 - 12*u + 1. Let a be y(s). Is 295 + a/((-4)/8) a prime number?
True
Let n(w) = -173*w**2 + 6*w. Let b(j) = -519*j**2 + 18*j + 1. Let g(t) = -3*b(t) + 8*n(t). Is g(-4) composite?
False
Let r(s) = 15*s + 9. Let b(a) = -14*a - 8. Let y(u) = -6*b(u) - 5*r(u). Let v be y(-4). Is 2/6*-2*v a prime number?
False
Suppose 0 = -2*a - 257 + 971. Let o(h) = 3*h. Let w be o(-1). Is (-2)/(2*w/a) a prime number?
False
Suppose -2*u + i + 16932 = 0, -3*u + 45*i = 44*i - 25399. Is u a prime number?
True
Suppose -8*g + 7198 = -48298. Is g a prime number?
False
Suppose 4*m + 4*o = 3492, o + 3964 + 425 = 5*m. Is m a prime number?
True
Let y = 148 - 21. Let h(r) = -r + 50. Let k be h(-22). Let p = y - k. Is p prime?
False
Suppose -4*g - 2*s = -45940, -3*g = -0*s - 3*s - 34473. Suppose 18*v = 11*v + g. Is v a prime number?
False
Let y be (-24)/36 - 2/6. Is 2186 + (-2 - 2) + -2 + y prime?
True
Suppose 2*s = -5*w + 5401 + 9220, 0 = -w + 2*s + 2929. Let l = -251 + w. Suppose -5*r + l = j, 2*r - j - 1065 = -6*j. Is r composite?
True
Let c(g) = g**2 - 5*g - 1. Let q be c(12). Let x = q - -20. Is x prime?
True
Let s = 5816 + -3687. Is s prime?
True
Suppose v - 5*n = 30, -2*v + 0*n + 15 = -n. Let i(j) = j + 14. Let m be i(-11). Suppose -2*u = 3*t - 1241, v*t = m*t + u + 818. Is t a composite number?
True
Suppose 4*g + u - 92416 = -3*u, -u - 46199 = -2*g. Is g a composite number?
True
Is 40826/4 - (779/(-38))/41 prime?
False
Let y(l) = -l**3 + 6*l**2 - 4*l. Suppose n + 5*s = 9 + 16, -3*s - 3 = -3*n. Let j be y(n). Suppose -j*i + 4*z = -10*i + 2419, -z = -3*i + 1465. Is i prime?
True
Let r be (-4)/(-6) + 6/(-9). Suppose -4*h - 6*u + 2*u - 16 = r, 5*h = -2*u - 23. Is ((-2)/4)/(h/1450) prime?
False
Let v(w) = 4*w - 8*w - 3 + 3*w. Let h be v(-4). Is 201*(h + 8/(-12)) a composite number?
False
Suppose k = -4*s - 16, s - 8*k + 4 = -4*k. Let l(n) = 15*n**2 + 14*n**2 + 1 - 5*n + 0. Is l(s) a composite number?
True
Let f(t) = -600*t + 139. Is f(-21) composite?
False
Suppose -10141 = -5*x - g + 2*g, 0 = 5*g - 20. Let w = x - 1287. Suppose 4*s = 2*u + w, 5*s = 6*u - 2*u + 929. Is s a composite number?
True
Suppose -8*a - 11*a = 6707. Let r(x) = -38*x**2 + x - 4. Let y be r(-4). Let k = a - y. Is k a composite number?
False
Suppose -809 = -9*l + 1585. Suppose 601 = 3*w - l. Is w a composite number?
True
Suppose -3*g + 16 = -2*w, -6*g + 4*w + 24 = -2*g. Is 5*(564/5)/g a composite number?
True
Suppose -3 = -3*m + 6. Suppose -z + 9 = m*g, 0*z + 3*g = -3*z + 9. Suppose -4*x + x + 159 = z. Is x a prime number?
True
Suppose -2*a + 4*i + 788 = 0, 3*a + 0*i + 5*i - 1204 = 0. Suppose -24 = 2*m - a. Is m a composite number?
True
Let p be 15/4*(2 - -2). Suppose -14*b + p*b = 435. Let y = b - 184. Is y composite?
False
Is 1/(-2)*(-24019 + (-7)/1) a prime number?
False
Suppose 2*i + 114 = 4*i. Suppose 8*s + i = 11*s. Is s composite?
False
Let d = 94 - 89. Suppose 661 = d*x - 3129. Is x a prime number?
False
Is 50652/44 + 28/(-154) composite?
False
Suppose d + 3607 = c, -8*c + 11*c - d - 10821 = 0. Is c a prime number?
True
Let c = -247 - 51. Let d = 521 + c. Is d prime?
True
Suppose -v - 3*v = -24. Suppose -2*u + 19 = 1. Is ((-2)/v)/(u/(-4239)) composite?
False
Let i = 10219 + -3048. Is i a prime number?
False
Let t(n) = 13*n**2 + 24*n - 36. Is t(37) composite?
True
Let f(m) = m**2 + 3*m - 5. Let y be f(-10). Let q = y + 305. Suppose q = 4*i + i. Is i prime?
False
Suppose -8*s = 7*s - 6*s. Suppose s*t - 5*t = 5*w - 2435, -3*t = 5*w - 2435. Is w a composite number?
False
Suppose -3*h + 31374 = 2*r, -r - 4067 = 3*h - 19760. Is r a prime number?
False
Let m be (-14)/(-4) + (-6)/(-12). Suppose -5*i + 1030 + 362 = m*j, -1723 = -5*j - 2*i. Suppose 0 = 5*x - 1387 - j. Is x a prime number?
False
Suppose -2*s + 4*k = -5*s + 32, -5*s + 5*k + 30 = 0. Suppose 5*m - m - 5*w - 35 = 0, -m + s = -2*w. Is m a prime number?
False
Let f(k) = 19*k**2 + 2*k - 1. Let l be f(1). Suppose -n = -4, -5*a - 4*n - 4 = l. Is (158/a)/(2/(-8)) a prime number?
True
Let m(w) = 2*w**3 + 45*w**2 + 25*w + 48. Let d be m(-22). Suppose -a - 3*a = -4*c - 20, 5*c = 3*a - 13. Is (-1866)/d - a/9 prime?
True
Suppose 2*o + 12 - 2 = 0, 4*i - 49 = 5*o. Let c = 3 + i. Suppose c*f = 10*f - 779. Is f a prime number?
False
Let o(d) = -7*d - 3. Let l be o(-3). Suppose -l*q + 22*q = 1324. Is q a prime number?
True
Suppose 0 = -3*m - 3*r + 65286, -15*r = 4*m - 14*r - 87051. Is m prime?
False
Let k(g) = 2182*g + 9. Is k(2) prime?
True
Let j(s) = -33*s**3 - 2*s**2 - 3*s - 3. Suppose -2*b + 3 - 11 = -z, b = -2*z + 6. Is j(b) prime?
False
Suppose 2*n + 5893 = -2497. Let a = -2246 - n. Is a composite?
False
Let k(o) = 14*o**3 - 4*o**2 + 4*o - 3. Let h be k(3). Let r = 22 + h. Is r a composite number?
False
Suppose -8*n = -15*n + 14147. Suppose -5*j + n = -32384. Is j composite?
True
Let z = 124122 + -70441. Is z a prime number?
True
Let d = -50 + 341. Is d prime?
False
Let d = 13525 + -5005. Suppose s - 6807 = -3*s - w, 5*s - w - d = 0. Is s prime?
False
Let m be -6*10/(-6)*426/(-15). Let v = m - -1541. Is v a composite number?
True
Let x = 14 - 14. Let c be (1/1)/(x - 1). Is (c/(-3))/((-7)/(-6195)) a prime number?
False
Let t(g) = -3*g**3 + g**2 + 5*g - 4. Let f(k) = 7*k**3 - k**2 - 10*k + 9. Let j(c) = -4*f(c) - 9*t(c). Let w be j(-4). Is (-6)/9*(-186)/w a composite number?
False
Let s(d) = -10*d**3 + 6*d**2 + 35*d - 4. Is s(-11) prime?
False
Let f be (-3 - 21) + (-1)/(-1). Let v = f - -178. Suppose v = -5*s + 1110. Is s prime?
True
Let z = -9388 + 15789. Is z a prime number?
False
Let r = 6386 - 4443. Is r composite?
True
Let x(p) = -6283*p**3 - p**2 + 78*p + 157. Is x(-2) a prime number?
True
Let i = 0 + -2. Let j(t) = -25*t + 24. Let z(x) = 13*x - 12. Let f(u) = i*j(u) - 5*z(u). Is f(-5) a composite number?
True
Suppose -7668 = -2*t + 2*l, -5*t + 3*l + 19166 = 2*l. Is t prime?
True
Let w = 14 - 22. Let l(s) = s**2 + 7*s - 8. Let g be l(w). Suppose g = -5*b - 0*b + 785. Is b a prime number?
True
Let s(r) = 10*r**2 - 12*r - 9. Is s(10) a prime number?
False
Let z be 2*3/(-12)*-454. Let l = 77 + 61. Let q = z - l. Is q a composite number?
False
Let z = 11129 - 2386. Is z composite?
True
Let x = 74 + -80. Let r = -4 + 7. Is r + (-3 - x - -117) composite?
True
Let a(f) = 2*f + 233. Suppose 24 = o - 5*m - 0, 4*m = -5*o + 4. Let y be o + (-5 - 0) + 1. Is a(y) a composite number?
False
Let u(w) = 3*w**2 + 14*w - 14. Let a(m) = -m**2 - m + 1. Let k = 0 + 1. Let r(g) = k*u(g) + 4*a(g). Is r(8) a composite number?
True
Suppose -2*a + 57 = 11. Suppose -2*i - 50 = -3*i - 4*y, -137 = -3*i + y. Let j = i - a. Is j a composite number?
False
Suppose 3*f + 17*f - 100 = 0. Suppose 4*t + 5*q - 6869 = 0, 5*q + 8550 = f*t + 4*q. Is t a composite number?
True
Let d = -17 - -14. Is (-6)/d*(-4556)/(-8) a composite number?
True
Let j = 42 + -126. Is 47844/28 + 8/j*-3 a composite number?
False
Let a be ((-342)/(-63))/((-2)/(-14)). Let l = a - 15. Is l a prime number?
True
Suppose -2*k = -5*g + 1244909, -2*g + 4*g - 2*k - 497960 = 0. Is g a prime number?
False
Let a = 46 - 31. Let q = a - 31. Is 8/2*(-564)/q a prime number?
False
Let s be 3/1 + -386 + 0. Let m = -677 - s. Let y = m + 857. Is y prime?
True
Let f(z) be the first derivative of z**6/45 + z**5/12 + 7*z**4/24 - z**3/3 - 1. Let h(c) be the third derivative of f(c). Is h(9) a prime number?
False
Is 4529/2 - (-55)/22 composite?
False
Is (-2 - 5)*25507/(-23) a composite number?
True
Suppose -5*v - 150 = -160. Suppose -5*t = -6 - 9. Suppose a = 2*f - a - v, 0 = -2*f + a + t. Is f a prime number?
True
Let v = 23 - 7. Let r(g) = 70*g - v - 7*g - 5 + 6*g. Is r(6) prime?
False
Suppose 214 = 4*f - 4*u - 110, 0 = 2*f + 5*u - 169. Let t = 129 + f. Is t composite?
False
Suppose -3*v - 4*q = -2687, -2*v + q + 2662 = v. Is v a prime number?
False
Let r(x) = 8*x**3 - x**2 + 2*x - 1. Let j be r(1). Suppose -15 = j*b - 11*b. Suppose 159 = z - m, z + 632 = b*z - 2*m. Is z a composite number?
False
Let r = 3793 - 2580. Is r a composite number?
False
Let t = -9132 - -5360. Is (-1)/5 - t/10 composite?
True
Let r(k) = 6208*k + 571. Is r(6) composite?
True
Let w be 1 + 13925 - (5 + -4). Suppose -5*c + 0*c + w = 0. Is c a composite number?
True
