u - 2. Is m(-1) prime?
False
Suppose 5*f - 2*f - 78 = 0. Suppose -f = -2*m + 12. Let a = m - 13. Is a composite?
True
Let i = 12633 + -7088. Is i a prime number?
False
Suppose -4*p + 999 + 1781 = 0. Is p a prime number?
False
Is -1 - 4 - (-19 + -1347) a composite number?
False
Let d(f) = 625*f - 47. Is d(4) a prime number?
False
Suppose 2*v = 4*j + 29 - 5, -4*v = -4*j - 28. Let n(x) = 59*x**3 - 30*x**3 + 2*x - 1 - 2*x**2 - 28*x**3. Is n(v) a prime number?
True
Suppose -2*b = -5*v + 1105, 5*b - 114 - 357 = -2*v. Is v prime?
True
Suppose -2*i = -5*j + 2, -5*i + 3*j + 2*j + 10 = 0. Suppose 14 = 4*w - 2*n + i*n, -5*w = -3*n - 45. Is w prime?
False
Suppose 4*o - 2*v - 22 - 8 = 0, 0 = -2*o + 2*v + 20. Is (o/10)/((-1)/(-68)) composite?
True
Let x(b) = -3*b - 13. Let y be x(-6). Suppose 0 = s - 3, y*z = 4*s + 477 + 436. Is z a composite number?
True
Suppose -5*w + 2*w + 15 = 0. Suppose 2*i - w*t - 42 = 84, -4*i + 200 = 3*t. Is i a composite number?
False
Let v(z) = 2*z**2 + z + 1. Let j be v(-1). Is (2 - j)/2 + 85 a composite number?
True
Suppose -3*f - 5*z + 33 = 0, -4*f - 4*z + 42 = f. Is (6/3)/(f/633) a composite number?
False
Let y(m) = -9*m**2 - 6*m - 11. Let d(h) = 8*h**2 + 5*h + 10. Let k(s) = 6*d(s) + 5*y(s). Let z be 3 + (-2)/4*-2. Is k(z) composite?
False
Let q be 185/(-35) - 2/(-7). Let h(o) = -8*o**3 + 3*o**2 - o + 6. Let m(y) = 7*y**3 - 2*y**2 - 5. Let d(c) = 6*h(c) + 7*m(c). Is d(q) prime?
False
Suppose 0*g + 2983 = 4*g + 3*j, -5*g + 5*j = -3720. Is g prime?
False
Let n be (2 + 1)/(2 - 1). Suppose -2*q + 4 = -3*a - 6, -n*q = a - 15. Suppose a = -4*k + 3*h - 2*h + 22, -3*k + 12 = -3*h. Is k prime?
False
Is -1 + (-3 - 629)/(-4) prime?
True
Let x(r) = 2*r + 1. Let p be x(2). Let m = 26 + p. Is m composite?
False
Let g = 4 + 0. Suppose h - 9 = -3*v + 4, g*v + 4*h - 20 = 0. Suppose y + v*t - 23 = 0, 5 = -2*t + 13. Is y a composite number?
False
Let x(p) = -p**3 + 10*p**2 - 2. Let y be x(10). Is 321 + (y - (-1 - -1)) a prime number?
False
Suppose -2*u + 6756 = 2*u. Suppose 5*b - u = 2*l, -2*b + l = b - 1013. Is b a prime number?
True
Suppose 473 = 4*o + c, 4*o + 0*c - 485 = 3*c. Is o composite?
True
Suppose -q + 8*o - 3*o + 166 = 0, 0 = 3*q - o - 498. Is q composite?
True
Is -1 - ((-2080)/24)/(4/90) a prime number?
True
Let u(t) = t**3 + 13*t**2 - 8*t - 7. Is u(-6) a prime number?
True
Suppose 8 - 257 = -3*n. Is n a prime number?
True
Let g be (-15)/(-6)*(-1 - -3). Suppose -5*b + 20 + g = 0. Suppose b*t = 2*r - 43, 7 = r + t - 4. Is r a composite number?
True
Let i be 137 + 2 + (-3 - -1). Suppose 3*b - 6*m + 2*m = i, -3*b = -3*m - 141. Is b composite?
True
Let y be (-3)/((-27)/(-3))*-9. Suppose -v + 4*i = -73, -v = -2*i + y*i - 98. Suppose -2*d + 97 = -v. Is d a composite number?
True
Suppose 4*q - 30 = -z + 41, 0 = -4*z - 3*q + 297. Is z*2 + 0 + -1 a prime number?
True
Let o = 1820 - 1077. Is o a composite number?
False
Let y(f) = 2*f**2 - 6*f - 9. Is y(-8) prime?
True
Let v(p) = -p**3 - 8*p**2 - 10*p - 10. Suppose 0 = -7*k + 3*k + 24. Let d = -13 + k. Is v(d) a composite number?
False
Is 261 + -1 + -3 + 1 + -1 prime?
True
Is (-33)/(-88) - 8842/(-16) composite?
True
Let n(j) = 7*j + 5. Let p be n(-5). Let s = -17 - p. Is s composite?
False
Let f = -1523 + 2462. Is f composite?
True
Is (-3 - -42)*2/(-9)*-3 prime?
False
Let o(f) = 3*f**2 - 8*f - 1. Is o(-10) a composite number?
False
Suppose -2 = -4*d + 2. Let j be (d + -1)/(2 - 0). Suppose j = -0*f - f + 37. Is f composite?
False
Let i(j) = j**2 + 5*j - 5. Is i(12) composite?
False
Let r(f) = 2*f**3 - 4*f**2 + f + 2. Let m be r(2). Suppose -m*z - h + 78 = -z, 2*h + 130 = 5*z. Is z composite?
True
Let x = 1 - -1. Let c be (-2)/((-2)/(-8)*-2). Suppose 0*u - c*h = -x*u + 322, -5*u = 4*h - 777. Is u a prime number?
True
Let h(p) = p + 1. Let z(i) = i**3 - 15*i**2 + 2*i + 17. Let u(b) = -3*h(b) - z(b). Is u(14) a composite number?
True
Let c be 7/21*563*3. Let m = c + -402. Is m composite?
True
Let v(g) = -g**3 + 5*g**2 + 5*g - 3. Suppose -2*q + 16 = -0*u - 2*u, 0 = -3*q - 5*u. Is v(q) prime?
False
Let r(g) be the third derivative of -5*g**4/6 + 13*g**3/6 + 4*g**2. Is r(-14) a composite number?
False
Suppose -2*t + 3 = -5. Suppose 2*s + 4*n = 34, -4*n + n = t*s - 63. Is s a composite number?
True
Let l(u) = u**3 - 7*u**2 + u - 1. Suppose -4*f + y + 0*y = -23, 0 = -y + 5. Let r be l(f). Is 52/5 + r/(-15) composite?
True
Suppose -3*x + 6*x = 3, u + 2*x = 15. Let y(k) = 8*k - 19. Is y(u) composite?
True
Is 3/(9/1770)*(-1)/(-2) a composite number?
True
Suppose 3*q + 5*c - 751 = 0, -c + 6 - 4 = 0. Is q prime?
False
Suppose -x - 2*x = -24. Let k be 6*16 + 3 + -6. Suppose 20 = 4*s, -3*s = 2*a - x - k. Is a a composite number?
False
Let n = 1504 + -967. Is n composite?
True
Is (3 + -2)/((-990)/991 + 1) a composite number?
False
Let b(s) = 13*s**3 + 2*s - 1. Let z be b(1). Suppose 6*q - 3*q = 0. Suppose 0 = 2*x - q*x - z. Is x a composite number?
False
Let v(s) = -56*s - 5. Let p(x) = -x - 1. Let g(q) = -6*p(q) + v(q). Let d = 15 - 16. Is g(d) prime?
False
Let b = -10 - -14. Let a be 0 + (11 + 0)*b. Suppose -5*y + a + 56 = 5*t, -2*y = 10. Is t a composite number?
True
Let f be (-490)/(-8) + 4/(-16). Suppose -4*s = 4*v - 124, 2*s = -2*v + v + 63. Suppose 2*j = 2*m + s, j - m = -3*j + f. Is j prime?
False
Let d = -81 - -268. Is d composite?
True
Let b = 858 + -185. Is b a composite number?
False
Suppose -3*x + 373 = -19034. Is x prime?
True
Suppose 3*b - 2*x - 1357 = 1154, -b + 845 = 2*x. Is b prime?
True
Let a(s) = -3*s**2 + 8*s + 3. Let n(x) = x**2 - 3*x - 1. Let v(u) = -3*a(u) - 8*n(u). Is v(-2) composite?
False
Let k(o) = -3*o**2 + 0*o**2 + 16*o + 5*o**2 + 9 + 4. Is k(-11) prime?
True
Suppose -4*q + 10 = q. Suppose 3*t = -2*g + 166, q*g - 4*g + 182 = -5*t. Suppose 268 = 3*y - g. Is y prime?
False
Let l be ((1 + -1)*-1)/1. Suppose l*c - 161 = -c. Let s = 324 - c. Is s a prime number?
True
Let n(l) = -45*l - 14. Is n(-5) a composite number?
False
Suppose 14*r - 18657 = 5*r. Is r prime?
False
Let t = 3307 + -2325. Is t composite?
True
Suppose -970 = -5*d + 2*r, -r - 582 = -3*d + 3*r. Is d composite?
True
Let q be 1*(8 + 1 + -2). Suppose q*u - 2*u - 245 = 0. Is u a prime number?
False
Suppose 0 = 2*l - 0*l - 12. Let h = 8 - l. Suppose h*z + 6 - 32 = 0. Is z composite?
False
Let i be 3/((0 - 1)/1). Let f(p) = p**3 + 3*p**2 - p - 1. Let w be f(i). Suppose -3*c - w*r + 124 = c, 0 = 5*r. Is c a prime number?
True
Let x = -132 + 281. Is x a prime number?
True
Let j = -288 + 607. Is j a composite number?
True
Let t be 1*-2 + (0 - -6). Suppose i + 5*w = -3, 4*i + 34 = 2*i + t*w. Let r = i + 26. Is r prime?
True
Suppose 3138 = 6*a - 0*a. Is a prime?
True
Let o = -17 + -80. Is 1/((3/o)/(-3)) a prime number?
True
Let r be -1 - (-1 + (15 - -1)). Let j = r + 28. Suppose l - j = 7. Is l a composite number?
False
Suppose 207 = t - 380. Is t a prime number?
True
Suppose -187 = -4*z + 269. Suppose 3*y = -21 + z. Is y prime?
True
Suppose 346 = 5*g - 349. Let i = -60 + g. Is i composite?
False
Let v be 3 + -8 + 3 + -6. Is 6/(-8) + (-3902)/v prime?
True
Let g = -4 - -6. Let s = -1 + g. Suppose 0*h - 4*h + 642 = -2*t, t = s. Is h a prime number?
False
Suppose 5*c - 572 - 473 = 0. Is c a prime number?
False
Let x(y) = -1. Let i(m) = m - 1. Let q(w) = 2*i(w) + 4*x(w). Let v be q(5). Is (-2 - 0)/(v/(-182)) composite?
True
Suppose 36 + 33 = s + 5*x, 5*s - 401 = 3*x. Is s composite?
False
Let h(c) = 2*c - 5. Let z(d) = d**3 + 5*d**2 + 3*d - 3. Let u be z(-3). Is h(u) prime?
True
Let b(a) be the first derivative of a**3/3 - 4*a**2 - 7*a + 3. Let v be b(9). Suppose 3*f - 42 - 24 = 3*n, n = -v*f + 47. Is f composite?
False
Let b(j) = 33*j**2 - 2*j + 3. Suppose -5*o + 10*o - 10 = 0. Is b(o) prime?
True
Suppose -4*c = -0*c. Suppose -d - 119 = -4*d - 4*j, c = -3*d + 3*j + 105. Is d prime?
True
Suppose 3*k + 198 = 3*o, 4*o = -3*k + 8*k + 261. Let g = o - 22. Is g prime?
True
Let j(u) = u**3 - 3*u**2 - u. Let v be j(3). Let q(w) = -51*w - 4. Is q(v) prime?
True
Let c(n) = -11*n. Let h be c(1). Let u = -7 - h. Suppose 0 = 3*w - 9, u*y - 12 + 3 = w. Is y prime?
True
Let f = -74 + 158. Let z = f - 37. Is z composite?
False
Suppose -4*v + 5*v = 2*n + 104, 4 = -2*v. Let q = n - -130. Is q prime?
False
Let s(h) = -h - 3. Suppose u + 5*z + 18 