 greater: 2/37 or m?
m
Let z(m) = -m - 3. Let y be z(-2). Let d = -101/80 - -1/80. Are y and d equal?
False
Let b = -5 + -3. Let l be 2/(-4*1/b). Which is smaller: l or 1?
1
Let d be 3 + -1 + (-1)/(-1). Suppose -d*g = -7*g. Are g and 2/13 equal?
False
Let d be ((-20)/(-15))/((-1)/3). Let w be 1*(0 + 1 + d). Let m be w/1 + 10/5. Which is greater: m or -1/3?
-1/3
Let a = -0.52 + 0.42. Is -2/3 not equal to a?
True
Suppose 0 = 2*b + 21 + 87. Let x be ((-21)/b)/((-1)/(-4)). Is x > 2?
False
Suppose 8 = 4*i + 20. Let j = -18 - -18. Which is greater: j or i?
j
Let d = -0.05 - 8.95. Let z = d + 8.3. Is z at least 1?
False
Let t(m) = m**2 - 3*m - 6. Let u be t(5). Suppose u*f - 13 = 19. Let o be 12/7 - f/(-28). Which is smaller: 0 or o?
0
Let z be -3 + (-22)/(-2 - 0). Suppose -z*y + 6*y = -14. Let a be 2/(-4)*(-9 + y). Is a != 3/2?
True
Let t = 0.5 + -0.2. Which is greater: t or 3?
3
Let t = 6039979/804220 + -41/10180. Let q = -148091/869 + t. Let x = 163 + q. Which is smaller: x or 1?
x
Let n = 140 + -113. Do n and 0.1 have different values?
True
Let h be 1 + -1 + (10 - 1). Let b = 7 - h. Let a = -3 + 5. Which is bigger: b or a?
a
Let g = -12 + 17. Let s = g - 5. Are -2/53 and s equal?
False
Let j = 1 + -0.9. Let q = j - 0.4. Which is bigger: q or 1?
1
Let k = -9/7 + 53/63. Suppose -2 - 14 = -2*d. Suppose 5*r - d = -3. Which is smaller: r or k?
k
Suppose 0 = 5*w + 5*d - 175, 4*d - 13 - 7 = 0. Let k(z) = -5*z - 3. Let m be k(3). Let v be (-4)/w*(-30)/m. Which is greater: v or 0?
0
Let i = 2 + -2. Which is smaller: -4/7 or i?
-4/7
Let w(d) = d + 2. Let t be w(-3). Let o = -15 - -21. Let h be 4/o + (-5)/21. Which is smaller: h or t?
t
Let b = 0.84 + -0.8. Let p = -0.96 - b. Let j = p + 0. Is 3/2 > j?
True
Let y = -1.5 - -2.7. Let h = y - 1.3. Let o = -1 + 3. Which is greater: h or o?
o
Let o(n) = -11*n + 4. Let j be o(1). Is j <= -8?
False
Let o(t) = -t - 14. Let z be o(-14). Are z and 2/53 non-equal?
True
Let x(l) = l**3 + 5*l**2 + 4*l - 2. Let o be x(-4). Let j = 54 + -59. Which is greater: j or o?
o
Let h(j) = -5*j**3 - 2*j**2 + 1. Suppose 2*o - 4 = 6*o. Let m be h(o). Is 14/5 at least m?
False
Let g be 4*(2 + (-206)/60). Let v = 16/3 + g. Are v and 4 nonequal?
True
Suppose j = 6*j. Let d(p) = 2*p + 9. Let q be d(-6). Let o be (j/q)/(-1 - 1). Which is smaller: o or 2/11?
o
Let i = -2/19 - 32/57. Let h = -93 - -53. Let z be 4/10 - (-6)/h. Are z and i non-equal?
True
Let u(w) = w**3 + 8*w**2 + 6*w - 2. Let a be u(-7). Suppose -l + 4*m = 7, a*l - 4*m = 3*l - 6. Which is greater: 4 or l?
4
Suppose 0*a - 3 = a. Let b(d) = -d**2 - 6*d + 2. Let n be b(-6). Let t = n + -4. Which is smaller: t or a?
a
Let x(g) be the third derivative of -g**4/24 - g**3/6 + 2*g**2. Let z be x(1). Let m be 2/30 + z/(-6). Does 0 = m?
False
Let r = -7 - -8. Let s = -2 + r. Is -2/31 >= s?
True
Let h be (-4)/(-14) - (-20)/175. Which is greater: h or 0?
h
Suppose 2*h = 2*j + 26, -3*h - 2*j = -6*h + 34. Suppose -3*k = -h*k. Which is smaller: k or 1/2?
k
Let m = 750/7 - 107. Suppose w - 2 = 0, w = -5*h - 3*w + 3. Is h less than m?
True
Suppose -r - 5*h = -0*r + 15, 12 = r - 4*h. Suppose r*t = -4*t - 4. Which is greater: 4 or t?
4
Let n = -53/60 - 9/20. Suppose -4 = -4*g, 5*g = 5*c + 4 - 9. Suppose -15 = 4*r + 3*t, 4*r + 9 = -c*t - 1. Which is smaller: r or n?
n
Let a = 0.16296 + -237.10296. Let h = 235 + a. Let n = -0.06 + h. Are 1 and n equal?
False
Suppose -n - 6 = -3*n. Suppose k = -0*k + n. Suppose 5*r = -20, -4*t = -2*r - 19 + k. Which is bigger: t or 0.2?
t
Let u = 102 - 4. Let z = -1468/15 + u. Are 1 and z non-equal?
True
Let z = -148 - -462. Let g be (-2 + 3)/((-6)/z). Let h = g + 51. Is -2 at least as big as h?
False
Let m be 3/(-4)*(-12)/(-21). Suppose 3*w - 1 - 2 = -3*b, 0 = -2*b + w + 2. Are m and b equal?
False
Suppose -2*k - 14 - 14 = -5*z, 3*z - 28 = 4*k. Suppose 4*g - 56 = 3*x - 0*g, -g = 1. Let f be (-3)/(-9) - x/(-6). Is f not equal to k?
True
Let y be 0 + 2 - -7*6/(-16). Is 0 <= y?
False
Let m(p) = -2*p + 7. Let d be m(5). Let x = d + 4. Suppose j + 0 - x = 0. Which is smaller: 1/2 or j?
1/2
Let z be -2 + 0/(-3 + 1) - -3. Which is smaller: 2/17 or z?
2/17
Let g = 2 + 0. Let p be -4 + (3 - 3) + (-72)/(-20). Is g != p?
True
Let b be (2 + (-5)/2)*0. Is -2/25 at most as big as b?
True
Let h be 40/60*(-6)/(-8)*-2. Is -2/53 > h?
True
Let p = 3 + -4. Let i(x) = x**2 + x. Let q(b) = -b**3 - 13*b**2 - 6*b - 9. Let l(m) = p*q(m) - 5*i(m). Let o be l(-8). Are 2 and o unequal?
True
Let v(a) = -a**2 + 2*a - 2. Let z be v(2). Is -3/5 not equal to z?
True
Let m = -11156194/19 - -587299. Let o = 131 - m. Which is greater: 1 or o?
1
Let w = -0.2 + -0.7. Let s = 0.9 + w. Let v = 4 + s. Which is smaller: 2/3 or v?
2/3
Let i = 109/10 - 21/2. Let t be (-13)/((-27)/12 - -2). Let n = t + -207/4. Which is bigger: n or i?
i
Let p = 14 - 0. Which is smaller: 12 or p?
12
Let l = 3 + -3.1. Let b = -14 + 55/4. Which is bigger: b or l?
l
Let s(c) = 3*c**2 - 4*c - 1. Let g be s(2). Let n be 21/(-18) - g/6. Which is bigger: -3 or n?
n
Let v = 32 + -40. Which is bigger: 2/3 or v?
2/3
Let i = -659347 + 15161096/23. Let p = 169 + i. Is p smaller than -1?
False
Suppose -2*h = -0*h. Let k = 1/246 - -181/861. Is k bigger than h?
True
Let p = -700/13 - -54. Is 1 at most p?
False
Let k(m) = m**2 + 5*m - 7. Let d be k(-7). Suppose w - 3*w = 8. Let q = w + 11. Is q bigger than d?
False
Let s(f) = -14*f**2. Suppose -3*n - 6 = -3*j + 9, -2*n - 4 = 4*j. Let y be s(j). Let q be 8/(-12)*(-12)/y. Are -1 and q unequal?
True
Suppose -7*h - 12 = 23. Let k(j) = 3*j**3 - j**2 - j - 1. Let q be k(-1). Is q not equal to h?
True
Let x = 9 + -9. Is 2/29 at least x?
True
Let w = -6.9 + 16.9. Is w greater than 1?
True
Let h = 37 - 52. Let y be (-4)/(-10)*(10 + h). Is y < -4/5?
True
Let f = 6 - 0. Let m(p) = 0 + 3*p - p**2 - 9*p - f. Let b be m(-5). Which is smaller: b or -3/2?
-3/2
Suppose 4*r - r - 3 = 0. Suppose -3*x - 3 = -3*u, 5*u = 4*u - x + 7. Let t be -1*(u/22 - 0). Which is bigger: t or r?
r
Suppose 0*m = 4*m + 8. Let f be m/3 + 35/49. Is 1 != f?
True
Let h be 3/12*6*6. Let x = -6 + h. Suppose -x*k - 8 - 1 = 0. Which is smaller: -2 or k?
k
Let z = 2.3 + -3.3. Which is bigger: z or 7?
7
Let n = 328/17 + 1148/85. Let s = n + -33. Which is smaller: s or -1?
-1
Let o(x) = x**3 + 2*x**2 - 10*x - 6. Let t be o(-4). Which is smaller: 1 or t?
1
Let j = -73 + 73. Let c = 105 - 43. Let x = c + -433/7. Which is bigger: j or x?
x
Let a be -2*1/(-2) + 0. Let m = -16199/15 - -1079. Let k = m - -8/15. Is a at least as big as k?
True
Let k = -3 + 6. Let h = k - 3. Is h greater than or equal to 0?
True
Let l = -18 + 19. Let t = l - 13. Which is smaller: -11 or t?
t
Suppose 4*u - 5*h + 10 = 31, 0 = 4*u + 4*h - 12. Suppose -s + 1 = y, -4*s - u*y = -2*y. Is -1 smaller than s?
False
Let m = -9 + 6. Let b = 12 - 10. Suppose b*u + 1 = 3*w - 0*u, 0 = -2*w + 2*u + 4. Is w at least m?
True
Let z be (-8)/16*-6*1. Suppose 5 = 2*u + 5*j, 5*j - 2 = 2*u + z. Which is greater: u or -4/7?
u
Suppose 2*m = 2*q - 2, -3*q - 4*m - 6 - 12 = 0. Let f(v) = -2*v**2 + v + 1. Let u be f(q). Let j(p) = -2*p. Let z be j(4). Which is smaller: u or z?
u
Let k = 2.671 - -0.219. Let r = k + 0.11. Is -1/5 at most as big as r?
True
Let n = -1/18 - -329/90. Which is smaller: n or 5?
n
Let o be 13/(-2 - (3 + -6)). Is o at least as big as 13?
True
Let l be (6/4)/(4/56). Let v be (-6)/(-14) + 54/l. Is 7/2 smaller than v?
False
Let u = -97 - -803/9. Let m = u - -68/9. Let k = -3 + 4. Is m smaller than k?
True
Let l = 38 + -23. Suppose -6*p = -p - l. Let q be (-2)/(2 - p) + -2. Which is greater: 2/9 or q?
2/9
Let r be (18 - 18) + (-10)/(-4). Which is smaller: 2 or r?
2
Let x(j) = j**3 - 5*j**2 + 6*j - 9. Let i be x(4). Let c be (5 + -3 + -1)/i. Is c less than or equal to -3/2?
False
Let z = 1.6 - 1.1. Is z less than -0.1?
False
Suppose 4*n + u = 25, n + 3*n + 5*u - 29 = 0. Is n at least as big as 6?
True
Let g be (-46)/(-40) + 4/(-10). Let r = -2.41 - -0.41. Which is smaller: r or g?
r
Suppose j = 3*j + 6. Let h(w) = w**3 + 3*w**2 + w + 4. Let a be h(j). Which is smaller: -1/17 or a?
-1/17
Suppose -r - 8*r = -225. Are r and 27 equal?
False
Suppose 0 = p - 6*p - 15. Let m = p + -1. Let x(w) = w**2 + 5*w + 3. Let f be x(m). Is f greater than or equal to -3/13?
False
Let v