)/(-4)*f. Let o be (1/(-5))/((-8)/10). Which is bigger: o or v?
o
Let s = 11745 + -646054/55. Let x = s + 18/11. Suppose 8 = 16*g - 8. Which is bigger: x or g?
g
Let t = -165 + 163. Which is greater: 3 or t?
3
Let a(k) = -2*k**2 - 133*k - 51. Let x be a(-67). Is x smaller than -121?
False
Let h = -9 + 12. Suppose 22 = h*c + 4*x, 3*c - x = x - 2. Suppose 4*z - c*y + 20 = -y, -2*z = -5*y + 28. Which is bigger: z or -3?
-3
Let x be (-2)/((-32)/(-3))*-276. Which is smaller: x or 51?
51
Let a(u) = 2*u - 19. Let z be a(-5). Let i be z/(-6) - (-5)/30. Is 7 at most i?
False
Let x = 424/3 - 141. Which is bigger: x or 2?
2
Let m = -10191/7 - -1456. Which is smaller: 367 or m?
m
Let h = 5/9 + -19/18. Suppose -5*v = -4*v. Which is smaller: h or v?
h
Let d be (-6 + 2 - 0) + 9. Let o(i) = 0*i**2 - 12*i - 3 - i**3 - 8 + 2 + 14*i**2. Let c be o(13). Is d equal to c?
False
Suppose -3*g - d + 1177 = g, -g + 298 = d. Which is smaller: g or 292?
292
Let d = -0.035 + 0.135. Do 77 and d have different values?
True
Let t = 0.4 - 0.8. Let d = -60.8 + 47. Let v = -14 - d. Which is smaller: t or v?
t
Let y = 3251/217155 + -9/467. Is y greater than 1?
False
Let i = -1194/7 - -170. Is i <= 15?
True
Let z(o) = -o**2 - 3*o + 3. Let b be z(-3). Let i(a) = -4 + b + a + 3. Let u be i(2). Do 3 and u have the same value?
False
Let c be ((-99)/3)/((-15)/10*-1). Is 2/7 > c?
True
Let d be 13/((-39)/198) - (-6)/3. Is -65 at most as big as d?
True
Let b(q) = q**3 + 10*q**2 + 18*q + 19. Let r be b(-8). Is r at most as big as 51?
True
Let b be (5 - 40/6)/((-1)/(-84)). Is -139 greater than or equal to b?
True
Suppose -5 = -3*g + 3*c + 10, -4*c - 4 = -2*g. Let y = 15 - g. Is y > 3?
True
Let r = -10772/3 + 3509. Let a = -24 + -57. Let j = r - a. Is j at most as big as 0?
True
Suppose 4*m + 1617 = 597. Let s be 68/m*3/2. Which is greater: s or 0.35?
0.35
Let k = -4336 - -17255/4. Which is bigger: -23 or k?
k
Let z = -2183 - -2284. Is z bigger than 111?
False
Let k be -5*(1 - 3/(-15)). Let a(r) = -r**3 - 5*r**2 + 7*r + 2. Let j be a(k). Let q be 7*(8/j)/12. Which is bigger: q or -2?
q
Suppose -15335 = 7*w - 14943. Is w less than -54?
True
Let r be ((-286)/88)/((-1)/(-14)). Which is smaller: -2 or r?
r
Let i = -496 - -494. Which is greater: i or -5/6?
-5/6
Let f be (-161418)/207 - (-8)/(-6). Let d = f - -781. Are d and -1 equal?
False
Let d be 1 - (4/2 + 6). Let n = d - -10. Suppose 0 = n*k + 6 + 3. Are k and -2 non-equal?
True
Let u(d) = -2*d**3 - 4*d**2 - d - 7. Let n = -14 - -11. Let o be u(n). Which is smaller: -0.1 or o?
-0.1
Let q be ((-10)/(-45))/((-2)/(-38)) + -4. Suppose -5*w = -l - 4 + 3, -17 = 3*w - 5*l. Let a be w/2 - 1/2. Which is bigger: q or a?
q
Suppose 4*l = 5*l - 5. Suppose -l*u + 52 = 7. Which is smaller: u or 10?
u
Let c = 2 + -3.4. Let v = c + -2.6. Is v not equal to 0.2?
True
Suppose 4*r + 6*r - 630 = 0. Suppose 4*n = l - 37, -3*l - 4*n = -0*l - r. Is 26 greater than l?
True
Let j = 1760 - 91531/52. Is 1 <= j?
False
Let o = -17/12 - -1/6. Let n = o + 89/84. Is n > 1?
False
Let j = -217 - -224. Is j not equal to -4?
True
Let a = 5 + 12. Let s = -163 - -165. Let x be s/5*-1 - 435/(-25). Is a greater than or equal to x?
True
Let o be -1 - (2/(-1) - 5). Let i = -4 + o. Let z = 2 - 4. Which is greater: z or i?
i
Let w(b) = b**3 + 9*b**2 - 2*b - 11. Let d be w(-9). Suppose -2*f = -6 - 4. Let m = d - f. Which is greater: 3 or m?
3
Let a = -35.9 - -27. Let y = 37 - 28. Let c = y + a. Are c and -0.02 equal?
False
Suppose 0 = 2*b - 4*b + 4*o - 8, -8 = -b - o. Suppose b*x - x = -15. Let d be 9/15*x/(-6). Is -0.2 less than d?
True
Let t = 904 + -902. Are 45 and t equal?
False
Suppose 3*q = 12 + 714. Let a = -172 + q. Let r = -1192/17 + a. Which is greater: r or -1?
r
Let p = 199/30 - 43/10. Suppose -5 = -3*g + 1, 5*u - g + 12 = 0. Let t(s) = -s - 1. Let v be t(u). Is v < p?
True
Let q be ((-1)/4)/(2/(-40)). Suppose q*x - 14 = -34. Let n be (x - 0)*(-26)/(-8). Is n at most -14?
False
Let t = -71 - -43. Let j = -28 - t. Let g = 11 - j. Are 11 and g unequal?
False
Let y = 0.03 - -1.37. Let i = 3.7 - 4.3. Let q = y - i. Which is bigger: q or 0?
q
Let j = -873.91 - -878. Let b = j - 0.09. Which is greater: b or 1/2?
b
Let d be (-4)/(2*(-3)/(-15)). Let k(j) = j**3 - 16*j**2 - 10. Let v be k(16). Are v and d nonequal?
False
Suppose y - 135 = -5*m + 2*y, 0 = -4*m + 4*y + 124. Let d = m + -23. Suppose -d*n - n + 132 = 0. Is n at least as big as 33?
True
Let u = 0.21 - 1.81. Let a = 1.568 + 0.032. Let w = u + a. Which is smaller: -1/7 or w?
-1/7
Suppose -4*j - q - 11 = 0, 3*j - 3*q - 23 = -20. Which is greater: -17/11 or j?
-17/11
Suppose 0*p + p = -v, 6 = -3*p + 3*v. Let f = 91 - 51. Let u be 3 + (-32)/f*(-10)/(-4). Are u and p equal?
False
Let n(i) = 2 - 6 - 1 + 3*i. Let y be n(-9). Let l = y - -23. Which is smaller: -8 or l?
l
Suppose -y - 2*o = 2*y - 14, 5*y + 4*o - 26 = 0. Suppose i - 4*c - 21 = 0, 0*i - y*i - 5*c = -16. Let m = i - 9. Is 5/2 at most as big as m?
True
Suppose -6*o + 4*o = 10. Let d = o + -2. Let y(u) = -u**3 - 2*u - 6. Let z be y(0). Is d < z?
True
Let h = 23 + -18. Suppose 5*k - 60 = -3*v - 2*v, -h*k - v = -40. Is k < 13/2?
False
Let b = 249 + -253. Is 20 at most as big as b?
False
Let j be (-2)/5*-5*11. Suppose -r + j = r. Suppose r*f - 7*f = -12. Which is smaller: f or -5?
-5
Let z = 27 - -6. Let u = z - 32.9. Which is smaller: -17 or u?
-17
Let o = -1 + -17. Let u = o + 18.1. Is u at most -14?
False
Let h(z) = 2*z**3 + 6*z**2 + z + 5. Let k be h(-5). Let r be ((-42)/(-2))/(2/(-10)). Let f be 2/(-3) + k/r. Which is bigger: f or 2?
2
Let i = -545 - -430. Which is smaller: -114 or i?
i
Let v = 194 - 221. Suppose 3*h = 7*h + 8. Let t be 3/h*(-6)/v. Is 0 greater than t?
True
Let w(x) = -x**3 + 7*x**2 + 2. Let n be w(7). Suppose n*o + 28 = 9*o. Is 3/8 > o?
False
Let o = 19 - 56. Let s = o - -30. Is s not equal to -0.1?
True
Suppose 5*y - g = 104, -45 = -2*y - 2*g - 13. Suppose 5*a + y = 9*a. Is a at least -1?
True
Let h(o) = 2*o - 2. Let c be h(7). Let x be (-1750)/49 + (-4)/14. Let z be 7/((-21)/x) + (1 - -1). Are c and z equal?
False
Let y = -21.73 + -1.27. Let t = 11 - y. Which is smaller: t or 0?
0
Suppose -7*c = -2*c + 3*f + 6, 0 = -c + f - 6. Is 15 smaller than c?
False
Let o = -10 - -18. Let c be (o/(-12))/(2/(-12)). Suppose -5*g = -6 - c. Which is smaller: g or 9/8?
9/8
Let u = 32.7 - 33. Which is greater: 101 or u?
101
Let k = 0.077 + 35.923. Let v = -38 + k. Let x = -21/116 - 2/29. Is x bigger than v?
True
Let w = -2 - -11. Let z = -10.59 - 0.41. Let l = w + z. Which is smaller: 2 or l?
l
Let t be 4/10 - (-14)/(-10). Suppose -27*s - 10802 = 6046. Let c be s/299 - (t + -1). Is c greater than or equal to 1?
False
Let b be 408/42 + (-8)/(-140)*5. Is 112/13 bigger than b?
False
Suppose -13*a = 22*a + 70. Is a less than or equal to -33/20?
True
Let l be ((2 + -1)/(-3))/(-1). Let u be (4 + (5 - 102/12))*1. Is u at least l?
True
Let v be 195/(-12) + 9/36. Let t = v - -22. Let g be t/4*(-52)/78. Is g smaller than 2/11?
True
Let c = -1812 - -1788. Suppose -26 = -k + 2*k. Which is smaller: c or k?
k
Let x be 1064/(-5643) + (0 - (-4)/(-22)). Which is smaller: 1 or x?
x
Let k be (-2)/(-6) + 0 + -1. Let m = 187.4 + -188.01. Are k and m nonequal?
True
Let a(b) = -4*b**2 - 9*b - 21. Let f(m) = -9*m**2 - 17*m - 43. Let y(t) = 7*a(t) - 3*f(t). Let o be y(-10). Is o at most 18/13?
False
Let l(d) = 20*d + 5. Let j be l(0). Let k be (3 - -1) + -2 + 2. Let t = k - 2. Is t bigger than j?
False
Let c be (-1)/2 + 1/(-2). Let z(n) be the first derivative of -n**3/3 - n**2 - n + 3. Let f be z(-1). Is f > c?
True
Let u be (-22)/(-10) - (-2)/(-10). Suppose 3*b = -9, -u*b = -4*k + 3*b + 23. Suppose -2*v - 8 = 4*x, -4*v + k*v - 4 = 2*x. Which is greater: -5/6 or x?
-5/6
Let o be (2/3)/(12/(-198)). Let h = o + 10. Which is smaller: 2/75 or h?
h
Suppose -5*g = -2*b + 5 + 33, -2*b - 2 = 0. Suppose 4 = -4*k - 16. Is k != g?
True
Let h(i) = -i**2 + 8*i - 5. Let l be h(7). Suppose -5*g + l = 7. Which is smaller: g or -11/7?
-11/7
Let q = 607 - 13963/23. Suppose 5*d - 34 = -4*h, 8*d = 3*d + 5*h + 25. Let n be ((-2)/d)/((-4)/12). Which is bigger: n or q?
n
Suppose -39*u + 40*u - 2*t = -183, -3*t = 5*u + 902. Is u greater than or equal to -180?
False
Let c = 34 - 12. Suppose 0 = -4*o - 10 + c. 