 -36*k + 20. Let o be x(-6). Suppose 3*q - 9 = 5*q - 3*b, 0 = -2*q - 5*b - 17. Is 4/(-12) - o/q a prime number?
False
Let d = 132 - 55. Is d a composite number?
True
Let g(u) = u**3 + 3*u**2 - 4*u. Let w be g(-4). Let s(m) = -26*m + 3 + 4 + w. Is s(-6) a composite number?
False
Let p(x) = x**2 + x + 3. Let i(a) = -a**2 - 2*a. Let u be i(-2). Let m be p(u). Suppose 512 = y + 3*y - 2*v, 6 = -m*v. Is y composite?
False
Let b = -544 + -648. Let l = b - -1847. Is l a composite number?
True
Let f be ((-3)/4)/((-2)/8). Suppose 0 = v - 2*z - 76, 4*z + 222 = 2*v + v. Suppose -v = -f*m - 2*m. Is m prime?
False
Suppose -t + 0*j - 5*j = 0, -5*t = -4*j. Suppose -u + 2 = t, 0 = d + u - 47 - 44. Is d prime?
True
Suppose -2*f + 226 + 96 = 0. Is f a composite number?
True
Suppose -3*t - 15 = -132. Is t composite?
True
Let v = -4 + 6. Suppose 2*l + v*z = -3*z + 148, 5*l + 4*z = 387. Is l a prime number?
True
Let y(w) be the third derivative of 13*w**5/10 - w**4/12 + w**3/6 - 6*w**2. Suppose 4*u = -2 + 6. Is y(u) a composite number?
True
Let w be 1/3*(-18)/(-2). Suppose 186 = 2*v - 4*v. Is ((-2)/w)/(2/v) a composite number?
False
Let g = -7 - -4. Let k be g/12*-2*4. Suppose 4*c - 63 = -3*h + k, -5*h + c + 93 = 0. Is h a composite number?
False
Suppose -2*j + 16 + 24 = 0. Suppose j = 5*z, z + 107 = h - 0*z. Is h prime?
False
Is (4*52 - -2) + 1 prime?
True
Let w be (34/3)/(2/(-18)). Let u be (w/8)/(12/(-32)). Suppose 2*h - 3*l - 55 = u, 2*h + 4*l = 54. Is h prime?
True
Suppose r = -5*c - 27, -6*r + 4*c + 16 = -4*r. Let z(u) = -30*u - 1. Is z(r) a prime number?
True
Let b(r) = 2*r**3 + 16*r**2 + 6*r - 5. Is b(-7) a composite number?
True
Suppose -3*r + 1552 = 4*q, -3*r + 1939 = 5*q + r. Is q composite?
True
Let v = -2190 + 3085. Is v a composite number?
True
Let i = 366 + -248. Is i a prime number?
False
Is ((-1)/(-2))/(4/1016) a prime number?
True
Let f = -10 - -22. Suppose 2*q - f = 6*q. Is (-148)/(-3) + q/9 a prime number?
False
Let t = 5 + 0. Let n be (-34)/5*1*t. Let o = 59 + n. Is o a composite number?
True
Let z(j) = 2*j**2 + 8*j + 15. Is z(-8) prime?
True
Let d(m) = 4*m**2 - 13*m - 7. Is d(6) prime?
True
Let c be (-32)/(-12)*(-3)/(-2). Suppose -5*w = 3*l - 110, -w + c*l = -6*w + 105. Is w prime?
False
Suppose 0 = 5*g - 3*u - 2650, -5*u + 253 + 305 = g. Is g a composite number?
True
Let t be (-4)/14 - (-2202)/14. Let h = t - -76. Is h prime?
True
Let h(u) = u**3 + 8*u**2 + u. Let c be h(-8). Is 103/3 + c/(-12) composite?
True
Let i(c) = c**2 - 16*c - 23. Is i(-16) composite?
True
Let q be (-20)/25*(-10)/4. Is 10255/77 + q/(-11) prime?
False
Let h(s) = -20*s**2 + 3*s - 3. Let v be h(2). Let f = 2 - v. Is f composite?
False
Let z(t) = t**3 - 10*t**2 + 8*t + 9. Is z(10) prime?
True
Let g(s) = -3*s - 5. Is g(-13) prime?
False
Let i(d) = -d**3 - 5*d**2 - 5*d - 6. Let z(l) = -5 - 3*l - 3*l + 5*l**2 - l**3 + 2*l**3. Let j be z(-6). Is i(j) a prime number?
True
Let l(t) = t**2 + 5*t - 1. Let f be l(-4). Is f/10 - (-63)/2 a prime number?
True
Suppose 0 = -9*p + 11*p - 70. Is p prime?
False
Suppose -3 - 12 = -3*l. Suppose 0 = -l*c + 15, -80 - 413 = -4*b + 5*c. Is b a composite number?
False
Suppose 3*i - 2*x - 11 = 0, -2*x + 3*x = i - 4. Let k be (i - 5)/((-2)/4). Is (-90)/(-8) + (-1)/k a composite number?
False
Suppose 17*l = 16*l + 697. Is l a composite number?
True
Let q(g) = g**3 - 6*g**2 + 7*g - 5. Let c be q(4). Is c/(-12) + 435/12 prime?
True
Let i be (-4)/22 - 268/(-22). Suppose 0 = -3*r + 2*o + 15, -2*r - 2 + i = -2*o. Suppose -r*h + 38 = 3*k, 0 = -5*k - 5*h + 59 + 21. Is k a composite number?
True
Suppose -s - 213 = -2*s - j, -4*j + 1065 = 5*s. Is s prime?
False
Is 554/(-3)*(5/10 - 2) composite?
False
Let u = 8 + -6. Suppose -u*a - 2 = -6. Suppose 0 = s - 4 - a. Is s a composite number?
True
Suppose 2*u - 7770 = -2*o, 3*o - 3*u - u = 11683. Is o a prime number?
True
Suppose 2*j - 5 = -3. Let s(d) = -4*d**2 - 1. Let r be s(j). Is ((-6)/(-4))/(r/(-20)) a prime number?
False
Suppose 3*s = -5*q + 4*q + 10063, -2*s + q + 6702 = 0. Is s composite?
True
Suppose 3*p = z - 5072, 5*z + 2*p - 25445 = -0*p. Is z a prime number?
True
Let d = 6 - 3. Is d/(-4) - 753/(-12) a composite number?
True
Let w(g) = g**2 - 2*g - 4. Let m be w(3). Let r(c) = 63*c**3 + 4*c + 3. Let v(t) = 62*t**3 + 5*t + 4. Let x(o) = -4*r(o) + 3*v(o). Is x(m) prime?
True
Suppose -5 = 3*v + 10. Let h be (-185)/25 + 3/v. Let u(k) = -k**2 - 11*k - 5. Is u(h) prime?
True
Suppose -5 = -5*m + 5*d, 3*m - 6*m = 3*d - 15. Suppose 6*h = m*h + 78. Suppose -h = -a - 1. Is a a prime number?
False
Suppose 5*b + 1536 = -454. Let r = b - -561. Is r composite?
False
Let g be (-5)/(-4) - (-2)/(-8). Is ((-295)/15)/(g/(-3)) a prime number?
True
Suppose 31437 = 31*z - 22*z. Is z composite?
True
Let g be -1 + (-2 - 2/(-2)). Let r = g + 3. Is r*(-11)/2*-2 a composite number?
False
Let r(u) be the third derivative of -1/6*u**3 + 1/12*u**4 - 1/30*u**5 + 0 + 23/30*u**6 + 0*u - 2*u**2. Is r(1) composite?
True
Let z(m) = -m**3 - 5*m**2 + 5*m - 6. Let x be z(-6). Let a(h) = x*h - 8*h + 0*h - 11. Is a(-8) prime?
True
Is (-8 + 959)*(-2)/(-6) a prime number?
True
Suppose 0 = 5*i - 5*q - 1575, 0 = -5*i - 5*q + 1 + 1614. Is i a composite number?
True
Let k = -16 + 44. Suppose 0*f - 2*f + k = 0. Is f prime?
False
Let s(n) = n**3 + 4*n + 533. Is s(0) composite?
True
Let l be 1/(-2) + (-34)/(-4). Suppose l*s - 57 = 5*s. Is s composite?
False
Suppose 2*r = 4*r. Suppose -q + 0 + 215 = r. Is q composite?
True
Is (-1)/(5/(-12605) - 0) a composite number?
False
Let m be 205/(-3) - (-1)/3. Let d = -85 - -54. Let h = d - m. Is h prime?
True
Suppose -h + 8 = 2*x + 2*h, -x = 5*h + 10. Let f = x - 8. Suppose -f*v + 106 = t, 5*v + 7*t - 3*t - 265 = 0. Is v prime?
True
Suppose 4*j - 88 = -4*b, -3 = -j + 4*b - 1. Let h = j - 13. Suppose h*g - 622 = -177. Is g prime?
True
Is ((-1)/(-2))/(3/1542) a composite number?
False
Let k be (-1)/4 - 25/(-20). Is 15*k*7/3 a composite number?
True
Let p(n) = -n**3 + 2*n. Let y(c) = 4*c**3 + c**2 - 7*c. Let d(t) = 9*p(t) + 2*y(t). Let v be d(3). Is (v - 1 - 2) + 97 prime?
True
Let o(d) = -d**3 + 5*d**2 + 4*d + 4. Let x be o(5). Suppose 0 = l - x + 4. Suppose -k = -5*p - 449, -3*p - l = -8*p. Is k prime?
False
Suppose -5*c = -13 - 22. Suppose -3*y = 5*d - c*y - 106, -5*y = -3*d + 61. Is d a prime number?
False
Suppose 5*z - 13 - 20 = -4*h, 0 = 5*h - 5*z + 15. Suppose 6 = -n - 2*v - 5, 2*v + 2 = 0. Is h/n + 515/9 a prime number?
False
Is (-24)/(-12)*(-149)/(-2) prime?
True
Suppose 6*p = 9*p - 6. Let w = 2 + 0. Is (-33)/(w - 3) + p prime?
False
Let b be (-1)/(-3) - 75/9. Let k = b - -23. Is k a prime number?
False
Is ((-1)/(-2))/(5/(-6690)*-3) a prime number?
True
Is (-3)/(-15) - (-154)/5 a composite number?
False
Let k = 8004 + -5053. Is k a composite number?
True
Suppose 0 = -5*u + 20, -2*c + 5*u + 4 = 18. Suppose -c*r + 5 = -2*r. Suppose 0 = 4*l - 3*k - 806, -5 = -r*k + 5. Is l a prime number?
False
Suppose 3*d - 2233 = 1184. Is d a prime number?
False
Suppose -7*g - 9*g = -1376. Is g a prime number?
False
Let c(h) = -h - 5. Let i be c(-10). Suppose 0 = 3*a + u - 456 - 154, 0 = -i*a + u + 1006. Is a a composite number?
True
Let o = -53 - -376. Is o composite?
True
Let b = -126 + 161. Is b a prime number?
False
Suppose 6 = 2*k - 0. Suppose -4*c = 4*t + 480, -6*t + t = k*c + 590. Let f = t - -166. Is f prime?
False
Let t be 4 + (0 - (6 - 3)). Let c(x) = 52*x**3 + 2*x - 1. Is c(t) composite?
False
Suppose 2*h + 2*t + 10 = 4*h, -5*h - 3*t = -17. Suppose 0 = -h*m + 12 - 52. Is (-9)/15 + (-746)/m composite?
True
Let w(t) be the second derivative of 3/4*t**4 + 1/20*t**5 - 3/2*t**2 + 0 - t + 1/2*t**3. Is w(-8) a composite number?
False
Let x(m) = -m**2 - 5*m + 4. Let i be x(-5). Suppose -3*f - 164 = -i*b, 23 = -3*b - 4*f + 171. Suppose 2*v + 2*v = b. Is v a composite number?
False
Let d be 2/(-7) + (-20)/28. Let t be 23 - (-2 + d + 1). Let s = 62 - t. Is s a prime number?
True
Suppose -2*y + 209 + 295 = 0. Let n = -125 + y. Is n a composite number?
False
Let z = -614 - -961. Is z a prime number?
True
Let q(b) be the third derivative of -7*b**4/8 + b**3/6 - b**2. Let w(v) = v**2 - 3*v - 1. Let n be w(3). Is q(n) a prime number?
False
Let c = 5 - -1. Is (10 - -1) + (c - 3) a composite number?
True
Let z(m) = m**3 - 3*