5*y. Do t and 9/5 have different values?
True
Suppose 0 = 11*m + 196 + 46. Let x be m/(-4)*1*(1 - -1). Is x at least as big as 10?
True
Let j = 147 + -153. Let z = 7 + -3. Suppose -3*n = 2*n - 3*x + 9, -z*x - 23 = 5*n. Which is smaller: n or j?
j
Let t = -1946/778629 + 1/1383. Which is bigger: 0 or t?
0
Let o = 8.47 - 8.27. Is 0.195 at least as big as o?
False
Let s = 0.75 + -0.4. Let d be (-3*8/108)/((-2)/(-3)). Is d smaller than s?
True
Let j(o) = o + 1. Let r be j(-1). Suppose 4*l = -r*l - 4. Which is smaller: 1/20 or l?
l
Let o = 15 + -1. Let r(p) = 2*p**2 - 6*p + 15. Let q be r(3). Which is smaller: o or q?
o
Suppose 12*r - 56 = 5*r. Suppose -9*s - r = -s. Which is smaller: s or 0?
s
Let y = -0.054 - -0.068. Let t = y + -2.014. Is 1/12 <= t?
False
Suppose -t + 4*p - 169 = -28, 10 = 5*p. Which is smaller: t or -131?
t
Suppose 4*j - w = -16, -4*j - 7 = -2*w + 13. Let c be 10*(3 - (-26)/(-10)). Suppose -1 = -c*q - 21. Which is smaller: j or q?
q
Let r = -250.5 - -331. Let x = 80 - r. Which is greater: -9 or x?
x
Let c(m) = m**3 + 5*m**2 + 7*m + 3. Let g(o) = o - 24. Let i be g(19). Let d be c(i). Which is bigger: -33 or d?
d
Let u be 482162/(-606) - 9/27. Let y = u - -796. Does 1 = y?
False
Let r = -2112/13 - -276646/1703. Let s be (-136)/(-170) - 1/(-5). Which is greater: s or r?
s
Let g = -62 + 183. Which is smaller: 122 or g?
g
Let h = -32/3 + 21/2. Are -21 and h nonequal?
True
Suppose 3*d = -2*q + 35, -2*q - 2*d + 30 = 2*d. Suppose q = 5*i + 75. Suppose 2*p - 5*c + 30 = -p, -2*p = -2*c + 20. Is i less than p?
False
Let z be -1 + 4 + -3 + 2. Let r be 1/(-5)*(z - (-188)/(-24)). Is 1 bigger than r?
False
Let j(n) = -10*n**2 - 2*n + 16. Let h be j(-5). Let k = 1349/6 + h. Suppose 5*g - 5 = -0*g. Is g less than k?
False
Let u(v) = 14*v + 2. Let l be u(1). Let j be ((-12)/l + 6/2)*-4. Which is greater: j or -11?
j
Suppose -6*f + 3*f + 78 = 0. Suppose -6 = f*x - 25*x. Which is smaller: x or -8?
-8
Let h(d) = -d - 83. Let f be h(17). Are -98 and f nonequal?
True
Let r be (-4)/2 - 70/14. Let x be (20/42)/(3/r). Is -2 greater than or equal to x?
False
Let s = 71 + -71. Suppose -4*m + 3*d - 75 = s, 5*m = -5*d + 24 - 109. Is -18 smaller than m?
False
Let m(u) = -15*u + 90. Let i be m(6). Let v = -7/20262 - -3507587/6544626. Let r = v + -10/17. Is i at least as big as r?
True
Let c be 3 + -15 - (-2304)/178. Do c and 1 have the same value?
False
Let r(a) = -10*a + 138. Let q be r(13). Is 14 at most as big as q?
False
Let x be 3*(2/(-3) + 481/39). Suppose s + 17 = 5*b, 3*s + 2*b - 1 = -x. Which is bigger: -11 or s?
-11
Let q = -805 + 2414/3. Let y(k) = k - 6. Let p be y(5). Let s be (1*-2)/(-2) + p. Does q = s?
False
Suppose 4*d - 14*d + 9230 = 0. Is d at least 924?
False
Suppose -60 = -0*u - 4*u - 4*p, 3*p - 23 = -u. Suppose -4*o + 7 = -u*o. Which is bigger: 3/35 or o?
3/35
Suppose 221*z - 223*z - 16 = 0. Let t be 4*(1 + (-1)/4). Let h = t + -4. Is z less than or equal to h?
True
Let n = -68 + 0. Let b = 68.1 + n. Is 68 <= b?
False
Suppose x - 14 = 5*q, 6*x = x + 3*q - 18. Let o be 2/12 - (-7)/x. Let u be 14/21 + 4/(-6). Do o and u have the same value?
False
Let d be 12/30 + 76/(-340). Is d less than 1?
True
Let a(l) = -10 - 1 + 0 - l + 3*l. Let n(c) = -2*c + 11. Let f(i) = 5*a(i) + 6*n(i). Let m be f(8). Which is bigger: -6 or m?
m
Suppose -3*b - 33 = -4*i - 6*b, 0 = -3*i - 4*b + 16. Suppose -2*m + i = m. Suppose -m*t = -s + 3*s - 66, 2*t - 21 = -5*s. Is 18 greater than or equal to t?
True
Let s = 3345 - 3345.2. Let y = 40 - 66. Let f = y - -51/2. Which is bigger: s or f?
s
Let z = -0.89 + 0.69. Let x = z + 1.2. Are x and -2/19 equal?
False
Suppose 3*f - 21 = 3*b, 2*f + 13 = 3*f + 5*b. Suppose -4*t - 4*x + 20 = 0, -2*t - 2*x + f = -t. Let k be (-18)/4*28/(-63). Is t at most k?
True
Let a(i) = i**2 + 5*i - 3. Let v be a(-6). Suppose 18*d - 16*d - 14 = 0. Suppose -k - v = -d. Is k >= 4?
True
Suppose 3*p - 2 = 16. Let g be (2/p + 2/(-6))/2. Is 0.12 > g?
True
Suppose -191 - 7 = -33*r. Is 4 bigger than r?
False
Let r = 3505 + -3483. Let a be 1/(-2) - 4/(-8). Let s be 2 + (a - 6/4). Is r at least s?
True
Let f be (-4)/(-10) + (-195)/(-75). Let r(d) = -d**3 + 8*d**2 + 10*d + 3. Let w be r(9). Suppose 3*n - w = -0*n. Which is smaller: n or f?
f
Let z = 0.3 + -1.1. Let g = 5.2 - z. Let k = 5 - g. Which is smaller: k or 4/7?
k
Let n be (1/3)/(49/1134). Is 9 greater than n?
True
Let m(n) = n**3 - n. Let r = -6 + 4. Let x be (1 + -1)/(r - 0). Let p be m(x). Which is smaller: p or -1?
-1
Let c = -1 - -4. Suppose c*j = -0*j + 150. Let o = j - 201/4. Which is smaller: -1 or o?
-1
Suppose 0 = 27*m - 14*m - 13. Let r be (-206)/(-130) - (-2)/(-10). Which is smaller: r or m?
m
Let l(w) = w**2 + 8*w + 4. Let c be l(-7). Let y = c + -25. Let x be (-40)/(-42) + 8/y. Which is bigger: 0 or x?
x
Let d = -230 - -3448/15. Let t(b) = -b**3 + 5*b - 12. Let u be t(-5). Let a be (-2)/(-8) - (-66)/u. Which is smaller: a or d?
d
Let z be ((-26)/2862)/((-1)/(-12)). Let o be (-12)/477*18/(-4). Let c = o - z. Do -6 and c have the same value?
False
Let c be 75/5 - (-24)/(-3). Is c != 20?
True
Suppose 44 - 8 = -2*a. Let i = -629 - -609. Which is smaller: i or a?
i
Let s = 20.3 + -20.2. Is s < -4/43?
False
Let d = -5.72 - -18.8. Let c = d - 0.08. Suppose -4*y - 4 = -0*y. Which is smaller: c or y?
y
Let f = 4951/69 + -215/3. Suppose 3*o + 36 = 6*o. Let x be o/(-9) + (-4)/(-3). Which is smaller: f or x?
x
Suppose 4*x - 1 - 47 = 0. Let r(f) = f - 6. Let m be r(x). Let p be 6/(-24) + m/(-8). Which is bigger: 3 or p?
3
Let s be 6/8*2/(-3). Let c = 0.227 - -3.473. Is s <= c?
True
Let l = 18 + -10. Let k = 7 - l. Let u be (-3 - -2)/(9/(-6)). Is k not equal to u?
True
Let z be (-8)/(-14) + (-350)/98. Let x = -22 + z. Is x > -26?
True
Let t = 1745/1218 - 65/42. Is 1 at most t?
False
Let r = 455 - 456. Is -66/31 at most as big as r?
True
Let u be (-276 - -6)/3 + 4. Which is bigger: -77 or u?
-77
Let m(d) = -d**2 - 13*d + 15. Let c = -16 - -2. Let i be m(c). Let h = -3 + 2. Is h at most i?
True
Suppose 4*p = -2*f - 94, 0*f + 3*f + 15 = 0. Let o be p + 1 + (-8)/(-8). Which is bigger: o or -20?
o
Let a(l) = -l**2 - 7*l + 8. Let h be a(-6). Let z = h - 14. Suppose -v = -z*v. Are -3/2 and v unequal?
True
Let f be -2 + (-48)/(-22) - (-19130)/(-104610). Which is smaller: 1 or f?
f
Let k be (-1)/(1/(0 + 1)). Let b(n) = -8*n**3 + 2*n**2 - n - 2. Let v be b(k). Let f = v + -9. Does f = 2/37?
False
Let c = 17/12 + -7/4. Which is smaller: 22 or c?
c
Let p = 24 + -24.21. Let g = 13.21 + p. Which is bigger: g or -1/2?
g
Suppose 4*q + x = -151, 102 = -3*q - 11*x + 14*x. Is -1 equal to q?
False
Suppose 2*l = 6*l - f - 5, -2*f = 3*l + 10. Suppose 3*n - 15 = l, 5*n - 69 = -j + 3*j. Is -22 less than j?
False
Let m be (-4)/(120/35)*(-8)/462. Suppose -6*c + c = 0. Which is smaller: c or m?
c
Suppose -3*w - 2*r = -1136, 0 = -2*w + 4*r + 353 + 415. Is 378 at most w?
True
Suppose 0 = -6*m - 37 + 43. Let d = 3 + 3. Let i = 33/5 - d. Is i smaller than m?
True
Let j = 8/51 + 1769/102. Suppose 80*o = 19 - 24 + 1365. Which is smaller: o or j?
o
Let w(s) = -s**2 - 17*s + 2. Let g be w(-17). Suppose -g*k + 49 = -3*z - 81, -5*k = 20. Do -44 and z have the same value?
False
Let d be (-12)/66 - 30/77. Which is smaller: 0.12 or d?
d
Let u be 4/3*405/30. Suppose -s - u = 3. Is -19 <= s?
False
Let k = 0.7 - 0.36. Let p = k + 13.66. Let o = 11 - p. Which is bigger: 1 or o?
1
Let i be 12/18 - (-2)/(-3). Let r be (-3 - -5) + (0 - i). Let l = -9/8 + 111/56. Which is smaller: l or r?
l
Suppose -3*t - 207 = 51. Let m be -1*(7 - 1) + (27 - 26) + -82. Which is smaller: m or t?
m
Suppose 18 = -4*z - 2*o, -z + 5*o - 40 = -8. Is z at least as big as -10?
True
Let p = 1736/99 - 148/9. Are 0 and p equal?
False
Suppose -75*m + 1 = -74*m. Which is smaller: m or -1/364?
-1/364
Let l(d) = d**2 - 2*d + 3. Suppose 0 = -5*r - 0*r. Let x be l(r). Let z be x + 3/((-6)/8). Are 2 and z non-equal?
True
Let h = -374 + 376.07. Let v = 2.2 - h. Let m = 3.87 + v. Which is smaller: m or 0.3?
0.3
Suppose 5*l + 46 = 3*m + 57, -4*l + 8 = -2*m. Which is bigger: -729 or l?
l
Let h = -1466 + 1467. Let v be 1/(((-438)/4)/3). Which is greater: h or v?
h
Let h be 2*(4 - (-9)/(-6)). Suppose 5 = h*t - 0. Which is greater: t or -2/151?
t
Let s(m) = -m**2 + 2*m + 2. Let v