ich is smaller: t or 6/29?
t
Let x = -14/65 - -164/1365. Let v = 20/41 + 311/287. Let d = v - x. Is d > 2/5?
True
Let h = 7.48 + 2.52. Let d be 4/18 + 6/54. Is h at most as big as d?
False
Let z = 703769 + -265320352/377. Let s = z - 363581/271440. Let f = s - 3/80. Are f and 0 equal?
False
Let x = 13 - 14. Let a be (-46)/60 - (-4)/6. Is a greater than or equal to x?
True
Suppose -2*q = 4*v - 9*v - 6, -5*q = -v - 38. Which is greater: 0 or q?
q
Let t = 0.79 - 0.81. Let k = -4.89 + -0.11. Is t > k?
True
Let s = 1.892 - -0.108. Is -48 != s?
True
Let b = -1278 - -1407. Is 2 less than or equal to b?
True
Suppose -3*n - 2*n - 320 = 0. Let u = -39 - n. Is 24 smaller than u?
True
Let m be (2380/20)/(10/8). Which is greater: m or 94?
m
Let m = 40 - 39. Suppose 0*t + 75 = 5*b - 3*t, 3*t = -2*b + 9. Which is smaller: b or m?
m
Let k = -4 + 3. Let a = 0.46 + -23.46. Let p = a - -28. Which is smaller: k or p?
k
Suppose 0*g + 2051 = 7*g. Is g < 293?
False
Suppose -19*f + 32 + 25 = 0. Which is greater: 20/13 or f?
f
Let u be ((-2)/(-6))/((-784)/(-48) + -16). Is 30/47 less than u?
True
Suppose -4*r + 4*x + 0*x = -40, 0 = -3*r - 2*x + 10. Let d be (-8)/r*(-15)/10. Suppose v - z = 2*z - 6, 4*v = z - d. Which is greater: -4/3 or v?
v
Let l be 1/(-2) + (-54)/(-4). Let s = 88 + 183. Suppose 17*f + 67 = s. Is l >= f?
True
Let d(v) = v**2 - v. Let j(g) = -4*g**2 + 9*g + 21. Let f(a) = 3*d(a) + j(a). Let l be f(8). Is 3 smaller than l?
True
Let r = -55 - -18. Is -178/5 > r?
True
Let f(y) = -6*y**3 - y**2 - 2*y - 2. Suppose -3 = 4*x + 1. Let o be f(x). Suppose -4*l - 5*t - 1 = 0, -4*l + t + 2 + 3 = 0. Is l smaller than o?
True
Let x = -128 + 35. Let l = 166 + x. Which is smaller: -2/3 or l?
-2/3
Suppose 18*q = 20*q + 208. Let n = -101 - q. Does 11/3 = n?
False
Suppose -3*z = -0*z + 75. Let l = 11239 + -11264. Is l <= z?
True
Let f be (1 - 3) + (-316864)/(-158300). Let p = f + 1499215699/2414075. Let q = -621 + p. Which is smaller: q or 1?
q
Let d = 194 + -577/3. Suppose -t - 1 = i, 3*i + 5*t = 1 - 8. Which is bigger: d or i?
d
Let y = -91 + 98. Let c = 2 - -2. Suppose b - c*b + 24 = 0. Which is smaller: b or y?
y
Let m = 564 + -307. Suppose -5*z - 118 = m. Let a be (z/40)/(-3) - 1. Which is smaller: 4/3 or a?
a
Let l = -1320 + 13. Which is greater: 1/4 or l?
1/4
Suppose 3*w - 5*m + 17 = 0, -22 = 2*w + 5*m - 19. Let d = 9 + -6. Suppose -d*n + n = 6. Which is smaller: n or w?
w
Let s be -2 - 4/(-364)*555. Let d = s + -5/182. Let l = -1041/266 + d. Do l and 0 have the same value?
False
Suppose -13*m + 9*m = -28. Suppose -m*t - 6 = -5*t. Which is bigger: -7/3 or t?
-7/3
Suppose 0 = -2*u - 3*u + 5. Suppose 4*l - 76 = 2*o + 20, 2*l - 2*o = 50. Let d = 23 - l. Which is smaller: d or u?
d
Let y be 4 + 1 + 31/3. Let z = 205/12 - y. Is z at most 1?
False
Let r = -0.1 + -0.06. Suppose -139*p = -285*p + 145*p. Which is smaller: p or r?
r
Suppose -k - 49 = -5*x, -3*x - 2*k = -0*x - 32. Does x = 8?
False
Let k(j) = -j**2 - 33*j + 90. Let t be k(-33). Is t < -4?
False
Let h = 2.9 - 0.9. Let b = -1.61 + 14.61. Which is smaller: b or h?
h
Let t be ((-28)/(-3) - -2)/(2940/5733). Which is smaller: 23 or t?
t
Let b be 1/5 + 37/(-85). Is 1 less than b?
False
Let z = 8 - -3. Let v = z - 12. Is 2/5 bigger than v?
True
Let t = -6 - 28. Let b = t + 34. Let m = b - 1/4. Which is bigger: -3/2 or m?
m
Let o = 2.492 - 0.492. Let j(s) = -s**2 - 8*s. Let w be j(-8). Let t be 3/(-5) - (-1 + w). Is t bigger than o?
False
Suppose -10 - 5 = 5*r. Suppose 42 = 3*o - 0*o - 3*h, -h - 2 = 0. Let k be 32/o*(-9)/r. Do 8 and k have different values?
False
Let h be (-6)/(-3) - 36/26. Let i = h + -37/39. Let y be 4 - ((-8)/(-28) + 375/84). Which is bigger: i or y?
i
Let h = -416 + 407. Which is smaller: -16 or h?
-16
Let h = 30.304 + 1.696. Let m = 0.1 - 0. Which is smaller: h or m?
m
Let t = 46 + -59. Which is greater: -10 or t?
-10
Let g = -13/15 - -6/5. Is g at most as big as 0.2?
False
Let t = -178.919 - -179. Let p = t + -8.081. Which is bigger: p or 1/4?
1/4
Let b = 143 + -810. Which is smaller: b or -668?
-668
Suppose 4*c = -5*y - 531, 4*c + 18*y - 15*y = -533. Which is smaller: c or -132?
c
Let p = -306.21 + 306. Which is bigger: 1/7 or p?
1/7
Let w(v) = 94*v**2 + 46*v - 46. Let q be w(1). Is 93 >= q?
False
Let k(f) = f**2 + 12*f - 141. Let u be k(-19). Let i(y) = -y**2 - 3*y + 4. Let r be i(-7). Let v be (20/r)/(1/8). Does u = v?
False
Let f be (385/(-588))/((-2)/(-6)). Let t = f - -12/7. Which is greater: -1 or t?
t
Let y(n) = 2*n**3 + 14*n**2 + 21*n. Let o be y(-2). Is -17/27 at most as big as o?
False
Suppose 39*l + 9 = 38*l. Let d be 1 - (1/(-3) - 165/l). Let p be (-4)/(-2) - (-19)/(-1). Is p bigger than d?
False
Suppose 4*o = 2*g + 72, -8*g - 87 = -5*o - 4*g. Which is bigger: 23 or o?
23
Let z(i) = 2*i - 9. Suppose 2*l = 5*k - 10 - 15, 0 = -l + 5. Let t be z(k). Suppose -t = 5*b - 25. Is b > 2?
True
Let h = 14.819 + 0.281. Let r = h - 15. Which is bigger: 3/10 or r?
3/10
Let q be (-4 - 26/(-3)) + (5 - 9). Let a = 2.3 - 14.3. Are a and q unequal?
True
Let c = 0.2 - 0.2. Let h = 4 + c. Let q = 10425/7 + -1489. Is q bigger than h?
False
Let v = -3 + 10. Let q be (-7)/(-35) - 1/5. Which is greater: v or q?
v
Let q = 38 + -36. Suppose -23 = 3*w - x, -2*w - q*x + 1 = -3*w. Is w greater than or equal to -11?
True
Let c = 209 + -275. Which is greater: -68 or c?
c
Suppose -5*n = -26 + 1. Let t = 23 + -25. Let z = 3 - t. Is n < z?
False
Let b = 0.633 - 0.023. Let r = -0.41 + b. Let f be 2/(2 - (-1 - -4)). Is r not equal to f?
True
Let q(m) be the third derivative of -m**6/40 + m**5/60 + m**2. Let n = 124 - 123. Let l be q(n). Which is smaller: l or -1/2?
l
Suppose 17*c - 177 = -c - 123. Suppose -19 = -5*n + 1. Suppose -n*m + 11 = -13. Is m < c?
False
Let u be -12*2/(-4)*46/54. Which is bigger: 5 or u?
u
Let x be (-4)/(0 + 1*-2). Let i be x/(-5)*(-3)/9. Let y = 10345 - 10346. Are i and y equal?
False
Suppose 8*s = 4*s - 12. Let b(q) = q**3 + q**2 - 2*q - 6. Let j be b(0). Let m be (-1)/s - j/9. Which is smaller: m or 2?
m
Suppose 4*m = 5*o + 10, 2*o + 2 + 2 = 5*m. Which is bigger: 1/1672 or m?
1/1672
Let k be (2/(-1) - -5)*4. Suppose 2*g = 2*m + m + k, 0 = -2*g - 2*m - 8. Let i be 20/(-10)*2*2/(-4). Does g = i?
False
Let k = 12 + -13.17. Let x = k - -2.1. Let j = x + 0.07. Which is bigger: -7 or j?
j
Suppose -2*k + 4*c - 23 = -269, -4*k = -c - 464. Which is smaller: k or 114?
114
Let h = 177 - 125. Let r = -53 + h. Which is bigger: 1 or r?
1
Let i(p) = -p - 7. Let f be i(-10). Suppose 2*x + 10 = -3*u, 10 = -7*u + f*u - x. Which is greater: u or -3?
u
Let s be 6/4*3/(-9)*-2. Let n be (0 - s)/(10/(-20)). Which is smaller: n or 3?
n
Let f(r) = -r**2 + 8*r - 11. Let w be f(6). Let m be (-30)/(((-819)/12)/7). Let l = m + -310/143. Are w and l unequal?
True
Let m = 73.874 - -0.126. Which is greater: -3/4 or m?
m
Let b = -1.8 + -0.3. Let d = b + 3.9. Let m = d - -1.2. Which is greater: 2 or m?
m
Let d = 1/8 - 67/24. Let q(b) = -b**2 - 2*b + 11. Let v be q(-5). Do d and v have the same value?
False
Let q = -1 - -6. Let l be 5/(-15) - (-129)/9. Suppose -b + 0*b + l = 3*s, -q*b + 6 = -s. Which is smaller: b or 4/3?
4/3
Let q be (-1)/(-3) + 913/(-2673)*1. Which is greater: q or 1?
1
Suppose 3*d - 15 = -3*l + 7*d, -2*l = 2*d - 10. Suppose -2*k + l*j = -14, 2*k - 2*j - 8 = -0. Which is bigger: 6/7 or k?
k
Let w = -2 + 4. Let x be -3 - (w - (-2 - -1)). Let l = x + 12. Which is smaller: l or 3?
3
Suppose -11*a + 185 = -6*a. Which is smaller: 149/4 or a?
a
Let s = -5 + -2. Let d = 0.2342 - 4.2342. Is d bigger than s?
True
Suppose -4*w - 5*c = -206, 15*c - 11*c + 62 = w. Let a(p) = -18*p + 1. Let i be a(-3). Is i < w?
False
Let q = 705 + -704. Which is greater: q or -2/151?
q
Let d = 315.4 - 150.1. Let r = 159 - d. Let g = 3.7 - r. Is g at least as big as 0.2?
True
Let t(v) = -10*v + 17. Let m(a) = 3*a - 6. Let f(w) = 7*m(w) + 2*t(w). Let g be f(8). Suppose -4*k + k = g. Which is greater: 2/19 or k?
2/19
Let k(i) = i**3 - 8*i**2 - 21*i. Let h be k(10). Let z(x) = -x**2 - 6*x + 15. Let u be z(-8). Which is bigger: u or h?
u
Suppose -3*s + 4*d = -5 - 48, 71 = 4*s - 5*d. Suppose -3*f - 5*r = -137, 2*r - 106 - s = -3*f. Which is bigger: 38 or f?
f
Let m = -9 - 97. Let h = m + 128. Is 21 >= h?
False
Let o = 3.94 - 3.94. Let 