= -4*c + 12 - 5*c**3 + 0*c + 5*c**2 + 6*c**3. Let a be d(-6). Which is bigger: 3/8 or a?
3/8
Let y be (-5)/(5/2) + 1. Suppose 2*q = -0*q. Suppose -4*v + 4*t - 12 = q, -3*v + 2*t - 9 + 3 = 0. Does y = v?
False
Let g(f) = -9*f - 154. Let w be g(-17). Let b = -6 - -9. Let l = b + -2. Which is smaller: w or l?
w
Let x be (-9)/(-6)*(-8)/(-3). Let a(r) = -r**3 + 10*r**2 - 7*r - 13. Let w be a(9). Is w smaller than x?
False
Let x(w) = -w**3 - 2*w**2 + w - 1. Let n be x(-3). Suppose -n*j + 9 = y, -5*y + 1 = 2*j + j. Suppose 2*h = -j*h - 8. Which is smaller: h or -3?
-3
Let p be (3/27)/((-33)/(1 - -2)). Which is bigger: 1 or p?
1
Suppose 4*a + 6 = 3*a. Suppose 20 = -4*g - 2*z, 3*g + 14 + 4 = -3*z. Let h = a - g. Which is greater: h or -3?
h
Suppose 2*o = 6*o + 4. Suppose 0*h = -4*h - 4, 3*h = -5*l + 107. Let w be ((-2)/(-6))/(l/(-12)). Which is smaller: w or o?
o
Let u = -0.025 - 0.175. Which is greater: 1/8 or u?
1/8
Let o be 168/20 + 6/(-15). Suppose -3*k - k = -o. Let r = 19/3 - 17/3. Do r and k have the same value?
False
Let w = -23 - -56. Let n = w + -133/4. Let i = -1 + 0.8. Is i at most n?
False
Let w be -1*-2*(-3)/2. Is w > -6?
True
Let a = 247 - 242.94. Let m = a - 0.06. Let k = 5 - m. Which is bigger: k or -1/4?
k
Let q be (-1)/(-2)*(-20)/6. Suppose 11*g - 15 = 16*g. Is q > g?
True
Let u = -3/59 + 1142/413. Which is greater: 4 or u?
4
Let u be 2*(4/(-14) + 255/(-210)). Which is bigger: u or 0?
0
Let c be 197/(-15) + (-12)/(-90). Which is greater: c or -15?
c
Suppose -3*c - 13 = 5. Which is bigger: c or -7?
c
Let w be (-4)/(-1)*3159/36. Let b = w - 5965/17. Let z be (-2 + 2 + 1)/1. Is b at most z?
True
Let k = 0.1 - 0. Let q = 0.14 + -0.24. Let b = q + k. Which is bigger: b or -0.1?
b
Suppose -5*s + 2 = 7. Which is smaller: s or 0?
s
Let u(x) = -x. Let o be u(2). Suppose 5*h - 3*t - 2 = 0, 0*t + 5*t + 28 = -4*h. Is h less than or equal to o?
True
Let v be 3/(-2)*(-10)/15. Let p be 0/(-6)*v/(-2). Is p bigger than 0?
False
Let l be -1*3/(-6)*-2. Is -4/25 equal to l?
False
Let r = -18 + 23. Let u = -4.99 + r. Let s be (-8)/(-70)*(-5)/(-2). Are u and s unequal?
True
Let s be (-21)/(-4) + (-5)/20. Suppose 5*i = -0 + s. Suppose -i + 4 = -3*k. Is 1 less than k?
False
Let h(m) = -4*m**3 + 5*m**2 - 2*m - 7. Let b be h(3). Which is smaller: b or -77?
-77
Let x = -5/21 - -2/21. Do -1/4 and x have the same value?
False
Let w = 3 + -3. Suppose -q + w + 3 = 0. Suppose -11 = -3*a + q*r - r, -4*r = 2*a + 14. Is 1/4 >= a?
False
Let d(b) = b**3 + 4*b**2 + 7*b - 12. Let a(z) = -z**3 - 5*z**2 - 7*z + 11. Let r(j) = 5*a(j) + 4*d(j). Let i be r(-8). Which is smaller: 1/3 or i?
i
Let y = 0.33 + -0.23. Is -2/7 > y?
False
Suppose -6 = -2*h + 4. Let x be h/(-20) - 18/(-8). Suppose 7 = 4*z - 3*o + 1, z = -x*o + 7. Which is smaller: z or 4?
z
Let o = 1.6 + -7.3. Let r = o + 6. Is 2/5 not equal to r?
True
Let p(v) = v**3 + 8*v**2 + 12*v + 1. Let i be p(-6). Does i = 2/19?
False
Suppose -4*o - o - 20 = 0. Let f be 1/o - (-9)/4. Are 0 and f non-equal?
True
Let z = 0.11 - -0.99. Let s = 13.9 - 14. Let y = s + z. Which is smaller: 3 or y?
y
Let f = 4 + -3. Let q = -16 - -26. Let w be (-4)/q + 4/10. Which is smaller: w or f?
w
Suppose 0 = -5*d + 2*d. Let r = -1 + d. Let c be (r - 2)*(-2)/6. Is 2 less than or equal to c?
False
Suppose 3*s + 6 + 0 = 0. Let v be 56*s/38 + 3. Which is smaller: v or 0?
0
Suppose 6 = 3*r + 2*i, -5*i - 7 - 12 = -r. Let a(l) = -4*l**3 - l**2 - l - 1. Let u be a(-1). Which is bigger: u or r?
r
Let p(u) = -8*u**2 + 0*u**3 + 1 - u**2 - 8*u - u**3. Suppose -3*w = 34 - 10. Let d be p(w). Is d >= 1?
True
Let w be ((-12)/(-8))/((-1)/6). Let o = w + 4. Which is smaller: o or -4?
o
Let n = 6313/6 + -1049. Let l = n - 23/6. Is l less than -0.2?
True
Let n = 99 - 100. Is n less than 2/145?
True
Let j be 2/(-10)*(0 + 1). Let s = 4 + -2. Is j >= s?
False
Suppose 1 = -3*q + 7. Which is greater: 3 or q?
3
Suppose 1 = -5*i + 11. Suppose -d + 2*d = -5, -i*d - 10 = -2*c. Is 0 greater than or equal to c?
True
Let s = -17/6 + 1/3. Let x be (-45)/(-10)*(-8)/(-6). Let g be 6/4 + (-3)/x. Is g at most as big as s?
False
Suppose -2*k = 1 - 7. Let y be 0 + 1/1 + 1. Suppose 5*c - 14 = y*c - 5*l, -4*l + 7 = c. Is k equal to c?
True
Suppose -2154 = -4*q - 2*k, k - 86 = q - 620. Let g = -5912/11 + q. Is -1 greater than or equal to g?
False
Suppose 3 = a, y - 6 - 19 = -a. Let s = y - 24. Which is bigger: 0 or s?
0
Let h = 15.8 + -16. Suppose 5*w = -3*m - 0*w - 6, 0 = m - w - 6. Which is smaller: m or h?
h
Let a be 1/(-5) - 3120/25. Let s = a + 638/5. Which is greater: 4 or s?
4
Let p = 35 + -40. Which is greater: p or -7?
p
Suppose 0 = -3*l + 4*s - 6 + 26, 5 = -s. Let r be ((-60)/27)/(-5) + l. Let i = 1/9 - r. Is i < 0?
True
Let r be (-8)/126 - 2/9. Let c = 0.2 - 1.2. Let l = c + 1.2. Which is smaller: l or r?
r
Let h be -1*2 - (-25)/10. Let v(m) = m**2 + 2*m - 2. Let o be v(-3). Is h >= o?
False
Let x = 972/19 + -51. Let y = -7/76 - x. Suppose -5*u + 35 = -5. Do u and y have the same value?
False
Suppose 4*t - 4 + 0 = 0. Let p be (2/(-6))/((-12)/9). Is t greater than p?
True
Let a be ((-8)/2)/(-4) + 2. Let c be 9/21*3/a. Are -1 and c non-equal?
True
Suppose r + 2 + 0 = 0. Let l = r + 3. Let z = -5 + l. Are z and -6 nonequal?
True
Let r(u) = 4*u**2 + 6*u + 9 - 6 - u**3 - 5 - u. Let t be r(5). Which is greater: t or -4?
t
Suppose 0 = 5*o - 2*o + 18. Suppose -2*b - 2 = 2*g, -3*g + 1 = -b - 2*g. Let w = o - b. Is w not equal to -1?
True
Let w be (3 + -4 - -2)*0. Let x(y) = 2 + y**2 - 2*y**3 - 2 - 1. Let z be x(1). Are w and z non-equal?
True
Let q = 1.5 + 0.5. Let t = 3 - q. Which is smaller: t or 1/7?
1/7
Let r = -432 + 4749/11. Suppose 8 = -2*t + 4*q, 0*t - t - 8 = -4*q. Is r at least as big as t?
False
Let t be (-5)/(-1) + (-1456)/272. Is t bigger than 1?
False
Let x = 173 - 144. Which is smaller: x or 30?
x
Suppose 0 = 4*c - 2*c - 34. Which is smaller: c or 18?
c
Let q = -378.91 + 377. Let g = -2 - q. Is g < 0.2?
True
Let i be ((2/3)/(-1))/(-2). Let c = -4 - -3. Is i at most c?
False
Let j = -0.3 - -0.4. Let p be (2/10)/(12/(-166)). Let y = -19/6 - p. Is j less than or equal to y?
False
Suppose 0*r + 2*r = 4*b - 10, -3*b = 3*r - 12. Let t be -11 + 10 - (-10)/11. Does r = t?
False
Let u = -401 + 2799/7. Let k be (1/(-2))/(2/4). Which is smaller: k or u?
u
Suppose -5*p = -5 - 5. Suppose -p*b + 4*b = 0. Which is greater: 1 or b?
1
Let k = -22 + -13. Is -36 equal to k?
False
Suppose -5 = -2*u + 5. Which is greater: u or 4?
u
Suppose -5*m = i - 4, 5*m = -5*i - 0*i. Is 7 at most as big as i?
False
Let w(q) = -q + 1. Let k be w(1). Suppose k*f + f - 2 = 0. Let m be 1/((-6)/(-16)) + -2. Is m bigger than f?
False
Let z be (-3)/2 - 28/(-8). Suppose -x - z = -1. Suppose -a = -6*a - 5. Is x > a?
False
Let o(m) = 2*m**2 + m - 2. Let u be o(-2). Suppose -w - u*w = 2*a + 1, w + 9 = 4*a. Does w = -1/3?
False
Suppose 0 = 7*w - 32 + 88. Which is bigger: -5 or w?
-5
Let x = -62.4 + 63. Which is bigger: -9 or x?
x
Let o be 666/(-37)*2/(-15). Which is greater: 3 or o?
3
Let r(t) = 37*t**2 - 1. Let x be r(-1). Let y be 1/(-3)*x/(-26). Is 1 bigger than y?
True
Suppose -p = -5*u + 14, 5*p + 24 = 2*u - 0*p. Suppose -2*s = u*s + 4. Which is bigger: s or 2/7?
2/7
Suppose 0 = -2*z - 35 - 9. Let t be (2/z)/((-5)/10). Is 0 < t?
True
Let j(a) = -5*a + 2. Let y(s) = 4*s - 3. Suppose q - 20 = 5*l, -9 = -4*q - l + 8. Let v(x) = q*j(x) + 6*y(x). Let o be v(0). Do -7 and o have the same value?
False
Suppose -5*l - 1 = -36. Let i = 35/9 - -65/18. Is i bigger than l?
True
Let y = 0.46 + -0.06. Let p be 5 - 5 - 3/6. Which is greater: p or y?
y
Let t be 2*(-75)/18*1. Let u = t - -8. Are 0 and u equal?
False
Let z = 3.3 + 3.2. Let a = -6.21 + z. Let s = a + 0.01. Which is smaller: -0.1 or s?
-0.1
Let y = -179 + 192.3. Let a = -12 + y. Let l = a + -0.3. Which is bigger: l or 0.1?
l
Let s be -2*(20/(-42))/(-1). Let c = -2/3 - s. Let n be ((0*(-3 - -2))/2)/(-2). Are c and n equal?
False
Let h = -3 + 5. Suppose -h*y = -y + j - 11, -3*j = -4*y + 37. Let q = y + -6. Is q greater than or equal to 3?
True
Let x = 7 - 3. Let w be (-5)/(x/(-4))*-1. Which is greater: 2/5 or w?
2/5
Let y = -31 - -30. Is y greater than 1/36?
False
Let v = 4834 + -23943/5. Let c = v - 45. Which is bigger: c or 1?
1
Let v be 1*(0 - -1)*1. Let x = 