 - 2 = g. Is r >= w?
True
Suppose 0 = -2*j + 48 + 84. Let t be j/(-63) - 4/(-6). Is t less than or equal to -1?
False
Let f = -16113/86 - -375/2. Is f at least as big as 0?
True
Let u = -14 - -16. Suppose -5*d + 4*o = -4, 0*d - 3*o = -u*d - 4. Suppose 4*v - 35 = -5*y, -2*v - 3*v - 3*y + 34 = 0. Which is bigger: v or d?
v
Let j be 170/84*(0 + 6/15). Let r = j + -523/672. Which is greater: -1 or r?
r
Let f(s) = s + 7. Let p be f(-10). Let w be p - 1 - 92/(-20). Is -3 less than w?
True
Let c = 137 - 687/5. Suppose 4*h = 2*x + 2*x, 5*x = -h + 6. Let u be 18/21*x/(-3). Which is smaller: c or u?
c
Let o = -0.002 + -2.998. Let r = o - -2.9. Which is smaller: r or 5?
r
Let r be ((-1)/2)/(3/(-3)). Suppose 0 = 2*i - 6*i + 12, 0 = 2*d + 4*i - 20. Suppose d*s + 6 = 7*s. Is s bigger than r?
True
Suppose -2*d + 8 = 0, -655 = 5*z - d + 1689. Which is smaller: z or -470?
-470
Let x = -398748/2945 + -1/589. Which is bigger: -134 or x?
-134
Let w = -13172/21 - -627. Which is smaller: w or 3/4?
w
Let t = 79 - 78.9. Which is bigger: t or 160?
160
Let m = 415 - 598. Which is bigger: 2 or m?
2
Suppose -1666 = -6*l + 1826. Suppose 4*d - 4*b = 16, -2*d - 2*b + 6*b = -10. Let t be d - l/117 - -2. Is t smaller than -1?
False
Suppose 34 - 13 = 3*s. Let v(g) = -g**2 + 5*g - 1. Let b be v(s). Which is smaller: b or -13?
b
Let h = -397 + -267. Let s = h - -3334/5. Which is smaller: s or 2?
2
Suppose -5*w + 133 + 422 = -5*j, 3*j = 6. Which is smaller: 457/4 or w?
w
Let i = -1293634/10762411 - 28/14603. Let d = i - 4/67. Is -11 <= d?
True
Let l(k) = 6*k + 9. Let f be l(10). Suppose -4*w + 35 = -f. Suppose 4*h + 7*x - 80 = 2*x, 46 = 2*h + x. Which is greater: h or w?
w
Let r(y) = y**2 - 15*y + 42. Let b be r(5). Let l be 0 + -1 - 2/b. Which is greater: 0 or l?
0
Let d be 8/4*1 + 1. Suppose 2 = 4*b + 6, 4*b - 26 = -5*u. Let a be ((-4)/(-3))/(4/u). Do a and d have different values?
True
Let w(t) = -188*t - 255. Let f be w(4). Which is bigger: f or 2/5?
2/5
Let x be 1 - (-5 + 3)/2. Let k(s) = -x*s + 0 + 0*s + s + 11. Let h be k(10). Is 3/5 at least as big as h?
False
Let x be ((-4290)/1053)/(1*-1*2). Does x = 2?
False
Let n be ((-4)/9)/((-48)/18 + 2). Suppose -2*a + 1 = -z + 2, 3*z = -5*a + 14. Let k be -1 + a + 2 - 1. Is n less than or equal to k?
True
Suppose -48*n + 49*n + 4 = 0. Let j = -9 - -3. Which is bigger: n or j?
n
Let f = -600 - -599. Which is bigger: 1/129 or f?
1/129
Suppose 6*u - 5 = 5*u. Suppose u*l - l = 8. Let i be (l + -5)*(-2)/6. Are i and 2/21 non-equal?
True
Let a = -5 - -4. Let h(u) = -50*u + 507. Let d be h(10). Is a greater than or equal to d?
False
Suppose 0 = -13*z + 6*z + 14. Suppose -2*r = -z*p + 6, 1 = r + 4. Which is smaller: p or -1/48?
-1/48
Let q be (-5616)/27880 + -2*1/(-10). Which is greater: 0 or q?
0
Let z = -216 + 226.9. Let t = 1.1 + z. Let m = 12.15 - t. Is m not equal to 1/4?
True
Let l be 1 + 1/1 + (-4032)/(-72). Is 53 <= l?
True
Let n = -7 + 11. Let l(y) = -2*y**2 - 13*y - 17. Let a be l(-4). Which is smaller: a or n?
a
Let w = 2.7 - -7.3. Let g = w + -7. Is -0.2 < g?
True
Let r(m) = -5*m - 49. Let p be r(-10). Is 5/17 at least as big as p?
False
Let q = 957483/5 - 190814. Let c = q + -679. Is c greater than or equal to 3?
True
Suppose 2*c = 3*w + 18, 2*w = -15 + 7. Let n = -220 + 224. Which is bigger: c or n?
n
Let h = -393/2 - -196. Suppose 3*m - 16 = 7*m. Which is smaller: m or h?
m
Let y = -3 - -2.34. Let v = 0.6 + y. Let c = -17.1 + 17. Which is bigger: v or c?
v
Let m = -28 + 34. Let c = m + -5. Which is smaller: c or -1/9?
-1/9
Suppose b - 87 = 4*z, -5*b + 2*z = -4*b - 83. Is 80 greater than b?
True
Let v = -617 - -1141. Is 524 < v?
False
Suppose 0 = 26*m - 9*m - 34. Is -26 greater than m?
False
Let v be (-4)/18 + (14949/81)/(-11). Which is bigger: -18 or v?
v
Let o = -2 - -18. Let k = 8 - o. Suppose 0 = 3*a + 3 + 18. Is a >= k?
True
Let m = 1114 - 818. Which is bigger: 0 or m?
m
Let u be (-2)/(-3)*(-12)/(-16). Let p(c) = -c**2 + 3*c + 17. Let t be p(5). Suppose j - 1 = -r, -r = 4*j - t*j - 5. Is r at most as big as u?
False
Let n = -6 - 14. Let i(f) = 6 + 3*f + 27 - 7 + 6. Let u be i(-17). Are n and u non-equal?
True
Suppose r + 759218 = -4*i, i - 6*i + r = 949018. Let n = i + 2085789/11. Let o = 187 + n. Is 0 greater than or equal to o?
False
Suppose 74*d - 95 = 69*d. Is d > 4?
True
Let l = -29/10 - -17/5. Let t = 6 - 17. Let m = t + 10.97. Which is bigger: m or l?
l
Let i(b) = 5*b - 16. Let p be i(6). Suppose -11*c + p*c - 3 = 0. Which is greater: 9 or c?
9
Suppose 0 = -3*d - 15, 3*d - 96 = -0*y - 3*y. Is 37 less than or equal to y?
True
Let w(d) = -85*d**3 + d**2 + d - 2. Let f be w(1). Suppose a = 7 - 93. Which is greater: a or f?
f
Let p be (2/5)/(14/(-60)). Let m = -155 + 152. Do p and m have different values?
True
Suppose 2*u + 4 = -2*u. Let r = 0.285 - -4.715. Which is smaller: r or u?
u
Let k be (672/128)/(((-87)/40)/(-1)). Is 2 at least k?
False
Let v = 755 - 2246/3. Let w(g) = -3*g**3 + g**2 + g + 5. Let h be w(0). Let j be h/15 + 60/9 + -1. Does v = j?
False
Let k(z) = -z**3 + 5*z**2 + 6*z - 9. Let q be k(5). Suppose -6*a - 15 = q. Which is smaller: -5 or a?
a
Let s be 0 - (-2 - 13) - 3. Let q = s - 20. Are q and -8 unequal?
False
Let o be (-6)/8 - 4921/(-76). Let i be (-18)/(-4)*(o/12 + -4). Which is greater: 5 or i?
i
Let t(c) = -c**2 + 27*c - 99. Let n be t(23). Which is bigger: n or -8?
n
Let b = -227 - -227. Let s(u) = -u**2 + 2*u. Let n be s(1). Which is smaller: b or n?
b
Let t be (-4)/((-24)/458) - ((-2)/(-3))/2. Let o = 140 + -63. Is o at most t?
False
Suppose -6 = -5*q - 2*v, 0*v - v + 3 = -q. Let d(z) = -167*z + 1. Let o be d(-4). Let l = o - 19399/29. Is l != q?
True
Let f = 7 - 30. Let a = 24 + f. Let d(o) = -2*o**3 - 3*o**2 + o + 1. Let p be d(a). Is p <= -3?
True
Let i(t) = 3*t + 26. Let u be i(0). Let a be (125/20 + -6)/(u/(-8)). Let q be 0 + 0/(-1) + 0. Which is smaller: a or q?
a
Let i = 62.8 - 62.9. Is -157 > i?
False
Suppose -5*t - 4*d = -2*t - 118, 5*d - 5 = 0. Let o = t + 2. Is o smaller than 41?
True
Let t = 740/9 - 2227/18. Do t and -42 have the same value?
False
Suppose -117*r + 119*r = 6. Suppose -3*o + 2*w = -52, -5*o + 5*w + 56 = -24. Let s = -17 + o. Is s equal to r?
True
Let y = -1864/7 + 266. Let s = -0.617 + -11.343. Let h = -0.04 + s. Which is smaller: y or h?
h
Let r = 85/6 + -35/3. Let c be ((-18)/(-27))/((-4)/30). Let z(y) = -y - 3. Let s be z(c). Is r less than s?
False
Suppose 0 = -7*c + 3*c + 8. Suppose c*p + 857 + 213 = 0. Let h = p + 6959/13. Which is smaller: h or 0?
0
Let d = -302 - -211. Let s = d + 91.1. Is 5 at least as big as s?
True
Let c(i) = -i**3 + 12*i**2 + 12*i + 6. Let h be c(9). Let x be (-1)/5 + h/(-15). Let u be 2/2 - x/(-18). Is u less than -1?
False
Let m = -734363 - -10272995/14. Let b = 578 + m. Which is smaller: b or 1?
b
Let y = 160/3 + -54. Suppose -3*t + 84 = -42. Let a = t + -42. Which is greater: y or a?
a
Suppose -965 = 10*z - 975. Is -2.34 greater than z?
False
Suppose 5*x + 0*m - 3*m = -22, 0 = 5*x - 2*m + 18. Let q = 142/1487 - 2144613/19331. Let t = 111 + q. Is x <= t?
True
Suppose -120 - 2056 = 17*r. Is r < -125?
True
Suppose 0*s - 2*s = 526. Let h = s + -593. Let q be (h/(-140))/(-2) - -3. Is q greater than -1?
True
Suppose -5*t + 35 = 5*y, 5 = 6*t - t - y. Let j = 59/2 + -279/10. Which is smaller: t or j?
j
Suppose 0 = j - 4*t - 31, t + 93 = 148*j - 145*j. Is 225/7 > j?
True
Suppose 0 = 3*f + 22 - 4. Suppose 2*v - 10 = 2*j, 4*j = 7*j - 2*v + 18. Which is smaller: j or f?
j
Let n = -15 - 22. Suppose 0 = -18*x + 23*x + 185. Is x bigger than n?
False
Let a(k) = -2*k**3 - 30*k**2 - 25*k + 31. Let n be a(-14). Let w = 18 - 18.1. Is w greater than n?
True
Let h = 679 - 678. Which is smaller: -20 or h?
-20
Let m(j) = -2*j**2 + 2*j - 8. Let d be m(-4). Let s be -1 + (d/(-14))/6. Which is bigger: 1 or s?
1
Let f(g) = -4*g + 4. Let i be f(4). Let y be 25/(-75) - (-1)/i. Which is bigger: y or 1?
1
Let k(f) = -25*f + 905. Let y be k(29). Is y less than or equal to 175?
False
Let m be (1453/(-485) - -3)*(-12)/(-72). Is 1 equal to m?
False
Suppose -5*b = s - 13, 7 = 5*b + 3*s - 2. Let o be -1 + 1 - (-5 + b). Suppose -o*d = d. Which is smaller: -1 or d?
-1
Suppose 16 + 19 = j. Let k be 10/(-22)*(-56)/j. Let g(l) = -l**2 + 2*l + 3. Let q be g(3). Is k s