+ h. Is z composite?
True
Let l be ((-22)/(-3))/((-10)/(-15)). Suppose 0 = -3*o - l + 68. Is o a prime number?
True
Let t(n) = 6*n**2 + 16*n - 8. Let h(k) = -9*k**2 - 24*k + 12. Let s(y) = -5*h(y) - 7*t(y). Is s(-7) composite?
True
Let x be (-16)/24 - (-257)/3. Suppose 5*b = 5*n + 7 - 77, 2*b = 5*n - x. Is n prime?
True
Let g(r) = r**3 + 11*r**2 - 12*r + 3. Let m be g(-12). Suppose -3*h = -m*x + h + 41, -45 = -5*x - 5*h. Is x a prime number?
True
Let w(f) = f**3 - 5*f**2 - 7*f - 6. Let m be w(6). Let q = 11 - m. Is q composite?
False
Suppose -6*b + 5*b + 1099 = 0. Is b a composite number?
True
Let s(m) = 6*m + 7. Let d(j) = -3*j - 7. Let q be d(-5). Let u be s(q). Suppose -5*y = -5*l - u, -3*l + l = 4*y - 68. Is y prime?
False
Is (4726 - (0 + 5))*1 prime?
True
Let p = -8 + 13. Let t(o) = -o**3 + 7*o**2 - 3. Is t(p) composite?
False
Suppose 82 = 2*d - 106. Is d a prime number?
False
Let o = -2987 + 1646. Is (-1)/2 + o/(-6) a prime number?
True
Let u(c) = c**2 - 9*c + 12. Let p be u(8). Let s be (-2)/(-8) - 621/p. Let k = -36 - s. Is k prime?
False
Let w(k) = -4*k**2 - k - 4. Let f be w(3). Let i be 3*(-2)/(4/54). Let a = f - i. Is a a composite number?
True
Let v = 20 - 10. Suppose -5*c + 0 = -v. Is c a composite number?
False
Let x(s) = -s**3 - 2*s**2 - 3*s - 3. Let d be x(-2). Suppose 0 = 5*m + 25, -4*l - d*m = -48 - 253. Is l a prime number?
True
Suppose r + 3*u = 5*r - 5999, -3*r - u + 4496 = 0. Is r prime?
True
Let k = 561 + -350. Is k prime?
True
Let f(h) = 48*h - 19. Is f(7) a prime number?
True
Suppose -5*x - 10 = -0. Let m be (-3)/x - 15/2. Let o(d) = d**3 + 5*d**2 - 8*d - 5. Is o(m) composite?
False
Suppose 0 = 4*s + 1 + 7. Let r be 57/(-12) - s/(-8). Is r/2*176/(-20) a prime number?
False
Suppose 2*g + 567 = 5*g - 4*r, g + 3*r - 176 = 0. Let y = -3 + 21. Let l = g + y. Is l a composite number?
True
Is 5*7/5*(-82)/(-2) a composite number?
True
Let h be (4/12)/((-1)/3). Let r be 5 + h + (-1 - -1). Suppose r*j - 79 - 181 = 0. Is j composite?
True
Let m = 7 + 9. Let u = -13 + m. Is u a prime number?
True
Suppose -3*b + 30 = 4*y + 6, 0 = -4*b + y + 13. Is 2535/12 - b/16 composite?
False
Suppose 8 = 4*v - 0. Is (-84)/((-6)/v) + -2 prime?
False
Suppose 1711 = 3*d - 560. Is d a composite number?
False
Let r = -32 - -60. Suppose -3*k + 3*f - r = 20, 27 = -2*k - 3*f. Is -1*(2 + k + 0) prime?
True
Let l(f) = 15*f**2 + 11*f + 23. Is l(-7) a prime number?
False
Let h(d) = -d**3 - 11*d**2 - 14*d + 5. Suppose -g - 2*q = 5, 0 = -g - 5*q + 4. Is h(g) a prime number?
False
Suppose -s + 103 = 12. Is s a composite number?
True
Suppose z + 0 = 3. Suppose -z*y - 95 = -3*t + 349, -t + 146 = -3*y. Is t a composite number?
False
Let a(z) = 127*z - 1. Is a(2) a composite number?
True
Suppose -s - 2*v = -176, 0*v = 5*s + 5*v - 890. Suppose 0*i + 3*i - s = 0. Suppose 3*q = -q + i. Is q a prime number?
False
Let u(n) = 6*n**2 + 4*n - 5. Let l be u(-5). Suppose l = 4*v - 3*v + 4*z, 2*z = -4. Is v prime?
False
Let u = 132 - -281. Is u a prime number?
False
Let d(l) = 5*l + 20. Let f(b) = 3*b + 10. Let j(m) = 4*d(m) - 7*f(m). Let r be j(6). Suppose 0 = 3*t + r*c - 235, -3*c - 11 - 4 = 0. Is t a prime number?
False
Suppose -5*x - 4 = -14. Let w be x - (0/(-2) + 0). Is (-3)/w - (-162)/4 composite?
True
Let j = 418 - -133. Is j prime?
False
Suppose 4*z + 10*d = 5*d + 236, 4*d + 146 = 3*z. Suppose 2*r - 3*r = -z. Let v = 131 - r. Is v a prime number?
False
Let r = 1 + -1. Let i = 3 + r. Is i a prime number?
True
Suppose 5*j = -2*o - 2*o + 4424, 4*j = -3*o + 3317. Is o prime?
False
Suppose 3*c - 4230 = -4*r + r, 2*r + c = 2815. Is r composite?
True
Suppose -3*q - 2792 = -2*r + r, 13948 = 5*r - 3*q. Is r a prime number?
True
Let i(m) = m**3 + 13*m**2 - 5*m + 17. Is i(-12) composite?
True
Is -38*(0 - 28/8) a composite number?
True
Suppose g - 3*v - 310 = 0, -v + 880 = -2*g + 5*g. Is g a prime number?
False
Suppose 13*f - 16455 = 1706. Is f a prime number?
False
Suppose -k + 5*o = -169, -5*k + 9*k = -3*o + 630. Is k a prime number?
False
Let z be 19/(-6) + (-3)/(-18). Is -1 + 90 + (-3 - z) composite?
False
Suppose -w = -1 - 3. Suppose w*o = -4*z + 3*o + 504, 4*z - 516 = 2*o. Is z composite?
False
Suppose 2*c - 26 = -j - 4*j, 4*c + 8 = 5*j. Suppose 298 = -p + c*p. Is p a composite number?
False
Let q be (-5 + 4)/(1/(-233)). Let o = q + -74. Is o a prime number?
False
Let o be (244/8)/((-2)/(-8)). Let y = o + -85. Is y a composite number?
False
Suppose -4*c + 9 = -c. Let k(q) = 12*q + 2. Let v be k(8). Suppose -v = -c*x - 29. Is x composite?
False
Suppose -10*h - 6306 + 18496 = 0. Is h a prime number?
False
Suppose -2*s = -s - 4*q - 346, 2*q + 1384 = 4*s. Suppose 5*c = 244 + s. Is c a prime number?
False
Let f = 124 - -457. Is f a composite number?
True
Let s = -23 - -6. Is s/(3/(-18 + -3)) a composite number?
True
Let z be (76/(-10))/((-2)/40). Let r be (4 + -1)/(6/z). Let o = -33 + r. Is o prime?
True
Suppose 0 = o + 4*o + r - 19230, 4*r + 3825 = o. Is o composite?
True
Is (-187)/(-2) - (-10)/20 composite?
True
Let j = -20 + 24. Suppose -j*u - 922 = -4550. Is u a composite number?
False
Is -143*(-3)/3 - 2 prime?
False
Let v(z) = -z**2 - 7*z - 3. Let a be v(-5). Let k(j) = -j + 13. Is k(a) a composite number?
True
Suppose -3*k + i = -278 + 26, -k = 4*i - 71. Is k a composite number?
False
Let i(b) = b**3 - 5*b**2 - 6*b + 3. Let x be i(6). Suppose -188 = -d - x*d. Is d a composite number?
False
Let r(f) = 27*f + 15. Let c(u) = 9*u + 5. Suppose b = -0*y + 2*y - 6, 16 = -3*b + 4*y. Let i(g) = b*r(g) + 11*c(g). Is i(-6) a prime number?
False
Let a(u) = u**2 - u + 211. Suppose -3*k + 3*b = 3, -b = -k - 3*k - 1. Is a(k) a prime number?
True
Suppose -126798 = -47*u + 41*u. Is u composite?
True
Let z = 9 + -6. Suppose -j = -z*r + 31, r + 0*r - 2*j - 12 = 0. Is r a composite number?
True
Let h(z) = -z + 2 + 8*z**2 - 5*z**2 - 4*z**2. Let w be h(-2). Suppose w = -5*g - 133 + 398. Is g prime?
True
Let m = -21 + 56. Is m a composite number?
True
Let g(q) = 49*q**2 + q - 2. Let r be g(1). Let v(i) = i**2 - i - 1. Let t be v(-4). Let p = r + t. Is p prime?
True
Let k = 1503 + -542. Suppose 0 = -3*v + k - 166. Is v a prime number?
False
Let t(g) = 70*g**2 + 7*g - 4. Is t(3) a prime number?
True
Let b be (-2 + 3)*-3 + 49. Suppose -b = -9*v + 8*v. Is v a prime number?
False
Let g(s) = -5*s + 1. Let k be g(2). Let v be (-36)/k*2/4. Is 37/(v + -4 + 3) a composite number?
False
Let i be (-34)/(-7) + 2/14. Suppose -196 = x - i*x. Is x prime?
False
Is 3/12 + (-86535)/(-20) prime?
True
Suppose -27*q = -23*q - 2980. Is q prime?
False
Let a = 16 - 13. Is a/2*460/30 a prime number?
True
Let i(w) = 4 - 2*w + 0*w + 0*w. Let v be i(3). Is (3/4)/(v/(-40)) composite?
True
Let z(h) = 6*h**2 + 3*h + 9. Suppose -2 + 6 = -f. Is z(f) composite?
True
Let f(n) = -n**2 - 10*n - 9. Let q be f(-6). Suppose -127 = 14*m - q*m. Is m composite?
False
Let r(w) = w + 2 - 10 + 4. Let l be r(7). Is l + -5 + 1 + 66 composite?
True
Suppose 2 - 5 = -m. Suppose z + 2*i + 23 = 0, -m*z + i + i - 37 = 0. Let t = z + 49. Is t prime?
False
Suppose -3*r - 2*v = -1 - 3, -r - 2*v = 0. Let c = 4 - r. Is ((-388)/8)/((-1)/c) a composite number?
False
Is 8292/20 - (-2)/5 a composite number?
True
Is 10/((-2)/10 - 369/(-1695)) prime?
False
Let q = 6 + -1. Suppose 0 = -3*k - b - 9, -q*k + 6 = -5*b + 1. Is -1*22/4*k composite?
False
Let y = -6 - -9. Suppose -2*q = -y*s + 279 + 1062, 0 = 2*s - 2*q - 896. Is s composite?
True
Suppose 2*h - 6*h + 1864 = 0. Is h a composite number?
True
Suppose 0*w = w - 1147. Suppose -3*q + 5*y + 1151 = 0, w = 2*q + q - 4*y. Is q a prime number?
False
Suppose 2*p - 5*p + 1077 = 2*a, 0 = -3*p + 3*a + 1077. Is p prime?
True
Suppose -3*z + 634 = f - 2395, -4028 = -4*z + 4*f. Is z a prime number?
True
Let r(a) = 14*a**2 - a + 6. Let c be r(3). Suppose -5*l = o - 5*o - 2, 2*o = -4*l + 12. Suppose -c = -o*x + 61. Is x a prime number?
False
Is (0 + 2)/6*6 - -57 a composite number?
False
Suppose -2*q - 3*q = s + 16, q = -4*s + 12. Let f be s/10 + (-144)/(-15). Is 95/f*(-4)/(-2) composite?
False
Let p(i) = -17*i + 1. Let f(y) = y - 1. Let s(x) = 6*f(x) + p(x). Is s(-9) composite?
True
Suppose 0 = 3*b + 2*a - 7781, 3*a - 5*a + 8 = 0. Is b prime?
True
Let l be 2*(2 + -2 + 1). Suppose 5*g + 59 = l*d, 7 = d - 0*d + 5*g.