 u = -8648 - -7636. Are u and -2 non-equal?
True
Let k = -447 + 445. Let u be 2/(-12)*9*k. Is -31 at most as big as u?
True
Let f be 275/66 + 0 + (-3)/18. Let t be (f + -5 - -1) + 0. Let l = -22 + 17. Is t bigger than l?
True
Let u = -9 - -24. Suppose 3*q = 2*b + 2843, 0*q + 5695 = -4*b + 3*q. Let m be 2/14 - b/(-966). Which is smaller: u or m?
m
Let n = -17209/39270 - -85/154. Which is greater: -1 or n?
n
Let n = -37 - -21. Let b = -89 - -72. Let i = n - b. Which is smaller: i or -1/3?
-1/3
Let s be 4867 + (-10*1)/(10/(-35)*-7). Are 4862 and s unequal?
False
Let s = 140 + -141. Let c be (-14 - -17) + (0 - -1). Let a be c/18 - 70/720. Are a and s unequal?
True
Suppose 4*j - 5 = -2*s + 1, -3*s = 3*j. Suppose -2*z - 10 = -3*z - j*d, d = 4. Which is bigger: -27/11 or z?
z
Let r = 6827330/9067 + -9143349275503219/12142777320158. Let w = r + 13413704267071/51655350613854. Let t = -2/1677 - w. Which is smaller: 1 or t?
t
Let h = -315511799/2132 - -591959/4. Let q be -4*(-2 - 90/(-52)). Let w = q - h. Which is smaller: -1 or w?
-1
Let o(w) = 3*w**3 - 108*w**2 - 2. Let p be o(36). Let r = -3 + 6. Let h be r/((-4 - -9) + p). Which is smaller: h or -1/58?
-1/58
Let w = -50 - -102. Suppose 7*m + 92 = -125. Let v = 20 - m. Do v and w have the same value?
False
Let s = 2161/12 - 180. Let g be (-10)/((6/(-9))/((-4)/(-12))). Suppose 0 = -5*j - 5*o - g, -4*o - 5 = 5*j - o. Is s at least j?
True
Let i = -6059/17 - -357. Let b = 0.83 + -1.1. Let j = b + 0.17. Is i not equal to j?
True
Suppose 6*d = 3*d + 5*h + 263, -409 = -4*d - 5*h. Let n = d + -119. Which is greater: -22 or n?
-22
Let y = -1829 - -1827.8664. Let c = -0.0036 - y. Are c and 0 unequal?
True
Suppose 8*n = -7 + 15. Let z be -64 - 24 - (0 - -1)*-2. Let h = z - -1117/13. Which is greater: n or h?
n
Suppose -5*l - 224 = -22*m + 20*m, 343 = 3*m - 4*l. Let u = -218 - -334. Which is greater: u or m?
m
Let z = -0.0495 + 6.0495. Let s = 5637463/81 + -69597. Let v = s + 2/81. Is v less than z?
True
Suppose 170*d = 173*d + 3756. Which is bigger: -1251 or d?
-1251
Let t = 74 + -13. Let g(x) = 61*x**2 + 26*x - 25. Let r be g(1). Which is smaller: r or t?
t
Suppose r + 37 = j, 82 = 4*j - 2*j - 4*r. Suppose -p + o + 0 - 9 = 0, -3*p - j = 3*o. Let t be -1 + 2 - (15 + p). Which is greater: -3 or t?
-3
Let i be (-10)/4*16/10. Suppose -9*c - 660 = 11*c. Let u be 176/c + 10/4. Is u >= i?
True
Let j be (1/(-12))/((-2)/(-9)). Let i be -5 + (-807)/(-4 - -7). Let q = i + 274. Which is smaller: j or q?
j
Let u(s) = 1113*s + 1. Let x be u(0). Which is smaller: 2/537 or x?
2/537
Let h(g) = 7*g - 14. Let s be h(2). Suppose -5*q + 22 + 48 = s. Does 59/4 = q?
False
Let d be (4/(-6))/(2026510/2919058095). Let f = -1033100/1061 + d. Let z = 1934 + f. Which is bigger: -1 or z?
z
Let l = -286 - -105. Let i = l + 181.1. Let v = 0.05 - -0.25. Which is smaller: v or i?
i
Suppose f = -0*f - 6. Let d be (-28)/(-12)*f/(-34). Let g be 4/1 + -6 + 1. Are d and g equal?
False
Let b be ((-2)/(-3) + 6/(-6))*(-8 + 11). Which is greater: 2/4733 or b?
2/4733
Suppose 0 = -48*l + 1482 - 108 + 2274. Which is greater: 61 or l?
l
Let w = 4169 + -4169. Is w not equal to 2086?
True
Let h = 1093/137313 + 3/803. Let o be 3/9*(-198)/66. Are o and h equal?
False
Let q be 8/14*(-7)/(-2). Suppose -5*v + 2*v = 0, q*v = j - 5. Let o be ((4 + 0)*-1)/(-10 + 8). Is j greater than o?
True
Suppose 17*b + 9 + 25 = 0. Let r be b/115*((-192)/(-54) - 3). Which is smaller: 1 or r?
r
Let o = -1.05 + -0.1. Let j = 1.1 - 2.25. Let m = j - o. Which is greater: m or 10?
10
Let o = -6 + 8. Let d = -773639 - -773473. Does o = d?
False
Let m = -0.99 - -1. Let s = m - -3.99. Let w = -0.21013 - -4.21013. Are w and s equal?
True
Suppose 218 = 9*f - 1429. Let z = 100 - f. Do -84 and z have different values?
True
Suppose 12 = 3*i - 2*i. Let o(k) = -k**2 + 16*k - 14. Let x be o(14). Let p = i - x. Which is greater: p or -0.15?
-0.15
Let w = 27.565 + -1.565. Which is smaller: w or -1/90?
-1/90
Let g be (2646/140)/21 + 2/20. Let i be (-108)/176 - 4/(-16). Which is smaller: g or i?
i
Suppose -5*m = 4*j + 97, -3*m - 2*j - 13 - 44 = 0. Let d(r) = -r**3 + 2*r**2 + 6*r + 7. Let t be d(-2). Suppose 5*w + t = -2*f, -6*f + 10*f - 8 = 0. Is m > w?
False
Let b = -60.8 - -10.8. Let h = 49.8 + b. Is h less than 74/7?
True
Suppose -8 + 30 = 2*r. Let b(g) = 15*g + 14. Let x(o) = 5*o + 5. Let p(h) = -2*b(h) + 7*x(h). Let t be p(r). Are 61 and t nonequal?
True
Suppose -5*n - 3*j = 0, -30*j = -4*n - 26*j + 32. Suppose -174 + 15 = n*b. Is b greater than 0.1?
False
Suppose 80 = 9*o - 856. Suppose -99 + o = -5*f. Which is greater: -2/395 or f?
-2/395
Let d(j) = -258*j - 1298. Let w be d(-5). Is w < -124/15?
False
Let c = -1967/2 - -5289265/5378. Which is smaller: 1 or c?
c
Let o = 20 + -1. Let w be ((-40)/(-6))/(23/69). Which is smaller: o or w?
o
Let r(j) = -2*j + 11. Let d be r(5). Let v be d/(1*((2 - 0) + -1)). Let x = -2/29 + 37/116. Which is greater: v or x?
v
Let y = -153 - -155. Suppose -4 = z + 3*b - y*b, 2*b = -4*z - 6. Let h be 1/(-3) + (-106)/(-282). Which is greater: h or z?
z
Let v = -22995 + 22976. Which is greater: v or -930/49?
-930/49
Let t be (-2)/9 + 0 + 7426/(-846). Let n be ((-24)/20)/(1/5). Let m be n*(-3 - (66/t - 3)). Is -44 smaller than m?
False
Let b = -333 + 167. Let w = b - -184. Which is smaller: w or 130/7?
w
Suppose -5*m - 14 = -4*m - 2*h, -3*m = -5*h + 37. Let w(u) = -1260*u + 56702. Let c be w(45). Which is smaller: c or m?
m
Let j = 53 + 78. Let f = j - 196. Is -65 < f?
False
Let c = 114 - 102. Suppose -1122 = -c*w + 1410. Which is greater: 212 or w?
212
Let c(q) = 19*q + 139. Let n be c(-7). Let f be ((-4)/n)/(-2*4/(-80)). Is -8 at least as big as f?
False
Let s = -302299/616 - -3438/7. Which is greater: 1 or s?
1
Let m be (1/2)/((-19)/10 + 2). Let h be m/(-5) - (-7 - -5). Are h and -1/27 non-equal?
True
Let f = -6 - -3. Let j(a) = a**2 - 111. Let q be j(11). Is f <= q?
True
Let z = 474 + -621. Let w = -462 - z. Which is smaller: 1 or w?
w
Suppose -4 = -j - x - 9, 199*x - 201*x + 28 = 0. Let k(l) = -l**3 + 3*l - 3. Let y be k(2). Is y greater than j?
True
Let i be -1220*1*3/(-4). Let l = i + -770. Which is smaller: l or 143?
143
Let t = 0.108 - 0.001. Let o = t - 5.407. Let f = -6.3 - o. Is f at most as big as -11?
False
Let x be ((-1810)/(-120) + -15)*0. Is 2/5117 at least x?
True
Let o = -1.794 + 1.784. Is 6/41 greater than or equal to o?
True
Let s = -100 + 97. Let u = 2.96 - 0.06. Let t = u + s. Which is smaller: -0.12 or t?
-0.12
Suppose -2*q = 6*q. Let l be 3 + -2*-1*(q - 2). Are 0.2 and l nonequal?
True
Suppose 3*o - 74 = o. Suppose -208 = -19*a + 96. Let c = a - o. Which is bigger: 1 or c?
1
Let w = 234667/2 + -111284. Which is smaller: w or 6050?
w
Suppose 3*o + 8 = o. Let l = 124254.8 - 124255. Which is smaller: l or o?
o
Let l = 440566/31 - 14213. Is 0 less than l?
False
Suppose 5*j = -4*k + 32, 0*j + j = k - 17. Suppose -k*h = -12*h. Let r be h*4/(24/(-3)) + 16. Which is smaller: 18 or r?
r
Let x = -148 + 151. Suppose 0 = x*j + 691 - 652. Which is smaller: -14 or j?
-14
Suppose 0 = -0*d + 19*d - 8265. Suppose 4*a = -k + 1749, -3*k + 5*k = -4*a + 1754. Which is smaller: a or d?
d
Let q(b) = -8*b**3 + 6*b + 5. Let x be q(-1). Let o be (-4)/(-4 + 3) - 12. Let r be 6/o - 43/(-4). Is r bigger than x?
True
Suppose -24431 - 37369 = -25*b. Which is bigger: 2471 or b?
b
Let v be ((-150)/105)/(2 - 2718/1358). Is 969 equal to v?
False
Suppose 134 = 8*b + 174. Suppose s - 320 = 17*s. Is b at least s?
True
Let h(u) = 37*u + 440. Let w be h(16). Which is bigger: w or -1?
w
Suppose 0 = 4*c + 3*t - 6, 4*c - t - t = 16. Suppose -p - h = 31, -c*p = p - 3*h + 152. Let r = -67/2 - p. Are r and -0.9 nonequal?
True
Suppose -25*r - 3*f + 391 = -20*r, 3*f - 21 = 0. Is 77 greater than r?
True
Let q be 61165/20 + (-1)/4. Suppose 3*t + q = n - 9540, 0 = 5*t + 3*n + 20992. Let h be (-2)/(-7) + t/(-665). Which is smaller: h or 8?
h
Let m = -37 + 97. Suppose 0*w = w + m. Let l = 54 + w. Is l greater than -2?
False
Let u = -21 + 13. Let q = -36829 + 36816. Which is smaller: u or q?
q
Let j(s) = -3*s**2 + 28*s - 55. Let z be j(2). Let b be ((-35)/8)/5*-2. Let d = 3/2 - b. Which is bigger: d or z?
d
Let b be 0 - (23287/(-924) - 1/(-4)). Let d = b - 212/7. Is d less than -6?
False
Let y