18 a prime number?
True
Suppose -2*i = 5*j - 15, -2*j + 0*i = -5*i - 35. Suppose -c = -j*z - 190, 1 = -2*z + 7. Is c a composite number?
True
Let h(l) = 24396*l - 45. Is h(2) prime?
False
Let s be (4626/(-12))/((-2)/8). Suppose -q + 679 = -4*f, -4*f + s = 2*q + 184. Is q a prime number?
False
Let q(x) = -7*x + 2*x + 5 + 0*x - 6*x. Let p(n) = 10*n - 4. Let t(c) = -3*p(c) - 2*q(c). Is t(-4) a prime number?
False
Let w be (5/4)/((-12)/(-384)). Suppose k = w + 171. Is k prime?
True
Let g be ((-10)/30)/((-2)/18). Let b(j) = 2*j**2 - 5*j + 3. Let m be b(g). Is m*((-6)/4 - -2) prime?
True
Let l(r) = 620*r**2 + 4*r - 5. Is l(-4) a composite number?
True
Let d = 23 + -20. Is (304 - 1)/(1*(d + -2)) prime?
False
Suppose -4*x - 4*u + 4310 = -2*x, 2*x - 4328 = 5*u. Is x a prime number?
False
Is 1/2*266274/27 a prime number?
True
Suppose 4*y + 26 = 2*z, 1 = -y - 4*z - z. Let v(a) = a**2 + 7*a + 5. Let n be v(y). Is (-3 - -2)*67*n a composite number?
False
Let q = 4214 - 2163. Is q prime?
False
Let p(q) = -23*q**3 - 5*q**2 + 2*q - 2. Let d be p(-4). Suppose 3*t - d = -425. Is t a prime number?
False
Suppose 5*g + 4*z - 28107 = -7226, 2*g - 4*z = 8358. Is g a prime number?
True
Let i = 96 + 41. Suppose -6*f + 683 = i. Is f a prime number?
False
Suppose -j = 3*u - 120416 - 50676, 5*j + 2*u - 855395 = 0. Is j a composite number?
False
Suppose -16 = -2*c - 6*c. Let o(d) = 2*d**3 + 3*d**2 - 3*d + 1. Is o(c) a composite number?
False
Let h(t) = -t + 1 - t + 6*t - 3*t + 227*t**2. Let d be h(-1). Let x = -105 + d. Is x a composite number?
True
Is (57743 - -4)*(-15)/(-45) a composite number?
False
Suppose -2*f + 3575 = 3*f. Suppose -2*o - g + 289 = 0, f = 5*o - g + 6*g. Suppose 4*x + 15 = 4*p - 137, 2*x - o = -4*p. Is p prime?
True
Suppose -3*o - 2 = -2*o. Let v be 5092/24 + o/12. Let n = v + -53. Is n composite?
True
Let x(k) = -20*k - 25. Let i(y) = -y. Let t(r) = -4*i(r) + x(r). Is t(-18) composite?
False
Suppose -12*b - b + 13 = 0. Is (9 + b/(1/(-2)))*179 composite?
True
Let i = 31440 + -22261. Is i a composite number?
True
Let q = 717 + 2651. Let w = -2106 + q. Is w composite?
True
Suppose -4 = -4*a, -3*x - 2*a + 2207 = 3*a. Suppose -3*t + x = 3*b - b, 0 = b - 5*t - 393. Is b a prime number?
True
Let f(a) = -5*a**2 - 7*a + 1. Let d(c) = c**2 + c + 1. Let x(r) = -6*d(r) - f(r). Let u be x(-6). Let b = 2 - u. Is b composite?
True
Suppose i + 3*x = 4, 5*i + 2*x + 4 = -x. Is (-2402)/i + 0/11 prime?
True
Let i(z) = 2*z**2 + 9*z + 14. Is i(-5) prime?
True
Let c(o) = 63*o**2 - 8 + 6 - 2*o + 46*o**2 + 23*o**2. Let k be c(-2). Let d = k - -347. Is d composite?
False
Is 19929 - -3 - (-14 - -9) composite?
False
Let l be -90*(1 - 5/2). Let x(i) = 67*i**2 + i. Let p be x(-2). Let a = p - l. Is a a composite number?
False
Let d be 39/((-7)/6*(-1)/35). Let p = d - 469. Is p a prime number?
True
Suppose 0*z = z + 4*j - 21, -4*j + 20 = 0. Let u be (24/32)/(z/1876). Suppose 0*q - u = -3*q. Is q a composite number?
True
Is 65*(-5 + 1092/10) a prime number?
False
Let y(b) = -2100*b - 17. Is y(-5) a prime number?
False
Let n be (-318)/(-5) + 2/5. Suppose -2*o + 42 = -n. Is o prime?
True
Let t be (-28)/16*-4 - (0 + 2). Suppose -x + 3*x - 1505 = -t*s, 5 = x. Is s a composite number?
True
Let g = -9934 + 15267. Is g prime?
True
Is 14969/(-2)*(-16)/8 a prime number?
True
Suppose -69667 = 4*w - 17*w. Is w composite?
True
Suppose 2*m - 56*x - 5318 = -51*x, 2*m - 5306 = -x. Is m prime?
False
Let d = 2474 - -3370. Suppose -17*n + 13*n = -d. Is n a composite number?
True
Let b(u) = -u**2 + 5*u - 3. Let a be b(3). Let t = 1771 - 847. Is t/8 + a/(-6) a composite number?
True
Let s(j) = -j + 10. Let t be s(8). Suppose -3*f = -2*f - t. Suppose -3*c = 4*n - 209, 5*n + c = -f*c + 262. Is n a prime number?
True
Let w(c) = -c + 3*c**2 - 7*c**2 + 2 - 4*c**2 + 5*c**2 - 29*c**3. Suppose -5*n - 24 + 9 = 0. Is w(n) a composite number?
False
Suppose 5*n = -3*m + 60778, -4*n + 34457 + 6061 = 2*m. Is m composite?
False
Let z(n) = 19*n**2 + 2*n + 2. Let f(i) = 3 + 9*i - 13*i**2 + 2 + 12*i**2. Let j be f(9). Is z(j) prime?
True
Let s be 0 + -1 + -2 + 6 + -11. Let k(p) = -4*p**3 - 11*p**2 + 8*p - 3. Is k(s) prime?
True
Suppose 2*d + 2*b = 5*d + 22, b = -3*d - 7. Let z be 8/d + 63*-17. Let n = -700 - z. Is n composite?
False
Is -373*-5*(-2)/(-10) composite?
False
Suppose -2*h + 4*a + 14 = 3*h, -h - 6 = -3*a. Suppose -3*f = -4 - 5. Is 158/4*h/f a prime number?
True
Is (-2 - 32931/(-6))*(11 + -9) a prime number?
True
Let o(f) = -103*f - 15. Suppose -5*u - 24 = 4*s, 0*s - s = 5*u + 21. Let k be 3/(33/(-24) - s). Is o(k) a composite number?
False
Suppose -3*f = -3*q + 24 + 18, 5*q + 2*f = 56. Let u(n) = 63*n - 1. Let a be u(q). Suppose 3*o - i - 1130 = 0, -o + 3*o - a = -i. Is o composite?
True
Suppose 67*x + 223140 = 79*x. Is x a composite number?
True
Let a = -139 - -143. Suppose -r - 449 = -6*r - a*v, r - 88 = v. Is r a prime number?
True
Let o be (0 - -5 - 3) + -4. Let n(j) = -j**3 + j**2. Let y(v) = 6*v**3 - 6*v**2 - v + 1. Let u(w) = -4*n(w) - y(w). Is u(o) a prime number?
False
Let c be (3 - 36/10)/((-2)/10). Suppose 0 = -c*o + 2*z + 5601, 1626 = 2*o + 2*z - 2098. Is o a composite number?
True
Let a = -755 - -1349. Let l = a + -341. Is l a prime number?
False
Let v = 119 + -84. Let h = 86 - v. Suppose h + 5 = 4*b. Is b a prime number?
False
Suppose -5*c - 5697 - 4383 = 2*g, -5*g = -3*c + 25200. Let l = 15047 + g. Is l composite?
False
Let z(g) = 778*g**2 + 16*g - 21. Is z(4) composite?
False
Let s = -834 - -1877. Is s prime?
False
Let l = 12 - 9. Let p(q) = 0*q**2 - 1 - 4*q**2 - l*q**3 + 0*q**3 + 5. Is p(-3) a prime number?
False
Let m = 2 - -2. Suppose -3130 = -3*o - i, -4*i + 2*i - 4170 = -m*o. Is o a prime number?
False
Let k be 1001/(-33) + 4/(-6). Is -1*2 - (k - 8) prime?
True
Let k(w) = -w - 3. Let a be k(-10). Suppose 5*l - 8 - a = 0. Suppose l*u = p + 23, 2*u - p - 13 = 1. Is u prime?
False
Let y be 971 - (-4)/(3 + -4). Let w = -656 + y. Is w prime?
True
Let z = -5 - -5. Suppose -5*o = -4*t - 1214, -2*t + 5*t + 1218 = 5*o. Suppose z = 2*n - 2*g - o - 170, -835 = -4*n + 3*g. Is n a prime number?
True
Let t be (-1 + (-32)/(-12))*(-1 - -4). Is 3*t/(-10)*(-508)/6 a prime number?
True
Let m(w) = -w**2 + 7*w - 4. Let h be m(6). Suppose -3*n - 4*i + 242 = -887, -h*n + 4*i + 766 = 0. Is n composite?
False
Let i(h) = 15*h - 9. Let z(a) = -75*a + 46. Let w(p) = 11*i(p) + 2*z(p). Is w(6) a composite number?
False
Let c(k) = -k**3 + 5*k**2 + 6. Suppose -5*r - 10 + 35 = 0. Is c(r) a prime number?
False
Suppose 8*o = 9*o - 3. Suppose f + o*f - 2140 = 0. Is f prime?
False
Suppose i - 7 = -4. Suppose h - 2*h = 2*a - 44, 0 = -i*a + 15. Is h prime?
False
Suppose 4*s = -4*h - 436, -2*s + 323 = -2*h + 89. Let x be (2*-17)/(4/(-26)). Let g = x - h. Is g composite?
True
Suppose 110 = z - 664. Suppose -2*w - 3*w + z = a, 0 = -2*a - 3*w + 1541. Is a composite?
False
Let u = 331 - 218. Is u prime?
True
Let c = 439 - -676. Is -1 + c - -4*18/24 composite?
False
Suppose -x - 10*x = -2*x. Suppose 0 = n - 4*g + 2*g - 1699, -2*n - 5*g + 3443 = x. Is n prime?
True
Suppose -3*r + n + 26773 = 0, 46*r = 49*r + 5*n - 26749. Is r prime?
True
Let f(j) = 108*j - 81. Let x be f(5). Suppose 0 = -l + 742 + x. Is l a composite number?
False
Let i = -2470 + 4436. Is i composite?
True
Let d = 19 + -17. Is (173/d)/(((-6)/(-28))/3) composite?
True
Let k be (4/2)/(2/8). Let u(l) = -7 - 31*l - 7*l**2 - 36*l + l**3 + 74*l. Is u(k) a prime number?
True
Let u(b) = -b**3 + 9*b**2 + 4*b - 37. Let q be -1 + (-1 - 0)*14. Is u(q) a prime number?
True
Let z(o) = 590*o**2 + 7*o + 4. Let k be z(-7). Suppose -k + 2356 = -7*n. Is n prime?
False
Suppose 6*f - 4027 = 4799. Is f a prime number?
True
Let n(s) = -3*s**3 - 14*s**2 - 11*s + 23. Is n(-13) composite?
False
Let z(x) = 70*x**2 + x + 1. Let h be z(2). Let y = 160 - 208. Let u = h + y. Is u a prime number?
False
Let p(u) = -2*u**3 + u**2 - 4*u - 3. Let v be p(-2). Suppose -20*w - 18415 = -v*w. Is w composite?
True
Suppose -4*v + 0*h + 59 = -3*h, -3*v = -5*h - 47. Let f(g) = -4*g**2 + 74*g - 55. Let n(j) = -3*j**2 + 49*j - 37. Let u(d) = 5*f(d) - 8*n(d). Is u(v) composite?
True
Is (1 + 14)*((-545048)/(-21))/8 a prime number?
False
Let c(l) = l**2 + 3. Let d be c(-4). Suppose -5*i - 1 = d, 4*z = 3*i + 51