 composite number?
False
Suppose 3*p - 9 = 2*i, 4*p - 5*i = -0*i + 12. Let w = 6 + -3. Suppose 4*u - 23 = -s - 0*u, 0 = -w*s + p*u + 39. Is s prime?
False
Let t = 3 + 10. Let v(j) = j**3 - 14*j**2 + 19*j - 11. Let q be v(t). Suppose 4*x = -16, 4*x = -3*b + 2*x + q. Is b prime?
False
Suppose -3*l = -2*j - 2*j + 106, -3*j = 5*l + 138. Let k = 67 + l. Is k a composite number?
False
Suppose 4 = -3*i - i. Let b(l) = -38*l**3 + l. Is b(i) composite?
False
Let w(m) = -5*m - 8. Let b(l) = l - 2. Let z be b(4). Suppose z*f = 4, f = 4*g - 2*f + 30. Is w(g) prime?
False
Let q(r) = r**3 - 11*r**2 - 16*r + 19. Is q(16) a composite number?
True
Suppose -3*t = -3*x, -2*x - 3*t + t + 20 = 0. Suppose x*v - 155 + 400 = 0. Let h = 30 - v. Is h composite?
False
Suppose 6*h = 3*h - 186. Let n = -42 - h. Is 7/(42/n)*3 a prime number?
False
Let v(r) = 132*r**2 - r + 1. Let c be v(1). Suppose -c - 80 = -2*h. Is h a prime number?
False
Suppose 2*n + 3*n - 682 = 2*z, 5*z + 413 = 3*n. Suppose 5*i = 3*f - 166, -92 = -f - i - 26. Let u = n - f. Is u a composite number?
True
Let j(s) = -s + 487. Is j(0) prime?
True
Suppose -5*s - 6*w = -7*w - 4535, -907 = -s - w. Is s prime?
True
Let x = 4 + -1. Suppose -4*l + 78 = x*v, -3*v + 2*l + 16 = -2*v. Is v prime?
False
Suppose 4*d = d + 3765. Is d a composite number?
True
Suppose 7 = 4*b + 3. Let d(u) = -u**3 + 3*u**2 - u - 2. Let c be d(5). Is b/(1/(2 - c)) prime?
True
Let i = 252 - 141. Is i prime?
False
Suppose -3*r = -4*l + 2*r + 10, -2*l - 5*r = -20. Let j be (-1)/2*(-5 - 5). Suppose 255 = j*d - l*v + 3*v, -5*d - v + 240 = 0. Is d prime?
False
Let o be 108/(-16) - 2/8. Is 10/(-8)*196/o a prime number?
False
Let r be (-132)/(-8)*424/6. Suppose -4906 = -4*n - r. Suppose -4*t = -5*a + n, 0 = 4*a - 3*t + 152 - 901. Is a a prime number?
True
Suppose 3*u - 4*u = -9. Suppose -u*w + 10*w = 103. Is w prime?
True
Let z(d) = -d**2 + 3*d + 3. Let l be z(3). Suppose -28 = -s - l*s. Let c(x) = 14*x - 7. Is c(s) a composite number?
True
Suppose 7*o - 3*o - u = 40, 0 = -5*o + 3*u + 57. Let w = -5 + o. Suppose 4*k - w = 8. Is k a composite number?
False
Suppose -6*y + 2301 = -3*y. Is y prime?
False
Suppose 2*y = 3*h + 81, -5*h + 31 = -4*y + 188. Let v = y - 11. Is v a composite number?
True
Suppose i - 4*y + 18 + 5 = 0, 0 = -3*i + 4*y - 85. Let k be i/(1*2/(-4)). Suppose r - 124 = -4*z, 2*z - 4*r + k = 4*z. Is z a prime number?
True
Let w(t) = 6*t + 7. Let s be w(-5). Let r(z) = -z - 7. Let y be r(5). Let p = y - s. Is p a composite number?
False
Suppose -4*h = -h - 3*o - 195, -171 = -3*h - 5*o. Is 3*1*h/6 prime?
True
Let w(z) = 11*z - 2. Let m(d) = 3 + 0*d - 3*d**2 + 6*d + 2*d**2. Let o be m(6). Is w(o) a prime number?
True
Let l be -2 - 1*(2 - 12). Is 634/l + 1/(-4) composite?
False
Suppose 18*n + 43839 = 27*n. Is n a composite number?
False
Let o = -6 + 43. Is o a prime number?
True
Let v(t) = 6*t - 4*t + 9*t + 9*t - 1. Let o be (6 - 1)*(-16)/(-20). Is v(o) prime?
True
Let c(m) = 34*m - 8. Is c(3) a composite number?
True
Let n = 243 + 2411. Suppose -2*y + 656 = 4*d - 3*d, -n = -4*d + 2*y. Is d a prime number?
False
Let k(n) be the first derivative of 83*n**3/3 + n**2 + n - 2. Is k(2) prime?
True
Let r = -4 + 2. Let z be ((-1)/2)/(r/12). Suppose -65 = -5*q - z*u, 2*q - 3*u + 13 = 39. Is q composite?
False
Let n(u) be the first derivative of 6*u**2 - 5*u + 31. Let q be 2/3 - 10/(-3). Is n(q) prime?
True
Suppose 6 = 2*c + 5*y, c + 0*y - 4*y = 29. Is c a composite number?
False
Let q be (-382)/(-3) + 2/(-6). Suppose -129 = -f - 3*j + 13, 2*j = f - q. Is f a composite number?
True
Let s(z) = 15*z**2 + 13*z + 29. Is s(-7) a prime number?
True
Let z = -22 + 14. Let y = z - -6. Let r = y - -17. Is r a prime number?
False
Let f(a) = 23*a**2 - 5*a - 5. Let l be -2 + 1/(-1)*0. Is f(l) a prime number?
True
Let h(j) = 3*j**2 - 6*j + 4. Let p be h(8). Suppose 0 = -3*s - s + p. Is s a composite number?
False
Suppose -v + 3*z + 16 = z, 0 = z + 5. Suppose -7*w + v*w = -259. Is w prime?
False
Suppose 0 = o + 2*b - 31 + 5, -3*b = -3. Suppose -o + 149 = 5*y. Is y a composite number?
True
Let u = -27 - -39. Suppose -3*g + 6*g = u. Suppose -60 - 40 = -g*z. Is z a prime number?
False
Let u be ((-1 + 21)/2)/2. Let q(r) = 26*r + 2. Let t be q(u). Suppose h = -43 + t. Is h a composite number?
False
Suppose 0 = 5*w + 15, 0 = 3*t + w + 2*w - 3. Suppose t*y + 54 = o, -5*o + 201 = -0*o + 3*y. Suppose f - 2*m = -1 + o, 2*m + 165 = 5*f. Is f prime?
True
Let f be 10 + -7 + -2 + 2. Suppose f*l = -3*l + 462. Is l a prime number?
False
Let u = 14 + 5. Suppose 42 = -6*k - 30. Let x = u + k. Is x composite?
False
Suppose 3*c = x + 5896, -878 = -2*c + 2*x + 3054. Suppose -4*z + 5*j - 75 + 1614 = 0, 5*z + 2*j - c = 0. Is z a prime number?
False
Suppose -294 + 49 = -7*o. Is o composite?
True
Let r be (-32)/(-6) - (-4)/(-12). Suppose -2*p - 8 = 0, 6*s = s - r*p + 365. Is s prime?
False
Suppose n = 4*q + q - 58, 3*n + 9 = 0. Suppose 2*y + 3*y - 45 = 0. Suppose -3*d + q = 2*c, c + d - y = 3*d. Is c a composite number?
False
Is 1/(((-20)/628)/(-5)) composite?
False
Suppose -c - 3*b = -294, 5*c - 2*b + 4*b = 1405. Suppose -m = 5*s - 152, -5*m - 5*s + c = -3*m. Is m a composite number?
False
Let t = -1777 - -2509. Suppose 3*r - 347 = 4*l + t, 0 = 5*r + 2*l - 1781. Let f = 542 - r. Is f a composite number?
True
Let k be 94/(-2*(-2)/(-10)). Let f = k + 472. Is f prime?
False
Suppose 4*s - 6 = -2*x, x - 9 = -4*s + 2*x. Let p = 51 + -7. Suppose 0 = s*z - 0*z - p. Is z a composite number?
True
Let f(s) = s**3 + 6*s**2 + s + 6. Let d be f(-6). Suppose d = -3*y + 1598 - 533. Is y composite?
True
Let q = 1344 + -59. Is q a prime number?
False
Suppose -x = b - 0*x - 153, b + 5*x - 169 = 0. Is b a prime number?
True
Let o = 2 + -10. Let i(x) = -x**3 - 10*x**2 - 10*x + 11. Let j be i(o). Is 1*(2 + j)/(-1) composite?
True
Let h(x) = -x**3 + 5*x**2 + x - 2. Let v be h(5). Suppose v*a + 5*i - 254 = 0, 0 = 2*a - 2*i - 104 - 44. Let r = 131 - a. Is r prime?
True
Let h = 149 + -127. Is h prime?
False
Let l be (4/(-10))/((-11)/(-330)). Let t(r) = r**2 + 9*r + 1. Is t(l) a composite number?
False
Suppose -6*g + 0*g + 1842 = 0. Is g composite?
False
Suppose 113 = 3*c + 5*b, b + 71 = 5*c - 3*c. Suppose 5*u = 3*u + 6. Suppose u*d = 33 + c. Is d a prime number?
True
Let r be 0/(-2) + 53/(-1). Let s = 21 + -37. Let w = s - r. Is w a prime number?
True
Let f = -65 - -102. Let h = f + -17. Suppose 0*t + 3*t = -5*u + 76, -h = -t + u. Is t a prime number?
False
Let r(m) = -24*m + 23. Is r(-7) prime?
True
Let r = -136 - -1497. Is r a composite number?
False
Suppose -2*w + 7*w = 2*t - 237, 4*t - 539 = -3*w. Is t composite?
False
Suppose 4*s - 12 + 0 = 0. Suppose -s*b + 370 = -347. Let o = b - 162. Is o a prime number?
False
Suppose -3*u - 134 = -3*w + 829, -3*w + 983 = 2*u. Suppose w = 2*a - 85. Is a prime?
False
Suppose -36 = -7*i + 3*i. Is i/18 + (-37)/(-2) prime?
True
Suppose 7*v - 26503 = 4108. Is v a composite number?
False
Let o(l) = -2*l - 2. Let d(y) = -y**3 - 7*y**2 - y - 9. Let m be d(-7). Is o(m) composite?
False
Suppose 8*k - 7645 = 3*k. Suppose 0 = -4*c - j + 1226, -7*c + k = -2*c + 3*j. Is c composite?
False
Let j(b) = b + 1. Let c be j(9). Suppose 0 = -0*q - 5*q + c, -2*m + 218 = 3*q. Is m composite?
True
Let d = 1 - -1. Let v(l) = -d - l - 2*l**3 - 2*l**2 + 3*l**3 + 3*l. Is v(2) prime?
True
Let p = -21 + 29. Let g be -1 + -3 + (7 - 0). Suppose 0 = 2*i - p, g*w - 4*w = -3*i - 67. Is w a composite number?
False
Let v(r) = -r**3 + 4*r**2 - r + 2. Let m be v(4). Is (0 - 1 - m)*11 a composite number?
False
Is 19*1 + (9 - 9) composite?
False
Let q(c) = -6*c**3 + c**2 + c - 2. Suppose p + 3 - 8 = 4*j, -4*p + 3*j - 6 = 0. Let v be q(p). Suppose -5*b + 2*h + 441 = 50, -2*b + v = -4*h. Is b composite?
True
Let s(z) = 7*z**3 - 9*z**2 + 21*z - 37. Is s(6) composite?
False
Suppose -2*b - 2*r = -368 + 44, 0 = -2*b + r + 327. Is b prime?
True
Let u(r) = -7*r**3 - 8*r**2 - 4*r + 13. Is u(-6) a prime number?
False
Let s(z) be the first derivative of -3*z**4/4 - 5*z**3/3 - 5*z**2/2 - 4*z + 2. Let g be s(-3). Is 0 + g*(-1 - -2) composite?
False
Suppose z - 5*k + 327 = 1333, -4*z = 2*k - 4046. Is z a prime number?
False
Is (-6 + 1 - -4) + 1172 composite?
False
Suppose v + 1 = 0, -3*v + 225 = 2*d - 0*d. Let n = d 