2)/14 - (-10)/(-35). Let r = g + 14. Suppose 21 = r*k - 4*c, 0 = -5*k - 0*c + 2*c + 13. Is 1 at most k?
True
Let y be 18/8 - (1 - -1). Let s = 27 - 28. Which is smaller: y or s?
s
Suppose 4 = -3*f - 74. Which is smaller: f or -25?
f
Let f = -26 + 27. Which is greater: f or -1/22?
f
Suppose -14*h = -11*h. Is 4 > h?
True
Let m(w) = w. Let j be m(-1). Suppose -y - 8 = -3*y. Let p be 5/(-12) + 1/y. Is j at most as big as p?
True
Let v = -149 - -104. Is v not equal to -46?
True
Let n = -16 - -10. Which is bigger: n or -1?
-1
Suppose -3*d - 3*w = -1 - 5, 5*w - 4 = d. Suppose 0*n = 4*n - 20. Suppose -5 = -5*f + n. Which is bigger: f or d?
f
Let p be (8/(-2))/(-2 - 0). Suppose 0 = 2*s - q - 10, 3*s + 3*q + p - 8 = 0. Suppose 3*j + y - 12 = s*y, y + 4 = 3*j. Are -1/2 and j equal?
False
Let w(a) = 2*a + 10. Let x be w(-8). Let n(v) = -v - 1. Let j(d) = d**2 + 1. Let h(m) = x*n(m) - j(m). Let z be h(7). Are -2 and z equal?
True
Let y = 31 + -56. Which is bigger: -24 or y?
-24
Let j = -87560 + 35636941/407. Let f = j - 12/37. Do f and 0 have different values?
True
Suppose -2*m + 32 = r, 5*m - r = 68 - 2. Let g be (-2)/(-7) - 88/m. Which is greater: g or -3?
-3
Let p = 0.17 + -4.17. Which is smaller: p or -4/9?
p
Suppose 123*p - 30 = 128*p. Is p smaller than -3?
True
Let f = -0.9 + 1. Let v = f + -0.2. Which is greater: v or -1/8?
v
Let b(g) = -g**2 - 6*g - 4. Let r be b(-5). Suppose r = i + 2. Is -1/3 <= i?
False
Let n be (-23)/3 + -5*2/(-30). Which is greater: n or -7?
-7
Let p = -20 - -19.9. Let t = 0 - 0.2. Let b = -1.2 - t. Which is bigger: b or p?
p
Let t = 30/71 - 1002/355. Is t smaller than -2?
True
Let c = 91 - 93. Let i(t) = t - 1. Let y be i(-1). Is c at most y?
True
Let k = 11 + -7. Let z = -3 - k. Is z != -7?
False
Let r be -1 + 3 - 51/17. Let n be 2/20*(-20)/(-8). Is r greater than n?
False
Let q be (-3)/(-9) + 2/(-6). Which is greater: q or 1/5?
1/5
Let i be (4 - 2) + 34/(-14). Let v(b) = -b**3 - 8*b**2. Let f be v(-8). Which is greater: f or i?
f
Let r(a) = a**3 - 8*a**2 + 8*a - 1. Let k be r(7). Let q be 1/(1 - (-9)/k). Do 0 and q have the same value?
False
Let n(q) = -q + 12. Let o be n(11). Is o bigger than -3/7?
True
Let z = 0 - -1. Let s = 0.6 - z. Which is greater: 1 or s?
1
Let a(u) = -u**2 + 5*u - 3. Let x be a(4). Suppose -f + 28 = 2*o - 3*f, -o + 17 = 2*f. Suppose -3*r - 7 = 5*i + o, 27 = 2*r - 5*i. Is x not equal to r?
False
Let l(n) = n**3 + 6*n**2 + 4*n - 5. Let b be l(-5). Let z be -4 + 6 - (4 - b). Is z at most as big as -2?
True
Suppose -t + 4*t - 48 = 0. Let w be ((-2)/4)/((-2)/t). Suppose 0*m = -w*m - 20. Which is greater: m or -6?
m
Let v be 6/9*21/(-14). Which is greater: v or -2/9?
-2/9
Let u = -111/7 + 1672/105. Is 1 bigger than u?
True
Let l be (-1 + 2)*(2 - 1). Let a be 0*(3/2 - 1). Which is greater: l or a?
l
Let a be 2/(-3) + 56/12. Suppose 0 = 2*w - a*u + 10 - 0, -5*w = -u - 2. Which is smaller: 7 or w?
w
Let l = -2 - -6. Which is bigger: 11/3 or l?
l
Let g be (-9)/5 + (-1)/5. Let p(m) = -5*m - 2. Let s be p(g). Which is bigger: 6 or s?
s
Let p = -10 - 25. Is p > -35?
False
Let k be (-4)/22 - (-1890)/110. Let n = k + -24. Which is smaller: -1 or n?
n
Let a be ((1 - 0)/(-10))/((-30)/(-1320)). Is a greater than or equal to -3?
False
Let r = 3.1 - 3. Let a(o) = -o**3 + 44*o**2 - 43*o + 2. Let p be a(43). Are p and r equal?
False
Let b(m) = -m**2 - 5*m + 4. Let q be b(-5). Let h be (-3)/330*q*-5. Let v = -207/4 + 52. Is h < v?
True
Let q = 24 - 26. Which is bigger: 1 or q?
1
Suppose 0 = 5*t - 2*t + 3. Let g = -70 + 37. Let i be (-2)/(-8) - g/(-484). Do i and t have the same value?
False
Suppose 2*k + 6 = 28. Suppose 3*r - 1 = k. Let x = -4 + r. Which is smaller: x or -2/15?
-2/15
Let v(o) = o + 4. Let m be v(-4). Let q be ((-8)/(-16))/(10/12). Is q less than or equal to m?
False
Let t be 0 + -3 + 348/117. Which is smaller: 0 or t?
t
Suppose 11*g + 42 = -10*g. Suppose -j - 4*v - 13 = 0, 23 - 5 = -3*j - 5*v. Is j less than or equal to g?
False
Let x = 1 - 2. Suppose -5*r + 3*i + 3 - 1 = 0, 5*r - 2*i + 2 = 0. Is x != r?
True
Let t = -20 + 20. Which is smaller: -3/2 or t?
-3/2
Let f(u) = u + 8. Let m be f(-8). Let b = -3 + m. Let w = 4 - 3. Which is smaller: b or w?
b
Suppose -2*u - 28 = 4*x, 3*x + 14 = -3*u - 13. Let r be u/(-2) + (-2532)/1264. Let g = r - -639/2212. Do g and 0 have different values?
True
Let t be ((-34)/6)/(1 - 3/6). Which is greater: -11 or t?
-11
Let t = -2 - -2. Suppose -3*h + t*h = -9. Suppose -4 = 2*o, 3*o + 0*o + 3 = h*g. Which is smaller: -3/7 or g?
g
Let b be ((-80)/25)/(3/15). Is b greater than or equal to -16?
True
Let g be (3/(-14))/((-9)/12). Suppose 5*y - 7 = 8, -3*y + 4 = -5*h. Let j be 6/9 + h/3. Which is smaller: g or j?
g
Suppose 5*i + 2*g + 4 = 3*g, 5*g = 2*i - 3. Let h(y) = -y**2 - 7*y + 4. Let l be h(-4). Suppose 6*c - 3*c = -2*o - l, 4*o + 12 = -c. Which is bigger: o or i?
i
Suppose 2*q - 4 - 20 = 0. Let x be (-9)/(-33)*q/(-9). Is -1 at least as big as x?
False
Suppose 3*u - 15 = 5*c, -3*u + 8 = -2*c - 7. Let k = -4 + 10. Let d be 2/5 - k/15. Is c greater than d?
False
Let w = 2 + -8. Let m = w - -31/5. Which is greater: m or 1?
1
Suppose -3*c - 17 = 5*d + 4, 0 = -3*c + 5*d - 51. Which is bigger: c or -11?
-11
Let m be -5 - -2 - (-387)/5. Let s = -74 + m. Is s at most 0.4?
True
Let h(i) = -i + 2. Let y be h(1). Let w = 2/85 + 156/595. Which is greater: y or w?
y
Suppose 0*i - 404 = 5*j - 3*i, -j - 5*i = 92. Is j bigger than 0.1?
False
Let f = 125 + -153. Is -26 >= f?
True
Let t(s) = -s**2 + 5*s + 8. Let q be t(6). Is 3 >= q?
True
Let d be -1*(-2)/5 - 15/(-25). Let p = -1577/6 + 264. Which is smaller: d or p?
d
Let o be -15*(3 - (-48)/(-9)). Let f be o/(-21) + 2/3. Let l = -2.9 + 3. Which is greater: f or l?
l
Let m(p) = -2*p - 6. Let w be m(-4). Suppose 3*c + 0*c + 5 = o, c - 2*o = 0. Let f = c + w. Are -2/9 and f equal?
False
Let m = -37.77 - -38. Let a = m + -0.13. Are -2 and a non-equal?
True
Let t be (6/(-36))/((-1)/(-4)). Let q be (-60)/14 - (-4)/14. Let a be q/(-14) - 16/7. Is a > t?
False
Suppose u = -u. Suppose 6*f + 3 = 3*f. Let g = f - -2. Which is greater: g or u?
g
Let k(s) = -s + 11. Let m be k(7). Suppose 0*f = m*f - 4. Are 1 and f unequal?
False
Let v be 2/6 + 28/6. Suppose 4*s + v*z - 18 = 0, 2*s + 3 = z + 5. Let n = 0 + 2. Is s less than or equal to n?
True
Suppose 4*a - 4*l - 124 = 0, 0 = -2*a + l - 0 + 67. Let t be ((-9)/a)/((-7)/8). Is t != -3/4?
True
Suppose -4 = -4*s - 12. Which is smaller: -1/2 or s?
s
Suppose 2*a + 2*a + 5*y = 5, -2*a = -4*y + 4. Is 4/9 > a?
True
Let l = -19 + 18. Which is greater: -17 or l?
l
Let r = 4 + -6. Let v = -7 + 7.8. Let w = 0.2 + v. Is r equal to w?
False
Let s(t) = 2*t - 8. Let y be s(7). Let u = 6 - y. Let r be 2/(-12)*(-6)/(-8). Which is greater: r or u?
u
Let m be -56*45/(-12)*4/20. Is 43 at least as big as m?
True
Let h be 0/(-6) + -7 + 1. Let o = -56 + 48. Which is bigger: o or h?
h
Let b = 13 + -9. Let q = b + -4. Let o = 1 + -1. Is o not equal to q?
False
Let q = -46 - -26. Let l = q + 20. Which is bigger: -3 or l?
l
Let h = -0.7 - -1.8. Let s = h - 0.91. Is s bigger than 0.1?
True
Let g(y) = -y**3 + 11*y**2 + 11*y + 16. Let m be g(12). Which is smaller: 5 or m?
m
Let v = 1.06 - 0.86. Which is smaller: -1/7 or v?
-1/7
Let o = -5.9 + 6. Do o and -72 have the same value?
False
Let d(f) = -2*f**2 + 2*f - 1. Let o be d(1). Is o greater than 3/16?
False
Let y = 27/22 - -14/11. Which is smaller: 3 or y?
y
Let m(z) = -z**2 - 8*z + 10. Let p be m(-9). Which is greater: p or 1/27?
p
Let g = -5 + 8. Suppose 0 = -0*c + g*c - 6. Is c >= 0?
True
Let y = 7 + -2. Suppose 43 = -2*a + y*h, a + 4*a - 3*h = -60. Is -10 smaller than a?
True
Suppose -y = 7 - 1. Let h be -10 - (-1 + -2 - y). Is h bigger than -13?
False
Let t be ((-4)/3 + -2)*3. Let l = t - -11. Is 0 >= l?
False
Let h = 2.4 + -2. Let y = 0.4 - h. Which is smaller: y or -1?
-1
Let x = 1.31 + -9.41. Let b = 8 + x. Which is greater: 3 or b?
3
Let c = 13.6 - 13.9. Are c and -20 equal?
False
Suppose -9 - 3 = 2*b. Suppose -24 = 6*u + 12. Is b != u?
False
Let c(x) = x**2 + 9*x + 7. Let t be c(-8). Let o be t*1 - (-2)/(-6). Which is smaller: o or -2/3?
o
Let q(o) = 5*o - 4. Let d be q(3). Suppose -4*c = -4*b - 9 - d, -4*b = 12. Which is smaller: c or 3?
c
Let h = -0.5 + 0.1. Let i =