/800 + 5/25. Is -1 != u?
True
Let f be (5636/48)/(1/2). Suppose 82*q - 78*q + 936 = 0. Let c = q + f. Do 0 and c have different values?
True
Suppose 3*z - 7 = p + 17, z = -5*p - 40. Let u = 9 - p. Is u not equal to 18?
False
Suppose -28*c - 40*c = -9656. Which is smaller: 149 or c?
c
Let n be (-5105)/1640*8/(-20). Let y = n - -1/205. Which is greater: 2 or y?
2
Suppose 25*t - 138 = 1712. Which is smaller: 80 or t?
t
Let u be (1/1)/(1/40). Let v = 148/9 - 1018/63. Which is bigger: v or u?
u
Let t = -12637/5 - -2559. Let r = -31 + t. Is r greater than 1?
False
Let b = -141/2 - -68. Suppose -31*h = -26*h - 20. Let v be ((-8)/30)/h*(-4 + -2). Which is greater: b or v?
v
Let q be (-1 - 4) + 27/5 + -1. Which is bigger: 11/6 or q?
11/6
Let d be (2 - (3 + -7))*2/3. Suppose -d*m + 29 = 65. Do 0 and m have the same value?
False
Let z(l) = 0 - 82*l**2 + 80*l**2 + 0 + 8*l + 1. Let d be z(6). Which is smaller: d or -24?
-24
Let p be (1/(-3))/(2/(-246)). Let s = 41 - p. Which is smaller: s or -3?
-3
Let c = 0.11 + 5.39. Let h = c + 1.5. Is 2/9 less than or equal to h?
True
Let l = -2 - -2. Suppose 6*j - 5*j = y + 2, 29 = 3*y + 4*j. Let h be -1 - y/(-3) - 1. Which is greater: l or h?
l
Suppose 0 = u + 5*k - 21, 2*u + 3*u - 2*k = 51. Suppose -5*m - 9 - u = -5*s, -3*m = s + 8. Suppose 0*w - w - s = 0. Is -1 greater than w?
False
Let u = -22 - -23.3. Let k = 4.7 + u. Let s = 7 + k. Which is bigger: -2/5 or s?
s
Let u be 72/80 + (-4)/10. Does 18/11 = u?
False
Let m be (6/(-10))/(78/(-520)). Is -19 < m?
True
Let c = 12 + -10. Let i be 2 + -1 - (-3)/6*c. Which is smaller: -5 or i?
-5
Let r = 431/8721 + -4/323. Which is smaller: r or 1/2?
r
Let q be 2/(-3) - 66/(-18). Suppose -q*t + 42 = -t. Suppose f = -2*f - t. Is 0 >= f?
True
Let n(m) = -m**2 - 9*m - 11. Let p = -12 + 16. Suppose p*k + 13 + 19 = 0. Let g be n(k). Are g and 1/4 nonequal?
True
Suppose 2*b + 4 = 12. Suppose -7*r = -4*r - 5*c - 13, 0 = 2*c + b. Suppose r = -2*d + 3. Which is greater: d or 0?
d
Let k be -4 - (3 + -4 + 1). Let q = k + 5. Is q greater than -3/7?
True
Let u = -952 - -952. Let d = -0.66 - -0.6. Is d smaller than u?
True
Let n = -20966147/8 + 3983576133/1520. Let k = n + 1/304. Let o = 123/20 - k. Do o and 2 have different values?
True
Suppose 4*o - a + 10 = 2*a, 3*o + 1 = -a. Does 0.2 = o?
False
Let g(t) = -8*t - 31. Let f be g(-4). Which is bigger: f or -2/189?
f
Let q(d) = -d - 2. Suppose 0*z + z - 8 = -t, z + 2 = 4*t. Let n(x) = -x - 4. Let f(g) = z*n(g) - 11*q(g). Let w be f(-1). Are -7 and w non-equal?
False
Let q = 4.2 - -0.8. Let w = 7 - q. Let a = 79 + -66. Which is greater: w or a?
a
Suppose -5*u = -a + 24, -2*u = 3*a + 3*u + 28. Let r be 2*2*4/16. Let o be (3/(-6))/(r/((-16)/(-76))). Which is smaller: a or o?
a
Suppose 40*b = 30*b. Let x be 1 + -1*207/213. Is b at least as big as x?
False
Let t = -2 + 1. Let g be 2*((-2 - t) + -4). Let y = 20 + g. Do 9 and y have the same value?
False
Let k(v) = -v**2 - 49*v + 59. Let g be k(-43). Which is bigger: g or 1/4?
g
Let g = -500 + 500. Which is greater: -36/37 or g?
g
Let g be (2/(-39))/(50/15). Let l = 118/65 + g. Let i = 8 + -5. Which is greater: i or l?
i
Let d = -528 + 537.14. Let p = 7.87 - -1.13. Let z = d - p. Which is smaller: z or 2/3?
z
Let o = -52 - -34. Suppose 0 = 5*j + 25 + 70. Is j at least as big as o?
False
Let w(d) = 4*d - 12. Let q(s) = -s. Let c(k) = 5*q(k) + w(k). Let y be c(-10). Let v = 29 + -148/5. Which is smaller: y or v?
y
Suppose 2*q - 4*q = -3*s, -q - 5*s - 26 = 0. Let p be (-3)/6 - 75/q. Is 12 greater than p?
False
Let v(a) = a**3 - 10*a**2 + 23*a - 74. Let d be v(8). Which is smaller: -184/11 or d?
d
Suppose 0 = 3*m + 2*m + 3*b + 22131, -2*m - 8853 = b. Let v = m + 75254/17. Is -2 < v?
True
Let u(b) = -b + 24. Let m be u(-3). Suppose 0 = -5*f - x - m, 0 = -3*f - f + 2*x - 16. Does -45/8 = f?
False
Suppose -6*c + 702 = -462. Let s = 2140/11 - c. Does 2 = s?
False
Let y = -1/4134 + 149858/2067. Is y greater than 73?
False
Let q be 7 + -6 + (1 - 5). Let l be 2*(1 - q)*-2. Let u = -14 + 14.1. Which is smaller: u or l?
l
Let v = 667 + -665.6. Are 0.6 and v non-equal?
True
Suppose -31*u = -60*u - 1972. Which is smaller: u or -8?
u
Let t(r) = r**3 - 34*r**2 - 5*r + 42. Let a be t(34). Is -129 less than a?
True
Let j = -6 - -5.9. Let i be (-9)/126*(-34)/(-8). Let o = i - -1/56. Is o bigger than j?
False
Suppose -a + 4*a + b + 5 = 0, -a + 10 = -2*b. Which is greater: 4/19 or a?
4/19
Let u = -10 - -12. Suppose -5*h = 2*y + 16, 3*y - h + 2*h - u = 0. Suppose -4*o + 8 + 0 = -y*r, -3*r + 2*o - 4 = 0. Which is bigger: 2/17 or r?
2/17
Let g(f) = 6*f**3 + f**2 - 3*f - 3. Let x be g(-1). Is 0 < x?
False
Let w be 920/55 - 1 - 3. Which is greater: w or 13?
13
Suppose b - 3*a - a + 12 = 0, 5*a = 20. Suppose 0 = -3*i - 0*x + 3*x + 21, 4*x = -b. Let d be 2 + (-4 - -5)*5. Are d and i non-equal?
True
Let w = -25 - -37. Suppose 3*i - 4*b = w, 1 = 3*i + b + 4. Does -1 = i?
False
Let g = 254 + -120. Let q = g + -151. Is q smaller than 1/2?
True
Let b = -219 - -3503/16. Let h be -4 + (56/4)/2. Suppose -t = -h*t + 2. Which is greater: t or b?
t
Suppose 53 = 2*v + 73. Is -4 at most v?
False
Let v = 21 + -33. Let c = -11.17 + 0.17. Let j = c - v. Is j at most 3?
True
Let q be 61/(-27) + 11/(-165)*-10. Is q less than -3?
False
Let z be 48 + -45 + -6 + 1. Is z bigger than -7?
True
Let j = 8 - 7. Let h be j + 1/((-26)/14). Suppose -5*q + 3*m = -0*m + 9, -2*q - 3*m + 9 = 0. Which is smaller: h or q?
q
Let y be 6/(108/(-42)) - 4/6. Let z be (-24)/36*y/(-7). Which is smaller: -9/8 or z?
-9/8
Let z = -0.56 - -0.34. Let p = 0.13 + z. Which is smaller: p or 0?
p
Suppose -118 = -28*v + 27*v. Let y = -117 + v. Which is smaller: y or -0.68?
-0.68
Let i be ((-15)/24)/(40/(-32))*100. Which is smaller: 11 or i?
11
Let x be -1 + -27 + 2 + -4. Let d(p) = -2*p**2 + 23*p - 39. Let c be d(2). Which is smaller: c or x?
x
Let c be 1 - ((-34)/(-51))/(4/(-6)). Which is bigger: c or 17/27?
c
Suppose d - 12 = l - 0*d, -l - 12 = -5*d. Let p be ((-1)/(-2))/((-9)/l). Let z = 574 + -574.2. Is z smaller than p?
True
Let u = 1279 + -3802/3. Which is bigger: u or 11?
u
Let i = 51 + -57. Let d be 2/((i/(-10))/(-1) - -1). Are d and -2 nonequal?
True
Let m be (-3)/(-2) + (-9)/270*-17637. Let f = -757 - -1344. Let k = f - m. Which is greater: k or -1?
-1
Let f = -3.17558 + 0.17558. Let b = -0.04 - 1.16. Let o = 0.2 + b. Is o != f?
True
Let l = 57091/473 - 1330/11. Which is smaller: l or 1?
l
Let w = 30 - 5. Let c = 75 - w. Do c and 1/2 have different values?
True
Let h(v) = -v**3 - 8*v**2 - 10*v - 11. Let a(x) = 2*x**3 + 16*x**2 + 20*x + 21. Let f(u) = -3*a(u) - 5*h(u). Let l be f(-6). Which is bigger: l or 1?
1
Suppose n = -3*z + 10, 0 = -5*n - 2*z + 5 + 19. Suppose 5*j + 6 = -n*y - 9, -4*j - 3*y = 13. Are -8 and j nonequal?
True
Let k(r) = -r + 18. Let z be k(14). Suppose 2*w = -8, 4*b - 3*w + 8*w = z. Suppose b = 3*q, -2*q + 7 = m + q. Which is smaller: m or 0?
0
Suppose v - 6*v = 0. Suppose -p + 2 = 7. Let m(q) = -2*q**2 - 9*q + 7. Let o be m(p). Which is smaller: v or o?
v
Let u = 153.3 - 152.9. Do u and 101 have the same value?
False
Let m = 4929697/376 - 104647/8. Let z = m + -30. Is 1 bigger than z?
True
Suppose -27 = -3*b + 6. Let y(z) = z - 5 + b - 5. Let v be y(-1). Is 0 bigger than v?
False
Let b = 0.337 + -0.277. Is 1/8 at most as big as b?
False
Let m be (16/(-24))/((-4)/(-12)). Let x = -6 + 5.92. Is m greater than x?
False
Suppose 2*v = -20 + 12. Let k be v/(-12) + 24/(-99). Is 0 less than k?
True
Let t be (-4)/6 - 10/(-6). Let c(v) be the first derivative of v**4/2 - 2*v**3/3 + v + 114. Let s be c(t). Is -2/49 not equal to s?
True
Suppose 5*w - 21 = -6. Let o be w - 5 - 4189/14. Let u = 301 + o. Which is smaller: -1 or u?
-1
Let v = -8.6 + 19. Let f = -9.4 + v. Does 1 = f?
True
Let d be 9/(-48)*(-1 - 19). Let w = -391/4 + 98. Is d bigger than w?
True
Let t(d) = -26*d + 9. Let j be t(-4). Let q = -163 + j. Let y = 34 + q. Are y and 2 equal?
False
Let k = 7790 - 210292/27. Is k >= 1?
True
Let f be 9/1 - 0/3. Let a(x) = x**2 - 2*x + 3. Let q be a(3). Let h = q - f. Which is bigger: -2 or h?
-2
Let m be (-8)/(-2) + (-88)/(-8). Let t = -27 + 42. Is t greater than m?
False
Let a = -218 - -225. Let g(m) = 10*m - 73. Let f be g(a). Let n be (-10)/(-3)*(-3)/4