0, 2*x + 2*c = -48. Is x at most as big as -19?
True
Suppose 4*o - 14 = 2. Suppose 2*t = -o*t + 156. Which is greater: 1 or t?
t
Suppose 12*s + 7*s + 3097 = 0. Is s bigger than -164?
True
Let n(o) = 2*o**3 + 45*o**2 - 22*o + 22. Let x be n(-23). Let d be (14 - 11) + (-5)/4 - x. Suppose -4*b = 3*h - 8, -h + 7 = -b + 2. Which is greater: h or d?
h
Let h be 0/((1/(-6))/((-8)/48)). Is 3/85 bigger than h?
True
Let y be ((-5)/(-4))/(9/36). Suppose 6 = y*l + 1. Let o be (-162)/456 + l/4. Is -1 >= o?
False
Suppose -3*a - 76 = o + 73, -o - a - 139 = 0. Which is bigger: o or 4?
4
Let t = 5.92 + 0.08. Let x be (7 + -6)*-3*(-3)/(-9). Is x greater than t?
False
Let z = 12.006 - 12. Let p = 14.006 - z. Are -1/2 and p equal?
False
Suppose 22716 - 4512 = -37*r. Is -492 greater than or equal to r?
True
Let m(v) = 10*v + 1. Let g(f) = 11*f + 1. Let h(z) = 4*g(z) - 5*m(z). Let p be h(-1). Suppose -6 = -7*d + p*d. Is -3 < d?
True
Let r be 1/2*-1*-2. Suppose r + 2 = 3*x. Which is greater: x or 23?
23
Let l = -9 - -15. Let w = l - -3. Let a = 9.05 - w. Which is smaller: a or 0.1?
a
Suppose -3*u + 15 = 2*w, 8 + 2 = -w + 2*u. Let k be 10/25*18/(-198). Which is smaller: k or w?
k
Let x = -3 - -3. Let a be (-3)/60*-5 - (-28)/(-32). Is x greater than a?
True
Let w be ((-1)/6 - 92/24)/(-4). Let z be w/4 - 9/20. Suppose 2*l - 6*f - 10 = -f, 0 = -l + f + 2. Is z less than or equal to l?
True
Let g be ((-475)/(-114))/((-6)/(-72)). Which is smaller: 48 or g?
48
Let m(h) = h**2 + 4*h + 1. Let s be m(-4). Let q = -25.6 - -0.6. Let t = 19 + q. Which is bigger: s or t?
s
Let n(u) = 2 + u - 3 + u**2 + 3*u + 3. Let z be ((-1)/(1 - -1))/(5/30). Let j be n(z). Is j bigger than 1/8?
False
Let z be (6*-2)/3 + 135. Let k = z + -915/7. Let o = 0.2 - 0.2. Which is bigger: o or k?
k
Let d(j) = -4*j**2 + 3*j + 6. Let x be d(2). Suppose 2*z + 20 = 4*a, -4*z - 2*a = 8 + 2. Do z and x have different values?
False
Let b = -34 + 4. Let h be b/(-6)*(-1)/2. Let p = 0.2 + -0.3. Is p > h?
True
Let x(u) = 2*u - 18. Suppose 0 = 38*l - 35*l - 27. Let h be x(l). Let q = -405/7 - -58. Which is smaller: h or q?
h
Suppose -d - 88 = 114. Let q = -3836/19 - d. Suppose 0 = 6*p - p + 5. Which is bigger: p or q?
q
Let l = 1.925 + 0.075. Is 6 < l?
False
Suppose 0*k + 3*k + b = 16, 0 = k + 3*b - 16. Let c(u) = -u**2 + 6*u - 8. Let p be c(k). Which is greater: p or 0.5?
0.5
Let d be 1/4*(-2)/1. Is d smaller than -101/2?
False
Let t(z) = 5*z**2 - 50*z + 9. Let i be t(10). Suppose w - v + 22 = 0, -3*v = 3*w + 2*w + 94. Let p = w - -29. Does i = p?
True
Let u = -16618 - -116622/7. Is 42 less than or equal to u?
True
Let i = 90.4 + -83. Let d = -0.6 - i. Let t = -1.33 - -2.33. Which is smaller: t or d?
d
Let y = 103 - 110. Let a be y/((-7)/2) + 20/6. Is a at least as big as 6?
False
Let h(x) = x**2 + 9*x + 18. Let r be h(-5). Are r and -40/69 nonequal?
True
Let f = -43.011 + 0.011. Is 0 less than or equal to f?
False
Let j = 13 + -12.72. Let p = j - 0.38. Which is greater: -1.1 or p?
p
Let v = -27 - -29. Let p be ((-8)/(-6))/v + (-13)/(-39). Which is smaller: p or 2/25?
2/25
Let n(z) = -z**3 + 42*z**2 - 50*z + 78. Let k be n(41). Do -289 and k have the same value?
False
Let m = -10 + 11. Let v be 1*(-1 + 0)*m. Let w = -6/11 + 1/22. Which is greater: v or w?
w
Let v be (-12)/(-8)*(-1 - -3). Suppose -37 + 10 = v*k. Suppose -4*f - 2*s = 40, -3*f = -f - 4*s + 20. Which is smaller: f or k?
f
Suppose 2*f + 4 = -0*h + 2*h, 3*h = 2*f + 8. Suppose o + 3*o - 19 = 3*m, h*m + 8 = o. Is 2/169 less than or equal to m?
False
Suppose -4*y + 31*s = 28*s + 4, 4*y - s + 4 = 0. Is y bigger than 4/11?
False
Let r be (17/4)/(-23 - -24). Let v(g) = -g**3 + 4*g**2 - g - 1. Let z be v(2). Which is bigger: z or r?
z
Let m(d) = 156*d - 436. Let b be m(3). Which is smaller: -1/2 or b?
-1/2
Let p be 3/2 + (-1 - 1). Let u be (-10)/(-6) + (-6)/(-18). Suppose 3*m - 3 = -g + 1, u*g + m + 2 = 0. Is p less than g?
False
Let t = 1988/143 + -158/11. Let l = t - -29/91. Are l and 0.2 unequal?
True
Let g = 0.9 - -0.1. Suppose -436*x + 339 = -549*x. Is g less than x?
False
Suppose 0 = -0*n + 5*n. Let f be 3 - n - -1*5. Is 8 > f?
False
Let f be (2/(-1448))/((-19)/76). Does f = 0?
False
Suppose -1 = -2*q + 4*s + 1, -s = -q. Is 7.48 at least as big as q?
True
Let r = -151 + 154. Is r at most 23/7?
True
Let d(k) = -k**3 - 9*k**2 - 16*k - 43. Let v be d(-9). Which is bigger: 103 or v?
103
Suppose 4 = 4*v + 8. Let r be (-6 - -5)*(v - 0). Let i be (r/(-2)*-22)/(-1). Which is greater: i or -1?
-1
Let b = 152 + -167. Which is greater: b or -24?
b
Suppose -2*i + 5*k = -0*k + 15, -i - 5*k = -15. Let j be 2/10 + 1/(-5). Let o be j/(-1)*(-3)/6. Is i greater than or equal to o?
True
Let k(u) = 2*u**2 + 3*u - 5. Let l be k(2). Let i be (-3 - -1)/(l/(180/8)). Which is greater: -7 or i?
i
Let s(v) be the third derivative of v**4/24 + v**3/3 + 4*v**2. Let z(h) = h**2 + 2*h - 1. Let i be z(-2). Let t be s(i). Which is bigger: t or 1/14?
t
Let f = 3984 - 2335. Which is bigger: 1650 or f?
1650
Let c = 39 + -31. Let t be (-35)/(-50)*c*15. Let o be -1 + 412/t - 4. Which is smaller: -4 or o?
-4
Let n = 6.83 + -6.82. Suppose -1 = -y + 4. Let b be 1/y - 4/(-30). Is n less than or equal to b?
True
Let c = -169711/136735 - 1/4715. Is c at most as big as 0?
True
Let x = -153 - -1375/9. Is x greater than -11?
True
Let k = -1596/97 + 3330658/202439. Let r = 4064/114785 - k. Is r >= 0?
True
Suppose -3*u - 4*q = -128, 10*u = 5*u + 4*q + 256. Let i be 1*1/2 - (-520)/u. Which is smaller: 11 or i?
11
Suppose 0 = -6*o + o + 1210. Let i = o + -1939/8. Suppose 2*g + 4 = -2*g - 4*c, 0 = -5*c - 5. Is i less than g?
True
Let w(o) = o**3 + 9*o**2 - 15*o + 6. Suppose -70 = 6*d - 10. Let v be w(d). Is 56 less than v?
False
Let s(m) = -4*m. Let h be s(-4). Let o be (-2)/((-16)/141) - 33/(-88). Is o greater than h?
True
Let h(f) = f**3 - 5*f**2 + 3*f - 2. Let y be h(4). Let d be (1 - -2)/y*0. Let l = -12 + 14. Which is smaller: l or d?
d
Let u = -30 + 91. Suppose 12 = -5*c - d + u, 2*c - 24 = 4*d. Which is greater: 48/5 or c?
c
Suppose -2*b + l + 14 = 3*b, 0 = 3*b - 5*l - 26. Let p(m) = -m**3 - 2*m**2 + 3*m + 4. Let r be p(-3). Suppose 0 = 5*s + 5*a, 3*a + 0 = -5*s + r. Is s > b?
False
Let p = 6 - -5. Let c be -8*(p/4 + -2). Is -2 >= c?
True
Suppose 5*b + 6*y - 59 = 7*y, -4 = -4*y. Is 56/5 at least as big as b?
False
Let n = -780.4 - -720. Let f = n + 60. Which is smaller: f or 0.2?
f
Suppose 2*s - 3*b = 6, -s = -2*b - 4 + 1. Let t be 2/s*225/30. Let a(m) = -m**3 - 5*m**2 + 4. Let r be a(-5). Is r greater than t?
False
Let h = 129 - 81. Suppose -5*p + 0*z + h = -z, -2*z + 4 = 0. Let f be (6/p)/((-1)/(-5)). Is 5 greater than f?
True
Let d = 2.302 - 1.302. Let i = 0.3 + -0.2. Which is greater: d or i?
d
Let i be (2/(-1237 - 1))/(18/36). Which is bigger: 0.4 or i?
0.4
Suppose -2*y = 6, -5*i + 15 = -2*i - 5*y. Let n be (3/(-2))/((-345)/20). Which is smaller: i or n?
i
Let t = 0.04 + 1.96. Let i = -0.953 + -21.047. Which is greater: i or t?
t
Let u(m) = -m**3 + 2*m**2 + 3*m - 1. Let c be u(3). Suppose 0 = 7*g - 2*g - 4*v - 565, -v = -2*g + 229. Let a = g - 939/8. Which is bigger: a or c?
a
Let o = -2 - -1. Let y be o/(0 + (-2)/(-22)). Let a be 4/38 + 768/(-76). Which is greater: a or y?
a
Let v = -334 - -422. Which is smaller: v or 86?
86
Let s(y) = -y**2 - 5*y - 4. Let o be s(-4). Let h = 1120/3 + -370. Let x = h - 7/2. Which is greater: x or o?
o
Let q(u) = u**3 - 5*u**2 + u - 7. Suppose 2*c + 3*c = 25. Let j be q(c). Let o = 124/315 - 6/35. Is o bigger than j?
True
Let n = 1064.95 + -1065. Is 12 at most n?
False
Let i be (-9)/(-81)*3*-91. Which is greater: i or -30?
-30
Let f = -0.07 + -0.63. Let r = -14 - -13.3. Let k = r - f. Which is bigger: k or -1/5?
k
Suppose k + g - 244 = -242, -2*k - 4*g + 8 = 0. Which is smaller: -12/37 or k?
-12/37
Let v = -0.0427 - 0.0573. Is 249 bigger than v?
True
Let v(r) = 6*r - r**2 - r + 11 + 0*r**2. Suppose -3*a = 3*i - 87 + 54, 0 = 3*i - 15. Let k be v(a). Is k less than or equal to 3?
False
Let x = -1 + 1. Suppose 5 - 8 = 3*k. Let p be k/(-3) - 40/30. Which is bigger: p or x?
x
Let t = 41 + -41. Let v be t + 4 + 21/(-3). Let g(z) = -3*z. Let m be g(1). Is m at most as big as v?
True
Let v = 44 + -79. Let j = v + 33. Is j at least as big as 1?
False
Suppose -u + 8