+ 4*b + 5. Let h be c(5). Let a be 2/(-6) - h/15. Is m bigger than a?
False
Let z be 1/6 - (-1)/2. Let b be 1 + 2 + (-1929)/696. Let f = -3/29 + b. Which is bigger: z or f?
z
Suppose 154 = 8*u - 19*u. Let m be (u/(-672))/((-6)/9). Is m at most as big as 2?
True
Let s = 0.28 - 0.2. Let r = -0.02 - s. Let q = 32.8 + -33. Which is greater: r or q?
r
Suppose 10 = u - 5*q - 6, -2*q + 20 = 2*u. Suppose -8*n - u - 53 = 0. Let y = 194 + -403/2. Is y greater than or equal to n?
True
Let i be 240/21 + (-4)/(-7). Let j = 2 + i. Suppose -7*d = j - 7. Do 1/27 and d have the same value?
False
Let x be (-14)/203*((-21)/(-6))/7. Which is greater: -0.2 or x?
x
Let d = 13 + 3. Let y = 25 - d. Let p = y + 0. Which is smaller: 10 or p?
p
Suppose -3*c - 22 = -0*c + a, 25 = -3*c - 4*a. Suppose -x - 2 = 1. Let d be (x + 36/8)*-4. Which is bigger: c or d?
d
Let f = 308.4 + -310. Let y = 1.7 - 1.8. Is y greater than or equal to f?
True
Let l be (2/(-6))/((-2)/(-942)). Are l and -157 unequal?
False
Let c = 41 - 36.1. Let i = 5.2 - c. Which is smaller: 15 or i?
i
Suppose -5*c + 176 = 17*c. Which is bigger: c or 7?
c
Let u = -3 - -5. Suppose a - u = 1. Suppose a*h = -0*h. Does h = 0?
True
Let k = 277 + -275. Does 138 = k?
False
Let m = -13 - -4. Let i = m - -9.5. Do -1/3 and i have the same value?
False
Suppose 0 = o - 4*p + 72, 2*o - 4*p + 12 + 144 = 0. Let v be (16/o)/(4/(-6)). Let s = -37/70 + -3/70. Is v less than or equal to s?
False
Let d = 598 - 595.12. Which is smaller: d or -1?
-1
Let j(d) = -61*d**2 - 3*d. Let a be j(-1). Let q = a + 58. Which is smaller: q or 1/11?
q
Let p = 3 - 2. Let w(k) = -4*k**2 + 67*k + 205. Let d be w(-3). Is p >= d?
True
Let u be (-6)/8 + 2/8. Let w(a) = 18*a**2 - 19*a**2 - 3*a + 4*a. Let y be w(0). Which is greater: y or u?
y
Let q(u) = -2*u - 20 - 5*u - 21 - 16. Let i be q(-8). Is i greater than 2/493?
False
Let r = 301/5146 - 2/31. Do 0 and r have the same value?
False
Let p = -11 - -7. Suppose -c = 5*a - 0*c + 2, 2 = 4*a - c. Suppose -21 = -v - a*r + 5*r, 20 = -4*r. Is v less than p?
False
Let u be (-4)/6 + (-146)/(-210). Let p(k) = -4*k**2 - 50*k + 84. Let f be p(-14). Which is greater: f or u?
u
Let m = -418 - -419. Which is bigger: m or -234?
m
Let m = -6330 + 89593/15. Let w = 357 + m. Does w = -1?
False
Suppose -9*c = 4*c + 1014. Let r = -78 - c. Is 1/28 < r?
False
Suppose -h - o = -2*o + 41, -2*h - o - 94 = 0. Let y be (-1)/1 + 99/h. Let x = y - -58/15. Are x and 1 non-equal?
True
Let a(j) = -j**3 + 22*j**2 + j - 22. Let x be a(22). Let v(n) = 3*n - 62. Let h be v(x). Is h >= -63?
True
Let r = 47 + -16. Let g = -31.1 + r. Which is smaller: g or 7?
g
Let t be (40/(-25))/((-1)/30). Let l = -31 + t. Which is greater: l or 2/9?
l
Let t = 65 - 73. Let p be t/20 - (2 + 393/(-170)). Which is bigger: 1 or p?
1
Let o = 1626 - 1367. Which is greater: 262 or o?
262
Let s = -888.9 + 889. Which is bigger: s or 307/5?
307/5
Suppose -2 = 2*h - 0*h. Let o(s) = 21*s**3 + s**2 + s. Let g be o(h). Is g at most -21?
True
Let i(u) = u**3 - 12*u**2 - 30*u + 20. Let g be i(14). Let d be 5/(-10) + 76/g. Is -2 at least as big as d?
True
Suppose 5 + 237 = 4*r - 3*u, -4*r - 2*u = -252. Suppose 21*v = 30*v - 549. Is r at most as big as v?
False
Let g = 2760993/415 - 6653. Which is bigger: 1 or g?
1
Suppose 0 = 4*p + 16, 2*s - 3*s + 2*p = -1. Suppose -3 = -3*g + 24. Suppose 2*h + 3*l + g + 4 = 0, 4*h + 25 = -5*l. Is h greater than s?
True
Suppose 9*f + s = 4*f - 5, 0 = -2*s - 10. Which is bigger: -2/1101 or f?
f
Let w be 312/(-20)*(-3)/9*-20. Are w and -104 unequal?
False
Suppose 15*u - 20*u + 5 = 0. Let z be ((-2)/(-2)*1)/(u/4). Is z bigger than 1?
True
Let v(q) = 3*q - 26. Let h be v(15). Suppose -h = 3*s - 0*s + 5*z, -4*s - 2*z = 30. Which is smaller: s or -11?
-11
Let x = -221 - -221. Let i = -0.5 - -0.6. Which is greater: x or i?
i
Let h = -2281 + 15889/7. Let c = 76/7 + h. Is c not equal to 0.1?
True
Let z(y) = -3*y**3 - 11*y**2 + 193 + 19*y + 3*y**3 + y**3 - 205. Let f be z(9). Do f and -5 have the same value?
False
Let p be (-48)/(-40)*25/3. Let g be 2/6*(7 - p). Suppose -3*x = -x - 4. Which is greater: x or g?
x
Let o(r) = -r**2 - 2*r + 3. Let g be o(-5). Let z be ((-9)/g*2)/18. Which is greater: 0 or z?
z
Let t be (-153)/(-85) + (-6)/15. Is t <= -0.06?
False
Let l = -15 - -20. Let o = l - 3. Suppose o*r = 6*r. Which is smaller: -9 or r?
-9
Suppose j - 35 = -3*c, j = -c - 0*c + 9. Let n(k) = k**2 - 14*k - 1. Let o be n(c). Which is greater: o or -15?
o
Let o(z) = 3*z**2 - 19*z + 8. Let t be o(6). Suppose 0 = -t*x + 2*u + 18 - 0, -3*x + 27 = 5*u. Is 6 greater than or equal to x?
False
Suppose 5*w - r + 301 = 0, 5*w - 3*r = -18 - 275. Let i = 51 + w. Let l be 1 - 11 - (-7)/7. Are i and l non-equal?
True
Let b be 9/6*(-3 - 52/(-12)). Suppose -5*l - 2 = 5*g - 3*l, -b*g = -2*l - 2. Which is smaller: g or -3/8?
-3/8
Let b = -181 + 182.8. Let d = -1.57 - -0.07. Let z = b + d. Is z > -1/3?
True
Let u be (-5)/((-45)/(-2)) + (-7463)/153. Is 4 at least as big as u?
True
Suppose -5*b + 243 - 828 = 0. Let p be (-132)/b + 2/(-3). Which is smaller: -1 or p?
-1
Let d be ((-63)/(-11))/(((-120)/(-16))/(-5)). Is d greater than 0.2?
False
Let q = 57.9 + -53. Which is bigger: -1 or q?
q
Let r = 35.07 + 2.93. Which is smaller: r or -2/3?
-2/3
Suppose 0 = -7*x + 11*x - 12. Suppose 6 = x*c, 5*c - 28 = k - 2*k. Let d = k + -6. Is 13 greater than or equal to d?
True
Let d be 0/(-22)*3/((-12)/(-2)). Which is smaller: d or 3/494?
d
Let t = -126 - -7057/56. Let k = 65/504 - t. Is 0 greater than k?
False
Let f = 218 + -101. Let o = -111 + f. Is -1 greater than o?
False
Suppose 2*o - 4 = -2. Let f(x) = -x**2 + 41*x + 135. Let y be f(44). Which is bigger: o or y?
y
Suppose 3*c - 14 = -4*c. Suppose z + 3*z + c*m + 26 = 0, 3*z + 3*m + 18 = 0. Let n be ((-21)/(-12))/((-2)/8). Is n at most as big as z?
True
Let n = 109 + -133. Is n < -2?
True
Let f = 16/13 - 118/117. Let h = 0.05 - 0.12. Which is bigger: h or f?
f
Let u = 151 + -147. Suppose -4*v = -3*y + 23, u*v - 10 = 4*y - 34. Is y >= 2/33?
True
Let t = 24 - 25. Which is smaller: -2 or t?
-2
Suppose 0 = 5*z - 3*m - 45, -2*z = -6*z - 3*m + 36. Suppose 2*u - z = u. Suppose 17 - 5 = 4*j, s - u = -3*j. Is 4/5 < s?
False
Let d(t) = -2*t - 5. Let p be d(6). Suppose 8 + 60 = -4*x. Is x less than p?
False
Let u = -4.5 - -5.36. Let j = -0.56 + u. Which is greater: j or 5?
5
Let q = -108 + 118.2. Let r = q - 10.2. Which is smaller: r or -5?
-5
Let l be (-3)/8 - ((-258)/16)/3. Which is smaller: 0 or l?
0
Let i be 18/81 + (344/(-18))/(-4). Let z(b) be the third derivative of -b**4/24 + 4*b**3/3 + b**2. Let r be z(i). Which is smaller: 5/2 or r?
5/2
Let q = 25.5 + -24.39. Let u = -0.11 + q. Which is bigger: 12 or u?
12
Let b = 109.6 + 55.4. Which is greater: -2/17 or b?
b
Let u be (396/(-95))/3 - 160/400. Is u <= -3?
False
Let i = 17423/2 + -154901/18. Suppose -3*q = g + 315, q + 2*g + 100 = -0*q. Let n = q + i. Which is bigger: n or 0?
0
Let t(u) = -6*u**2 - u - 2. Let s be t(-1). Let y be (-35)/(-10)*(-68)/s. Which is bigger: y or 35?
35
Suppose -3*d = -u - 2, 0*d + 3*u + 1 = 4*d. Let q be d*((-16)/92)/(-4). Does q = 1?
False
Let s(j) = 3*j**2. Let v be s(-1). Suppose 3*t = -o - 13, -12 - 11 = -4*o + v*t. Let b be 6/(-4)*o/(-6). Which is smaller: b or -7?
-7
Let h be (8/14)/(48/168). Suppose -2*w = h*w - 3*c - 159, -w + 4*c = -56. Is 37 < w?
False
Let r = 2.2 + -2.38. Let x = 0.88 + r. Let s = x - 0.9. Which is greater: s or 2?
2
Let m = 2 + 17. Suppose -m = 4*x + 29. Which is greater: x or -11?
-11
Suppose 2 = -z, m + 8 = -m - z. Do -90/47 and m have different values?
True
Let a = 124 + -180. Let h = a - -58. Is 0 bigger than h?
False
Let y = -2389 + 2284. Is -1164/11 equal to y?
False
Let m(z) = 5*z - 25. Let t be m(12). Let w = t + -19. Is 18 greater than w?
True
Let x = -0.0007 + 44.0007. Is x less than -0.11?
False
Suppose -f = -0*f + 4*w - 10, -3*f = -3*w. Let o = 10 - f. Let k be ((-9)/(-48))/((-2)/o). Is -1 greater than or equal to k?
False
Let z(f) = 8*f - 2. Let q be z(-2). Let l = 19 - 21. Which is smaller: l or q?
q
Let h = 4 + -3. Let o = 2473 - 2498. Is h greater than or equal to o?
True
Let w be 7 + 11 + (1 - 8). Which is bigger: -2 or w?
w
Let n(l) = -14*l + 3. Let v be n(2). Let u = 43/2 + v. Which is smaller: u or -