h is greater: c or w?
c
Suppose -3*j + 5 - 2 = 0. Let h be (-300)/(-70) + -5 + j. Which is greater: -229 or h?
h
Let i(o) = 8*o + 100. Let u be i(-27). Let d = -161 - -45. Are d and u equal?
True
Let t be 251/4 - 1/(-4). Let f be (71 - 7)*(20 - 21). Let v = t + f. Is -2/153 equal to v?
False
Let b be (-8)/(-10) - (-1192)/10. Suppose 0 = 6*x - 3*x + b. Let t = 564 + -604. Does x = t?
True
Let v(z) = -3*z**2 - 36*z - 2393. Let o be v(0). Which is smaller: -2395 or o?
-2395
Let l(s) = 6*s + 96. Suppose -958*r + 959*r = -15. Let u be l(r). Is 41/9 > u?
False
Let d = -0.0328 - 0.2102. Let v = 0.757 - d. Is 351 equal to v?
False
Suppose -16759 = -83*c + 57941. Which is smaller: c or 2/13?
2/13
Let j(w) = -w**3 - 6*w**2 + 8*w + 10. Let f be j(-7). Let q = 3 - f. Let t be 102/3332*(-24)/(-18). Is q less than t?
True
Suppose 114 = 43*n - 45*n. Let u be -56 + 3 + 24/(-6). Is u not equal to n?
False
Suppose 2*q - 7*q = 15*q - 3*q. Which is greater: 7/514 or q?
7/514
Let d(n) = n**2 - 3*n - 4. Let i be 1*(-7)/(1 + 6). Let f be d(i). Which is smaller: f or 11/28?
f
Let f = -653 + 667. Suppose 1853 = 3*a + f*a. Is a less than or equal to 111?
True
Suppose -13*n + 5*l = -12*n - 62, -366 = -5*n - 3*l. Let u be (-24)/(-54) - (-16)/n. Is u at least as big as -45/7?
True
Let j be 32/(-8) - 1256/(-6)*30/1565. Which is smaller: j or 0?
0
Let n be (-36 - (-1458)/36)*4/18. Is n smaller than -930/19?
False
Let p be 1491/756 - ((-35)/45 - -1). Is p equal to 6?
False
Suppose -27*l + 6*l = -11*l. Is l < -33/142?
False
Let p be (-8)/20*(0 - 10). Suppose 2*r + 0*h + 6 = 2*h, p*h - 17 = -r. Is r bigger than -1/44?
True
Let a = -1 - -1. Let g(d) = d - 20. Suppose 14*p - 471 = -177. Let y be g(p). Which is bigger: y or a?
y
Let c = 11 - 26. Let w be 1 + (c/(-6) - (-3)/(-6)). Suppose -w*x = -20 + 59. Which is bigger: x or -12?
-12
Let t be -10*(3 + (-130)/50). Let x(j) = -j**3 + 3*j**2 - j + 4. Let z be x(4). Let h be 1/z*t*4. Which is smaller: h or 13/3?
h
Suppose -2*i - 2*i - 2*q = 0, -4*q = -3*i. Suppose 4*w - 6*w = i. Let g = 82 - 1888/23. Which is greater: w or g?
w
Suppose -2*a - 415 = 3*h - 404, -5*a + 4*h + 7 = 0. Which is bigger: a or 10/1353?
10/1353
Let l = -372 + 763/2. Let y be (-66)/7 + -15*(-6)/210. Let b be (y - -14)/(2/4). Which is smaller: l or b?
l
Suppose 1 = -3*g - 2. Let i(b) = b + 10. Let w be i(-2). Suppose 2*y = -3*m - w, 5*m - 5*y = -0*y - 5. Which is smaller: m or g?
m
Suppose -l - 2*x - 129 = 0, 4*x + 139 = -4*l + 3*l. Let j = l - -225. Is 106 at least as big as j?
True
Let w = -0.01844 + -21005.98156. Which is smaller: w or 1?
w
Let g be (-16116)/18 + 5 - -4. Let u = g - -878. Which is smaller: -7 or u?
u
Let l(w) be the second derivative of w**5/20 - 5*w**4/6 + 11*w**3/3 - 3*w**2 + 15*w - 2. Let u be l(7). Let b be 8/(-16) - 19/(-8). Is b > u?
True
Let b be ((-2)/4)/((-28)/(-24) - 1). Let w be (3024/(-40))/b*5. Is 126 > w?
False
Suppose -14*r - 507 = -17*r. Let s = r + -100. Suppose 6*u + s = 21. Is u >= -6?
False
Suppose -3*f = 3*r + 6, -4*f - 3*r - 9 = -4. Which is smaller: -2/5249 or f?
-2/5249
Let b(s) = 87*s + 3564. Let f be b(-41). Suppose 5*x - 30 - 15 = 0. Which is bigger: x or f?
x
Let j(b) = b**3 - 66*b**2 + 214*b - 274. Let m be j(61). Is m smaller than -1/3?
True
Let t = -540.541 + 536.5. Let h = -0.041 - t. Which is smaller: 0.2 or h?
0.2
Let k = 14/1875 + -213/625. Is k at most as big as 6/617?
True
Let j(d) = 4*d - 14. Let q be j(4). Suppose -q*o + 3 = 7. Let f be o - 24/(-9) - 234/(-81). Which is greater: 5 or f?
5
Let r be -55 + -15 - 7/((-7)/2). Let i be 25/30*r/(-255). Is i equal to -1?
False
Suppose 104*t = 29*t - 40875. Is -545 >= t?
True
Let q = -0.39 + 289.39. Let m = q + -235. Which is greater: 0 or m?
m
Suppose -3*o = -2*o + 6*o. Suppose o = -2*q - q - 2*g - 9, g = 0. Which is smaller: q or -4?
-4
Let t(w) = 8*w**2 - 3*w - 3. Let r be t(-1). Let u be r/(-56) + (2 - 92/42). Is -1/94 at least as big as u?
True
Let o be -81 + 2 + (-504)/56. Which is greater: o or -91?
o
Let f = -36 - -46. Let m = f - 2. Is 0.3 less than or equal to m?
True
Suppose -173*q + 188*q = -10560. Which is bigger: 0 or q?
0
Let z = 916 - 1676. Let n = 760.02 + z. Which is bigger: 2 or n?
2
Let g = 32 + -25. Suppose g*r = -r + 16. Suppose -s + 3 = 2*s, -2*c - 182 = r*s. Which is greater: c or -93?
c
Let k(o) = 999*o - 11994. Let g be k(12). Which is smaller: g or -2601?
-2601
Let d = 1.99 - -0.01. Let n = 63564 - 1080586/17. Which is smaller: n or d?
n
Suppose 3*p = 29*u - 13*u - 65064, 5*p = 40. Which is greater: 4066 or u?
u
Let k = -19847.44 - -19859. Is k greater than or equal to 9?
True
Suppose 36*v = -3*c + 32*v + 609, -1015 = -5*c - 4*v. Which is smaller: c or 0?
0
Suppose -g = 5*t - 479, -3*t + 117*g = 120*g - 285. Are 96 and t non-equal?
False
Let n be ((-173304)/3208)/9 + (4 - 0) + 2. Is -2 at least n?
False
Let b = 40 + -47. Let u be 48/(-21) + 1/b*-2. Let p be ((-648)/(-165))/2 - (u - -4). Is p < 0?
True
Let i = 348 + -322.06. Let h = 31.1 - i. Let w = h - 5. Is -1 > w?
False
Let f(k) = 2*k**3 + 9*k**3 - 2 - 5*k**2 - 8*k**3 - 2*k**3. Let x be f(5). Which is bigger: x or 7/11?
7/11
Let b = -263 - -267. Suppose 0 = -2*p - d + 6*d + 23, 6 = b*p - 2*d. Is p >= 180?
False
Let p be (-47866)/33761 + (16/(-28))/(-2). Does -2 = p?
False
Suppose -14*d - 4162 = 3*l - 15*d, l + 3*d = -1374. Let c be 9696/l - (-6)/(-63). Which is greater: c or -7?
-7
Suppose 0 = 8*l - 4*l - 4. Let i(k) = -k**2 - 6*k - 5. Let h be i(-5). Let c be h/(-1) - (4 - 1). Are l and c equal?
False
Let m = 885.795 + -906.1. Let z = m - -20.4. Which is bigger: z or 0?
z
Let w = 2324 - 2500. Is w at most -173?
True
Suppose -2501*o - 2870 = -2494*o. Which is bigger: -412 or o?
o
Let q = 3759 + -3873. Is 4/7 bigger than q?
True
Let p be (1/(-2))/((-53)/(-2)). Suppose 11*i + 119*i = 0. Is i at least p?
True
Let r = -2 + 14. Suppose r*w = 4*w. Let o = 0.16 + 1.44. Is o bigger than w?
True
Let u = 419 + -418.867. Let k = u + 33.867. Which is smaller: 1/3 or k?
1/3
Let a(m) = 4*m + 30. Let t be a(29). Suppose -149*w + 18 = -t*w. Is 27/4 at most as big as w?
False
Let o = -886 - -887. Which is smaller: o or -1/2968?
-1/2968
Let n(j) = 0 - 2*j - j + 4*j + 58*j**2 - 1. Let u be n(1). Let l be (1 - u/48)*45/150. Do 1 and l have the same value?
False
Suppose -71 = 10*w + 9. Let j be ((-180)/(-16))/15 - (-1430)/w. Which is smaller: -177 or j?
j
Let z = 1.0235 + -10.7235. Suppose 5*l + 21 + 4 = -3*n, l = 3*n - 5. Do n and z have different values?
True
Let f(d) = d**2 + 16*d - 83. Let y be f(-20). Let g be (-6)/((-369)/6 - y). Let j be 15/20 + 2/8. Is g greater than or equal to j?
False
Let j be 87/(-58)*(-88)/(-3). Let r = j + 160. Which is bigger: r or 117?
117
Let q(z) = z**3 + 4*z**2 + z + 4. Let l be q(-4). Suppose 0*m + 2*x - 20 = -2*m, l = -2*m - x + 17. Suppose -m*j + 85 - 1 = 0. Are 9 and j non-equal?
True
Let g = 1029.904 - 1030. Let d = -0.16 - -0.064. Let o = d - g. Is o < -10?
False
Let g be (49 + 93)*10/8*6. Is g less than or equal to 1062?
False
Let s be ((-6)/9)/(159/(-34344)). Which is bigger: s or 203?
203
Let l be (-6)/(-8) - 8517/(-68). Let p be 1/3 + 102/l. Is p at least as big as -1?
True
Let d(j) = 4*j**3 - j**2 + j - 3. Let k be d(2). Let z be (4/(-2))/(9/(k/24)). Is 49.2 <= z?
False
Let y(m) = m**3 - 5*m - 15. Let o be y(-5). Let k be (o/46)/((-3)/(-2)). Suppose -5*x + 5 + 15 = -5*c, -3*c - 14 = -x. Which is smaller: k or x?
k
Let j be 1390/14 + -1 + 15/21. Let h be 9/(2/(24/j)). Is h bigger than 0?
True
Suppose 0 = -3*v - 4*b - 9, -12*v - 2*b - 5 = -11*v. Which is smaller: -45/349 or v?
-45/349
Let z(t) = -t**2 + 27*t - 22. Let a be z(26). Let f be a/54*(6 + -9). Let h = 0.4 + -2.4. Is h < f?
True
Let m(z) = -z**2 + 44*z - 28. Let w be m(36). Let n be 59 + ((-1)/(-2))/((-26)/w). Which is smaller: 161/3 or n?
161/3
Let c = 0.12 + 0. Let r = -208 + -662. Let s = r - -869.7. Is c at least as big as s?
True
Suppose 0 = -2*f + 7*u - 1262, u = -4*f - 3522 + 1058. Do -630 and f have the same value?
False
Suppose 5*s + 2 = -2*v, 3*v - 4*s = 2*v + 25. Let w = 188 - 183. Suppose w*k = 7 + 13. Is v less than k?
False
Let b = 3121 + -13099. Which is smaller: b or -9979?
-9979
Let q be 6/((-2)/(2 - 3)). Suppose 0 = y - 3*r - 15 - 14, 75 = q*y + 3*r. Suppose -y*i + 25*i - 4 = 0.