0.1 non-equal?
True
Suppose -2*a - 212 = 3*l, -91*a - l = -87*a + 454. Suppose -319 = -5*z + 3*u, u = 4*z + 4*u - 266. Let q = a + z. Which is bigger: q or -49?
-49
Let f = -2505557/99 + 25309. Which is smaller: f or -1?
-1
Suppose 8*x = -0*x + 48. Suppose x*l - 7*l = 2. Let p(y) = 4*y + 9. Let o be p(l). Are o and 4/11 equal?
False
Let f = -39727 + 42324. Is f < 2594?
False
Suppose 0 = -54*k - 230 - 284 + 82. Which is bigger: -0.039 or k?
-0.039
Let b(r) = 4*r**2 - 325*r - 577. Let u be b(84). Are u and 341 equal?
False
Let i(b) = -21 + 8 - 1 - 2*b**2 + 8*b. Let x be i(5). Let w = x - -13. Which is smaller: w or -2?
w
Let t(g) = g**3 - 21*g**2 - 20*g - 42. Let k be t(22). Let j be (6/(-9))/(4/(-3))*k. Is j equal to 2/209?
False
Let h be 4 + -6 - (-2 + 5 - 7). Let i be (-52)/14 + (-2)/14*h. Let b be 924/(-10) - 3/5 - i. Is b greater than -90?
True
Let l = 205.9917 - -0.0083. Let t = 210.4 - l. Which is greater: t or -3/5?
t
Let o be 4*(-1 - -3) - (-1590785)/906. Is 1764 less than or equal to o?
False
Let n be 6/10*30/18. Let h = -2/1663 + 11693/43238. Which is bigger: n or h?
n
Let p(m) = 63*m + 243. Let u be p(-13). Let o = -340 - u. Which is smaller: o or 234?
234
Suppose -65 = 5*y + 2*k, 0 = 4*y - 2*y + 3*k + 37. Suppose 5 = -9*x + 59. Let v be (-2 - 2/(-6))*x. Which is smaller: y or v?
y
Suppose l = -2*o + 5, -12*l + 20 = -8*l - 5*o. Suppose l*k + 6 + 3 = d, d = k + 1. Is 2/193 less than d?
False
Let b(v) = v**3 + 3*v**2 - 4*v + 7. Let n be b(-4). Which is smaller: n or 136/19?
n
Suppose 1 = -q - 1, n + 4*q + 4 = 0. Let g be (4*(-8)/(-42))/(n/(-6)). Let z = 21.7 - 22. Are g and z non-equal?
True
Let n be 5 + -3 - (-6240)/(-13). Is n less than -476?
True
Let w = -7.4 - -6. Let t = -118 - -117.42. Let a = t - -0.48. Which is smaller: a or w?
w
Suppose 3*v = 305 - 65. Let a = -12921 + 13000. Which is smaller: a or v?
a
Let d be (-3451)/595*(52/10 - 8/40). Is 50 greater than or equal to d?
True
Suppose 0 = 4*j - 3*q - 14 - 9 - 33, 5*q = 20. Let g be 20 - (1/(-1) + 0). Is g > j?
True
Let r(s) be the first derivative of -s**4/4 - 3*s**3 - 8*s**2 - 9*s - 41. Let k be r(-8). Which is greater: 56 or k?
56
Let q be -4*2325/10220 + 4*1/28. Which is bigger: -1 or q?
q
Suppose 75 = 3*b - 5*k, 12*k = 13*k + 3. Are b and 388/19 non-equal?
True
Suppose -22 = -3*v - 0*v - 4*j, 5*v + j = 48. Suppose 11 = -2*u - g, -4*u - g + v = -5*u. Let d be 47/(-7) - (-4 - 30/u). Which is greater: d or 2/3?
2/3
Let t be (-2 - -1)/((-2952)/(-296) - 10). Suppose 127 + t = -41*h. Which is bigger: -2 or h?
-2
Suppose -2732 - 16404 = 91*v + 117*v. Let g be 91*(-2 - (0 - 1)). Which is smaller: v or g?
v
Let a(d) = -10*d**3 - 7*d**2 + 26*d + 96. Let n be a(-3). Which is smaller: n or 208?
208
Let o = 4/303 - -2210/909. Let d(c) = -c**3 - 2*c**2 + 27*c - 4. Let f be d(4). Suppose -12*q - f*q = -20. Is q less than o?
True
Let f = -1114 + 1115. Is f greater than -10/39?
True
Let r(d) = -8*d**3 - 24*d**2 + 40*d - 2. Let l(o) = -5*o**3 - 12*o**2 + 20*o - 1. Let t(h) = 5*l(h) - 3*r(h). Let x be t(10). Is x greater than 1?
False
Let m be (-15)/(-30) - (-3282)/(-12). Is -269 at most as big as m?
False
Let f = 28935 + -1186333/41. Let r be (2/(-4))/((-2)/(-8)). Let b be (-6)/4*r/3. Is f greater than b?
False
Let h = 98 - 98.067. Let a = h + 6.867. Let f = a - 5.7. Which is bigger: -1 or f?
f
Let t = -10106 + 10094. Do t and -21/104 have the same value?
False
Let x(u) = u**3 - 2*u**2 - 25*u + 93. Let f be x(3). Which is smaller: f or 32?
f
Suppose -39*u + 15*u + 48 = 0. Let g(k) = -k**3 - 11*k**2 - 8*k + 7. Let z be g(-10). Is z at least u?
False
Let p be (-2188)/(-7) + 11 + 2*810/(-140). Are 318 and p nonequal?
True
Suppose -571*s + 3*k + 1806 = -573*s, 3612 = -4*s - 2*k. Is s greater than or equal to -894?
False
Suppose -115 = 5*b - a - 32, -b + 1 = 2*a. Are -41 and b non-equal?
True
Let m be ((-16)/6)/(8 - 426/54). Let y be (-6)/(-4)*(-8)/m. Which is greater: y or -30?
y
Let f = 8615 - 8189. Is -1/5 at most f?
True
Let p be (-30)/18 - 128332/6*11/(-141174). Is 1 at most p?
False
Let u = 14 + -59. Let x = 46 + u. Suppose 0 = -m + 5*m - 4*c + 12, -2*m + 3*c = 3. Is x at most as big as m?
False
Let i = -139 + 136. Let k be (-4)/5 - 14/(-5). Suppose -k*z - 4*b = 20, z - 8*b = -4*b + 14. Is i equal to z?
False
Let i(p) be the second derivative of -p**5/20 - 13*p**4/12 + 29*p**3/6 + 9*p**2/2 - 49*p + 2. Let r be i(-14). Which is smaller: -1 or r?
r
Let o = 221 + -219. Let l be 45/(-50) + o/4. Is l bigger than 1?
False
Let v = 83/15 - 28/5. Is -24 smaller than v?
True
Let i be (-43)/(1 - 2)*8/(-24). Let l = -91/6 - i. Which is smaller: l or 2.1?
l
Suppose 5*v = h + 9, -2*v = -h - 10 - 2. Let k = -1037 + 1026. Are h and k nonequal?
True
Let q = 109 - 106. Let i be (-10)/47*68/(-85). Let g = i - 212/141. Which is smaller: g or q?
g
Let i = -9/458 - -2769/70990. Which is smaller: i or -1?
-1
Suppose -1060 = 16*l - 1076. Which is smaller: l or -3/6551?
-3/6551
Let j = -49.35 - -51. Let y = 14575 + -14574. Which is bigger: y or j?
j
Let u = -5 + 10. Suppose 0 = u*o + 11 + 19. Let d(t) = t**3 - 38*t**2 - 124*t + 36. Let p be d(41). Is p < o?
False
Let m(l) = l**3 - 14*l**2 - 16*l + 20. Let s be m(15). Suppose 0 = s*w - 79 + 194. Let b = -63.1 + 63. Do b and w have different values?
True
Let b = 1445/216 + -89/54. Let p = b - 17/3. Suppose 0 = -2*t + 7*t + 5. Which is bigger: t or p?
p
Let m = 3 - 3. Let j = -2073739/11 + 188667. Let y = j - 145. Is m at most as big as y?
True
Let w(p) = 9*p**3 + 46*p**2 + 123*p + 552. Let g be w(-5). Let x be 4/(-18) - (-61)/(-9). Let t(k) = -2*k**2 - 9*k - 4. Let b be t(x). Which is smaller: g or b?
b
Suppose -1026 = -652*s + 633*s. Which is greater: 1372/25 or s?
1372/25
Let x = -151.25 + 30.05. Is x not equal to -0.02?
True
Suppose 26*h + 125724 - 654 = -4*h. Which is greater: h or -4172?
h
Let q = -133.12 + 134.321. Is q greater than 2/13?
True
Let k = -7835 - -7828. Is k at least -114.8?
True
Let n = -86 + 88. Let h be 0/n + (4 + -4 - -2). Suppose -h*s - 4*o - 4 = 0, 2*s + 6*o + 5 = 3*o. Is s less than -7?
False
Suppose -5*m - 2*h + 2 = 0, 0 = -0*h - h - 4. Let i be 4*((-33)/(-15) - m). Suppose -2*v + 2 = 4. Which is smaller: i or v?
v
Let d be (11005/15 - (4 - 0)) + -1. Let j = d + -1270072/1743. Which is smaller: j or 0?
j
Suppose -983 = 9*i - 992. Is i bigger than -6/883?
True
Let a = 263524 + -726008628/2755. Are a and -1 non-equal?
True
Suppose i = -4*d + 43 - 27, 2*d - 8 = i. Suppose -d*t + 20 = -2*o, 9*t + 4*o + 7 = 6*t. Which is greater: t or -14?
t
Let x = 3030.478 + -3033. Let r = x - -2.5. Let g = 0.228 + -0.128. Is g at most as big as r?
False
Let t be (-172)/(-455) - (-2)/(-5). Let l = 13.68 + -13.88. Which is greater: t or l?
t
Let v = -0.3841 + 0.4841. Which is bigger: -0.802 or v?
v
Let y = 0.019 - -12.981. Which is greater: y or 120?
120
Let o(n) be the third derivative of -n**6/120 + 13*n**5/30 - n**4/2 + 53*n**3/6 + 164*n**2. Let f be o(26). Is -778/3 less than f?
True
Let c = 189.07 - 189. Let p = c - 136.07. Which is smaller: p or -1?
p
Let j(h) = h**2 - 99*h + 1081. Let f be j(86). Let v = 0.81 + 0.19. Which is bigger: v or f?
v
Let a = -671.5 - -659.5. Is 156 greater than a?
True
Let z(n) = n**2 + 6*n - 14. Let g be z(4). Let u(o) = -5*o - 6. Suppose c = -2*c - 18. Let k be u(c). Which is smaller: g or k?
k
Let i(o) = -4*o**2 - 126*o - 393. Let d be i(-28). Which is greater: 9/70 or d?
9/70
Let o = 169/490 - 12/49. Let n(m) = m**3 + 17*m**2 + 17*m + 15. Suppose -3*c + 2*p = 51 + 7, 4*c - 5*p + 89 = 0. Let r be n(c). Is o > r?
True
Let z = -12171 + 13708. Which is smaller: z or -6?
-6
Let k = 29125 + -29126. Is k at least as big as 3/12757?
False
Let m = 1380 - 1379. Which is bigger: -45/158 or m?
m
Suppose 0 = 5*g + 5*n - 750, 897 = g + 2*n + 752. Is g smaller than 146?
False
Let s = 3/16912 - 44258713/50736. Which is smaller: s or -871?
s
Let y = -236 - -236.52. Which is greater: y or -127?
y
Let c = -8956.33 + 8957. Which is bigger: -1/11 or c?
c
Let n = 20 + -65. Suppose 2*q + 8 = -2*y, -q + 10 = -3*q. Let c(d) = -44*d**3 - 4*d + 4. Let m be c(y). Which is smaller: n or m?
n
Let c(n) = -6*n - 24. Let v be c(-5). Let u = -0.42 - 0.08. Which is bigger: v or u?
v
Let y be 1/(-1 - -2)*9. Let n(d) = d**2 + 15*d + 52. Let m be n(-6). 