r non-equal?
True
Let v be (-15)/(-36)*(-2)/(-10). Let a = -80 + 134. Let b = 53 - a. Is v != b?
True
Let v = -285 - -277.8. Is -3 smaller than v?
False
Let v = 399 + -400. Which is smaller: -2/1729 or v?
v
Suppose 0 = -7*l + 12*l + 115. Let m = l - -18. Is m less than or equal to -6?
False
Let z(t) = 5*t**2 + 5*t + 5. Let q be z(-2). Let u = -11 + q. Suppose 0 = 4*o - 3*f + 1, 0 = o + 3*f + u. Does o = -2/9?
False
Let b = -21 - -22. Suppose -2*v = -3*m - 5, 0*v = 3*v + 2*m - b. Let w = 3/121 + -293/2057. Is w >= v?
False
Let l(x) = -2*x**3 + 20*x**2 + 4*x - 13. Let f be l(10). Which is smaller: f or 4?
4
Let r = -88913 + 621266/7. Let i = 161 + r. Do -0.5 and i have different values?
True
Suppose -5*t - 98 = -38. Let g be (219/27)/((-1)/t). Let u = -95 + g. Is 1 < u?
True
Let s = -445 + 269. Which is greater: -174 or s?
-174
Let n = -196 - -180. Let b be 4/8*6 + 2. Suppose 47 + 28 = -b*l. Is l != n?
True
Let q = 2525 - 2523. Are q and 16/15 equal?
False
Let p = 0.33 + 28.67. Let a = 29.2 - p. Which is greater: a or -1?
a
Let p be (-12)/(36/(-15)) - -18. Do p and 22 have different values?
True
Let u = -2.1 - -2.04. Let h = -0.12 - u. Is -0.4 smaller than h?
True
Let r(d) = 6*d**2 - 7*d - 6. Let w(t) = -7*t**2 + 8*t + 6. Let s(i) = -6*r(i) - 5*w(i). Let g be s(4). Let f be (g/12)/(3 + -1). Which is smaller: f or -1?
-1
Let r(g) = g**3 + 8*g**2 + 5*g - 10. Let x be r(-7). Let o = -2 + x. Suppose -o = u + u. Which is bigger: 1/17 or u?
1/17
Let g = 0 + 50. Let p = g + -12. Which is smaller: 37 or p?
37
Let s = -40.5 - -40.9. Is s <= -13/7?
False
Let t be 10/(((-12)/(-37))/(-3)). Let s = t - -375/4. Let m(y) = y**3 + y**2 + 3*y - 4. Let p be m(1). Is p not equal to s?
True
Let d(z) = -z**2 + 8*z + 18. Let o be d(8). Let r be -2*(-9)/(o/4). Let u be (-1 + 13/12)*r. Which is smaller: -1/4 or u?
-1/4
Let q = -1/217 - -664/2821. Let y be (2/(-10))/((-468)/(-60) + -8). Are q and y unequal?
True
Let u(g) = g**2 - 5*g - 10. Let t be u(7). Let j be 58/(-14) - t/(-28). Suppose -b - 16 = 3*b. Is j at most b?
True
Let h(p) = p**3 + 17*p**2 - 1. Let b be h(-17). Do b and -1/4 have the same value?
False
Let v = 20 + -19. Let w be (-2)/45*(-30)/(-9). Is w at least v?
False
Suppose 0 = -3*g + 12, -g + 74 = 2*d + 4*g. Let j(p) = -p**3 + 26*p**2 + 25*p + 40. Let t be j(d). Which is bigger: -1 or t?
-1
Let w = 22.5 + -36. Let a = -13 - w. Let s = 0.05 - 0.15. Which is bigger: a or s?
a
Suppose -29 = -3*r + 2*r - 3*d, 4*r - 109 = -5*d. Which is smaller: r or 27?
r
Suppose 80 = 11*f - 250. Let m be f/20*(2 + 13). Are m and 22 nonequal?
True
Let g(o) = o**3 + o**2 - o + 66. Let y be g(0). Let w = y + -66. Let t be (-15)/(-2)*8/(-42). Which is smaller: t or w?
t
Suppose -24 = -q - 5*s, -4*q + 0*q - 5*s + 96 = 0. Let u = q + -14. Let p be (-12)/20 + (-74)/u. Is -9 at most as big as p?
True
Let n(t) = t + 7. Let q(m) = -m**3 - 5*m**2 - 2*m + 1. Let l be q(-2). Let r be n(l). Let v be -2 + 10 + 140/(-17). Is r smaller than v?
False
Let h = -6.27 + 0.27. Let p = -8 - h. Which is smaller: -6 or p?
-6
Let o = 46.2 + 1.8. Let y = o + -41. Which is smaller: y or 6?
6
Suppose 4*b + 20 = 0, -r = -5*r + 2*b + 10. Let z be r/(-3 + 1 + 3). Suppose -5*q + 25 = -f + 5, z = f - 3*q + 10. Is f not equal to 6?
True
Let q = -153424/2015 - -990/13. Let a = 451/1085 + q. Suppose -2 = -2*w, 3*l + 2*w + 7 = 6*w. Which is greater: l or a?
a
Let y be (((-256)/28)/(-4))/(1/(-18)). Which is smaller: -41 or y?
y
Let q = -38/103 - -11/309. Which is smaller: q or 0.15?
q
Let f be (-2)/582*(-17 - 1434) + -5. Do f and -1 have different values?
True
Let k(t) = 2*t**3 + 4*t**2 + 4. Let j be k(-3). Let w = -10 - j. Suppose 4*x + 5 = -w*g - 23, 5*g + 4*x = -35. Do g and -6 have the same value?
False
Suppose -n + 4*k = -4*n + 39, -2*k = -4*n + 74. Let v = -21 + n. Let f be (v + 3)*-1*1. Is 2/7 bigger than f?
False
Let h be (234/385 + (-76)/133)*310. Which is smaller: 11 or h?
11
Suppose -x = 7 + 8. Let c be (-69)/x + 0 - (-8)/20. Are 5 and c non-equal?
False
Suppose 4*c + 10 = 2*y, -2*y = -c - 1 - 3. Let x = -2/2121 - 269/36057. Which is smaller: x or y?
x
Let s = -15/29 - -1/58. Is 1/4 < s?
False
Suppose 0 = -3*v - u + 19, v + 3 = -0*v + 2*u. Suppose 3*m - 5*w + 27 = 4*m, -w = -v. Suppose -3 = r - m. Which is bigger: -10/9 or r?
r
Let w = -5829/4 + 1454. Is -3 at least as big as w?
True
Let u = 112 + -66. Let s = u - 46. Which is greater: s or -17?
s
Let a be 608/(-25004)*(-2)/(-24). Is 0 less than a?
False
Let z be ((-158)/(-52) + -3)/(15/(-60)). Is -1 at least as big as z?
False
Let b = -1 + 0.9. Let m = b - -12.1. Let c = 14 - m. Is c less than 1?
False
Let k = 0.102 + -0.002. Let u = -0.7 + 0.3. Let g = -15.4 - u. Which is smaller: g or k?
g
Let a = 13/90 - 157/1035. Is -1 > a?
False
Let u be (-7)/(-140)*-5 + -9. Suppose 16 = -4*p - 2*d - 10, -36 = 3*p - 4*d. Which is smaller: u or p?
u
Let l = 0.59 - 2.59. Let o = 626/7 + -89. Is o less than l?
False
Let z = -98.465 + 0.265. Which is bigger: z or 0?
0
Let p = 30 + -28. Suppose -p - 2 = -2*x. Which is bigger: x or -7?
x
Suppose -4*l = 3*y - 8*y + 7, 0 = 5*y - 15. Suppose l*c + 0 = 2. Which is greater: -2 or c?
c
Let z be 35/(-21) + (-2)/(-3). Let k(v) = v**3 + v**2 + 2*v + 2. Let j be k(-1). Which is bigger: j or z?
j
Let d be ((-10)/(-30))/(1/(-6)). Let k be -6*((-236)/116 - d). Which is bigger: 0 or k?
k
Let x = 91 - 95. Let l be -3 + 8/x + 11. Let s be -1 - (-5)/((-10)/(-12)). Is l less than or equal to s?
False
Suppose -2*d + 5*b - b - 16 = 0, 4*b = -d - 14. Let p be (-6)/d - 176/(-70). Let y = p - 17/5. Is -1 at least y?
False
Let h be (-29)/31 + (2 - 1). Let l(j) = j**3 + 30*j**2 + 2*j + 60. Let i be l(-30). Is i smaller than h?
True
Let x(d) = 2*d + 53. Let k be x(-28). Suppose -3*g + 5 = -5*r - 5, 4*r = -5*g - 45. Which is greater: r or k?
k
Let d = -10579 - -10559. Suppose 4*n = -0*n + 20, 5*x = n - 110. Which is smaller: d or x?
x
Let p(m) be the first derivative of -m**4/4 - 2*m**3 - m**2/2 - 5*m + 4. Let t be p(-6). Let s be (3/(-2 - t))/(-1). Is s equal to -1/11?
False
Let j = 16 - 11. Let w = -36 - -51. Let g be w/(-90) - 37/(-6). Is j < g?
True
Let w(l) = -4*l + 72. Let f be w(17). Suppose 246 = f*q - 5*n - 0*n, -5*q - 2*n = -291. Is q less than or equal to 59?
True
Suppose 0 = 2*b + 4 + 4. Let d be 164/42 + b/(-6). Is d greater than or equal to 4?
True
Let x be (-2)/9 - 38/(-9). Suppose 0 = 2*m - x*w + 16, 3*m - 5*m - 5*w + 20 = 0. Is m at least as big as -3/68?
True
Let w be (-78)/(-4)*(-14)/(-21). Suppose -2*d = -7*d + 2*a + w, -3*d = -a - 8. Suppose 5*i + 2 = -3*c + d, 5*i + 5 = 0. Is c > 4?
False
Suppose 5*u = 4*l + 64, u - 35 - 2 = 3*l. Suppose 0*j + 4*j + g = -51, -3*g - 36 = 3*j. Is l less than or equal to j?
False
Let f be (-5)/5 - 2 - (-3 - 148). Is 146 >= f?
False
Let r = -17.2 - -20. Let w = 0.8 - r. Which is greater: 0.1 or w?
0.1
Let c be 98/(-7) + -3 - -3. Let h(t) = -t**2 - 9*t + 71. Let r be h(c). Let o be ((-34)/24 + 1)/1. Does o = r?
False
Let n be (-5)/790*(-1 - (3 + -2)). Which is greater: n or 1?
1
Let c = 3 - -1. Suppose -2*q + 6*q - 20 = 0. Suppose 4*p - 22 = q*s, 2*s + 3*s = p - 13. Which is smaller: c or p?
p
Let r be (-30)/(-8) - 2/8. Let m(c) = -20*c - 21. Let y be m(-5). Let n = 84 - y. Which is bigger: r or n?
n
Let v = 90 + -628/7. Let h = -22.9 - -22. Let i = -0.1 + h. Which is smaller: v or i?
i
Let w = 320.04 + -294.1. Let f = 26 - w. Let y = 3.94 + f. Which is smaller: y or -1?
-1
Let w(v) = -v**3 + 6*v**2 + v - 3. Let c be w(6). Let i = 29.4 + -26.4. Does c = i?
True
Suppose 15 = 4*n + n - 3*r, -4*r = 20. Suppose 0 = -2*f - 0*f + w + 36, 5*f - 2*w = 89. Which is bigger: f or n?
f
Let l be 27156/156 + 6/(-78). Is l < 173?
False
Let h = -335 + 433. Which is smaller: h or 97?
97
Suppose 0 = 24*c - 34*c + 180. Let w be (-1)/3 - (5 + (-240)/c). Suppose 5*p - 2*g = 46, -4*p + 4*g + 37 = -7. Is w at most as big as p?
True
Suppose -5*q = 110 - 115, 0 = 2*d - 2*q + 214. Are -108 and d nonequal?
True
Let z(u) = 765*u - 9943. Let p be z(13). Suppose 4*l + 66 = 5*m, -2*l - 11 = -4*m + 19. Let k be l/(-7) - 6/3. Which is bigger: k or p?
p
Let z = 2 + -4. Let q be 26/(-6) + z/(-6). Is q at least -6?
True
Suppose -2 = -a + x, 0 = -2*a - x - 1 - 1. Let y be (0 - a - 9) + 3. Let v be 3/1*y/9. Is -1/4 bigger than