 0.5. Which is bigger: z or i?
z
Suppose 5*b - 3*a - 43 = 0, -4 = -2*a + a. Suppose -b = -r - 5*m + 6, 5*m - 25 = -5*r. Suppose r*x = -u - 0*x + 23, 3*u = -4*x + 71. Is u < -1?
False
Let v = -8143495/11 - -740813. Is 495 > v?
False
Let h = -4605/2 - -2303. Which is bigger: -1306 or h?
h
Let s = 1689 - 845. Let l = 797 - s. Let q = 0.3 - 1.3. Is l >= q?
False
Let l = 7.733 + -0.625. Let g = l + 0.292. Is -1 < g?
True
Suppose 1790 = 432*n + 494. Suppose -2 = 3*d + 1. Do n and d have the same value?
False
Let h(k) = 1435*k - 1480. Let w be h(-11). Is -17264 < w?
False
Let w be 3/(189/(-119)) + 2. Which is smaller: 2.148 or w?
w
Let z = 113/8557 + 2/199. Suppose f - 4*f - 3*x + 6 = 0, 2*f + 2 = -5*x. Suppose -2 - 2 = -f*h. Is h < z?
False
Suppose 1 = -3*f + 7*n - 5*n, 4*f - 4*n + 4 = 0. Let v = 12 - 8. Suppose 4*m - 12 = m, -v*t = -2*m + 24. Is t not equal to f?
True
Let n = 541 - 372. Suppose -y - c + n = -104, -2*y = -c - 555. Which is smaller: y or 277?
y
Suppose -29*a + 27*a = 40. Are a and -465/23 equal?
False
Suppose 2*b - 15*p = -11*p + 424, 2*p = -2. Let r = -2733/13 + b. Do r and 0.06 have different values?
True
Let t = -75.83 + -1.17. Let w = 2207 - 2130.17. Let j = w + t. Which is greater: j or 0.2?
0.2
Suppose -2*q = 5*h - 0*q - 136, -4*h = q - 110. Let c be 502/(-5) + h/70 + 2. Let g = -83 - c. Is g at least as big as 15?
True
Let h = -38 + 48. Suppose -2*m = 3*m + h. Let i be (-8 - 4/m)/2. Which is bigger: 1 or i?
1
Let n = -5/2302 - -152267/154234. Do 2 and n have the same value?
False
Let p = -2291 - -373430/163. Is p <= 0.2?
True
Let l be (-4)/38*94/4 + 20/8. Suppose 2*g - y + 1 = -5, 13 = 3*g + 4*y. Which is smaller: g or l?
g
Let r(f) = 3*f + 17. Suppose 25 - 21 = -t. Let o be r(t). Suppose 5*p = -3*z + 18, 0*p - o*p = -5*z - 10. Which is bigger: z or 8/13?
z
Let h be 2*1 + 368 + 24 + 0. Suppose -24*c - 110 - h = 0. Let k = -17 - 5. Which is bigger: k or c?
c
Suppose -2*a + 4*j = -10 + 72, -5*a + 3*j = 64. Let g(o) = o**2 - 2*o + 2. Let p be g(2). Suppose -p*f - m = -5*m + 22, 5*f + m = 0. Which is greater: a or f?
f
Suppose -17 = -3*a - 29. Let h(c) = -c**3 - 3*c**2 + c - 9. Let m be h(a). Let q be (-1 + 0)/(-4*m/(-36)). Which is greater: -16/7 or q?
-16/7
Let v = 1219.7 - 1217.7. Are v and 542 equal?
False
Let n(p) = -p**3 + 2*p**2 + 2*p + 1. Let m be n(-1). Suppose 4*w - m*f = -120, f = 4*f + 6. Which is smaller: w or -30?
w
Let m = -13710/23535379 + -1/15253. Is 1 > m?
True
Let s = -6151 - -2626451/427. Which is smaller: s or 1?
s
Suppose 0 = 3*d + 3*f + 81, -2*f + 128 = -4*d - d. Let a = 3 + -9. Let u = a + -18. Is d smaller than u?
True
Let r = -160 - -159. Let a be (6*r)/(41 + -44). Which is smaller: a or 45/19?
a
Suppose -3*g + 216 = -141*c + 140*c, -g + 68 = -c. Do 81 and g have different values?
True
Let v(t) = t**2 - 38*t - 57. Let q be v(30). Let s be ((-33)/q)/(1/(-2)). Let w = 40/7 - 153/28. Is w less than or equal to s?
False
Let l be -3*(3 - (-77634)/(-54)). Do 4304 and l have different values?
False
Let r be -15*(-5 - (-63)/15). Let d = -79 - 143. Let q be r/36 - (-92)/d. Which is smaller: 0 or q?
q
Suppose -13*d + 6122 = 6795 + 11534. Is -936 greater than d?
True
Suppose -37*v - 7*v = 6820. Is 0.3 <= v?
False
Let q = 34022 + -34022. Which is smaller: -2/941 or q?
-2/941
Suppose -56*n = -61*n + 2*l + 378, 5*n = 3*l + 372. Do n and 84 have the same value?
False
Let r be (5 - 0) + (1 - 2). Let d be ((-12)/(-4))/(30/8 - r). Are d and -20 non-equal?
True
Let t be 3/(-12)*0 + 215. Let i = t + -201. Is i bigger than 14?
False
Let r be 4/6*3 - -7. Let k = 6.96 + -8.031. Let b = -1.071 - k. Is b < r?
True
Let v = -0.881 + 0.021. Let i = v + 1.1. Suppose 5*s = 2*l + 2, -27 + 23 = s + 4*l. Are s and i non-equal?
True
Let c be (-1006)/(3 + (7 - 6)). Let u be 11*(-22 - (0 + 1)). Does u = c?
False
Let a = -209 - -209. Suppose a = -2*y - 2*n + 57 + 13, -4*y + 5*n + 131 = 0. Is y > 29?
True
Suppose u - 192 = -2*u - 2*m, 3*u - 3*m = 177. Let r = u - 35. Suppose -9 = 5*y - 144. Do r and y have the same value?
True
Let k(v) = 2*v**3 + 7*v - 5. Let u be k(4). Suppose 3*i - 2 = 7, i + 609 = 4*b. Is b != u?
True
Let t = -58 - -111. Suppose -5*w + 3 + 2 = 0, 54 = -p + w. Let s = t + p. Is 1 <= s?
False
Suppose 1744 = -40*b - 8616. Which is greater: -277 or b?
b
Suppose 4*k = -0*k + 5*c + 223, 0 = 5*k - 4*c - 290. Let x = -66 + k. Let m be 2/x*-8*(-4)/392. Which is smaller: m or 1?
m
Let h be (-60)/698*58 + (6 - 1). Which is smaller: 1 or h?
h
Let q be 3/(-73)*(-34 - -33). Suppose 0*w - 2*w + j - 7 = 0, 0 = w + j - 4. Is q less than or equal to w?
False
Let i = 10 - 7. Let o = 5682/71 - 80. Which is smaller: o or i?
o
Let z(x) be the third derivative of -x**6/10 - x**5/60 - x**4/24 + x**3/3 - 21*x**2. Let a be z(1). Let c be a*((-3)/(-30) - 0). Which is greater: -2/11 or c?
-2/11
Let j be (-10)/((-60)/(-33)) + (2 - -3). Which is smaller: j or -57/65?
-57/65
Let c be (-170)/(-25)*20/8. Let q = 121/7 - c. Which is smaller: q or -0.179?
-0.179
Suppose -13*n = -19*n + 138. Let t(o) = -3*o + 21. Let m be t(n). Is m greater than or equal to -50?
True
Let r = -77 - -269. Let u be (22/(-8))/((-48)/r). Which is smaller: 13 or u?
u
Let p be ((-24)/5)/((-21)/350)*-2. Let d be (5/(-35))/(10/p). Is 2 <= d?
True
Let r(x) = -77*x + 746. Let m be r(10). Which is smaller: m or -479/21?
m
Let j(b) = -b**3 - 49*b**2 - 93*b - 66. Let t be j(-47). Which is bigger: -337/3 or t?
-337/3
Let d = -374 - -59. Let l = -471 - d. Let h = -121 - l. Which is greater: 0.1 or h?
h
Suppose 5*y - 9 = -4*v, 202*y - 1 = 204*y - 3*v. Which is bigger: y or 64/43?
64/43
Let y(c) = 2*c**2 + 144*c + 39. Let f be y(-56). Which is smaller: f or -1754?
-1754
Let a be 4 + -2 + -4 - 311754/(-66). Let l = -4725 + a. Is -3 less than l?
False
Let k = 391 - 610. Suppose 1409*y + 295460 = 66*y. Which is bigger: k or y?
k
Let c = -12997 + 12997. Let g be (-6)/3 + (-753)/(-377). Which is bigger: c or g?
c
Let o = -4497 + 4342. Suppose -t = -2*g - 3*t - 310, 0 = -3*g - 4*t - 468. Is g less than o?
False
Let x(p) = p**3 + 4*p**2 - 19*p + 10. Let a be x(-6). Suppose a*b = 55*b - 9. Suppose b*s = -4*h + 9, 3*s - 10 + 1 = h. Which is greater: 2/51 or h?
2/51
Let d = -26592 + 239086/9. Let r be (-2)/(-3) - (-332)/(-12). Is d at least r?
True
Suppose 4*v - 6*v - 740 = -3*m, -5*m - v + 1216 = 0. Let h = 17349 - 17105. Is m <= h?
True
Let i(d) = 2*d**3 - 59*d**2 + 194*d - 6717. Let r be i(30). Suppose -7 = -5*z - 4*l, 4*z + 19 = -0*z + 5*l. Is z at most r?
True
Let k(o) = 266*o - 4418. Let r be k(16). Let f = -379 + 217. Is r < f?
False
Let s(m) = 6*m**2 - 1. Let i be s(-1). Suppose d - i = 14. Suppose 20*h - 49 = d*h. Which is greater: h or 50?
50
Suppose l - 2*h - 761 = 0, 0 = 3*l - 7*l - 3*h + 3066. Let z = -765 + l. Let d be (1/(-2))/(122/4). Which is bigger: d or z?
z
Let o = -57.913 - -253.08. Let k = 0.167 - o. Which is smaller: k or 0?
k
Suppose 16*n + 15992 = -18328. Which is smaller: -10722/5 or n?
n
Let w = -15525 + 16050. Which is smaller: 528 or w?
w
Let l(b) = -b**2 + 12*b - 15. Let m be l(10). Suppose 3*f + 2 = m*s, -5*s + f + f = -3. Let c = 6155/6 - 1024. Which is greater: s or c?
c
Let g(v) = v**2 + 3*v + 1. Let c be g(-2). Let w be -17 + (-5990)/(-609) + 7 - (-4)/58. Which is smaller: c or w?
c
Suppose 4*a - 7*q - 84 = -3*q, a - 37 = 5*q. Let o be (2 - (4 + 1)) + a + -15. Is -3/16 < o?
False
Let h = -0.04221 - -0.04221. Is h at most as big as 12231?
True
Let w = -1336253/50 - -26725. Let h(c) = c. Let i be h(0). Which is bigger: i or w?
i
Let s = -8 - -8.1. Let i(z) = 2*z**2 + 5*z - 4. Let y be i(-2). Let f be 0 - y - (-2 + 4). Which is greater: s or f?
f
Let m = -399 - -680. Let i = 280.6 - m. Which is bigger: -18 or i?
i
Suppose 0 = 4*u - j - 19 + 9, 4*u - 3*j - 6 = 0. Suppose -3*v + 1 = -2*l, 6*l = 4*l - u*v + 5. Suppose 0*y = -5*y - 5. Are y and l non-equal?
True
Let o be (2896/112 + -11)*1/(-4). Suppose -10 + 4 = -2*m. Suppose j + 0*z = -5*z - 14, m*j + 4*z + 20 = 0. Is j at most o?
True
Let w(q) = 5*q - 43. Let o be w(9). Suppose 0 = -f + 5*j + 341, f = -0*f + o*j + 326. Suppose -4*h = k + f, -h + 6*k - 5*k - 79 = 0. Is -79 at most h?
True
Let o be 4 - (1 - (-6244)/48). Let l = o + 127. Which is smaller: 4 or l?
l
Let z = -169 + 240. Let r = 222 - z. Which is smaller: