5*t - 135 = -5*o, g*t - 3*t - 79 = -o. Is t composite?
True
Let c(f) = 3*f - 2. Let z be c(4). Suppose -z - 5 = -5*g. Suppose g*p + 15 = 0, 4*h - 54 = -2*p + 28. Is h prime?
True
Let y(i) = -i + 127. Suppose 2*o + 2 = 5*d, -1 = d + 2*o - o. Is y(d) a prime number?
True
Let a(m) = m**3 + 8*m**2 - 10*m - 8. Let i be a(-9). Is (-1 - 2) + 100*i a prime number?
True
Let s = -947 + 2362. Is s a composite number?
True
Let s = -1 - -4. Suppose 413 - 122 = s*p. Is p prime?
True
Let h(d) = 7*d**3 + 16*d**2 - 18*d + 11. Let a(x) = -20*x**3 - 48*x**2 + 54*x - 32. Let c(s) = -6*a(s) - 17*h(s). Is c(-16) a prime number?
True
Let p(i) = 4*i - 5*i + 3 - 2. Let b be p(2). Is (2/b)/((-6)/111) composite?
False
Let r(m) = -m**3 + 7*m**2 + 6. Let t be r(7). Is t/9 - 201/(-9) a prime number?
True
Let j(t) = -t + 2. Let i be j(0). Suppose 140 = 2*r + i*r. Suppose 3*z - 5*d + 0*d = r, 2*z = -5*d + 40. Is z a composite number?
True
Let c = -19 - -17. Let v(d) = -3 - 43*d - 18*d + 0. Is v(c) a composite number?
True
Let u = 484 + 635. Let g be (-9)/(-6) + u/6. Is (5/(-4))/((-1)/g) a prime number?
False
Let b = 70 + -36. Suppose 4*v - 4 = 28. Let l = b - v. Is l a prime number?
False
Let q be (0 + -1)/(3/(-12)). Let j be (-4)/(-14) - q/14. Let o(h) = -h + 9. Is o(j) a composite number?
True
Let r(n) = n**3 + 6*n**2 + n + 4. Suppose t + 1 + 4 = b, 1 = -t + 5*b. Let o be r(t). Is (70/(-2))/(1 + o) a prime number?
False
Suppose 30*o - 22*o - 13256 = 0. Is o prime?
True
Is (-3)/15 - 1944/(-20) a composite number?
False
Let p(m) = m**3 - 11*m**2 - m + 14. Let u(i) = -i**3 + 10*i**2 + i - 13. Let o(k) = 2*p(k) + 3*u(k). Let d be o(9). Let z = 240 + d. Is z a composite number?
False
Let d = -153 - -238. Is d a prime number?
False
Suppose 3*a = -a + 12. Suppose 4*l = -5*g - 9, 19 = -3*g + 4*l - a*l. Is (-1*1)/(g/115) a prime number?
True
Suppose 5*h = 3*n - n - 24, -5*n - 4*h = 6. Let x(d) = -13*d**2 - d. Let i be x(n). Is (1/3)/((-2)/i) prime?
False
Let h(b) be the first derivative of b**4/12 - b**3/2 - 2*b**2 + 2*b - 2. Let p(c) be the first derivative of h(c). Is p(5) composite?
True
Let z be (-3880)/(-12) + 2/(-6). Suppose -947 = -2*v + z. Is v composite?
True
Suppose 0 = -10*c + 13*c - 537. Is c prime?
True
Let i = 1200 + -707. Is i a prime number?
False
Suppose 0 = -3*m - 0*m - 18. Let k(n) = n**3 + 6*n**2 - n - 4. Let f be k(m). Is f/4 - 351/(-6) a composite number?
False
Suppose 3*m = -2*m + 175. Is m a composite number?
True
Suppose 2*h + 3*b = 221, 0*b - 4*b = 12. Is h a prime number?
False
Let j(q) = 52*q**2 + 2*q + 3. Let v(t) = -51*t**2 - t - 3. Let c(z) = 3*j(z) + 2*v(z). Is c(-2) composite?
False
Suppose -4*p - 5*v = -40, -2*v + 30 = 2*p + p. Let u be (4/p)/(1/1865). Suppose 0 = -4*a + 2*j + u, -5*a + 0*a + 937 = 2*j. Is a composite?
True
Let k be 1/(-4) - 34/(-8). Suppose -3*o - 3*b = 3, 3*o + k*b + 4 = -0*o. Suppose -2*r + 2*g + 1790 = 2*r, o = -r - g + 440. Is r a composite number?
True
Let b = 7515 + -368. Is b prime?
False
Let c(s) = 13*s**2 + 8*s + 15. Is c(8) a prime number?
True
Suppose -5 = -3*q - 56. Let k = q - -31. Is k composite?
True
Let u(j) = 2*j**3 + 31*j**2 + 10*j + 32. Let d(n) = n**3 + 15*n**2 + 5*n + 16. Let l(c) = 5*d(c) - 2*u(c). Is l(-11) prime?
False
Is (-2668)/(-12) + (-2)/(-3) prime?
True
Let i(l) = -l + 49. Let s be -6*(-3 + 14/6). Suppose 4*k + 0*z - z = 3, s*z = -12. Is i(k) composite?
True
Let r = -712 + 1087. Suppose 44 + r = x. Is x composite?
False
Let j(u) = -u**3 - 4*u**2 - 6*u - 5. Suppose 0 = 2*l + 2*l + 16. Is j(l) a prime number?
True
Suppose -2*c + 6 = 2*v, -3*v = -4*v - 1. Suppose -89 = -a - 3*n + n, -c*n + 99 = a. Is a a composite number?
False
Suppose 2*c = h - 3*c - 29, 4*c = h - 27. Is h composite?
False
Is (-5)/((-40)/(-6)) - 2462/(-8) a composite number?
False
Suppose -d = -2*k + 1, -8 = -k - 5*d + 20. Suppose -16 = 4*f, -f + 25 = -k*p + 236. Is p composite?
True
Let b = -2 + 1. Let j(d) = -87*d - 1. Let v be j(b). Suppose m = 4*l + 31 - v, -l = -4*m - 10. Is l a composite number?
True
Let u(b) = -10*b + 13. Is u(-4) a prime number?
True
Let d = -3520 - -6507. Is d composite?
True
Suppose 2*q = -158 + 20. Let n = 99 + q. Let c = n - 7. Is c composite?
False
Suppose x - 226 = 5*i, 4*i + 65 = x - 166. Is x a prime number?
True
Suppose -5*r - 10 = 0, 0 = 2*f + 5*r + 3 + 3. Is f*-2 - (-1652)/4 a composite number?
False
Suppose 4*k - y - 45 - 366 = 0, 0 = -3*k - 5*y + 291. Suppose -4*o = -2*o - k. Is o prime?
False
Suppose 3*y + 25 = 5*k, -k - y - 13 = -5*k. Is (k*-29)/(-2 + 1) prime?
False
Let a be 4 + (-1)/(2 - 1). Suppose 0 = -0*f + a*f - 15. Suppose 328 - 83 = f*v - 4*n, -4*n + 179 = 3*v. Is v a prime number?
True
Let h = 131 + 3. Let f = -76 + h. Is f a composite number?
True
Let s = -46 - -1197. Is s a composite number?
False
Suppose 14 = -5*v - 6, -2*k + 32 = -5*v. Suppose 0 = d + 2*d - k, -4*d = -4*u + 308. Is u composite?
False
Is 2*2 + 2079/7 prime?
False
Let o(x) = x**3 + 13*x**2 + 6*x + 2. Let t be o(-10). Suppose 4*g = -k + 244 + t, 5*k = 5*g - 595. Is g a composite number?
True
Suppose -34 = 5*i + 1. Let k(c) = c**2 + 8*c + 10. Is k(i) a composite number?
False
Suppose c = 43 + 16. Is c prime?
True
Suppose 3*k + k = 0. Suppose 0 = -a - 1 + 3. Is a/(-2) - (k + -12) a prime number?
True
Let z be (-2)/(-7) - (-12846)/21. Suppose 4*h - 5*n - 616 = 0, -6*h + z = -2*h - 4*n. Is h prime?
True
Let c be (-14)/(-21) + 2791/3. Suppose -4*u + 4*j = -848, -c - 127 = -5*u + 3*j. Is u a prime number?
True
Let o = 238 - -47. Suppose 2*z - o = -43. Is z prime?
False
Let j(u) = -29*u - 7. Is j(-22) a prime number?
True
Suppose 5*g + 5 = -p, -2*p - 4*g - 4 = -3*p. Suppose -3*v = -v - 38. Let y = v - p. Is y composite?
False
Let x be -1 - 4/(-2) - 1. Let n be 94/(x + (-1 - -3)). Suppose -2*g = n - 157. Is g a composite number?
True
Let n = 3 + -33. Let p = n + 42. Suppose p + 26 = 2*d. Is d composite?
False
Let r(n) = -11*n**3 + 3*n**2 - 3*n + 2. Let z be r(-3). Let k = z - 238. Is k prime?
True
Let w(r) be the first derivative of 2/3*r**3 + 4*r + 5/2*r**2 - 1. Is w(5) composite?
False
Let h = 12 - 1. Is h a composite number?
False
Let f = 45 - -66. Let m = f + -18. Is m prime?
False
Let f be (2 - (-1)/1) + -1. Let a be (2*-4)/(-2)*f. Let t(v) = v**2 + 3*v - 5. Is t(a) composite?
False
Let l be (2/(-4))/((-2)/4). Suppose b = 1, 5*v + 5*b - 188 = -78. Let o = l + v. Is o a composite number?
True
Let v = 13 - 4. Let f(i) = -i**2 + 10*i - 4. Let o be f(v). Suppose -40 = -4*l + 4*u + 36, o*l + 3*u - 119 = 0. Is l a prime number?
False
Suppose -s = -3*s - 30. Let x = -11 - s. Suppose -g + 18 = 2*v, 3*g = x*v - 0*v - 16. Is v a prime number?
True
Suppose 5*i = 5*s - 4690, 4*i - i = -5*s + 4730. Is s composite?
True
Suppose -2 = -5*t + 8. Let h be 0*((-1)/t + 0). Suppose 4*i - 8 = -3*m + 33, h = -5*i + m + 75. Is i a prime number?
False
Let w(d) = -192*d + 1. Let v be w(-1). Let l(z) = 3*z**2 - 5*z + 2. Let s be l(4). Let o = v - s. Is o a prime number?
True
Suppose -3*o + 2*o = 5*k - 9, -k = 2. Let c = 34 + o. Is c a prime number?
True
Let c(q) = 3*q**3 + 2*q**2 + 14*q - 8. Is c(5) a prime number?
True
Let y(u) = 12*u**2 + 5*u - 1. Let z(k) = k + 13. Let b be z(-9). Is y(b) a composite number?
False
Let m(x) = 3*x**3 + 3*x**2 - 4*x + 2. Let n be m(2). Suppose 0*c = 5*c - n. Is 3/(c/38)*1 a prime number?
True
Suppose 0 = 2*t - 0*t. Suppose 2*h - 2*m - 2528 = t, -2*m = 3*h - 3*m - 3782. Is h a prime number?
True
Let b(k) = 167*k**2 - 6*k - 6. Is b(-1) composite?
False
Let m = -806 + 1295. Is m a composite number?
True
Suppose 2*t - 3*j = 107, -3*j = 3*t - 94 - 29. Let n = -8 + t. Is n composite?
True
Suppose -2*f = 48 - 16. Let n = -9 - f. Let i(z) = 16*z + 3. Is i(n) composite?
True
Let y(u) = u**3 - u**2 + 4*u + 1. Let p(s) = -s**3 - 9*s**2 - 8*s + 6. Let a be p(-8). Is y(a) a prime number?
False
Suppose f - 114 = 235. Let y = 189 + -381. Let s = f + y. Is s a composite number?
False
Let z(d) = -2*d**3 + d. Let r be z(-1). Is (r - -61)*25/10 prime?
False
Let t be (1 + -2)*0/1. Suppose t = -4*y - 17 + 277. Is y a prime number?
False
Let p(q) = -3*q**2 - 3*q - 4. Let j be p(-4). Let r = 89 + j. Is r a composite number?
True
Suppose 2*j = 1394 - 410. Let s = j - 142. Suppose s = 4*z + 130. Is z prime?
False
Let v(z) = -z**3 - 7*z*