f a composite number?
False
Suppose -3*b - 462 = -j + 4*j, 4*b + 614 = -2*j. Let k be (-1 - b) + 3 + -1. Let o = k - 87. Is o a prime number?
True
Suppose -4*d - 18 = -d. Let v(i) = -i - 3. Let r be v(d). Suppose f = -r - 1, -5*a + 85 = 5*f. Is a a prime number?
False
Let b(i) = -2*i**3 - 4*i**2 - 2*i - 5. Let g = -13 - -20. Let z = g + -11. Is b(z) prime?
True
Suppose -k - 3 = -r - 3*k, 3*r - 3*k = 18. Suppose -r*b = 20, 2*v + 3*v = 4*b - 14. Let n(s) = -s**2 - 9*s - 3. Is n(v) prime?
False
Is (126/33 - 4) + (-7339)/(-11) prime?
False
Let o(m) = m**2 - m - 2. Let x be o(2). Is 381/(-6)*(x + -2) a composite number?
False
Let u(p) = 2*p**2 - 4*p - 5. Let y be u(-4). Let c(t) = t**2 - 3*t + 1. Let k be c(-4). Let f = y - k. Is f a composite number?
True
Let r = -4 - -7. Let b = -27 + 29. Suppose -b*a - r*j + 62 = 0, -a + 25 = 5*j - 6. Is a composite?
False
Suppose 5*l + 6 = -14. Is (2 - (-16)/l) + 367 a composite number?
True
Let h = -3 - -3. Suppose -4*j - 17 + 5 = h. Let c = j + 16. Is c composite?
False
Suppose -4*t - 4*w + 272 = 0, -5*w + 183 = 3*t - 23. Is t a prime number?
True
Suppose 0 = 5*p - 2*z - 1695, -2*p + 107 = -4*z - 571. Is p a composite number?
True
Let x(g) = g**3 - 8*g**2 + 8*g - 4. Let q be x(7). Suppose -p - 239 = -2*v, 3*v + q*p = 4*v - 112. Is v a prime number?
False
Suppose -2*k - 2*k - 20 = 0, 2*c = 3*k + 21. Is (c - (-10)/(-4))*446 a prime number?
True
Let f(y) = -y**3 + y - 25. Let t(a) = a**3 + 6*a**2 + 4*a - 5. Let o be t(-5). Let n be f(o). Let q = n - -36. Is q a composite number?
False
Is 1 - 2715/(-25) - (-3)/(-5) a composite number?
False
Suppose -4*m = 2*c - 28, 3 = -3*c + 3*m - 0. Let z = c + -1. Suppose f = 4*w + 93, -z*f - w + 344 = -0*w. Is f composite?
False
Let b be ((-6)/(-4))/(3/6). Suppose 0 = k - 2 - b, 5*v = k + 15. Suppose w - 31 = v*z, -5*z = -0*z. Is w a composite number?
False
Suppose 6 + 38 = 4*o. Suppose -2 = 3*u - o. Suppose -u*w - 60 = -5*g, 2*g - 23 = -2*w + 17. Is g a composite number?
True
Let g = 3 - 5. Is (-20)/(4*g/4) composite?
True
Suppose -10 = 5*s, 0*s = -p - 5*s - 14. Let l = p - -4. Is 89 - -1 - (1 + l) a composite number?
False
Let l(i) = 5*i**2 + 4. Let a be l(3). Let v = 86 - a. Let t = v - 23. Is t prime?
False
Let s(m) = 90*m - 13. Is s(9) composite?
False
Let n be 1*-1 + (-1020)/(-3). Suppose -a + n = 2*a. Is a a prime number?
True
Suppose -5*q + 16 = -29. Let z be 6/q + (-10)/(-3). Suppose 4*n - 255 = -n - 5*i, 2*i + z = 0. Is n composite?
False
Let b(h) = h + 14. Is b(5) a composite number?
False
Suppose 4 = -z, -2*g + g + 4*z - 323 = 0. Let n = -224 - g. Is n prime?
False
Let n(h) = 4*h. Let v be n(1). Let b be (1 - 6)*2/(-5). Suppose -2 = -i - b*x + 15, -5*i = -v*x - 141. Is i prime?
False
Let p = -5 + 7. Suppose 5*f = -i + p*f + 46, -i + 49 = 4*f. Is i composite?
False
Suppose -2*x - 324 = -4*d, 5*d - 81 = 4*d + 4*x. Suppose -d - 37 = -2*b + 3*c, 3*c = 5*b - 277. Is b a prime number?
True
Let u be ((-4 - -3)*-79)/1. Suppose -u = -2*y + 39. Is y composite?
False
Suppose -2*q + 3*y = 3*q - 27, 0 = -4*q - y + 8. Suppose 7*r = r + 1056. Suppose 29 - r = -q*m. Is m prime?
False
Let j(g) = g**3 + 3*g**2 - 2. Suppose -3 = 4*i - 3*i. Let a be j(i). Is (111/a - 2)*-2 prime?
False
Let u = 4 + 0. Suppose -2*v = -x + 97, x - u*v = 2*x - 67. Suppose 2*b - x = 79. Is b a prime number?
True
Suppose 5*z - 4*m + 2 = -3, -2*m - 5 = -5*z. Suppose 0*c - z*r - 1153 = -c, 1157 = c - 4*r. Is c a composite number?
True
Let k(f) = f**3 - f**2 - f + 89. Is k(0) a prime number?
True
Is (-867)/(-11) - (-2)/11 prime?
True
Let s = 4 - 4. Suppose s = -x + 6*x - 15. Suppose -2*l + 0*l = x*m - 122, -3*m - 12 = 0. Is l composite?
False
Suppose -5*c = -3*p + 6*p - 6464, 3*p - 4*c = 6455. Is p composite?
False
Let p(n) = -n - 7. Let s be 0 + 3 + (-9)/1. Let b be p(s). Is (134/4)/(b/(-2)) a composite number?
False
Suppose 5*r - 2*m + 3*m - 1290 = 0, 2*m = 10. Is r a prime number?
True
Let a be (11/(-2))/((-3)/6). Suppose -36 = -a*o + 7*o. Is 61/o + 2/9 a prime number?
True
Suppose -2*t - 16 = -4*t. Let x(y) = -y**3 + 7*y**2 + 7*y + 11. Let g be x(t). Suppose 0 = 2*p - g*p + 53. Is p a composite number?
False
Let f(g) = g**2 + 6*g - 1. Suppose 4 = 3*s - 8. Let c = s + -12. Is f(c) composite?
True
Let z(d) = 11*d - 2. Let c be z(8). Let f = c + -51. Is f composite?
True
Suppose g - 25 = 8. Is g a prime number?
False
Let y = 9 + -6. Let m(x) = 0*x**2 - 2*x - 4 + x**3 + 4*x**2 + 0*x**3. Is m(y) composite?
False
Let r(g) = -g**3 + 5*g**2 - 4*g. Let l be r(4). Let i be (-25)/((l + 1)/(-1)). Let p = 13 + i. Is p composite?
True
Is ((-45725)/20)/(-5) - (-2)/(-8) a composite number?
False
Let d(j) = 36*j**2 + j - 7. Is d(5) a composite number?
True
Let t be 2 + (2 - 3) - -221. Suppose -3*x + 3*d + 333 = 0, 0 = x + x + 3*d - t. Is x prime?
False
Suppose -4*u - 3*v + 9121 = 0, 4*v = 3*u - 7512 + 665. Is u a composite number?
False
Let r(h) = -h**3 - h - 1. Let c(a) = 4*a**3 - 5*a**2 + 16*a + 4. Let g(j) = c(j) + 5*r(j). Let z be g(-8). Suppose 2*m + 29 = z. Is m composite?
False
Let g(d) be the second derivative of d**5/20 + d**4/4 - d**3/2 + 2*d**2 - d. Let a be g(-4). Suppose 3*c + 2*c - 695 = a. Is c composite?
False
Let o = 20 - -4269. Is o composite?
False
Is 20/(-15) + (-21595)/(-21) prime?
False
Suppose -2*u = -14 + 6. Is -1*497/(u + -5) prime?
False
Suppose 0 = -0*o + 3*o + i + 31, -4*o - 28 = -2*i. Let l(r) be the second derivative of -r**5/20 - 5*r**4/6 - 5*r**3/3 + 3*r**2 - 3*r. Is l(o) a prime number?
False
Let y = -5 - -5. Suppose y = a - 104 - 405. Is a prime?
True
Is (-6)/39 + (-16826)/(-26) a composite number?
False
Let n(b) = 8*b**2 + 16*b + 9. Let q(f) = 9*f**2 + 17*f + 9. Let r(i) = 6*n(i) - 5*q(i). Is r(-7) prime?
True
Suppose k + 5 = -2*b + 15, 0 = -3*b - 2*k + 17. Suppose 5*i - 75 = -v, 76 - 14 = b*i + 4*v. Is i a composite number?
True
Suppose 3*y + 144 = -651. Is (y/10)/(1/(-22)) a composite number?
True
Suppose 0 = -4*d - 0*d. Suppose -h = 5*r - 68, d = 3*h + 2*r - r - 134. Suppose -3*u = 2*f + 2*f - h, -4*u = f - 27. Is f a composite number?
False
Let r(h) = 12*h**3 - 2*h + 3. Let k be (32/(-56))/(4/(-14)). Is r(k) a prime number?
False
Suppose -12 + 0 = -2*d. Let o be (-3)/d - (-5)/2. Suppose -2*h - o*h + 148 = 0. Is h prime?
True
Suppose 3*f + 4*w = -1, -4*f + 2 = -w - 3. Let d(a) = -a**2 + 7*a - 9. Let i be d(6). Is f/i - 43/(-3) a prime number?
False
Let b = 4 + 0. Let h = b + 19. Is h prime?
True
Suppose -l - 16 = -4*m, 5*l - 2*m = -m + 15. Suppose 0*d + 217 = 3*y + 2*d, 3*y - 187 = l*d. Is y prime?
False
Let r(t) = -t**2 + 4*t - 2. Suppose 4*c + 3*w - 9 = 0, 0 = -2*c + 3*c + 4*w + 1. Let v be r(c). Let m(f) = 7*f**2 + f - 1. Is m(v) prime?
True
Suppose 8 = 3*m + 2*a, a - 5 = -4*m + 4*a. Suppose -4*t - 5*z - 103 = -309, -241 = -5*t + m*z. Is t prime?
False
Let w be (-2)/3*(-6)/2. Suppose 3 = v - w. Suppose -4*f - 95 = -v*f. Is f composite?
True
Let m = -9 - -3. Is m/(-15) + (-546)/(-10) composite?
True
Let b be (-1)/2 + 270/(-4). Let x be (7/(-2))/(10/(-180)). Let t = x - b. Is t composite?
False
Let t(l) = 0*l**3 - l**3 + 0*l**3 + 3*l**2 - l - 1. Let x be t(2). Suppose 28 = 3*g + x. Is g a prime number?
False
Let i be (-939)/(-15) - (-15)/(-25). Suppose 0 = -5*j + 223 + i. Is j a prime number?
False
Let n(s) = s**3 + 2*s**2 - 7*s + 8. Let m be n(-4). Let c(p) = 14*p + 3. Let v(h) = 15*h + 2. Let d(a) = 3*c(a) - 2*v(a). Is d(m) a composite number?
False
Let q be 5*-7*(-4)/5. Is 5*(q - (-1 + 0)) composite?
True
Suppose -3*s - 3*h + 829 = -7*h, -5*s + 3*h = -1378. Let k be (-2)/(1/12*-3). Suppose -3*t = -k*t + s. Is t composite?
True
Suppose 2*y + 5*b = 29, 5*b + 2 = -5*y + 37. Let m be 5/(-1) - (y + 0). Is (1 + 10)*m/(-1) a prime number?
False
Suppose 6*i + 43190 = 20*i. Is i a prime number?
False
Let a(x) = x**3 + 14*x**2 + x + 13. Let i be a(-14). Is -4 - (i + -3 + -83) a composite number?
False
Let i = 7 - 4. Let g = i + 0. Suppose -2*k - 4*f + 10 = 0, -4*f + 24 = -g*k + 7*k. Is k a composite number?
False
Is -3 + 1546 + (-2 - 0) a prime number?
False
Is -8 + 25 + (1 - -3) composite?
True
Is 233/4*(2 + 2) prime?
True
Let y be (-52)/(-3*(-6)/315). Let f = -545 - y. Is f a composite number?
True
Suppose -453 = k - 1730. Is k composite?
False
Let w(s) = -12*s - 11. Let n(r) = -6*r 