 -3*b. Let j = b - -61. Let v be (-69)/(-63) + 12/j. Which is greater: -0.1 or v?
v
Let h = -45 - -44.968. Let s = -0.022 - h. Which is bigger: 5 or s?
5
Let t = -12 + -26. Let y = 37.67 + t. Are y and 0 unequal?
True
Let m be 5232/(-12780) + 2/5. Which is bigger: -1 or m?
m
Let i(z) = z**2 - 2*z + 1. Let v be i(2). Suppose -8*r - v = -25. Suppose x + x + 4 = 0. Which is smaller: r or x?
x
Let u = -2481.3 + 2342. Let r = -120.28 - u. Let a = r - 19. Which is smaller: a or 2?
a
Suppose 37*p + 3*g + 2396 = 41*p, -4*g + 1220 = 2*p. Is 602 at least as big as p?
True
Let k = -83.4 - -83. Which is bigger: 6/7 or k?
6/7
Let d be 54/2 - (-12 - -11). Let z be (d/16 - -2) + -4. Let j = -5 + 0. Which is smaller: j or z?
j
Suppose -2*y + 8 = -5*n - 7, 2*n - 4*y - 10 = 0. Let p = -2 - n. Let b = -2423/5 - -487. Which is bigger: p or b?
p
Let v be -7 - ((-51)/(-15) + -3). Is v at most as big as -6?
True
Let z be (1 + (-1)/(-4))*4. Let i = 28 + -17. Suppose i - 1 = 5*m. Which is greater: m or z?
z
Let u = -1479/2 + 722. Is u at most as big as -0.1?
True
Let l = 5 - -28. Let d = 35 - l. Suppose -f - 20 = -2*m, 3*f - d*f + 5*m + 20 = 0. Is -21 at least as big as f?
False
Let y = -1311 - -1290. Is -20 less than or equal to y?
False
Let m be (2/10)/(-6*133/570). Is m >= -20?
True
Let k = -0.08 + -4.92. Let y be (6/4)/((-6)/(-32)). Let l be 0/(-3) + 2/y. Which is smaller: k or l?
k
Let l be (-87 - -87)*1/2. Is l less than 5/249?
True
Suppose 5*n = 195 + 155. Let t be ((-28)/n - 22/(-5)) + -2. Is t less than -12/5?
False
Suppose -2*z = -z - 3. Suppose -102*y + 4 = -101*y. Suppose k - z*k = y. Which is smaller: k or -3?
-3
Let x = 0.056496 - -30.950504. Let a = x - 0.007. Which is smaller: a or 1?
1
Let n = 24 + -23.89. Let w = -1820 + 1823. Which is smaller: w or n?
n
Suppose -g - 3*a = 208, 5*g = a - 63 - 897. Is g greater than or equal to -193?
True
Suppose 3*q - 12 + 9 = 0. Let m be (0 - q)/(8/(-104)). Are 23/2 and m equal?
False
Let t = 0.05 - 0.05. Let q = -0.06 - t. Let d = q + 0.16. Is d less than or equal to -6?
False
Let f = 8 - 6. Let r be (-21 - -23)/(-18 + 0). Let g = r + 7/9. Which is smaller: g or f?
g
Let c(m) be the second derivative of m**5/20 + m**4/3 - 5*m**3/6 + 4*m**2 - 27*m. Let u be c(-5). Which is smaller: 9 or u?
u
Let u = -0.88 - 111.12. Is u at most as big as 1?
True
Let i be 4/7 - (-2 - (-1468)/(-28)). Which is smaller: 54 or i?
54
Let z = 1219 - 460. Is 760 greater than z?
True
Let f = -5 + 0. Suppose 60 = 3*s - 60. Suppose -4*l - 4*l = s. Is l smaller than f?
False
Suppose -6*l = 2*s - 2*l + 26, 3*s + 14 = -l. Let u be 3 + 33/(-9) + s/9. Let d = -5/11 + 98/143. Which is smaller: d or u?
u
Let m = -0.841 - -0.941. Which is greater: -99 or m?
m
Let z be (-30)/20*28/3. Does -53/4 = z?
False
Let c = -4.425 - -0.025. Let p = 102 + -99.6. Let d = p + c. Is d bigger than -4/3?
False
Let p = -0.748 + -0.142. Let w = 0.69 + p. Is w less than 1/7?
True
Let n = 0.036 + 34.764. Let a = -41 + n. Let s = 2.8 - a. Is s not equal to 2?
True
Let h = 1.54 - 1.71. Let a(z) = 6 - 3*z - 4*z + 3*z + 5*z. Let p be a(-5). Do h and p have different values?
True
Let x = -319 + 490. Which is smaller: 1/3 or x?
1/3
Let y(u) = 8*u + 37. Let g be y(7). Which is greater: 92 or g?
g
Let p be ((-11)/110)/(429/12). Is 0 at least p?
True
Let a = -14987.947 - -14981. Let q = -0.053 + a. Do q and 0 have the same value?
False
Let p be (-18 - -18) + 5 + (3 - 3). Which is bigger: p or 6?
6
Let b(k) = -k**2 - 8*k - 3. Let s(o) = -8*o**2 + 2*o - 1. Let u be s(1). Let a be b(u). Suppose 3 - a = z. Is 1/7 bigger than z?
True
Let i be 10/(-20)*98 - 5/1. Is -54 > i?
False
Let u be (3/(-21))/((-24)/21). Suppose 5*p - 7*p = 0. Which is smaller: p or u?
p
Suppose -40*t = -36*t + 968. Is t less than -243?
False
Suppose -48*j - 17*j = 0. Which is smaller: -5/158 or j?
-5/158
Suppose -k - 2*g = g - 11, 0 = -3*k + 2*g. Let f be (10/15)/((-4)/(-18)). Suppose -m + f = 2. Which is smaller: k or m?
m
Let m = 1043 + -760. Which is greater: 281 or m?
m
Let o be 4/(-6)*12/20. Let x = o + 23/20. Is x >= 2?
False
Let s = -278 - -289. Which is greater: 74/7 or s?
s
Let i = 1 + -5. Let w(n) = n + 7. Let g be w(-8). Which is smaller: i or g?
i
Suppose 0 = -0*x - 2*x. Let g(h) = 8*h**2 - 2*h. Let t be g(2). Let y = t + -25. Which is bigger: x or y?
y
Suppose 7*t - 6 = 8*t. Let h be 215/(-45) + t/27. Let m = -5/28 - 121/28. Is m < h?
False
Suppose -5*h - 5*r = -r - 17, 2*h - 5*r = -13. Let a = 90 - 88. Is h at least as big as a?
False
Let b = -27 + 9. Let f = 11 + b. Let y = f - -15. Which is smaller: y or 7?
7
Let i be 3/2*64/3. Suppose -3 = 5*q + i. Is q less than or equal to -6?
True
Let n = -3.2 - -1.4. Let p = n - -2. Let y = p - 0. Which is smaller: -0.09 or y?
-0.09
Let v(s) = 10*s - 21. Let t = 128 + -126. Let j be v(t). Which is smaller: j or 8/19?
j
Let x = 3389/5 - 678. Is 1/184 at least x?
True
Let z = -1186 + 73509/62. Let d = z - 4/31. Which is smaller: 1/6 or d?
d
Suppose 2*q + 70 = 4*q. Let z be (-23)/(-154) + (-10)/q. Is 0 < z?
False
Let o(c) = -c + 2. Suppose 4*t + 3 = -2*y - 7, -2*t = 3*y + 11. Let w be o(y). Suppose g = -0*g + 5*x - w, -5*g + 2*x - 2 = 0. Which is smaller: g or -1/11?
-1/11
Let j = 98 + -296/3. Let b = 22 - 33. Let t = b - -6. Which is smaller: j or t?
t
Let l(a) = -a**3 - 6*a**2 - 8*a - 38. Let h be l(-5). Let t(z) = -13*z + 2. Let i be t(2). Which is smaller: h or i?
i
Suppose -7*b + 22 = 4*b. Suppose -3*d = b*t + 1 - 10, 0 = 5*d + 4*t - 17. Let o = -42 + 128/3. Are o and d non-equal?
True
Suppose 2*y - 466 = -5*f, f - 5*f - 5*y + 366 = 0. Are f and 95 equal?
False
Suppose 0 = -4*i + 4*g - 20, 5*g - 19 = -2*i + 6. Suppose 5*c + 10 = i, 6*c = -3*o + 4*c + 2. Suppose -4*n = -n. Which is bigger: n or o?
o
Suppose x + n = -2, n + 6 = 2*x - x. Suppose -5*w + 2*z = 3, x*w + 4*z = -z - 7. Is w >= -8/7?
True
Suppose -2*w + 5 - 5 = 0. Let u = -70/11 + 232/33. Is w greater than or equal to u?
False
Let q = -112.6 + -93.4. Which is bigger: q or 0.2?
0.2
Suppose -2*d - 319 = 169. Which is bigger: -240 or d?
-240
Let k = 14 - 0. Suppose -10 - k = -6*b. Are 7 and b equal?
False
Let t = -13/1307 - -635293/9149. Let l = t - 68. Which is smaller: 0 or l?
0
Let t = 59 - 42. Suppose 2*j = 17 + t. Let d = 9 - j. Which is smaller: d or -9?
-9
Let c(v) = -3*v - 17. Let d be c(-4). Let z be 12/(-2) - (2 - 4). Is d equal to z?
False
Let p be (0 - 1)*(-12)/588. Let d = -15/7 + 37/14. Which is bigger: d or p?
d
Let r = -17432/7 + 2490. Let v = -13 + 26. Let m be v/20 + (-2)/5. Is r not equal to m?
True
Suppose -279*r + 336 = -287*r. Is -33 >= r?
True
Let x = -9 - -4. Let g be x + -1 + 3 + -2. Let u = g - -10. Which is greater: u or 4?
u
Let f = -151 - -149. Is -0.039 greater than or equal to f?
True
Let p be (2 - (-76)/(-16))/(7/(-224)). Let y(v) = v**2 + 8*v - 17. Let w be y(7). Is w smaller than p?
False
Let t be (-8)/(39/(-12) - -3). Suppose 115 + 319 = 14*p. Is t bigger than p?
True
Let p be (0 - -4) + (-14259)/(-14266)*-4. Which is bigger: -1 or p?
p
Let l = 64 + -188/3. Is 12/17 at least as big as l?
False
Let b be 1195/15*3*(6 + -7). Which is bigger: -240 or b?
b
Let b = 932088/12313 - -26/1759. Let d = b - 21744/287. Let f be ((0 - 1)*-2)/2. Which is smaller: d or f?
d
Let y(r) = r - 20. Let m be y(0). Let n = 4189 - 54713/13. Let t = n - m. Which is bigger: t or 1?
1
Let l be (-132)/30 - 4/(-2). Let y(z) = -52*z - 157. Let u be y(-3). Is l greater than u?
False
Suppose 0*s - 7 = -3*k + 4*s, k + 5*s = 15. Suppose k + 7 = 12*h. Which is greater: h or 2/77?
h
Let z = 12/25 - 983/2100. Are z and 1 nonequal?
True
Suppose u = 4*u. Let q = 27 - 18. Suppose u = -2*i - 4*s - 12, 3*s = 4*i - 0*s - q. Does 2/21 = i?
False
Let t = -5 - -5. Let i be (3/9)/(-7 + -6). Let w = i + 22/13. Is t at least w?
False
Let v = -58 - -65. Suppose q - 2*b - v = -b, -3*b + 27 = 3*q. Is q != 9?
True
Let q = 13232/7 + -1962. Is q != -72?
True
Let i = -53.8 - -5.8. Let s = i + 47.89. Is s <= -0.1?
True
Let w(s) = s**2 - 35*s + 145. Let b be w(30). Which is smaller: b or 8?
b
Let f = 6395/11 - 581. Let h be (-6)/(((-45)/(-6))/5). Let n be 0/(0 + h/2). Is n less than or equal to f?
True
Suppose -29*m + 3*z = -26*m + 33, -z = -2*m - 24. Is -10 smaller than m?
False
Let f = 1577/1784 - 2/223. Suppose -s - 5 