rue
Suppose 25*g - 24*g - 787 = 0. Is g composite?
False
Suppose -2*v - 202 = -2*n, 4*n - 5*v - 218 = 190. Suppose 3*q - 4*q = -n. Is q prime?
True
Is 441/8 - 5/40 a composite number?
True
Let i = 2 + 89. Is i composite?
True
Let i be (-1)/1*(-3 - -19). Let n = 40 + i. Suppose f = n + 125. Is f prime?
True
Let r(p) = p**2 + 2*p - 4. Let d be r(-4). Suppose d*t + 107 = 327. Is t a prime number?
False
Let a(m) = m**3 + 14*m**2 + 7*m + 11. Let j be 13/(2*3/(-6)). Is a(j) a prime number?
True
Let t = -90 + 132. Let w = 169 - t. Is w composite?
False
Suppose -103 = -x - 14. Is x a composite number?
False
Suppose -477 - 971 = -4*m. Is m a composite number?
True
Suppose -2*w - l + 0*l - 1 = 0, 4*w + 3*l = -3. Suppose w = m + 7 - 84. Is m prime?
False
Let z(y) = y**2 + 4*y - 2. Let b be z(-5). Let g = 1 + b. Suppose g*r - 241 = 523. Is r a prime number?
True
Let k(s) be the third derivative of s**5/30 - s**4/8 - 7*s**3/6 + 2*s**2. Let n be k(7). Suppose -4*q + 2*q = -n. Is q a prime number?
False
Suppose 3*a - 24 = -a. Suppose 3*i - 117 = -a. Is i a prime number?
True
Suppose -2*o - 11 = -3*n + 9, -5*n = 3*o - 8. Suppose n*d - 18 = d. Is d a prime number?
False
Let w = -67 - -22. Suppose 0 = -5*z - 79 - 51. Let n = z - w. Is n a composite number?
False
Let m be 4/10 + (-52)/(-20). Suppose -m*g = -2*i - 195, 3*g - 2*i + 6*i = 213. Is g a composite number?
False
Let i = -4 - -17. Is i prime?
True
Let y(u) = u - 7. Let m be y(4). Let b = 7 + m. Suppose -b*z = 8, a - z = 5*a - 98. Is a a prime number?
False
Let h = 2188 + -1470. Is h composite?
True
Let o(w) = -2*w + 8. Let i be o(7). Let v(r) be the first derivative of r**3/3 + 5*r**2/2 + 5*r + 3. Is v(i) a prime number?
True
Let u = -6 + 10. Let p(n) = 2*n**3 - 5*n**2 - 2*n - 5. Let m be p(u). Is m + -1 + (3 - 6) prime?
True
Let c(o) = -548*o - 10. Is c(-4) composite?
True
Let a(i) = -2*i**2 + i**2 - 7 + 21. Suppose -4*p = -0*p. Is a(p) a prime number?
False
Let p = 1 - 0. Is (p - -23) + (5 - 8) a prime number?
False
Suppose -5*x - 24472 = 11573. Is x/(-15) - 6/(-15) composite?
True
Let o = 3304 + -1713. Is o a composite number?
True
Let r(h) = -h**2 - 7*h - 3. Suppose p - 3*p - 12 = 0. Is r(p) composite?
False
Let i(l) = 13*l**3 - 3*l**2 + l - 1. Let v be i(3). Is (-4 + 5)/(2/v) a composite number?
False
Suppose -2*k + 676 = -4*f - 26, f = -k + 354. Is k prime?
True
Suppose 0 = 2*l + 5*l. Suppose 4*g - 47 - 157 = l. Is g a prime number?
False
Suppose -a - 4*a + g = -13, 0 = 4*a + 2*g - 16. Let w = 139 + a. Suppose -3*h - n + 555 = 0, -h = -3*n - w - 43. Is h composite?
True
Let x be 12/18*3*3. Let w be (x/(-4))/((-3)/16). Suppose -165 = 3*d - w*d. Is d a composite number?
True
Let q = 2 - 2. Let j(a) = -a**3 + 2*a**2 + 3*a - 4. Let x be j(3). Is q + (-2)/x*74 a composite number?
False
Let f = -3 - -29. Let b = f + -12. Is b prime?
False
Let m(k) be the first derivative of 7*k - 3 - 5/3*k**3 + 1/4*k**4 - k**2. Is m(6) a composite number?
False
Let d(i) = i**2 + 10*i - 15. Let s be d(-12). Let q = 11 - s. Suppose q*r - 2*p = 120, -r = 3*r + 3*p - 219. Is r a composite number?
True
Suppose s = -3, y + s - 14 = 4*s. Let x(o) = -o + 4. Let q be x(0). Suppose q*a = -5*n - a + 55, y*n - 71 = -a. Is n a prime number?
False
Let z(a) = -a - 3. Let p be z(0). Let h be (-18)/p + (2 - 0). Let v = h + 5. Is v composite?
False
Suppose 6*l + l - 6041 = 0. Is l composite?
False
Let x(h) = 4 - 12*h + 2*h - 1. Is x(-3) a composite number?
True
Suppose -9*v + 3812 = -1687. Is v a composite number?
True
Let m(d) = -1. Let w(i) = 17*i + 1. Let h(y) = -16*y - 2. Let f(r) = 2*h(r) + 3*w(r). Let q(k) = -f(k) + 4*m(k). Is q(-2) a prime number?
False
Suppose 9*n + 230 = 4*n. Let o = n + -48. Is o/(-5) + (-2)/(-10) composite?
False
Let a be (-5)/((-10)/6) + 94. Let g = a - 10. Is g composite?
True
Suppose 60 = 6*y - 4*y. Suppose 2*a + y = -0*a. Let i = 0 - a. Is i prime?
False
Suppose 3*q + 4*l = 7*q + 72, -q - 6 = 2*l. Suppose -6*n + 3*n = 183. Let o = q - n. Is o a composite number?
False
Suppose 5*i - 5 = 5*f, 5*i + 0 - 7 = 4*f. Suppose -5*x = 5*o - f*x - 64, -o + 24 = -5*x. Is o prime?
False
Is (-2*1042/(-4))/1 a prime number?
True
Let b be 1230/40*8/3. Suppose 2*u + t - b = -t, -3*u - 5*t + 113 = 0. Is u prime?
False
Let a(x) = x**3 + 5*x**2 - 7*x - 4. Let j = 7 + -13. Let t be a(j). Suppose 0 = -t*i + 5*y + 80, 0*i - 3*i - 5*y + 95 = 0. Is i prime?
False
Is (-1323)/(-4) - (-7)/28 composite?
False
Let z be 1/(-1) + -8*5. Let q = z + 108. Is q a prime number?
True
Let r(w) = -4*w**3 + w**2 + w + 1. Let j be r(-1). Suppose -4*s = -5*s + j. Suppose -285 = -s*b + 4*k, k = -2*b - 2*k + 91. Is b a prime number?
True
Let l be (-1)/(0 - (-1)/(-2)). Suppose -l*f = -5*f + 327. Is f a prime number?
True
Is 475/10*6/5 a composite number?
True
Suppose 3*o - 3*z = 2*z + 196, 4*z = 4. Is o prime?
True
Suppose 4221 = 3*h + 6*h. Is h prime?
False
Let a(y) = -y**2 + 5*y. Let m be a(5). Suppose m = -b - 2*b + 78. Suppose 0 = 3*p + 4*s - 121 + b, -s = -5*p + 189. Is p a prime number?
True
Let f = 336 + -504. Let y(o) = o**2 + 9*o - 8. Let i be y(-9). Is (38/i)/(6/f) prime?
False
Suppose 723 = 4*d + 5*w, 7*d - 4*d - 522 = 3*w. Suppose -2*r = -5*r + d. Is r a composite number?
False
Let c(a) = 2*a**3 - 4*a**2 - 3*a - 5. Let q be c(4). Suppose 2*t - q = 5*n, n - 5*t = 3*n + 13. Let y(l) = l**2 + 6*l - 6. Is y(n) a prime number?
False
Suppose -3*y = -5*i + 215, -155 = -2*i - 2*i - y. Suppose -t + 4*o = 3*t + 20, -4*o - i = 2*t. Is (-20)/(-4)*(-86)/t a prime number?
True
Let x(l) = l**2 - 4*l + 2. Let g = -9 - -16. Is x(g) prime?
True
Suppose 2*n - 2411 = -3*n + 4*l, -3*n = l - 1450. Let y = n + -322. Is y prime?
False
Let k(c) = -c**2 - 2*c - 1. Let s be k(-1). Let r = s + 4. Suppose -b = 2*z + b - 180, 3*z - r*b - 263 = 0. Is z prime?
True
Suppose -133*v + 17212 = -129*v. Is v composite?
True
Let c be (10 - 1)*776/6. Suppose -5*u = 4*r - 1165, 4*r + 2*u - c = -2*u. Suppose -5*p + r = -5*n, 5*p - 2*n - 270 = -n. Is p prime?
True
Suppose 0 = -2*r - 3*d + 18, 0 = -5*r - 0*r - 5*d + 35. Let c(g) = 6*g**2 - g. Let a be c(1). Suppose 3*v = -a*f + 54, r*v + 0*f = 5*f + 24. Is v composite?
False
Suppose 19 = 3*p - 4*v, -3*p + 0*p - 2*v = 5. Let j(r) = 4 + 1 + p - 5*r. Is j(-5) composite?
False
Suppose -1110 = 2*y - 5*y. Suppose 4*u - y = 2. Is u/4 + (-2)/8 composite?
False
Suppose 83 = x - 29. Let i = x - -1. Is i a composite number?
False
Suppose 4*c - 3994 = a, -3986 = -2*c - 2*c - 3*a. Is c a composite number?
True
Let c be (-3)/(-5) + 34/10. Is 0 - (3 - 52/c) a composite number?
True
Let v(s) = s**2 + 2*s + 6. Let u = 6 + -1. Suppose -a + 3*a - 2*f + 8 = 0, a - u*f = 0. Is v(a) composite?
True
Suppose 0*p - 5*d - 18 = p, 5*p - 6 = -d. Let b(j) = 16*j**2 + 3*j - 3. Is b(p) prime?
True
Let w(i) be the third derivative of i**5/60 + i**4/24 - 5*i**3/6 + i**2. Let m be (0 + (-2)/(-4))/((-4)/(-48)). Is w(m) composite?
False
Suppose 153 + 83 = 5*d - 2*h, 4*h + 12 = 0. Suppose x + d = 135. Is x composite?
False
Suppose 12*p = 2*p + 12830. Is p a composite number?
False
Let x = -10 + 7. Suppose w = 5*j - 71 - 208, -4*j + 3*w = -221. Is 6 + x + j + 0 composite?
False
Let g = 39 - -52. Is g prime?
False
Let v(n) = -n**3 + 21*n**2 + 3*n + 8. Is v(19) prime?
True
Suppose -2*s = -3*x + 4*x - 1860, 916 = s + 4*x. Suppose 4*w = -0*w + s. Is w a prime number?
True
Let i = -4 - -7. Suppose -4*o = -2*j + 2 - 18, -i*o + 25 = 5*j. Suppose -j*w = -w - 37. Is w composite?
False
Let c(p) = 73*p - 41. Is c(6) a prime number?
True
Let k(z) = -258*z**3 - 2*z**2 - 2*z - 1. Is k(-1) a composite number?
False
Let q(d) = -d**3 - 6*d**2 + 5*d + 7. Let i(o) = 2*o**3 + 13*o**2 - 11*o - 15. Let b(z) = -6*i(z) - 13*q(z). Let l = -66 - -70. Is b(l) composite?
False
Let a be (-3 + 0)*1088/(-6). Let w = -175 - -558. Let l = a - w. Is l composite?
True
Let n be (45/12)/((-3)/12). Let q = n + 9. Let f = q + 25. Is f prime?
True
Suppose 152 = 3*v + 38. Suppose l - v = 11. Is l a prime number?
False
Suppose -4*x - 316 = h + 878, 0 = 4*h + 4*x + 4776. Let j be (-3)/(-15) + h/(-5). Suppose 0 = 3*a - 4*s - j, -303 = -4*a + 4*s + 21. Is a prime?
False
Let u be (-80)/5 - 1*-1. Is ((-18)/u)/(4/370) prime?
False
Suppose 6 + 2 = -4*b. Let r = 0 - b. Suppose -2*k + 4*o = r*k - 136, 4*o - 50 = -2*k