se 0 = 2*a + 3*a - 35. Suppose -3*c = 2*p - 27, -3*p + a*p + c = 29. Is p a composite number?
True
Let m(t) = t**2 - 8*t. Let f be m(8). Suppose -3*x + 222 + 195 = f. Is x prime?
True
Let z = -9 - 2. Let b be (-10)/55 + 383/z. Let x = b - -72. Is x prime?
True
Let q(f) = -809*f**3 - f - 1. Is q(-1) composite?
False
Let v = 45 + 29. Is v prime?
False
Let t(o) = -o**2 - 11*o - 10. Let c be t(-5). Let a = 51 - c. Is a composite?
False
Let t(d) = 7*d**2 - 22*d - 8. Is t(13) a composite number?
True
Let t(z) = z**3 - 2*z + 0*z**3 + 7*z**2 + z. Let y = -12 - -7. Is t(y) prime?
False
Let l(k) = -168*k**2 - 6*k - 5. Let n(a) = -337*a**2 - 13*a - 11. Let y(s) = -13*l(s) + 6*n(s). Is y(-1) prime?
False
Is 2/(-6) - (8 - 4593/9) prime?
False
Suppose 2 = -k, o + o = -2*k + 2794. Is o a composite number?
False
Let y(p) = p**3 + 6*p**2 + 5*p + 4. Let g be y(-5). Is ((-12)/5)/(g/(-10)) prime?
False
Let h(t) = 224*t**3 - t**2 - t + 1. Is h(1) composite?
False
Suppose -5*g + 4*x - 4 = 0, -3*g - 5*x - 8 = 24. Is ((-15)/g)/(1/4) prime?
False
Let j be 6/15 + 436/10. Suppose 72 + j = 2*u. Is u composite?
True
Let v(i) = -i**2 + 3. Let q(m) = m**2 - 10*m - 11. Let d be q(11). Let n be v(d). Suppose n*o - 235 = -2*o. Is o a composite number?
False
Let q = -2 + 2. Let z be (q - -1)*(87 - -3). Let o = z + -23. Is o a composite number?
False
Suppose 0*s - 6*s = -138. Is s a composite number?
False
Suppose 2*p = 3*p + 5*w + 1, 2*p + 2 = -5*w. Is (8/24)/(p/(-501)) a composite number?
False
Let i(b) = -b**3 - 7*b**2 - 7*b + 5. Let m be i(-6). Suppose 0 = -5*h - 5*a - 5, a = 5*h + 2*a - m. Suppose h*t + 6 = 24. Is t a prime number?
False
Let d be (-2 - -1)/(3/9). Is (-381)/(d - (-2)/1) composite?
True
Let m = 7 - -3. Suppose -810 = -5*k - z + 510, m = 2*z. Suppose -5*n = -0*b - 5*b + 430, -k = -3*b + 2*n. Is b prime?
False
Let g = -10 - -31. Let q = 4 + g. Is (-2 + 3)*1*q a prime number?
False
Let h(k) = -k**3 - k + 1. Is h(-5) a prime number?
True
Suppose -2*u = 3*u - 50. Let a(z) = z**3 - 9*z**2 - 10*z + 11. Is a(u) a prime number?
True
Let j be 2/14 + 2/(-14). Let y = 95 + j. Is y a composite number?
True
Let l = 83 - 57. Let w be (-2 - -2) + (5 - (3 - 1)). Suppose -2*d = 3*n - 129 + l, -w*d - 5*n + 154 = 0. Is d a prime number?
True
Suppose 5*v - 5*b = 35865, 2*v - 4*b + 21547 = 5*v. Is v prime?
True
Suppose 0*c - 5*c + 1280 = 0. Is (-2)/(-4)*(-2 + c) composite?
False
Let c(n) = -3*n**2 + 2. Let d(u) = -u**2 + u - 1. Let l(a) = c(a) - 2*d(a). Let s be l(-5). Let g = s + 20. Is g composite?
True
Suppose 3*f + 0*f - 1923 = 0. Is f composite?
False
Let w = -4 - -98. Is w a prime number?
False
Suppose -10744 + 3074 = -10*r. Is r prime?
False
Suppose -6*r = -s - r + 96, 0 = 4*s - 4*r - 464. Is s composite?
True
Is (6/2)/((-48)/(-304)) prime?
True
Is 184/2 + (-3)/(-3)*-3 composite?
False
Suppose 1 = s - 2. Suppose 0 = -y + j + 2*j + 39, 5*j = -s*y + 47. Let z = y - -10. Is z a prime number?
False
Suppose -75*l + 19354 = -73*l. Is l composite?
False
Let d be 219 + (2 - 2) + 3. Suppose -3*f + 45 + d = 0. Is f composite?
False
Let n(f) = -52*f + 10. Let z be n(-8). Suppose 3*v - 237 = z. Is v prime?
False
Let z = -220 + 647. Is z a composite number?
True
Let q = -15 + 13. Is (-45 + q)*(-4 + 1) a composite number?
True
Is 154 - (2 - (-3 - -6)) a composite number?
True
Is -8 - -5 - (-75)/3 a composite number?
True
Is (-4150)/(-20) - 6/(-4) a prime number?
False
Suppose 3*c - 5*o - 2 = 0, -5*c - 3*o = -6*o - 30. Is 573/(-2)*(-6)/c a prime number?
True
Suppose -1 + 191 = 2*u. Is u prime?
False
Let t(z) = 2*z**2 + 10*z + 9. Is t(-7) a composite number?
False
Let x(z) = -z**3 + 32*z**2 - 31*z - 41. Is x(28) a composite number?
True
Let q be 5*-3*2/3. Let c be (-36)/q + (-4)/(-10). Is (6/c)/(2/52) composite?
True
Suppose 0 = -2*y + 4*y - 8. Suppose y = 2*p - 10. Is p composite?
False
Suppose -4*i = y - 4, 0 = 5*i - 2*y - 0*y - 5. Is (-89)/((i - 0) + -2) a prime number?
True
Suppose 0 = -r + 2*r - 4. Suppose -2*j - 2*j + 112 = -r*k, -j - 5*k + 16 = 0. Let l = j + -7. Is l a prime number?
True
Suppose 12*s = 5*s + 763. Is s a prime number?
True
Let s be (-2)/10 - 5117/(-35). Is -1 + 2 + s + -2 prime?
False
Suppose 3*j - 1682 = 421. Is j prime?
True
Suppose 0 = 3*v + 2*v - 20. Suppose 0 = 3*n - 5*f + v*f - 89, 4*n + 5*f - 144 = 0. Is n a composite number?
False
Let v be 2/(-8) + 51/12. Let t(y) = -y**2 - 5*y + 6. Let o be t(-5). Let a = o + v. Is a a prime number?
False
Is 132 + (-1)/(2 + -3) composite?
True
Let y = 6 + -12. Let t be (-322)/y - (-4)/(-6). Suppose -87 = -4*g + t. Is g prime?
False
Let b(i) = -6*i + 7. Let h be b(-6). Let n = h + -13. Let r = n + -17. Is r a composite number?
False
Is ((-18)/4)/(-9)*1174 composite?
False
Let k(z) = -z**3 - 7*z**2 - 8*z - 7. Let c be k(-6). Let j be (-1 - (-2)/10)*c. Is (-147)/j - (-3)/12 a prime number?
True
Let p = 1814 - 1273. Is p composite?
False
Let j(m) be the second derivative of 2*m**5/15 + m**4/6 - m**3/6 + 3*m**2/2 + 2*m. Let k(l) be the first derivative of j(l). Is k(-3) a prime number?
True
Let s = 94 + -57. Is s a prime number?
True
Let i be ((-290)/15)/(3/(-9)). Is (-3)/((-2)/i*1) a prime number?
False
Let q(u) = 2*u**2 + 3. Let r be (1 - 0) + -11 + 10. Suppose -2*w - 4 = -r*w, -4*v = -5*w + 6. Is q(v) prime?
False
Let q(o) = -59*o**3 + 6*o**2 + 5*o + 7. Let x(n) = 58*n**3 - 5*n**2 - 4*n - 6. Let b(s) = 5*q(s) + 6*x(s). Suppose 0 = -u + 1. Is b(u) a composite number?
False
Let z(n) be the second derivative of 13*n**4/24 - n**3/3 + n**2/2 - n. Let t(h) be the first derivative of z(h). Is t(3) composite?
False
Let s = 200 + -141. Is s prime?
True
Let n be -1*(-1 - 0)*-7. Let v = 46 - n. Is v prime?
True
Suppose a = 5*h + 5, 4*a = -h + 13 + 7. Let z = 119 - h. Is z a prime number?
False
Suppose 4*c + 2 + 1 = -3*g, 5*c - 5*g = 5. Suppose 5*h - m = -c*m + 592, 0 = -3*m + 9. Is h composite?
True
Suppose 2*s - s - 4*p = 1637, 8085 = 5*s + 5*p. Is s a composite number?
False
Let f(m) = -m**3 - 3*m**2 + 8*m - 5. Let h be f(-6). Let l be -1 + (-1 - (-28)/(-1)). Let u = h + l. Is u a prime number?
False
Let p = -4 - -8. Suppose -g + 3*g = p. Suppose 5*o - 303 = -g*k, 3*k = 14 - 2. Is o a composite number?
False
Let p = 4 + -2. Suppose -4*j + 5*m = -45 - 30, -p*j + 30 = -4*m. Is j prime?
False
Suppose 4*k = 2*c + 3064, 5*k - 1279 - 2552 = 2*c. Is k a composite number?
True
Let y(w) = 15*w**2 + w - 1. Let t = -5 + 6. Is y(t) a composite number?
True
Suppose 5*l - 15 = -0*l. Let q = 6 - l. Suppose -2*b + 146 = -3*y, -221 = -q*b - y + 6*y. Is b a prime number?
True
Suppose -c = 3*c - 16. Is (2/c)/((-1)/(-18)) a prime number?
False
Let g be 1 + -3 + 1*5. Suppose 5*v - 5*y = 95, 0 = 3*v + g*y - 19 - 8. Is v composite?
True
Suppose 5*r + 0 = -10. Let q be (r/1)/((-4)/(-14)). Is 0/1 - (-12 + q) composite?
False
Suppose 2*i = -m - 4, 2*i + 34 = 4*m - 0*i. Is m a composite number?
True
Let u = -15 - -77. Is u a composite number?
True
Suppose 0 = -r + 6*r. Suppose r*o = 2*o - 72. Let f = -25 + o. Is f prime?
True
Let o(l) = l**2 + 7*l + 3. Is o(8) composite?
True
Let h(d) = 53*d**2 - 2*d + 3. Is h(2) prime?
True
Let v = 2149 + -1504. Suppose -5*b + 410 = -v. Is b composite?
False
Let p(q) = -9*q**3 + 7*q**2 + q + 4. Let r(u) = 10*u**3 - 8*u**2 - 5. Let n(w) = 4*p(w) + 3*r(w). Is n(-3) composite?
True
Let w = -207 + -163. Let n = -77 - w. Is n a prime number?
True
Suppose 5*x + 16 = -14. Let t be (-3)/9 - 134/x. Let g = t + -15. Is g a prime number?
True
Let g(f) = 3*f**2 + f + 2. Let m be g(2). Suppose -m = -z + 2*s, 2*s - 5 = -5*z - 3*s. Is z a prime number?
False
Let x(t) = -2*t. Let v be x(1). Is 0/(v/(-2)) - -97 prime?
True
Let w = -317 - -185. Is (w/(-18))/((-4)/(-18)) composite?
True
Let u be 1779/6 + 2/(-4). Suppose 3*q + u = -q. Let t = 3 - q. Is t prime?
False
Is 2*(-2)/3*15384/(-32) a composite number?
False
Let t = -25 - -11. Let s = t + 29. Is s a composite number?
True
Suppose -3*c = -c - 4. Suppose -430 = -5*o - 5*z, 85 = -o + c*o + 2*z. Let h = 134 - o. Is h prime?
True
Let h be ((-1)/2)/(3/(-12)). Suppose -h*g = o - 111, 2 - 63 = -g + 5*o. Suppose -4*q + d - 64 = -6*q, -3*d = -2*q + g. Is q a prime number?
True
Let b(i) = i**3 + 2*i**2 - 8*i - 6. Is b(7) prime?
True
Let m(l) = l**3 + 6*l**2 - 8*l - 6. Let t be m(-7). Suppose 3*