 r or -55?
-55
Let d(t) = -7 - 10 + 11 + 2*t. Let u be d(-6). Is u less than -19?
False
Let b = -274 - -1867/7. Which is smaller: -8 or b?
-8
Let q be (-300)/45 - (-2)/(-6). Let w be 8/q - (-3)/21. Which is smaller: w or -7/23?
w
Let l be ((-2)/4)/((-4)/24). Suppose 0 = -l*c + 9. Let j = -2 + c. Which is bigger: j or 2?
2
Let x be 4585/15*1 + 5/(-3). Which is greater: 303 or x?
x
Let r = -8.3659 + 0.0659. Are r and -3 non-equal?
True
Let d = 12.1 + 15.1. Let z = -0.407 + -26.593. Let u = z + d. Which is greater: u or -1?
u
Let m be ((-1683)/(-57))/(2/26). Let t = m - 384. Suppose -p + 4*a + 4 = 0, -2 = -5*p - 2*a - 4. Is p at least as big as t?
True
Suppose 4*f + 4*u = 1404, -5*f - 4*u + 808 = -947. Let w be (-1059)/f + 3/1. Is w smaller than 0?
True
Let f = 54 - 53. Let m be 10/(-174)*18/(-20). Is m at least as big as f?
False
Let a(m) = m**2 - 5*m - 4. Let g be a(5). Let c be (g/14)/(2/(-14)). Suppose c*l = -0*l. Is l <= 5?
True
Let o = 19 - 35. Suppose 35 + 10 = -3*i. Which is bigger: o or i?
i
Let o(s) = -13*s + 21. Suppose a - 75 = 6*a + 5*q, 0 = -2*a + 2*q - 26. Let y(n) = -4*n + 7. Let z(m) = a*y(m) + 4*o(m). Let r be z(5). Are 6 and r equal?
True
Suppose 0 = 3*m - 20 + 2. Suppose -2*x - x = m. Let r = 1511 - 1510.9. Are r and x non-equal?
True
Let w(z) = 5*z + 4. Let a(o) = 6*o + 5. Let u(l) = -2*a(l) + 3*w(l). Let d be u(0). Let s be ((-1)/d)/((-3)/(-2)). Which is greater: 0 or s?
0
Let z(n) be the first derivative of 3*n + 8 + 1/2*n**2. Let y be z(-7). Is -5 != y?
True
Let l be (-1)/(2/(-6) + 22/12). Is 61 less than l?
False
Let w = 52 + -62. Let a(x) = 4*x + 39. Let i be a(w). Let n = -1/19 + -33/95. Which is smaller: n or i?
i
Let a be 6/15 - (-668)/(-20). Let l be 2 + 2/(12/a). Let f = -3 - l. Is f bigger than -0.04?
True
Suppose 16 = -10*j - 94. Let k = j + 0. Is -10 <= k?
False
Suppose 0 = -5*a + 3*a - 5*s + 21, 18 = 2*a + 2*s. Suppose f = -f - a. Let i be (-4 + f)/4 + 1. Is i smaller than 0.08?
True
Suppose -k - 3 = -2*h + 1, -2 = 4*k - h. Let j(m) = m - 7. Let c be j(9). Let r be (-3)/c*8/42. Which is bigger: r or k?
k
Let k = 4.9 - 9.3. Let b = k - -2.5. Let l = b + -2.1. Is -2/5 greater than l?
True
Let b = 2.8 - 3. Is -8 bigger than b?
False
Let x = -80 - -79.25. Let m = -2.25 + x. Do m and -2/3 have the same value?
False
Suppose 2 = -15*y + 13*y. Are y and -20 non-equal?
True
Let q be (14/18 - 1) + (-753468)/(-999). Is q at most as big as 755?
True
Let z = 25 + -10. Suppose 2*h = 5*f - 80, 6 = -f - 6*h + 2*h. Is f equal to z?
False
Let l = 934 + -893. Let o = 18 - -22. Which is greater: l or o?
l
Let m = -0.03871 - -5.06771. Let r = m - 0.029. Let g = -1 - -2. Is g < r?
True
Let v(r) = -12*r**2 - r. Let p be v(1). Let l(n) = -17*n + 108. Let k be l(7). Is p bigger than k?
False
Let l = -2813 + 2814. Let o = -12.24 + 0.24. Which is smaller: o or l?
o
Let q(n) be the third derivative of -n**6/120 - 4*n**5/15 - 13*n**4/12 + 13*n**3/6 + 24*n**2. Let v be q(-14). Which is greater: v or 1/3?
1/3
Let i = 82 - 9. Let f = i - 54. Which is smaller: 1 or f?
1
Suppose -5*r + 2*u - 2 = 0, -3*r - 2*u = -0*r - 2. Is r <= -24/25?
False
Let w = -58.002 + 58. Let x = w - -0.102. Let b be 63/15*3/(-9). Is b at least as big as x?
False
Let c = -1214.2 - -1214. Which is smaller: c or -469/6?
-469/6
Let v = -303 - -306. Suppose 4*t - 2*r + 4*r = 20, 2*t + 4*r = 10. Is v at least as big as t?
False
Let a be (128/(-24))/(-5 + (-25)/(-3) + -3). Let q = 929/2 - 481. Is q greater than a?
False
Suppose -30*r + 115*r = 5100. Which is smaller: 59 or r?
59
Suppose -4*x = 3*b - 32, 0 = -4*x + 5*x + 4. Let t = b - 38. Is -18 greater than or equal to t?
True
Suppose 3*t - s + 14 = 0, 0 = -3*t - 4*s - 0*s + 11. Let d be t + ((-46)/(-12) - (-8)/48). Do -2/11 and d have different values?
True
Let n = 0.0728 + -0.5728. Which is smaller: -12/5 or n?
-12/5
Let k = -49 + 57.2. Let j = k + -19. Let g = 11 + j. Is -0.4 less than or equal to g?
True
Let p be (-80)/20*(-2)/(-1). Let m(s) = s + 1. Let g be m(0). Let d be (18/81)/(g/(-30)). Which is smaller: d or p?
p
Let n(l) = -l**2 + 6*l - 1. Let h be n(5). Suppose -j = -h*j + 18. Which is smaller: 9 or j?
j
Let p be -44 + 52 - 66/7. Which is smaller: -1 or p?
p
Let k = -3/98 - 37/392. Let m = 7.9909 - -0.0091. Which is smaller: m or k?
k
Let l be 948/(-594) + (-22)/121. Is 0.06 less than l?
False
Let r be (-2)/(-3) - 7/(-3). Suppose -r*i = -0*i + 36. Let u be 8/12 - (-35)/i. Which is bigger: -3 or u?
u
Let f = -0.027 + -10.573. Let v = -2.6 - f. Is v greater than -2?
True
Let j = -65 - -68. Suppose j*a + 5 = -2*a. Are 2/21 and a non-equal?
True
Let g = 173/15 - 2/15. Which is smaller: g or 11?
11
Let w(r) = -13*r + 800. Let k be w(60). Is 15 equal to k?
False
Suppose -2 - 4 = x + 3*s, 0 = x + 5*s - 2. Let b = -23 - x. Do b and -4 have the same value?
False
Let y(i) = 13 - 7*i**2 + 7*i + 2*i**2 - 10*i**2 - 20*i - i**3. Let g be y(-14). Let m be 3 - 26/(3 + g). Which is greater: m or -9?
-9
Let n(x) = x**3 - 9*x**2 + 9*x - 7. Let u be n(8). Let w = u + -5/4. Is 3/2 less than w?
False
Let x = 31.17 - 39.17. Which is smaller: -187 or x?
-187
Let o(k) = k**2 + 7*k + 2. Let m be o(-7). Suppose m*i = -2*i - 360. Let v be (-3)/(-5)*i/(-117). Which is bigger: 0 or v?
v
Suppose 30 = 3*o + 3*a, 5*o + 2*a = -0*o + 35. Is 4.1 bigger than o?
False
Let i = -29 + 16. Let q = -1/10605 - 122543/38885. Let m = q + 42/11. Which is smaller: i or m?
i
Let n(q) = -3*q + 12. Let t be n(5). Let o = 231/20 - 51/4. Is o bigger than t?
True
Let c = 156 - 152. Let f be (c/56 + 0)/1. Let x = -1 + 1. Which is greater: f or x?
f
Let g = -2 + 5. Let q(s) = 6*s + 4 + s**2 - 2 + 1. Let t be q(-6). Does t = g?
True
Let c(w) = w - 3. Let y be c(2). Let n = -134 + 6967/52. Let l = 37/104 - n. Is l at least y?
True
Suppose 0*u = 4*z + 3*u - 100, -u - 84 = -4*z. Let h be (3 - 5)*(-4)/z. Suppose 0 = m + m - 2. Which is smaller: h or m?
h
Let d = 1.33 - 173.33. Which is bigger: 0.1 or d?
0.1
Let j = 45 - 31. Let t = j + -8. Which is smaller: t or -0.2?
-0.2
Let a(p) = -p - 36. Let s be a(-10). Is -26 at most as big as s?
True
Suppose -2*d = -r + 7, 7*r + 4*d = 2*r + 7. Suppose 5*b = -5*c - 105, 4*b + 5*c = 19 - 98. Which is greater: r or b?
r
Let s = -104 + 105. Let r = 82/55 - 12/11. Is s less than or equal to r?
False
Suppose 5*d - 159 = 3*a, 0*a - 4*a - 4*d - 180 = 0. Let f = 48 + a. Which is smaller: -7 or f?
-7
Let b = 75 - 54. Let s = b - 67/3. Which is smaller: s or 0?
s
Let m be (8/30)/(12/9810). Is 221 < m?
False
Let p(r) = -2*r**3 + 4*r**2 + 5*r + 3. Let o be p(4). Let a = o - -43. Is a > -2?
True
Let l(a) = a**2 - 2*a + 47. Let b be l(-24). Is b < 671?
False
Let v = 352 - 1762/5. Which is bigger: 55 or v?
55
Let z be (40252/(-174))/(-1 - 13/(-11)). Let b = -1258 - z. Is b less than 15?
True
Suppose 0 = -i + 3, 5*h = 3*h + 2*i + 66. Let d be (h/48)/(3/2). Suppose 0 = -6*u + u + 5. Is u <= d?
False
Let k(i) = i**3 + 4*i**2 + 12. Let w be k(-5). Let h(x) = x**3 + 14*x**2 + 16*x - 29. Let u be h(w). Are -67 and u non-equal?
True
Let d = -122 - -116. Let u = 42 + d. Which is bigger: 34 or u?
u
Let v(n) = n**3 + 22*n**2 + 23*n + 40. Let j be v(-21). Let k be 4/6 - 58/(-3). Let a be ((-3)/12)/(3/k). Is j > a?
False
Suppose 18*l - 29 = q + 15*l, -4*l = -4*q - 132. Which is smaller: -33 or q?
q
Let o = -1372 - -9606/7. Let y(g) = g + 2. Let w be y(-3). Which is bigger: o or w?
o
Let z(j) = j**2 - 1. Let p be z(2). Let h be (66/(-10))/p - 0. Suppose -5*v + 8 = 23. Is v less than h?
True
Let p be 3*((-8)/3)/(-4). Suppose -p = -2*i - 0. Let b(d) = 10*d - 240. Let o be b(24). Is o at least as big as i?
False
Suppose -9*k + 10*k + 1 = 0. Suppose -2*y + 0 - 4 = 0. Let o be -1 + 1 - (y - -5). Which is greater: k or o?
k
Let a be ((-4)/(-6))/(732/(-174)). Let g = -1/122 + a. Suppose 0*u + 6 = 2*u, -5*m - u = 2. Which is greater: g or m?
g
Suppose -2*r - 5*p + 17 + 3 = 0, -16 = 4*r - 4*p. Is -2/965 at least as big as r?
False
Let y(j) = -j**3 + 7*j**2 + 10*j - 11. Let l be y(8). Let m be 2/4*((-77 - l) + -4). Which is greater: m or -42?
-42
Let a = -4 - -3. Let r(k) = -k - 30. Let n(h) = h**2 + 15*h + 10. Let z be n(-13). Let l be r(z). Which is greater: l or a?
a
Let n = 316.15 - 316. Which is bigger: n or -5?
n
Let v be 2/(-4) + 56/52. Let j = -5/46 + 19/5