Let o = m + 66. Is 37/4 != o?
True
Suppose 0 = 4*m + 5*n - 29, -4*m + 6*n = 8*n - 38. Suppose -2 = -m*b + 9. Which is smaller: 12/37 or b?
12/37
Let z be (-160)/6*(-12)/10. Suppose -40*l - 468 = -14*l. Let c = z + l. Which is smaller: 13 or c?
13
Let w be (-18376)/(-14) + (19 - (-520)/(-28)). Which is bigger: w or 2/13?
w
Suppose -9*f - 454 = 42*f + 770. Which is greater: f or 216?
216
Let w(f) = -f**2 + 10*f + 3. Let v be w(10). Suppose -n - 19 = -p, 0 = -0*p + 3*p + v*n - 27. Suppose -3*o = p - 5. Which is smaller: -3/2 or o?
o
Suppose 316*o = 312*o + 2*m - 27198, 3*m = -o - 6796. Is -6799 < o?
False
Let h be (-2800)/(-3520) - (-3)/(-4). Which is smaller: h or -1.5?
-1.5
Let r(c) = -8*c - 192. Let m be r(37). Which is smaller: m or -1957/4?
-1957/4
Let w be (1840/(-56) - -3) + 2/(-14). Let o be (-5)/6 - 445/w. Is o <= 12?
False
Let i = 1360.4 - 1349. Is i >= 3.2?
True
Let r(w) = -46*w - 33. Let p be r(-17). Suppose 239 + p = -19*l. Do l and -50 have the same value?
False
Let o(x) = -185*x + 22. Let w be o(-3). Do w and -0.5 have different values?
True
Let y(g) = g**3 - 2*g**2 + 2*g - 60. Let a = 33 - 33. Let z be y(a). Let q be 3*5/(z/(-116)). Which is smaller: q or 28?
28
Let k = -15.6916 - 127.3754. Let q = k + 143. Let i = 16.067 + q. Which is bigger: 0.3 or i?
i
Suppose 3*h = -2*d - 0*d - 607, -2*h = 5*d + 1545. Let p = d + 320. Which is greater: p or -4?
p
Let o = -125 + 96.5. Let g = -31 - o. Let l = g + 2.3. Which is smaller: l or 2/15?
l
Let l = -0.137 + -0.298. Let p = -2.435 - l. Which is bigger: 163 or p?
163
Let l(a) = -3*a**2 - 110*a + 9. Let s be l(-9). Let i = -6057/8 + s. Suppose 3*f + 4*j = -10, 4*j - j = -3. Is i <= f?
False
Let p = 9236 + -3589. Which is smaller: p or 5648?
p
Let q = 183 + -154. Suppose q*d = 19*d + 190. Which is smaller: 14 or d?
14
Suppose -2*a - 47 - 123 = 0. Let m = -69 - a. Suppose -4*l + 4 = -m. Which is greater: 10 or l?
10
Let u(m) = m**2 + 9*m - 113. Suppose 0 = 60*i + 1114 - 154. Let l be u(i). Which is greater: 3/344 or l?
3/344
Let c = 3/337 + -3890/20557. Which is bigger: -0.3 or c?
c
Suppose -4*y - 1637 = r + 2086, 0 = 5*r + y + 18729. Is -3746 >= r?
True
Let k = 479/6 + -331/6. Are k and 25 non-equal?
True
Let y be 14/(-28) + -1 + (-1113)/(-6). Suppose -18*q = 554 + y. Which is bigger: -40 or q?
-40
Let t = 10959 + -10960. Is 2/7291 smaller than t?
False
Let w be (-7)/((-1092)/198) - 6*(-5)/(-24). Which is greater: w or 5.7?
5.7
Let s(i) = 3*i**2 - 16*i + 9. Let a be s(5). Let n be 3/a*(-8 + 6 + -18). Which is smaller: -29/2 or n?
n
Let g be (-3)/(-9)*1140/8*52/(-130). Let v be 20/(-24) + (-1)/(-2). Which is bigger: v or g?
v
Suppose -1923*u = -2107*u - 327336. Is 0 >= u?
True
Let p(a) = -a**2 - 123*a - 2471. Let z be p(-98). Is z > -350?
True
Let x = -110.4 + 83. Let d = x + 27. Let b = -48 - -47.9. Which is smaller: b or d?
d
Suppose -5*l + 3*w + 853 = 0, 2*l = -2*w - w + 337. Let a = 109 - l. Let k = -64 - a. Which is smaller: k or -2?
k
Let u be (-60)/140 + (-45)/(-7) + -1. Let o be 26*-2*u/(-10). Suppose -g + 26 = o. Which is smaller: -1/46 or g?
-1/46
Let i(k) = 2*k**3 - 138*k**2 + 3*k - 322. Let g be i(69). Which is smaller: g or -113?
g
Suppose 2*g = -x - 5, -3*g + 0*x - 8 = 2*x. Let w be 5 + g + 4/12*0. Suppose 3*o - q = -4, 2*o = -2*q + 4 + 4. Which is greater: w or o?
w
Let w be ((-39)/(-52))/(366/16). Let d be 2 + -9 + 6 - -2. Is d less than or equal to w?
False
Suppose -253*l + 30 = -251*l. Suppose 3*d + l = 18. Does d = 19/9?
False
Let s = -49 + 47. Let j be (-100)/8*(1 + s)*-2. Let p = 7.1 + -7. Which is smaller: j or p?
j
Let i = -6 + 2. Let g be (2/20)/((-63)/42). Let q = -4/15 + g. Which is bigger: q or i?
q
Let i = 242 + -243. Let y be (9/27)/(-149*i/(-6)). Let r(m) = m + 5. Let u be r(-5). Do y and u have different values?
True
Suppose -19 = -176*f + 157. Which is smaller: f or 5/473?
5/473
Suppose -v = -0*v + 7. Suppose -5*n - 19 = -2*c, -3*n - 823 = c - 816. Which is greater: v or c?
c
Let g = -61 + 60. Let q be g/((-5)/(15/(-3))). Which is smaller: -9 or q?
-9
Suppose 5*u + 3*o = -0*o + 60, u = 4*o + 12. Let z be ((42/u)/(-7)*468)/(-1). Which is bigger: z or 233?
z
Let c be 12/(-26) + ((-2795)/169 - -18). Is c at least as big as 2/2575?
True
Let m be (12 + (-602)/56)*1/(-5). Which is bigger: -233.6 or m?
m
Let x(z) = -10*z - 8. Let m be x(3). Let n = m + 37. Let s be n/(15/6)*(-27)/72. Is 2 at least s?
True
Let s = 62.5 + -62.5. Let m = 3573/77 + -335/7. Which is greater: m or s?
s
Let b(a) = -a**3 - 16*a**2 - 2*a - 34. Suppose 2*t = 3*h + 16, 2*t + 8 = -0*t. Let n be 0 - (h - -12)/((-1)/(-4)). Let r be b(n). Is r <= -10/7?
True
Let x = -2489 + 6030. Suppose 44*m - x = -417. Which is smaller: 72 or m?
m
Let p(y) = 9*y - 12. Suppose 15*w - 45 = 10*w. Suppose 77 = w*b + 14. Let j be p(b). Is j less than 51?
False
Let u be ((-708)/5)/(8/(-11940)*3). Let g = u - 494009/7. Let a = -127 - g. Which is greater: -5 or a?
a
Suppose 5*y - 10*y = -5. Let n = y + 86. Let x = 8765 - 8679. Which is smaller: n or x?
x
Let u = 37.929 - -0.071. Let r = 32.81 - -2.19. Let y = r - u. Is y less than -3/7?
True
Let s(m) = -3*m + 48. Let d be s(-14). Let v be 761 - (2/(-12))/((-15)/d). Do 760 and v have different values?
False
Let a be 539/(-273) - (-3)/(-9). Suppose 2*v - d = 4, 2*d + 8 = 56*v - 57*v. Is a > v?
False
Let u = 0.5 - -7.2. Let v = 8.13 - u. Let h = -0.391 + v. Which is smaller: h or -1?
-1
Suppose 5*o + 26476 = 5*v - 8629, 0 = -5*v - 5*o + 35095. Is 7018 at least v?
False
Let k(v) = -2*v - 17. Let c be k(-10). Suppose -c*s + 12*s = 18. Suppose 0 = -s*j + 4. Which is smaller: 11/7 or j?
11/7
Let b(s) = -s + 5. Let l be b(3). Let h be (-522)/(-5) - 10/(-250)*-10. Suppose -8 = -l*g + h. Is g at least as big as 56?
True
Let v = 224 + -219. Let k = -3 - -3. Let a = v - k. Which is smaller: 3 or a?
3
Suppose 50*o - 53*o = -3*d + 1845, 0 = -2*d - 5*o + 1195. Let y = 777 - d. Which is smaller: 3 or y?
3
Let d = 3833/36482 - -3/986. Let q(k) = k**3 - 17*k**2 + 21*k - 358. Let i be q(17). Which is smaller: d or i?
i
Let s(b) = 2*b - 7. Let k be s(8). Let w(o) = -62*o - 928. Let x be w(-15). Which is smaller: k or x?
x
Let y = -13020 - -13013. Which is bigger: y or 65?
65
Let s = 49 - 45. Suppose s*t = -1 + 9. Suppose -t = -k - k. Which is bigger: 1/22 or k?
k
Let r(n) = -191*n - 1838. Let s be r(-54). Which is smaller: s or 8477?
s
Let a = 1.1132 - 1.1282. Which is bigger: a or 96?
96
Suppose -2*b + 4*d + 44 = 0, 2*b + 34 = 4*b - 2*d. Suppose -16*h + 24 = -b*h. Let n be ((-8)/(-6))/(h/2052*6). Is n less than 76?
False
Let j be (-1906)/((-1)/(-9 + 1)). Let y be j/9168*-3 + (-10)/2. Let i be (-3 + 2)*(2 - 1). Which is smaller: y or i?
i
Let o = 222 + -223. Let v be (-35*(-7)/(-14))/(o/2). Which is greater: 33 or v?
v
Suppose -6*n - 5 = -29. Let o be n/14 + 166/7. Let i be o/(-16)*(-4)/(-6)*-1. Are i and 3/13 non-equal?
True
Let n be (-315)/(-6)*(-322)/(-10) - (-83)/(-166). Is 11820/7 smaller than n?
True
Suppose 14*v = 7*v + 56. Suppose -v*b + 22*b - 672 = 0. Which is greater: 47 or b?
b
Let h = -10.33 - 1.07. Let o = -11.26 - h. Are -0.8 and o unequal?
True
Let v = -3.18 + -7.52. Let t = v + 10.9. Which is greater: -132 or t?
t
Let c(d) = -8 - 8*d - 3 + 3 - 4. Let j be c(-3). Which is smaller: 14 or j?
j
Suppose 4*f - 3*f = -5*a + 21, 2*f = 2. Suppose -3*s = s + a. Let d(c) = c**2 - 4*c - 12. Let y be d(6). Do s and y have the same value?
False
Let x = 125 + -125.81. Let v = -60.7 + 61. Is x greater than v?
False
Suppose -219*j + 653 = -4. Which is smaller: 52 or j?
j
Let x(h) = 3*h**2 + 16*h + 44. Suppose 2*r + 8 = -o - 13, 5*r + 14 = o. Let c be x(o). Do c and 231 have different values?
False
Let j = -0.32 + 0.3. Suppose -294 = -17437*c + 17535*c. Which is smaller: j or c?
c
Let m = -37165/10938 - -702416711/5829954. Let o = 2842/41 - m. Let s = o - -48. Is 1 at least s?
True
Let d be 6/153*(-564)/(-96). Let u = 5/34 - d. Which is smaller: u or -2?
-2
Suppose -1140 = 6*o - 11*o - 3*i, -4*i = -4*o + 912. Suppose -o*h = -231*h. Is h not equal to 2/427?
True
Let a be ((-87)/810)/((-36)/(-285)*7). Let t = a + -2/567. Is 1 > t?
True
Let p(o) = o**2 + 6*o + 169. Let x be p(15). Is x greater than 2?
True
Suppose -86*f - 232065 = 34*f + 123*f. Is -4773/5 smaller than f?
False
Let j = 1111