et y be (1 + 3 + -3)*w. Suppose -y*x = n - 176, 5*x = -5*n + n + 749. Is n composite?
False
Let s = 193 - 84. Is s prime?
True
Let y be (1*-2)/(7 - 9). Is (5/(-10))/(y/(-230)) composite?
True
Let x = -22 + 48. Is x composite?
True
Suppose -2*l + 2825 = 3*l. Is l composite?
True
Suppose q - 10 = -q. Suppose 0*r - q*b + 1053 = 4*r, r + 5*b = 252. Is r a prime number?
False
Let x be 2/(-4)*(-8)/2. Let l be 88/(-6)*(-9)/x. Is 2*(l/4 + -1) a composite number?
False
Suppose 3*o + q - 1056 = 0, 2*q + 399 + 313 = 2*o. Is o prime?
True
Suppose -458 + 3095 = 9*u. Is u a composite number?
False
Suppose 0*r + r - 2095 = 0. Let y be (-12)/10*15/(-6). Suppose -y*g = 2*g - r. Is g prime?
True
Suppose -6079 - 7922 = -13*b. Is b composite?
True
Suppose 4*h + 9 = -7, -2*h = -4*q + 456. Let t = q - -79. Is t prime?
True
Let y(w) be the second derivative of w**4/3 - 2*w**3/3 + 7*w**2/2 + w. Is y(6) prime?
True
Suppose -2*m = -3*l + 18, 2*m + 2 = 2*l - l. Suppose 0 = 3*n - l*n + 135. Let u = 58 - n. Is u a prime number?
True
Suppose 2*o = -o + 471. Is o prime?
True
Suppose 2*c - 4*g + 6 = -0*c, 0 = g - 4. Suppose -3*j - 974 = -c*j. Is j prime?
True
Suppose 5*y = -4*m + 2*m - 1, -4*m = -4*y + 16. Is (264/m)/(-1) + -3 a composite number?
True
Let i be 58/(-6) + (-2)/6. Let h be (-10)/(-4) - (-5)/i. Suppose -108 = -2*w - y, 3*w - h*y - 167 = -6*y. Is w a composite number?
False
Let d = -6 + 8. Suppose 0 = -0*b - d*b + 10. Suppose b + 3 = 2*t, 360 = 4*v - 5*t. Is v prime?
False
Let k(g) = -118*g + 3. Let q be k(3). Is q/(-15) + (-2)/5 a composite number?
False
Suppose -5*x - 4*u = -370 - 17077, -5*x - 3*u = -17449. Is x a prime number?
True
Suppose -2*i + h = -917 + 136, -386 = -i - h. Is i a prime number?
True
Suppose 5*x + 4*l + 28 = 0, 0 = -5*x + 4*l + 29 - 81. Is 2/x + (-714)/(-8) composite?
False
Let z be (6/4)/(3/8). Let h = z + -1. Is h a composite number?
False
Suppose d - 187 = 3*o + 43, -2*o = 0. Suppose -u = 4*u - d. Is u a prime number?
False
Let w be ((-8)/(-5))/(1/5). Suppose 0 = 7*r - w*r + 13. Is r a prime number?
True
Let u = -7 + 32. Suppose -u = 5*t, -6*w + 2*w - t = -71. Suppose -2*g = -11 - w. Is g prime?
False
Let g(k) be the second derivative of 11*k**4/6 + k**3/3 - 5*k**2/2 - k. Is g(4) a composite number?
True
Let k be 48/27 - 4/(-18). Let a(x) = -x**3 + 3*x**2 - 2. Let p be a(k). Let h(n) = 5*n**2 + 2*n - 2. Is h(p) composite?
True
Suppose -5*w + 1890 = 5*j, -4*w - 1136 = -7*w - 5*j. Is w a composite number?
True
Suppose -5 = w + h, 0*w - 5*w + h = -5. Suppose w*t + 77 = t. Is t composite?
True
Let f = 44 - 28. Is (f/(-24))/(2/(-1041)) prime?
True
Let h = -16 - 2. Let m = -11 - h. Is m a composite number?
False
Let k = 7 + 16. Suppose -f + k = 5*w, 5*f + 5 = 5*w - 0. Suppose w*m - 28 = -0*m. Is m composite?
False
Let o = -393 - -569. Suppose 5*c = 9 + o. Is c composite?
False
Suppose -4*x - 462 = -2*n, 5*x + 661 = 2*n + 203. Is n composite?
False
Suppose 2*t - 4*p = -3*p + 587, 5*t - 4*p = 1469. Is t a prime number?
True
Suppose -4*b = -7*b + 507. Is b composite?
True
Let m be ((-4)/5)/((-2)/(-15)). Let k be ((-8)/m*9)/1. Suppose -k = -2*g + 62. Is g a prime number?
True
Let m = -2 - -32. Suppose -3*d + 3*x = 6*x - 219, -2*d + 4*x + 170 = 0. Suppose 4*a + 109 = 5*l, m = 5*l - 2*a - d. Is l prime?
False
Let s = -790 - -3130. Is (-1)/(-2) + s/8 a prime number?
True
Suppose -1296 = -3*r - 3*l + 174, -487 = -r - 2*l. Is r composite?
True
Let r = -4 + 2. Let m be 15/10 - (-7)/r. Is (m - -1)*(-149 + 0) composite?
False
Let d(g) = -4*g - 5. Is d(-7) a prime number?
True
Let v = 9 + -4. Suppose v*x = -3*n + 202, -x - 18 = -2*x + 5*n. Suppose 5*z + 25 = 5*f, -4*f = 2*z - x + 6. Is f a prime number?
True
Is 4/6 - 6759/(-27) a composite number?
False
Suppose 3*z + z = -3*q + 1131, -5*q - 3*z + 1874 = 0. Suppose m = -140 + q. Is m composite?
False
Let z(o) = -o - 3. Let j be z(-5). Is 15/j - (-5)/(-10) a composite number?
False
Let o = 3 - 0. Suppose -o*f - f = -64. Suppose -2*u + 198 = f. Is u prime?
False
Let z(o) = -7 + 5*o + 7*o**2 + 9*o**2 - 11*o**2 + 14*o**2. Is z(-5) a prime number?
True
Let l = 383 + -225. Is l composite?
True
Let d(k) = 11*k**3 + k**2 - 3*k - 3. Is d(2) a prime number?
True
Suppose w = 3*n - 9, 0 = -n - 2*n - 2*w. Suppose p + 2*c - 19 = 0, 2*c = n*p - p - 19. Is p prime?
True
Let y = 2669 + -1608. Is y a composite number?
False
Let r(w) = 3*w**3 - 3*w**2 - 6*w - 5. Is r(5) prime?
False
Let r(m) be the second derivative of -9*m**3/2 - 3*m**2 + 4*m. Is r(-9) prime?
False
Is -20*((2780/(-16))/1 - -3) prime?
False
Suppose 2*p - 4*p = -2962. Is p composite?
False
Let i(t) = 123*t**2 - t - 1. Let l be i(-1). Let r = 110 + l. Suppose 2*f + 5*w + 159 = 4*f, -2*w - r = -3*f. Is f a prime number?
False
Is (-4 - -1) + 21 + 1 a composite number?
False
Let z = 103 + -56. Is z prime?
True
Suppose -k + 3 = -0*k. Suppose 0 = -q - 2*j + 1538, -k*j + 2 = -7. Is (-2)/(-5) - q/(-20) composite?
True
Suppose 3*o = 3*u + 1167, -5*o = -u + 3*u - 1959. Is o composite?
True
Let l(m) = m**3 + 7*m**2 - 9*m + 3. Let j(k) = -k. Let g be j(8). Is l(g) prime?
True
Suppose -3*u - 116 = 4*x, -3*x - 4*u + 58 = -5*x. Let s = x - -49. Suppose n - 33 = s. Is n composite?
False
Let v = -40 - -21. Suppose -3*z + 16 = z, 2*z - 28 = 5*y. Let d = y - v. Is d composite?
True
Let w = 281 - 7. Is w a prime number?
False
Let f be 14/(-8) + (-2)/8. Let t = 67 + f. Suppose t = -0*i + 5*i. Is i a prime number?
True
Let v(g) = -18*g + 1. Is v(-23) a composite number?
True
Let w(j) be the first derivative of 4*j**3/3 + 11*j**2/2 - 9*j - 1. Is w(8) a composite number?
True
Let t(d) = d**2 + 4*d. Let c be t(-6). Let f = c - 7. Suppose 0 = 2*y + 5*p - 311, -661 - 163 = -f*y + 3*p. Is y a composite number?
False
Let b(r) = 59*r + 3. Let f be b(4). Suppose -f = -5*v + 86. Is v a prime number?
False
Suppose x = -u + 3*x + 957, 0 = -3*u + x + 2861. Is u composite?
False
Let h(t) = -8*t - 7. Let u be h(-6). Suppose 92 = 5*f + 2*x, 2*f + 8*x - 3*x - u = 0. Let k = 41 - f. Is k a composite number?
False
Suppose 4*j + 3*w - 2*w + 7 = 0, 0 = 2*j + 4*w. Let z be (-6)/(-9)*(-3)/j. Suppose 0 = 3*d + a - 108, 3*a - 8 = z. Is d a prime number?
False
Suppose -1 = 5*i + 4. Let y be 47*(-2*1 - i). Let s = 66 + y. Is s composite?
False
Is 3246/9*(-21)/(-2) composite?
True
Suppose -301 = -y + 496. Is y a composite number?
False
Suppose 0 = -4*h + 3*h + 121. Is h a composite number?
True
Let p(v) = 2*v**2 + 6*v - 1. Suppose 0*k + 3*r - 3 = k, -3*r = -5*k - 39. Let u = 13 + k. Is p(u) composite?
True
Let b(c) = -c**2 - 20*c - 12. Suppose -5*l = -10*l - 65. Is b(l) a composite number?
False
Suppose 0 = -2*h - h + 1551. Is h a prime number?
False
Let x(z) = -z. Let y(q) = -q**2 + 2*q - 53. Let m(d) = -x(d) - y(d). Is m(0) a composite number?
False
Suppose 4*a = -a - 150. Let f be ((-2)/(-4))/(2/12). Let k = f - a. Is k prime?
False
Let b(h) be the second derivative of 7*h**4/12 + h**3/3 - h**2 - h. Is b(-5) prime?
True
Let f = 263 + 576. Is f prime?
True
Suppose 3*a - 42 = -11*a. Let m(d) = 3*d - 1. Let w be m(2). Is a - w/(10/(-332)) prime?
False
Suppose 42 = -i - 45. Let h = 2 - i. Is h a composite number?
False
Suppose -4*u = -2*r + 5*r - 18, -5*r - 3*u = -19. Let i(b) = b**2 + 1. Let p be i(-2). Suppose 3*c + 2*d - 65 = 12, r*c - 26 = p*d. Is c prime?
True
Let x be (-6)/(-4) + 18/12. Is (x - -31) + 3*1 a composite number?
False
Let u(k) = -11*k - 6. Suppose 4*s = -s - 35. Is u(s) a composite number?
False
Let t(l) = l**3 - 5*l**2 + l - 3. Let k be t(4). Let i(d) = -d**2 + d - 1. Let a be i(0). Let x = a - k. Is x a prime number?
False
Let l be (-70)/(-6) - (-2)/(-3). Suppose t - 33 = -5*a, -t + l = a - 42. Is t prime?
False
Let r(d) be the second derivative of 13*d**4/24 + d**3/2 - 3*d**2/2 + d. Let w(a) be the first derivative of r(a). Is w(4) a prime number?
False
Suppose 287 = 13*o + 40. Is o prime?
True
Let w(j) = -j**2 + 11*j - 1. Is w(8) prime?
True
Suppose 412 = 4*l - 44. Suppose -l = -2*x - 12. Is x a composite number?
True
Let u = -1441 + 2270. Is u composite?
False
Let p = 6 + -6. Suppose p = 3*x + 59 - 188. Suppose 0 = 2*s - 3*s + x. Is s a composite number?
False
Let t be 13*(1 + -1 + 26). Suppose -t = -2*a + 408. Suppose 0 = -5*n + a + 22. Is n prime?
True
Let p(j) = 8*j + 13*j + 23*