k = q - m. Is k a composite number?
True
Let w = -110 - -29. Let l = 11 - w. Suppose l + 416 = 4*h. Is h a prime number?
True
Let b(r) = r**2 + 17*r + 18. Let q be b(-16). Suppose 2*t - 411 = 2*z - 5*z, 0 = -q*z - 10. Is t a prime number?
False
Let d be (1/(3/149))/((-20)/60). Let g = -148 + 232. Let m = g - d. Is m a prime number?
True
Let r = 754 + -345. Is r a composite number?
False
Let n(g) = -g**3 + 2*g**2 - 2*g + 613. Is n(0) a prime number?
True
Is (-7 + 2)/(3/(-519)) composite?
True
Suppose -p = 2*n + 3*p - 20, -2*n + 2*p + 2 = 0. Suppose 4*x - l - 2*l = 308, x - 90 = n*l. Is x a composite number?
True
Let z(a) = 15*a - 7. Let q be z(12). Suppose 0 = 5*l - 822 - q. Is l prime?
True
Suppose 13*q = 906546 + 414683. Is q composite?
True
Suppose -p - 2*o + 0*o = 389, 5*o - 733 = 2*p. Let r = 706 + p. Is r composite?
True
Suppose -2196 + 758 = -2*i. Is i composite?
False
Suppose 3*f - 69 = -0*f. Let a = -2 - -7. Suppose -134 - f = -v - 2*c, -616 = -4*v - a*c. Is v composite?
False
Suppose -40513 = -28*b - b. Is b composite?
True
Let l = 3690 - 1605. Let w = l - 1156. Is w composite?
False
Suppose -y = -5*y + 2932. Suppose 0 = -c - 2*i + 729, 0*i = -c - i + y. Is c prime?
False
Suppose -31*s + 1566481 = 18*s. Is s a composite number?
True
Let m(x) = 5*x**2 - 22*x + 57. Let c(i) = 12*i - i - 17 - 3*i**2 - 12. Let s(n) = 7*c(n) + 4*m(n). Is s(-12) prime?
True
Is (3148572/18)/(-14)*-3 prime?
True
Let q(k) = k**2 + k + 5. Let j be q(0). Let g(c) = -6*c - 21. Let a be g(-4). Suppose a*x + 5 = 2, 2*x = -j*p + 2783. Is p prime?
True
Suppose -2 = -3*o + 2*o. Let n(a) = -a**2 - a - 1. Let r(z) = 24*z**2 + 7*z + 1. Let w(f) = 4*n(f) + r(f). Is w(o) a prime number?
True
Let w(o) = 18*o**2 - 9*o + 10. Let g be w(1). Let l(v) = -v**2 + 83*v + 27. Is l(g) prime?
False
Let q = 105697 + -60050. Is q a composite number?
True
Is -6*((-43495)/30 - 6) a prime number?
False
Suppose 0 = -4*r + 3*k + 260736, r - 25*k + 26*k = 65177. Is r a prime number?
False
Suppose -5*z - 18884 = -2*u, -28326 = -3*u - 5*z + 7*z. Is u composite?
True
Let a = 42 - 37. Suppose 0 = a*d - 1932 - 163. Is d prime?
True
Suppose 15*f - 84959 = 30796. Is f composite?
False
Let v = 14 - 2. Let z(j) = -j + 15. Let q be z(v). Suppose 3*k - o - 11 = 8, -q*k + 25 = 2*o. Is k a composite number?
False
Let a(g) = -g**3 - 10*g**2 + 2*g - 3. Let m be a(-10). Let j = m - -14. Is (9/j)/((-2)/358) composite?
False
Is 2051 + 7/(-21)*-6 composite?
False
Let q be 25/(-10)*(-18)/5. Is ((-14)/9)/(-7) - (-3535)/q a prime number?
False
Let q(v) = 61*v + 99. Is q(8) a prime number?
True
Let k(c) = 17*c + 13. Let q be k(6). Let j = 204 - q. Is j prime?
True
Let n(y) = -10193*y + 30. Is n(-1) a composite number?
False
Let p = -6 - -6. Suppose p = -v - 2*v + 894. Is (-10)/10*v/(-2) prime?
True
Is (10 - -26073)/(1/(-1) + 2) prime?
True
Suppose -26*k = -8*k - 18324. Is k a prime number?
False
Suppose 17*j = 6*j + 3531. Let k = -192 + j. Is k a composite number?
True
Suppose -5*a = 3*o - 1, 5*o + a - 6 = -3*a. Suppose 2*b + o*b + 3*z = 2177, -4*z - 1116 = -2*b. Let g = -103 + b. Is g composite?
True
Let l(q) = 25*q**2 + 16*q + 28. Is l(-9) composite?
True
Suppose 0 = -11*z + 12*z + 506. Let a = z - -1867. Is a prime?
True
Let o(q) = -2*q + 10. Let a be o(5). Suppose -r + 22 = 4*c, r = 2 - a. Suppose c*y - 71 = 94. Is y a prime number?
False
Let i(t) = 3*t**2 - 2*t + 1. Let u be i(1). Let z be (u + -1)*(13 - -5). Suppose 3*f + 2*f - z = -r, -54 = -2*r - 4*f. Is r prime?
False
Suppose 4*h - 3*a - 4473 = 2492, -3*a - 9 = 0. Is h prime?
False
Let w(m) = -12*m**3 + 5*m**2 - 2*m - 3. Suppose 0 = q - t + 1, 2*q - q - 3*t - 5 = 0. Is w(q) prime?
True
Let d(g) be the second derivative of g**7/2520 - g**6/720 - 3*g**5/40 + 3*g**4/4 + 4*g. Let s(z) be the third derivative of d(z). Is s(-5) composite?
True
Let t(j) = -6 + 7 + 11*j - 10*j - 28 + 18*j**2. Is t(10) composite?
False
Let w(c) = -5*c + 3*c - 8*c**2 - 6*c**2 + 0*c. Let a(x) = x**2 - x - 1. Let g(o) = -a(o) - w(o). Is g(3) prime?
True
Suppose -17*k = -89041 - 11650. Is k prime?
True
Suppose 4*r - 2 = 18. Let c(m) be the second derivative of m**4/4 + m**2 + m. Is c(r) a composite number?
True
Suppose -16*z = -17*z + 14. Suppose 2*a = 2*p - a + 8, 0 = -p + 4*a - z. Suppose -u + p*r + 453 = -3*r, 0 = -3*u - r + 1327. Is u a prime number?
True
Suppose -4*f = 3*l - 1842 - 6995, -5*l + 14685 = -2*f. Is l composite?
False
Suppose -v - 4*c = 3, 4*v - 24 = -10*c + 12*c. Suppose -2*j + v*j = 5763. Is j composite?
True
Let l(n) = n**3 + 2*n**2 + 1. Let m be l(-2). Is (-35308)/(-35) + m/5 a prime number?
True
Let h(k) = 5*k**2 - 2*k - 8. Let w be h(7). Let y(r) = r + 11. Let g be y(-7). Suppose -133 - w = -g*x. Is x a composite number?
False
Suppose 2*j + 3*j = 15. Suppose -j*n = -7 - 134. Is n a prime number?
True
Suppose 5199 = -g - w, -714 = g - w + 4489. Is (-2)/(-1) - g/(-21)*-3 prime?
False
Let v be (124/6*18 - 0) + -1. Is (12 + -13)/(-2 - (-741)/v) composite?
True
Suppose -5*h + 2*q - 19672 = 3*q, 2*q + 4 = 0. Let p = h - -8051. Is p prime?
False
Suppose 0 = -p + 4*a + 7239, -3*a - 8168 - 13540 = -3*p. Is p composite?
True
Suppose 5*q + 3127 - 7502 = 0. Suppose -462 - q = -7*n. Is n a composite number?
False
Suppose -4*x + 22 = -10. Suppose -4*h = -x*h + 2748. Is h a composite number?
True
Let f(s) = s**2 + 13*s + 19. Let y be f(-12). Let k = 29 - y. Is k prime?
False
Let i(l) be the first derivative of -9*l**3/2 - 2*l**2 + 4*l - 3. Let n(m) be the first derivative of i(m). Is n(-5) composite?
False
Let o(f) = f**3 - 5*f**2 - f - 2. Let j be o(5). Let b be (18/(-21))/(2/j). Is 24 + (-2)/b*3 a prime number?
False
Is (281412/(-48))/((-6)/8) a prime number?
True
Let j = 165 - 117. Let w = -115 + 258. Let a = w + j. Is a a prime number?
True
Let p(g) = -g**3 - 30*g**2 - 10*g + 91. Is p(-32) prime?
True
Suppose 3*b - 116967 = -4*u, -5*b + 4*b = -5*u - 38989. Is b prime?
False
Suppose -7*j + 103 = -86. Suppose g = j + 158. Is g prime?
False
Let a(i) be the first derivative of 5*i**4/2 - 2*i**3/3 - i**2 - 13*i + 21. Is a(4) a prime number?
True
Let p = -30742 + 56347. Is (-8)/(-14) + p/63 a prime number?
False
Let v = -1157 + 2618. Is v a composite number?
True
Suppose -2*p - 3*t + 48887 = -p, 0 = -3*p + 5*t + 146633. Is p a composite number?
True
Suppose -6*v + a = -v - 25, -4*a - 5 = -v. Suppose -v*l + 2688 + 167 = 0. Is l prime?
True
Is 5 - -8305 - -5 - 4 a prime number?
True
Let x = 24 - -7. Let m = x + -23. Is 6/24 + 3254/m prime?
False
Let k(h) be the first derivative of 2*h**3 - 2*h**2 - 29*h - 20. Is k(-13) prime?
False
Let z(m) = -9*m**3 - 3*m**2 - 2*m - 3. Let c be z(-2). Suppose t + v - 4*v = c, v = 4*t - 233. Is t prime?
False
Let v be -7 - (-8)/6*(3 - 0). Is (-844)/v*((-135)/10)/(-9) prime?
False
Suppose 6*y = 5*f - 3321, -2*f - 4*y + 1334 = -5*y. Is f a prime number?
False
Suppose -2*h = -3*h + 2*t + 3, 0 = -2*h - 5*t + 6. Let w be -5 - (-2 + (h - 3)). Is (11052/8)/w*-2 a composite number?
True
Let u(o) = -7*o**2 + 6*o - 12. Let i be u(10). Let m be i/(-4) + -2 - 2. Suppose h - 3 = 0, 4*f - m = 5*h + 1174. Is f prime?
True
Let c = -89 + 724. Is (3 - 0) + (c - 7) a prime number?
True
Let w = -58 + 98. Suppose -24 - 1 = -4*y + m, -3*y = -5*m - w. Suppose -y*u = -1019 + 14. Is u a composite number?
True
Is (-2 + 4)*((-8181)/(-6) + -4) a prime number?
True
Let m(a) = -30*a - 14. Let y(v) = -31*v - 13. Let r(t) = -4*m(t) + 5*y(t). Let b be r(7). Let x = 377 + b. Is x composite?
True
Suppose 16*u = 10*u + 1098. Suppose -6*a + u = -759. Is a a prime number?
True
Suppose 0 = 7*w - 12 - 37. Suppose 2*o - 662 = -2*q + w*o, 3*o = -5*q + 1717. Is q a composite number?
True
Let f be (6/24)/(2/152). Let z = 74 - f. Let n = z - -284. Is n composite?
True
Suppose 3*b = -28*c + 25*c + 39402, 4*b - 4*c - 52568 = 0. Is b prime?
False
Suppose -8*t + 7*t = -18. Is (t - -1) + (-1 - -1) a prime number?
True
Suppose -10*o = -14*o + 20. Suppose u + v + 2*v = 167, -4*u + 634 = -o*v. Suppose -50 + u = 3*m. Is m a prime number?
True
Suppose -2*u - 779 = -5*m, -m - 2*u + 0*u = -151. Suppose -2439 = -4*c - m. Is c prime?
True
Let y = -138 - -216. Let v be (3 - (-12)/(-4))*-1. Suppose v = 2*h - 4*g - y, -h + 29 = -0*h + 3*g. Is h a composite number?
True
Suppose 0 = 5*y + 105*k - 103*k - 1