er: 2 or x?
2
Let b be (-104)/(-28) + 4/14 - 0. Suppose 0 = -11*t + b*t. Let d = 815 - 10602/13. Is d <= t?
True
Suppose -19*f + 12*f = -1813. Let r = f - 1035/4. Which is smaller: -90 or r?
-90
Let p = 1724 - 1706.965. Let s = 17.965 - 18. Let x = s + p. Is 1 greater than or equal to x?
False
Let y = 6.4913 + -0.0413. Let p = y + -6.05. Let i = 0.2 - -0.8. Which is bigger: p or i?
i
Let y = 49 - 58. Let s(l) = -2*l - 16. Let q be s(y). Suppose 3*o + 103 = 5*k, -q*k + 2*o = -37 - 5. Are 19 and k nonequal?
True
Let o = 107298 + -1086392252/10125. Which is smaller: o or -1?
-1
Let q be -2 - 4/((-1)/(-1)). Let p(t) = -t**2 - 2*t + 26. Let a be p(q). Let s = 0.23 + -0.03. Is a less than or equal to s?
False
Suppose 0 = 3*s - 4*x + 339, -6*s + x - 452 = -2*s. Is -111 > s?
True
Let g = -127/1554 - 1/74. Let u(j) = -4*j + 4*j**3 + 3*j**2 - 6*j**3 + 3 + j**3. Let o be u(2). Which is bigger: g or o?
g
Suppose -154*r + 187 + 612 = -155*r. Which is smaller: r or -800?
-800
Let g(o) = 2*o**2 - 44*o - 409. Let v be g(29). Which is greater: -96 or v?
v
Suppose 0 = -22*k + 219*k - 294 - 691. Let r = -1 - -1. Suppose r = -3*f - 0*j - 2*j + 11, 0 = f + 2*j + 3. Which is bigger: k or f?
f
Let p be 2/36 - (-111)/(-1998). Is p at most 12/437?
True
Suppose 20*t - 2*t = -14652. Let i = t + 809. Let v = -13 - -8. Is v smaller than i?
False
Suppose -2*a = -10, 9*l = 10*l + 2*a + 1726. Which is smaller: -1737 or l?
-1737
Let k = -48611511995449/4146324440 - 603/9072920. Let p = 11724 + k. Does p = -1?
False
Let x be (-16)/(-48)*372/48. Which is smaller: 4 or x?
x
Let k = -7932/745 - -7/149. Let c = k - -487/45. Let w(y) = -y + 8. Let j be w(7). Which is smaller: c or j?
c
Suppose -1348*m = -1352*m + 12332. Is 3084 equal to m?
False
Let g be -33 + 4 - -3*(-35)/21. Which is bigger: g or -35?
g
Let t = 0.77 - -1.25. Let l = 2.12 - t. Which is smaller: l or -19?
-19
Let v be 19/(171/(-90)) + (-2023)/(-7). Which is smaller: 276 or v?
276
Let t = 26608/273 + -688/7. Which is bigger: t or 0?
0
Let r(c) = -11*c**2 + 6*c - 17*c - 2 + 12*c**2. Let w be r(22). Suppose 0*g - 8*g - w = 0. Which is smaller: -31 or g?
-31
Suppose -353*q - 219 - 134 = 0. Is q smaller than 1/9?
True
Let a = -24626 + 73877/3. Let r(d) = 4*d**2 + 10*d + 4. Let p(f) = 5*f**2 + 11*f + 5. Let q(g) = 6*p(g) - 7*r(g). Let o be q(4). Which is smaller: a or o?
a
Let v be (-2)/(-4) + (-74)/4. Suppose -d = 29*q - 33*q - 195, 20 = -4*d. Let z = v + q. Is -67 greater than z?
True
Let r = 1939 + -2147. Which is smaller: 4 or r?
r
Suppose -3*n + j = -45, 0*n + 2*j - 45 = -3*n. Let y be (-2)/6 + 3 + n/(-9). Which is greater: y or -2/27?
y
Let w(z) = z**3 + 4*z**2 + 3. Let k be w(-4). Suppose 4*p - 20 = 0, 2*n - 124*p + 127*p + 59 = 0. Is k less than n?
False
Suppose 9*d = h + 8*d + 997, h = 5*d - 1005. Which is greater: 3 or h?
3
Let b(w) = -3*w**3 - 1. Let f be b(1). Let j be (672/126)/(7/6 + -1). Suppose 3*d + 5*d = -j. Is f <= d?
True
Let w = 45.7 - 45.76. Do w and -0.014 have the same value?
False
Let t be -3 - -171 - (-1 - (-4)/1). Suppose j = -14*j + t. Suppose j*a - 79 - 53 = 0. Is 12 < a?
False
Let j = -31 - -54. Suppose -2*k + 5*r - j = 0, 2*k - k - r + 4 = 0. Let d be ((-2)/49)/((-15)/35). Which is smaller: d or k?
d
Let a(q) = -q**3 - 5*q**2 + 36*q + 125. Let r be a(-10). Is 12 less than r?
True
Let h = -4864.79 - -4906. Let g = h + -41. Let l = g - -0.19. Is 0.2 != l?
True
Suppose -7*v + 5*o = -2*v + 29265, -2*o + 41006 = -7*v. Do -5859 and v have different values?
True
Suppose 2 + 6 = 2*i. Suppose d = 5*h + i*d + 62, 2*h = d - 16. Suppose 405 = -1574*w + 1439*w. Which is bigger: w or h?
w
Let b be ((-20)/12)/((-2)/6). Suppose -b*t = 3*p - 74, 5*p - t + 6*t - 110 = 0. Suppose -13*n + 5 = -p*n. Is n less than 1/129?
True
Let i = 679/13 + -52. Let c(p) = -118*p - 235. Let s be c(-2). Are i and s non-equal?
True
Suppose -80 = -5*t - 4*z, -t + 0*t - z + 17 = 0. Suppose -t*a = 686 + 166. Let i = a - -81. Which is bigger: i or 11?
11
Suppose 0 = 18*m - 44*m + 16*m - 2540. Is m >= -255?
True
Let g = -244 - -270. Suppose 0 = -n - 2*x - 19, -4*n + 2*x + 0*x = g. Let p = -341/46 - 2/23. Is p < n?
False
Let w be 48/9 - (-25)/(-75). Let q = 3 - w. Suppose 5*i - 12 = i. Which is bigger: i or q?
i
Let b be 4 + 2/(-12) + 8126/(-204). Let m be ((-2)/(-6))/(-7 - 254/b). Which is smaller: 68/13 or m?
68/13
Suppose -3*x + 192 = -q, -612 = -113*q + 116*q + 3*x. Let r = q + 188. Which is bigger: r or -17?
r
Let s = -1019/15 + 68. Suppose 701 = 7*h + 1. Let x be (1/(-10)*-2)/(h/(-500)). Is s at least x?
True
Let y = 25602/6593111 + 3/9247. Which is greater: y or 0?
y
Let f = -20 + 32. Let p = -168 + 181. Are p and f unequal?
True
Let a be (-23986)/14 + 234/819. Let y = -41099/24 - a. Does 0 = y?
False
Let y = -900 + 899. Are 8/209 and y equal?
False
Let u = -89/234 + 11/18. Let x = 41/65 - u. Which is smaller: x or 2/113?
2/113
Let m be (0 + (-3)/(-12))*28. Let g = -3259 - -16324/5. Which is smaller: m or g?
g
Let b = 0.3 + 0.4. Let q = -47.683 - 0.617. Let p = 48.3 + q. Which is greater: b or p?
b
Let r = 317 - 292.3. Let z = r - -2.3. Is 2/7 greater than z?
False
Let i = 0.9 - 5.9. Let m = 17.7 + -17.738. Let f = -0.062 + m. Is f > i?
True
Suppose -4*d + 8482 + 5169 = 5*p, 0 = -4*p + 3*d + 10927. Which is greater: p or 2732?
2732
Let q be (-81)/(-796) - (-5 + 0 - 532/(-112)). Do q and 0 have the same value?
False
Let x be 105/630 - ((-9587)/(-66) + -1) - -7. Is -137 > x?
True
Let s(w) be the third derivative of -31*w**5/60 + w**4/24 + 7*w**3/6 + 32*w**2. Let n be s(-2). Let a = 210 + n. Is 91 != a?
False
Let z = 2359.6 + -2362. Are z and -12/23 nonequal?
True
Suppose -5*q - 150 = 14*b - 16*b, -b + 48 = 2*q. Do b and 235/4 have different values?
True
Let l = 84965 - 678633/8. Let j = 6013/24 - l. Let k = j - 103. Which is greater: 13 or k?
13
Suppose 20*g = -4*p + 16*g + 1088, 4*p - 5*g = 1043. Which is smaller: 268 or p?
p
Let x be (12 - 16048/1173)/((-2)/45). Is x less than 37?
False
Suppose 8 - 128 = 4*h. Let n be 2*(-13)/h + (-8)/(-60). Is n < -2/33?
False
Let x = 4.23 + 1.17. Let f = 5.74 - 0.24. Let p = f - x. Is 31 <= p?
False
Let v be -8 - (-5 - -1) - -11. Let m be (v/(-1) - 6/6) + 4. Is -45/11 greater than m?
False
Let c(f) = 3*f + 7. Let y be c(-2). Let t be y/6*-1 + 2695/42. Let r(g) = g**2 + 8*g + 31. Let n be r(-11). Is n greater than or equal to t?
True
Let x be ((-27)/(-5))/1 + -1. Let u = -17214/4585 - 122/131. Let m = x + u. Which is smaller: m or -2?
-2
Let j(v) be the first derivative of 3*v**2 - 29*v + 2. Let l be j(15). Is l at most 59?
False
Let t be 2*2/4*-3. Let w = 5 + t. Let u(g) = 44*g - 1273. Let z be u(29). Are z and w equal?
False
Let a be (-1)/(((-1)/(-5))/(-3 - -2)). Suppose t - 4*y - a = -y, -4*y - 4 = 0. Let s be (t/(-4))/((0 - -1)/2). Is 2/5 smaller than s?
False
Let x = -2/301 - -911/1204. Let c = -0.06 - -3.06. Which is bigger: c or x?
c
Let s = 797 - 806. Let a be (-1)/((-6)/s*4/168). Are -59 and a equal?
False
Suppose -4*p - 51 = -5*t, 2*p + 0*p + 58 = -4*t. Let h be ((-66)/(-9))/(p/(-57)). Is 22 >= h?
True
Let h(q) = -q**3 - 23*q**2 + 20*q - 92. Let y be h(-24). Let t be ((-6)/y)/(15/(-10)). Is 6/247 > t?
False
Let f be (-11)/(-12)*(336/(-520))/(-21). Which is smaller: f or 0?
0
Let v = 41008628/1971 + -20806. Which is smaller: v or 1?
v
Let f be 80/48 - 1720/6. Let k = f + 248. Is k <= -153/4?
False
Suppose 0 = -418*b + 451*b + 3036. Suppose 2*c + c = 4*s - 294, 0 = 3*c + 5*s + 267. Is c smaller than b?
True
Let i(j) be the first derivative of j**4/12 - 2*j**3/3 - j**2/2 + 36*j + 18. Let v(t) be the first derivative of i(t). Let a be v(4). Is a at least 2/33?
False
Suppose 0 = -2*b - 4*b + 186. Let j = -33 + b. Suppose -9 = 3*l, -4*u - 5*l + 15 = 22. Is j < u?
True
Suppose 350 = 9*m - 784. Do m and 119 have the same value?
False
Let a = 3194 - 3069. Which is smaller: a or 0.3?
0.3
Suppose 5*b + g = 532, 2*b + 4*g = -0*b + 220. Let q(z) = -13*z**2 - 381*z + 788. Let j be q(-31). Is j at least b?
True
Let g = 2938 + -2846. Is g at least 90?
True
Let t(z) = -2*z**2 + 42*z - 5. Let l be t(21). Let p = -278 + 273. Are p and l unequal?
False
Suppose 3*z - 91 + 43 = 0. Let i be (-1 - -3) + (-324)/(-6). Suppose -4*w - 4*f + i = 0, 0 = w - 2*f - 14 - 6. Is w >= z?
True
Suppose -5*a = 5*m -