 smaller: -7/6 or b?
-7/6
Let d(q) = q**2 - 23*q - 22. Let c be d(24). Suppose 5*w + 4*l + 11 = 0, -3*l - 14 = w - 3*w. Suppose 0*z - z = -w, 2*j - c*z = 0. Which is bigger: 2/113 or j?
j
Let x = 1290/7 + -184. Which is smaller: 17 or x?
x
Suppose -3 - 2 = -2*m + 3*c, -3*c + 23 = 5*m. Let y be (-1)/(3/12) + m. Let g be (-8 + 4)/(-8)*y. Is -3/11 greater than or equal to g?
False
Let y = -10 + 19. Let q = 42 + -30. Let a = y - q. Which is greater: 4 or a?
4
Let z = -487/2 - -241. Is z > 42?
False
Let i(t) = -3*t - 8*t + 3*t**2 - 2 + 3 - t. Let f be i(4). Is f less than -2/63?
False
Let n = -0.22 - -0.82. Let f(r) = -r**3 + 10*r**2 + 10*r + 15. Let w be f(11). Let y be ((-4)/9)/(w/(-6)). Which is bigger: n or y?
y
Let x = 6 + -6. Suppose 4*u - 4 - 8 = x. Suppose 0*v - v = u*o, 0 = 3*v. Is o less than -1/14?
False
Let u = 2.066 - 1.966. Which is smaller: u or 0.0022?
0.0022
Let r = -4 - -9. Let q be 5/r + (1 - 1). Let o be ((-4)/q - -3)*10. Which is smaller: o or -9?
o
Let s(c) = 2*c**3 + 3*c**2 + 4*c + 2. Let j be s(-2). Let u be j/8*(-8)/100. Do u and 0 have different values?
True
Let x be (279/18 + -16)/(2/(-164)). Is 41 greater than or equal to x?
True
Let t be 2/(-6) + 20/(-48). Let c be (16/(-20))/(4/(-10)). Let w = c - 4. Which is smaller: t or w?
w
Suppose -17*d = -12*d - 10. Suppose -28 = 5*r + d*r. Let h(i) = -i**3 - i - 4. Let k be h(0). Is r less than k?
False
Let t = -10562/15939 + 41/63. Which is smaller: 0 or t?
t
Let j be 50/16*(-274)/685. Are j and -90 unequal?
True
Let r(g) = 2*g**3 - 58*g**2 - 2*g + 58. Let j be r(29). Let z = 890/3 - 11552/39. Is j < z?
True
Let u be 21/(-34) - 20/(-170). Which is greater: -300 or u?
u
Let k be 7/(7/(-2)) - -27. Let a = -45 + k. Let c be ((-21)/35)/(126/a). Is 0 greater than c?
False
Let z(f) = 14*f**2 + 5*f + 46. Let t be z(7). Are t and 767 non-equal?
False
Let k = 1 - 2. Let t be (-40)/312*108/30. Which is bigger: k or t?
t
Let s = -8442/5 - -1712. Which is greater: s or 23?
s
Suppose -j + 10 = -t - 9, 3*j - 58 = 2*t. Let w be (-23 - 0) + j/(-8). Which is smaller: -26 or w?
-26
Let s = 269/6 - 89/2. Which is bigger: -433 or s?
s
Suppose 2*v = -g - 88 - 91, 5*v = 4*g - 480. Are 0.1 and v nonequal?
True
Let x(v) = 7*v + 1. Let b be x(1). Let m be 2/b*(0 + 4). Let g = 66 + -64. Which is smaller: g or m?
m
Let i(u) = u**3 - 2*u**2 + u - 7. Let q be i(3). Let f = q - 1. Is 4 <= f?
True
Let a be (3864/(-32))/7 + 4/(-4). Is 2/5 less than or equal to a?
False
Let a = -43 + 61. Suppose -b = 4*f + 7, b - 2*f + f - a = 0. Let t(o) = o + 5. Let h be t(6). Is h smaller than b?
True
Suppose -5*z = -25 + 5. Let w be -1 + -4*(-3)/z. Let h = w + 1. Which is bigger: h or 4?
4
Suppose 371 = 12*l - 1669. Are l and 339/2 unequal?
True
Let a(h) = -2*h**2 + 20*h - 24. Let x be a(7). Suppose -23*f = -x*f - 425. Is f at least as big as 86?
False
Suppose -3 = 20*q + 197. Does q = -8?
False
Let s = -45/7 + 571/91. Which is smaller: s or 12?
s
Let p = -162841/6 - -27226. Let j = p - 86. Is 0 >= j?
True
Let a(q) = 62*q - 416. Let g be a(7). Let m be ((-30)/2)/(6/(-8)). Which is greater: m or g?
m
Let n = -1200 - -1200. Let f be (-6)/8*2/(-8). Which is bigger: n or f?
f
Let i = -787 - -709. Does -73 = i?
False
Let j(b) be the first derivative of -b**3/3 - b**2 + 2*b - 1. Let h be j(3). Let n be 4*1*((-60)/(-15) - 7). Is h greater than or equal to n?
False
Let x(j) = j**2 - 2*j - 15. Let u be x(5). Suppose 14*g - 21*g = u. Which is smaller: 2/41 or g?
g
Let p = 24 + -20. Suppose 3*c - 69 = p*h, c + h + h - 23 = 0. Which is smaller: c or 22?
22
Let p = -19 - -22. Let m = p - 3. Which is smaller: -7/10 or m?
-7/10
Let p = -2 - -2. Let j = -1693/3394 - 2/1697. Which is smaller: j or p?
j
Let i = 0.4 - 0.433. Let v = i + -0.267. Which is bigger: -0.1 or v?
-0.1
Let f(y) = 9*y - 207. Let p be f(23). Is p bigger than -4/607?
True
Let a be 7/(-4 + -3)*10/(-35). Is 0 < a?
True
Suppose -5 = -5*p - b, 0 = 9*b - 5*b - 20. Which is smaller: p or 91?
p
Let j be (-4)/10 + 44/85. Let g = 80.9 + -80.9. Is j < g?
False
Let q = 24 - 17. Let h = 7.08 - q. Let g = -197 - -1381/7. Which is smaller: h or g?
h
Suppose 3*p = -p + 16. Suppose 20 = -p*a, -10 = 3*s + 2*a + 3. Let y = -101/42 - -17/6. Is y less than s?
False
Suppose 0 = -g + 3*d - 120, -4*d = 2*g + 15 + 205. Is g <= -112?
True
Let w be (-1)/((-1 - -2)/(-2)). Suppose -w*a + 9 = i, -5*i - 19 - 6 = -4*a. Do 9 and i have the same value?
False
Let c = 24 + -11. Let i = c + -23. Let u be 15/i - (-7)/6. Is -8/5 < u?
True
Suppose -3*h + 8*h - 198 = -4*a, -4*a - 222 = -5*h. Let k = h + -44. Let g(u) = -u**2 - u - 2. Let j be g(-2). Which is smaller: k or j?
j
Let h be (-3)/2*2/(-11). Suppose -15 = 51*y - 36*y. Which is bigger: h or y?
h
Let t be (-81)/(-108)*2/6. Is -10 > t?
False
Let c = -72 + 59. Suppose 3*f + 37 = n - 0*n, -4*n = -5*f - 57. Does f = c?
True
Let b be ((-3)/9)/((-3)/18). Let u be (1713/b)/((-230)/(-40)). Let w = u - 149. Is 1 less than or equal to w?
False
Let m = 179/17 + -6365/238. Let d = 16 + m. Which is smaller: 1 or d?
d
Let f = 3519270527/71456 - 394007/8. Let g = f - -10834513/71456. Let v = -152 + g. Which is smaller: -1 or v?
-1
Let p = 64 + -30. Let x(q) = q + 2. Let o be x(-2). Does p = o?
False
Let z be (-6)/(-4)*(-8)/6. Let v = -28.7 + -1.3. Let g = v - -30. Which is smaller: z or g?
z
Suppose h - 5*h = -4. Let k = -3470 + 3467.2. Is h greater than k?
True
Let c = -625/336 + 7/48. Which is bigger: c or -0.025?
-0.025
Let n = 73 - 63. Let w = 51 + -42. Is w at most as big as n?
True
Let m = -121 + 122. Which is smaller: m or 56?
m
Let a = -12933/4 + 3213. Which is smaller: -21 or a?
-21
Let r = 432/5 + -86. Let b be (12/(-9))/((-2)/(-12)). Let j = 2 + b. Is r smaller than j?
False
Let t(n) = n**2 + 10*n + 23. Let a be t(-6). Let k be (-1*(-6)/(-100))/3. Is a smaller than k?
True
Let s = 61 - 67.6. Let d = s + 7.4. Which is smaller: d or 1?
d
Suppose r = 4*r + 6. Suppose 0 = 2*v + 5*v - 42. Let g be (-2)/(-4) - 12/v. Which is bigger: g or r?
g
Let h(p) = 21*p + 105. Let w be h(-7). Which is smaller: -43 or w?
-43
Let y = 442016/9445 + 2/1889. Let k = 47 - y. Which is smaller: 1/3 or k?
k
Let s = -0.0971 + 0.1071. Is s greater than or equal to 2?
False
Suppose 5*k + 1388 = -3*v, 0 = -7*k + 4*k - 2*v - 832. Let l be (5661/243)/((-2)/(-24)). Let g = l + k. Is g <= -1?
False
Suppose -n + 4 = 0, b + 28*n - 23*n - 64 = 0. Which is smaller: b or 226/5?
b
Let t = -11.98 - -12. Let k = t + 2.98. Let c = -7 + k. Which is smaller: -0.1 or c?
c
Let o(c) be the first derivative of c**4/4 - 7*c**3/3 + c**2 - 6*c - 5. Let l be o(7). Are 11 and l equal?
False
Let s(z) = -3*z**2 + 28*z + 40. Let p be s(11). Let c(o) = o + 1. Let f be c(-11). Is p at least f?
False
Suppose g - 4 + 12 = 0. Let z be 14/g - (-2)/(-8). Let x(t) = 11*t - 69. Let w be x(6). Do w and z have different values?
True
Suppose 3 = 6*l - 9*l. Let j(w) = -16*w**3 - 2*w**2 - w. Let o be j(l). Which is greater: o or 14?
o
Suppose 0 = -39*d - 12881 - 3226. Which is smaller: -414 or d?
-414
Let l = -110 + 115. Suppose -413 = l*k + 22. Is k >= -87?
True
Let u = -29 + 14. Let k be 6 + 1 + -4 - 14/4. Which is smaller: u or k?
u
Let d = -33.8 - -34. Is -53 < d?
True
Let o = -4.5 + 5.5. Let z = 7.89 - 0.59. Let h = z + -7. Which is smaller: o or h?
h
Suppose 7*i - 13 - 8 = 0. Suppose -i*j = -3*q - 18, 0*j - 12 = -4*j + q. Which is greater: j or -7/4?
j
Suppose 4 = -11*p + 9*p. Let r(o) = 3*o + 5. Let a be r(p). Which is smaller: -8/11 or a?
a
Let r(x) = -5*x + 69. Let w be r(14). Let a be ((-8)/(-24))/((-5)/21). Which is greater: w or a?
w
Suppose -33*s + 43*s = -40. Which is smaller: s or 3?
s
Suppose -18*o - 4 - 986 = 0. Is -55 <= o?
True
Let d(s) = -s**3 - 16*s**2 - 15*s + 8. Let r(l) = l - 20. Let u be r(5). Let q be d(u). Which is greater: q or 7?
q
Let g = -110 - -121. Let c be 1 + -2 - (-10)/14. Which is bigger: g or c?
g
Suppose 2*p + 5 - 25 = 3*c, -5*c + 2*p = 28. Let g = 5398 - 5407. Are g and c equal?
False
Let n = 3.9295 + 0.0705. Let x be 2/(-5)*3/(-2). Which is smaller: n or x?
x
Suppose -8*s + 5*s = 0. Let d be 5/(-90)*-4 - 8/18. Do s and d have different values?
True
Let x = -108664/5 - -21872. Let t = 140 - x. Which is bigger: t or -4?
t
Let s = -616 - -615. Is s != 1/33?
True
Let y be (6/5)/((-178