e (-16)/36 - 8/(-18). Suppose g - 24 = 4*g. Let s be (-12)/40*g/3. Is t < s?
True
Suppose 2*r = 1 - 13. Let t be (-3)/9*r/8. Suppose 2 = d - 3*n, -2*n = 1 + 1. Is d smaller than t?
True
Let m be ((-32)/(-80))/(3032/60 - -4). Is m greater than or equal to 1?
False
Let a = 4 + -4.054. Let y = -26.054 - a. Which is bigger: y or -2?
-2
Suppose -3*o - 3*u = 0, 3*o - 2 = 2*u - 3*u. Let l be 0 + (0 - 4/(-158)). Are l and o nonequal?
True
Let p = -0.1 - -1.1. Let c = -23.231 - -0.231. Which is greater: c or p?
p
Let k be 9930/20 - (-2)/6. Let y = k - 498. Is y smaller than 1?
True
Let g = 16.6 - 1.6. Let y = 17 - g. Let k = 0.08 + -0.38. Is k <= y?
True
Let v = -45 - -55. Suppose -4*q = v + 18. Is 2 > q?
True
Suppose 7*u - 86*u + 85320 = 0. Is u less than 1081?
True
Suppose -5*k + 416 = 6*i - 2*i, 5*i - 507 = -3*k. Let m = i - 98. Which is bigger: 3/71 or m?
m
Let r = -38/5 - -37/5. Let d = -0.64 - -0.6. Let m = 0.96 - d. Which is bigger: r or m?
m
Let v = -24.41 + 24. Let k = v + 0.21. Which is smaller: k or -1.1?
-1.1
Suppose -70 = -148*l + 143*l. Is l bigger than 88/7?
True
Suppose -112*u + 76*u = 0. Is u at least as big as -3/113?
True
Let d(c) = c**2 - 5*c - 4. Let f be d(6). Let a be (-2 - -3)/f*4. Suppose -5*p = -8*p + 7*p. Is a at least p?
True
Let i = 0.09 - 1.09. Let t(o) = -3 + 2 - o + 3 - 7. Let h be t(-6). Is i greater than h?
False
Let s = -0.28 - -1. Let h = s - 0.6. Let r = h + 0.18. Do r and 2/7 have the same value?
False
Suppose -3*v = 3*s + s - 105, -3*s = 2*v - 70. Let d be (-2)/14 + (-135)/v. Which is smaller: d or -7?
-7
Let m = -75/52 + 3/52. Let p be ((-2)/8)/(1/4). Which is greater: m or p?
p
Let s(f) = f**3 + 3*f**2 + 3. Let g be s(-5). Let j = -47 - g. Let q be 16/(-38)*9/(-12). Which is smaller: j or q?
j
Let p = -125.1 - 129.9. Which is greater: p or -0.2?
-0.2
Let q = 292 - 701. Is -408 greater than q?
True
Let h be 3 + (4 - 1) + -2. Suppose -h*q + q + k + 5 = 0, -4*k - 20 = q. Suppose q = -z - z + 2. Are z and -5/11 nonequal?
True
Let c = 5 - 5. Suppose 3*x - 3*w - 27 = -x, 0 = -4*w + 12. Suppose x*s - 6*s = 0. Is s at least as big as c?
True
Suppose 0 = 5*d + 33*d + 7220. Is d equal to -190?
True
Let f = 2630/13 + -202. Suppose -3*j + j + 4*c + 10 = 0, -2*c = -2*j + 6. Let r = -1 + j. Is r greater than or equal to f?
False
Let x = -3.99 + 1.99. Which is greater: 18 or x?
18
Let f = -841.9 - -838. Which is smaller: f or -3/4?
f
Let r = -6 + -12. Let c = r + 7. Let y be (c - 1)*12/9. Does -16 = y?
True
Let n = 16 + -11. Suppose -2*x = 3*x + n. Let m be ((-2)/(-4))/(x/3). Which is bigger: m or -1?
-1
Let a(g) be the second derivative of -7*g**3/6 - 3*g**2/2 + 35*g. Let x be a(3). Is -23 bigger than x?
True
Suppose 12*h + 540 = -18*h. Is h >= -6?
False
Let g be -3 + 9 + -15 + 8. Which is greater: g or 3/86?
3/86
Suppose 10 = -l - 4*l. Let t be 0/l + (-10)/55. Let v = -4.1 - -4. Are t and v equal?
False
Suppose -2*z - 5*y = -21, -5*z + 12 = y - 6. Let n(i) = -i**2 + 4. Let p be n(z). Suppose 13*u - 1428 = -1480. Is p less than or equal to u?
True
Let c be (-6 + 9)*2/(-3). Let m be (c - (-26)/8)*16. Let w be 4/(-14) + m/(-28). Which is smaller: w or 1/4?
w
Let u be (-3)/(-9) + (-7)/(525/(-12395)). Is u less than 167?
True
Let v = -5.2 - -9.1. Let n = 2.8 - v. Is n less than 3?
True
Let r = 1.94 - -8.06. Do 3 and r have the same value?
False
Let q(i) = -5*i + 26. Suppose 6*x - 80 = -10*x. Let w be q(x). Is w != -19?
True
Let u = -3563/2 + 1747. Suppose 0*v + 2*v + 70 = 0. Which is smaller: u or v?
v
Suppose -3*f + 69 = -4*j, -69*j + 64*j - 60 = 5*f. Do j and -11 have the same value?
False
Let p = -19 + 19. Suppose 5*a + 2*j - 21 = 0, 6 = -p*a + 4*a - 2*j. Suppose a*z - 4 + 7 = 0. Is -1.3 greater than z?
False
Let b(u) = -2*u**2 + 27*u - 34. Let w(f) = f**2 - 13*f + 17. Let a(p) = -4*b(p) - 9*w(p). Let l be a(5). Is l at least 3?
True
Let k be (1 - -5) + 1034/(-176). Is k > 2/29?
True
Suppose -3*t = -5*t - 40. Are t and -20 unequal?
False
Suppose -4*c = -l - 16, 5*c - l - 13 = 2*l. Which is smaller: 26/7 or c?
26/7
Let f be -16 - -12 - 23/(-9). Is f less than or equal to 0?
True
Let b = 1142/105 + -220/21. Let l = 0.11 + -0.05. Let a = -9.94 - l. Which is greater: b or a?
b
Let h = -135 + 138. Let f(m) = m**2 + 5*m + 2. Let q be f(-5). Suppose -3*i + q = -1. Is h bigger than i?
True
Let q = -308 + 223. Is -83 at most q?
False
Let m be 9568/1518 + 2*(-1)/3. Is m != 5?
True
Let p(b) = -2*b**2 - 10. Let a be p(7). Let f = -195 - a. Which is bigger: -88 or f?
f
Let c(m) = m**2 + 2*m - 34. Let p be c(5). Which is smaller: p or 6/49?
6/49
Suppose -3*h - 1085 = -5*m + 2*h, 5*h - 1065 = -5*m. Let g = m - 1079/5. Let t be 2/(-3) - (-8)/6. Which is smaller: g or t?
g
Let q = 968 + -953. Which is smaller: 312/23 or q?
312/23
Suppose -4*k - 4*o = -2*o - 24, 28 = k - 5*o. Let g = 8 - k. Does g = 0.3?
False
Let g = 8 - 2. Let u be (-831)/(-6) - 3/g. Let j be (u/4)/(4 - 1). Is j >= 11?
True
Suppose 10 = -2*i, i + 5 = -n - 5. Let t be (-17)/(-4)*(-28)/21. Which is greater: t or n?
n
Let y be (-5)/(-2)*4/(-5). Let v be y/(-6) - (-8)/12. Suppose -5 = -k - v. Is 3 less than k?
True
Let m be 1 + (-1)/2 - (-1)/(-2). Which is smaller: 1 or m?
m
Suppose -5*j - 29 = -69. Suppose 0 = 2*o - 5*l + 6, -2*l + j = -4*o + 6*o. Suppose o = -v, -3*f + 5*f - 2 = 2*v. Are -2/7 and f non-equal?
True
Let x be ((-4)/(-48))/(10/292). Let q = x - 18/5. Is q less than or equal to -2?
False
Suppose 9 = -z - 4*m, -5*z - 2*m = -z - 20. Is 38 greater than z?
True
Let h be (-6)/(-15)*5/2. Let b be 40/((-1)/(-6)*4). Let r be 1 + 0 + (-65)/b. Which is bigger: r or h?
h
Let b(m) = m**2 + 10*m + 8. Let f be b(0). Which is greater: f or 166/21?
f
Suppose -6*x = -29 - 31. Let a(y) = y**2 - 9*y - 9. Let g be a(x). Is 2/97 not equal to g?
True
Suppose g = 2 - 8. Let o be (-43)/301 - 138/14. Is g equal to o?
False
Let x = -480446387251/615692 - -34334757/44. Let o = -2/1999 - x. Is -1 less than o?
True
Let k be 10/15 - (-3)/9. Let t = 82279 - 7240373/88. Let v = t - 21/11. Is k at least v?
True
Let t be (-6)/(-10)*60/72*0. Let m = 2147/10 + -215. Do t and m have different values?
True
Let l = 12 + -8. Let d = 10 - l. Let n = 6 - d. Is n greater than 1?
False
Let x = -1039 - -1170. Is x < -2/7?
False
Suppose 170 = -s + 4*w, 2*s = -143*w + 146*w - 335. Is -166 smaller than s?
False
Let h(v) = -2*v**3 - 2*v - 1. Let k be h(-1). Let m = 2039 + -2037. Which is bigger: m or k?
k
Let w(u) = u**2 - 5*u - 8. Let k be w(7). Suppose -6*r + 2*r = f + 49, -k = -2*f. Which is smaller: 4 or r?
r
Suppose 3*y + 33 = 3*n, 11*n + y - 69 = 7*n. Let q = 60 + -43. Which is smaller: q or n?
n
Suppose 12*m = -627 + 651. Is m greater than -115?
True
Let s(a) = 5*a + 30. Let z be s(-6). Suppose -m = -4*u + 5 - z, -5*m = 4*u + 1. Which is bigger: m or 3/32?
3/32
Let q = -422161/715 + -2684/65. Let t = q + 631. Is t at most -2?
False
Let z be (((-3)/(-2))/((-15)/620))/(-2). Let m be 1/(-6) + z/(-30). Is 2/9 less than or equal to m?
False
Let q(v) = -2*v**2 + 7*v - 4. Let m be q(4). Suppose 0 = -b - 4 + 6. Suppose -27 = -b*f + 5*f. Which is smaller: f or m?
f
Suppose -4*c + 1175 = -841. Let n be (-681)/c + 2 - (-8)/(-12). Let r = -1/87 - -91/348. Which is greater: n or r?
r
Suppose 5*c = -n + 2*c - 177, 3*n + 5*c + 539 = 0. Let x be (-3)/(n/(-12) - 4). Which is smaller: x or -1?
-1
Let y(b) = -b**2 + 3*b + 1. Let i be y(0). Let r be -9 - -10 - 6/16. Which is smaller: r or i?
r
Let x(h) = -h**3 + 16*h**2 - 30*h + 8. Let n be x(14). Which is smaller: n or -0.3?
n
Suppose 0 = -s - 5 + 15. Let j be (5 - 5)/3 - 100/(-10). Is j at most as big as s?
True
Suppose -37*n + 1899 + 284 = 0. Are 59 and n equal?
True
Let h(m) = 2*m**3 - 74*m**2 + 69*m + 243. Let r be h(36). Which is greater: r or -2/5?
r
Let q = 1662 + -1806. Is -143 smaller than q?
False
Suppose -46 + 28 = -2*k. Suppose -k*n = -3*n + 54. Is n >= -8?
False
Let x(y) = -3*y - 4. Let q be x(-4). Let g be q/6 - (-4)/(-12). Is 1 at least g?
True
Let w be (-45)/3*(-4)/6. Let t be (6/w)/((-2)/(-5)). Let g = 1141 + -1140.9. Is t greater than g?
True
Let p be (-336)/(-140)*(0 + (-10)/31). Is -2 greater than p?
False
Let o(q) = -q**3 - 2*q**2 - 8*q - 1. Let z be o(0). Is z less than -3/757?
True
Let h be 3 + -3 + (-6597)/55. Let p = h + 120. Which is bigger: 0 o