t a = 7 - 12. Is (-1828)/(-20) - (-2)/a a prime number?
False
Let m(q) = -4*q - 17 + 2*q + 10*q - 1. Is m(8) composite?
True
Let b be -65*(-1)/((-15)/(-66)). Let u = -171 + b. Is u a composite number?
True
Let d be (14/8)/(3/(-12)). Let k = -10 - d. Is ((-2)/k)/((-2)/(-42)) a prime number?
False
Let b(d) = -2 - 3*d - 2*d**3 + 4 + 6*d**2 + 3*d**3. Is b(5) composite?
True
Let u(f) = -323*f + 13. Is u(-3) composite?
True
Suppose -3*p = p - 2*q - 726, -3*p + 558 = 3*q. Let w = p + -99. Is ((-2)/(-2))/(4/w) prime?
False
Suppose 3*o + 2*p - 2241 = 0, -3*p + 443 = 2*o - 1056. Is o composite?
True
Suppose -4*j + 15 - 3 = 0. Suppose j*u - 7 = 5. Suppose 0 = -d + u + 109. Is d a composite number?
False
Let q(z) = -58*z + 43. Is q(-13) prime?
True
Suppose 0*j + 3*j - 105 = 0. Suppose j = m + 4*m. Is m a prime number?
True
Suppose 4083 = -o + 4*o. Is o a prime number?
True
Suppose 2 = -0*a + a. Suppose s - i = i + 39, -4*i = a*s - 118. Is s a prime number?
False
Is 20557/5 + 32/(-80) prime?
True
Let l = -120 + 226. Is l a composite number?
True
Let o = 528 - -53. Is o composite?
True
Let j = 5 + -3. Suppose -4 = j*h + 2. Let x(m) = -2*m**3 - 2*m**2 + 4*m + 1. Is x(h) composite?
True
Let c(b) = 3*b**3 + 7*b**2 - 11*b + 10. Let r be c(8). Let p be 2/(-6) - r/6. Is p/(-4) - (-1)/(-2) composite?
False
Let t = 8 + -6. Suppose -6*p = -t*p - 104. Is p prime?
False
Suppose -38 = -o + 5*t, -o + t + 7 = -15. Is 1/(-4)*-4 + o a composite number?
False
Suppose -2*l + 7305 = 13*l. Is l composite?
False
Let n(x) = -x**2 - 5*x. Let l be n(-4). Suppose 0 = 8*k - l*k - 56. Suppose v + v - k = 0. Is v composite?
False
Let p be 7/(7/2) - 255. Let a = p + 380. Is a prime?
True
Suppose 22915 = 31*f - 26*f. Is f a composite number?
False
Let c(s) = -24*s + 1. Let q(b) = 16*b - 1. Let t be (-2 - 6)/((-2)/2). Let i(x) = t*q(x) + 5*c(x). Is i(2) a prime number?
True
Let c = -528 - -739. Is c composite?
False
Let d(c) = -3*c**2 + 4*c - 2. Let u be d(5). Let w = u + 95. Suppose 0 = 3*m + 8 - w. Is m prime?
False
Suppose 4*u - 4*y = 780, y + 569 = 3*u + 2*y. Is u prime?
True
Let o = 1 + -2. Let p be 1/(-2*o/4). Suppose -p = v - 2*v. Is v composite?
False
Suppose -o = o. Let j be 1/3*o + 3. Suppose k + j*k + 725 = 3*f, -2*k + 695 = 3*f. Is f a prime number?
False
Suppose -3*j - 13 = -5*a + 169, 0 = a - 2*j - 35. Is a a prime number?
True
Is (-3)/15 + 19056/30 a prime number?
False
Let d be 2*1/(1/4). Let k = 5 - d. Is 34 + -2*k/2 composite?
False
Suppose 0 = 2*g - 4*g + 44. Is g prime?
False
Is ((-18)/(-15))/(15/50) - -433 prime?
False
Suppose -2*a + 3*a = 2*b - 2197, -5*b = -2*a - 5493. Is b a composite number?
True
Let j(s) = -s. Let u be j(0). Let y(c) = -1 - c**2 + 12*c + 6 + u*c**2. Is y(8) composite?
False
Let r(i) = 7*i**2 - 2*i - 21. Let u(v) = -3*v**2 + v + 11. Let o(q) = -2*r(q) - 5*u(q). Suppose 0 = 5*h - 3*h + 18. Is o(h) a prime number?
False
Suppose 12 = -2*i + 6*i. Suppose -b + 92 = i. Is b composite?
False
Let g(b) = -b - 1. Let u be g(-7). Let z(s) = 30*s + 1. Let k be z(u). Suppose c - 4*c - 462 = -5*v, -2*v + 5*c + k = 0. Is v a composite number?
True
Suppose 0 = 3*n - 2*n + 5*v - 10, 5*n + 3*v - 28 = 0. Let u = -4 + 8. Suppose -u = n*t - 49. Is t composite?
True
Suppose -6828 = -4*w - 4*n, -7*w = -2*w + n - 8551. Is w a composite number?
True
Let h(x) = 9*x**2 + x. Let m be h(2). Let w = m + -3. Is w a composite number?
True
Let p = 2846 - 1779. Let r = p - 654. Is r prime?
False
Suppose 1068 = 4*s + 2*t, 16 = t + 3*t. Suppose -5*x = -0*x - s. Is x a composite number?
False
Let u be ((-15)/(-10))/((-1)/4). Let g be ((-4)/(-12))/((-1)/u). Suppose t + 6 = -4*v + 29, 5*t + g*v = 97. Is t prime?
True
Let t(l) = 2628*l**2 + 4*l - 3. Is t(1) composite?
True
Let q(p) be the second derivative of 19*p**3/3 - p**2/2 - 3*p. Is q(1) prime?
True
Let w = 22 + 7. Suppose 4*j = 3*o + 224, 65 + w = 2*j + 3*o. Is j composite?
False
Let c = 237 + -167. Suppose 4 + c = 2*u. Is u composite?
False
Let b be (-2 - 1)*10/(-6). Suppose 5*k - 1880 = -b*t, 3*t + 1633 = 3*k + 499. Is k a prime number?
False
Suppose s + 2*s + 5*y - 89 = 0, -5*y = s - 23. Is s a prime number?
False
Let i = -878 - -1347. Is i prime?
False
Suppose 5*r + 4*n - 50 = 0, -3*r - 4*n = -2*r - 10. Let h = -21 + 11. Is 2/h + 72/r a composite number?
False
Suppose -m = -3 - 1. Suppose 7*k - 4*k + m*g = 131, 2*k - 94 = -4*g. Is k prime?
True
Let j(d) be the first derivative of d**2/2 - 4*d + 3. Let b(i) = 4*i - 13. Let l(x) = -3*b(x) + 8*j(x). Is l(-6) composite?
False
Suppose -4*w = -3*c - w + 1491, -2*w = -5*c + 2473. Is c prime?
False
Is ((-42)/(-35))/((-2)/(-655)) prime?
False
Let a(z) = 5 - 3 - z + 5. Let f be a(3). Suppose 0 = -5*q + f*u + 95 - 16, 5*q - 3*u - 83 = 0. Is q a prime number?
True
Suppose 827 = 6*c - 25. Is c composite?
True
Is 14*((-1)/(-3))/(6/45) prime?
False
Let f = 194 - -2915. Is f composite?
False
Let r = 511 - 299. Suppose 0*k = -4*k - r. Let c = k + 90. Is c a prime number?
True
Let y = 11 + -47. Is (-251)/(-2) - y/24 prime?
True
Let p be (-5 + 6)/(1/4). Let n be (p + 2)*(2 + -1). Suppose -n*l + 136 = -2*l. Is l a composite number?
True
Let k(b) = -102*b - 19. Is k(-5) composite?
False
Let c = 1222 - 803. Is c composite?
False
Suppose 147 = -4*h + h. Suppose l - 535 = -4*k, 3*k - 471 + 67 = 2*l. Let z = h + k. Is z a prime number?
False
Let r(s) be the first derivative of 267*s**4/2 + s**3/3 - s**2/2 + s + 8. Is r(1) a prime number?
False
Is 1097*(-2 + (2 - -1)) prime?
True
Suppose -3*t = 5*b - 458, 5*b + 0 + 25 = 0. Is t a composite number?
True
Suppose 3*i = 2*g - 2021, 0 = i - 4*i - 15. Is g composite?
True
Suppose -2*l - 154 = -702. Is l composite?
True
Let o = 302 - 156. Suppose 28 = -2*t + o. Is t composite?
False
Suppose 0*x = -3*x - 27. Let s be 27/(-4)*(-8)/2. Is (-2)/x - (-588)/s a composite number?
True
Let w(k) = -k**2 + 6*k + 3. Suppose -31 = -4*i + 17. Let g = i + -6. Is w(g) a composite number?
False
Let o(b) be the third derivative of b**5/30 + b**4/12 - 5*b**3/6 - 13*b**2. Let g be (-4)/(-6) - 20/(-6). Is o(g) prime?
False
Let m(b) = b**3 - 3*b**2 - 6*b - 7. Is m(5) prime?
True
Let b(n) = -8*n**3 - n**2 + 2*n - 3. Let j = 15 - 19. Is b(j) a composite number?
True
Let q(s) = -s**3 + 7*s**2 + s - 3. Let h be q(7). Let c(k) = k**3 - 2*k**2 + 2*k - 3. Is c(h) prime?
True
Suppose -4*h = 5*j + 2930, -191 + 934 = -h + 4*j. Is 1/2 - h/10 a composite number?
True
Is 134/(8/(-132)*-3) a composite number?
True
Suppose 4*x + g = 2*g + 74, -8 = -x - 5*g. Let n be ((-4)/(-6))/((-6)/x). Is 230 + (2 - (-3 - n)) a composite number?
False
Suppose 489 = 3*u - 3*b + 5*b, -3*u = 3*b - 486. Suppose 0 = 3*c - 2*c - u. Suppose -y + c = 2*y. Is y a composite number?
True
Suppose y - 27 = -b + 5*b, 2*y - 43 = -3*b. Is y composite?
False
Let u(g) = g. Suppose -3*j - 2*j = 0. Let n be u(j). Suppose n*t + 1 = -t, 0 = 4*c + 4*t - 528. Is c prime?
False
Let y(j) = -j**3 + j**2 - j - 8. Let v be y(0). Let q be ((-6)/v)/(5/1220). Suppose -5*p = -62 - q. Is p prime?
False
Suppose -3*y + 5*w = 0, 3*y + 2*w = y. Suppose u + y*f + 2*f = -21, -2*f - 6 = 0. Let m = -1 - u. Is m a composite number?
True
Let v(u) = 6 - 18 + 6 - 7*u. Is v(-4) a composite number?
True
Let n = -16 + 2925. Is n a composite number?
False
Let w be (-14)/(-3) - 2/3. Let k be -4 - -15 - (-2)/(-1). Suppose -w*r = -k*r + 35. Is r a composite number?
False
Let s = -699 - -1118. Is s prime?
True
Let o(v) = 1130*v**3 - 2*v**2 - v - 1. Is o(2) prime?
True
Let j(t) = -t**2 + 16*t + 4. Let u be j(16). Suppose -7*x + u*x + d = -619, -x - 2*d + 197 = 0. Is x a prime number?
False
Let l(m) = -45*m**3 - m**2 - 11*m + 2. Let f(d) = 22*d**3 + 5*d - 1. Let t(s) = 5*f(s) + 2*l(s). Let o be t(2). Let j = 54 + o. Is j composite?
False
Suppose 163 = -2*s + 3*s + k, 0 = 4*s - 4*k - 612. Is s a prime number?
False
Let z(f) = 3*f + 2053. Is z(0) a composite number?
False
Let o(n) = -n**3 + 4*n**2. Let d be o(4). Let t(c) = -c**2 - 6*c + 2. Let w be t(-6). Suppose -3*g - 41 = -v + 28, 3*v - w*g - 207 = d. Is v composite?
True
Suppose 1110 = 8*q + 2*q. Is q prime?
False
Suppose -7*m + 12*m = 1255. Is m composite?
False
Suppose -2*s + j = s - 215, 3*s + 2*j - 209 = 0. Is s composite?
False
Let u = -15 - -5. Let v(l) = l**3 + 12*l**2 + 13*l + 9. Is v(u) a prime nu