. Is r at least as big as l?
True
Suppose -3*x = 4*s - 61, -27*s + 28*s = 2*x - 15. Is -158 less than or equal to x?
True
Let s = 31967 + -30180. Is 0.2 at most s?
True
Let y be 2/12 - 6853/726. Let b be 21 + -29 - (-10)/(-5). Which is smaller: y or b?
b
Let n be 1/(-4) - 9685/(-52). Let a be ((-1)/(-1))/(378/n + -2). Suppose -4*q = -2*b + 100, -q = -4*b + 169 + a. Is 51 equal to b?
False
Let t = 3134 - 18803/6. Which is greater: t or -0.5?
t
Let k be (-7)/((-133)/17) + (10 - (-940)/(-95)). Which is bigger: k or -4/8121?
k
Let t = 8279 + -8279. Let m = -15.6 - 0.4. Which is smaller: m or t?
m
Let k = -14627 + 14329. Which is bigger: k or -15?
-15
Let d = -539701/15160 - -1/3032. Let y = d - -159/5. Let x(l) = -2*l + 7. Let w be x(5). Is w at most as big as y?
False
Let h = 6 - -1. Suppose -2*n - 6 = -0*n, h = q - 3*n. Let w = -69 - -68. Which is smaller: q or w?
q
Let j(b) = b**2 + 11*b - 6. Let f be j(-8). Let l = f + 35. Suppose -4*o - 22 = -l*o. Is o < 22?
False
Let d be 345/(-92)*(-12)/5. Suppose 2*i - 5 + d = 0. Let u(p) = 2*p**3 + 3*p**2 + p + 5. Let o be u(i). Do o and 1/11 have the same value?
False
Suppose 25 = 5*v, r + r - 44 = -4*v. Let j = r + -15. Let z be ((-1)/3)/(-18 + 605/33). Which is smaller: j or z?
j
Suppose -20*w + 32*w - 240 = 0. Suppose b = -3*b - 3*k + 5, 5*b - 5*k = -w. Which is smaller: 1/104 or b?
b
Let w = 9949824/276757 + -2193/61. Is w at least as big as 1?
False
Suppose -1 = -5*g - 101. Let l(k) = -k**2 + 25*k - 81. Let p be l(4). Suppose 0 = -p*t - 2*m - 49, 4*t - 3*m = -8*m - 56. Is t greater than g?
True
Let z be -6 - 18/(-4)*10/15. Which is smaller: z or 406?
z
Let v = -21 + 35. Let k(r) = -3*r - 45. Let q be k(-16). Suppose -49 = -4*p - q*p. Which is bigger: p or v?
v
Suppose 2*s - 3*s + 40 = -5*b, 0 = -5*s. Suppose 4*l + 24 = 4*g, -8 = -2*g - 2. Which is greater: l or b?
l
Let z = -1422 - -808. Let r = z - -613. Are r and -1/1280 equal?
False
Let h(m) = 0*m**3 + 26*m**2 - 32*m + 116 - m**3 + 6*m**2 - 3*m**2. Let n be h(28). Is n greater than -0.097?
True
Let m = 10828 - 21537. Is -2/7 at most as big as m?
False
Let f = -7/396 + 557/48312. Let j = 269081 - 269081. Is f smaller than j?
True
Suppose 699 = 3*j - 3*i, -9*i = -3*j - 8*i + 701. Let o = j + -243. Which is smaller: -57/7 or o?
o
Let g = -37 - -6. Suppose -3*z - z - 5*p + 53 = 0, 2*z = 2*p + 4. Let a(f) = -18*f + 94. Let x be a(z). Which is smaller: g or x?
x
Let i = 924.4 - 924.6. Which is bigger: 7.52 or i?
7.52
Suppose 294 = -6*z - 42. Let q = z + 36. Let v = 29 + -49. Are q and v unequal?
False
Let v(y) = y**2 + 34*y + 71. Let o be v(-2). Suppose -t = -3 - 1. Suppose -t*k + o = -9. Are 4 and k unequal?
False
Let q = 83/3 + -29. Let g = 12.0004 - 11.8204. Is q bigger than g?
False
Let l(g) = g**2 + 28*g + 77. Let p be l(-25). Let q be (-3)/((-132)/(-7))*p/(-14). Suppose 2*c - 2 = b, -4 = b - 0*c - 4*c. Is b >= q?
False
Let r(z) = 32*z + 156. Let m be r(-5). Let g be (-15)/(120/16) + (-4)/m. Is 5/114 smaller than g?
False
Suppose -3*a - z = -50, -24 = -4*z - 4. Let u(q) = -q**3 + 14*q**2 + 17*q - 29. Let j be u(a). Suppose 4*r + j = 29. Is r <= 6?
False
Let t = -2853 + 3614. Do 764 and t have different values?
True
Let n be -105*(-1 + 6 + -2). Let v = n + 1253/4. Let x(u) = -u**3 - 21*u**2 - 4*u - 85. Let i be x(-21). Is i at least as big as v?
True
Let u(l) = 9*l + 11. Let t be u(-1). Let v be ((-113)/(-5311))/(t/(1 + 1)). Is v bigger than 0?
True
Suppose 2*b + 1 + 3 = 0. Suppose 3*g - 1389 = 2*i, -3*i + 5*g = 2313 - 230. Let r be 4/22 - i/(-198). Which is bigger: b or r?
b
Let g(h) = 30*h + 6. Let z(m) = -28*m - 8. Let w(q) = -2*g(q) - 3*z(q). Let y be w(-3). Is y > -58?
False
Let t = 3.5776 - 516.9576. Let h = t + 522. Let l = 0.62 - h. Which is smaller: l or 2?
l
Let h be (8925/(-34))/((-3)/(-30)). Is h >= -2?
False
Suppose 25*v - 15*v + 1000 = 0. Let d = 119 + v. Which is bigger: d or 20?
20
Let k = 13909/40626 + 118/333. Let a = k - 12/61. Is -226 not equal to a?
True
Suppose -8*k - 1 = -9*k. Let j = -5856 + 310372/53. Do k and j have the same value?
False
Let o = 2 + -34. Let l = o - -34. Suppose 4*t = l*y + 16, 3*y + 2*y = 4*t - 28. Is y less than -4?
False
Let y = 9955.6 - 9959. Which is smaller: -3/244 or y?
y
Let z = -69091.06 + 69091. Suppose 4*p = 8*p + 3*w - 61, -2*p = -5*w - 37. Suppose -2*a + p = -3*t, -4*a - 2 = t - 6. Which is smaller: z or t?
t
Let w = 92 - 89.74. Let i = -2.26 + w. Which is smaller: i or -7?
-7
Let f be ((-4)/(-8)*3)/(3/134). Suppose 0 = -4*x - f + 2107. Which is smaller: x or 511?
x
Suppose -4*z - 7*t + 2*t = 125, -1 = t. Let p = 44 + z. Suppose 0 = -5*k + 9 - p. Does 2 = k?
False
Let v = 78973/15 - 5265. Which is bigger: -3.66 or v?
v
Suppose 4*q + 2*q + 42 = 0. Let p be (-28)/98 + (-23)/q. Suppose 7*v - p*v = 12. Which is bigger: 5 or v?
5
Let r be (14*(-36)/378)/(-5*4/(-60)). Which is smaller: r or -6244?
-6244
Let o = -30 - 56. Let k = -26 + o. Are k and 0.2 non-equal?
True
Let r = -1.24 - -1.172. Let x = 0.041 + r. Let k = 0.017 + x. Which is greater: k or 0.07?
0.07
Let c be (-16)/(-1 - -3)*(-15)/10. Suppose 18*j - 66 = c*j. Which is bigger: j or -3?
j
Let x = 1.1312 - -0.2688. Is -8/3 equal to x?
False
Let i = -161 + 234. Let b = 63 - i. Let u = b + 21. Which is smaller: u or 12?
u
Let a = 246895/7 - 35357. Let g = a - -86. Is g > -36?
True
Let h = -170.84 + 139. Let n = -34 - h. Let p = 0.24 - n. Which is smaller: -0.1 or p?
-0.1
Let n be (-2*2)/(-1*9/891). Let a = 388 - n. Suppose v + 2*v + 21 = 0. Which is smaller: v or a?
a
Let s be (124/(-651))/(12/18). Which is smaller: s or 143?
s
Suppose -3*b + 69 = 5*x - 66, -b - 65 = -2*x. Let a(i) = 12 - 7*i + x - 2*i. Let f be a(4). Which is smaller: 14 or f?
f
Suppose -89*p - 20706 = -2*p. Which is greater: -235 or p?
-235
Let d = -940 + 1579. Let t = -619 + d. Are t and 10 equal?
False
Let z(a) = -2*a - 40. Let i be z(-22). Let g(q) = -14*q**2 - i + 16*q**2 - 3 + 0. Let v be g(3). Is 7 >= v?
False
Suppose -8*z = 7*z - 4*z. Let c be 322/56*4*(-1 - z). Which is smaller: -3/10 or c?
c
Let g be 60/4 - 7 - 510/65. Is -6/29 >= g?
False
Let z = -499/5 - -100. Let m(l) = 4*l - 21. Let a be m(4). Let n be 4/(-1)*a/(-220). Is n equal to z?
False
Let i = -28919.2 + 28919. Which is smaller: 8590 or i?
i
Let v = 45 + -37. Suppose 8*t = 3*t + k - 2, 2*k = -2*t - v. Let g be t/(((-72)/(-10))/(-4)). Which is greater: 1/4 or g?
g
Let r(v) = -v**3 - 53*v**2 + 13 + 29*v**2 + 37*v**2 + 29*v. Let s be r(15). Suppose 5*t = -5*w + 120, 2*t - w = 4*t - 43. Is t >= s?
True
Let r(u) = -u**2 - 3*u + 6. Let t be r(-5). Let k(l) = 7*l**3 - l**2 - 9*l - 7. Suppose 0 = -25*o - 2*o - 27. Let x be k(o). Which is smaller: x or t?
x
Suppose -15*j - 1092 = -5*w - 11*j, -1096 = -5*w + 2*j. Let n be (4/10)/(52/w). Which is smaller: n or 2?
n
Let r be 36/(-234) - (-4)/26. Suppose r = -8*f - 78 - 18. Let h be (-9)/f - 1/(16/(-2)). Which is greater: 2 or h?
2
Suppose 2*t - 102 = -4*t. Let p(v) = v**3 - 19*v**2 - 20*v + 2. Let z be p(20). Suppose 5*o - 4*q + 6*q = -t, 0 = -o + z*q - 1. Which is bigger: o or -5/2?
-5/2
Let w = 8167 + -9887. Which is greater: -1718 or w?
-1718
Let b be -3 - (-1 + 4)*103. Let v = b + 333. Are -0.04 and v equal?
False
Let x be 108/(-180)*(-96 + 1). Let a = 37 - x. Which is smaller: -18 or a?
a
Let j(f) = -8*f**3 + 6*f**2 + 18*f + 61. Let p be j(-4). Suppose -5*n = -r + 751, -4*n + 0*r - p = 3*r. Is n at most as big as -151?
False
Let a be 8809/(-46)*(-304)/(-19). Is -3064 less than a?
False
Let t = 60089/11165 + -156/29. Let a = 761/3465 + t. Which is smaller: a or -0.04?
-0.04
Let l be (-1052 + 1)/(177/(-885)). Is l at least as big as 15763/3?
True
Let s be (0 + -1)/(1/24). Let k be 13/((-3)/((-378)/7)). Suppose 102 + k = -14*o. Is o < s?
False
Suppose 7*i - 115 = 3*i + r, 3*r = 15. Let g = 0.026 + -0.226. Which is smaller: g or i?
g
Suppose -5*f = 5*q + 25, 0*q + 2*q + 22 = -4*f. Suppose 0 = -2*w + 4*j - 2, -w + 2*j + 2 = w. Let n = w + f. Which is smaller: -5/2 or n?
n
Suppose -41*h = -110 - 59 + 46. Let n be 16/(-6)*(-3)/2. Suppose 1 = h*k + n. Is k greater than 1/3?
False
Let h(r) be the third derivative of 0*r + 5/6*r**3 + 0 - 5*r**2 + 1/12*r**4. Let z be h(-4). Is z >= -26/9?
False
Let z(b) = 6*b**2 - 3*b - 1. Let t be z(0). Which is smaller: t or -45/136?