composite?
True
Suppose 5*g + 16 = -o, g + g + 9 = -3*o. Is o*(3 - 2)*-251 prime?
True
Let a = -906 + 2021. Is a prime?
False
Suppose -27 = -5*x + 8. Let p be -14*(2 + x/(-2)). Suppose 0*w - p = -3*w. Is w prime?
True
Suppose 2*o + 3*o - 4*m = 791, -2*o - m + 319 = 0. Let v = o - -67. Is v a composite number?
True
Suppose 647667 = 42*a - 1422303. Is a a composite number?
True
Let c(j) = 8 + 39*j - 9 + 6*j + 5*j. Suppose -4*i = -0 - 20. Is c(i) a prime number?
False
Is 100/350 - 32597/(-7) prime?
True
Let f(t) = 100*t**2 - 1. Let z be f(1). Suppose 3*l - z = 3*a, -4*a + 157 = 4*l - 3*a. Is l a prime number?
False
Let v = 186 - 92. Let u = -8 + v. Is u a composite number?
True
Suppose -5*t - 3*k = -17673, 10*t - 2*k - 7066 = 8*t. Let m = t - 2151. Is m prime?
False
Let x = 30930 + -17539. Is x prime?
False
Suppose j - 3*j + 416 = 3*f, -5*j + 1022 = 3*f. Let v = j + -105. Is v composite?
False
Let u be 4 - (-4 + 7)/3. Let n be (-2 + u)*(0 + -2). Is 244*n/(-4) + -3 composite?
True
Suppose -3*l - 2*k = -1661, 2*k + 567 = 4*l - 3*l. Is -4 + (3 - -1) + l a composite number?
False
Suppose -8*y + 27801 = y. Is y prime?
True
Suppose -5 = -3*d + 4. Suppose d*q - 5*q + 2302 = 0. Is q a prime number?
True
Suppose -3*v + 16 + 206 = 0. Suppose -5*h + 31 = -v. Is h prime?
False
Let n be -155*((-4)/5)/(-2). Let c(k) = k**2 - 11*k - 43. Let g be c(0). Let r = g - n. Is r composite?
False
Suppose -t - 9 = -4*t + j, -3*t + 2*j + 12 = 0. Is 12/(-6)*(1105/(-2) + t) prime?
False
Let k(o) = 10578*o**2 - 3*o - 4. Is k(3) a composite number?
False
Let h = 333 - 96. Is h a prime number?
False
Suppose 0 = 4*l + 5*l - 27. Let t(g) = 158*g - 5. Is t(l) composite?
True
Let p(b) = -10*b - 5. Let x = 74 + -38. Suppose 2*h + 40 = 4*o, 2*h + x = -2*h - 3*o. Is p(h) a prime number?
False
Let u be (-142)/(-8) + 2*(-7)/(-56). Suppose 24*w - u*w - 6366 = 0. Is w composite?
False
Let h = 4432 - 2106. Is h prime?
False
Let i be 2/((-6)/(-4) + -1). Suppose 0 = -4*p + 4*x + 2364, -i*x = 3*p - p - 1170. Is p composite?
True
Let y be (-4)/14 + (-187)/7. Let x be (1*3)/(y/72). Is (-4 - 1)/(x/24) composite?
True
Suppose d + 2*d = -2*x + 19, -3*x = 2*d - 21. Suppose -x*c + 332 = -c. Is c prime?
True
Let i(m) = -m**2 - 4*m - 3. Let v(s) = s**2 + 5*s + 3. Let u(o) = -3*i(o) - 4*v(o). Let t be u(-7). Suppose -t*p = -3*p - 21. Is p a prime number?
False
Suppose 26*g = 21*g + 25. Suppose -w + 2*m + 1670 = 0, -2*w - w - g*m = -4966. Suppose 2*s - 1026 = -4*h, 3*s - 4*h - w + 143 = 0. Is s a prime number?
True
Let p = -4140 - -2323. Let g = 5193 + p. Is (g/(-32))/((-2)/4) a composite number?
False
Suppose 0 = -5*t + 168 + 77. Let k be 25734/7 - 14/t. Suppose -6*g + 2*g = -k. Is g prime?
True
Suppose -2*s + s = -p - 13830, -5*s = -2*p - 69153. Is s composite?
False
Suppose 2*r + 2*a = 7*a + 4041, -3*a = 4*r - 8121. Let t = -914 + r. Is t a composite number?
True
Is ((-4691)/5)/((-6)/30 - 0) prime?
True
Suppose -5*w + 27 = -2*f, 8 + 12 = 4*w. Let l(c) = -207*c + 4. Is l(f) prime?
True
Let x = -3551 + 5602. Is x a prime number?
False
Let z(x) = 15*x**2 + 3*x - 37. Let n(d) = -12*d**2 + d. Let q be n(-1). Is z(q) a prime number?
True
Is 3761/1*4/((-12)/(-3)) a prime number?
True
Let i(p) = 2 + 118*p + 66*p + 16*p. Let z be i(1). Let m = -113 + z. Is m prime?
True
Let t(h) = -3*h**3 - 7*h**2 - 14*h - 37. Is t(-12) prime?
False
Suppose -3*v = 2*v - 8300. Let r = v + -1122. Is r composite?
True
Suppose -4*k + 37 = 5*p, 3*k - 6 = -p - 3. Let g(v) = 3*v**3 - 13*v**2 + 13*v + 10. Is g(p) a prime number?
False
Let h be 2/(-12) + 38164/24 + 0. Is -11*((-2)/(-4))/((-15)/h) composite?
True
Suppose 9*j - 43497 = 13482. Is j composite?
True
Suppose 57*f + 99114 = 704283. Is f composite?
True
Let k = -2 - -3. Let c be 0/2*k/1. Suppose c*a + 2*a - 18 = 0. Is a a composite number?
True
Let q(t) = -2*t + 9. Suppose -12 = -4*s, -k + 4*s = -2 + 8. Let l be q(k). Is (l/4)/(2/(-632)) a prime number?
False
Let d = 6170 - 2224. Is d prime?
False
Suppose 0 = 2*d - 16. Suppose 3*v = 5*u + d*v - 1330, -2*u + 529 = -v. Is u prime?
False
Let f = 564 + -390. Let n = f + 629. Is n a composite number?
True
Suppose -31*w + 14785 = 5*b - 26*w, 0 = b + 4*w - 2951. Is b a composite number?
True
Suppose -45*u = -89553 - 185082. Is u prime?
False
Suppose 3*n - 293 = -2*t, -2*t + 0*t = n - 295. Suppose -o = -3*o - 162. Let a = o + t. Is a a prime number?
True
Let k(m) = -m + 7. Let q be k(5). Suppose -q*j + 3*d - 43 + 222 = 0, -3*j + 277 = 4*d. Is j a composite number?
True
Suppose 68*g = 85*g - 888403. Is g a prime number?
True
Let c = -143 + 149. Suppose -3*z + 33 + c = 0. Is z a composite number?
False
Let a = -86 + 112. Let h(k) = 5*k**2 + 32*k - 77. Is h(a) a prime number?
False
Let r(i) = 35 + 1132*i + 9 + 11. Is r(4) composite?
False
Suppose 30 = -31*z + 37*z. Suppose 0 = -6*l + z*l + 1711. Is l a composite number?
True
Let i(q) = q. Let g(x) = 247*x + 59. Let r(a) = -g(a) - 4*i(a). Let f(w) = -167*w - 39. Let v(c) = 8*f(c) - 5*r(c). Is v(-8) prime?
True
Let x = 0 - -2. Suppose -3*y - 12 = -7*y. Is x - -28*4 - y a composite number?
True
Let w(f) = 2*f**3 + 5*f**2 + 4*f - 1. Let p be w(-4). Let n be 8/10 + (-28353)/p. Is n/8 - (-21)/56 a composite number?
True
Is 113064/16 - (-1)/2 prime?
False
Let t be (3 - (-37)/(-5)) + (-4)/(-10). Is (11/t - 2)*(1 + -117) a prime number?
False
Let o be 3/((-24)/3188)*-54. Suppose 2359 - o = -8*p. Is p prime?
False
Suppose -12*a = -9*a. Let g(l) = -l**2 - 9*l - 12. Let p be g(-8). Is (-384)/p + (a - 1) composite?
True
Let t(p) = -p**3 + 11*p**2 + 37*p + 128. Is t(-25) composite?
True
Let u = -28 - -49. Suppose -4*p - 14 = 5*m + 2, -4*m - u = -5*p. Is (10 + p)/(2/2) a prime number?
True
Let f(l) = 4801*l + 182. Is f(9) prime?
True
Suppose 0 = 4*i + 5*u - 43554, i + 2*u = 6*i - 54426. Is i composite?
True
Let a = 63 + -55. Let q(d) = 212*d + 18. Is q(a) composite?
True
Let j be (-168)/(-32) - 1/4. Suppose 0 = 5*i + 4*d - 4461, j*d - 834 = -3*i + 1853. Is i composite?
True
Let w(k) = 2*k + 2. Let u be w(0). Suppose -3*g = -3, -u*g + 5*g = 3*l - 1440. Is l a composite number?
True
Suppose 7382 = 5*w + 3*d - 0*d, 5*w - 5*d - 7390 = 0. Is w prime?
False
Let t = 892 - -20. Let d = -347 + t. Is d composite?
True
Let q = 2521 + -1380. Is q composite?
True
Suppose -5*s + 3*s + 6 = 0. Let p(v) = 289*v**2 - 6*v + 5. Let k be p(s). Suppose 9*t - 5*t = k. Is t composite?
False
Let z(u) = -u**3 + 4*u**2 + 4*u + 3. Let h be z(5). Let p be (-190)/(2 - (5 + h)). Let q = p - 99. Is q composite?
True
Let q(b) = 3*b**2 - 3*b + 31. Is q(-32) prime?
False
Suppose -5*o + 10215 = -13630. Is o composite?
True
Suppose 0 = 257*o - 255*o - 3310. Is o a prime number?
False
Suppose 13*t + 3*t = 32. Suppose 4253 = 4*p + 3*n, 310 + 1844 = t*p - 4*n. Is p a composite number?
True
Let i = -14 + 14. Suppose d - 5 = -i*d. Suppose -4*c - 4*x = -336, d*x + 29 = 2*c - 160. Is c composite?
True
Let s(h) = h**3 - 10*h**2 + 10*h + 4. Let p be s(9). Let c(x) = x**3 - 11*x**2 - 5*x + 14. Is c(p) a composite number?
True
Is 1 - (-84772 + -8 + -7 + 1) composite?
False
Let d = -81 - 13. Suppose 4*l - 177 = p, 4*p + 860 = -p - 5*l. Let u = d - p. Is u prime?
True
Let m = -4741 - -18378. Is m a composite number?
True
Suppose 1771*h + 6814 = 1773*h. Is h a prime number?
True
Let f = -166 + 492. Is f composite?
True
Let h(o) = -4*o + 9. Let n(r) = -r**2 - 6*r + 5. Let q be n(-6). Suppose 55 = -q*z + j, -j + 0*j = 0. Is h(z) prime?
True
Suppose 19*o = 23*o - 396. Suppose 451 = 4*x - 5*w, -x + 3*w = -w - o. Is x a composite number?
True
Let f = -481 + 220. Let i = f - -1060. Is i composite?
True
Let c(m) = 3*m + 2. Let g be c(-3). Let k be (g/((-7)/(-302)))/(-2). Let b = k - 96. Is b composite?
True
Let x be 40/260 - (-50)/13. Suppose -2366 = -3*t + 5*c, -c - x*c = -2*t + 1579. Is t composite?
False
Suppose -235 = -2*i + 1463. Suppose -a + 266 = -i. Is a composite?
True
Let d(a) = 8*a + 50. Let t be d(-6). Suppose 0*n - t*n + 438 = 0. Is n prime?
False
Let p(j) = -15*j**2 + 12*j + 5. Let r be p(9). Let v = 2061 + r. Suppose 0 = -0*k + k - v. Is k a composite number?
True
Let q = 57 + -60. Let p(z) = -384*z + 11. Is p(q) composite?
False
Suppose 0 = 2*z - 6*z. Suppose m - 5*m + 20 = z. Suppose -5*s + 322 = m*u + 107, -3*s = -5*u - 129. Is s prim