, -q = 3 - 0. Is (0 - -388)*i/w prime?
True
Suppose 4*d + 0*d = 16. Suppose 0 = 5*b + 2*z + 591, 2*b - z - 236 = d*b. Let u = -76 - b. Is u composite?
False
Suppose -6*h + 120223 = -65351. Is h prime?
False
Let c(x) = -8*x**3 - 8*x**2 - x + 12. Let q be c(-6). Suppose -130 = -2*p + q. Is p a composite number?
True
Let o be 10 + -9 - 570/(-2). Suppose o = 2*c - 676. Is c composite?
True
Suppose -4*p + 0*o - 2*o = -240, 0 = 2*o - 4. Suppose 0 = -2*x - 388 + 36. Let r = p - x. Is r a composite number?
True
Suppose 10 = -39*k + 44*k. Suppose 5*r + 2*m = -m + 4820, -3*m = k*r - 1919. Is r a composite number?
False
Suppose 3 = -3*a + 3*k, 5*a + 5*k - 11 = 24. Suppose a*s - 494 = -5. Is s a composite number?
False
Is (-1)/(18/45*5/(-4666)) a prime number?
True
Let l be 2 - 19 - (-3 - -2). Let g(c) = 19*c**2 - 11*c - 7. Is g(l) a prime number?
False
Let x(y) = -2*y - 50. Let o be x(-25). Suppose 5*h - 3*a - 4576 = o, 166 - 3846 = -4*h - 4*a. Is h a prime number?
False
Let l = 65 + -77. Is l/(-30) + (-12126)/(-10) a prime number?
True
Suppose -6*q = 14 + 16. Is ((-6178)/6)/((-70)/(-15) + q) prime?
True
Let b be -4*2/(-2) - 3/(-3). Suppose 0 = b*k - 19680 + 3665. Is k prime?
True
Suppose 3*w - 3857 = -5*u, -4*u + 11 = -5. Is w prime?
True
Suppose -v - 42 = -48. Suppose d - 2158 = 5*z - v*z, 0 = -3*z - 2*d + 6477. Is z prime?
True
Is (-9392)/(-3) + (-14)/(-420)*10 prime?
False
Let c = -3923 - -5857. Is c prime?
False
Suppose 11419 = 3*r + 2*h, -2*r + 7581 = -11*h + 6*h. Is r a prime number?
True
Let w(d) = d - 9. Let g be w(9). Suppose 5*k + 61 = 2*c - 0*c, 3*c + 2*k - 120 = g. Suppose j - 19 = 6*n - 4*n, 3*n = -2*j + c. Is j composite?
False
Let b = -47 - -46. Is 2/b*(-889)/2 composite?
True
Suppose -v + 3416 = 979. Is v a prime number?
True
Let b = 5 - 3. Suppose 5*x - 4*h + 2249 + 2697 = 0, 3964 = -4*x + 5*h. Is (b + -3)/(2/x) a prime number?
False
Suppose -4*g - 5*d = -909, 2*g - 457 = 2*d - 7*d. Is g a composite number?
True
Let x(q) = q**3 + 7*q**2 + 8*q. Let n be x(-7). Suppose -3*f - 221 = 292. Let u = n - f. Is u composite?
True
Let y = 9 - 5. Suppose 2*v + 3*v + 297 = f, y*f = -v + 1125. Is f*3/(-36)*-4 a composite number?
True
Let o = 317 + -207. Suppose -116*a = -o*a - 5262. Is a composite?
False
Let f(l) = l + 14. Let b be f(-15). Let o(y) = -128*y**3 - 2*y**2 - 4*y - 3. Is o(b) prime?
True
Let f(h) = 7*h**2 + 9*h + 5. Let d be f(-9). Suppose d = 4*r - 17. Is r composite?
False
Let a = -3449 + 7426. Is a composite?
True
Let o(z) = z**2 + 11*z + 22. Let r be o(-9). Suppose 3*s + 2692 = r*t - 2*s, 0 = -4*t - 5*s + 2692. Is t prime?
True
Is -1 + (-12 - -1027 - 5) a composite number?
False
Suppose -100787 = -8*g - 14763. Is g prime?
True
Let h(k) = -k**3 - 15*k**2 - 12*k + 2. Let p be h(-14). Suppose m + 2*j - 339 = 0, 7*m - 2*j - 1659 = 2*m. Let v = m + p. Is v a composite number?
False
Let c(p) = p**3 + 6*p**2 + p + 4. Let b be c(-6). Let x be (-1 - b) + 65 + 1. Suppose -t + 512 = x. Is t prime?
False
Let k(w) be the second derivative of 101*w**4/12 + w**3/6 - w**2/2 + 6*w. Let b be k(-2). Suppose 0 = -2*o + 3*o - b. Is o composite?
False
Suppose 0 = 2*o - 4*q - 3270, -5*o + 3*q = 7*q - 8147. Is o composite?
True
Let a(n) = -n**3 - 4*n**2 - 6*n - 2. Suppose -3*z + 40 = z. Let c be 4/z - (-66)/(-15). Is a(c) composite?
True
Let c be 1 - 9/3 - -221. Let y = c + -46. Suppose -4*a + y = -855. Is a a prime number?
True
Suppose -4*j + 52 = 5*x, 5*x - 45 = -3*j + 4. Suppose 5*g - 3*b - 47 - x = 0, 2*b = -2*g + 6. Is ((-6)/g)/(5/(-1060)) composite?
True
Let o(v) be the first derivative of v**3/3 - 9*v**2/2 + 10*v - 8. Let j be o(8). Is (-11)/j*(-4 + -6) prime?
False
Suppose 2*q = -20*q + 285582. Is q a composite number?
True
Let o = -35 + 37. Suppose 3*x - 276 = -3*z, -3*x - o*z - 261 = -6*x. Is x a composite number?
False
Let u(x) = -4 + 5*x + 3 + 3*x**3 + 0*x**3. Let w(y) = -y**2 + 13*y - 26. Let l be w(10). Is u(l) composite?
False
Let g(y) = -2*y**3 + 25*y**2 - 90*y + 44. Is g(-25) composite?
False
Let z(t) = -2*t. Let d(w) = -126*w - 65. Let k(x) = -d(x) + 2*z(x). Is k(9) prime?
True
Let p be 154/33 - (-2)/6. Suppose -1065 = -5*u - 130. Suppose -p*o = 3*l - 507 - u, -o = l - 228. Is l composite?
False
Suppose -24 = 2*g - 8*g. Let h = g - 0. Is h*1 + (404 - 13) composite?
True
Suppose 2*d = 10, -d - 2*d + 19 = s. Suppose -2*b + s*b + 2*i = 584, b - 308 = 3*i. Is (-2 + 4)*b/16 prime?
True
Let x = 18 + -8. Suppose 3*t - 5 = -t - a, -5*t + x = 2*a. Suppose -p = -5*y, t*y - 2*y = p - 35. Is p a composite number?
True
Let q = 3404 - -3189. Is q a composite number?
True
Suppose -69 = -r - 24. Suppose 2*w + r = -w. Let x = 18 - w. Is x prime?
False
Let g be (-5 + -10)*3/(-9). Suppose -5*w + 945 = g*f, 2*w - 328 - 80 = 4*f. Is w a composite number?
True
Let i(g) = g - 1. Let u be i(3). Suppose -u*w - 3*a + 367 = 0, -6*w - a + 950 = -w. Is w composite?
False
Let d be (-3)/(-6)*1*6. Suppose -3*p - 4186 = p - 2*i, p = d*i - 1059. Let z = -493 - p. Is z a composite number?
True
Let d be (-1 + 0)/6 - 10280/240. Suppose 2357 = 5*a + 497. Let i = a + d. Is i prime?
False
Suppose 0 = -z + 6*g - 4*g + 14927, g - 29844 = -2*z. Is z composite?
False
Is 241767261/1863 - 4/46 prime?
False
Let a = 323 + -1773. Let h = 2117 + a. Is h prime?
False
Suppose -2*o + 3*b + 17 = 0, -o + 2*b + 0*b = -10. Suppose 0 = -o*j - 5*n + 5576, 5*n + 1403 = j + 4*n. Is j a composite number?
False
Let a = -386 - -268. Suppose 531 + 114 = -3*i. Let g = a - i. Is g prime?
True
Let t be (24/9)/((-2)/(-6)). Suppose 75 + 165 = 24*w. Is t/w*130/4 prime?
False
Is 622500/35 + (-30)/(-105) composite?
True
Let z(m) = -m - 10. Let u be z(-12). Let g be (-46)/(-3 + 5/u). Suppose 215 + g = d. Is d a composite number?
False
Suppose 6*b - 1214 = 718. Suppose -b = -23*u + 16*u. Is u a prime number?
False
Let b = -63 + 66. Is (-4)/(48/(-356))*b a prime number?
True
Let n(q) = -79*q**2 + q + 1. Let v be n(-1). Let i be (24/(-18))/2 - (-1004)/(-6). Let y = v - i. Is y composite?
False
Suppose -3*w - 8 = 2*h, 26 + 0 = 5*h - 4*w. Suppose -q + 209 = 2*t, 2*q = -h*q + 2*t + 846. Is q prime?
True
Suppose -2*t - t - 5*d - 285 = 0, t - d + 87 = 0. Let p = 249 + t. Is p prime?
False
Let s(x) = -2*x**2 + x**3 + 13*x**2 - 2*x + 13 + 4*x**2 + 4*x**2. Is s(-19) composite?
True
Let q = 12016 - 5013. Is q prime?
False
Let z(w) = 7*w**2 - 2*w**2 - 3*w + 0*w**3 + w**3. Suppose 0*q - 2*q = 10. Is z(q) a prime number?
False
Let d = 28 + -26. Suppose 3*w = 0, -v + 2*v - w + d = 0. Is (-1 - -4)*131 + v a prime number?
False
Let l(m) = -m + 3. Let w(v) = -v**2 + 7*v + 2. Let o be w(7). Let t be (-28)/(-21)*(o + -8). Is l(t) a prime number?
True
Suppose 2*k = 5*d - 73893, 5*k + 44347 = 3*d + k. Is d a prime number?
False
Let b(p) = 77*p**2 - 40*p - 4. Is b(-9) a composite number?
True
Let l(x) = 3*x + 20. Let k be l(-6). Let i be ((-20)/(-8)*8)/k. Let r(b) = 5*b**2 - b + 7. Is r(i) a prime number?
False
Let p = -4027 - -18720. Is p a prime number?
False
Suppose -p - 6340 = -3*x - 489, -2*p = -2*x + 3906. Is x prime?
True
Let n(y) = -2*y**3 + 10*y - 12*y**2 - y**3 + 4*y**3 + 8. Let v be n(11). Is (-9 - -222) + v + 1 a composite number?
False
Suppose 2*z + 2 = -3*b + 12, -5*z - 5*b = -20. Let t be 120/28 + z/(-7). Suppose p + 789 = t*p. Is p a prime number?
True
Suppose 0 = -x - 0*x - 4. Let s be 2*((-118)/x - -3). Suppose -s = -y - 6. Is y a composite number?
False
Let p = 6 - -1. Suppose 0 = 4*n - w + 2 + p, -2*w - 18 = 4*n. Is n*(-6 + 2) + -3 composite?
True
Let m(u) = u**3 - 2*u**2 + 1. Let d be m(1). Suppose -3*r - j - 2 = -r, d = 2*r - j - 2. Suppose c - 41 - 44 = r. Is c a composite number?
True
Suppose 5*l - 6*q - 380 = -q, 5*q = -2*l + 117. Suppose z - 10 + l = 0. Let m = 16 - z. Is m prime?
False
Suppose -5*x = 5*o - 34545, -5*x - 2 + 12 = 0. Is o prime?
True
Let n(s) = -s**3 + 11*s**2 + 12*s + 2. Let m be n(15). Let g be (-17 - -19)*m/4. Let y = g - -538. Is y composite?
False
Let h(j) = j**3 - 4*j**2 + j + 5. Let r be ((-8)/(-4) + 9)/1. Let g = -5 + r. Is h(g) prime?
True
Let r(l) = -l**2 + 10*l - 17. Let p be r(8). Is 446 + (1 - (-3 - p)) a composite number?
False
Let n be (-115 - -4)*14/(-6). Let b = n - -20. Suppose 2*o + 3*g = -b + 1396, -o - 5*g + 576 = 0. Is o prime?
False
Let n = -1 - 3. Is (-2)/(-8) + (-75