 7*v - 7. Let s be h(6). Suppose -57 + s = -j. Suppose -3*b + 6 = -3*c, -c + 0*b - 5 = 2*b. Which is smaller: c or j?
c
Let a = 0.196 - -3.344. Let n = a - 0.64. Let t = -3.9 + n. Is t smaller than -4?
False
Let n be (-2320)/(-4005) - (-16)/(-36). Is -0.1 greater than n?
False
Let v be (0*(-7)/42)/(-1). Which is smaller: v or -80?
-80
Let d(x) = -x**2 - 20*x - 30. Let f be d(-17). Let g = 22 - f. Which is bigger: -2/9 or g?
g
Let u = -36 - -50. Let j be (-22)/(-2 + (-3)/(-3)). Let h = -10 + j. Is h >= u?
False
Let q(u) = 18*u**2 + 40*u + 72. Let l be q(-2). Suppose 5*h = 4*s - 264, 5*s - 251 = -4*h + 79. Which is smaller: l or s?
l
Let i(h) = h**2 + 2*h + 54. Let x(l) = -l**3 - 3*l**2 - 3*l - 2. Let s be x(-2). Let j be i(s). Let g be j/(-66) + 2/(-11). Is g at most as big as -1?
True
Let z = 5335/19992 - 14/51. Is z less than -1?
False
Let c(r) = 4*r + 1. Let v be 4*((1 - 2) + 2). Suppose -v*m - 7 + 15 = 0. Let z be c(m). Do 9 and z have the same value?
True
Let k be 59/((-91)/147 - (-2)/7). Let o be (-18)/(-45) + k/360*-3. Which is bigger: 2 or o?
2
Let s = -29 + -11. Let p = -40 - s. Which is smaller: p or 1?
p
Let m = -54 + 56. Suppose 3*s + a = 0, m*a = s - 0*a. Which is smaller: -2/11 or s?
-2/11
Let n(p) = p + 4. Let v be n(-5). Suppose 0 = 2*w - w - 36. Let l be ((-24)/w)/((-20)/(-6)). Is v at least as big as l?
False
Let g = 184 + -103. Let f be 0/1 - -2*g. Let s be (f/(-12))/((-3)/(-4)). Which is smaller: s or -17?
s
Let r = 134699/23 + -5859. Is -4 bigger than r?
False
Let f be (-2)/(-1) + -1 + -67. Let w be (-28)/12*-3*2*(-66)/14. Is f less than w?
False
Suppose -5*s + 223 = h, -h + s + 215 = 2*s. Is h at most as big as 2/9?
False
Suppose 3*p + 4*u + 21 = 1, -3*p + u + 5 = 0. Let c be -51 - -1 - -2 - p. Let q be (c/(-60))/(2/(-5)). Does q = -4?
False
Let b = 74 + -371/5. Let m = -324 + 546. Let a be (-2 - 2) + m/57. Which is smaller: a or b?
b
Let o = 1510185 - 28712789/19. Let g = 1014 + o. Is g less than 1?
True
Let v = 39.25 + -13.25. Which is smaller: 3/7 or v?
3/7
Let c = 0.565 - -6.345. Let r = c - -0.09. Let n = r + -7.08. Is n < 2/3?
True
Let w(m) be the first derivative of -3*m**2/2 - 34*m + 34. Let j be w(-15). Which is greater: 1 or j?
j
Suppose -5*x + 14 = -16. Suppose -x*i = -2*i. Let n be ((-5)/(-30)*6)/(20/8 - 3). Which is smaller: n or i?
n
Let r = 1373/125 + -11. Let b(l) = l**3 - 3*l**2 + 3*l - 3. Let z be b(2). Is z < r?
True
Let m be 10/(-3)*(1 - 8)/(-14). Which is smaller: m or 1/25?
m
Let j be (-8)/8 - 196/(-152). Which is smaller: 1 or j?
j
Suppose -3*d + 8*d = 3*o - 40, 0 = -4*d - 2*o - 54. Let t = -44 - -34. Is t bigger than d?
True
Let c(s) = -s. Suppose 4*l + 30 = 5*m - 4, -25 = -4*m + l. Let n be c(m). Is n greater than -5?
False
Suppose 0 = v + 1, 0 = j - v - 0*v - 147. Suppose 67 = 3*s - j. Suppose -4*m = -r - s, 3*m + 2*r = -2*m + 92. Is 18 bigger than m?
False
Let t = 1.39 + 45.61. Let v = 5 + -4. Is v less than or equal to t?
True
Let m be (42/(-105))/((-2)/10). Suppose 0 = 4*a - m*a - 8. Suppose 41 = 2*q + 3*t, 2*q = t + 17 + a. Which is greater: 14 or q?
14
Let l(b) = b**2 - 10*b - 103. Let i be l(18). Which is smaller: i or 46?
i
Let q = 3 - -40. Let u = -45 + q. Are u and -3 equal?
False
Let m(w) = w**2 + 4*w + 5. Let l be m(-5). Suppose -l + 12 = g. Is g <= 6?
True
Let a(u) = 2*u**2 - 44*u + 140. Let z be a(17). Which is smaller: z or -15?
z
Let m = -655/7 + 94. Let w(z) = -7*z**2 - 9*z - 1. Let n(o) = 4*o**2 + 5*o + 1. Let i(l) = -5*n(l) - 3*w(l). Let v be i(-3). Is m > v?
False
Let m(n) = n**3 - 28*n**2 + 36*n - 28. Let v be m(27). Is v >= 217?
False
Let v be (-238)/(-6) + (-7)/(-21). Suppose 4*k - v = -0. Let r be (5/k)/((-43)/4). Is r at most as big as -1?
False
Let q = 39 - 42. Let t be 1/(-85) + (-3 - q). Which is smaller: -1 or t?
-1
Let n be 4/(20/12 - 2). Let q = n + 8. Let m = 3 + q. Which is bigger: -3/4 or m?
-3/4
Suppose -6*a - 18 = -0*a. Let m(s) = -s**2 - 8*s - 15. Let v be m(a). Which is smaller: -4 or v?
-4
Suppose -17*a = -16*a + 55. Which is bigger: a or -54?
-54
Let z = -5/12 - 13/12. Do 7 and z have the same value?
False
Let x = 7 - 68. Which is bigger: 0 or x?
0
Let b be 6*((-15)/(-9))/(-1). Suppose -18*i + 18 + 0 = 0. Let p = b + i. Which is greater: -8 or p?
-8
Let b = -2.1 + 0.8. Let z = -2.22 + 1.12. Let g = z - b. Which is greater: g or -2?
g
Let s be (-6)/(3 - 0) + -2. Let w = 3 + s. Which is greater: -2/23 or w?
-2/23
Let x = 0.22 - -0.98. Let u = -1.8 - x. Let m = u + 5. Is m <= 4?
True
Let u = 3/116 - -81/232. Let q = 9.9 + -1. Let o = q - 6.9. Is u at least o?
False
Suppose -3*i + 34 = -6*i - 4*a, -3*i + 2*a - 10 = 0. Let j(b) = -3*b + 2*b + 2740 - 2737. Let p be j(1). Which is smaller: p or i?
i
Let o be ((-22)/(-4) - 0)*-2. Let l be ((-2)/4)/(2/24). Let r = -18 - l. Which is smaller: r or o?
r
Let d be 352/(-72)*1/(-2). Is d >= 2?
True
Let i be 2697/165 - 2/25*-15. Is 18 <= i?
False
Suppose -v + 8 = 3*v. Let t be 0*-1*(6 - 5). Suppose -5*c + c - 20 = 4*z, t = -v*z - 2. Is 0 < c?
False
Let n be (6/9)/1 + (-187)/(-3). Let j = n + -32. Are j and 30 unequal?
True
Suppose 0 = 34*k - 38*k + 12. Suppose 0*l = l - k*l. Which is smaller: 0.04 or l?
l
Let p = -352/1281 + -2/183. Let h = 300 + -299.9. Which is bigger: p or h?
h
Let u be (-7 - (-1464)/208)*-2. Which is greater: u or 0.01?
0.01
Let r be (-174)/8 + (-9)/(-12). Let s = r + 22. Is -1/14 at most s?
True
Let y be (-3 - (4 + -8))*1. Let o be (10/20)/(y/30). Let p(r) = r**3 - 14*r**2 - 16*r + 14. Let x be p(o). Is x bigger than 2/7?
False
Let z(p) = 11*p**3 + 3*p**2 - 6*p + 4. Let f be z(-3). Is -248 != f?
False
Let g = -7 - -5. Suppose -4*y = -0*v - 3*v - 15, 0 = -2*y + v + 7. Suppose 3*a = 4*a + y. Is g != a?
True
Let k = -243 - -254. Are k and 10 equal?
False
Let g be 2/6 + (-92)/(-12). Suppose -3*r - g = 1. Let h be -7 - (r + 0/(-4)). Which is smaller: h or -3?
h
Suppose 16 = 15*k + k. Is k < -27/104?
False
Suppose 60*m - 57*m - 210 = 0. Which is smaller: m or 65?
65
Let m = -1 - -0.96. Let u = m - -5.04. Let x = -5.6 + u. Which is greater: x or -1?
x
Let j = 23.68 + -23.14. Is 2 less than j?
False
Let t be (-2)/(-7) - (-18)/(-14). Suppose 0 = 2*b - 5*f - 16, -6 - 8 = b + 3*f. Is b <= t?
True
Let s = -0.797 + 0.897. Which is bigger: -276 or s?
s
Let b be 50/(-28) - 4/(-14). Let w = 150.6 + -154.6. Which is smaller: w or b?
w
Suppose 2*y - 5*u = -3*y - 10, 0 = -5*y + u - 14. Let o be (3 + y)*(-1)/(-2). Suppose -x + o*x + 2*r - 8 = 0, 3*r - 12 = -4*x. Which is bigger: x or 2/19?
2/19
Let q be (-2)/4 + (-210)/(-12). Let f be -11 - (-30 - (7 + -7)). Which is smaller: f or q?
q
Let g = -16.56 + 16. Let f = 0.66 + g. Is f > 2/13?
False
Let y be (-81)/1128*((-130)/30 + 3). Which is bigger: -1 or y?
y
Let p = 30 - 31. Let t be (-393)/306 + (-2)/(-17). Are t and p unequal?
True
Suppose -1233 = 278*v - 269*v. Is v less than -134?
True
Suppose -4*h + h = 3. Let t(u) = -u**3 - 11*u**2 - 10*u - 15. Let z be t(-10). Let y = z - -15. Which is bigger: h or y?
y
Suppose -2*t + 1555 + 1427 = 0. Let d = 111827/75 - t. Let j = -164/525 + d. Which is smaller: j or -2/3?
-2/3
Let f be (-3)/6*6 - 10. Suppose -137 + 11 = -42*u. Do u and f have the same value?
False
Let i = 2093 + -2109. Is i greater than 0.075?
False
Suppose -2*f + 6*g - 11*g = 113, 2*f + 116 = -2*g. Which is bigger: f or 0.1?
0.1
Let u be (102/3)/(182/(-16)). Let n = 3621 + -47123/13. Let y = n - u. Is -1 less than or equal to y?
True
Suppose -8*u = 4*d - 4*u + 8, 4*d + u = -2. Which is bigger: 15/19 or d?
15/19
Let t = 11 - 9. Suppose -c + 4 = c. Suppose -5*a + c + 13 = 0. Which is bigger: t or a?
a
Let x(t) = -t**3 + 3*t**2 + 3*t - 3. Let z be x(4). Let m be (-25 - z)*8/(-6). Suppose -3*r - 5*b = -1 + 24, m = -4*r - 5*b. Is -1/3 smaller than r?
False
Let k = 1.6 + -0.9. Let s = -403 + 581. Let q = s - 176. Which is greater: k or q?
q
Let h = 11 - 9. Suppose -2*x = -h*i + 10, 4*i = -4 - 4. Let b = 14 + x. Is b smaller than 8?
True
Suppose 5*m - 3*d = 16, 3*m + 4*d = d. Suppose m*b - 3 - 1 = -2*v, 0 = -b - 1. Suppose v*x = -x + 28. Is x at most as big as 4?
False
Suppose 5*t + 1 = 2*c + 35, 2*t + 3*c - 25 = 0. Suppose 63 = t*x + 7. Suppose d - 35 = 6*d + 3*j, -d - 2*j - x = 0. Is -6 greater than d?
True
Let c = 7.09 + -0.49. Let i = c - 5.4. Which is smaller: -