 (-2)/40*-5 + 34/(-8). Let t be (-4 + (-33)/(-9))/(d/(-8)). Which is greater: t or 0?
0
Let x = -14 + 26. Let p be x/18*(-2)/20. Suppose -6*m - 6 = -0*m. Is p > m?
True
Suppose 125 = 2*f + 3*f - 5*u, -2*f = -4*u - 60. Let c = f - 18. Suppose -c = -2*j - 12. Which is smaller: j or -7?
-7
Let o = 0 + 2. Let a = o - 3. Suppose -2*f + 5*r + 0 + 21 = 0, -4*f - 2*r - 18 = 0. Does f = a?
False
Let c be (4/10)/(-6 - 1568/(-260)). Let k be 3/6 - (-54)/4. Is c bigger than k?
False
Suppose 0*i = i + 2. Let o = i - -12. Let t(j) = -11*j. Let f be t(-1). Is o smaller than f?
True
Let p = -78011/7 + 11125. Which is bigger: -18 or p?
-18
Suppose w + 2*p = 6, 60 = 3*w + w - p. Let u be (-2)/7 - 10/w. Suppose 4*m + 4 = -4*s, 4*s + 11*m = 8*m - 3. Which is bigger: s or u?
s
Suppose -17 = -4*y + 3*r - 0*r, 22 = 5*y - 4*r. Let t = y + -1/3. Which is greater: t or 2/5?
t
Let y = -1.95 + 2. Let a be 5 - 5/10*-29. Let k = a - 115/6. Which is bigger: y or k?
k
Suppose -u = 4*g + 16, -3*u - g + 2*g + 17 = 0. Suppose u*o - k = -49 - 42, o + 5*k = -49. Which is bigger: o or -22?
-22
Let y(a) = 11*a - 60. Let f be y(10). Let n = 52 - f. Is n at least as big as 3?
False
Suppose -a = -3*c - 1, -5*c - 3 = -2*a - 2. Is 2/17 > c?
True
Let u(y) = -y**2 + 17*y - 21. Suppose -5*p + 4*p = -14. Let c be u(p). Suppose z + 4*k = c, 49 = 4*z + 4*k - 11. Is 14 less than z?
False
Let g(k) = 13*k**3 + 3*k**2 + 2*k. Let l be g(-1). Let y be 81/l - (-2 + 2). Is y not equal to -8?
True
Let h = -255 + 209. Is h at most -44?
True
Let l be 2 - (23 + 12 - 2/6). Is l at least as big as -33?
True
Suppose -20 = -10*j + 5*j. Suppose -6*o = -j*o. Suppose o = -3*v - 3*x + 3, 2*v - 3 = -3*x - 2. Which is greater: v or 0?
v
Let z be 39 - 36 - 2*2. Let k(m) be the first derivative of m**4/4 + 3*m**3 + 9*m**2/2 + 5*m - 2. Let j be k(-8). Is j not equal to z?
True
Let a = -1695709/57 - -89155/3. Let c = a + 95882/3097. Is c smaller than 0?
False
Let j = 21 + -9. Let g = 12 - j. Let z = -698/519 + 2/173. Which is greater: g or z?
g
Let v be (-624)/(-96) + 1 + 0 + 0. Is v greater than -4?
True
Let a(f) = f**2 - 10*f - 13. Let o(b) = b**2 - 9*b - 12. Let l(d) = 5*a(d) - 6*o(d). Let x be 0 + 7*(-1 - -2). Let u be l(x). Is u at least as big as -14?
True
Let r = 47 - 47. Suppose 11*m - 15*m - 20 = r. Which is bigger: -6 or m?
m
Let z = -3 + 30. Let g = -32 + z. Is -7 at least g?
False
Suppose -35*x = -27266 - 19599. Which is smaller: x or 1340?
x
Let w(y) = -y**2 - 3*y + 27. Let n = -16 + 9. Let o be w(n). Let u be 1*3*(1 + 0). Is u <= o?
False
Let t = 1228 + -2035. Is t smaller than 0?
True
Let a = -0.9 + 13.9. Let s = a + -14. Which is bigger: s or -18?
s
Let h(i) = i**2 + 8*i + 3. Let s be h(-8). Suppose 1 = 2*b - o + 2, 3*o = -4*b + s. Let d be 11/6 - (3 + b). Which is smaller: -2 or d?
-2
Suppose 5*c = -17 + 27. Let g be 71/(-111) + ((-16)/(-12))/c. Which is smaller: -1 or g?
-1
Let d be (-4)/18 - 2695/(-99). Which is bigger: d or -18?
d
Suppose 8*i + 50 + 110 = 0. Suppose 3*p = -39 - 21. Does i = p?
True
Suppose n - 5 = -0*n, -n = -o - 3. Suppose -11*c = o*c - 104. Is c < 6?
False
Let a = -2304 + 32265/14. Is -1/3 greater than a?
False
Let x be 6/(-15) - 969/15. Let q be (-42)/(-5)*x/(-26). Suppose 3*k - q = -54. Which is bigger: k or -12?
k
Let r = 9.021 - -0.119. Let t = -2.14 + r. Let s = 2.1 + -2. Which is smaller: s or t?
s
Let f(y) = -2*y**2 + 12*y - 16. Let t(o) = -o**2 + 6*o - 8. Let g(c) = 3*f(c) - 7*t(c). Let m be g(6). Suppose 12 = -h + 3*h. Are h and m equal?
False
Let i(n) = -7*n**2 - 5*n - 8. Let t(b) = 6*b**2 + 5*b + 9. Let k(o) = 5*i(o) + 6*t(o). Let l be k(-6). Let g be (-14)/35 + 13/l. Which is smaller: g or -1?
-1
Let d = -6 + 34. Let q be ((-1)/7)/(-1 - d/(-16)). Which is greater: q or 1?
1
Suppose 5*m + w + 104 = 0, -m - 16 = 3*w + 16. Let u be (m/8)/1*-2. Suppose -5*s - 2 = 4*o, u*s - 2*o = -0*s - 14. Which is bigger: s or -7/5?
-7/5
Suppose 0 = d - 1 - 0. Suppose -5*i - n = -4*n - 10, i = -5*n + 2. Let z be (i/(-8))/(2/(-8)). Is z at most as big as d?
True
Let p be ((-8)/3)/((-1)/(-3)). Let t = p - -7. Let c be 1*(-1)/5*1. Which is bigger: c or t?
c
Let j = -13 + 1. Let k = 23 + j. Let f = k + -10.95. Is -0.1 less than f?
True
Let b(t) = 3*t + 8. Suppose -4*n = 13 - 1. Let o be b(n). Which is bigger: 3/7 or o?
3/7
Suppose 1 = 5*z - 14. Suppose -z*f - 3*b - 9 = 0, 10*f - 7*f + 4*b = -11. Which is smaller: 2/131 or f?
f
Let o = -6892 + 6861. Let g be -31*1 + (1 - 0). Which is smaller: g or o?
o
Let v(f) = f + 12. Let o be v(-10). Suppose -3*b + 5*l = -2*b + 29, o*l = 5*b + 30. Let m = 0.3 - 0.5. Is m equal to b?
False
Let a(l) = -2440*l**2 - 100*l + 99. Let o be a(1). Is o < -2442?
False
Let d be 60/(2 + 0) - -3. Suppose -v + 0*v + d = 0. Let p = 97/3 - v. Are p and -1 unequal?
True
Suppose -3*t - q - 3*q = -3, -3*t - 24 = -5*q. Suppose 0*u + u - 5*a = 4, -3*u - 2*a = 22. Let o be ((-2)/(-3) + 0)*u. Which is smaller: t or o?
o
Let z(w) = -w**3 - 9*w**2 - 6. Let m be z(-9). Let h(v) = v**2 + 3*v - 2. Let x be h(m). Suppose 4*f - x = 6*f. Is -6 != f?
True
Let l be ((-3)/(-6))/(7/14). Let h = -7 - -7.1. Which is smaller: l or h?
h
Let p be (-6)/(-2) + 0 + 1. Suppose 0*f - 4*f = -4*h + p, h = 2. Suppose -4*n = -5*n - 5*k - 14, -k = -n + 4. Is n smaller than f?
False
Let l = -12/37 + 313/851. Which is greater: l or 2?
2
Let g = 12.78 - 13.78. Is 2.02 smaller than g?
False
Let x(t) = t. Let w be x(0). Let p = 3 + w. Suppose p*i - i = -24. Are i and -12 non-equal?
False
Suppose -2*u + 3*x = 211 - 203, 4*u + 16 = 5*x. Let q = 123 + -505/4. Is q less than u?
False
Let a = 2 + -1.94. Let d be (-8)/(-4)*18/(-132). Let i = d - 5/22. Which is bigger: a or i?
a
Let u be (-510)/(-1445)*(-5)/(-3). Which is smaller: u or 0?
0
Let m be 3/((-95)/(-110) + -1). Let g = 21 + m. Which is greater: g or -2/47?
-2/47
Suppose -2*o - 8 = 5*l, -18*o - 4*l - 5 = -15*o. Which is bigger: -509 or o?
o
Let a be 0*(2 - 2 - -1). Suppose 0 = -7*r + 8*r - 16. Let m be -2*2*(-4)/r. Is m not equal to a?
True
Let t(r) = -2*r**2 + 14*r + 62. Let b be t(15). Is -178 less than or equal to b?
True
Let z = -1760 - -1743.66. Let h = 1170 - 1169.66. Let q = z + h. Which is greater: -1 or q?
-1
Let x = 275 + -317. Let j be (-18)/15*(3 - (-129)/x). Let s = 4 + -3. Is j equal to s?
False
Let j be (2 + -4 - -29) + -3. Suppose s = -2*s - j. Let h be (-5 - (-49)/7)*(1 - 5). Are s and h non-equal?
False
Let l be (2 - (-2)/(-4))/((-27)/(-5436)). Which is smaller: l or 303?
l
Suppose u = 6*u - 25. Let r be u/(-20) - (-1)/4. Is 6/19 >= r?
True
Let z = 7 - 10. Let a be -20*1 - -4 - -1. Let p = a - -13. Is z > p?
False
Let h = -50 - -118. Let p be ((-33)/12 - -3)*(-41 + 41). Is h greater than p?
True
Let j be (-2)/3 - ((-143)/30 - -5). Which is greater: j or -1?
j
Let i = -1075 - -3961/4. Which is bigger: -85 or i?
i
Let c = -907 + 844. Which is greater: c or -65?
c
Let r(n) = n**3 + 3*n**2 - 5*n. Let z be r(-4). Suppose 34 = -5*j - z*s, -2*j - 5*s + 10 = -j. Which is smaller: j or -14?
-14
Let t = 2.2 + -2. Let s = 1.2 + -7.2. Let n = s + 7. Is n greater than t?
True
Suppose c - 7 + 6 = 0. Is c less than -126?
False
Let f = -0.232 + 0.432. Is -1/3 != f?
True
Let w = -31699/3 + 10658. Let x = w + -93. Which is bigger: x or -1?
-1
Let g be -1*4*(-3)/234. Suppose -4*i = -3*i. Is g < i?
False
Let r(l) = -3*l**2 + 10*l - 26. Let m be r(3). Suppose 1 = -3*q - 2*x, 4*q - 2*x - 5 = 3. Suppose -a = 24 - q. Is a at most as big as m?
True
Let g(u) = 2*u**3 - 14*u**2 + 26*u - 8. Let b be g(4). Let a = -12.5 + 65.5. Which is smaller: a or b?
b
Let t = 0.17 - -1.63. Let c = t + 16.4. Let p = c + -18. Which is smaller: 2 or p?
p
Let u be (((-9)/3)/6)/(1/6). Suppose 3*l - l + 10 = 0. Let a = l + 1. Which is greater: a or u?
u
Let h = 3 - -0.2. Let c = -0.32 + 1.12. Let b = c + h. Which is smaller: 2/13 or b?
2/13
Let w be (324/(-10))/6 - -5. Is 64 >= w?
True
Let j be (-2 - (-16)/6)/2. Let d = -5.1 - -5.084. Let p = 0.184 - d. Are j and p unequal?
True
Suppose 8 = -2*l + 4*l. Let o be (-166)/(-18) - l/18. Which is smaller: 10 or o?
o
Let b = -312 + 677/2. Let u = 26 - b. Suppose j = -1 + 5. Do u and j have different values?
True
Let r be (-2688)/54 - 11 - (-2)/(-9). Is -54 at most as big as r?
False
Let f = -49 - -29. Let j = f + 3. Let c = -1.9 - -2. W