+ 2*j. Which is bigger: j or -5/32?
j
Let t = -11.11 - -0.11. Let o = t - -5. Let i = o + 5.4. Which is greater: 1 or i?
1
Let a = -0.289 - 117.711. Let k = 104 + a. Which is bigger: k or -2?
-2
Let c = 9931 + -9928.056. Are 2 and c non-equal?
True
Suppose 85*f + 35748 = 12*f - 3526. Is f less than -535?
True
Let k(x) = -3*x**2 + 246*x - 417. Let l be k(81). Which is greater: -1908/11 or l?
-1908/11
Let m = 6212.052 + -6212. Let o = 0.82 - 1.002. Let p = m + o. Which is greater: -1/3 or p?
p
Suppose -267*j - 42360 = -255*j. Is -3529 bigger than j?
True
Let n be 1/(-2)*1 + (-40)/16. Let s be -2 - 399/(-6) - n. Let d = s - 68. Which is smaller: -1 or d?
-1
Let i = 46 - 21. Let g = -855/151 + 40009/1359. Which is bigger: i or g?
i
Suppose 1664 = 2481*h - 2494*h. Is 0.8 < h?
False
Let g = 224 + -225. Suppose 0 = -0*t - t - i + 3, -5*i = 4*t - 9. Let h = -2 - t. Is g at most as big as h?
False
Let f = 2/43037 + -4734104/731629. Which is greater: f or 0.2?
0.2
Let k = -2272 + 2400. Let b(f) = 63*f + 2. Let p be b(2). Is k greater than or equal to p?
True
Suppose -f = -0*f - 210. Suppose f = -j - 2*j. Suppose 4*x + 174 = 2*o - 114, -2*x + 4*o - 150 = 0. Which is smaller: x or j?
x
Let b be (138/(-9) - -10)*3. Suppose i - m = -4*i - 97, -i + 5*m - 29 = 0. Is i greater than b?
False
Let y(c) be the third derivative of c**4/24 + 4*c**3/3 - 36*c**2. Let p be y(-7). Which is greater: p or -1/32?
p
Let u = -310 + 405.06. Let p = -95 + u. Let m = -7/9 - -2/3. Which is smaller: m or p?
m
Let n = -3209553/5360 + 2994/5. Is -1 less than or equal to n?
True
Let d(o) = -o**2 - 5*o. Let v be d(-5). Suppose v = -2*b - 4*a + 8*a - 20, 0 = b - a + 11. Let z be ((24/(-4))/b)/(1/(-2)). Which is bigger: 3/20 or z?
3/20
Let w = 54 - 145. Let z = w + 164. Let j = z - 72.8. Is 5/4 not equal to j?
True
Let m = -0.133 - 0.867. Let k = 423 - 2958/7. Which is greater: m or k?
k
Let w = 10720 - 10721. Is w smaller than -2/34667?
True
Let g = -1996.24 + 165.24. Are g and 0 equal?
False
Let a be -5 - ((-74)/11 + -5). Let t = a - 155/22. Which is smaller: t or 0?
t
Let n be (-128)/96*30/52. Let p(y) = y - 12. Let j be (-126)/(-10) + 21/(-35). Let s be p(j). Which is smaller: n or s?
n
Let t = -30905 + 30905.19. Which is smaller: t or -8/35?
-8/35
Let z = -443 - -443.191. Let g = 193 + -192.929. Let s = g - z. Is s at most 1?
True
Let g(o) = 18*o + 734. Let k be g(-65). Is -10 at most k?
False
Let q = -74.545 - 10.455. Is 6/37 at least q?
True
Let d be (-87)/(-3) + (-1 + 4)*-1. Let l be (-21)/(-8)*d/39. Is 0.07 at least as big as l?
False
Suppose 4*h = -5*r + 3*h + 320, 0 = h - 5. Let t = r - 64. Let a be (-13)/18 + (-22)/(-33). Which is greater: a or t?
a
Suppose -f + 4*v + 47 = 0, 18 = -f + 5*v + 68. Suppose 5*o = 8*o - 69. Suppose c - o = 11. Which is smaller: c or f?
c
Let n = -7.605 - -7.385. Which is bigger: n or -34/7?
n
Let d = -385 + 414. Let m be 232/d - 14346/1793. Which is bigger: m or 0?
0
Suppose -41*b - 6586 = 14529. Let k = b - -22143/43. Is -15 at most as big as k?
True
Let h be 1/(-1)*(-80214)/(-145). Is -553 smaller than h?
False
Let z = -5.21 + 0.91. Let t = 3.3 + z. Let u be (27/6)/(6/(-8)). Which is smaller: u or t?
u
Suppose -19*j - 28448 = 37*j + 6776. Which is bigger: -625 or j?
-625
Let z = 15 - 15. Let h = 210445/8 - 26306. Which is smaller: h or z?
h
Let l be 63/(-42) + 634/(-4). Let q = -167 - l. Is q bigger than 8/3?
False
Let w = -63.853 + 8.853. Which is bigger: w or 47?
47
Let i = -7712103/779 + 9900. Let g(q) = -6*q**2 + 10*q + 3. Let r be g(2). Do r and i have the same value?
False
Let n = 0.4 - 0.3. Let d = 1017.16 - 22.16. Let h = 1028 - d. Which is smaller: h or n?
n
Let v be -1*14*63/(-42). Suppose v*n = 26*n - 50. Suppose 3*o + 7 = -5, -4*o + n = -b. Are b and -26 equal?
True
Let p = -59 - -25. Let g = -31.6 - 3.4. Let i = g - p. Which is smaller: -16 or i?
-16
Suppose -48*q + 2*b - 15 = -47*q, -3*q = 5*b + 56. Let f be -1*((-3)/6 - 4/(-16)). Which is smaller: f or q?
q
Let b = 0.14 - 0.14. Suppose -5*l - 4*f = -60, -55*l = -52*l + 5*f - 36. Does b = l?
False
Let o = 40712 - 40527. Is o at least as big as 172?
True
Let b = 16440 + -16421. Is b less than or equal to -25?
False
Let y = -0.1 + 0.1. Let c = 146004 + -146003.1. Is y less than c?
True
Let q be 20/(-110) + (-20)/11 + 2. Suppose -4*n + q*p - 44 = -3*p, 0 = 4*n - 2*p + 44. Are n and -20 non-equal?
True
Let t be (-1697)/(-4) + (-2)/8. Let n = -9746/23 + t. Let f be (134 + -150)*1/(-4)*2 - 7. Which is greater: n or f?
f
Let o = 1 - -1. Let k be 5/89*o/5. Let d be ((-46)/736)/((-1)/(-16)). Which is smaller: k or d?
d
Let j = 38560 - 38562.63. Is -0.06 less than or equal to j?
False
Let d = 15.1 + -18.1. Which is bigger: -0.0122 or d?
-0.0122
Let b = 902.5 - 1134. Let q = b - -232. Is -11 less than or equal to q?
True
Let o(v) = -4*v. Let j be o(-2). Suppose -5 = -5*n - 4*s, -2*s + j - 3 = 5*n. Suppose 5 = 5*h, -b - 24*h + 20*h - 12 = 0. Which is smaller: n or b?
b
Let l = 8332 - 8331. Let s = 185 - 105. Let u be s/16 + -3 + l. Which is bigger: u or 5?
5
Let m = -18334466/381 - -48122. Which is smaller: -1 or m?
-1
Suppose 26 = -69*b + 5132. Is b greater than 63?
True
Let v = -148 + 147.666. Let z = v + -1.666. Are z and -39 unequal?
True
Let j = 307 - -49. Let f(z) = -579*z + 62888. Let y be f(108). Does y = j?
True
Let g(t) = -t**3 + 24*t**2 - 119*t + 4. Let c be g(17). Which is greater: c or -2/97?
c
Let d(w) = -45*w**3 - 12*w**2 + w - 2. Let j be d(1). Which is greater: j or -49?
-49
Suppose 4*g + 4*c - 2 - 10 = 0, -15 = -g - 4*c. Let k = 8757094 + -56702183963/6475. Let s = k - 1/175. Which is smaller: s or g?
g
Let v = -719 - -461. Let q be -2*2/12*771. Is v greater than q?
False
Let l(z) = z + 7. Let u be l(-5). Let a = 128 + -244. Let y = a + 233/2. Is u less than or equal to y?
False
Suppose -4*r + 4*j = 176, 5*r + 5*j + 0*j = -200. Let o be (51*21/14)/((-6)/(-16)). Let b = o + -246. Is b at most r?
True
Let v = 38 + -35. Suppose v*o - 22 = 2*t, 11 = -o + 3*t - 6*t. Suppose -r = 3*h - h + 71, -5*h = o*r + 182. Is -69/2 at most h?
True
Let t = 4342 - 4341.9. Which is smaller: t or 46/7?
t
Let t be (3 - 3)/(-2 - 0). Let a = -394/139 + 1964/695. Let m = a - -2056/77145. Which is greater: t or m?
m
Suppose l - 5*u + 143 = 1916, -2*u = -2*l + 3514. Which is bigger: 1750 or l?
l
Suppose 46*l = 16*l - 660. Is -45 <= l?
True
Let b(m) = 91 - 97 - 11*m**3 - m**2 + 4*m - 2*m**2 - 4*m. Let w be b(3). Which is smaller: w or -328?
w
Suppose -17 = -3*b + 13. Let a(k) = 4*k**3 - 4*k**2 - 8*k + 4. Let g be a(2). Let u be g - (3 + (b - -4)). Which is greater: -14 or u?
u
Let y = 0.2537 - -1.9963. Which is bigger: 0.03 or y?
y
Let i = 36811/4 + -9203. Are 683 and i non-equal?
True
Suppose 3*g = g - 3*q - 238, q = 3*g + 379. Let y = g + 88. Which is bigger: y or -36?
-36
Suppose 4*h - 3*h + 12*h = 3*h. Are -18/623 and h nonequal?
True
Let m be 11/22*2*(4 + 1). Suppose 6*d + 194 = m*d. Which is smaller: -193 or d?
d
Suppose -222*b - 21428 = -226*b + 5*s, 4*s = -b + 5357. Which is smaller: 5358 or b?
b
Suppose 0*j = 3*j - 78. Let f = 1004 - 974. Is f smaller than j?
False
Let z(n) = n**2 - 441*n + 6724. Let u be z(16). Let s be 2*(-2 + -34) - 0. Is s less than or equal to u?
False
Let z be (-10 - 605)*4/6. Which is smaller: -411 or z?
-411
Let i be (-1)/(1*-1) + -1. Let u(s) = s**3 + s**2 + 1. Let w be u(-1). Let z be ((-154)/56)/(-2*w). Is z < i?
False
Let g be 7*(-5)/(100/(-130)) - 2/4. Let i be (-2)/2 - (-221)/(-5). Let t = i + g. Which is greater: t or -6?
t
Suppose -18*y + 14*y - u - 224 = 0, -u + 118 = -2*y. Let o = -57 - y. Let f be 2*((-2)/(-114))/1. Which is bigger: f or o?
f
Let d(u) = -u**2 - 4. Let q be d(-6). Let m be 56/10 - (-12)/q*2. Suppose -m*j - 2*v = -j - 36, 3*v = 0. Which is greater: 8 or j?
j
Let b = 2/26779 + -1285450/776591. Which is smaller: b or -3?
-3
Suppose -7*n - 28*n = -46 + 11. Which is greater: n or 20/231?
n
Let a be 3/(-4) + 63/(-12). Let w be 9 + a + (-2514)/(-33). Let i = -80 + w. Which is smaller: -2 or i?
-2
Let s be 554/(-250) - (2 + 7 + -11). Let l be (-2)/(-4) + (-6758)/24500. Let d = s + l. Which is greater: d or 0?
d
Let u = 9180 + -578338/63. Is u >= 240?
False
Suppose 9*f + 106 = 250. Suppose 6 = -10*o + f. Is 21/17 < o?
False
Let l be 1*-4 - (32679