(-8)*6/j. Suppose -h + 2 = q - 1, -g*q = -2*h - 29. Is q smaller than 3?
False
Let f be 30/7 - 4/14. Let n(m) = -m**2 + 2*m + 9. Let u be n(f). Suppose -6 - u = b. Is b at most -8?
False
Let m = -14 - -19. Suppose h + m = 6*h. Let o be 1/(-5) - (h + -1). Which is bigger: 1 or o?
1
Let o = 17 - 12. Suppose 31 = 5*x - 4*u - 64, -95 = -o*x + u. Let j = x + -30. Is j bigger than -10?
False
Let m be 2/5 - 7/5. Let l = 7 + -8. Let n = l - -0.9. Which is smaller: n or m?
m
Let z be 62/344 + (-2)/8. Let o be (-480)/540 - 4/36. Which is greater: z or o?
z
Suppose -5*v + v + 16 = 0. Let q = -5 + v. Let m be ((-13)/(-299))/(((-3)/2)/3). Is m less than q?
False
Suppose -29 = -5*h - 3*t + 2*t, -23 = -4*h - t. Suppose -31*m + h = -28*m. Is m > 1?
True
Let s = 147 + -144. Is 0.5 >= s?
False
Let g(o) = -21*o + 84. Let a be g(9). Which is greater: -103 or a?
-103
Suppose -g - g - 7 = 5*d, g + 3*d + 4 = 0. Which is smaller: -2/13 or g?
g
Let b be 2/(-3)*105/77 - 0. Suppose -4*o - 2*r = 14, -9 = -3*o + 3*r + 2*r. Which is smaller: o or b?
o
Let w be ((-12)/(-15))/((-2)/10). Let a be (-11)/w - (-8)/32. Suppose 1 = k - 2*m - 1, -3*m - a = k. Which is greater: k or 3/7?
3/7
Let v = -2.28 + 0.28. Let d = -0.084 - -0.294. Is d >= v?
True
Let p(o) = -o**3 + 4*o**2 + 5. Let k be p(4). Suppose -3*v = -2*w + 1, 4*w = -k*v + 7 + 6. Suppose -4*n + v = -3. Which is smaller: n or -1/3?
-1/3
Let r = -0.6 + 1. Let s = r - 2.4. Let m be (-6 - -7) + (-2)/(-2). Is m bigger than s?
True
Let c(v) = -v - 2. Let g(w) = -5*w - 16. Let d(j) = -6*c(j) + g(j). Let q be 11 - ((-2 - -4) + -1). Let a be d(q). Does a = 5?
False
Let q = -0.03 - -0.004. Let k = q - -0.036. Do -2 and k have the same value?
False
Let p(z) = z**2 + z. Let n be p(-3). Let x(i) = i**2 + 1 - 2 - 1 + n*i - 2*i. Let t be x(-4). Is -3/5 at least as big as t?
True
Let a(f) = 80*f - 32. Let l be a(11). Let x be l/14 - 57/(-133). Is 60 at least x?
False
Let b(t) = -t**2 - 10*t + 26. Let j be b(-12). Let p(m) = m**3 - 15*m**2 + 16*m - 27. Let s be p(14). Is j >= s?
True
Let l = -1479 - -996. Is 0 greater than or equal to l?
True
Let c(x) be the third derivative of x**6/120 - x**5/6 + x**4/2 - x**3/3 - 2*x**2. Let d be c(9). Suppose d = -2*q - 3*q. Is q at least -6?
True
Suppose 91 = -11*m - 206. Let h = m - -45. Does 20 = h?
False
Let b = -79 - -139. Let f = b + -3. Which is greater: f or 56?
f
Let v(i) = i**2 - 2*i. Let j be v(3). Suppose 2*m - j*m - 60 = 0. Let l be (m/(-9))/5 + -2. Which is smaller: l or -1?
-1
Let g = -65222.959 + 65254. Let i = -0.041 + g. Is 1 < i?
True
Let y = 31 + -28. Let k be (-1)/y - (-88)/(-33). Let w = 3 + k. Which is smaller: -2/43 or w?
-2/43
Let m = 6 - 12. Let i be (-4)/m*3/(-58) + 0. Which is greater: i or 1?
1
Let j = -783 - -611. Is -172 bigger than j?
False
Let d = -93 - -94.2. Let c = -0.5 - -6.7. Let p = d - c. Is 0.1 > p?
True
Let g be ((-2)/(-3))/(6/9). Suppose -6*q - 112 = 8. Let u = q - -17. Which is bigger: g or u?
g
Let m(p) = -p**2 - 6*p - 3. Let h = 31 + -33. Let t be m(h). Which is greater: t or -1/3?
t
Let i be -3 + -3*21/33. Let x(h) = -h**3 + 23*h**2 + 25*h - 28. Let a be x(24). Is i less than or equal to a?
True
Let n(q) = -19*q**3 - 2*q**2 - 2*q - 1. Let u be n(-1). Let g be ((-38)/4)/((-1)/2). Which is bigger: u or g?
g
Let k = -301 + 219. Which is smaller: k or -81?
k
Suppose 0 = -5*n + 19 - 9. Let x be 6/3 + -7 + n. Is x != -3?
False
Let r = -1003 + 386. Which is bigger: -619 or r?
r
Let r(g) = g**3 - 25*g**2 + 34*g + 42. Let d be r(24). Let j = d - 838/3. Is 2 less than or equal to j?
True
Suppose -72 = 2*t + 2*t. Let z be (-2)/3*t/(-16). Is z <= 1/18?
True
Let h(m) = -m**3 + 17*m**2 - 16*m - 1. Suppose 3*l = 11 + 37. Let k be h(l). Let s be (10/(-20))/(k/(-12)). Does 1 = s?
False
Let y = 59.1 - -17.9. Let d = y - 88. Which is bigger: d or -4/5?
-4/5
Let x(h) = 18*h**2 + 4*h + 3. Let s be x(-2). Let a = 795 + -729. Are s and a unequal?
True
Let f = -5 - -10. Let q(k) = k**3 + 4*k**2 - 14*k - 8. Let p be (-9)/(-6) + 30/(-4). Let d be q(p). Which is greater: d or f?
f
Suppose 0*r - 6 = -2*r. Let u be (r + -3)/((-3)/(-3)). Are 6/13 and u nonequal?
True
Suppose 4*m = n + 2*m - 153, 2*n - 338 = -4*m. Does n = 162?
False
Let p(s) = 4*s**3 - s**2 - s + 1. Let o be p(1). Let a be 4*o*15/20. Is a != 9?
False
Let o(t) = -t**2 + 5*t - 2. Let g be o(4). Let w be g + 10/55*-10. Which is smaller: 13 or w?
w
Let z = -153 - -9. Let a = -285/2 - z. Is a less than or equal to -1.2?
False
Let y = 12465976/1437 + -8675. Which is smaller: y or -1?
-1
Let f = -3 + 2. Let k = -0.02709 + 93.02709. Which is bigger: k or f?
k
Let b = -8124/55 - -769/11. Is b < -79?
False
Let b = -13 + 23. Suppose -3*z - 16 = -4*u + 36, 5*z = -20. Are b and u equal?
True
Let r = 17 - 22. Let k be (-1)/(-3)*-13 - r. Is k less than -3?
False
Let t be (2 - (-6)/(-9)) + -5 + 3. Suppose 0 = 2*p + p + 9. Let n be 5/(-4) + p/(-12). Do t and n have the same value?
False
Let r = -3007 + 2973. Suppose -2*b - 53 - 13 = 0. Is b > r?
True
Let o be (-1 + -1)*15/(-75). Let p(a) = -3*a**2 - 2*a - 1. Let x be p(3). Let h = 135/4 + x. Which is greater: h or o?
o
Let y = 0.04 + -0.34. Are y and -25 non-equal?
True
Let d be (59 - 59)/(-3 + -1). Let h(p) = p**2 + 2*p + 2. Let u be h(-2). Suppose u*a - 5 - 23 = d. Is 15 bigger than a?
True
Let a be -1 + 2 + 0 - -11. Let x = 12 - 8. Suppose -35 = -x*v + 13. Is v != a?
False
Let n be ((-936)/225 - -4)*10/(-12). Suppose 5*i - 21 = -6. Suppose -2*m = 3*b - 8, b + i*m = -2*b + 12. Which is smaller: n or b?
b
Let v be (50/(-27) + 2)*(-3)/2. Let t = -19/45 - v. Is t greater than 1?
False
Let w be -4*750/(-1536) - 2. Which is bigger: w or 1?
1
Let b(q) = q**2 + 24*q + 63. Let j be b(-21). Suppose p = 2*p + 1. Does j = p?
False
Let g(c) = 20*c - 4. Let n(h) = -7*h + 1. Let o(s) = -6*g(s) - 17*n(s). Let i be o(7). Suppose i = -8*v + 4*v. Is 9 < v?
False
Suppose 2*x + 108 + 96 = 3*s, 3*x - 3*s + 312 = 0. Let v = x + 153. Is v less than 45?
False
Let r(v) = -5*v + 126. Let t be r(25). Which is bigger: 23 or t?
23
Let v = -1.562 + 0.562. Let w be (-2195)/(-275) - 4/22. Which is smaller: v or w?
v
Let n = 153 + -156. Which is bigger: 23/2 or n?
23/2
Let v(z) = z + 9. Let y be v(14). Let x = 25 - y. Are -16 and x equal?
False
Let l be (-615)/18 - (-6)/12. Is -33 < l?
False
Suppose -4*i = 4*o, -3*i - 2*o + 6 = 2. Suppose 0 = -4*s + 8 - i. Suppose -3*z + 4 - s = 0. Is z at least as big as 3?
False
Let d = -52781/7 + 7581. Is 42 at most as big as d?
False
Let d = 5.9 - 5.9. Let h = d + 0.2. Which is bigger: h or -2?
h
Let q = -1 - -2. Suppose 0 = 6*r - r - 40. Let z = r - q. Which is smaller: z or 0?
0
Let u(c) = 23*c**2 - 15*c + 24. Let m(b) = -8*b**2 + 5*b - 8. Let f(j) = -17*m(j) - 6*u(j). Let l be f(6). Do 0.1 and l have the same value?
False
Let h(r) = -2*r**2 - 16*r + 2. Let k = 33 - 36. Let i(p) = -5*p**2 - 47*p + 5. Let y(c) = k*i(c) + 8*h(c). Let m be y(13). Is m < -5/4?
False
Let i be 1/(-3) - 4/(-48). Let h = -251 + 252. Which is greater: h or i?
h
Let q(k) = -3*k - 1. Let b be q(4). Suppose 37*n - 22 = 39*n. Which is bigger: b or n?
n
Let t be (65/5)/((-2)/(-4)). Let l = 25 - t. Is l <= -1/50?
True
Let h = 344 - 68. Is 277 greater than h?
True
Let b = -38.016 - -0.016. Let p = 46 + b. Which is smaller: -1/3 or p?
-1/3
Suppose l = -l + 154. Let m be (2/6)/(l/(-63)). Is m >= 0?
False
Let z be 406/(-441) - 2/9. Let y = -61/35 - z. Which is smaller: -1 or y?
-1
Let q be 0 + -219 + (-40)/(10 + -5). Is q greater than or equal to -224?
False
Let b = 43 + -45. Let w be 39/13 - (b - 4)/(-2). Is -3 at least w?
False
Suppose 241*y - 239*y - 56 = 0. Is y greater than 28?
False
Let p = -434 + 433. Which is smaller: p or 8/47?
p
Let u(o) = 5*o + 1. Let z(j) = -14*j - 3. Let x(b) = 17*u(b) + 6*z(b). Suppose -6 + 1 = -5*l. Let t be x(l). Which is smaller: 1 or t?
t
Suppose 3*s - 3 = -3*x, -2*x + 3 = x - 4*s. Let b be (x/(-8))/((-2)/((-6)/(-3))). Let k be (-2)/(-4) - (-1)/(-2). Do k and b have the same value?
False
Let q be (11/((-44)/12))/(8/34). Is q < -14?
False
Let f = 0.0022 + 2.0028. Let x = -0.005 + f. Which is greater: x or -0.4?
x
Let o = -8219/39045 + 12/685. Is o not equal to -1?
True
Let l be -7 - -21 - (-2 - 0). Let w = -28 - -43. Is l > w?
True
Let x be ((-12)/4 - 1) + 2. Let y(v) = -