*r + t. Is f a prime number?
True
Let i be 4/10 + (-32)/5. Suppose -10 = -g + 6*g. Is ((-15)/g)/((-3)/i) a prime number?
False
Let j(z) = z. Let a be j(0). Suppose r - 4*y - 69 = -a*y, -y = -4*r + 216. Is r a composite number?
False
Let i(s) = 4*s**2 - 33*s + 13. Is i(-14) a composite number?
False
Suppose -17 = -5*r + 13. Let j = r + 27. Suppose j = -7*i + 10*i. Is i composite?
False
Let m = 5 + 48. Suppose -2*s = -q + 25, 3*q = q + 5*s + m. Is q a composite number?
False
Let p be (0 - 0) + 1 + -2. Let b be (p/(-2) + -1)*0. Suppose 111 = -b*f + 3*f. Is f a composite number?
False
Suppose -7*i = -11*i + 12. Is i composite?
False
Suppose 1367 = 2*z - y, z = -3*y - y + 706. Let f be z/6 + (-2)/(-3). Suppose 5*m = -0*m + f. Is m a composite number?
False
Let a = -14 - -14. Suppose a = -2*w - 3*z + 181, 8*w - 357 = 4*w - z. Is w prime?
True
Let i(o) = -1. Let l(q) = -3. Let t(f) = 4*i(f) - 4*l(f). Let k(m) = m + 7. Let a(h) = -3*k(h) + 2*t(h). Is a(-8) prime?
True
Let f(d) be the second derivative of -7*d**5/120 - d**4/8 - d**3/6 - d. Let h(k) be the second derivative of f(k). Is h(-8) a prime number?
True
Let l = 1618 + 2169. Is l a prime number?
False
Let a(w) be the second derivative of -5*w**3/2 - 5*w**2 + 2*w. Let v be a(-8). Suppose -5*g = -0*g - v. Is g a prime number?
False
Let s = 55 + 58. Is s prime?
True
Suppose 3*o = 2*p - 968, 4*p + 0*o + 2*o = 1968. Is 5/(-15) + p/3 a prime number?
True
Suppose 5*i = 2736 - 301. Is i composite?
False
Is (3/(-9))/(2/(-402)) composite?
False
Is ((-4677)/9)/(2/(-6)) composite?
False
Let k(r) = 37*r - 13. Is k(11) a composite number?
True
Is 3/(0 + (-212)/71 + 3) composite?
True
Suppose 0 = 4*o + 4*w - 608, 0*o + 3*w + 760 = 5*o. Suppose 0 = 5*a - 9*a + o. Is a a composite number?
True
Suppose 3*x = -5*o - 10, -2*x - o + 1 = 3. Suppose -5*j - 3*d + 110 = 38, j - 4*d - 19 = x. Is j a composite number?
True
Let b(p) = 18*p**2 - 2*p + 1. Suppose -5*h + 36 = -2*h. Suppose 5*d + h = 2*z, -5*z = -1 - 4. Is b(d) a prime number?
False
Is 285/6*12/10 composite?
True
Let w = 258 + -79. Is w a composite number?
False
Let d(c) = -c**2 + 13*c - 12. Let l be d(12). Suppose -4*o = -3*w - 1939, 478 = o - l*o - 3*w. Is o composite?
False
Let s = 3 - 2. Suppose s = -0*n - n. Is n/3 - 284/(-6) prime?
True
Let m(t) = t**3 + 6*t**2 + 5*t + 6. Let o be m(-5). Suppose 3*a - 16 = -5*g, o*a + 34 = 5*g + 3*a. Suppose 2*h - 99 = g*p, -h + 37 = -3*p - 13. Is h composite?
False
Suppose 5*b - m - 1288 = -0*m, -2*b = -5*m - 529. Is b prime?
True
Let x be 2/8 - (-11)/4. Suppose 2*b - b = -5*f + 430, x*f + 2*b - 265 = 0. Is f a composite number?
True
Suppose 5*o = p - 25, -2*p = -4*o - 17 - 9. Is -49*3/12*o composite?
True
Suppose 3*g + 2*v = 1604, 289 - 1888 = -3*g - 3*v. Suppose -4*f + 3*b = -g, -5*f + 5*b + 93 = -582. Is f a composite number?
True
Let d = -7 - -14. Suppose 0*o + 3*l - d = -2*o, o - 4*l = 9. Suppose -40 = -s - o. Is s a prime number?
False
Suppose -4*q = -4*t, 4*q - 10 = -q. Let f be 2*86/4 - t. Let g = f - 28. Is g composite?
False
Let l be (-6)/(-8)*(-1 - -5). Suppose -5*u + 212 = -l*p, -p = u + 2*p - 46. Suppose 4*k + 3 - 1 = -2*r, 0 = 5*r - 2*k - u. Is r a composite number?
False
Let w = 152 - 101. Is w composite?
True
Suppose 5*d = 9 + 1. Suppose -4*q - q - 10 = 0, 4*m = 4*q + 24. Suppose -d*h = -0*l - 2*l - 52, 0 = h + m*l - 11. Is h a prime number?
True
Let n(y) = 2*y + 169. Let o be n(0). Suppose -5*l - 4*b + o = 0, -3*l + 1 = 5*b - 103. Is l composite?
True
Let v(h) = 2 + 2*h - 6*h + 0*h**2 + 3 + 8*h**2. Is v(-6) prime?
True
Let y(n) = -2*n - 6. Let k be y(-6). Suppose -k*l + 185 = -l. Is l composite?
False
Is (17/(-34))/((-1)/26) composite?
False
Suppose 0*z + 3*c = 2*z + 11, 3*z - 3*c = -18. Let v(d) = d**3 + 8*d**2 + 6*d + 4. Is v(z) a prime number?
True
Let l(f) = -218*f**2 + 2*f + 1. Let g be l(-1). Let m = g + 872. Is m a composite number?
False
Let s be 34/6 - (-8)/(-12). Let j(i) = -i**2 + 6*i - 2. Let b be j(s). Suppose -5*u = -5*w - 60, b*u - 42 = -w + 2*w. Is u a composite number?
True
Is (2/(-9) - (-103672)/288)*4 a composite number?
False
Let z(i) = -i - 7. Let t be z(-11). Let g(k) = 60*k**2 - t*k**2 + 2 - 1. Is g(-1) a composite number?
True
Suppose p = 2*t + 283 + 442, 5*t + 3610 = 5*p. Is p prime?
True
Let v(i) = 2*i**3 - 17*i**2 - 8*i - 5. Is v(12) composite?
False
Suppose -8*f = -f - 175. Suppose -f*n + 30*n - 190 = 0. Is n a composite number?
True
Let d be (-13)/(-4) - 5/20. Suppose -y = d*y - 268. Is y composite?
False
Suppose 28 = 2*o - 0*o. Let w = -1 + o. Is w a composite number?
False
Let u = 256 + -107. Is u composite?
False
Let i = 10265 - 6276. Is i composite?
False
Suppose 0 = 3*l + b - 8, 2*l - b = l. Suppose l*f - 10 = -3*f, -2*w - 4*f = -1714. Is w prime?
True
Suppose -2*i - 7836 = -6*i. Is i a prime number?
False
Let f = -28 - -81. Is f a composite number?
False
Suppose c = -c + 172. Is 2*c - (-1 + 4) composite?
True
Let f be (-8)/(-6) + (-4)/(-6). Let y(k) = 13*k**3 - 3*k**2 + 2*k - 2. Let q be y(f). Is 1/4*q*2 a composite number?
False
Let p(u) be the first derivative of u**4/4 + 2*u**3 - 7*u**2/2 + 2*u - 1. Let y be p(-7). Is (-11)/(y + (-11)/5) composite?
True
Let c = -6 + 7. Is 336 + (c - (4 - 2)) composite?
True
Let x = 2266 + -867. Is x a prime number?
True
Let l = -14 - -18. Is (-7209)/(-15) + l/10 a prime number?
False
Suppose -10*u + 13*u - 381 = 0. Is u a composite number?
False
Let n = 679 - 300. Is n prime?
True
Let g(m) = m**3 - 3*m**2 + 2*m - 3. Let p be g(3). Let r be 0*p/(-9) + 0. Suppose 0 = -r*o + 5*o - 50. Is o composite?
True
Let l be (-27)/21 + (-2)/(-7). Is 92 - (l - -4) - 0 a prime number?
True
Let n(c) = 9*c + 4. Let z(q) = 26*q + 12. Let b(i) = -11*n(i) + 4*z(i). Is b(3) a composite number?
False
Suppose -5*m = 3*u - 121, 1 = 4*u - 4*m - 139. Is u composite?
False
Let u(n) = -17*n - 9. Is u(-4) composite?
False
Let v(l) = 5*l**2 - 6*l + 5. Let q be 9/2 - 2/(-4). Let j be v(q). Suppose 0 = 5*z + j - 545. Is z a prime number?
True
Is (1/4)/(3/30516) a composite number?
False
Let f(y) = y**2 - y + 5. Suppose 2*t = -5 - 5. Is f(t) a prime number?
False
Suppose -1 + 5 = l. Suppose 3*b + 2*z = 28 + 20, 4*b - 64 = 4*z. Suppose -p - 4*w = p - b, -2*p + l*w = -40. Is p composite?
True
Suppose -j - j + 4*d + 666 = 0, d = -4*j + 1323. Is j a prime number?
True
Let d(s) = -s**2 + s - 1. Let z(w) = -8*w**2 + 12*w - 4. Let i(m) = 5*d(m) - z(m). Is i(7) a composite number?
False
Is 6/(-8) - (-12472)/32 a prime number?
True
Let h(y) = y - 3. Let k be h(5). Let q = k - -1. Suppose -5*t - 3*x + 274 = 0, q*x - 59 - 3 = -t. Is t a composite number?
False
Let q = 19 - 15. Is (-170)/5*(-22)/q a composite number?
True
Let j be 0*(2 - (-5)/(-2)). Let z be 12/3 - (2 + j). Suppose -4*q + d + 449 = 0, 0 = -q - z*q - 4*d + 351. Is q prime?
True
Suppose -j + 2*j - 267 = 0. Is j a prime number?
False
Let h(b) = -3*b - 3. Let m(l) = 2*l - 10. Let g be m(7). Suppose 2*u = 3 - 5, 4*u = g*k + 20. Is h(k) prime?
False
Suppose 0 = -5*d - v + 47, -4*d = -2*d - 5*v - 35. Let j = 11 - d. Suppose -5*s = 3*f - 86, s + 3*f = -j + 11. Is s prime?
True
Let q = -2374 - -4595. Is q a prime number?
True
Suppose -2 = r - 1. Is r/4 + (-141)/(-4) a composite number?
True
Suppose 4*p + 76 = 8*p. Suppose -3*s - p + 196 = 0. Is s a prime number?
True
Suppose -2*n + 142 = -106. Suppose -5*u = -u - n. Suppose -4*c = -u - 9. Is c composite?
True
Let f(k) = -9*k + 2. Is f(-9) a composite number?
False
Let p be 2/(-9) + 64/(-36). Let z be 5/p*(-18)/15. Suppose d - 4*i - i - 87 = 0, 256 = 4*d + z*i. Is d a composite number?
False
Let d(c) = c**2 + 3*c + 1. Let b be d(7). Suppose k - 364 = -b. Is k a prime number?
True
Suppose 0 = 11*q - 3244 - 3169. Is q prime?
False
Let z be (-9)/6 + 17/2. Suppose 4*n + 39 = s, 3*s - 144 + z = 2*n. Suppose p = 3*d - p - s, 0 = -5*d - p + 61. Is d a prime number?
True
Let u be (7 - -2) + -1 + -2. Suppose 2*h = 3*g - u*g + 1115, 2*g - 737 = 5*h. Is g composite?
True
Suppose 5*b = b + 16. Suppose 5*x - 873 = 3*m - 6*m, b*x + 2*m - 700 = 0. Is x composite?
True
Let y(t) = 91*t**3 + t - 1. Is y(1) a composite number?
True
Let j be 2*(-39)/12*-2. Suppose 11*l + 1018 = j*l. Is l a prime number?
True
Let v = 2218 + -1263. Is v prime?
False
Let a = -2387 + 3648. Is a composite?
