 = 4*r. Which is smaller: c or -9?
-9
Let x = 107 + -106. Do x and -0.034 have the same value?
False
Let y = 0.25 + 0.75. Let b = 0 + -2. Is y bigger than b?
True
Let h be (102/(-12))/(2/4). Is h bigger than -18?
True
Let h be -2*1 - 7/((-21)/(-108)). Which is bigger: h or -1?
-1
Let y = 11 + -9.7. Let h = 0.3 - y. Is 3 at least as big as h?
True
Suppose 5*m - 5 = 6*m. Let n be ((-4)/12)/(m/(-3)). Which is smaller: n or -0.3?
-0.3
Let m be (-132)/(-77) + -3 + 1. Let w = 8 + -4. Is m smaller than w?
True
Let c = 232 - 682/3. Let m = -76/15 + c. Which is smaller: -1 or m?
-1
Let n(d) = -d**3 - 9*d**2 + d + 11. Let h be n(-9). Let x = -4 + 5. Which is greater: h or x?
h
Suppose -2*h = h - 3, -c - 4*h = -5. Is -6 != c?
True
Suppose -2*o - 20 = -6*o. Suppose -w + o*x = -29, 0*w - 4*x = w + 7. Do 9 and w have the same value?
True
Suppose 27 = 2*c + 187. Let z = c + 562/7. Do z and 1 have different values?
True
Let v = -26850/49 - -548. Is -1 at least as big as v?
False
Let t = -56 + 53. Is -3 less than t?
False
Let h be ((0/2)/1)/2. Let t be (1 - -1) + -3 + 1. Suppose t = 3*z - 6*z. Is h >= z?
True
Let f be 1/((-2)/20*-2). Suppose -b + 4*c = 8*c - 17, 0 = 3*b + 3*c - 15. Suppose -j = 0, 2*p - b = -2*j + f. Is p < 3?
False
Let l = -12 - -14. Suppose l*p - 14 = -3*j, 0 = -j + p + 4 + 4. Which is bigger: j or 7?
7
Let y = 127 + -85. Is y less than or equal to 43?
True
Let r be (22/(-8) - -1) + 2. Let d(s) = s**3 - 4*s**2 - 6*s + 4. Let o be d(5). Is r at least o?
True
Let w(i) = -i**3 + 3*i**2 + i - 1. Let l(u) = u**3 + 4*u**2 - 7*u - 7. Let f be l(-5). Let v be w(f). Which is smaller: v or 1?
1
Let l be ((-4)/(-5))/((-18)/(-30) + -1). Which is bigger: -5/2 or l?
l
Suppose 0*u = -5*g + u + 38, 0 = -5*g + 2*u + 36. Let l(v) = -v**3 - 4*v**2 + 2*v + 6. Let h be l(-4). Let b be ((-6)/g)/((-3)/h). Is -2 > b?
False
Let v = 33 + -36. Are -3 and v nonequal?
False
Let w = -31009/195 - 602/15. Let v = w + 199. Is 0 >= v?
True
Suppose -5*p - 65 = -0. Let k = 5 + p. Is -7 != k?
True
Let z = 16 - 15. Let b(x) = -x**3 + 6*x**2 - 5*x - 1. Let u be b(5). Are u and z equal?
False
Let j = 525 + -19427/37. Which is bigger: 0 or j?
0
Suppose 0 = c - 4*u + 7, -4*c = -6*c - 5*u - 1. Let w be (-6)/4*(-40)/(-15). Is w greater than c?
False
Let y(z) = -z. Let u be y(-4). Suppose 3 = -d + u*d, 4*b + 39 = -d. Let q = 8 + b. Does q = -5/6?
False
Let a = 1.5 - -8.5. Let j = -0.093 + 10.193. Let d = a - j. Is d less than -1?
False
Let m = -56 + 35. Is m <= -3?
True
Let b = -0.3 + 0.5. Are b and 3 nonequal?
True
Let m be 10*1*(-4 + 3). Let x be 2 + 1 + m/6. Suppose 9*r = 17 - 8. Is x at most r?
False
Let t = 22.1 + -22. Which is greater: t or 1/16?
t
Suppose -2 = l + 1. Which is smaller: 2 or l?
l
Let u = 1 - 2. Which is bigger: u or 9?
9
Let w = 8 + -6. Let g be 1/2 + 41/w. Let z be ((-6)/g)/(9/21). Which is smaller: -1 or z?
-1
Suppose -12 = -3*d + 5*p, -2*p - 7 + 1 = 0. Which is smaller: 2 or d?
d
Let t = 3860/39 + -296/3. Which is greater: 1 or t?
1
Let d(p) = p**2 + 24*p - 22. Let y be d(-20). Is y <= -101?
True
Let c = -14/17 + 401/425. Which is greater: c or 0?
c
Suppose 7 = -4*t + d, 4*d = -7*t + 2*t - 35. Let x = 6 + 1. Let k be 1/1 + (x - 11). Is k greater than or equal to t?
True
Let g = -1.4 - -0.4. Let m = 1.1 + g. Let b = m - 0.1. Is 1/3 greater than b?
True
Suppose 21 = 5*d - 3*j, 28 = 5*d + 5*j - 17. Let p = d + -8. Which is bigger: p or -3/4?
-3/4
Let k = 4 - 5. Is k at most as big as -2/9?
True
Let i = 525/2 + -2557/10. Let s = 103/10 - i. Which is smaller: 4 or s?
s
Suppose 0 = -6*v + v - 25, 3*h = 2*v + 13. Let q be (-2 + h + 1)/(-2). Suppose -5*k + q - 5 = 0. Which is smaller: -3/2 or k?
-3/2
Let q = 0.02 + 1.98. Let i = q + 0. Is -2/7 > i?
False
Let r(g) = -g**3 + 9*g**2 + 3. Let j be r(9). Let p be -9*((-15)/(-9) + -2). Let v = 0 + p. Is j greater than or equal to v?
True
Let r = 24 - 10. Let n = r - 11. Which is smaller: 2 or n?
2
Let s = 19/33 + 1/11. Suppose 0 = y + 1 - 2. Is s at least y?
False
Let m be (30/25)/((-1)/(-5)). Let j be (0 - m)/((-9)/6). Which is smaller: 3 or j?
3
Let r = -0.17 + 0.07. Which is smaller: r or -0.9?
-0.9
Let d = -0.42 - 0.58. Let y = 0.7 + -0.4. Is y at least d?
True
Suppose 3*f + 3 = 5*y, 2*f + 0 = -2*y - 2. Which is greater: -1 or y?
y
Suppose -9*t - b - 5 = -12*t, -3*b - 15 = -t. Let f be (-2)/(-6)*(-2)/(-18). Which is greater: t or f?
f
Let s = 5 - 5. Let d be (s - 0)/(-1 + 0). Let u = 0.41 + 0.49. Which is smaller: d or u?
d
Let k be (0 - -1)*(0 + 6). Let o(i) = -i**2 + i + 4. Let u be o(4). Let d = u + 14. Are d and k unequal?
False
Suppose 7*p = 2*p. Which is smaller: -8 or p?
-8
Let t = 0.11 - -0.59. Let a = t + -0.8. Is a >= -2/3?
True
Let w(a) = a**3 + a**2 - 3*a + 3. Let u(d) = d**2 - d + 1. Let k(t) = 3*u(t) - w(t). Let g be k(2). Which is smaller: 1/54 or g?
g
Suppose 3*f = 5 + 4. Let i(p) = f*p + 6 - 2*p - 1. Let t be i(-5). Is t <= -1?
False
Let b be 0 + -2 + 0 + 3. Let i be -1*(-3 - (b + -4)). Which is smaller: i or 2/25?
i
Suppose 5*v + 30 = -5. Let q = v + 11. Let w be (9/(-30))/(3/q). Which is smaller: -0.1 or w?
w
Let c be (17/2)/(-17)*(-2)/1. Let t be ((-4)/(-78))/(0 + 1). Do t and c have the same value?
False
Suppose -3*p = 2 - 8. Let s be p + -3 - (-30)/3. Let r = s + -8. Which is smaller: r or 1/12?
1/12
Suppose -4*r = 14 + 2. Let w = -13 + 5. Let m = w + 5. Which is smaller: m or r?
r
Let r = -0.11 - -0.31. Which is smaller: -0.2 or r?
-0.2
Suppose -1 + 6 = 5*m. Which is greater: 3/2 or m?
3/2
Suppose -4*u - 2 = 2. Let o be 1/(-4) - 3/(-12). Is u equal to o?
False
Suppose 0 = p - 2*a + 3, a - 4 = 4*p - p. Suppose -12 - 6 = 9*m. Which is greater: p or m?
p
Let v be (0 + 28/(-6))*3. Are v and -14 equal?
True
Suppose 0 = 4*r + 4. Which is smaller: r or 2?
r
Let q(d) = d + 3. Let n(t) = -1. Let l(m) = 6*n(m) + 2*q(m). Let s be l(1). Let o = 10 - 9. Do s and o have the same value?
False
Let r(f) = f**3 + 7*f**2 + 9*f + 13. Let c be r(-6). Is -45/8 at most c?
True
Let a(y) = y**3 - 8*y**2 + 8*y - 6. Let j be a(7). Let s = 0 - j. Let i = -9 + 8.9. Is i != s?
True
Let f be 18*((-66)/(-16) + -3). Let v = -20 + f. Is v greater than 3?
False
Let u = 5171/3 + -1702. Let a = 8 + -30. Let k = a + u. Which is smaller: k or 0?
k
Let y = -7 + 17. Let k = -9 + y. Is k bigger than 1?
False
Let l(m) = m**3 + 7*m**2 + 5*m - 4. Let i be l(-6). Let r = -5 + i. Is -4 > r?
False
Let v = -54/209 - -4/11. Suppose -1 = -4*b - 3*s - 11, b + 7 = -3*s. Do b and v have the same value?
False
Let d = -1 - 0. Let j = -21 - -21.8. Let o = -0.9 + j. Does d = o?
False
Let j = -54 + 261/5. Is -3 greater than or equal to j?
False
Let g(o) = -o + 2. Let n be g(-1). Let c(h) = h**3 - h**2 - h. Let m be c(1). Which is smaller: n or m?
m
Suppose 29 = 2*g - 4*q - q, 5*g - 41 = 2*q. Let k = g + -9. Is -1 at most as big as k?
False
Suppose 2*a + 4 = 2. Are a and -1 nonequal?
False
Let u be (-63)/(-2) - (-33)/(-22). Is u <= 29?
False
Let f(n) = n**3 + 17*n**2 + 34*n - 22. Let u be f(-15). Which is bigger: -83 or u?
u
Let b be 1951/(-13) - 2/1. Let g = -152 - b. Suppose n + 2*n = 0. Which is smaller: g or n?
n
Let l = -24/215 + 29408/1505. Let d = -19 + l. Suppose 0 = 4*w - 0*w. Which is smaller: d or w?
w
Suppose -4 = 4*s + 32. Let u be (-38)/(-30) - (-6)/s. Is 2 greater than or equal to u?
True
Let c = 8 - 6. Is 3 at most c?
False
Suppose 2*l + 2*l - 6 = 2*p, -5*l - 12 = 4*p. Are -2/189 and l equal?
False
Let v(x) = 2*x + 3*x - 2*x - 2*x + 10. Let r = -12 - -3. Let i be v(r). Is i smaller than 1?
False
Suppose -10*o + 16 = -4. Which is bigger: o or 1/2?
o
Let v be (294 - -1)*(-4)/(-10). Let d = v - 231/2. Which is bigger: d or 0?
d
Let a = -94106/1785 + 1160/21. Let s be (4/(-6))/(17/54). Let m = s + a. Which is smaller: 1 or m?
m
Let f = 3.1 + -3. Let k = -5.4 + 5.9. Are f and k non-equal?
True
Suppose -z - 18 = a - 3*z, z = 2. Is a at most -9?
True
Let a = 5 + -9. Let b be (-7)/a + 5/(-20). Suppose -2*l + 9 = 3. Is b less than l?
True
Let w = -40.8 + 51. Let b = w - 10. Are 4 and b equal?
False
Suppose 0 = 2*x + 4*z + 12, -4*z - 15 = 2*x + z. Is -2/23 smaller than x?
True
Suppose 5*q - 14 = 11. Which is smaller: q or 11/2?
q
Let f = 93.9 + -94. Which is smaller: f or -0.07?
f
Suppose -5*u = 2*y + 3*y, -2 = 4*u + 3*y. Let d = -5 - u. Let s = 