1/5299 - 31817/121877. Which is bigger: s or h?
h
Let k = 86 - 3868/45. Is 0.04 < k?
True
Let p = 0.2 + 0.08. Let n = -11.72 - p. Let i = 11.8 + n. Which is smaller: 2/5 or i?
i
Suppose 23 = 3*u - 10. Let b be 2/3 + 84/9. Which is smaller: b or u?
b
Suppose 0 = -5*m - 20, -2*c - 9*m + 146 = -7*m. Is c equal to 76?
False
Let f(x) = 3*x + 27. Let o be f(-10). Let d = 3.1 + -0.1. Let m = d + -4. Is m at least as big as o?
True
Suppose 5*i + t = 241, -280 = -5*i + 4*t - 19. Let n = i + -55. Is n greater than -5?
False
Let z = 1 + 0. Let d(t) = -t + 1. Let m be d(-11). Suppose v - m = -3*v. Which is bigger: z or v?
v
Let w = 9 - 3. Let z be 0/1*(-3)/w. Let i = 869/4 + -216. Which is greater: z or i?
i
Let t(i) = -i**3 + 3*i**2 + 8*i - 7. Let y be t(5). Which is greater: -20 or y?
y
Let r = 3.6 - -0.4. Let n = -5 + 1. Let y = n + r. Does y = 5?
False
Let l = -347 + 533. Is l less than 182?
False
Let i = 20 - 20. Suppose i = 16*v - 20*v. Are 0 and v equal?
True
Let n be 75/5 + (1 - 1). Let b be (-260)/15*54/(-72). Are n and b equal?
False
Suppose -5*z + 26 = -34. Suppose 0 = -z*c + 4*c. Are -6 and c nonequal?
True
Let q = -7.2 - -7.15. Let m = q + 0.15. Which is greater: m or -32?
m
Let x = -179.9 - -180. Is 182 < x?
False
Let z = 687 + -1057. Are -3 and z unequal?
True
Let x = -47.89 - -48. Is -0.02 at most x?
True
Let o = 3391/9 + -377. Which is bigger: -9/4 or o?
o
Let m(f) = f + 3. Let r be m(-6). Let b = -3 + r. Let s be 3*((-12)/(-16) + 261/(-108)). Is b greater than s?
False
Suppose r + 229 = 5*r + c, -4*r + 2*c = -214. Let w be (r/(-168))/(-1*(-2)/6). Is w at most as big as -1?
True
Let k = -564 - -466. Which is greater: -99 or k?
k
Suppose -3*h + 3*n = 5*n - 64, 0 = 2*h + 4*n - 48. Let z be (-1 - -6)*(-48)/h. Let l = z - -12. Is l at most -3/4?
False
Let b = 349 - 292. Is 58 greater than b?
True
Let w be -1149*-2*3/(-18). Let u = w - -13025/34. Which is smaller: -1 or u?
-1
Let n be (-283)/(-180) - ((-96)/10)/(-16). Let l be 5/(-3)*2/15. Let g = l + n. Is g >= 1?
False
Let r(f) = -2 - 4 + 4 - f - 5. Let t be r(6). Let o be 4 + -1 - (t + 1). Is 16 >= o?
True
Suppose 134629 = -103*m + 11029. Which is greater: m or -1199?
-1199
Let l(k) = -k**3 - k**2 - k + 2. Let s be l(0). Let g be (-1 - s)*70/21. Let u(h) = -h**3 - 9*h**2 + 11*h + 8. Let c be u(g). Which is bigger: -3/4 or c?
-3/4
Suppose 20 = 4*r + 4*y, 2*r = 6*r - y - 40. Let j(d) = -d**3 + 15*d**2 + 12*d - 13. Let o be j(16). Let b be (-4 + 2)*o/22. Which is smaller: r or b?
b
Let l = 2.0483 + -0.0483. Which is smaller: -56 or l?
-56
Let x be ((-6)/(-9) + 0)/(-2). Let c = x - -1/6. Let k(i) = -i**3 + 17*i**2 - 16*i. Let y be k(16). Which is smaller: y or c?
c
Let j be ((42/(-35))/((-2)/5))/3. Let b be -13 + 18 - (-2 - (-2 + j)). Suppose 14 = -n - 5*z, 9*z - 4*z + 26 = n. Does b = n?
True
Let l = 10 + -19. Let x be 3 - ((0 - -6) + -4)/(-2). Suppose x*d + d + 4*f = -25, -2*d + f = -3. Do d and l have the same value?
False
Let j = 436 - 340. Which is bigger: 191/2 or j?
j
Let t = 3 - 3.4. Let s = t - -0.5. Which is greater: s or 14?
14
Suppose 2*q = -4, b = -2*b - 3*q - 24. Let r = -16 - b. Which is bigger: 0 or r?
0
Let k(g) = g**3 - 13*g**2 - 48*g - 2. Let i be k(16). Which is bigger: i or 2?
2
Let g = 23/4 + -13/2. Let n be 36/(-6) - (-15 + 10). Which is greater: g or n?
g
Let o be 1401/(-117)*772/12. Let y = -2311/3 - o. Which is bigger: 1 or y?
1
Let i = 2.39 - 1.42. Let f = i - -0.03. Is 0.6 less than f?
True
Let u be (12/(-12))/((-5)/(-3)). Is -29 at most as big as u?
True
Suppose -13*o + 50 = 5*w - 18*o, 0 = 5*w + 4*o - 5. Which is smaller: w or 144/23?
w
Let m = 149/12551 + 2/1793. Which is greater: m or 1?
1
Let d = -8 + 19. Let l(u) = -101*u + 313. Let v be l(3). Which is greater: d or v?
d
Let y = 4011/19 + -211. Let a = -18 - -17. Let o(u) = -3*u - 3. Let g be o(a). Is y at most g?
False
Suppose 11*t - 22 = 8*t + 2*f, 4*t = 2*f + 28. Is -129 > t?
False
Let v = -0.2144 + 0.1144. Which is smaller: -97 or v?
-97
Let r = 0.05 + -0.05. Let g be (-104)/(-140) + 39/(-65). Are r and g unequal?
True
Let k be 1*-1 + (-33307)/(-5225). Let d = -60/11 + k. Which is bigger: 0 or d?
0
Let t = 0.1663 - 0.1663. Is t greater than -285?
True
Let t = -0.67 + 0.67. Which is smaller: t or -64/3?
-64/3
Suppose 4*c = 3*c - 5. Let w(a) = a**3 + a**2 + 3*a - 4. Suppose -5*x = 4*p + 15, 0*x = 5*x + 15. Let g be w(p). Which is smaller: g or c?
c
Suppose -5*k + 5 = 0, -5*b - 5*k + 1 = -4. Let q = -162 + 3075/19. Which is smaller: b or q?
q
Suppose -4*l + 17 = 3*n - 19, 4*l = 3*n - 36. Let c be -24*n/(-16)*1. Does 16 = c?
False
Let c = -5.0096 + -0.0204. Let i = 0.03 + c. Is i smaller than 2/9?
True
Let c be (-4 + (-31)/(-7))*77/(-11). Let n = -567/11 + 527/11. Which is bigger: n or c?
c
Suppose 36 + 0 = -4*s. Let r(t) = t**2 + 6*t - 22. Let n be r(s). Let z = 4 - n. Which is greater: z or 2/7?
2/7
Suppose 3 = -2*l - 4*z - 3, -5*l = 2*z - 17. Suppose -1 = 6*h - l*h. Suppose 0 = 3*y - 8*y. Which is smaller: y or h?
h
Let h be (-1)/3*0 + (70 - -7). Suppose 2*j + h = -13. Does j = -44?
False
Let a = -1177 - -673. Which is smaller: a or -1007/2?
a
Let y(b) = -2*b**3 - 10*b**2 - 14*b + 15. Let j(l) = 3*l**3 + 20*l**2 + 27*l - 29. Let c(z) = 3*j(z) + 5*y(z). Let w be c(7). Let o = 1488/7 - w. Does o = 2?
False
Suppose s + 7 = -3*i + 31, 4*i + 3*s - 27 = 0. Let x be i/783*(-6)/(-4). Which is greater: -1 or x?
x
Let g(x) = 5*x + 1. Let d be g(1). Let b be (-1)/(-3 + 1/d). Let w(t) = t - 8. Let c be w(8). Is c <= b?
True
Suppose h - 2*g + 37 = g, 0 = 3*h + 2*g + 78. Let x = h - -8. Is x < -19?
True
Let v = -43 + 64. Suppose -22*k = -v*k - 5. Is 0 > k?
False
Let g be (8/3 - 2)*3. Let r be (-5)/(25/g) - 0. Let s be -2 - (-7 + (-21)/(-4)). Which is bigger: s or r?
s
Let o = 33 - -1. Let c = 34 - o. Do c and -1/15 have the same value?
False
Let q(u) = -39*u + 2743. Let f be q(71). Let v be 4/(-3)*(-4 + 25). Do v and f have different values?
True
Suppose 8 = -4*k, 2*k + 47 = 3*t - 32. Suppose 2 = -p, -r + 2*p + 10 = t. Let j = -15 - r. Which is smaller: 2 or j?
2
Let q = 137 + -119. Is q equal to 20?
False
Let y = -1216/5 + 244. Is y at most 2?
True
Let b = -17 + 17. Suppose b = -8*a + 5 - 13. Which is greater: 10 or a?
10
Suppose 2*s - 865 + 4401 = 0. Let d be 6/15 - s/(-4470). Let i = d - 916/4917. Are 0 and i nonequal?
True
Suppose 79 = -33*m + 1432. Which is greater: 42 or m?
42
Let d = 261/8 - 33. Suppose -2*u - 6 = u. Let h be (u + 1)/(1 + 0). Which is greater: d or h?
d
Suppose -5*p + 2 = -2*h, -h = p - 3*h - 2. Suppose w - 2*b - 3 = 3, p = 5*w - b + 6. Let o be 0 - ((-18)/25)/(2/(-5)). Is w bigger than o?
False
Suppose 25*z = 112*z + 14094. Is z smaller than -1/5?
True
Let o = 210.42 - 281.1. Let y = 70 + o. Which is smaller: y or 0.1?
y
Let r = 369/4 + -9193/100. Is r >= 0?
True
Suppose a = 4*u - 50 - 59, 3*a - 11 = -u. Suppose 13*j - 52 = u. Let s = 8 - 4. Which is smaller: s or j?
s
Let a = 0.7 + 0.3. Let s = -305 + 1831/6. Is a <= s?
False
Let g = 233 - 228.9. Is g < -2/3?
False
Suppose 5*i = 10*i - 80. Suppose -15*z + 16 = -14*z. Is i greater than z?
False
Let l = -15 + 21. Suppose -n = -2 + l. Is n < -15/4?
True
Let c(y) = -18*y**3 + 5*y**2 + 3*y - 6. Let l be c(-2). Are l and 151 equal?
False
Let m(b) = -14*b - 2. Let v be m(-12). Suppose 3*c + v = 7. Which is bigger: -54 or c?
c
Let k = 3.23 + 0.37. Let s be (-6)/(-8)*60/(-135). Do s and k have the same value?
False
Let x = -81/1265 + 7/253. Let g(b) = -b + 1. Let h(l) = 4*l + 5. Let p(c) = 3*g(c) + h(c). Let y be p(-8). Is y greater than x?
True
Let h be (-104)/5070 - (-3)/((-78)/(-4)). Let y be 4 + 237/(-45) + 3/5. Which is greater: y or h?
h
Let k = -35 - -62. Let z be (-2)/(-3) - -228*(-6)/k. Which is bigger: -49 or z?
-49
Suppose 0*t + 3*t - 51 = 5*x, 45 = -5*x + 5*t. Is -9 < x?
False
Let t be (4 + 0)*5/526. Is 1 at most t?
False
Let w = -11143 + 11137. Let i(g) = g**3 - 2*g**2 - 3*g + 2. Let u be i(3). Suppose 0 = -u*a + 4*a + 12. Is w at least as big as a?
True
Let c = 73409/1131 - 839/13. Let r = c - 1/29. Suppose 4*f = f - 3. Which is smaller: r or f?
f
Let t be (-2)/(-12) - (-7551)/54. Let c be 36/(-78)*(-907)/(-3). Let l = c + t. Is l greater than or equal to 1?
False
Let w = 2455/8 + -307. Which is smaller: -3/4 or w?
-3/4
Let w = -10.677 