s o a prime number?
True
Let k(i) = i**3 - 9*i**2 + 16*i - 10. Let w be k(7). Suppose w*b = -2*t + 359 - 45, 3*t - 3*b = 498. Is t a composite number?
False
Let l(i) = 9*i**2 + 17*i + 37. Is l(15) a prime number?
False
Let b be 1*(4 + -19)*-1. Suppose 2*m + q = -10, 4*m + 39 - b = -4*q. Is (0 - 2342)/(m/2) a composite number?
False
Let k(s) = s**2 + 9*s - 3. Let l be k(7). Let g be (-2)/(-2 + 0)*l. Suppose -3*r + 4*r = g. Is r a composite number?
False
Let i be (-1290)/15 - (2 + 1). Let n = i - -168. Is n a prime number?
True
Let m(t) = 27*t**3 - t. Let i = 35 - 34. Is m(i) a prime number?
False
Suppose 74753 = -24*k + 31*k. Is k composite?
True
Let k(c) = 73*c + 8. Let w be k(-4). Let i = w - -642. Is i a prime number?
False
Suppose -4*s + 8*s - g + 23 = 0, -16 = 3*s - 2*g. Let k = -1 - s. Suppose 0 = 3*l + 4*d + 15 - 764, k*d + 731 = 3*l. Is l prime?
False
Suppose 0 = -l - r + 20054, 5*l + 3*r - 71491 = 28789. Is l composite?
True
Let w be -19*39*408/36. Is 8/(-48)*w - (-4)/(-6) prime?
True
Suppose 13*q - 329000 - 343737 = 0. Is q composite?
False
Suppose 11829 = -20*a - 13671. Let l = a + 2756. Is l a prime number?
True
Let w(t) be the third derivative of -t**6/20 - t**5/20 + t**4/4 - 5*t**3/6 + 19*t**2. Is w(-4) a composite number?
False
Let z = -33 - -28. Let y(i) = 3*i**2 + 6*i + 14. Is y(z) composite?
False
Suppose 10*n - 169004 = -44394. Is n prime?
False
Let h be 54/21 + 4/(-7). Let k(i) = 2*i**2 - i. Is k(h) a composite number?
True
Let c be (2 - 4)*136/(-16). Suppose -c*g + 12*g + 4325 = 0. Is g prime?
False
Let q(w) = -4*w + 29. Let o(u) = 2*u - 14. Let z(f) = 9*o(f) + 4*q(f). Let l be z(5). Suppose 3*t - 6*t + 354 = l. Is t prime?
False
Let c = -10 - -10. Suppose -4*v = 4*g, c*g = 5*v - 2*g + 35. Let x(k) = -3*k**3 - k**2 + 8*k - 3. Is x(v) a prime number?
True
Let x = 59 - 55. Is (320 - 2)/(x/2) a prime number?
False
Suppose -175 = -5*v + 5*m, -5*v = 3*m - 5*m - 187. Let h = v - -16. Is h a prime number?
False
Suppose 0 = 4*u - 7 - 1. Suppose -q + 2055 = -2*x, 0 = 2*x - u + 12. Is q a prime number?
False
Suppose 30 = r + 26. Suppose r*k + 207 = -s + 1042, 3*k + 3340 = 4*s. Is s a composite number?
True
Let v(r) = -r**3 + 3*r**2 + 3*r + 10. Let c be v(-4). Let d be (2/4)/((-1)/38). Let j = c + d. Is j a composite number?
True
Let q = 21807 - 11645. Suppose j - q = -3*i - 0*j, 3*j = -i + 3390. Is i a composite number?
True
Suppose 4 = 4*x + 16. Let c be ((-349)/3)/((-1)/x). Let a = -182 - c. Is a composite?
False
Let f = -30 + 30. Suppose 5*s - 1185 = -f*s. Is s prime?
False
Let p(n) = -98*n + 7. Suppose -2*f - 2*f = 8. Is p(f) prime?
False
Let g be (-4 + 7)*2/2. Let a(d) = 3*d**2 + 4. Is a(g) a prime number?
True
Let l be 90 - -1*8/(5 + -1). Let g = l + 399. Is g composite?
False
Let v(q) = 252*q - 37. Is v(17) a composite number?
True
Let j = 2566 + -983. Is j a composite number?
False
Suppose 17040 = -27*y + 68502. Is y composite?
True
Suppose 3*m = -0 + 6. Suppose 2*d - 4*b + 63 - 437 = 0, 0 = -m*d + 2*b + 384. Let u = 296 + d. Is u a prime number?
False
Let p = 1010 + 338. Suppose 297 + p = 5*y. Is y prime?
False
Let q(m) be the first derivative of -15*m**2/2 + 26*m - 26. Is q(-7) prime?
True
Suppose -14*i = -15*i. Suppose i = -7*w + 80 + 459. Is w composite?
True
Suppose -12*m + 172929 = -49419. Is m a prime number?
False
Let w(j) = -j**3 - 5*j**2 + 2*j + 13. Let k be w(-5). Suppose -k*t + 443 - 41 = 0. Is t prime?
False
Let b(o) = -o**3 + 12*o**2 - 7. Let m = -19 - -31. Let a be b(m). Is (-2)/a - (-2493)/21 prime?
False
Suppose -5*b = 11117 - 50797. Let v = b - 5495. Is v prime?
True
Suppose 4*h = 2*b - 14, -18 = 4*h + 5*b - 3*b. Let y be (15/(-9))/(h/12). Suppose 0 = f + y - 7, 626 = 4*v - 5*f. Is v prime?
False
Let j(l) = l**3 + l**2 + l + 1005. Let r be j(0). Suppose -3*b = 12, -47*k + 2*b - 16427 = -52*k. Suppose k = 2*g + r. Is g prime?
False
Let y(h) = h**3 + 7*h**2 + 5*h - 5. Let g be y(-5). Let x = g - 7. Is -44*(x/(-4) - -3) a prime number?
True
Suppose -k - 1 - 5 = 0. Let z be 56/(-6) - (-4)/k. Is (z/10)/(2/(-44)) composite?
True
Let z = -17 - -30. Suppose -8*o + z*o = 45. Is (-2)/(-9) - (-2383)/o a composite number?
True
Suppose 4*r - 2*r - 16 = 0. Let c be 7/1 + -4 - r. Is (c/10)/((-1)/178) prime?
True
Suppose 2*r + 93044 = 16*r. Is r composite?
True
Let z(o) = 735*o**3 - 4*o**2 - 2*o + 8. Is z(3) composite?
True
Let p(j) = j**2 - 8*j + 4. Let b be p(7). Let s = -1 - b. Suppose -s*m = -m - 115. Is m a composite number?
True
Let m(g) be the second derivative of -2*g**3/3 - 5*g**2 + g. Let z be m(-4). Suppose z*j - 5*j = 53. Is j a prime number?
True
Let v(d) = -2*d**3 + 8*d**2 + 13*d - 8. Let o be v(8). Let c = 383 - o. Is c prime?
False
Suppose -90*k = -4*g - 95*k + 47683, -k + 35754 = 3*g. Is g a composite number?
True
Suppose -o + 138 = 4*p - 157, 0 = p. Is o composite?
True
Suppose 2*k - 33740 = 13*t - 12*t, 0 = -4*k - 4*t + 67492. Is k composite?
False
Is (22/6)/(12/91548) a composite number?
True
Suppose -c - 6986 = 1455. Let h = 14232 + c. Is h a composite number?
False
Let k = -9 + 11. Suppose k*c + 17 + 9 = 0. Let h(o) = 2*o**2 + 19*o. Is h(c) a prime number?
False
Let p = 29 + 11. Suppose p*v - 35*v = 155. Is v a composite number?
False
Suppose 36 = -0*p + 3*p. Let b be ((-39)/p)/((-1)/20). Suppose -z + 2*l = -87, -29 - b = -z - 5*l. Is z a composite number?
False
Let y(q) = -79*q - 77*q + 157*q + 3643. Is y(0) a composite number?
False
Let z = -366 - -909. Suppose 0 = a + p - 182, 4*p = -a - 2*a + z. Is a composite?
True
Let z = 908 + -635. Let v = z - -724. Is v composite?
False
Suppose 2*n + 3*p - 655 = 0, 3*n - 4*p + 3*p = 977. Suppose -2*q + 588 = 2*q + 2*s, -q + 3*s + 133 = 0. Let l = n - q. Is l a prime number?
True
Suppose 6*i - 279629 = 115225. Is i a composite number?
False
Let n = 13564 + -8131. Is n composite?
True
Suppose 5*o + 87 = -5*p - 133, -2*o = -5*p - 241. Suppose -2*x = -2*j - 2*j + 14, 2*j + 4*x = 2. Is (-7 + j)/(2/p) a prime number?
False
Let v(n) = n**3 - 4*n**2 - n + 5. Let x = -7 - -12. Is v(x) composite?
True
Let v = -18 + 20. Suppose 0 = v*n - 5*s - 141, 6*s - 15 = 3*s. Is n composite?
False
Suppose -j - 2*j = -6, -5*g + 3329 = -3*j. Suppose -5*o + 1668 + g = 0. Is o composite?
False
Suppose 0 = -4*q + 28 + 20. Let m be (-90)/q*-1*74. Suppose 4*j - m = -j. Is j a prime number?
False
Let j be (-10)/6 - (-1)/(-3). Let r be j + 183 - (2 - 2). Let d = r - 42. Is d a composite number?
False
Suppose -10*k - 28704 = -101734. Is k composite?
True
Is (63905/15)/((-3)/(-9)) composite?
False
Let d(l) = -1203*l - 44. Let h be d(-6). Let x = h - 2085. Is x a prime number?
False
Let x = 4029 + -2816. Is x a composite number?
False
Suppose 5*s = -3*v - 0*v - 35, v + 13 = -2*s. Let m be (1 - 0) + s - 86. Let q = 290 + m. Is q composite?
True
Suppose 0 = -8*p - 1 - 7. Is (2/(12/1641))/(p/(-10)) a prime number?
False
Suppose -3*t + 74506 = -4*s, 25100 - 278 = t + 2*s. Is 2 - t/(-15) - 2/6 composite?
False
Let i = -25690 - -128919. Is i prime?
False
Suppose -3587 + 11839 = 4*w + 2*t, w = -4*t + 2063. Is w composite?
False
Let n(c) = -194*c - 8. Let y be n(-6). Suppose -4*q + 2*q - 3*h = -588, 4*q = -h + y. Let u = 403 - q. Is u a composite number?
True
Let i(w) = 0 + 7*w**3 - 5*w + 5*w**2 - 4 + 0 - 6*w**3. Suppose -28 = -5*k - 3. Is i(k) prime?
False
Let y be 3 + 0 + 14877/(-3). Let z = 7249 + y. Is z composite?
False
Let a be 1 - (4 + -376) - 9/(-3). Suppose 4*w + 3*u = a, 3*w - 23 = 2*u + 259. Is w prime?
False
Let t(s) = 6*s + 7*s**2 + 3*s + 70 - 67. Suppose b - 20 = 6*b. Is t(b) a composite number?
False
Let h(n) = -31*n**3 + 11*n**2 + 37. Is h(-7) composite?
True
Let h = -2860 - -5360. Let k = -1215 + h. Suppose -13*p + k = -8*p. Is p a prime number?
True
Is (23926/(-28))/(1 - (-22)/(-20)) prime?
False
Let k(x) = -5*x**3 + 3*x**2 + x - 1. Let v be k(-6). Suppose 210*b = 214*b + 208. Is v/13 + (-8)/b a composite number?
True
Suppose 1854 = 2*r - 3*g, 999 + 1820 = 3*r + 5*g. Let s = 1762 - r. Suppose s - 76 = 3*o. Is o a composite number?
False
Let n(z) = 117*z**2 - 2*z - 1. Let k be 10*(-1)/2 + 2/2. Is n(k) a composite number?
False
Is 6/(-3)*(-5)/10*3277 prime?
False
Let n(x) = -x**3 + 3*x**2 + 6*x - 4. Let v be n(4). Is (67/v)/((-2)/(-136)) a prime number?
False
Suppose 4*h + 18 = t, 