: h or u?
u
Let i = -67094/15 + 5104549/1140. Let f = i + -19/4. Which is smaller: 0 or f?
f
Let w be 3 - 0 - (-45)/(-12). Let j = 19/72 + -1/72. Is j < w?
False
Suppose -235 = 24*c - 29*c. Does c = 44?
False
Let r = 8241172/275 + -29968. Let l = r - 2/25. Let v = -65 + 66. Which is smaller: v or l?
l
Let t be -4 + -5 + -19 - 4. Let s = t + 32. Is -10/33 at most as big as s?
True
Let q = 141 - 108. Is 29 equal to q?
False
Suppose y = -0*y + 3*i + 15, 0 = 2*y + 5*i + 14. Let q be y/(-68)*(-8)/2*1. Do 0 and q have different values?
True
Let l = 821 - 701. Which is smaller: 1/5 or l?
1/5
Suppose 2*t + 1 = 5*p, 2*t + t - 4 = 2*p. Suppose -3*q = 4*u - 21, -t*q - 4 - 2 = -4*u. Which is bigger: 7 or q?
7
Let s be ((-6)/10 + 1)*(-106)/212. Which is smaller: 27.5 or s?
s
Let g be (5187/(-19))/(6/(-4)). Which is bigger: g or 0?
g
Let n = -52 - -57. Suppose -n*p = -4*p - 8. Let a be ((-3)/2 + 0)*-6. Are p and a unequal?
True
Let u = -309 + 157. Is -153 equal to u?
False
Let j = -133.8 + 96. Let l = j - -38. Is 0.05 less than or equal to l?
True
Let g = -1103 + 5516/5. Suppose 0 = -2*t + t + 1. Which is bigger: t or g?
t
Suppose -5*i + h = -59, -h = -2*i + 5*i - 29. Which is smaller: i or 1/4?
1/4
Let b = 10 - 5. Let s = b + -5. Let q be 1*(-6)/(-117) - 0. Which is smaller: q or s?
s
Suppose y = 4*y - 57. Let a = y + -64. Which is smaller: -44 or a?
a
Let n be (-20)/(6/(-9) - 0). Suppose -5*y - 3*p = -6*p + n, -2*y = 2*p - 4. Let b be y/(108/76) - -3. Is b greater than or equal to 0?
True
Let s(j) = -j + 2. Let c be s(-3). Suppose 2*i = c*g - 2*i - 8, -5*i = -15. Suppose g*w = 5*w - 2. Do 0 and w have different values?
True
Suppose -12*k = -6*k + 1650. Let q = k + 7699/28. Is 1 greater than q?
True
Let r be (-28)/210 - 10/(-75). Is -1/2632 at most r?
True
Let l be (-380)/(-15)*30 + 1. Let k = 9899/13 - l. Which is smaller: 1 or k?
k
Let z = 14.31 - 0.31. Let v = 16 + -2. Let h = v - z. Do h and 3 have the same value?
False
Let u(a) = a**3 - 36*a**2 + 37*a - 45. Let l be u(35). Which is smaller: 24 or l?
24
Let b = -13 - -15. Suppose v = 3*t + 2, b*t + v + 2 = 2*v. Suppose t = 3*s + 5*r - 18 - 26, -5*r + 52 = 4*s. Is 7 <= s?
True
Suppose 41*z - 2314 = 54*z. Do z and -178 have the same value?
True
Suppose 0*b - 4 = x + 3*b, -4*x - 9 = 5*b. Let j = x + -4. Is j less than 2/3?
True
Let z = -2 + 3.2. Let b = -136.83 + 14.63. Let u = 122 + b. Is u smaller than z?
True
Let k = 0.09 + -7.09. Let b = k + 5. Let p(m) = -3*m**2 - 16*m - 4. Let n be p(-5). Which is smaller: b or n?
b
Let d be 2/(1 - 2) - 8. Suppose 0 = 5*s - 5*x + 50, 30 = -4*s - 10*x + 9*x. Is s at least d?
True
Let n be (-1)/2 - -4*908/32. Are 113 and n equal?
True
Suppose 4*i + 90 = p, -6*i = 2*p - i - 232. Suppose -5*q + 4*c = -p, -5*q = -10*q - 4*c + 74. Which is greater: -0.1 or q?
q
Let w = 356/11 - 3460/77. Do -13 and w have the same value?
False
Let i be 164/462 + (-258)/(-301). Which is smaller: i or 1?
1
Let y = -2 - -2.1. Let l be ((-3)/(-50))/((-7)/35). Which is smaller: y or l?
l
Suppose 5*z + 7 = 2. Let c(h) = 33*h**2 + 2*h + 2. Let f be c(-1). Let p = f + z. Is 33 at least p?
True
Let h(s) = s**2 + 16*s + 52. Let o be h(-6). Let b be 0/(o/((-48)/(-18))). Is b less than -18/13?
False
Let n = 536 + -536.1. Is -0.014 at most as big as n?
False
Let k be ((-16689)/(-15))/(13446/(-15)). Let p = k - -34/27. Let y = -1307/1162 - p. Which is greater: 0 or y?
0
Suppose 0 = -i - 1 + 3. Suppose 5*w + i*z - 94 = 0, -2*z = -4*w + z + 66. Suppose 0 = -6*k - w. Which is smaller: k or -1?
k
Let f(x) = -3*x**3 - 9*x**2 - 6*x. Let y be f(-6). Let l = 3597/10 - y. Which is greater: 1 or l?
1
Suppose -10*b = -30*b - 60. Let j be 3 + -4 + 0/(-1). Is j at most as big as b?
False
Let d = -7535/2658 - -2/1329. Let n = d - 41/30. Is -5 < n?
True
Let y be (48/(-140))/((-9)/120*4). Let w = -1 + 3. Is y greater than or equal to w?
False
Suppose 0 = -2*w + 3*w. Suppose -4*j - a - 3 + 15 = w, 0 = 4*a. Let q be -6*-2*(-2)/(-16). Which is smaller: q or j?
q
Let m(y) = y**3 - 4*y**2 + 7*y - 4. Suppose 4*s - 8 = 2*s. Let k be m(s). Let o be k/(-9) + 4 - 0. Which is bigger: 2 or o?
2
Let x = 58 - 139. Is -81 smaller than x?
False
Let b(p) = 4*p + 83. Let s be b(-17). Let u = 53 - 36. Is u greater than s?
True
Let c(y) = y**2 - 5*y - 811. Let g be c(-26). Suppose 6*u = 3*u - 21. Which is bigger: g or u?
g
Let j = 0 + 3. Let l be (-3)/2*2/j. Let w be -1 + ((-4)/(-1))/l. Do -4 and w have the same value?
False
Let o be -5*(-5765)/(-5775) + 5. Suppose v = 4*t + 1, -v + 0*v - 5*t + 1 = 0. Is v at least as big as o?
True
Suppose 5*w + 0*w - 15 = 0. Suppose -7*g - 13 = -2*g - 4*h, -4*g - w*h - 29 = 0. Suppose -5*i = -3*i + 6. Which is smaller: i or g?
g
Suppose -15*t = -24*t + 1665. Is 184 greater than t?
False
Let v = -35 - -19. Let k be v/(-3) + (-2)/6. Suppose 19 = f - 2*s, s = k*f - 8 - 60. Is f smaller than 13?
False
Let s(c) = 34*c + 169. Let o be s(-5). Let q = -275/282 + 46/47. Which is greater: o or q?
q
Let w be (-5)/(-7) - 0/1. Suppose 6 = -3*x + 18. Suppose 0 = -4*n + x*v - 12, -v = 24*n - 19*n - 3. Which is bigger: n or w?
w
Suppose s = -2*s + v + 61, 0 = 2*s + 2*v - 54. Let x be s/11 - 4/1. Which is smaller: -6 or x?
-6
Let l be (11 - (-40446)/(-2022)) + 9. Which is smaller: 0 or l?
l
Let o = -2 - -4. Suppose -23*i + 535 - 190 = 0. Is o less than or equal to i?
True
Let t = 1351 + -1309. Is t less than or equal to 46?
True
Let y(j) = -5*j - 7. Let a be y(-2). Let d(v) = -v**3 + 7*v**2 - 3*v - 2. Let f be d(6). Suppose -k - f = a*k. Is k not equal to -3?
True
Let w be (-3 + 4)*(-18)/3. Let r be (-4)/22 - (-234)/(-44). Is w at most r?
True
Suppose -47*g = -54*g + 875. Is g < 124?
False
Suppose -202 = -7*q + 274. Suppose h = -4, 5*h + 252 = 4*w + 10*h. Is q bigger than w?
False
Suppose 20 = 4*p - 4*q, 5*p = 7*q - 3*q + 21. Which is smaller: 2/721 or p?
2/721
Let i be (2/(-10))/(63/(-210)). Let r(v) = -v**2 - 13*v + 10 + 7*v + 2 - 3*v. Let p be r(-10). Is i at most as big as p?
True
Let s = -446/5 + 38767/435. Is s >= 1?
False
Let t = -67 - -68. Which is smaller: t or -1.29?
-1.29
Let z = -30 - -59/2. Let b(d) be the second derivative of -d**3/6 + 7*d**2/2 + 2*d. Let w be b(8). Is z smaller than w?
False
Let w be (-2)/(-7) - 24/(-14). Let m be (-9)/w*(-1)/6. Let j be -15 + (26 - 10) - (-1 + 2). Is m at most as big as j?
False
Let i(w) = -3*w. Let d be i(-4). Suppose 0*z = -3*z - d. Let l = z + 2. Which is greater: -6/11 or l?
-6/11
Suppose -x + 8 = -m, m + 4 = -m - 4*x. Let t = -1 + 2. Let k be (2 + t + -2)/m. Does k = -1?
False
Let p be (-8)/(-6)*6/28. Let u(y) = y**2 - y - 5. Let s(q) = -q**3 + 5*q**2 - 5*q + 1. Let a be s(2). Let r be u(a). Which is bigger: p or r?
r
Let w = 3 + 1. Suppose -3 = w*p - 7*p. Let t be (-1)/(p - (-4)/(-3)). Which is smaller: 1 or t?
1
Let z be (-29 + 4)/(-5) + 322/2. Is 165 <= z?
True
Suppose 69*m + 135 = 60*m. Are m and -0.13 nonequal?
True
Let u = -13.569 + -0.221. Let l = u - 0.21. Let t = l - -14. Is t equal to -1.3?
False
Let q be (1 + -1)/(3*1). Suppose -2*r + u - 62 = q, 4*u - 112 = 4*r - u. Is -33 at most r?
True
Suppose -3*s + d = 0, 9*s - 4*s + d = 8. Let y be (-2)/4 - (-200)/336. Is s at least y?
True
Let j = -2/1513 + 48434/13617. Do 3 and j have different values?
True
Suppose 17*s - 20 = 13*s. Which is bigger: 11 or s?
11
Let s(d) = -d**2 - d. Let z(r) = -r**2 + r - 4. Let y(t) = -2*s(t) + z(t). Let o be y(-6). Is o at least 14?
True
Let r be (8 - 4) + 16 + -1. Let u = r + -15. Let b = 11 - 6. Which is greater: u or b?
b
Let w = 1.79 + -0.78. Let r = w + -0.01. Let v(x) = -4*x**2 - x - 2. Let f be v(-1). Is f greater than r?
False
Let v be -4 - ((-6)/5)/(87/290). Which is bigger: -2/65 or v?
v
Let g(k) = -5*k**3 + k**2. Let q be g(-1). Suppose -18 = 4*t - q*t. Suppose 0 = -t*w + 6*w. Is w less than 0?
False
Let p be 2*(-1 - (-16)/2). Let u be (-2976)/310*(-5)/4. Which is smaller: u or p?
u
Let f = 249 + -74. Is f greater than 175?
False
Let r be 32/40*(2 + 3). Suppose -13 = r*l - 1, -2*l + 15 = 3*m. Are 9 and m nonequal?
True
Let u be ((-196)/(-3))/((-154)/30 + 5). Is u less than -491?
False
Let f be 21/(-12)*4 + -94. Is 5 less than or equal to f?
False
Suppose 10*h + 5 - 5 = 0. Which is smaller: h or -8/183?
-8/183
Suppose s = 5*s - 16. Let b be (1 - 3)/(s/(-6)). Supp