3/(9/(-48)*-2). Let k be 1*-1 + 2/p. Let c = 19/20 + k. Are c and 0 nonequal?
True
Let o = 1114/345 - 16/5. Let k = 577/76 - 194581/26220. Let v = k + o. Is -1 equal to v?
False
Suppose -3*q - 3*z = -z + 13, 0 = 4*q - z + 21. Let u = -5 - q. Is u <= -1?
False
Let v(i) = i**2 - 4*i + 3. Let q be v(3). Let b = 43 - 389/9. Which is bigger: b or q?
q
Let t be (4/(-110))/(2/10). Suppose -5*d + f - 5 = 0, f = 3*d - 0*d + 5. Suppose d = -v - 5*h + h - 19, -3*v - 2 = h. Which is greater: t or v?
v
Let y = 9659/60 - 1617/10. Let g = 1/20 + y. Which is smaller: -2 or g?
-2
Let o = 124 + -123. Is o at least -17?
True
Let f(g) = -23*g**3 + g + 2. Let v be f(-1). Is v < 24?
False
Let i = 134 - 151. Is i less than -17?
False
Suppose -5*t + 21 = 6. Is t bigger than 2?
True
Let b = -0.12 + 0.32. Is 0.06 less than b?
True
Suppose 32*j + 65 = 27*j. Is -13 not equal to j?
False
Let n(m) = -m**3 + 2*m**2. Let d be n(2). Let w = -101 - -508/5. Which is greater: d or w?
w
Let k = -1/5 + -3/10. Let i be (-6 - -5) + 4 + -1. Let s be (i + (-8)/3)*-1. Is s equal to k?
False
Let w be (-2)/(-5)*(-2)/(-4). Which is greater: w or 0?
w
Let o = -1 + 6. Suppose 7*p - 3*h = 2*p + 19, -o*h - 5 = -3*p. Which is bigger: p or 3?
p
Let z be -2*(-2)/(-264)*10. Let v = 2/11 - z. Let d = 1.1 - 1. Which is smaller: d or v?
d
Suppose 2*v = -0*v - 30. Suppose -2*o - 4 = 2*r + 22, r = -4*o - 10. Which is greater: v or r?
r
Let n be ((-16)/(-2))/(6/(-12)). Is n at most as big as -17?
False
Let i = 43 - 46. Suppose -4*b + 118 = -182. Let x = b - 223/3. Which is greater: x or i?
x
Let l = -1.91 + -0.09. Which is smaller: 2/5 or l?
l
Let n be ((-1)/5)/((-16)/(-20)). Let a = -39 + 36. Is a at least n?
False
Let y be (956/(-1378))/(2*5). Let q = y - 2/265. Which is smaller: q or 1?
q
Let h be (-1)/(-2) + (-9)/2. Let o = -10 + 7. Do o and h have the same value?
False
Let o(u) = -9*u - 7. Let h be o(-5). Let m = h - 153/4. Let r = 5 + -3. Which is smaller: r or m?
m
Suppose 2*c - m + 17 = -0*c, -5*c + m - 35 = 0. Are -7 and c equal?
False
Let r = -184 + 361/2. Suppose 0 = -2*v - v - 3, 3*v = -2*o - 11. Is r greater than o?
True
Suppose 0 = -0*z - z + v + 6, -2 = -5*z - 2*v. Let l be (z/(-2) + -2)*1. Is -3 at least as big as l?
True
Suppose l + 3 = 2*l. Suppose 0 = 2*k - k - 2. Let o be (-8)/6*(-3)/k. Is l > o?
True
Let p = -2 + 7. Is 2/9 at most p?
True
Let a be (-7 - -8)/((-2)/(-8)). Let f = a - -6. Is 10 at least as big as f?
True
Let o(t) = -7*t - 5. Let g(y) = 15*y + 11. Let k(l) = -6*g(l) - 13*o(l). Let n be k(3). Suppose -c - n = -1. Is c bigger than -2?
True
Let p be 6/10 + (-4)/(-10). Let a = 2 - -1. Let o = a + -1. Is o at least as big as p?
True
Suppose -4*m + 0*m - 248 = 0. Let j be 1*(m/20 + 3). Which is bigger: 1 or j?
1
Let a = -2.96 - -3. Let n = 0.24 + -0.34. Which is smaller: n or a?
n
Let v be 615/(-3474) - (-1)/6. Which is smaller: 2/3 or v?
v
Let p = -4 - -10. Suppose -4*f - 2*v = 8 + 2, 0 = -4*f + 2*v - p. Is 1 smaller than f?
False
Let f = -8 + 7. Let x = 3 - 6. Are f and x non-equal?
True
Let j = -0.88 + 0.98. Which is greater: j or 144?
144
Suppose -4*l = 4*f + l + 10, 2*f - 5*l - 10 = 0. Suppose 0 = -5*o - f*o. Which is greater: -1 or o?
o
Let s(x) = x**2 + 3*x + 3. Let v be (-120)/54 + (-4)/(-18). Let c be s(v). Is 0 > c?
False
Suppose 4*q + 16 = -0*q. Is q at most -2/9?
True
Let r(i) = -3 + i + i - 1. Let s be r(4). Let d be (-4)/(-14) - s/14. Is d not equal to -0.1?
True
Let r = 1.46 + 4.84. Which is greater: -1/4 or r?
r
Let q be 2 + 2 + -3 + -3. Is -7/5 not equal to q?
True
Let p = -75 + 75. Let f be 0 + (-3)/((-522)/(-10)). Let m = -101/261 + f. Is m smaller than p?
True
Suppose 7 = 2*p - c + 2, 2*c = -4*p + 30. Let o(t) = t**2 + 7*t + 6. Let z be o(-6). Suppose -4*w = -z*j - p*j + 10, w = -5*j - 15. Is j equal to -4?
False
Let c be (-2)/5 + (1 - 0). Let i = -9 + 12. Suppose 0 = -4*p + 5*y + 23, i*p + 3*y = -2*y - 9. Are p and c unequal?
True
Let d = -26 + 27. Let o(g) = g + 1. Let j be o(-6). Let w be j/(-50) - (1 + -1). Are w and d equal?
False
Suppose 0 = -11*d + 12*d - 9. Is d smaller than 8?
False
Let h be ((-12)/9)/((-3)/(-9)). Let u be ((-2)/6)/(2/h). Let a(s) = -s**2 + 5*s - 4. Let j be a(3). Is u != j?
True
Suppose -a - 2 = -3*a. Suppose -z - 4*o = -5 - 9, 22 = 5*z + 4*o. Let m be (z/12)/(1/(-2)). Which is bigger: a or m?
a
Let i be 2 + 48/(-21) + 2952/10038. Is 1 != i?
True
Let k = -421/14 - -30. Is 1 equal to k?
False
Let a = -1458 - -145801/100. Does a = -1?
False
Let r = -15 + 9. Let a(g) = -g**2 - 7*g - 7. Let f be a(r). Which is greater: f or -3?
f
Let w(o) = o**3 + 3*o**2 - 3*o - 3. Let c be w(-3). Suppose -c*b + 11*b = 5. Is b < -2/17?
False
Let k(v) = 3*v**3 - v**2 - 3*v + 3. Let w be k(1). Is 18/11 at most w?
True
Suppose p - 4*p = 0. Let a(d) = -6*d - 4. Let g be a(-3). Let j be (-18)/g - 2/(-7). Which is smaller: j or p?
j
Suppose -3*y = y. Suppose y*p = -3*p + 36. Suppose -5*m + 4*q = -p, 3*m - 5*q - 3 - 12 = 0. Which is bigger: -1/4 or m?
m
Let f = 1.009 + -0.049. Let p = f - -0.04. Is 4 >= p?
True
Let q = 15 + -18. Which is bigger: q or 3?
3
Let r = 12 - 14. Suppose -3*m = -6*m. Which is smaller: r or m?
r
Let w = -29 + 21. Let l = -8.3 - w. Let z = 35 - 35. Do z and l have the same value?
False
Let i(x) = 22*x + 5. Let z be i(1). Are 28 and z nonequal?
True
Let b be 3/(-4)*(1 - 5). Let g be ((-10)/(-15))/(b/3). Is g at least as big as 0?
True
Let b be (476/77 - 6) + 31/11. Which is bigger: b or 10?
10
Let s = -5/1026 + 3/38. Which is smaller: 1 or s?
s
Let b = -217 + 3691/17. Let g = -1/41 - -85/123. Do g and b have the same value?
False
Suppose j - 3*j - 8 = 0. Let i be 11/14 - (-2)/j. Suppose -c = -4*c. Do c and i have the same value?
False
Let u = -3452378/29175 - -1/9725. Let m = 115 + u. Do m and -4 have different values?
True
Let w = 127 - 127. Is w less than or equal to -10/11?
False
Let r = 39 + -27. Let a be -3 - ((-63)/r + 2). Which is smaller: a or -1?
-1
Suppose -5*x + 5 = 3*i, 5*x + 12 = i - 3. Suppose -12 = d - i*d. Suppose -w - 4 = d*w. Is w at least -1/6?
False
Suppose -3*j + 26 = 2*h, -h + 3*j + 1 - 6 = 0. Let w be 2 - (4/2 + 0). Let m be (w - 4)*(-14)/8. Does m = h?
True
Let o be ((-552)/(-52))/(-3) + 4. Which is smaller: -1 or o?
-1
Let x = 6 + -5.5. Let y = 0.8 - 2.3. Let o = y - x. Which is smaller: o or 3?
o
Let w be 4/6*(2 + 1). Suppose w = j - 3. Suppose -j = -4*r - r. Is r < 4/7?
False
Let q = -11 - -50. Let s = -40.7 + q. Let j = s - 0.3. Which is smaller: -2/7 or j?
j
Let s = 18 - 17.84. Which is smaller: s or 0?
0
Suppose 0 = -3*w - 37 + 28. Let n be -1 - (1 + 0/1). Are n and w equal?
False
Suppose 5*j + 8 = 2*w, 2*w - 3*w = -j - 7. Is w > 5?
True
Let u(y) = y**2 - y. Let p(b) = 3*b**2 - 3*b + 1. Let k(j) = 2*p(j) - 5*u(j). Let g be k(0). Let v be 32/12*3/g. Is v greater than 4?
False
Suppose -64 = 3*n - m, -2*n = -0*n - 2*m + 40. Let c = n - -16. Let a be (3 - 4) + c/(-8). Which is greater: 1 or a?
1
Let y be (-80)/(-12) - 4 - 15/5. Which is bigger: y or -32?
y
Let f = -64 + 36. Let z be (-1)/3 - f/156. Which is greater: z or 1?
1
Let o = -37 - -36. Which is bigger: o or -14/13?
o
Let h(x) = -1 - 5 + 3 + x. Let k be h(4). Which is smaller: k or -3?
-3
Let n be 50/(-15)*(-12)/(-10). Which is bigger: n or -6?
n
Let t be (-4)/6*(19 - 4). Is -8 at least t?
True
Suppose -8*r + 4*r = 16. Are r and -4 non-equal?
False
Suppose -2*i = 6, -4*v = v + 5*i. Suppose 0 = -v*d + d. Which is smaller: 6/5 or d?
d
Suppose -5*k = -0*b - 5*b, -2*k = -3*b + 2. Let g(l) = 2*l - 2 - l - k*l. Let p be g(-1). Is -1 < p?
False
Let a = -613 - -15323/25. Which is bigger: a or 1?
1
Let k be (-1)/6 - (-301)/(-210). Are k and -2 unequal?
True
Let a be (-6)/(-3)*2/2. Let n = -36 + 40. Which is smaller: n or a?
a
Let y(s) = 13*s - 9. Suppose 3*n = 3*o - 2*n - 24, o = -n + 8. Let t be y(o). Let g = t + -383/4. Is g at least -1?
True
Let g = -9615/4 - -2523. Let u = 126 - g. Let t = 83/12 - u. Is 1 smaller than t?
False
Let v be (3 + (-15)/3)/(-15*3). Is v > 1/4?
False
Let p(o) = -o**2 - 8*o - 6. Let l be p(-6). Let k = l - 13/2. Suppose 0 = 2*y - 9 + 3. Which is bigger: y or k?
y
Let q = 0.11 - -0.04. Do 0.4 and q have the same value?
False
Let t(i) = i**3 + 8*i**2 + 6*i - 3. Let w be t(-7). Let j = -1 + w. Is j bigger than 3?
False
Let i = 2