
True
Suppose -3*g = a - 16, -5*g + 8 + 4 = -2*a. Suppose -a*d + 3*p + 124 = p, -d - 5*p = -20. Let z = -16 + d. Is z prime?
False
Let x = 15 - -26. Let o = -19 - -55. Let m = o + x. Is m a prime number?
False
Let v = -1516 + 5669. Is v prime?
True
Let z(a) = a**2 + 19*a - 59. Let h be z(-19). Let y be 186/4*(-16)/(-6). Let g = h + y. Is g prime?
False
Suppose 0 = -2*y + 7*y - 3655. Is y a composite number?
True
Suppose 4*o - 455 = -o. Is o a composite number?
True
Suppose 42 = 5*s - 143. Is s composite?
False
Let l(g) = g + 1. Let f(u) = -36*u + 15. Let s(n) = -f(n) + 4*l(n). Is s(10) a composite number?
False
Suppose -5*j - 1424 = -3*g, -2*g = j - 0*j - 971. Let m(c) = c**3 + 3*c**2 + 2*c + 1. Let r be m(-2). Is (2/(6/g))/r a composite number?
True
Suppose 2*t + l = 651, -4*l = t - 7*l - 329. Is t prime?
False
Suppose 2*r = -4*r + 10386. Is r a prime number?
False
Let f(g) = -g + 97. Is f(0) composite?
False
Let p(i) = 8*i**3 - i. Let k be ((-4)/6)/((-1)/3). Is p(k) a composite number?
True
Suppose 2*c - 4*c = -106. Suppose 5*v - 1 = -6. Is (0 - v) + c + -1 a composite number?
False
Is (0 - 1)/(1/(-53)) composite?
False
Suppose o + 18 = -5*d, 0*d - 2*d = 5*o + 21. Is 192/9 - (-1)/o a prime number?
False
Suppose 3*n = -n. Suppose 2*d - 9 - 37 = n. Is d a composite number?
False
Suppose -p + 4*o = -75, -4*o + 211 = 3*p - 2*o. Suppose -p = -s + 310. Is s a composite number?
True
Let h = -2 - -11. Is h composite?
True
Let u be (-2148)/(-9) + (-3)/(-9). Suppose 5*w - u = 1056. Is w prime?
False
Is 9/(-15) - 12596/(-10) a prime number?
True
Let y(c) = 132*c + 7. Is y(4) prime?
False
Suppose 0 = -5*v + 5*u + 1861 - 736, 0 = -2*u + 6. Suppose -4*c + v = 3*k, 0*c - 2*k + 232 = 4*c. Suppose 4*l = 0, 4*d - 2*l - c = -l. Is d prime?
False
Let b(v) = -25*v + 3. Let s be b(-3). Let g = s - 31. Is g composite?
False
Let u(a) = a**3 - 2*a**2 + a - 2. Let p be u(2). Suppose p = 3*t + 3*k - 435, 5*t - 1030 = 4*k - 305. Is t a prime number?
False
Let g = 6 + -1. Let j be (-14)/10 - 3/g. Is (-1 + 9/j)*-6 composite?
True
Suppose 3*z - m + 3 = -2*m, -3*z - 3*m = 9. Suppose z = 3*a - 2*a - 4. Suppose a = 3*k - 23. Is k a composite number?
True
Let z(l) be the second derivative of -l**7/2520 + 7*l**6/720 + l**5/120 - l**4/12 - 2*l. Let a(f) be the third derivative of z(f). Is a(3) composite?
False
Let m(x) = -2 - x + 7*x + 7. Suppose 2*h - w = 17, h + h - 26 = 4*w. Is m(h) composite?
False
Let k(i) = -i**3 - 8*i**2 - 10*i - 6. Let r be k(-6). Let c be r/(-4)*12/18. Let t = 8 + c. Is t a prime number?
True
Suppose 6*d + 8530 = 16*d. Is d a composite number?
False
Suppose 5*k = 4*k + 3*c + 811, -2*k + 3*c + 1622 = 0. Let s = k - 476. Suppose -s = -2*b - 3*b. Is b a prime number?
True
Let x(s) = -s**3 + 18*s**2 - 19*s - 5. Is x(9) a prime number?
False
Suppose 4*m = -4*p + m + 19, m - 5 = 0. Let n(z) = -z + 178*z**3 - 1 + p + 0*z. Is n(1) a prime number?
False
Let j be 58/18 - (-12)/(-54). Is 175 + (j + -2 - -3) composite?
False
Suppose -5*p + 1741 = 2*b, 2*b = -b + 9. Is p composite?
False
Let x(f) be the first derivative of 1/3*f**3 - 1 + 10*f - 1/2*f**2. Is x(0) prime?
False
Suppose 3*u = -4*o + 16, -3*u = -0*u - o - 11. Is -3 + 70/u*4 composite?
False
Let l = -33 - 25. Is (-1)/(175/l - -3) a prime number?
False
Let w = -326 + 613. Is w a composite number?
True
Let f(a) = a**2 - 3*a - 4. Let l = -3 + 7. Let m be f(l). Suppose -p + 10 = -m. Is p composite?
True
Suppose 2*y = -2*y + 8. Let s be (-3)/(-7) - 3804/(-42). Suppose -y*g - 17 = -s. Is g a composite number?
False
Let c = -40 + 563. Is c a prime number?
True
Suppose -9*o + 3027 = -8*o. Is o a composite number?
True
Let o(i) = i**2 - 5. Let w be o(8). Let g = -6 + w. Suppose -4*y = -5*y + g. Is y prime?
True
Let l(n) = n + 47. Let j be l(0). Let b = -28 + j. Is b a composite number?
False
Suppose 0 = 10*i - 6847 - 10423. Is i prime?
False
Suppose 1169 = 5*h - 296. Is h a composite number?
False
Suppose 2*a = 1395 + 2503. Is a a prime number?
True
Suppose 9*r - 14*r + 10555 = 0. Is r a composite number?
False
Suppose 115 = 5*k + o, 6*k = 2*k + 3*o + 73. Is k a composite number?
True
Suppose -j + 183 = 5*n, -85 = -3*n + 5*j + 36. Suppose -3*i - b = 2*b - 36, 4 = -4*b. Suppose -s + i = -2*g, 2 - n = -2*s + g. Is s a composite number?
False
Let r(y) = -y**3 + 8*y**2 + 6*y - 6. Let f be r(6). Let t = f + -160. Let w = 9 - t. Is w composite?
False
Suppose -2*c - q = -3*q - 1816, -c = -2*q - 911. Let n = -618 + c. Is n a composite number?
True
Let f = -2 + 3. Is f + (2 - 3 - -85) a prime number?
False
Let y(z) = z + 127. Is y(0) a composite number?
False
Let a = -270 - -612. Suppose k = -4, -4*i + a = -2*i - 5*k. Is i composite?
True
Let p = -2 - -7. Suppose t - 56 + 11 = -2*d, 3*t = -3*d + 75. Is 93/4 - p/d a composite number?
False
Let h(u) = -u + 6. Let w(a) = 4 + 2*a - 2*a - a - 3. Let k be w(6). Is h(k) a prime number?
True
Let f = -386 - -547. Is f prime?
False
Suppose -6*l + 9 = -3*l. Let a be 2*(-116)/16*-24. Suppose -a = -c - l*c. Is c a prime number?
False
Let s = 1171 - -294. Is s a prime number?
False
Suppose 3*o = 5776 - 1396. Let m be 2/13 - o/26. Let t = 99 + m. Is t a prime number?
True
Let q(s) = s**3 + 11*s**2 + 2*s + 1. Is q(-9) prime?
False
Suppose -45 = 3*k + o - 142, -5*k = -5*o - 175. Is k a composite number?
True
Let x be 1*(5 - (-3 - -4)). Suppose -3*u = -x*u + 3. Suppose i - 320 = -4*i - u*a, 2*i = 2*a + 144. Is i prime?
True
Let b(s) = 28*s**2 + 21*s + 2. Is b(9) a composite number?
False
Let c = -254 - -387. Is c a composite number?
True
Suppose -5*i = -3*i. Suppose 3*l + 8 = -2*b - 1, i = 2*b + 2*l + 8. Is (-203)/b + 8/(-12) a composite number?
False
Suppose -n + 6 + 2 = -2*m, -4*m - 12 = -n. Suppose 226 - 14 = n*w. Is w prime?
True
Let h = -2469 - -3556. Is h prime?
True
Suppose 4*b = -w + 8*b + 1, -b + 26 = 5*w. Let j(m) = m**2 - 4*m + 6. Let a be j(w). Let c = a - -38. Is c a composite number?
True
Suppose -5*c + 5817 = -2*t, 3*c - 2*t = 8*c - 5833. Is c a composite number?
True
Is 6/24 - (393/(-12) + -2) prime?
False
Let m(f) be the third derivative of -f**6/60 + f**3/6 + f**2. Is m(-1) a prime number?
True
Suppose 111*n - 1583 = 110*n. Is n a prime number?
True
Is ((-2)/4)/(9/(-4878)) a prime number?
True
Let a(y) be the second derivative of -y**4/12 - y**3/6 - y**2/2 + y. Let f(x) = 9*x**2 + 4*x + 3. Let q(g) = 3*a(g) + f(g). Is q(1) prime?
True
Let j(z) = -z**3 + 5*z**2 + 8*z - 6. Let w be j(6). Suppose -8*s + 42 = -w*s. Is s prime?
False
Let h(z) = 36*z + 5. Let b(p) = -9*p - 1. Let f(k) = -9*b(k) - 2*h(k). Let m be f(4). Let j = -16 + m. Is j composite?
False
Let u(r) = -2*r + r + 3*r. Let y be u(2). Suppose 0 = t - 4*t, y*c = 5*t + 40. Is c composite?
True
Suppose -23 = -2*t + 3. Suppose 21 = 2*y - 3*d - t, -d - 58 = -3*y. Let q = 34 - y. Is q a composite number?
True
Let b(z) = 45*z**3 - z**2 + z - 1. Suppose 4*u + 4*p = -8, 5*p = -2*u + 7*u - 20. Let q be b(u). Suppose -5*v + 26 + q = 0. Is v a prime number?
False
Let g be (-1)/(-3) - (-40)/15. Suppose 2*b = -5*l + 20, -4*l - 20 = g*b - 9*l. Suppose 35 = h + a, -4*a + 72 = 2*h - b*a. Is h composite?
True
Suppose 7*c = 392 + 21. Is c prime?
True
Suppose -137 = -2*d + 41. Is d prime?
True
Let v(p) = -p**3 + p**2 + 251. Is v(0) a prime number?
True
Let w = 5 + -3. Suppose 246 = -w*p + 40. Let h = 186 + p. Is h a prime number?
True
Let z be ((-18)/(-5))/(1/(-5)). Let q = 4 - z. Is q a composite number?
True
Suppose -5*a = -a. Suppose 2*z + 0*z + 5*s - 31 = a, -54 = -4*z - 2*s. Suppose l + 0*l - z = 0. Is l a prime number?
True
Let v(f) = f**3 - 2*f**2 - 4. Let m be v(3). Suppose m*z - z = 124. Is z composite?
False
Let t(u) = u**2 - 5*u + 7. Suppose -2*v = v - 18. Is t(v) composite?
False
Suppose 0 = 2*i + 10, 2*a + 3*a + 4*i + 20 = 0. Suppose 0 = u - 3, a = -s - 2*u + 4*u + 107. Is s a prime number?
True
Suppose 559 = d + 3*q, 4*d + q - 2280 = -0*d. Is d a composite number?
False
Let f be 3*(2 - 84/9). Suppose -3*c = 2*c + 235. Let u = f - c. Is u prime?
False
Is 2787 + ((-6)/3 - -4) prime?
True
Let w(r) = -r - 3. Suppose i + 0 - 26 = 0. Suppose -3*n - i = 1. Is w(n) a composite number?
True
Let d(j) = j**2 + j - 7. Suppose 0 = c - 6 - 3. Is d(c) prime?
True
Let u(v) = -v + 7. Let g be u(5). Suppose 4*q = y + 2*q + 10, 10 = 