2*h - 5*s + 4 = 0. Which is greater: -43/14 or h?
h
Let p(x) = x**2 - 5*x + 3. Let t be p(5). Let r be (-20)/t + (-2)/(-3). Let s = 96 + -96.1. Which is smaller: s or r?
r
Let i be ((-15)/(-210))/(3/(-1230)). Which is smaller: -29 or i?
i
Let n = 163 - 159. Let w be 39/(-36) + (-3)/(-4). Do n and w have the same value?
False
Suppose -3*i + 10*i - 35 = 0. Let n be -2 - (i + -4)*-3. Let q be n - (-3)/2*2. Are 4 and q nonequal?
False
Let b be (-1*4 + (-16514 - -1))/11. Let y = 1499 + b. Is y greater than -2?
False
Let g be (-30 - 0)/((-6)/4). Is g less than or equal to 20?
True
Let q = -0.029 + 51.029. Let f = -45 + q. Which is bigger: f or 1/10?
f
Let n = 1637/603 + -33/67. Let r = n - 49/18. Are 0 and r nonequal?
True
Let c = -6.2 - -6. Let j = c - 1.8. Let k be (-1)/(-3) - -13*1/(-12). Which is smaller: k or j?
j
Let l = -34 + 73. Let x = l - 35. Which is smaller: x or 2/7?
2/7
Let g = -0.02 - 0.18. Suppose -75 = 4*u - 3. Which is smaller: g or u?
u
Let k be (-1 - (-12 + -1))/2. Let w(g) = -3*g + 8. Let m be w(k). Suppose l = -3*d + 4, 3*l + 2*d = -7 - 16. Which is greater: l or m?
m
Let j = 85 + -83. Suppose -j*u + 34 = -18. Which is bigger: 25 or u?
u
Let h(x) = -4*x**3 - 32*x**2 - 5. Let v be h(-8). Let p = 341/2 - 919/4. Let w = p + 59. Are v and w unequal?
True
Let u = -3 + -17. Let w be 7/(-5) + (-8)/u. Which is greater: w or -4/15?
-4/15
Suppose 9 = d - 2. Does d = 88/9?
False
Let w be 0/4 - 8/(-2352). Let f be 2/(-5) - 606/(-490). Let h = f - w. Is 2 at least as big as h?
True
Let k(g) = g**2 + 2*g - 2. Let h be k(-4). Suppose -t + h = t. Suppose 4*q = 10 + 2, t*s - 2*q = -18. Which is smaller: s or -5?
-5
Let k(b) = b**2 + 10*b + 6. Let d(s) = -s**2 - 10*s - 6. Let n(q) = 7*d(q) + 6*k(q). Let a be n(-9). Let p be (-2)/30 + a/(-5). Which is smaller: 3 or p?
p
Let d(v) be the first derivative of v**3 + 3*v**2/2 + 1. Let h be d(-2). Suppose -2*a + 18 = -h. Are a and 10 non-equal?
True
Let l = -3467 + 135233/39. Which is bigger: 0 or l?
l
Let n = 491 + -8353/17. Let c = 0 + 4. Suppose c*s = 6*s - 2. Which is smaller: n or s?
n
Let z = 1054 - 1081. Let t(l) = -4*l + 1. Let o be t(7). Is z < o?
False
Let d = 231 - 388. Which is bigger: -156 or d?
-156
Let c = 9/100 + 13/300. Let i be -1 - 0 - (0 - 2). Is i less than c?
False
Let k = -30 + 32. Suppose 0*q + 2 = k*q. Which is smaller: q or 1/17?
1/17
Let p = -43 + 33. Let k(r) = 2*r**2 - 54*r - 69. Let w be k(28). Which is greater: w or p?
p
Suppose 0 = -x + 5*a - 1 - 11, -5*x - 12 = -a. Let h be (-4)/(-16)*0*x/(-2). Let w be (-2)/(-6)*36/32. Are h and w equal?
False
Let h(x) = x**2 + 3*x - 1. Let r(t) = -t**3 - 12*t**2 - 12*t - 10. Let w be r(-11). Suppose -19 - w = 4*l. Let s be h(l). Which is bigger: s or 10?
10
Let n(p) = 4*p - 19. Let s be n(6). Let t be (-7)/(-1) + (2 + -7)/s. Which is greater: t or 4?
t
Let u = 383 - 522. Which is greater: 1 or u?
1
Let w = -19 - 9. Which is greater: w or -29?
w
Suppose -5*n = -4*s - 2*n - 3, 4*s = -3*n - 21. Let l be 52/(-24) - -4 - s/18. Which is smaller: l or 2/9?
2/9
Let i = 2054/7 - 293. Which is smaller: i or 1?
i
Let f be (-3)/((-45)/66491) + 7/(-21). Let w = f - 4450. Is -17 greater than w?
True
Suppose -45 = k + 4*k - y, 3*k - 2*y + 27 = 0. Let f = -11 - -12. Let u = -9 - f. Do k and u have the same value?
False
Let s be 30/(-4)*4/6. Let c = 4 + s. Let l = -2791/133 - -148/7. Do l and c have different values?
True
Let u be (-4)/(-3)*348/58. Let p be ((-4)/(-40))/(2/132). Which is bigger: u or p?
u
Let y = 1.27 + -0.09. Let i = 1.28 - y. Is i at most as big as -2/209?
False
Let b = -232/7 - -230/7. Which is bigger: -1 or b?
b
Let g = 34 + -137/4. Let f be (-2)/(1 - -1)*-1. Let m be (f - (1 + -2))/(-2). Which is greater: g or m?
g
Let a = 1434 + -1433.3. Which is greater: a or -0.23?
a
Let r(l) = l**3 + 7*l**2 - 6. Let u be r(-6). Let f = -268/9 + u. Is 1 >= f?
True
Let b = 5.12 - 0.12. Let f = -74 - -65. Let p = b + f. Is 3 bigger than p?
True
Let i be (-16)/38*(-2)/8. Let c be (-46)/(-8) + ((-42)/(-8))/(-7). Suppose c*k - o - 3*o = 11, 2*k - 2 = o. Which is greater: k or i?
i
Let w = 1.9 - 1.9. Let i = 2.15 + -0.25. Which is greater: i or w?
i
Suppose 10 = -8*f + 34. Let k = 16 + -13. Suppose -k*l = -l - 2. Is f greater than l?
True
Let d(o) = 2 + 10 - 23 + 2 + o. Let p be d(5). Which is smaller: -0.03 or p?
p
Let x = 25 + -35. Let b = -793 + 791. Is b at most x?
False
Let y = -0.6979 - -0.1979. Do 22 and y have different values?
True
Suppose 2*g = 3*d - 11, 4*g + 0 = -4. Suppose d*b + 3 + 21 = 0. Is b greater than or equal to -10?
True
Let v = -159 + 163. Suppose -3*j + 1 = v*o, 14*j - 9*j - 2*o = -7. Which is smaller: j or 2/91?
j
Let j = -702 + 702.3. Are j and -0.018 non-equal?
True
Let b(y) = 6*y + 4. Let m be b(5). Let t = -28 + m. Suppose -2 = t*f - 20. Does 3 = f?
True
Let s be (4/(-12))/(2/6). Let g(h) = 29*h + 1. Let m be g(3). Let x be m/170 - (-6)/(-51). Is x < s?
False
Let r(y) be the third derivative of -y**4/12 - y**3/3 - 7*y**2. Let w be r(-4). Suppose z + 3*k - 28 = w*z, -4*k + 24 = -5*z. Is z > -8?
False
Let m = -17597/772214 + -1/2557. Is m equal to 0?
False
Suppose 5*d - 2*t = -6*t - 9, d - 4 = 5*t. Let s be ((-4)/(-14))/((4/(-16))/d). Which is bigger: -1 or s?
s
Suppose -2*a - 2 = -4*a. Let m be (1 - a)/(-5 + 2). Let j be 14/105*(-6 - m). Which is greater: j or -1?
j
Let t be (-7)/((-441)/(-14)) + (-2)/(-9). Suppose t = -o + 2*o - 32. Is o bigger than 31?
True
Let t = 40002916843/206167392 - 2/6442731. Let s = t + -194. Does -1 = s?
False
Let o(h) = h**3 - 8*h**2 - h + 9. Let a = 18 + -10. Let m be o(a). Let g = -5 + m. Which is smaller: -6 or g?
-6
Suppose m = 2*x - 28 + 17, 30 = -5*m + 5*x. Which is greater: m or -0.49?
-0.49
Suppose 27 = 4*h + 7. Suppose -2 + 0 = l - d, 0 = h*l - 4*d + 11. Let g be 5*(-4)/l + -3. Which is smaller: g or 3?
3
Let h = 14 - 16. Let l(q) = -q**3 + 2*q**2 + q - 2. Let d be l(h). Which is smaller: d or 0.2?
0.2
Suppose -39*f + 8*f = 186. Which is smaller: -5 or f?
f
Let y be 4/(-36) - 866/(-504). Is y less than or equal to 3?
True
Suppose -5*v = 2*x - 114, -5*v - 202 = -4*x - 4. Which is bigger: x or 49?
x
Suppose 9*t + 162 = 15*t. Which is smaller: t or 31?
t
Let j(o) = o**2 + 11*o - 59. Let c be j(-15). Are -159 and c non-equal?
True
Let d be ((-11)/(-2) + 33/(-22))*16. Is d != 64?
False
Let y(a) be the second derivative of -a**3/6 - 8*a. Let j be y(-12). Is 12 < j?
False
Suppose 0*q + 3*u + 222 = 5*q, 3*q + u = 122. Let x be 12/q + (-138)/(-154). Which is smaller: -1/3 or x?
-1/3
Let f = 2353 + -2332. Let b(r) = -r**3 - r**2 - r - 1. Let d be b(0). Is d <= f?
True
Let n(d) = -55*d + 275. Let j be n(5). Is j <= 10/17?
True
Let j = 0.0898 + 0.0902. Let u = -0.2 + 0.3. Is j smaller than u?
False
Let g = -69753/10 - -6954. Is -21 greater than or equal to g?
True
Let r = 94 + -57. Let p = r + -36. Which is greater: -4/21 or p?
p
Suppose -i + 1824 - 8591 = 0. Let n = i - -27307/4. Let k = n + -113/2. Is k bigger than 4?
False
Let j be (-1*3)/(6 + -5). Let b be (2 - 3)/((-6)/(-30)). Let i(g) = -g**2 - 6*g - 10. Let y be i(b). Which is smaller: j or y?
y
Let j(i) = -43*i + 10. Let w be j(2). Let m = w - -133/2. Let z(o) = -o**3 - 7*o**2 + 2*o + 3. Let n be z(-7). Which is bigger: m or n?
m
Let p = -5.33 - -1.23. Let i = p + 4.1. Which is smaller: i or 24?
i
Let n be (-3)/(-8)*34/19125*15. Which is smaller: -1 or n?
-1
Let o be 3/(-12) - 2/(8/3). Let x be -2 - (14/3 - -2). Let r = -127/15 - x. Which is greater: r or o?
r
Let s be ((-2)/(-4))/((-5)/9310*-19). Is s smaller than 46?
False
Suppose -8 = -5*i - 5*g + 7*g, -g = 3*i + 4. Is i smaller than -2/533?
False
Let z = -1039 - -14561/14. Let a = z - 4/7. Let u be 1/(2 - 3 - 4). Which is greater: u or a?
a
Let u be -1 - (-2244)/580 - (-8)/(-10). Which is smaller: u or 2?
2
Let f = -2.3 - 16.7. Let s = f + 7. Let w = -12 - s. Which is smaller: -0.4 or w?
-0.4
Let u be 12/((-6)/2) + 27. Let t = u + -25. Let s be 2 + -7 + t/1. Which is smaller: s or -6?
s
Suppose -183 = 5*q - 13. Let t = q - -33. Which is greater: 1 or t?
1
Let b(v) = -9*v - 63. Let f be b(-13). Which is smaller: 55 or f?
f
Let x(c) = c**2 + 12*c - 10. Let v be x(-6). Let z be v/(-130) + 10/(-65). Which is bigger: z or 3/4?
3/4
Suppose 8 = -6*q + 2*q. Let i = q + 4. Suppose 3*h + i