18)). Suppose -2*r + 2*g = 16, -2*g + 51 - 44 = -r. Is r > a?
False
Let i be (-6 + 9)/(3/8). Suppose 0 = -3*y - 7 - i. Let q = 6 + y. Is q smaller than 2/15?
False
Let o be (-34)/72 + (-4)/(-18). Let i = 0 + 1.4. Let w = i - 1.2. Is w <= o?
False
Let w be 6792/(-108) - (-2)/(-18). Let k = w - -113. Is 49 less than k?
True
Let p be 1 + (-1)/11 + -2. Do p and -1 have different values?
True
Let h be ((-8)/20)/(4/25). Let s = 2 + h. Are s and 0.07 equal?
False
Let y = 1239.02 + -1318. Let n = 79 + y. Is -1 less than or equal to n?
True
Let x = 789 + -784. Does 4 = x?
False
Let w(o) = -1167*o**3 + o. Let x be w(1). Let i = x + 17503/15. Let a = i - 1/5. Is -2 < a?
True
Let k be (0/(2 - -3))/4. Which is smaller: k or -5/333?
-5/333
Let r = -546 - -30577/56. Which is bigger: -0.4 or r?
r
Suppose -3*j - 15 = 0, -5*a = -4*j + 6 - 26. Is 30 greater than a?
True
Let i(p) = -3*p + 5*p - p - 17. Let r be i(11). Let b = -14 + 7. Is r <= b?
False
Let y(x) = x**2 - 6*x + 17. Let p be y(8). Suppose -3*h - 2*v + p + 24 = 0, 5*h - 95 = -4*v. Is 19 greater than h?
False
Let q(h) = 5*h + 26. Let t be q(-6). Let y be (7/(-5) - t) + -3. Is -6 less than or equal to y?
True
Let r = -1052/7 - -150. Let m be ((-8)/3)/(-4)*6. Suppose 0 = y - 2*b - 11, m*b + 18 = 3*y - 5. Which is bigger: y or r?
y
Let s(i) = -2*i**3 + 11*i**2 - 4*i - 2. Let x be s(4). Let v be 22/18 - 1 - 1108/(-36). Which is smaller: v or x?
x
Let z(x) = -x**3 + x**2 - x - 140. Let t(f) = f**3 - 7*f**2 + 6*f. Let j be t(6). Let a be z(j). Let m = a - -702/5. Is m bigger than -2?
True
Let o(b) = 4*b**3 - 4*b**2 + 2*b - 4. Let p be o(4). Which is smaller: 194 or p?
194
Let v = -59.2 - -25.2. Is 0 bigger than v?
True
Let a be (-874)/(-69) - (-1)/3. Let g = 31 + a. Is 45 >= g?
True
Suppose -6*m = -3*m + 18. Let l(p) = p**3 + 6*p**2 - p + 4. Let r be l(-6). Let w be (3/((-6)/r))/1. Which is bigger: m or w?
w
Suppose x - 5*q = 230, -3*q - 806 = -2*x - 311. Suppose -5*w - x = 240. Let v be 4/22 + (-411)/w. Which is bigger: 5 or v?
5
Let r be 9408/312 - 4/26. Let m be (14/(-126))/((-2)/r) - 1. Which is bigger: -9 or m?
m
Let j be (-1)/2*(-14 - -14). Suppose 0 = 4*o - 2*a, -2*o + 6*o = -5*a. Suppose o = 4*k - 6 + 2. Is k greater than j?
True
Let i be 3/(-56)*2546/57. Let p = 22/7 + i. Is 1 smaller than p?
False
Let d = 200 - 277. Which is bigger: d or -0.2?
-0.2
Let s(d) = 5*d**2 + d. Let l be 3 - 6/(-15)*-5. Let o be s(l). Let v be 4/o - 2/3. Which is smaller: -2 or v?
-2
Let l(o) = 3*o - 14. Let i(f) = -f. Let r(d) = -2*i(d) - l(d). Let k be r(13). Which is bigger: -1/25 or k?
k
Let d = -34 - -36. Suppose -35 = 9*k - d*k. Is -5 less than k?
False
Let m be (-120)/(-1380) + (-870)/(-46). Which is smaller: m or -2/7?
-2/7
Let c = -121 + 1816/15. Which is smaller: 2/9 or c?
c
Suppose -2*p - 54 = -4*p. Let x = p + -52. Do -26 and x have the same value?
False
Suppose -3*r - i = 17, i + 0*i - 1 = 0. Is r greater than -1/15?
False
Suppose 0 = 29*w - 27*w + 14. Is -44/7 greater than w?
True
Let s = -0.052 - 0.578. Let v = 0.13 + s. Let g = v - -1.2. Which is smaller: g or 2/3?
2/3
Let t = -21540/13 - -1656. Is t < -0.3?
True
Suppose 9*t - 34*t + 12*t = 0. Which is smaller: t or 2/507?
t
Let p = -96 - -95.62. Let s = 2.6 + -2.93. Let j = s - p. Which is smaller: 0 or j?
0
Let l = 20918638/1977 - 10581. Are -1 and l equal?
False
Let t(v) be the third derivative of -v**5/60 + 2*v**3/3 - 7*v**2. Let s be t(-2). Which is smaller: s or 5/4?
s
Let m(l) = -16*l - 128. Let f be m(-8). Is f < -400?
False
Let h = 1.9 + 0.1. Let f = 1451.99 + -1452. Which is smaller: f or h?
f
Let v = 11/10 - 3/5. Let t = 32 + -26. Let n(b) = b**2 - 7*b + 7. Let k be n(t). Is v less than k?
True
Let p = 461 - 388. Do 76 and p have the same value?
False
Suppose -83*y + 85*y = 8. Let w be 1/(-3)*4/(-2). Which is smaller: y or w?
w
Let p = -6 - -10. Let y = -3258.3 - -3259. Which is smaller: p or y?
y
Let q(s) = s**3 + 6*s**2 - 5*s - 9. Let g be q(-7). Let i = 22 + g. Which is greater: -1/6 or i?
-1/6
Let l(y) = -y**3 - 10*y**2 - y + 27. Let b be l(-11). Is b less than or equal to 159?
True
Let b be (-18987)/(-13) - 114/(-247). Is b < 1462?
True
Suppose 5 - 9 = -2*m. Suppose -3*h + 1 = -o + 2, 0 = 4*o + m*h - 4. Is -3/38 greater than o?
False
Suppose 90 + 10 = 25*n. Let z = -7 - -6. Which is bigger: n or z?
n
Let n be 2 + -1 + 18/(-6). Let r be (3 + 0/n)*-1. Do 5 and r have different values?
True
Let m = 32 - 82. Let p be m/(-5)*(-2)/8. Does -4 = p?
False
Suppose 0 = -3*u - 2*n - 61, -73 = 5*u + 2*n + 34. Which is bigger: u or -24?
u
Let c be 1462/357 - 15/35. Let a be 7/(-6) - (-2)/3. Which is smaller: c or a?
a
Let j = 222 - 449/2. Let q = -0.41 + 0.01. Which is greater: j or q?
q
Let m be ((-13)/(13/126))/(93/(-62)). Which is smaller: m or -0.7?
-0.7
Let p be (-22)/(-4)*1*(-8)/4. Which is smaller: p or -10?
p
Let h be 11/2 + (-10)/4. Let z be 6*h*(-12)/(-36). Is z at most 3?
False
Let a = -5/3768 - 274919/109272. Which is smaller: -2 or a?
a
Let m(v) = 23*v + 113. Let l be m(-4). Are 17 and l unequal?
True
Suppose -3*c = 4*d - 18, d - 4 = -3*d + 4*c. Let b = d + -4. Let g = 24 - 24.5. Which is greater: b or g?
g
Let a be 372/(-20)*(-2)/(-36). Let d = 6/5 + a. Suppose 0 = -6*b - 2 - 4. Which is smaller: b or d?
b
Let s = -32 - -52. Suppose 0 = -0*i - 4*i + s. Suppose 5*n - 49 = -q + i*q, q + 5*n = -31. Is q equal to -16?
True
Let l(s) = 20*s**2 - 4*s. Let h be l(2). Suppose 4*g + h = 4*m, 56 + 13 = 4*m - 5*g. Is m >= 21?
True
Suppose 2*z - f = -2*z - 3, -f - 2 = z. Suppose 0 = 5*x + 3*s + 3 + 7, 0 = -3*s. Let g be (0/(-1)*z)/x. Which is bigger: g or -1?
g
Let r(g) = 3*g + 14. Let i = -49 + 45. Let o be r(i). Is 5/7 less than o?
True
Suppose 72 - 52 = -5*o + 3*j, o = -j + 4. Which is greater: o or -8/305?
-8/305
Let i be 42/(-8) - (-2)/8. Let d be (3 - i/(-2)) + 3. Which is bigger: d or 3?
d
Let h = -5.9216 + -0.0784. Let f = 0.2 + -0.4. Are f and h non-equal?
True
Suppose -27*p = p. Is p at most 2/61?
True
Let s = 20 - 15. Let j be (s/(-3))/((-15)/18). Suppose -3*h - 2*x = -4*h - 2, 4*h + 32 = j*x. Are -10 and h non-equal?
False
Let g = -21.8 - -20.81. Let a = g - 0.01. Let t = 0.62 + 30.38. Is t less than or equal to a?
False
Let q = -126 + 123. Suppose 6*s = s - 40. Let f be (q + 2)*(8 + s). Which is smaller: f or 1/2?
f
Let n(y) = -21*y - 12. Let s be n(-1). Which is bigger: 70/9 or s?
s
Let t = -11.17 + 11. Let p = -6.83 + t. Let s = p + 10. Which is bigger: 2 or s?
s
Let n = 2 + -27. Let i = n - 20. Let w be i/(-153)*1/5. Which is smaller: w or 1?
w
Let y be 3/((-27)/12) - 52/(-39). Which is bigger: 9/44 or y?
9/44
Let k = -596.98 - -597. Is 168 bigger than k?
True
Suppose 6*m - 2*m - 3*g = 3, -2*m - 4 = 4*g. Let c be (4/1)/(1 + 12). Which is smaller: m or c?
m
Let r be -6*4/(-24)*(-4762)/2. Which is bigger: r or -2382?
r
Let o(d) = -13*d**3 - d**2 + d + 1. Let c be o(-1). Let f = c + -6. Let a = 0.27 + -0.17. Are a and f unequal?
True
Let p = 528 + -554. Which is smaller: 0.03 or p?
p
Suppose -2*c = 3*m - 3*c - 140, -256 = -5*m - 4*c. Is m >= 46?
True
Let d = -12 + 9. Let v be 0 - (d + 3 + -2). Let t be (v/8)/((-3)/(-12)). Which is smaller: t or -2/13?
-2/13
Let k = -413 - -416. Are k and -4 unequal?
True
Let g(x) = -x + 6. Let y be g(-7). Let b be 1/((-25)/2)*(18 - y). Is b <= -5?
False
Let g = 76137/7912 + 2/989. Which is smaller: g or 9?
9
Suppose 10*b + 261 = 71. Let i(h) = h**3 + 2*h**2 + 3*h - 2. Let o be i(-3). Is o at least b?
False
Suppose 2*f = 3*j + 8, 3*f = -0*f - 2*j + 12. Suppose f*x - l - 3*l = 12, 4*x + 4*l = -20. Is -12/13 > x?
True
Let f(c) = 4*c**2 + c - 1. Let z be f(1). Suppose -2*t + 4 - 24 = -4*h, -z*t - 40 = -4*h. Which is smaller: -1 or t?
t
Let m be ((-1824)/4338)/(-19)*6/(-4). Is 0 greater than or equal to m?
True
Suppose 53 = -5*d - 12. Let m = -9 - d. Suppose 0*l = -w + 4*l + 15, 3*w = -m*l + 45. Which is greater: w or 14?
w
Suppose -53*w + 59*w = -3822. Which is smaller: -638 or w?
-638
Let i(l) = l**2 + 4*l - 3. Suppose 0 = -3*s - 14 - 4. Let b be i(s). Let z = -2.72 + 2.72. Which is smaller: z or b?
z
Let g = -46315502/17 + 2725342. Let o = -900 + g. Which is bigger: 0 or o?
o
Let o be (-14)/(-4) - (-2)/(-4). Suppose o*l - 20 = 7*l. Suppose 5*x + 26 = -3*m, -2*x - 7*m = -5*m + 12. Which is smaller: x or l?