23)/(-12)). Does a = r?
False
Let h = 108 + -190. Let i = h - -80. Which is bigger: i or 0.9?
0.9
Let l be 1/((-57)/(-189)) - 3. Let t = l - 85/209. Is t != 1?
True
Suppose -155 = -5*t + 5*k, 0 = -3*t - k + 3*k + 97. Let x be t/(-10) + 6/2. Which is smaller: x or -8/5?
-8/5
Let z be (-12)/(-14)*(-21)/(-3). Let q be z/9 - (-15)/(-9). Are q and -4/17 equal?
False
Suppose v = 35*y - 34*y - 2, 0 = -v - 3. Is y <= 4/63?
True
Let c = -277 + 277.5. Which is greater: -26 or c?
c
Let z be 1*7 - (-54 + -131). Which is smaller: z or 190?
190
Let v = 0.24 - 0.25. Let s = 0.03 - v. Let u = -2 - -4. Is s at least as big as u?
False
Suppose -d - d = -m - 2, 0 = -2*m - 3*d - 18. Let l be (8/(-14))/((-5)/105*m). Which is greater: l or -4/7?
-4/7
Suppose -2*w = -2*y + 94, 0 = -3*y + 3*w - w + 138. Let u = 13 + y. Which is smaller: u or 56?
56
Let s = 2654 + -2996. Which is smaller: -1022/3 or s?
s
Let m = 42 - 56. Let g = m + 15. Which is smaller: g or -3/41?
-3/41
Let p be (12 + -10)/8*24. Suppose 0*z + 4*z = 0, -3*j - 2*z + 15 = 0. Which is smaller: p or j?
j
Let g = 405 + -372.6. Let o = 32 - g. Is -7 < o?
True
Let i(b) = -3*b + 9. Let f be i(-7). Suppose 2*m = -v + 17 - 5, -4*m = 0. Suppose v = -4*y, 0*y = 3*t + 2*y - 81. Is t less than or equal to f?
True
Let x(m) = -m**3 + 51*m**2 + 53*m - 52. Let f be x(52). Which is smaller: 21/5 or f?
f
Let m be (7 - (-15365)/(-2394))*-3. Let a = 50961/38 - 1341. Let h = a + m. Which is smaller: h or -2?
-2
Let k = 511 + -21461/42. Let r(o) = -o**3 - 21*o**2 - 16*o + 79. Let x be r(-20). Is x equal to k?
False
Let o(c) = -c**2 - 9*c + 5. Let q be o(-10). Let i = -6 - q. Let b be (-1)/13*(-10)/25. Which is smaller: b or i?
i
Let a = -1.2 + -2.7. Let f = -0.1 + a. Let m = -4.7 - f. Are m and 2 equal?
False
Let d be (0 - 0 - 1)/(1/(-14)). Suppose 8*c = d + 18. Is 5 bigger than c?
True
Suppose -2*a - 4*m - 4 = 0, a - 2*m + 9 = 3*m. Let p(j) = j**2 + 7*j + 14. Let n be p(a). Which is bigger: 4 or n?
4
Suppose 0 = 2*z + 3*q + 77, 0 = 5*z - q + 229 - 62. Which is smaller: 5 or z?
z
Suppose 64 = 4*h + 2*s + 20, 4*h - 4*s = 32. Suppose -h = 11*v - 6*v. Let b = 3.1 - 3. Which is bigger: v or b?
b
Let p = -78/83 - -1037/2075. Is p not equal to -1?
True
Let b be -4*((-45)/6)/5. Suppose -3 - 2 = -g + 2*i, 0 = 4*i - 20. Let d be (-10)/b*g/10. Is d < 0.2?
True
Let a = 249.8 + -255. Which is greater: -0.1 or a?
-0.1
Suppose 5*y = 5*r - 10, 0 = -0*y - 3*y + r + 2. Suppose -k = -y*k + 5. Suppose -b = -2*p - 0*b + 13, 5*b = -k*p - 5. Is 4 at most as big as p?
True
Suppose -t - 13 = -14. Which is bigger: -8/49 or t?
t
Let i be (91*3/15)/(8/40). Let p = i - 821/9. Which is smaller: 0.1 or p?
p
Suppose -r - 47 - 402 = 5*d, 4*d - r = -361. Which is smaller: -89 or d?
d
Let g be 2 + -9*6/12*2. Suppose y + 5*t = -7, 2*t + 9 = 2*y + 23. Is g at most y?
True
Let p = -17.1 + 17. Let y(a) = 3*a**3 + a**2 + 3*a + 2. Let q be y(-2). Is q smaller than p?
True
Let o = -11.2 - -9.84. Let y = o + 0.06. Let b(q) = -q**2 + 8*q - 7. Let n be b(7). Which is greater: y or n?
n
Let s(w) = -2*w - 7. Let o be s(-5). Suppose 3*n - 36 = 4*b, o*b = n + 2*b - 11. Let u be 24/133 - n/28. Are u and 0 equal?
False
Let x be 7/((-322)/6)*10/(-15). Is x at most as big as 1/12?
False
Let l = 20362/465 + -219/5. Which is smaller: l or -1?
-1
Let f(j) be the second derivative of -j**3/3 - j. Suppose 0*g - g = g. Let c be f(g). Which is greater: 2/23 or c?
2/23
Let n = -511 + 446.6. Let z = n - -64. Is 2/13 != z?
True
Suppose 11 - 35 = -6*q. Let f be 2679/(-209) - q/22. Is f smaller than -10?
True
Let m = 34/15 - 13/5. Which is smaller: m or 963?
m
Let w be 6/(-4)*(1440/(-84) + 18). Let g = -3.2 + 3. Which is greater: w or g?
g
Suppose 17 - 5 = 4*h - 2*t, -2*h - 5*t = -30. Let j be ((-12)/32)/(h/170). Which is smaller: -13 or j?
-13
Let u = 0 + 0. Let s be (-8)/(-6)*(-30)/(-40). Let a be 2 + 220/(-115)*s. Which is greater: a or u?
a
Suppose -11*d - 84 = 620. Which is smaller: d or -67?
-67
Let n = -28 + 1. Let d = -18 - n. Let j = -7 + d. Which is smaller: j or 2/9?
2/9
Let a = -405 + 401. Is a > -1.9?
False
Let k(s) = -2*s + 4. Let n be k(-5). Suppose -4 = -2*t, -2*t = 5*h + n + 2. Let f be (1/2)/(1/(-10)). Is f bigger than h?
False
Let f = 0 + -2. Let i(o) = -o**2 - 16*o + 19. Let m be i(-17). Let j be 5/m*6/(-15). Is j != f?
True
Let s = -1677 - -108977/65. Which is smaller: 1 or s?
s
Suppose 6 = 4*a - a. Let x be 179/(-210) - a/(-7). Let c = x + -1/10. Which is greater: c or 0?
0
Let t(k) = 3*k**2 + 48*k + k**2 - 51*k - 2*k**2 - 4. Let a be t(3). Suppose -w + 0*w = -2. Which is smaller: w or a?
w
Let x(n) = 3*n**2 - 146*n + 85. Let t be x(46). Which is greater: -278 or t?
-278
Let x be (-2)/(-8) + 99/(-120). Let q = 1/7 - -13/56. Let h = x + q. Do h and -1/5 have the same value?
True
Suppose 5*p + 8 = 2*l, 0 = -2*p + 5*l + 8 - 28. Let g = 8 + -12. Let a be (g/48)/(15/12). Which is smaller: a or p?
a
Let q = -610 + 600. Which is smaller: q or -0.3?
q
Let c be -8 - (-399)/45 - (-2)/15. Which is smaller: c or 2/101?
2/101
Suppose 0 = -3*b - 4*v - 14, 7 = -2*b - v - 9. Let r be 10/b - (0 + 13)/(-1). Let j be (-2)/((-2)/(15 + -1)). Is j greater than or equal to r?
True
Suppose -g - 87 = -85. Let c be (12/g)/(-9*3/(-72)). Which is greater: -14 or c?
-14
Let k(t) = -2*t - 9. Let s be k(-7). Suppose 5*h - 45 = 4*p, h + 4*p - 2*p + s = 0. Suppose 3*m - 2*u + 7 = -0*u, h*u = m + 24. Which is smaller: m or 2?
m
Suppose -6*s - 126 + 492 = 0. Suppose -f = 62 - s. Which is smaller: -12/13 or f?
f
Let f = -15 - -21. Suppose 0 = 3*i + 2*x, -i - 1 = -f*i - 3*x. Let y = -1246/5 - -250. Is y greater than or equal to i?
False
Let h = 9.219 - 0.219. Is -3/7 less than h?
True
Let l be 44/(-33)*(-3)/2. Suppose -l*d - 16 = 2*d. Is d at least -3?
False
Let m(r) = -r**3 - r**2 + 1. Let w = -7 + 7. Let v be m(w). Let l be (-58)/(-77) + 4/(-22). Which is bigger: l or v?
v
Suppose -4*w + 4*u = -w - 84, 2*w = 2*u + 56. Let x(j) = -25*j + 5. Let o be x(-1). Are w and o equal?
False
Let v = 320 - 2557/8. Is -2/13 smaller than v?
True
Let d = 46 + 2. Suppose -d*c + 24 = -44*c. Which is smaller: 13/2 or c?
c
Suppose -3*h + 2*u + 17 = 0, -2*h = -h + 3*u - 24. Let v be (-252)/(-10) - h/45. Let c be (-5)/v + (-16)/(-5). Which is bigger: c or 4?
4
Let z be 1/(2916/(-478)) + 29/174. Is 0 at least as big as z?
False
Let u(h) = h**3 - 9*h**2 + 16*h + 12. Let y be u(4). Which is bigger: y or -30/11?
-30/11
Let r = -14437/22 + 656. Which is smaller: r or -1?
-1
Let a = 5113/3 + -1679. Let z = 25 - a. Suppose 5*y - 29 = -4*i, 0 = -i + 5*i - 2*y + 6. Is i less than z?
False
Let m be -3 + 0 - -1 - -4*1. Suppose -m*g + 81 = -5*g. Is -26 greater than or equal to g?
True
Let i = -4/485 - 926/5335. Which is smaller: i or -17?
-17
Let i be -7 - -6 - 5 - 12. Is i > -0.01?
False
Let z = 0.12 - 0.02. Let f = -9.9 - -11. Let p = z - f. Which is smaller: p or -1/5?
p
Let z = -248 + 249. Let c(h) = -h + h - 3*h - 8 + h**2 - 2*h. Let r be c(6). Which is bigger: z or r?
z
Let u be (-72)/(-8)*1/3. Suppose -u*q + 39 = -0*q. Let r be (4/q)/(26/(-39)). Is 0 < r?
False
Suppose k + 2*k = 51. Suppose -3*p = -4*b - 36, 2*p + 45 = 5*p - b. Are p and k nonequal?
True
Let m(v) = v**2 + v - 1. Let l(d) = -3*d**2 - 5*d + 4. Let u(x) = -l(x) - 4*m(x). Let f = -2 - -3. Let h be u(f). Is 8/5 >= h?
True
Suppose 0 = z + 22 - 1. Let m = -161 - -141. Which is bigger: m or z?
m
Let i = -126.04 + 126.3. Are 27 and i unequal?
True
Suppose 14*n = -657 + 69. Let q = 48 + n. Are q and 21/4 nonequal?
True
Let t = 2701/4739 - -1/677. Let c = -2/105 + 4/21. Let s = t - c. Is 2/29 not equal to s?
True
Let v(s) = 12*s - 7. Let z be v(1). Let l = z + -6. Which is bigger: l or 1/29?
1/29
Let b(g) = g**3 + 34*g**2 + 99*g + 147. Let w be b(-31). Is w smaller than -39?
False
Let x = -100/35033 - -45088805/25013562. Let a = 4/119 + x. Are 2 and a nonequal?
True
Suppose -17*x + 5 = -22*x. Let v be (35/(-25) - -1)/(x/5). Which is bigger: 12/17 or v?
v
Let q = -5055 + 21211/4. Let j = -246 + q. Do -0.1 and j have different values?
True
Suppose -5*m = -14 - 11. Suppose m = 3*z - 7. Suppose -z*h = -0 - 12. Which is smaller: 1 or h?
1
Let g be (-2)/7 - (-171)/(-63) - -6. Let a be (-1 + 3 - g)/(8/(-8)). Is a bigger than 1/56?
True
Let o(w) = -w**2 - 12*w + 10. Let q 