 = 39 + -42. Let a(w) = 6*w + 23. Let v(y) = -2*y - 8. Let c(g) = -3*a(g) - 8*v(g). Let p be c(x). Do p and 2/19 have the same value?
False
Let r(g) = g**2 - g - 9. Let n be r(6). Let h = n + -14. Is h greater than 7?
False
Let h be (-20)/30*-3 - (-28)/(-36). Let q be (-2)/6*(-4 - -1). Do q and h have the same value?
False
Let l be 92 - 96 - (-1 + -1 - 2). Let i be ((-141)/(-144) - 1)*2. Which is smaller: i or l?
i
Let v = 100 + -104. Let j be (-33)/12 + 3/(-12). Let p be (-1)/(2*j/12). Is p < v?
False
Let i = 819/4 - 31949/156. Which is smaller: i or 0?
i
Let b = -2.59 + 0.19. Let p = b - 1.6. Which is smaller: 4 or p?
p
Suppose 13*x - 3*x = 190. Suppose 291 = -8*a + x. Which is greater: -35 or a?
a
Let b = 8.84 + -8.54. Which is greater: 7.6 or b?
7.6
Let n = -24 + 3. Let z be ((-4)/(-30))/(14/n). Suppose -2*i - 8 = 2*i + 2*j, i - 5*j = 9. Which is bigger: z or i?
z
Let u = 2 - 3. Let y = u + 0. Is y at least as big as -1?
True
Let d be (-74)/(-32) + (-3 - 0/(-4)). Which is smaller: d or -2?
-2
Let v = 12 + 262. Let q = -3004/11 + v. Which is smaller: q or 0?
0
Let v(x) = x**2 + 3*x + 7. Let f be v(-6). Let o be (-18)/(-27) + f/3. Do o and 11 have different values?
True
Suppose 0 = 3*n + 12, -3*b - 32 = 3*n + 4. Let c = 71 - 78. Is b at least as big as c?
False
Let r(t) = -t**2 - 4*t. Let v be r(-4). Let x be (-42)/((-6)/2) - 2. Suppose 0 = -2*p - p + x. Does p = v?
False
Let f be (-32)/8 - (-1 + 2)*59. Let b be (-14)/f + (-32)/36. Is -11 >= b?
False
Suppose 5*q = -6*y + 4*y - 29, -2*y + 4*q = -16. Let j(h) = h**3 + h**2 - h - 1. Let k be j(-2). Let w = -7 - k. Are w and y equal?
False
Suppose 0 = -10*h - 66 + 76. Which is smaller: h or 2/79?
2/79
Let v = 29 - 27.7. Let a = -24.3 + v. Is a != -0.1?
True
Let a = 107 - 107. Is 5/28 <= a?
False
Let t = 276 + -292. Is t at most -10?
True
Suppose -210 = -3*u - 0*u. Let x be u/4 + (-2)/4. Which is smaller: 15 or x?
15
Let b = 108449002/8617 - 88098/7. Let i = -95465/158799 - b. Let l = -1/43 + i. Which is greater: l or -2/19?
-2/19
Let l = -79 - -79. Which is greater: 7/8 or l?
7/8
Let p be ((-103833)/34605)/1 - (-1 - 2). Which is smaller: p or 1?
p
Let l = -10 + 19. Suppose 4*g - 5*g + 1 = 0. Suppose 4*i + g = l. Is i != 2?
False
Let k = -394/27 - -7813/108. Is 59 at most k?
False
Let a(z) = 20*z**2 + 24*z - 83. Let n(x) = 7*x**2 + 8*x - 28. Let f(p) = -6*a(p) + 17*n(p). Let o be f(-10). Let d be ((-4)/(-6))/(2/9). Is d bigger than o?
True
Let p be (-1 - 17)*(8/16)/1. Is p at most -11?
False
Let n(j) = j**3 + 12*j**2 - 13*j - 1. Let s(o) = -o**3 - 13*o**2 + 13*o + 2. Let g(a) = 3*n(a) + 2*s(a). Let m be g(-11). Let w = m + -27. Is w equal to -4?
True
Suppose -40 - 68 = 3*n. Let u be (-88)/(-210) - (2 - n/(-21)). Which is greater: u or 1?
1
Let h = -0.089 - 0.011. Do h and -371 have the same value?
False
Let n(s) be the first derivative of -s - 1/2*s**2 + 5. Let v be n(0). Is v > -4/7?
False
Suppose 0*a - 4*a = -72. Let n(s) = 4*s**2 + 3*s + 9. Let c be n(-2). Is c <= a?
False
Let j = -4 - 20. Let k(o) = -o**2 + o - 4. Let z be k(5). Is z less than j?
False
Let g(f) = -33*f - 425. Let a be g(-15). Which is smaller: 65 or a?
65
Let t be (-2)/3*3/(-2). Let x be 5612/(-40) + 0 - 4. Let g = -144 - x. Are t and g unequal?
True
Let w(c) = -5*c + 23 + 23 - 41 + c**2. Let m be w(2). Which is smaller: 2/19 or m?
m
Suppose -m = 368 - 367. Is m > -8?
True
Let z(x) = -3*x + 15. Let h(y) = 4*y - 22. Suppose 5*d = 5*g, 4*g = -3*d + d + 30. Let t(w) = d*h(w) + 7*z(w). Let l be t(-5). Is l greater than -3/10?
True
Let u = 280 + -279. Which is greater: u or -4/23?
u
Suppose 3*l - s = -1, 4*l + 2*s = 6*l + 6. Let j = 0 + l. Which is smaller: -1 or j?
-1
Suppose -3*g - 6 - 3 = 0. Let j be (-10)/15*g/(-6)*93. Which is smaller: j or -32?
-32
Let b(p) = -p**3 + 2*p**2 + 3*p - 7. Let o be b(6). Is o < -137?
False
Let a be (-4)/2 - (-86796)/132. Let i = a + -655. Let n = 0 + 2. Is i > n?
False
Let c = 6119 + -30462/5. Let y = -906/35 + c. Let v = 71/119 - y. Which is greater: v or 0?
0
Let s(u) = -u**2 - 19*u - 36. Let r be s(-12). Is 48 at least r?
True
Let w be (2/9)/((-34)/68*(-164)/18). Suppose -4*u - 24 = 5*d - 0, 3*u = d + 1. Which is greater: u or w?
w
Let v be 6/(-9) - (-4)/(-10 - 2). Let c = -8/37 - 31/370. Which is bigger: c or v?
c
Let w = -51 + 109/2. Suppose -12 - 8 = -5*f. Are f and w non-equal?
True
Let g(d) = 2*d - 5. Let s be g(3). Let z be 9/12 + s - 12/16. Which is smaller: z or 3/2?
z
Suppose 2*g + 5*u - 485 = 5*g, -4*g + 2*u = 670. Let n be (-7)/(-49)*-1 - g/14. Which is bigger: 14 or n?
14
Let s(g) = g**3 - 4*g**2 - 13*g - 3. Suppose -20 = 4*m, 3*m - 5 = -2*t - 8. Let o be s(t). Which is smaller: -11 or o?
-11
Let m be -1*(10 - (-13240)/(-1328)). Is m greater than 1?
False
Let j be (-4)/(-6) + 8/((-80)/18585). Let s = j + 1853. Which is smaller: -6 or s?
-6
Suppose v - 5 + 2 = 0. Let d be 0 + v + -5 - -2. Suppose 1 + d = z. Which is smaller: -1/7 or z?
-1/7
Let t = 1082 - 1083. Which is smaller: t or 10/37?
t
Let q = -0.34 + 0.1. Let f = q - 54.76. Is -0.1 greater than or equal to f?
True
Let m be 4/14 + 376/56. Suppose 0 = m*b - 3*b + 28. Which is smaller: b or -11?
-11
Let m be ((-54)/(-15))/(72/(-240)). Which is bigger: m or -67/5?
m
Let u be -2*15/18*1*-6. Suppose 3*v - 13 = 17. Is v bigger than u?
False
Suppose 0 = 4*v - 6*v + 24. Suppose -4*k + 15 = 2*f - 5, 0 = k - 3*f - v. Suppose 0 = -k*m + 2*m - 16. Which is bigger: m or -3?
-3
Let y = 35 + -36. Let v = -1 - -18. Let h = -26 + v. Which is bigger: h or y?
y
Let w(o) = o**2 - 7*o + 6. Let x be w(6). Suppose -4*r - 2 = 5*h + 3, 4*r + h - 15 = x. Suppose r*n - 5 = 4*p - 0, 5*p = -3*n + 3. Is n greater than -1/15?
True
Let u be (-6)/(-16) + (2495/1880 - 2). Is u at least as big as 0?
False
Let u = 709 + -308. Suppose 4*s = 7*s - 2*j - u, -s - j = -137. Let m be 45/(-3)*10/s. Which is smaller: m or -2?
-2
Let o = -10493 + 52298/5. Which is greater: -33 or o?
-33
Let y(u) be the second derivative of -u**5/20 - u**4/3 + u**3/2 - u**2 - 4*u. Let m be y(-5). Let w be 12/m*2 + 0. Is w greater than or equal to 4?
False
Let k(d) = d**3 - 6*d**2 - 3*d - 23. Let t be k(7). Suppose 0 = -t*b + 26 - 21. Which is smaller: b or -3?
-3
Let m be 4/(-16) - 243/(-12). Suppose m = -2*h + 2*c, 0 = 5*h - 2*c - c + 56. Is h greater than -11?
False
Let y = -236 + 2120/9. Suppose -3*n - 14 = -8. Let a = 2 + n. Do y and a have the same value?
False
Suppose 16*a - 12*a - 4 = 0. Which is smaller: a or -3/139?
-3/139
Let p be (4/(-10))/(8/20). Which is greater: p or -9/35?
-9/35
Let a(z) = 2*z - 4. Let q be a(2). Suppose q = -r - 0*r - 4*u + 34, -r - u + 19 = 0. Let x be (-63)/r*14/(-3). Is x > 21?
False
Suppose -9 - 1 = -5*w. Let k be (-87)/180*w - (-2)/3. Is 1 not equal to k?
True
Let b = 27 + -25. Which is smaller: b or -20?
-20
Let v = -2 + 2.4. Let m be ((-24)/56)/((-4)/7). Which is greater: v or m?
m
Let h = 39 + -4. Let r = h - 31. Suppose 26 = 5*w + 6. Is r bigger than w?
False
Suppose 2*k = -8 + 28. Suppose k = -2*a + 2. Is -6 < a?
True
Let m = 2.49 + 0.81. Which is smaller: m or 3?
3
Suppose 0 = h - 3*h - 4. Let y = 458 - 457.99. Which is greater: h or y?
y
Let r = 47 + -47. Is -1.01 >= r?
False
Let l be -2 + (-58)/(-16) + -1. Let t = 59 - 60. Is l != t?
True
Let u = 52 - 50. Suppose -2*f - 5*b + 3 + 2 = 0, -4 = u*f + 2*b. Which is greater: f or -0.2?
-0.2
Let l = 1 - 1. Let q = 55 + -75. Let s = 20 + q. Is s bigger than l?
False
Let t = -23 + 26. Suppose -t*s = h - 10, h - 10 = -3*h + 3*s. Suppose -2*w - 2*w - 5*r + 48 = 0, 2*w + h*r = 18. Is 18 != w?
True
Let t be 2/28 + 123/287. Is 13 less than or equal to t?
False
Suppose -4*n + 147 = j, 0*n - j = -3*n + 112. Suppose 2*r = -4*q + 114, 2*q + q + n = r. Which is greater: -2/5 or r?
r
Suppose 0 = -3*r - 4*w + 380, -3*r + 3*w + 355 = 2*w. Is 0.5 greater than r?
False
Suppose 4*l = -9*o + 5*o - 8, -o = -l - 6. Which is greater: o or 10?
10
Let t(x) = -x**2 - 9*x - 4. Let g be t(-6). Suppose -119*q = -135*q + 240. Which is greater: q or g?
q
Let h = -4/1923 - 171107/19230. Which is smaller: -8 or h?
h
Let f = 1025 + -1072. Is -2 at most as big as f?
False
Let t = -5.5 - 5.5. Let u = 10.9 + t. Which is smaller: u or -3/17?
-3/17
Let v(w) = -w**2 - 10*w - 14. Let o be v(-8). Suppose 0 = -o*i + 2. Which is smalle