True
Suppose -2*i - 60 + 374 = 0. Is i prime?
True
Suppose -4*c = -3*y - 9, -4*y - 15 + 3 = -c. Suppose c = -4*q + 2*q. Suppose 5*r - 104 = 4*p + 93, q = -r - 5*p + 22. Is r prime?
True
Let m(d) = d**3 - 6*d**2 + 6*d - 4. Let t be m(5). Is 10 - (t - 1 - 0) prime?
False
Suppose -16 = -0*q - 4*q, -782 = -3*z - 5*q. Is z composite?
True
Let v(x) = 1. Let q(d) = 13*d - 4. Let a(u) = -q(u) + 2*v(u). Let y be a(-5). Suppose -7*p + 2*p = -5*n + 120, 3*n - 2*p - y = 0. Is n a prime number?
True
Let b(g) = 9*g**2 + 18*g - 44. Is b(19) a composite number?
False
Let p = 60 + 103. Is p prime?
True
Suppose 0 = -10*q + 722 + 1188. Is q composite?
False
Suppose -4*h + 9*h + 2238 = 4*j, -2*j + 3*h + 1120 = 0. Is j prime?
True
Let i be (-1 + (-1 - 1))/1. Let s(w) = -3*w**3 - w**2 + 3*w - 4. Is s(i) a prime number?
True
Let p(i) = 6*i**2 + 2*i - 1 + 0*i**2 + i**3 - 5*i. Suppose d - 5*r + 30 = 0, -d - 21 = -3*r - 1. Is p(d) composite?
True
Let y be ((-21)/6 + -2)*2. Let i(n) = -31*n - 22. Is i(y) a composite number?
True
Let v(b) = -93*b + 24. Is v(-3) a prime number?
False
Suppose 5*i + 2 = k - 3, -3*i + 4*k = 3. Is (-3)/(-6)*-254*i prime?
True
Suppose 3*c = 10 - 4. Let q be 1/2 - (-261)/6. Suppose 0*y - 100 = -2*y - c*h, h + q = y. Is y a composite number?
False
Suppose -7*m + m + 9258 = 0. Is m prime?
True
Let r(s) be the first derivative of s**4/4 - s**3/3 + 48*s - 2. Let k be r(0). Suppose -274 = -2*n - k. Is n a prime number?
True
Let s = 2 + 1. Suppose -q - 38 = -s. Let t = q + 57. Is t a composite number?
True
Let j be 36/(-15) - (-2)/5. Let c = -23 + 46. Is c*(-1 + 5 + j) a composite number?
True
Is -1*(-764 + 3/1) prime?
True
Let g(t) = -2*t + 8. Let u be g(7). Let v be (-3 - -2) + u/(-2). Suppose 0 = -4*h + j + 60, 75 = v*h + 3*h - 4*j. Is h a composite number?
True
Let y = 344 - -69. Let o(u) = u - 7. Let a be o(7). Suppose -y = -4*v + 5*d - 0*d, a = -3*d - 15. Is v a composite number?
False
Let h = -35 - -17. Let t = 14 - h. Suppose -2*m + 0*m + 5*c = -79, m - t = -5*c. Is m composite?
False
Is (203/(-3) + 3)/((-6)/9) a prime number?
True
Let b(s) = -2*s**2 + s + 203. Is b(0) a composite number?
True
Let w be -1*(-2 + 5) - -4. Let t be w/1 - 912/(-6). Suppose 2*b - 5*b = -t. Is b prime?
False
Is 0 - (-2 - (52 + 1)) prime?
False
Let c = 7 + -10. Let o be ((-3)/c)/(1/(-7)). Let z = 18 + o. Is z composite?
False
Suppose -2*f + 4*m + 10 = 0, 2*m + 4 + 0 = 0. Is ((-18)/(-4) + f)*2 composite?
False
Let o be (4/(-10))/((-1)/10). Suppose -4*t - z + 2*z + 4 = 0, -t = -o*z + 14. Suppose t*k - 29 = 3*r - 84, k = r - 18. Is r prime?
True
Is (-27)/45 - 3/((-15)/2828) a prime number?
False
Let g(r) = -r**3 + 11*r**2 - 8*r - 13. Let i be g(10). Is (i/2 - 3)*314 a prime number?
True
Suppose 4*v + 5*s - 31 = 0, -3*v + 0*s = 4*s - 24. Is 33*v + 2 + -3 composite?
False
Let r(t) = 5*t + 24. Is r(17) composite?
False
Let i(l) = -68*l + 7. Is i(-3) prime?
True
Is ((-10)/4 + 3)/((-4)/(-4304)) a composite number?
True
Let q be -3 + (-1 - -5) + 28. Suppose -q = -3*d + 10. Is d a prime number?
True
Suppose 4*r + 5*j - 3*j - 36 = 0, -36 = -4*r - j. Suppose r*q = 3*q + 978. Is q prime?
True
Let f(n) = -n**2 - 7*n + 4. Let z be f(-7). Suppose 0*a + p = -4*a + 129, -z*a + p = -119. Is a a prime number?
True
Suppose 5*y - 25 = 0, -791 = -5*d + y + 439. Is d composite?
True
Suppose 3*w - 158 = w. Let s = w - 185. Is (s/((-1)/1))/2 composite?
False
Let v(s) = -365*s**3 - s**2 + s + 1. Let k be v(-1). Suppose -4*p + 520 = -k. Is p prime?
False
Suppose 0 = -5*d - 5*m + 480, -58 - 26 = -d + 3*m. Is d a composite number?
True
Suppose 4*z = z + 2730. Suppose -z = -3*h + h. Suppose -i = 4*i - h. Is i a prime number?
False
Suppose 266 = 3*x - 127. Is x prime?
True
Let n = 18 + -26. Let f(l) = -l**2 - 13*l - 3. Is f(n) a composite number?
False
Let d(x) = 6*x**3 - x. Let m be d(-1). Let j be m/((-1 - -2)/(-1)). Suppose 0 = j*r - 411 - 604. Is r a composite number?
True
Let s(q) = 9*q**3 - q**2 + 5*q + 2. Is s(3) prime?
True
Suppose -1255 - 1559 = -4*l - 5*o, -l - 2*o + 705 = 0. Is l composite?
False
Is -4 + 8 + (403 - 0) a composite number?
True
Suppose -5*u + 2478 = 4*c, 4*c - u - 2492 = u. Suppose 0 = -4*n - 2*y + c, 3*n + y - 662 = -193. Is n composite?
True
Let w be 870 - 0*3/(-6). Suppose 4*q - w = -2*n, 3*n + 2*q + 2127 = 8*n. Is n a composite number?
True
Let h = -261 - -446. Suppose u = -4*u + h. Is u prime?
True
Let w = -4 + 9. Suppose -772 = -w*i + 103. Suppose 4*c - i = -c. Is c a composite number?
True
Let q(t) = -1 - 1 + 9*t + 0 + 0. Is q(4) a composite number?
True
Suppose 2*z + 213 = -647. Let a = -245 - z. Is a prime?
False
Let z(a) = 77*a**2 + 4*a - 3. Is z(-4) a prime number?
True
Let i = 4 - 4. Suppose k - 37 = -i*k. Is k a prime number?
True
Let h(j) be the second derivative of -j**5/20 + j**4/2 + 5*j**3/6 + 7*j**2/2 + 3*j. Suppose -6*q + q + 30 = 0. Is h(q) composite?
False
Let y(u) = -2*u**3 + 6*u**2 - 5*u + 6. Let r be ((-32)/(-12) - 3)*15. Is y(r) composite?
False
Let g = -217 + 321. Suppose -2*n + 92 = -5*r, 0 = n + n + r - g. Is n composite?
True
Let g be 1 + 2 - (0 + -1). Let a(r) = -3*r - 5. Let j(h) = -8*h - 14. Let i(q) = -17*a(q) + 6*j(q). Is i(g) prime?
True
Let c = -173 + 319. Let m = c + -97. Is m a composite number?
True
Suppose d - 36 - 118 = 5*i, -390 = -3*d - 3*i. Is d a composite number?
True
Let x = 507 + -237. Suppose 5*l - x = -r, -4*r = 5*l - 2*r - 265. Is l a composite number?
True
Let h(o) = o + 58. Is h(0) prime?
False
Suppose 4*h + 52 - 140 = 0. Is h a composite number?
True
Let a(p) = p**3 + 23*p**2 + 27*p - 22. Is a(-21) a prime number?
True
Suppose 0 = 3*u - 4*n - 31, 4*n - 32 = -u - 11. Is u composite?
False
Let h = 3568 - 5750. Let p = h - -3281. Is p a prime number?
False
Suppose 0 = b - 4*q - 4 - 3, 4 = -2*b - q. Let s(a) = 22*a**2 + 1. Let j be s(b). Let i = j - -14. Is i a composite number?
False
Suppose 0 = 4*y - y + 138. Let p = -1 - y. Suppose 2*w + 3*x - 4*x - p = 0, -w - 3*x = -26. Is w a composite number?
False
Is 2/2 + (480 - 0) prime?
False
Let q = -1019 + 1590. Is q composite?
False
Let k(l) = 3*l + 2. Is k(3) a composite number?
False
Let g(k) = k**3 + 5*k**2 + 5*k + 10. Let c be g(-7). Let u = 88 - c. Is u composite?
False
Let f = 23 - 24. Let h(t) = 34*t**2 + t + 2. Is h(f) prime?
False
Let b(w) = 2*w**3 + 3*w**2 - 2*w - 3. Suppose k - 5*v = 5 + 7, 0 = -2*k - 5*v - 21. Let j be b(k). Let c = -5 - j. Is c prime?
True
Suppose -5*k - 12 = 4*x, -2*k + 6*k + 3 = -x. Suppose k*n + 2*v = 3*n - 16, 2*n = -2*v + 4. Is 459/n - 3/(-12) composite?
True
Is (-88)/32 + 2/(-8) + 260 composite?
False
Let g(z) = 29*z - 2. Is g(3) composite?
True
Suppose 3*i + 2*u = -5, i = 5*i + 4*u + 4. Let x be (-1447)/(-6) + i/18. Let y = x - 122. Is y composite?
True
Let n = -31 - 0. Let x = 89 + n. Is x a composite number?
True
Let k = 15 - 14. Is ((-10)/(-8))/(k/116) a prime number?
False
Let g be (-2)/2 + 8*9. Suppose 0 = -c + 48 + g. Is c prime?
False
Let v be 609/28 - 2/(-8). Suppose -53 = -5*j + v. Is j a composite number?
True
Let v be ((-12)/(-15))/(2/(-5)). Is (-2 - -3)/(v/(-94)) prime?
True
Let l(g) = 9*g**3 - 21*g**2 + 8*g + 14. Let y(b) = -5*b**3 + 11*b**2 - 4*b - 7. Let n(k) = 3*l(k) + 5*y(k). Is n(5) a prime number?
False
Let u(g) = 23*g**2 + 2*g + 5. Let l be (-2 - -1)/(6/(-18)). Suppose -3*k = x - 6*k - 5, l*x + 4*k = -24. Is u(x) a prime number?
False
Let x = -454 - -873. Is x a prime number?
True
Let y(t) = 0 - 2*t**2 + 0*t**2 + 0*t**2 + 8*t - t**3 + 1. Is y(-6) a composite number?
False
Suppose -11528 = -4*u + 2132. Is u a composite number?
True
Let n be (3/3)/(2/898). Suppose 2*l + 3*a = 241, 3*l - 5*a = -l + n. Suppose -l = 4*d - 448. Is d prime?
True
Let k = -547 - -800. Is k a prime number?
False
Let d be (-1 + 0)*(-2 + 0). Let z = 256 + -151. Suppose 5*x + 3*m = z, -2*m - d*m = 0. Is x a composite number?
True
Let j = -254 - -392. Suppose -o - o = -j. Is o a composite number?
True
Let y(b) = -59*b**3 - 2*b**2 + 1. Let d = 2 - 3. Is y(d) composite?
True
Suppose -10*z + 16788 = 2*z. Is z a prime number?
True
Let v(x) = -80*x + 37. Is v(-5) a prime number?
False
Suppose -305 = -5*k - 5*p, p = -k + 2*p + 59. Let h be 36*(k/9)/2. Let r = h + -65. Is r a prime number?
False
Let t = -204 + 407. Is t a prime number?
False
Let d(z) =