o*w + 152 = -w, k = 4*d + 4*w - 600. Is d a composite number?
False
Suppose -12 = -4*i - 0*i. Suppose -i*c - c + 1788 = 0. Suppose -t = 2*t - c. Is t composite?
False
Let g = -64686 + 96799. Is g composite?
True
Let p = -39 - -42. Suppose 10*r - 2600 = 5*r + p*k, 0 = -4*r + 3*k + 2083. Is r prime?
False
Let w(s) = 4*s - 1. Let l be w(1). Suppose 3*n + r = 272 + 45, l*n - 4*r - 337 = 0. Suppose 5*o - 10 = 3*d + n, 5*o - 2*d = 113. Is o prime?
False
Let x(g) = -g**2 - 5*g - 2. Let n be x(-12). Let z = n - -783. Is z a composite number?
True
Let p = 183 - 177. Let r(k) = k**2 - 7*k - 4. Let o be r(-6). Is (o/p)/((-8)/(-24)) a prime number?
True
Suppose 24*i + 258 = 27*i. Suppose 0 = 4*y - 2*y + 5*j - 86, i = 2*y - 4*j. Is y composite?
False
Suppose -4*u - 3*x + 16095 = -0*u, 5*u - 20105 = -x. Let d be u/4 - 4*1. Let f = -534 + d. Is f composite?
False
Let h be (-4)/22 + 114/22. Suppose -2*n = 3*k + 3, -5 = h*k + 3*n - 0. Is 3*246/9 - k a composite number?
False
Suppose f - 5*q = 8, q + 10 = 5*f - 2*f. Suppose 2*v + v = -f. Is (616/(-16))/(v/2) prime?
False
Let b(s) be the second derivative of s**5/30 - 5*s**4/12 - 11*s**3/6 - s**2/2 + 4*s. Let x(d) be the first derivative of b(d). Is x(8) prime?
True
Suppose -7*w + 451543 = 624. Is w a composite number?
True
Let g(k) = -k + 9. Suppose -h + 35 = 4*h. Let c be g(h). Suppose c*v - 166 = 72. Is v prime?
False
Let s be ((-10)/(-4))/((-2)/(-4)). Suppose -4*n + 28 = -4*c, c + s*n - 5 = 2*n. Is 1914/c*14/(-21) composite?
True
Let w = -16224 + 27870. Suppose -w = -7*u - 61. Is u a prime number?
False
Let f(k) = 32*k - 7. Let j = -11 + 16. Suppose 2*c - j = 3*m - 17, -3*m + c = -15. Is f(m) a composite number?
True
Suppose h - 4 = 0, -4*n + 4366 + 1906 = -5*h. Let f = n - 1115. Is f a composite number?
True
Let f(x) = 14*x + 0 + 36*x - 1 + 18*x. Is f(9) prime?
False
Suppose 3*s + 1922 = 4*q, -487 = -3*q + 2*q + 4*s. Is q prime?
True
Let a(u) = u**2 + 2*u - 9. Let y be a(-13). Suppose -5*j = 3*i - 894 - y, 5*i + j - 1750 = 0. Let s = 644 - i. Is s a composite number?
False
Suppose -37 + 12 = -5*y. Let z(n) be the third derivative of 107*n**4/24 + n**3 + 914*n**2. Is z(y) a composite number?
False
Let y(k) = -k**3 + 36*k**2 - 54*k + 78. Is y(31) a composite number?
False
Let f = 40 + -41. Is f/((-2)/(-6))*(-2962)/6 a composite number?
False
Let v be (11/(-33))/(1/(-63)). Let b = -13 + v. Is ((-1175)/10)/((-4)/b) prime?
False
Is 3*-1 + 0 + -124 + 7376 a composite number?
True
Let d = 20736 + -4523. Is d composite?
True
Let i = 7 + -10. Let b be (i - -4)/(-1) + -5. Is b/(-9)*(-747)/(-6) a composite number?
False
Let j = 63 + -191. Let k = 202 + j. Is k prime?
False
Let j(g) = 11*g**3 + g**2 - 2*g - 7. Let v(c) = c**3 + 8*c**2 + 10*c - 9. Let n be v(-6). Is j(n) a composite number?
False
Suppose -2*m = -11*m - 14823. Let p = -784 - m. Is p prime?
True
Let v be (3 - -4) + (-6 - -3). Suppose 5*g - 329 = 3*h, v*g + 5*h - 240 - 38 = 0. Is g a prime number?
True
Let y = 19927 - -2064. Is y a prime number?
True
Let i(a) = -28*a**3 + 15*a**2 - 10*a + 18. Is i(-7) a prime number?
True
Suppose 0 = -0*w + 6*w - 18. Suppose 0 = 3*a + w*a - 11082. Is a a composite number?
False
Is (-55638)/(-10) + (-52)/65 - 6 a prime number?
True
Suppose k - 3*t - 73 = -4*k, -3*t = 2*k - 25. Let m = -32 + k. Let s = 145 + m. Is s a composite number?
False
Let x(w) = 2 - 3*w - 3*w + 2*w**2 + 4*w + 0*w**2. Let a be x(-2). Is (-6)/(-21) - (-4350)/a a prime number?
True
Let f be (-2)/(-3) - 11165/(-33). Let b = 562 - f. Is b a composite number?
False
Let z be (-8)/12 + (-8)/(-3). Let t be (z/3)/(2/894). Suppose -4*u - t = -6*u. Is u a prime number?
True
Let k(y) = y**2 + 16*y + 6. Let m be k(-16). Let t(r) = 4*r**2 - 7 - 11*r - m - r**2 + 2. Is t(9) a prime number?
False
Let l(x) = -26 - 15 - 212*x + 35 + 18*x. Is l(-2) a composite number?
True
Let q = -666 + 984. Let b = -195 + q. Suppose -b = -3*c - 0*c + 3*s, 4*s = -2*c + 112. Is c prime?
False
Suppose 0 = -3*r + 2 + 7, -11117 = -4*n - 3*r. Is n prime?
True
Let u(x) = -x**3 + x**2 - 2*x - 8. Suppose -7*y = -6*y. Let a be u(y). Is (-70)/3*12/a prime?
False
Let q(f) = 6*f**2 + 2*f + 2. Let m be q(-3). Suppose 4 = -2*r + m. Suppose -3*j = -2*n + 66, 4*n + 3*j = -r + 155. Is n a prime number?
False
Let d = -412 - -591. Suppose -110 = -4*a + 290. Let v = d - a. Is v composite?
False
Suppose 18*v - 5783 - 10399 = 0. Is v prime?
False
Let g(s) be the first derivative of -s**4/4 + 13*s**3/3 - s**2 - 11*s - 11. Is g(9) prime?
False
Let w(q) be the third derivative of q**5/60 - q**4/24 + 97*q**3/3 + 9*q**2. Is w(0) prime?
False
Let k = -141 + 633. Suppose -4*d - k = -7*d. Let w = -79 + d. Is w a prime number?
False
Let w(y) = y**2 - y - 2. Let b be w(-5). Let a(t) = -t**2 + 18*t + 1. Let i be a(8). Let l = i - b. Is l prime?
True
Let a(m) = m**3 + 13*m**2 + 5*m. Is a(-11) a composite number?
True
Let d(j) = 7*j**3 - 6*j**2 + 81*j + 31. Is d(16) a prime number?
True
Let r(a) = -62*a**3 - a**2 - a - 1. Let y be r(-1). Suppose -d - 4*d = 130. Let p = d + y. Is p a composite number?
True
Let u = 2 + 5. Let x = 10 - u. Suppose -x*o = -0*o + 3*j - 495, 0 = 2*o - 5*j - 316. Is o composite?
False
Let y(q) = q**2 + 8*q - 4. Let v be y(-9). Suppose 4*i = 2*p + 1718, v*p - 1308 = -0*i - 3*i. Is i prime?
True
Let n(p) = p**2 + 3*p - 7. Let s be n(-5). Suppose 1 = -q + s. Suppose 5*v = 2*t + 13, q*v - 4*t = -0 + 2. Is v composite?
False
Let p = 74 - 74. Suppose 5*h - 285 = -p*h. Is h a composite number?
True
Suppose -15*s = -14*s - 6. Suppose 12 = h + s. Is h a prime number?
False
Suppose 309379 = 5*z + 4*v, -6*v = 5*z - 9*v - 309407. Is z a composite number?
False
Suppose 0 = 5*g + 222 - 542. Let m = g + -26. Is (-5)/(-2)*m - 1 prime?
False
Let d = -12 - -15. Suppose 5*l = 2*r + 512, -8*r + 4*r - d*l - 1050 = 0. Let w = -182 - r. Is w composite?
False
Let w be (-1 - (1 - 3))/(1/6088). Suppose -6*c + 4576 = -3*c - 5*q, 0 = 4*c - 4*q - w. Is c a prime number?
False
Let t(u) = -158*u - 2. Let r be t(-11). Suppose -6*q + 3*q + 12 = 0. Suppose q*d = 548 + r. Is d a prime number?
True
Suppose 2*o = -10, 3*a - 5*o = 4*a + 25. Suppose q - 470 + 151 = a. Is q composite?
True
Let k(v) = -3*v**3 - v**2 + 1. Let y be k(-1). Suppose -4*g = 5*c - 1281, 0*c + 5*g - 766 = -y*c. Suppose 13*h = 12*h + c. Is h a prime number?
True
Let p(k) = -258*k - 3. Let c be p(7). Let y = c + 3464. Is y a prime number?
False
Let m(s) = -s**3 - 6*s**2 - 6*s - 2. Let d be m(-5). Suppose a - 4 = 0, -2*a = d*p + 3*a - 4721. Is p a composite number?
False
Is (-2)/11 + (-84765)/(-55) a prime number?
False
Let o(w) = -w**3 + 2*w**2 + 4. Let r be 9/5 + (-4)/(-20). Let g be o(r). Suppose s + g*t + 34 = 167, -5*t = 2*s - 266. Is s prime?
False
Suppose 0 = 3*d + 3*i - 953 - 361, -2*i - 1746 = -4*d. Is d composite?
True
Suppose 5*v - 16 = -1. Suppose 255 = v*w - 0*w. Is w a composite number?
True
Let n = 2688 + 1544. Let h = 8647 - n. Is h composite?
True
Suppose 0 = 3256*n - 3266*n + 11510. Is n composite?
False
Let y be 1787/(-6) + 29/(-174). Let j = y + 767. Is j a prime number?
False
Let a(k) = 32*k + 19*k + 52*k + 19*k. Is a(1) a prime number?
False
Suppose -3*x - 3971 - 1470 = -j, 4*x = 3*j - 16313. Is j composite?
True
Let n be -5 - (5 + -3 - (0 - 0)). Is 12528/20 + n + 2/(-5) a composite number?
False
Suppose -33*s - 112862 + 503945 = 0. Is s a composite number?
True
Let y = -10 + 30. Let x be (y/(-12) - -1)*3. Let u(w) = -6*w**3 + w**2 - 2*w - 3. Is u(x) prime?
True
Let b(m) = 6*m**3 + 8 - 2 + 52*m**2 - 59*m**2. Is b(5) a composite number?
True
Is -4 + 21427 - (-5 + -3 + 13) a composite number?
True
Is (-7)/(35/(-157910)) - (-3 - -2) prime?
True
Let q(y) = -10*y**3 + y**2 - 5*y - 3. Let t be q(-2). Let v = t - 0. Is v a prime number?
False
Suppose 2*u + 482 - 5698 = -5*b, b + 2 = 0. Suppose -u = l - 14*l. Is l prime?
False
Suppose 129479 = 7*y - 5*g, 2*y - 4*g - 36994 = -5*g. Is y a prime number?
False
Let u(v) be the second derivative of -65*v**3/6 + 5*v**2/2 + 10*v. Is u(-4) prime?
False
Let y be 589 - (-2 + 4/(-4)). Suppose 2*n = -6, -n + 79 = 2*b - y. Is b a composite number?
False
Is (9356/8 + -3)*34/17 composite?
False
Let a(y) = 301*y**2 - 40*y - 229. Is a(-6) a composite number?
False
Suppose 0 = 3*g - 0*g + 4*i - 1, -15 = -3*g + 3*