h is smaller: x or v?
v
Let s be (82/164)/(2/568). Is s bigger than 283/2?
True
Suppose 22*d - 70 = -92. Let o be 2/(-3)*(-27)/6. Let r be 4/57*o/(-2). Which is smaller: d or r?
d
Suppose 0 = 4*s - 4*y + 48, 6 = 5*y - 4. Which is smaller: -8 or s?
s
Let k(x) = 11*x + 66. Let z be k(-5). Is z smaller than 9?
False
Suppose -4*y + 21*y + 493 = 0. Suppose -2*u - 54 = 2*v, 5*u - v = -0*u - 147. Is u smaller than y?
False
Let v be (28/(-6))/(21 + -27). Do 3 and v have different values?
True
Let g be (-2)/12 - 2/(-3). Let p = 1811 - 23539/13. Is p > g?
False
Let z = 155 + -156. Which is bigger: z or 6/301?
6/301
Let j be 2/(10/45)*(-2)/(-32). Is 1 less than j?
False
Let t = -5 - -6. Suppose w + t = 3. Suppose 0 = -3*q - 15, w*q + 1 = 2*v - 3. Do v and 3 have the same value?
False
Let h(o) = o**2 - o - 2. Let c be h(4). Let k = 16 - c. Suppose -a - 5 = -k. Is a at least as big as 2/23?
True
Let s(f) = -f**2 + 2*f + 8. Let m be s(0). Suppose 3*i - m = -20. Is -6 bigger than i?
False
Let y(w) = w + 13. Let o be y(-6). Let d(l) = l**2 - l - 13. Let c(i) = -2*i**2 + i + 27. Let k(s) = -4*c(s) - 9*d(s). Let g be k(o). Are g and -11/2 non-equal?
True
Suppose 0 = 46*i - 50*i - 8336. Is i at most as big as -2083?
True
Suppose -34*o = -39*o + 330. Which is bigger: o or 65?
o
Let g = 57/2 - 29. Let m(z) = -z**3 + 15*z**2 - 25*z - 7. Let x be m(13). Is x at most g?
False
Let x = -591 - -4120/7. Is x less than or equal to -2?
True
Suppose 5*h = -5*t - 12 - 8, 3*t + 12 = 4*h. Which is smaller: t or 13?
t
Suppose -121 = 5*q + 3*c, 2*q = 7*q + 4*c + 118. Is q smaller than -26?
False
Let j = 22.7 + -18. Let l = j - 0.7. Let w = 2 + -2.5. Which is smaller: w or l?
w
Let r(u) = u**2 - 6*u - 7. Let w be r(7). Let y be 0 + 3 + -1 + 0. Suppose 2*o - 4*o - 4 = 4*x, o + 4*x + y = 0. Is w smaller than o?
False
Let o = -70 + -45. Let k = o - -117. Is k smaller than 3.7?
True
Let z be -2 + (13/(-65) - (-4988)/2255). Let s = z + -2/55. Is s at most as big as 1?
True
Let h be ((-7)/(28/116))/(4 - 5). Is h at least as big as 4?
True
Let b(a) = 81*a + 322. Let r be b(-6). Is -496/3 bigger than r?
False
Let a = -20 + 21. Let o be 0/(10/(a - 6)). Is 2/5 smaller than o?
False
Let q(m) = -m**2 + 4*m + 1. Let j be q(3). Suppose 5*x - 19 = j*s, 32 = -s - 4*s - 2*x. Is -1 bigger than s?
True
Suppose 8*c - 61 = -85. Which is bigger: c or -5?
c
Let o(g) = -g**2 - 8*g + 5. Let s be o(-9). Let c(p) = -3*p + 3*p**2 - 5*p**2 - 6*p. Let t be c(s). Is 1 greater than t?
False
Let i(x) = x**2 - 1. Let o be i(1). Suppose -56 = 5*c - 1. Let y(q) = -q**3 - 11*q**2 + q + 11. Let g be y(c). Is o equal to g?
True
Suppose -6*s = -10*s - a - 2, 3 = -5*s - a. Is s smaller than -31/16?
False
Suppose 3*j - 5*j = -8. Let c be (-36)/j*1/(-3). Suppose -5 = -c*h - 2*h. Is -2/37 less than or equal to h?
True
Let h(x) = x**3 + 10*x**2 + 9*x + 6. Suppose -8*k - 54 = -2*k. Let r be h(k). Is 5 equal to r?
False
Let y = 2.9 + -2.87. Let k = 24.58 - -0.42. Let d = -24 + k. Which is greater: d or y?
d
Let u = -1919/17 + 113. Which is bigger: 5 or u?
5
Let r = -2747 + 2722. Which is greater: r or -0.05?
-0.05
Let l = 2.23 + -2.25. Suppose 0 = -2*u - u - 3. Is u <= l?
True
Let b = 730 + -731. Are b and -5/294 non-equal?
True
Let n be (-3)/(-5) + 151680/(-50). Let d = n + 21267/7. Which is bigger: 6 or d?
6
Let j(l) = 3*l + l**3 + 32 + 2*l - 3*l - 3 + 14*l**2. Let x be j(-14). Which is greater: x or 8/17?
x
Suppose 2*u + 2*z + 103 = 3*z, 201 = -4*u - 3*z. Which is smaller: -49 or u?
u
Let x = 0.015 + 4.785. Let q = x + -4.45. Is 0.1 at least q?
False
Suppose -2*l + 4 = -0*l. Suppose l*j = 29 - 107. Is j >= -39?
True
Let y be 0 - (-6 - 0 - -4). Suppose -2*u - c - 3 = -3*u, -5*u + 4*c + 12 = 0. Suppose -y*q + 4*q = u. Which is bigger: q or 3/4?
3/4
Let y = 4 + -6. Let l be 5/y*(-1)/(-5). Let g = -4.5 - -4.4. Which is smaller: g or l?
l
Let f = -25.38 + 25. Let q = 320.62 - 337. Let i = q - f. Is i greater than -0.2?
False
Let n = 47 + -51. Let a be (2/(-11) - n/22)*-1. Is a smaller than 2/7?
True
Let m = -3.6 + 7.8. Let x = m - 1.2. Is 2/11 != x?
True
Let i = 3 - 94. Let d = i - -91.2. Which is greater: d or 39?
39
Let x(i) = i**3 + i**2 - i. Let a be x(0). Let l(u) = 2*u - 12. Let z(c) = -3*c + 18. Let b(y) = 7*l(y) + 5*z(y). Let f be b(8). Which is greater: a or f?
a
Let y(k) = -4*k**2 + 16*k + 47. Let c be y(18). Let x = c + 27864/29. Is x bigger than -0.1?
False
Suppose 0 = -33*s + 84 - 18. Suppose -n = -0 - 4. Suppose 5*i - 14 = -n. Is s not equal to i?
False
Let n(b) = -b**3 - 14*b**2 - 13*b - 1. Let s be n(-13). Let m be s*((6 - 4) + 8). Is m at least as big as -10?
True
Let k(r) = -r**2 - 9*r + 17. Let j be k(-13). Let g = -20 - j. Is g != 15?
False
Let s be (-2)/(-8) + -15 + 19 + (-895)/220. Let u = -1 - -1. Is s greater than u?
True
Suppose -4*u = 44*p - 48*p + 184, -p = 5. Which is smaller: u or -45?
u
Let m = 12.07 - 364.07. Do 1/5 and m have the same value?
False
Let c be 30/(-25) - (-2)/10. Let s = 8 - c. Suppose 2*n - s = x - 0*x, -3*n = -5*x - 24. Which is bigger: x or -7?
x
Let i be 34/6*12/16*4. Suppose 2*y = -d - 7, -4 = -d - 4*y - i. Which is smaller: d or -2/137?
d
Let f = 1889 - 1890. Which is bigger: -960/13 or f?
f
Suppose -47*o = -53*o + 186. Let m(c) = 2*c**3 - 2*c**2 - 2*c + 1. Let b be m(3). Is b smaller than o?
False
Let a = -9.29 + 8.99. Which is greater: 204 or a?
204
Let q = 724 + -733.982. Let t = -0.018 + q. Which is smaller: -0.1 or t?
t
Let c = -551 - -552.13. Which is smaller: c or -0.4?
-0.4
Let l(i) = 2*i**2 + 76*i + 96. Let a be l(-37). Is 32 less than a?
False
Suppose -15*w + 1089 = -12*w. Let g = -2167/6 + w. Is 1 at most g?
True
Let x(r) = -47*r - 4. Let j be x(3). Let c = 5 + j. Let z be (-4)/(-14) + 75/c. Are z and 0 non-equal?
True
Let f = -11.86 - -12.3. Which is smaller: 1/3 or f?
1/3
Let i = 4 + -2.7. Let v = i - -16.7. Let a = v + -17. Which is smaller: -2/5 or a?
-2/5
Let m = -7 - -11. Suppose -15*u = -16*u + w - 1, 5*u - 3*w = 9. Is m > u?
False
Suppose 58 = 4*a - 2. Suppose -4*l - a = l. Let b be l/(-15) + (-3)/(-60). Is 1 greater than or equal to b?
True
Let g be ((-1)/5)/((-4)/80*4). Which is smaller: -1/1125 or g?
-1/1125
Let q be (-1 - -5 - 0) + -1. Let t = -3 + q. Are t and -12 equal?
False
Let v(q) = -10*q**2 - 26*q - 6. Let h be v(-4). Is -60 > h?
True
Let b = -83/2 - -40. Let k be (-1 - -1)/4 + 28/(-70). Which is greater: b or k?
k
Let r = 39 - 38. Suppose 2*x + 3*k = 6*k + 82, -x - 2*k + 48 = 0. Which is smaller: r or x?
r
Let p(c) = c**3 - c**2 - 2*c. Let l be p(2). Let j(w) = w**2 - 25*w - 51. Let a be j(22). Let m = -583/5 - a. Are m and l unequal?
True
Let y = 185 - 130. Let o = y + -41. Is -2/3 <= o?
True
Let r be 36/(-180) + 481/2505. Which is smaller: 1 or r?
r
Let c be 7/(-27 - -6) - (0 - 1). Let a(k) = 0*k**3 + k**3 + 0 - 2*k**3 + 2 + 6*k + 5*k**2. Let w be a(6). Which is smaller: c or w?
c
Let j = 208 - 228.1. Which is smaller: -0.3 or j?
j
Let r = -4 + 6. Let n(d) = 4*d + 13. Let z be n(-3). Let b be (-1 - z - 1) + -1 + 10. Are r and b unequal?
True
Let w be ((-9)/3*2)/(10 + 4). Is 1/6 < w?
False
Let y be (-304)/30 - (7 - (-408)/(-60)). Which is bigger: -11 or y?
y
Let a be 60/(-105) - (-333)/7. Suppose 0 = -6*r - a - 1. Is -10 greater than or equal to r?
False
Let p be 1370/345 - (5 + -1). Let t = p - 479/138. Is t <= -3?
True
Let q = 249.5 + 53.5. Is 0.1 equal to q?
False
Let v(d) be the second derivative of 0 + 1/3*d**3 + 1/4*d**4 - 1/20*d**5 - 2*d**2 + 5*d. Let n be v(3). Is n at most 10/7?
False
Let v = -34 - -25. Let g(h) = 2*h + 28. Let l be g(v). Is 5 at least l?
False
Let m = 1.4 + -1.7. Let d = -0.14 - 3.86. Let q = -8 - d. Which is bigger: m or q?
m
Let s = 0.65 - -3.55. Let w = -3.4 + s. Does w = -0.1?
False
Let l be 72*(-48)/(-2955) + 6/(-5). Are l and 0 non-equal?
True
Let q be 89 - ((-5)/10 + (-10)/(-4)). Let u = q + -84. Are 5 and u equal?
False
Let v = -66 + 65.947. Let c = v + -0.017. Is c less than 9?
True
Suppose -d = -5*d + l + 47, -5*d - 2*l + 49 = 0. Suppose -2*x + 1 = -d. Suppose x*r = 4*r. Is r greater than -0.6?
True
Let v be 1/(-6) + 1/((-5178)/(-851)). Which is bigger: v or 1?
1
Let r be 8/(-66)*(15/(-2))/(-5). Is r greater than or equal to -5?
True
Suppose 2*t - 124 = 56. Let q be (-231)/(-45) - 12/t. Is 4 <= q?
True
Le