pose 6*x - o*x = -x. Let l = -947/4 - -238. Which is greater: l or x?
l
Let c = 4665.2 - 4665. Is c < 19/37?
True
Let x = 132 - -20. Let j = 153 - x. Which is smaller: -30.2 or j?
-30.2
Suppose -3*n = 2*i + 1189 - 1187, -3*n + 3*i = -3. Which is smaller: -82/183 or n?
-82/183
Let c = -139 - -206. Let y = -67 + c. Which is bigger: -1/17 or y?
y
Suppose 11 + 131 = 2*i. Suppose -i = -5*w + 4. Suppose r = 6*r - w. Which is greater: r or -3?
r
Let v = 27478 + -27657.69. Which is bigger: 0 or v?
0
Let x(z) be the first derivative of -3*z**2 + 16*z - 18. Let s be x(3). Let i be (2 + -3)*0 - s/(-3). Is i greater than or equal to 2/7?
False
Let l be (112 - 104)*(-73)/(-4). Is 119 != l?
True
Let i = -3 - -6. Suppose 2244 = -6*u + 2214. Which is smaller: i or u?
u
Let c(g) = 7*g**2 - g - 99. Let o(l) = -4*l**2 + l + 50. Let n(q) = -3*c(q) - 5*o(q). Let z be n(-8). Are 3/46 and z non-equal?
True
Let p be ((-12)/16)/(-4 - 1435/(-364)). Let t(m) = m**3 - 12*m**2 - 12*m + 18. Let r be t(p). Which is greater: -4 or r?
r
Let m(v) be the second derivative of v**4/12 + 4*v**3/3 + 3*v**2 - 2*v. Let u be m(-7). Let t be (u - -2)*(-14)/98. Which is smaller: t or 0?
t
Suppose 45 - 245 = -8*d. Let j be ((-35)/d)/(-1) - 6/15. Which is smaller: j or 2/109?
2/109
Let a(u) = -2*u**2 + 23*u - 63. Let f be a(6). Suppose 4*v = 5*x - 11 + 2, -x - f*v - 2 = 0. Do x and 1/12 have different values?
True
Let g be -1 - (-4 + 2) - 9. Let o be (g - -2 - -4) + 5. Suppose o = -3*q - 18. Is -7 less than q?
False
Let f be (-10)/3*(300/400 + (-10)/8). Is f at least as big as 12/19?
True
Suppose 0 = -4*i - 4*d + 84, 0*i - 4*i = -d - 79. Let l = -12838 + 12860. Are i and l nonequal?
True
Let v be 2 + -2879 + 44/(-1650)*-25. Which is greater: v or -2877?
v
Let f = -4704.78 - -4705. Suppose 5*n = -0 + 5. Which is greater: f or n?
n
Let p = 3035.16 - 3034. Which is smaller: p or -0.04?
-0.04
Let o(r) = r**3 - 10*r**2 + 11*r - 3. Suppose 15*u + 180 = 9*u. Let k be ((-2)/5 + (-42)/u)*9. Let w be o(k). Which is smaller: w or 16?
w
Let g = 2/261 + 1807/2610. Let x be (2 + -12)/((-64)/2528). Let s be -1*x/35 - -11. Is s at least g?
False
Let r be (6/(-15))/(2/(-10)). Let f be -49*(-731)/(-7826) + 14/2. Which is smaller: f or r?
r
Let k(w) = -7*w + 6 + 4*w - 4*w. Let m(t) = 3*t - 3. Let q(h) = 2*k(h) + 5*m(h). Let u be q(-17). Which is smaller: -21 or u?
-21
Suppose -3*j + b = 497, j = -j - 4*b - 308. Let x = j - -201. Is 38 equal to x?
False
Let i = 16434 - 16455. Are -157/8 and i non-equal?
True
Let l(g) = 9 + 7*g**2 - 8*g + 9*g**2 - g - 15*g**2. Let c be l(7). Let f be c*(2 - 744/370). Is 0 equal to f?
False
Suppose 20*i - 16*i + 36 = -5*s, 5*s = -5*i - 40. Let d be (-1)/s - -3*35/(-84). Is d less than 4/177?
True
Let w = -618/254357 - -51275119561/22637773. Let b = w - 2265. Let n = 4 + -5. Which is greater: n or b?
b
Suppose 80 = 4*y + y + 5*c, 3*c - 12 = 0. Let u(q) = 2*q**2 - 16*q + 33. Let a be u(y). Let p be (a/6)/(3/6). Is p equal to 41?
False
Suppose -r - 38 = 4*o - 6*o, 0 = -4*o - 5*r + 90. Let j be (-2)/6 - 305/(-15). Let n = 1 + j. Is o equal to n?
False
Suppose -89*n = -70*n + 2707 + 5083. Is -419 equal to n?
False
Let j(b) = -b**3 + 7*b**2 + 8*b + 10. Let l be j(8). Let d be (12/(-28))/(l/105). Which is smaller: d or -5?
-5
Let j = 124/141 + -10123/1410. Which is greater: j or -6?
-6
Suppose p - 53 = -5*n, 7*n - 65 = 2*n - 5*p. Let m = -9 + n. Suppose 3*x + m = 5*d, x - 9 = 4*x + 3*d. Which is smaller: x or 1?
x
Let l = -319 - -531. Let r = -261 + l. Which is smaller: r or -47?
r
Let p(x) = -3*x**2 + 53*x + 4532. Let i be p(58). Is -2488 bigger than i?
False
Let q be (5 + -3*(-7 + 9))*1. Which is bigger: -8/3949 or q?
-8/3949
Suppose -g + 2*u = -13 - 27, 4*u = -20. Suppose 0 = -18*l + 8*l + g. Suppose -3*h + 0*h - 2*x + 3 = 0, -3*h + 6 = l*x. Which is smaller: h or 0.1?
h
Let c = -60.74 - -60.525. Do c and 19 have the same value?
False
Let f = -112867 + 112878. Let o be 15/13 + (-2)/2. Which is greater: f or o?
f
Suppose -5*s - 4*k = -58, -4*s + 49 - 11 = -k. Let o be (4 - s)*2/(-4). Is o bigger than 47?
False
Let c be -3 - 1/((-2)/4). Let h be (c/(-22))/((-2)/(-8)). Let t = -54.72 + 54.68. Which is bigger: t or h?
h
Let n = 258 + -247. Suppose n*y - 299 = -2*y. Which is smaller: y or 22?
22
Let m(w) = -w**2 + 3*w + 1. Let v be m(3). Let s be (v + -2)*18/2. Let i(j) = j**3 - j**2 - 3*j - 4. Let u be i(-2). Which is smaller: s or u?
u
Let f = 178 - 180. Suppose 0 = -3*u - 2*u + 25. Suppose 2*d + 5*r = 16, 2 = -u*d - 5*r + 42. Are d and f non-equal?
True
Let q be 12/4 - (-51)/((-408)/(-87280)). Is q at least 10911?
True
Let p(o) = 14*o**2 + 4*o - 1. Let d be p(4). Let b = 239 - d. Are b and -1/63 non-equal?
True
Let k = -1 - -1. Let v be 14/46*(13024/(-518) + 22). Is k smaller than v?
False
Suppose 29 = 2*k - 19. Let r be (-12)/k + 273/2. Let o be 6/10 - (r/18 - 7). Do -0.2 and o have the same value?
False
Suppose 10*q = 5*q + 60. Let f be 6/q - 9/(-6). Suppose -9 = z - 4, f*z = s - 19. Is -0.1 less than s?
True
Let z be (-2640)/3300*(1 - (411 - 0)). Is z less than or equal to 352?
True
Let j = -211/4 - -1461/28. Let f(i) = 2*i**2 + 14*i - 13. Suppose 0 = 3*b + 8 + 16. Let x be f(b). Which is bigger: x or j?
x
Let j = -3395 + 3395. Which is smaller: -1/168 or j?
-1/168
Suppose -7 - 5 = -3*s. Suppose s = -3*r + 1. Let t be (-2)/(r + (2 - -1)). Is -29 not equal to t?
True
Let j = -2/109 - -352/7303. Suppose -5*a = 5*b + 30, 3*b + 14 = b. Is j > a?
False
Let s be (-10)/6 + -93*(-30)/(-54). Let n = s - -2095/39. Let d(w) = w. Let m be d(-1). Do m and n have the same value?
False
Let k be (-13065)/(-585)*12*4. Which is greater: k or 1069?
k
Let u = -1.28 + -14.62. Let d = 71 - 76.9. Let x = d - u. Are x and 2/7 unequal?
True
Let h = -965 - -1145. Is 182 != h?
True
Let j(z) = -z**2 + 8*z - 2. Let t be j(7). Suppose -60 = -t*f + 5*y, -3*f - 5*y = -26 - 18. Let l be f/(5/2*-1). Which is smaller: -5 or l?
l
Let s = 0.201 - 4.291. Suppose -8 + 33 = 25*y. Which is bigger: y or s?
y
Let s = -104.9 - -105. Let p = -0.0519 + -0.8581. Is p > s?
False
Suppose 0 = -9*x + x - 17*x. Is -2/54695 less than x?
True
Let z = 146913.3 + -146914. Let b = -32/11 - -202/77. Are b and z nonequal?
True
Let g = 402 - 331.2. Let t = -0.2 - g. Is t greater than -2?
False
Let m(y) = 140 + 112 - 69 + 20*y + 30. Let i be m(-11). Let j(a) = a**2 - 7*a - 8. Let x be j(7). Is i less than x?
False
Let r = -547.73 - 6.27. Which is bigger: 1/3 or r?
1/3
Let n be (-8)/7 - ((-5346)/(-945) + -6). Let d = -7 + 5. Are d and n nonequal?
True
Let a be ((-1)/2)/(3/6). Let f = 60 - 45. Let d be (315/(-14))/f*(-8)/(-6). Are d and a equal?
False
Let m = 4759/5 + -951. Is -231 not equal to m?
True
Let g(p) = 0 + 24*p + 26*p + 1 - 52*p. Let s be g(1). Is -2/117 bigger than s?
True
Let b = -52367 + 419651/8. Let z = b + -455/8. Which is smaller: z or 33?
z
Let x = 106 + 34. Let s = -39882 + 198706/5. Let z = x + s. Do -1 and z have different values?
True
Let d(y) = -3*y**3 + y**2 - 3*y + 4. Let m be d(3). Let z = m + 60. Let t(c) = -c**3 - 16*c**2 + 22*c + 39. Let u be t(z). Is u equal to -46?
True
Let s be (36/(-15))/6*10/4. Suppose -3*u = -12 - 18. Let m be -1*4 + u/5. Is s at least as big as m?
True
Let l be (54/4)/((-15)/(-200)). Suppose 3*p + 2 = -4. Let u be p/l*4*(-6)/(-8). Which is greater: -2/5 or u?
u
Let a be (6 - -1)/7*(-2 - -7). Let g(n) = 6*n**2 - 22*n - 27. Let v be g(a). Is 25/2 at most v?
True
Let k be 0 + 380 + -3 + 1. Suppose 12*d - 3*d = k. Which is smaller: d or 1?
1
Let r = 29709.774 - 29710. Which is smaller: 1/19 or r?
r
Let x be 64 + -66 + (-3964)/(2 - 0). Let t be x/112*14/(-4). Let h = t - 70. Is h smaller than -8?
False
Let y = -191 - -481. Let w = y + -329. Which is bigger: w or -268/7?
-268/7
Let g = -1119754/71 + 15771. Which is greater: 0 or g?
0
Suppose -525 = 11*b + 157. Let w be 8/b + (0 - -1)*0. Which is greater: w or -1?
w
Let j = -231 - -236. Suppose 4*z = -0*r - 3*r - 5, 1 = -j*r - 3*z. Which is smaller: r or -6?
-6
Let k be 1580/35 + -2 + 6. Let n be (-257 - -258)/(1 + 96/(-98)). Which is greater: n or k?
k
Let c(a) = -5*a**2 + 275*a + 189. Let k be c(55). Are k and 218 non-equal?
True
Let l(s) = s**3 + 31*s**2 + 78*s - 14. Let p = -478 - -450. Let m be l(p). Which is bigger: m or 156?
156
Let 