2. Let a be k(-7). Suppose 5*g - a*g = -12. Are g and -1 equal?
False
Let p be (-2 + -1 + (-2198)/(-112))*1. Which is bigger: 17 or p?
17
Let p be (-1*(-2 + -1))/(1323/294). Is -293 < p?
True
Let m = 344 + -526. Let t be 3/(-15) + m/(-70). Let p = 6 + -3. Which is smaller: t or p?
t
Suppose 0 = m - 7*d + 9*d + 12, 0 = m - d - 3. Let w be 14/(-7) - m/(20/18). Are 19 and w unequal?
True
Suppose a = 6 - 2. Suppose -47*l + 20 = -57*l. Let q be (l - a)*(-1)/(-3). Which is bigger: -5/6 or q?
-5/6
Suppose 35*n - 1238 = 1387. Is 76 <= n?
False
Let c = 10/121 - 69/968. Which is smaller: 0.02 or c?
c
Let g = 404 + -405. Let a be (-1 - 8)*(-2)/(-6). Are a and g nonequal?
True
Let z(q) = -q - 13. Let t be z(-26). Which is greater: 111/8 or t?
111/8
Let d be (12/10)/((-9)/120). Let f = 18 + d. Let h be 4/6*(-18)/(-12). Which is bigger: h or f?
f
Let k = 43 - 42. Let n = 2 - k. Is -12/5 <= n?
True
Let t = -1310/15799 + -4/259. Are t and -1 non-equal?
True
Let x be (-15 - -11)/(1 - (-29)/(-27)). Are x and 59 nonequal?
True
Let q = 4 - 2. Suppose q*s + 9 = -1. Let u = 7 + s. Which is smaller: u or 8/5?
8/5
Let t = 120119/26 - 4620. Let f(m) = -2*m**2 + 1. Let u be f(-1). Which is bigger: t or u?
t
Let k = 11 + -14. Let a be k + 1/(-2)*-26. Which is greater: 21/2 or a?
21/2
Suppose -v + 10 = 3. Let k(u) = u**2 + u + 4. Let y be k(v). Let w = y + -298/5. Are w and 6 nonequal?
True
Let g be ((-2)/(-4))/(12/1608). Suppose -g = -4*p - 3. Suppose -6*b = -2*f - b - 22, 4*f = -5*b + p. Which is smaller: f or -2?
-2
Let u be (-4)/10 + 748/20 + 4. Which is smaller: u or 45?
u
Suppose 5*m - 20 = -0*m. Let h = -5 + m. Let k be -1 - (5 + h - 12). Which is smaller: 6 or k?
6
Let w = -103/8 - -2753/216. Let t = 26/27 + w. Is t greater than or equal to 8?
False
Let x = 2071/20880 - -10/261. Let b = x - -1/16. Let g = -0.65 - 0.35. Is g smaller than b?
True
Suppose 0 = g - p - 3, 12 = 4*g - p. Let z = 5 + -3. Is g at most as big as z?
False
Let s = -73.867 + 73.9. Which is smaller: -1 or s?
-1
Suppose -3*r - 65 = 2*r - 5*a, 0 = -5*a + 10. Let v = -17 + 19. Suppose -2*s + 4*s + 2 = -4*j, -4*s - 4 = -v*j. Is r at most s?
True
Suppose 0 = d + d. Let g be 3*(-3)/(-9) - d. Let s be (5/60)/(g/4). Is s equal to 0?
False
Suppose -2*f + 3*f = -4. Let j be (-402)/9 - (-12)/18. Let n = 41 + j. Is f smaller than n?
True
Let t = -58 + 52. Let v be -1 + -1 - (-9)/(-2). Which is bigger: v or t?
t
Let a be 2/3*531/6. Suppose 9 = 2*c + a. Which is bigger: c or -26?
c
Let u = 716 + -757. Is u at most -37?
True
Let k(y) be the third derivative of 0*y**3 + 1/5*y**5 - 1/120*y**6 - 14*y**2 + 0 + 0*y + 0*y**4. Let o be k(12). Is -10/9 > o?
False
Let y be (-4)/2 - (-19)/11. Let j(u) = -2*u - 4. Let v(s) = -s**3 + 12*s**2 - 10*s - 13. Let a be v(11). Let m be j(a). Which is smaller: y or m?
y
Let l = -2 + 4. Let i = 10 - 8. Suppose -10 = -3*w + i*u, -6*w + 3*w + 16 = -5*u. Is l less than w?
False
Let f(n) = -4*n + 6. Let g be f(7). Let c be (-2)/(3 - g/(-8)). Let k be 12/(-8)*(-2)/c. Which is greater: 1 or k?
1
Let g = -444 - -427. Do g and -19 have different values?
True
Let g be -282*(-1 - (-77)/91). Which is bigger: g or 42?
g
Let v be (-9)/(-357)*-199 + 20/4. Which is smaller: v or 0?
v
Let w = 21.1 + -1.1. Let a = 18.97 - w. Let k = a - -0.03. Is k at least -5?
True
Suppose 4*k - 335 = -5*s, 0*k = 3*k + 15. Which is bigger: s or 72?
72
Let w be 2*((-12)/(-3) + -3). Let n be 6*3/9*w. Suppose -n*g + 0*g = -16. Is 4 bigger than g?
False
Let l be (-4)/(-3) - ((-322)/105 + 4). Is l greater than -5?
True
Let l be 306/45 + 2/10. Let v be 2/6*(l - 8). Let b = 12 - 20. Which is smaller: v or b?
b
Let q = 595 - 594. Which is greater: 290 or q?
290
Let u = -20564/7 - -2933. Let o = u + 5. Which is smaller: o or -1/35?
-1/35
Let x be (9/(-12))/((-884)/880 + 1). Let w be (-2)/11 - 300/x. Is w at most -9/5?
True
Let j = 2335 + -2334.2. Which is smaller: j or -2/29?
-2/29
Let i = -0.425 + -51.575. Which is greater: i or 0?
0
Let c = -36504 + 256237/7. Let o = -101 + c. Let d be (0 - 2/(-10))*-3. Which is greater: o or d?
o
Suppose -3*y = -19*y - 1024. Are y and 0 equal?
False
Let o(d) = -d**3 - 5*d**2 - 18*d - 9. Let y be o(-6). Is 135 smaller than y?
False
Let d be 4/(-26) + 2509/(-169). Let a be (-8)/70*d/6. Let g = -22 - -23. Is g at most a?
False
Suppose l + l - 3*p = -7, l = 4*p - 16. Suppose 0 = -l*i + 9*i - 60. Is 12 equal to i?
True
Let f(b) = b + b**3 - 3*b**2 - 2*b**3 + b**2 + 0*b**2. Let h be f(1). Let u(n) = -n**2 + n - 2. Let w be u(0). Is w <= h?
True
Let a(u) = 13*u**2 + 128*u - 127. Let m be a(1). Suppose 140 + 135 = 5*v. Suppose 0*p - 3*r = 4*p - v, -4*p + r = -51. Which is smaller: p or m?
p
Let g = 417 - 453. Is g less than -39?
False
Let y = 0.1 - -1.9. Let p = 4 - y. Let c = -0.028 + 2.028. Is p at least c?
True
Let m = 1 + 0. Let v be ((-12)/27)/(-2) + 3584/(-63). Let r = v + 57. Which is smaller: r or m?
r
Suppose -3*u + 4*g - 214 = 0, -5*u + g - 351 = -0*g. Is u not equal to -70?
False
Suppose -13 = -2*o + 21. Suppose -4*j = -4, -o = -3*a - 12*j + 10*j. Which is smaller: 8 or a?
a
Let u = -29 + 44. Let y(v) = -10*v + 8*v**2 - 22*v**2 + 12 + u*v**2. Let n be y(9). Is 4 less than or equal to n?
False
Let r be 174/(-1479) + (-9522)/(-17) + 0. Is 561 <= r?
False
Let a = -104857/196 + 535. Do 0 and a have the same value?
False
Let l be ((-1)/2*-6)/(-1) - 0. Let r be 19 - l - (-4 + (-4 - -10)). Which is greater: 21 or r?
21
Suppose 0 = 149*k - 151*k + 18. Let p(q) be the second derivative of q**4/12 - 3*q**3/2 + 5*q**2/2 + q. Let y be p(k). Which is smaller: y or 4?
4
Let o = 30.055 + -0.055. Let f = -83/85 - -20/17. Are f and o equal?
False
Let i = -0.0086 - -12.8886. Let o = i - 13. Let g = o - -0.22. Which is greater: g or 2/7?
2/7
Suppose 0 = 3*u - r - 62, 4 = u + r - 14. Which is smaller: 17 or u?
17
Let n be (-3)/((-45)/33*(-19)/(-57)). Are 6 and n unequal?
True
Suppose -112 = z - 118. Is z > -10?
True
Let c = -79 - -80. Let h = 329 + -9211/28. Which is bigger: h or c?
c
Let x = 2131/8 - 266. Suppose -55 = 5*g + 5*j, j = -5*g + 3*j - 27. Let t = g - -6. Are t and x non-equal?
True
Let w(l) = l**2 + 4*l - 4. Let p be w(-5). Suppose -2*n = 5*u - 27, -u + n + 3 = -p. Let a = u - 6. Is 4/11 less than or equal to a?
False
Let g = 39.5 + -39. Let c = g + -12.5. Which is greater: c or -0.1?
-0.1
Let h be 8/(-28) + 4/14. Suppose h = 3*u + 4*g - 31, 2*g + 66 = 3*u - g. Do u and 5 have different values?
True
Let r = -170 - -179. Is r greater than or equal to -1?
True
Let q(r) = 3*r + 14. Let h be q(-11). Let t = h - -19. Which is bigger: t or -2?
t
Suppose d - 2*d - 5 = 2*r, 4*d + 9 = 3*r. Let n = 224 + -219. Let p be r + n + 10 + -16. Is p equal to -2?
True
Suppose -2*s - 4*l = -170, -s + 4*l - 13 + 74 = 0. Do 71 and s have the same value?
False
Suppose 64 = 154*f - 158*f. Let i be 39 - (-2)/(4/2). Let r be (f/i)/(16/70). Is r bigger than -1?
False
Let d = -81 - -959. Is d >= 877?
True
Let l be 4*(-15)/18*(-946)/(-33). Is l less than or equal to -95?
True
Let h = 1.526 - 1.626. Let d be (9/16)/((-6)/(-8)). Which is greater: h or d?
d
Suppose 0 = -2*j + 13 - 3. Suppose 2 = -j*c - 38. Is c equal to -5?
False
Suppose 7*q + 1 = 85. Let x be 13/4 - (-5 + 51/q). Which is smaller: 0 or x?
0
Suppose -87 - 57 = -6*g. Let n = g + -71/3. Which is smaller: -3/25 or n?
-3/25
Let y be 3/(-12) + -2 + (-1771)/28. Which is smaller: y or -67?
-67
Suppose -17 = 4*m - 93. Let j = -47 - -67. Let u = j - m. Which is smaller: u or 2/27?
2/27
Suppose -7*k + 3*k = 8. Suppose 59*j - 134*j = 900. Does j = k?
False
Let x = 83111478/2195 + -37864. Which is greater: x or 1?
1
Suppose 0*z + 6*z = 60. Which is smaller: 17 or z?
z
Let q = -2157478/461 + 4680. Do -1 and q have different values?
True
Let h = 7 + -42. Let x be 5/(h/(-2))*(-4 + 18). Is x equal to 13/4?
False
Suppose -2*k + 2*s + 8 = 0, 2*k - s - 1 = 4. Suppose 5*m - 65 = -5*h - 0*m, -2*m = -4. Suppose -42 = 3*w + h*w. Which is smaller: k or w?
w
Suppose -a + 3*z + 23 = 0, -5*a + 2*a = -4*z - 89. Suppose -4*b - a = 17. Which is greater: -11 or b?
-11
Let m = 2 + -4. Let i = 8.5 - 8.2. Is m < i?
True
Suppose -3*q = -6, -3*l = 4*q - 29 + 6. Suppose 0*k - 20 = l*y - 5*k, 3*k = -5*y - 36. Suppose 2*p - 8 = 0, -5*p + 33 - 1 = -2*h. Is y equal to h?
True
Let x(g) = -