z composite?
True
Suppose -4*b + 3601 = -1451. Suppose b = 2*n + 5*c - 1872, c + 1578 = n. Is n/11 - 2/11 a prime number?
False
Suppose 5*a - 9 = 2*a. Suppose -4*w + a*p - 2*p = -38, -5*w + 49 = -2*p. Let q = w + 28. Is q prime?
True
Suppose -a = 6*a - 1127. Is a a prime number?
False
Let k(a) = 9*a. Let u be k(1). Suppose -208 = -2*i - 4*n, -u = -3*n - 0*n. Suppose -j + 3*j - i = 0. Is j a prime number?
False
Suppose -4*r - x + 18 = 0, 2 + 2 = -2*x. Suppose -r*s = -3*s - 3*k - 253, -s = 4*k - 143. Is s a prime number?
True
Let h(y) = -2*y**3 - y**2 - 1. Let m be h(-2). Is m + 2/(-2) + -1 prime?
False
Let d(l) = 6*l + 8. Suppose 0 = r + r - 2*o + 10, 4*o = -16. Let z be d(r). Let q = 99 + z. Is q prime?
True
Suppose -2 = 3*p - 65. Is p composite?
True
Suppose 0*k - 2*k = -6. Suppose -k*u = 2*u - 265. Is u prime?
True
Let c(b) be the third derivative of b**4/4 - b**3/2 + 3*b**2. Is c(4) a composite number?
True
Let m = -17 + 9. Let z be ((-3)/2)/(6/m). Is (z/(-6))/((-6)/828) prime?
False
Let a = 1272 - 1. Is a a composite number?
True
Let s(j) = 0 + 5 + 30*j + 2. Is s(4) composite?
False
Suppose 22*y - 17*y = 565. Is y composite?
False
Suppose 3 = -4*a + 231. Suppose -o - a = 2*o. Let u = -5 - o. Is u a composite number?
True
Let z(s) = -1 + 8*s**2 + 0*s**2 + s**2 + 3*s + 2. Is z(4) composite?
False
Let g be 28/10 - (-2)/10. Suppose -4*v = 5*b + 855, 4*v + g*b - 292 = -1149. Let k = v - -306. Is k composite?
True
Let w = -7381 - -10610. Is w a prime number?
True
Let z be (-13 - -15)*938/4. Suppose z = 5*g - 7*m + 3*m, -g = -5*m - 77. Is g a composite number?
False
Is 9/36 - (-4694)/8 a prime number?
True
Suppose -3*d = 5*a - 3*a, 4*a = -d - 20. Is (-1198)/4*(a - -4) prime?
True
Let u(a) = 6*a**2 - 9*a - 7. Let m be u(-6). Let t be (3/6)/(1/(-2)). Is (-1)/(t/m*1) a prime number?
True
Suppose 3*d - 21 - 3 = 0. Suppose -3*s + d*s - 15 = 0. Suppose s*t = 4*t - 217. Is t composite?
True
Let g(l) = l**3 - l**2 + l + 3. Let r be g(0). Suppose -3*a + 5*h = -38, 0*a = 3*a - r*h - 30. Is a a composite number?
True
Suppose 3*m + z = -m + 7040, 0 = 3*m - z - 5273. Is m a composite number?
False
Let n(a) = -a**3 + 7*a**2 + 4. Let w be n(7). Suppose -5*r - 3*v - 26 = 0, 2*r = 2*v - w - 0. Is (158/8)/(r/(-16)) composite?
False
Let q be (36/(-45))/(4/(-10)). Is (-4)/(8/(-66)) - q composite?
False
Let j(h) = -17 - 7*h - h - 3*h + 0*h. Is j(-12) a composite number?
True
Let y be 2/6*(-3 + 0). Let m be (-1)/(0/2 + y). Is (-2 + m)/2*-6 a prime number?
True
Suppose -5523 = -2*r - r. Is r composite?
True
Let w(g) = 19*g + 1. Let v(r) = 19*r + 2. Let t(k) = -4*v(k) + 5*w(k). Suppose -u = -2*o + 2, -3*u + 0*u = 3*o - 12. Is t(o) prime?
False
Suppose 0 = -5*g - 3*n - 41 - 91, -4*g - 80 = -4*n. Let l be (g/(-10))/((-3)/10). Is l/12 - 142/(-6) a composite number?
False
Suppose 0 = -5*h + 5*v + 3125, -v + 1867 = 2*h + h. Is h a prime number?
False
Suppose f = 3*b + b - 9560, -2*b + f + 4778 = 0. Suppose -b = -0*w - 3*w. Is w prime?
True
Suppose -5*i - y - 41 = -i, 5*y + 7 = 2*i. Is (-2)/i + (-792)/(-81) composite?
True
Let s(w) = -4*w**2 + 4 - 6*w - 7 - 17*w**3 + 0*w**3. Is s(-2) a composite number?
True
Is ((-5)/1)/5 - (-828 + -2) prime?
True
Suppose -l - 4*l + 5 = 0. Suppose 0 + l = c. Is 22*c/(3 - 2) a composite number?
True
Suppose 3*q - 4*q = 1, 4*d - 4*q - 456 = 0. Is d prime?
True
Let g(i) = -i**2 + i + 3. Let j be g(0). Is ((-1)/j)/((-2)/126) composite?
True
Let i = -38 - -73. Suppose -32 + 332 = 5*x. Suppose q = x + i. Is q composite?
True
Let v(x) = 36*x**3 + x**2 + 2*x. Let g(r) = -36*r**3 - 2*r**2 - 3*r. Let b(s) = -3*g(s) - 4*v(s). Let i be 1/(0 + 1/(-1)). Is b(i) a prime number?
True
Let u be 6/12 - 6/(-4). Suppose 12 = 5*p + u. Is p + 0 + 1 + 34 prime?
True
Suppose -h - 754 = -2*v - 6*h, 3*v - 1131 = -2*h. Is v composite?
True
Let j = -4 - -10. Let q(s) = 37*s - 21. Let b(t) = 12*t - 7. Let m(z) = -8*b(z) + 3*q(z). Is m(j) a prime number?
True
Suppose 3*d - 13 = 2. Suppose 0 = -d*g + 187 + 268. Is g a prime number?
False
Suppose v - 24031 = -6*v. Is v composite?
False
Suppose o + 3*o - 6 = -5*d, -5*d - 22 = -3*o. Suppose 3*j = 5*m - 49, o*m = -0*m - j + 46. Let w = m - -26. Is w composite?
False
Suppose 355 = -4*j - 37. Suppose -b + 2*b = 147. Let o = j + b. Is o a composite number?
True
Suppose 0 = 2*s - 241 - 961. Let o = 809 + -417. Let g = s - o. Is g prime?
False
Suppose -5*q + 73 + 12 = 0. Suppose -3*l + q = -760. Is l a prime number?
False
Let t be 15/((6/(-9))/(-2)). Let g = 14 + t. Is g prime?
True
Let w(y) = y**2 + y + 27. Let r be w(0). Suppose r = -2*t + 69. Is t a composite number?
True
Let a(s) = 85*s - 4. Is a(3) prime?
True
Suppose -3*y - 4*f - 3 - 10 = 0, -2*f - 5 = 3*y. Let w = 20 - y. Is w prime?
True
Let c be ((-90)/20)/((-6)/(-8)). Let k = 1 + c. Let y(r) = r**3 + 8*r**2 + 3*r - 7. Is y(k) composite?
False
Let y = -5210 + 1236. Is (-7)/(-28) - y/8 composite?
True
Suppose 2*f + 5*v - 10 = 3*v, -2*v = 5*f - 28. Let k be 12/f + 88*2. Suppose 0*t - 2*t + k = 0. Is t prime?
True
Suppose -4036 = 6*u - 10*u. Is u prime?
True
Suppose -3*q + 1172 = 4*i + 2*q, q = -i + 293. Is i a composite number?
False
Is (-1449)/(-15) - (-4)/10 composite?
False
Let w(m) = 10*m**3 - 6*m**2 + 5*m - 2. Is w(5) a prime number?
True
Suppose -3*c - 5 + 14 = 0, -4*c + 12 = -4*z. Let n = z + 2. Suppose -3*r + 7 = -n. Is r prime?
True
Let v be 1/(-2)*(6 + -2). Let k be (-8)/(-2) + v + -1. Is 1/(1*k/19) composite?
False
Let i(n) = -n**3 - 9*n**2 - 8*n - 5. Let g be i(-8). Let u = 3 + g. Is 77 + (2/u - -1) a composite number?
True
Let j = 8 - -8. Is j + (-4)/8*-6 a prime number?
True
Let k = 8 - 2. Is (7 + -4)*74/k a composite number?
False
Let o(b) = -b + 1. Let k(u) = 25*u - 2. Let v(m) = -k(m) - 4*o(m). Is v(-4) a composite number?
True
Let u be (-46)/14 - 4/(-14). Is 3/2*(-164)/u a prime number?
False
Suppose 2 + 4 = -w. Is ((-1506)/w)/(0 + 1) a prime number?
True
Is (((-10)/10)/(2/762))/(-3) composite?
False
Let r(m) = -3*m - 1. Let l be r(-2). Is (1 + 0)*(l + 626) prime?
True
Suppose 3*q + 6 = 4*y, 3*y - y - 2 = q. Suppose -5*c + 13 + 12 = y. Suppose -c*l + 96 + 89 = 0. Is l a composite number?
False
Let i be (858/18)/(2/12). Suppose 3*j - 419 = d - 135, 3*j = -d + i. Is j a composite number?
True
Let n(j) = j**3 - 5*j**2 - 10*j + 1. Is n(9) composite?
True
Let q = -57 - -176. Suppose 0 = 5*i + 4*l + 20, -5*i - l = -6*l - 25. Suppose s - q = -i. Is s a prime number?
False
Let g(v) = v**3 + 8*v**2 + 3*v - 7. Let b be g(-5). Suppose 4*o - 35 - b = 0. Is o composite?
True
Let m(a) = 2*a - 9. Let b be m(6). Suppose -3*h - h - 8 = -5*r, b*h = -r + 13. Suppose -4*y + 72 = -r*x, -3*x - x = -4. Is y a composite number?
False
Let d be (2/4)/(2/12). Suppose -4*s - 554 = -d*c, -5*s = -c - 2*s + 193. Suppose -3*n = -5*n + c. Is n a composite number?
False
Suppose -2*q - 5*y + 4442 = 0, -2*q - 3*y - 4442 = -4*q. Is q a composite number?
False
Let i be (-4)/(-18) + (-133)/(-9). Is (-1)/(-5) + 2412/i a prime number?
False
Let x be 27 - 0 - (3 - 1). Let b = x + 26. Is b a composite number?
True
Let s(t) = -t**3 + 5*t**2 + 6*t - 1. Let g be s(6). Let v be (g + 3)*(-50)/4. Let l = v - -58. Is l composite?
True
Let n = 8 + -6. Suppose 2 = -4*a - n. Is 2 - a*(0 - -29) a composite number?
False
Let z = 6 + -3. Let i(u) = -u**2 + u + 1. Let q(n) = 5*n**2 - 7*n. Let w(g) = 4*i(g) + q(g). Is w(z) a prime number?
False
Let c(u) = 2*u**2 - 2*u**2 - 1 + 10*u**3. Let l be c(1). Suppose -2*z - b = -3, -b - 2*b = l. Is z prime?
True
Let x(w) = -w**2 - 21*w - 15. Is x(-14) a composite number?
False
Let r(x) be the first derivative of 3*x**3 + x**2/2 + x - 1. Let y be r(-2). Suppose 5*v - 106 = -3*b, -b - y = -2*b - 2*v. Is b a prime number?
True
Let f(x) = 4*x**2 - x + 69. Let m(k) = 5*k**2 - k + 69. Let j(q) = 4*f(q) - 3*m(q). Is j(0) a composite number?
True
Suppose 0 = 3*y - 8 - 7. Suppose -y*f - 3*a + 181 = 0, 5*f = 3*a + a + 167. Is f prime?
False
Suppose -5*r + 2*r - 3 = 0. Let f(m) = -65*m. Is f(r) a prime number?
False
Suppose -6*w = n - 5*w - 237, 5*n - 1185 = -2*w. Is n composite?
True
Let o(z) = -3289*z + 6. Is o(-1) a composite number?
True
Suppose 14 = -5*x + 2*c, 0*x = x - 5*c - 11. Is 1*115 - (x - -4) a prime number?
False
Let i = 432 - 283. Is i a composite number?
False
Let