(-104) + b/(-12). Suppose 4*h - 3*h = 0. Is h less than m?
False
Let i = -3 - -6. Let x = 35 - 30. Suppose -5*m - 23 + 6 = i*u, x*m + 21 = -4*u. Which is greater: 0.2 or m?
0.2
Let m = -1540/19 + 6831/190. Let l = m - -45. Are 1 and l equal?
False
Suppose 0 = -9*d + 4*d. Let p = -240685/98 + 2456. Which is smaller: p or d?
d
Let m = -33.8 - -3.8. Which is bigger: m or 3/7?
3/7
Let l = 15 + -2. Let h = l - 12.93. Let q = 2 - 2.1. Which is smaller: q or h?
q
Let m = -12451/47 + 265. Let d = m + -247/141. Let c be 3/(1 + -3 + 1). Is c != d?
True
Let x = 6/95 - -653/190. Let z = 17/4 - x. Is 2 at least as big as z?
True
Let z = -1 - -1.3. Let h = -2.42 - -1.25. Let d = -0.17 - h. Are d and z equal?
False
Suppose -3*g - 4*q = -20, 4*g - 20 = -2*q + 20. Suppose 4*v = -s - 4*s - g, -3*s = -v - 20. Let x be (-2)/6*4/v. Which is smaller: x or 0?
0
Suppose n - 51 = -76. Do -17 and n have the same value?
False
Let m be 20/(5 + -10) + -96. Which is smaller: m or -101?
-101
Suppose -333 = 6*n + 2385. Is -454 greater than or equal to n?
False
Let y be 1/(4/(3 + 1)). Let z = 22 + -22. Is y > z?
True
Suppose -2*o = 5*p - 16, 0*o = -2*p + o + 1. Suppose -6 = -2*u, -2*b = p*b - 3*u + 149. Let j be 15/b + (-3)/(-7). Which is smaller: j or 1/15?
j
Let d = -20 + 19. Let p(u) = -17*u**2 - u - 2. Let z be p(d). Are z and -19 non-equal?
True
Suppose 0*s + 3*s = q + 20, q = -4*s + 8. Let t = q + 24. Suppose 0 = -t*v + 13*v. Which is smaller: -2/7 or v?
-2/7
Let o(l) = l**2 + 48*l + 167. Let j be o(-40). Do j and -156 have different values?
True
Suppose -3 = 4*s - 5*s. Suppose -2*k + s = 3. Which is greater: 3/8 or k?
3/8
Let w = 24.92 + -25. Let j = w + -7.92. Which is greater: j or -1/2?
-1/2
Let v = -6 - -9. Let p = 0.01 - 4.01. Let g = -4 - p. Is g at most as big as v?
True
Let s = -1249 + 1222.957. Let k = 26 + s. Which is bigger: 1 or k?
1
Let v = -3/101 + -92/303. Is v <= -404?
False
Let c = -18 + 36. Let d = 4 - c. Let o = 13 + d. Is -2 at least o?
False
Let q = 2/13745 - -797144/453585. Is q bigger than 3?
False
Suppose -16*d + 13*d = -3. Let i be (8/(-52) + (-33)/39)*d. Which is greater: -1/50 or i?
-1/50
Suppose 2*p = 4*p - 5*x - 37, 5*p - 5*x - 55 = 0. Let i be (-5)/p*(-66)/(-20). Suppose 28 - 16 = -4*q. Are i and q nonequal?
True
Let l = -247 - -385. Which is smaller: 137 or l?
137
Suppose 3*i = 6*i + 3*n + 30, 0 = -3*i + 5*n - 6. Let b = i + 6. Which is greater: 0.14 or b?
0.14
Let y(s) = -s**3 - 61*s**2 - s - 61. Let k be y(-61). Let i = 12/103 + -334/4635. Which is bigger: k or i?
i
Let q = 14018 + -112339/8. Is -24 > q?
True
Let m = 279 - 280. Are m and 1/35 non-equal?
True
Let y be 41/(((-155)/533)/5). Let v = -705 - y. Which is smaller: 1 or v?
v
Suppose -5*b + 10 = -10*b - 3*y, -5*b = -y - 10. Let t = -2/825 + -1532/48675. Are b and t non-equal?
True
Let y = -59 + 104. Let p = y + -81. Let u = -28 - p. Which is smaller: -2/7 or u?
-2/7
Let d(u) = 2*u - 1. Let q(x) = 10*x - 6. Let m(t) = -11*d(t) + 2*q(t). Let c be (2 + -2)/((-2)/(-1)). Let b be m(c). Which is smaller: b or 2/29?
b
Let y = -11 + 13. Suppose 5*d = -2*w + d - 2, -2*w + 2*d - y = 0. Let k be (-26)/(-35) - 9/15. Which is smaller: k or w?
w
Let r be (843/(-24))/((-2850)/(-4)). Let y = r + -1/300. Which is greater: -1 or y?
y
Let j = -83 - 1590. Is j smaller than -1673?
False
Let w be (-2)/8*4*34. Which is greater: -32 or w?
-32
Let n be ((-6)/8)/(2/(-64)). Let k be ((-1)/1)/((-2)/n). Let v(i) = i**3 + 9*i**2 - 11*i + 2. Let t be v(-10). Are t and k equal?
True
Let k be 396/(-114)*4/(-6). Is k >= 2?
True
Let z = 21 - 35. Let y be z/7*(1 - 0). Do y and 0 have the same value?
False
Let r = -64 + 68. Let f be r - (-6)/(-2) - -4. Is 5 bigger than f?
False
Let s(b) = -3*b**2 - b**3 + 5 - b**2 - 1. Let u be s(-4). Suppose u*d - 3*p = -78, p - 24 = 2*d + 16. Which is smaller: -1 or d?
d
Let z = -208 + 212.874. Let h = -0.026 - z. Let o = h - -5. Is o less than -1?
False
Let h be (-14)/2 + (-80)/(-16). Let b = -25/17 + 115/136. Which is smaller: b or h?
h
Let b = 2061 - 2061. Which is smaller: b or 8/79?
b
Let c(p) = 59*p - 2. Let y be c(1). Is y >= 0?
True
Suppose 0 = 5*o - 14 - 86. Let s = -157 - -50. Let q = s - -128. Is o greater than or equal to q?
False
Let i be (1 + 0)/((-9)/801). Let t = i - -69. Is t greater than 1?
False
Let i be ((-22)/(-3) + -8)/(2/3). Let m be -3*((-2)/(-6))/i. Which is smaller: m or -6/23?
-6/23
Let m = 365/6 - 2905/48. Let l = 82 - 81.9. Which is smaller: l or m?
l
Let r = 21 + -22. Let b be (-260)/(-50) + r/5. Are 4 and b nonequal?
True
Suppose 11 = 5*l - 3*n, 0 = 2*l - 7*l - 2*n + 26. Suppose 0 = t + p - 2, 5*p = -l*t + 2 + 4. Let u = 24 - 19. Which is smaller: u or t?
t
Suppose 6*g - 93 = 507. Let m = -1 - -4. Suppose -2*l = d - 27, 7*d - g = 2*d - m*l. Is d greater than or equal to 18?
False
Suppose 5*b - 577 = v, -b = -5*b + 2*v + 458. Let c = b + -123. Suppose -4*i - 3*z = -0 + 1, -3*i = z + 7. Is c at least as big as i?
False
Let l = 27.32 + -3.32. Let d = 25 - 51. Let v = l + d. Is v bigger than 0.08?
False
Let t = -10 + -134. Let f be 18/t - 1/(-2). Suppose 3*p - p = 0. Which is smaller: f or p?
p
Let o(n) = -n + 2. Let q be o(-3). Let r be 130/25 + -4 - 1/q. Which is smaller: r or 31?
r
Suppose -19*a + 1430 - 1411 = 0. Which is smaller: 1/667 or a?
1/667
Let d(s) = -s**3 + 12*s**2 + 12*s + 7. Let o be d(13). Suppose -27 = -3*a - 6. Let u = -12 + a. Do o and u have the same value?
False
Let u = 0.3 - 0.5. Suppose 3*j + g - 17 = 3*g, 0 = j - 5*g - 10. Are u and j non-equal?
True
Let h = 2.06 - 14.36. Let p = 0.3 + h. Let z = -207 - -206.9. Which is smaller: z or p?
p
Let u be (-723)/121 - (-24)/4. Which is smaller: u or -1?
-1
Let t = 156 - 172. Let v be 68/48 - (-20)/t. Is 11 greater than or equal to v?
True
Suppose 3*f - 46 = -2*o - 18, f + 4*o = 6. Let j be 14/f*5*(-1)/1. Do j and -3 have different values?
True
Suppose -5*r + 41 = -4*j - 459, -3*r + 298 = -2*j. Which is smaller: r or 92?
92
Let c(m) = 6*m - 180. Let b be c(33). Let p = -6 + 23. Which is smaller: p or b?
p
Let h = -20 - -23. Suppose 2*o = -3*l + 8, h*o - 9 = -5*l + l. Let w = -3 - -5. Which is smaller: l or w?
w
Let n be (-13)/(-104) + (-47)/760. Which is greater: n or 1?
1
Let t = -129 + 119. Which is greater: t or -38?
t
Let z be (-14)/2 + 5 + 104. Are z and 101 equal?
False
Let x = -25 + -15. Let w = x + 36. Which is bigger: w or -1?
-1
Let z be (-6 - 6)*(-2)/4. Suppose r - z + 1 = 0. Let t = -13 + r. Is -8 less than t?
False
Let t = 155 + -155. Is -18/13 >= t?
False
Let a = 81 + -150. Let f = 70 + a. Which is greater: -4 or f?
f
Let p(i) = -2*i - 21. Let m be p(9). Let x be (-1 - -1) + (-13)/m. Is x bigger than 2/15?
True
Let l = 4 + 4. Suppose -3*a + 10 = -l*a. Let s be 11/(-2) + (-1)/(-2). Which is smaller: a or s?
s
Suppose 2*l - 18 = -4*l. Let z = 51.9 - 52. Which is smaller: z or l?
z
Suppose -16*k - 26 = -15*k - 5*b, 4*k + 19 = 3*b. Let z be ((-2)/3)/((-8)/918). Let q = -78 + z. Which is smaller: k or q?
q
Let z = -79 + -26. Let v be ((-5)/(-25))/((-9)/z). Let c be (-2)/(-5) - 16/(-10). Which is smaller: c or v?
c
Let c(u) = 17*u - 293. Let v be c(21). Which is bigger: 61 or v?
v
Let i be 2 - (-4 + (-35)/(-5)). Are -9 and i equal?
False
Let j = -73 + 48. Let t be (-10)/j + (-114)/10. Let l be 5*t/(220/24). Does l = -9/2?
False
Let t = -42.899 - 0.101. Let j = t - -74. Let a = 18 - j. Which is smaller: 1 or a?
a
Let p = -61 - -39. Let r be (-436)/22 + 4/p. Is r at least -20?
True
Let v = -58.29 - -59. Let r = v - 0.81. Is r less than or equal to 34?
True
Let u = -136 + 139. Is -62 smaller than u?
True
Let m(k) = k**3 - 20*k**2 + 97*k. Let r be m(8). Which is greater: r or 18?
18
Let j(q) = 76*q + 228. Let m be j(-4). Are m and -74 equal?
False
Suppose 2*l - 3*y + 2*y = 44, -3*l = -y - 65. Suppose 11 - l = -2*s. Suppose 18 = -5*g - 2*x - 25, 0 = s*g - 2*x + 27. Are -6 and g equal?
False
Suppose 129 = -15*m + 24. Which is smaller: m or -2?
m
Let v = -35.965 + -0.035. Let a = v - -43. Is 0.2 greater than a?
False
Let y be 3 - 46/12 - 4/(-24). Is y bigger than -10/9?
True
Let p be ((-20)/18)/((-35)/126*3). Which is smaller: p or -4/23?
-4/23
Let b = -233 - -400. Are b and 167 non-equal?
False
Suppose 0 = 2*f - 10, 4*p = 2*f - 52 - 126. Which is bigger: p or -32?
-32
Let q be (-82