
Let h be 6/(-7)*42/(-6). Let x be 51/(-2)*(-16)/h. Is ((-6)/(-4))/3*x prime?
False
Suppose -2*s + 31 = 3. Let n be 4/s - (-60)/35. Suppose 0 = -n*p + 4*p - 12. Is p a prime number?
False
Suppose -3*c - 18 = -c. Let b = 4 + c. Let g = 60 + b. Is g prime?
False
Suppose u - 2*w - 24 = 0, u - 44 = w - 3*w. Let i = 136 - u. Suppose 2*b = -b + i. Is b prime?
False
Suppose 10 = 4*v + 50. Let s = v - 0. Is (-1488)/(-30) - (-6)/s prime?
False
Suppose 22649 = 8*w + 6865. Is w a composite number?
False
Let c be 0*2*2/12. Suppose c*v + 2*v - 6 = 0. Suppose 0*h = v*h - 201. Is h prime?
True
Suppose -14*i + 809 = -1977. Is i prime?
True
Let b(x) be the first derivative of x**3/3 + x**2 + x + 1. Let f be b(-1). Is 2 + (f - 2) - -19 prime?
True
Let a(s) = 0 + 0*s**2 + 1 + 2 - s**3 + 4*s**2. Let d be a(4). Suppose 0 = d*o - 6*o - 4*i + 125, 5*i + 45 = 2*o. Is o composite?
True
Let t be (3 + -2760)*2/6. Is 4/6 - t/3 prime?
True
Let n be ((-196)/6)/((-5)/(-30)). Let t be n/(-10) + (-6)/10. Let u = -9 + t. Is u a prime number?
False
Let b(s) = 4*s**2 + 4*s - 3. Let p = -4 + 6. Let h be b(p). Is -2 + -5*h/(-3) a prime number?
False
Let g(o) = o**3 + 6*o**2 - 3*o + 8. Is g(-6) a prime number?
False
Is 68*((-7)/28)/(1/(-43)) prime?
False
Let q(u) = u**3 + 7*u**2 + 8*u + 9. Let n be q(-6). Let w be 10/(-4) + n/6. Is (-341)/w - (-6)/(-9) prime?
True
Suppose 0 = -n + 3*n - 3518. Is n a composite number?
False
Suppose 14268 = 12*y + 3744. Is y a prime number?
True
Let g(c) = 2 - 5 - 70*c - 86*c + 2. Is g(-1) a composite number?
True
Let b be 1/5 + (-756)/(-20). Let w(k) = k - 20. Let m be w(0). Let l = b - m. Is l composite?
True
Suppose -5*h + 9*h = 13436. Is h a composite number?
False
Suppose -2*r = -2 - 4. Suppose 279 + 834 = r*z. Is z a prime number?
False
Let g(k) = -k**3 + 5*k**2. Let z be g(5). Suppose z*i - 180 = -4*i. Let w = i + -31. Is w prime?
False
Suppose -2*d - 3*u = -20, -3*d - 8*u + 31 = -3*u. Suppose -10*r = -d*r - 597. Is r a composite number?
False
Let s = -603 + 2054. Is s a composite number?
False
Suppose 0 = 5*r + 204 - 894. Let u = r + 53. Is u a composite number?
False
Suppose -4*q = -11*q + 6755. Is q a composite number?
True
Let n = -379 + 118. Let j = -134 - n. Is j prime?
True
Let o = -16 + 10. Let d(g) = -g**3 - 7*g**2 - 7*g - 2. Let v be d(o). Suppose -v*u - 32 = -4*y, -5*y - 2*u + 22 = 2*u. Is y composite?
True
Suppose -q = 4*z - 53, 17 = z + 2*q - 5. Suppose -5*i + z = -3*r, 2 + 1 = 3*r. Is i a prime number?
True
Let v be -11 + 11 - (-6)/2. Let y(i) be the second derivative of i**4/3 - i**3/2 - 2*i**2 + i. Is y(v) a composite number?
False
Let c(n) = -n + 7. Let y be c(8). Is 18 + 7 - (-4)/y a prime number?
False
Let r be 1/(-4) - 1475/20. Let f(i) = i**3 - 3*i**2 + 4*i - 5. Let w be f(6). Let j = r + w. Is j a composite number?
False
Suppose c - 2*l = -c + 1164, -5*l = 5*c - 2920. Suppose 0 = -4*d + c + 565. Is d a composite number?
True
Let m = -11 - -15. Let u(r) = r**2 - 3*r - 4. Let k be u(m). Suppose k = -x + 4*x - 42. Is x a composite number?
True
Let z(s) = -10*s + 1. Is z(-1) composite?
False
Let u(r) = -r. Let s(l) = -37*l - 1. Let b(i) = s(i) - 3*u(i). Is b(-6) a composite number?
True
Let d be 1 - (2 + 3*-1). Let m be 0 - d/(-1) - 1. Is (m - 15)/(2/(-11)) composite?
True
Let n be (-1)/(-1*(3 - 2)). Suppose -2*o + n = -3*q, -4*o = 4*q + 8 - 0. Is o + 60 + 0 + 0 composite?
False
Suppose 1139 - 214 = 5*f. Is f prime?
False
Let t(i) = 16*i**2 + 17*i - 37. Is t(10) composite?
False
Let w be 1*5/(10/152). Suppose -5*g + 114 = -w. Is g a prime number?
False
Let h(t) = 49*t**2 + 13. Is h(6) a composite number?
False
Let f be 1*0/(-1) - -4. Suppose f = -4*v, -135 = -3*m - 5*v + 1. Let q = -28 + m. Is q a prime number?
True
Suppose 3*d + 4*k - 16501 = 0, 3*d - k + 2698 = 19224. Is d a composite number?
False
Let v = 224 + 660. Suppose 0 = 5*x + 10, -5*u + 1159 + v = -4*x. Is u prime?
False
Let b(i) = i**2 - 2*i**2 + 2*i**2. Let f be b(0). Is 78 + (-1)/(f - 1) a composite number?
False
Let f(v) be the second derivative of -v**5/20 + 5*v**4/12 - 2*v**3/3 - v. Let m be f(3). Suppose 3*h + m*u = u + 262, 380 = 5*h - 3*u. Is h composite?
False
Let f(o) = -2*o**3 - 3*o**2 + 6*o + 3. Is f(-6) composite?
True
Let s(j) be the second derivative of 0 + 13/12*j**4 + 3/2*j**2 - 3*j - 5/6*j**3. Is s(4) a prime number?
True
Suppose -5*d + 1792 = -538. Is d prime?
False
Let c be (-2 - -1)/((-5)/395). Let j = 426 - c. Is j prime?
True
Let f(a) = 2*a**3 + a - 1. Let n be f(1). Suppose -n*s - 3*s = -265. Is s a composite number?
False
Let q = 844 - 493. Let k = -100 + q. Is k prime?
True
Suppose 4*w - 4*v + v = 2512, -5*v = -4*w + 2504. Is w a composite number?
False
Let q = 986 + 201. Is q a prime number?
True
Suppose -5*b + b = 0. Suppose b = f - 0 - 1. Is f*(-2 + 1) + 54 a composite number?
False
Let i(q) = 128*q + 1. Suppose -75 = 5*w - 0. Let t be ((-8)/10)/(6/w). Is i(t) a composite number?
False
Let o(v) = -4 - 7*v**3 - 3*v**3 - 4*v + 1. Let u be ((-2)/4)/((-3)/(-12)). Is o(u) composite?
True
Let v(u) = -44*u**2 + 7*u - 6. Let a(t) = -t + 1. Let f(g) = -6*a(g) - v(g). Is f(1) composite?
False
Let u(z) = 120*z**2 - 1. Let n(c) = -c**2 - 2*c. Let r be n(-2). Let o be (1 - r)*(3 + -2). Is u(o) a prime number?
False
Suppose 3*b + 22 = 4*s + b, 0 = -3*s - 3*b + 12. Let z(f) = 34*f - 4. Let a be z(s). Suppose -163 - a = -k. Is k prime?
False
Let b = 32 - -125. Is b a prime number?
True
Let c = -4 + 6. Let d(w) = w**3 + 6*w**2 - 4. Let z be d(-4). Suppose z = 6*i - c*i. Is i a prime number?
True
Let r(o) = o**3 - 4*o**2 - 4*o - 3. Let m be r(4). Let a = 53 + m. Suppose -2*u = 3*q + 2*q - a, u + 3*q = 19. Is u a composite number?
False
Let u = 1 - -2. Suppose -c + 4*r = -16, 3*c + u*r - 6 + 33 = 0. Is (-1)/c - (-211)/4 prime?
True
Let h(n) = 517*n**2. Is h(1) composite?
True
Suppose -2*x = -111 - 127. Is x composite?
True
Let m = 1 + -1. Suppose m = -5*y - 15 + 5. Is 100/(-2)*y/4 prime?
False
Suppose -5*a = -2*i + 4*i - 378, 4*i = 3*a + 808. Is i prime?
True
Let p be 3/6 + 81/6. Let c be (-15)/(-2) + (-1)/(-2). Let q = c + p. Is q a composite number?
True
Suppose -3560 = -5*g - 0*g. Suppose 0 = -2*l - t + g, l + 3*t = 5*l - 1414. Is l composite?
True
Let a(i) = i**3 - i**2 - 5*i + 3. Let v be a(3). Suppose -q = q - v. Is (1/q)/((-4)/(-444)) a prime number?
True
Suppose -8*t = -4*t. Let v(h) = t*h - 10*h + 2*h - 3. Is v(-2) a prime number?
True
Let o = -20 + 20. Suppose o = -2*m - 3*d + 535, 3*m - 783 = -0*d + 2*d. Is m prime?
True
Suppose -4*m + 4*v = 4, -5*m - 3*v + 30 = -5. Suppose 5*k - 3*k = -5*z + 451, k = m*z - 366. Is z a composite number?
True
Let n(p) be the first derivative of -3*p**2/2 - p - 2. Let r(u) = 4*u. Let y(m) = -3*n(m) - 4*r(m). Is y(-4) a composite number?
False
Suppose 0 = -4*w - x - 0*x + 1, -3*w = 5*x - 22. Let z(l) be the first derivative of -45*l**2 - l + 1. Is z(w) composite?
False
Let l(d) = -2*d - 2. Let i be l(-6). Suppose 0*c - i = -c. Suppose k - 21 = -3*o + 19, -c = 5*k. Is o prime?
False
Let x = -19 + 46. Is (-2)/(-9) - (-6015)/x a composite number?
False
Let x be 3 - 5 - (2 + -9). Suppose 169 = 5*r - a, r + 1 - 14 = -x*a. Is r a prime number?
False
Suppose 0 = j + 2*j - 2*b - 745, 2*j - 3*b - 500 = 0. Is j a prime number?
False
Let c(s) = -22*s + 6. Is c(-4) a prime number?
False
Suppose -4 = -4*o + 8. Suppose -965 = -o*v + 658. Is v prime?
True
Suppose -2*w + 5641 = -5*t + 2*w, 4514 = -4*t + 2*w. Let o = t - -1994. Is o a composite number?
True
Suppose d + 4*h - 7 = 0, 2*h + 3*h - 20 = -5*d. Suppose 6*c - 183 = d*c. Suppose -4*s + 4*i = s - 79, -c = -3*s - i. Is s composite?
False
Let a be (-22)/4*2*1. Let k be (8 + -13)*(-2)/(-5). Is (-145)/a - k/(-11) a composite number?
False
Let a be (-1 - -5)*3/4. Suppose 0 = a*o + 3, -2*v - 1 = 5*o - 6. Suppose v*m - z = 3*z + 109, 4*m + 5*z - 120 = 0. Is m a prime number?
False
Let j be 1/4 - 14/(-8). Is (-5)/((-5)/633) + j a composite number?
True
Let y = 1 - 1. Let s = 148 + -87. Suppose 4*j - s - 63 = y. Is j prime?
True
Let w(k) = k**2 + 5*k + 2. Let i be w(-5). Let o be 0 - ((5 - i) + -176). Suppose 0*r + o = r - 4*v, -5*r + 931 = 2*v. Is r a prime number?
False
Let z(l) = 18*l**2 - 5*l - 6. Is z(-5) composite?
True
Suppose -1621 - 604 = -5*v. Is v prime?
False
Let b