hich is smaller: h or y?
h
Let y be 0/((-2 - 0) + -1). Let x be -1 + y - (-24)/14. Suppose -3*q + 6 = -0. Which is greater: x or q?
q
Let q = -3/502 - 785/36646. Let n be -3 + 4 - (-2)/2. Suppose 5*z - n*f + 0 - 4 = 0, -z + 10 = -5*f. Which is greater: q or z?
z
Let u be ((-820)/(-10) - 0)*(3 + -1). Is u greater than or equal to 162?
True
Let z be 5 + (3 + (-765)/130 - 2). Which is greater: z or 0?
z
Suppose -5*u = -2*z + 61, 5*u - 4*z = 3*u - 18. Let k(c) be the second derivative of -2*c**3/3 + 51*c**2/2 - c. Let x be k(16). Is x less than u?
False
Let c = 9 - 21. Let w be (0 + -13)/(c + 13). Is w smaller than -12?
True
Let j(v) = -v - 10. Let q be j(-13). Suppose 5*f - 121 = 2*z, -5*z + 2*f = -q*f + 280. Is -52 < z?
False
Let t be (4/5)/(9/45). Let l be (7/14)/(1/t). Suppose 0*d = l*d. Is -2 equal to d?
False
Let i = -3110 + 370088/119. Which is smaller: i or -1?
-1
Let k = -0.32 - 2.78. Let u = k - -3. Let m = -8.1 - -1.1. Which is smaller: m or u?
m
Suppose 0 = -3*m - o - 3, -5*o - 19 + 4 = 5*m. Let f = 3 + -19. Let j = 50/3 + f. Is m less than j?
True
Let k(g) = -g**3 - 8*g**2 + 18*g + 81. Let m be k(-9). Which is bigger: -2/49 or m?
m
Let u be ((-348)/(-551))/(6/(-33)). Are u and -3 equal?
False
Let a = 0 + 7. Let q = a - 3. Let j = 67/36 + 8/9. Do q and j have the same value?
False
Suppose -4*p = -2*y + 5*y - 259, 5*p = -y + 68. Let g = -102 + y. Suppose 5 - 12 = s. Is g bigger than s?
False
Let u = -25.85 - -25.85. Is u equal to -0.0102?
False
Let x = -152 - -148. Which is smaller: -7.2 or x?
-7.2
Let b = -693 - -461. Are b and -230 equal?
False
Suppose 0 = -5*s + 3*w - 2 + 178, 0 = -4*s - 5*w + 163. Let d = -38 + s. Let n be 10/2*(-4)/(-70). Is n <= d?
False
Let q = 24 + 0. Let w = q + -24. Which is smaller: w or 4/7?
w
Let x(c) = 11*c**2 - 75*c - 16. Let q be x(7). Let n be (-298)/1288 - 2/(-8). Let m = n + -829/1288. Which is bigger: m or q?
m
Let m be 25/15*30/25. Let f be m - -8*5/(-15). Which is bigger: f or -0.011?
-0.011
Let y be 6/57 + 2759/12958. Which is smaller: y or -1?
-1
Let a = -127 + 124. Let n = 0.4 + 0. Let b = n - 0.6. Which is smaller: b or a?
a
Let n(d) = -d**3 + 7*d**2 - 3*d + 7. Let u be n(3). Let q = -166 - -164. Which is smaller: q or u?
q
Let q be ((-85)/68)/((-1)/(-24)). Which is bigger: q or 1?
1
Let x be (8/(-55))/((-2)/5). Suppose 15*p - 10 = 5. Is x smaller than p?
True
Let v(i) = i - 9. Let u be v(9). Suppose 0 = 2*m - y, -m + 5*y = m. Suppose -3*n = -3, -d + 2*n + 2*n - 5 = m. Is u greater than or equal to d?
True
Let w = 700 + -701. Let y be (-2)/8 + 418/1736. Is y equal to w?
False
Let r be (-4)/13 - 168080/286. Which is smaller: -590 or r?
-590
Let b be (-15)/153*3/2. Let w(f) = 102*f**2 - 608*f - 24. Let j be w(6). Is b not equal to j?
True
Suppose 0 = -2*u + 1 + 17. Let y be -8 + 12/u*(-9)/(-4). Is y equal to -6?
False
Let q(l) = -l**2 + 20*l - 29. Let j be q(19). Which is smaller: j or -7?
j
Let g(x) = 229*x + 446. Let c be g(-2). Let v be (-5)/((-1)/(-4)*2). Which is smaller: c or v?
c
Suppose 0*m = 4*m - 96. Let v = m - 20. Suppose f = 2 - v. Is f at most as big as -2?
True
Let u(a) = 2*a**2 - 8*a - 26. Let d be u(9). Which is smaller: d or 61?
61
Let t be (2 + 10/(-4))/(10/720). Let f = 9 + t. Is f less than -27?
False
Suppose -89 = -26*z + 249. Is z >= 25?
False
Let f = 0.128 + 51.872. Let a = f + -52. Which is smaller: a or 18?
a
Let g be ((-3)/(-2) + -1)*22. Let l = -4 + g. Let m = -6 + l. Which is bigger: m or 6/7?
m
Let w be (-1 + -416)*14/42. Which is greater: -140 or w?
w
Let n = 57 + -60. Let u be (1 - (3 - 3))/(n/3). Let k = -7/29 - 226/145. Is k greater than u?
False
Suppose -4*g - 22 = -l, 19 = -3*l - 4*g - g. Is 3 at least as big as l?
True
Suppose -2*o + i - 38 = -5*o, 2*o + 5*i - 47 = 0. Let j(c) = -c**2 + 8*c - 4. Let l be j(5). Is l less than or equal to o?
True
Let m be (1/1)/((-565)/(-141) + -4). Is 2/9 bigger than m?
False
Let i(p) = -81*p - 130. Let r be i(-10). Is r less than -1?
False
Let m(f) = -40*f**3 - 2*f**2 + 2*f - 1. Let i be m(1). Let v = -856 - -820. Let x = v - i. Is x bigger than 6?
False
Suppose -747 = 5*r - 137. Let z be r/24 + 2 + 3. Let i be (0 - 0)*(-3)/(-3). Is z < i?
True
Let m = 39.958 + 0.042. Let j = -39.95 + m. Is 0.05 smaller than j?
False
Suppose 6*h = h + 5. Let l = 5473/867 - -6/289. Let b = 149/24 - l. Is h > b?
True
Let d = -301/143 + 25/13. Let m be 4/(-10) + (-8)/(-20). Which is bigger: d or m?
m
Let f = 6.0355 + -0.0355. Which is bigger: 4 or f?
f
Let g be (-485)/55 + (-8)/44. Let i be (-84)/g - (-4)/6. Do 8 and i have the same value?
False
Let l = -317 - -282. Are -9 and l equal?
False
Let w = 421 - 375. Which is smaller: w or -1?
-1
Let x be ((-10)/(-15))/(12/18)*-1. Which is greater: -2/39 or x?
-2/39
Suppose 2*n + 4*t + 20 = t, -2*n - 4*t = 16. Suppose 341 = -17*k + 86. Which is bigger: n or k?
k
Let j(z) = z**3 + 5*z**2 - 6*z + 2. Let g be j(-6). Suppose -q + 47 = -g*v + 2*q, -12 = -4*q. Let l = -13 - v. Is l at least as big as -1?
True
Suppose -3*i + d - 65 = 0, -5*d = 4*i - 3*i + 11. Let h be (3 - 1) + i/4. Let r(v) = -v**3 - 4*v**2 - v + 2. Let s be r(-3). Is s not equal to h?
True
Let i(x) = x + 4. Let p = 7 - 3. Let q be i(p). Let j be 1/(-10) - (12 + (-1266)/60). Which is smaller: j or q?
q
Let p be (32/(-56))/(786/21). Is 0 equal to p?
False
Let a(u) = -3 + 7*u + 49*u**2 - 1 - 50*u**2. Let d be a(5). Let k be d/(-9)*(-18)/4. Is 1 smaller than k?
True
Let q = -1264 + 1263. Is q bigger than -1/916?
False
Let j be (-25)/(-6) - (-1)/(-6). Suppose 2*g + j*d - 87 = -3*g, -4*g + d + 57 = 0. Is 15 at least as big as g?
True
Let u(j) = j**3 - 6*j**2 - 9*j + 7. Let t be u(7). Let b = t + 7. Suppose b*p - 30 = -5*p. Do 6 and p have the same value?
True
Let i = -10587/2 + 5425. Which is bigger: i or 131?
i
Suppose -5*u = -m + 8, 20 = -4*u - u - 5*m. Let n = 3/1262 + -2216/3155. Which is smaller: u or n?
u
Suppose d + 4 - 5 = 0, 4*g + 4*d - 20 = 0. Suppose -g*q = -55 - 5. Is q less than 16?
True
Let u = -25/88 - -3/88. Which is smaller: -82 or u?
-82
Suppose -o = -2*o. Suppose 288 = 3*b - 6*b. Let t be (b/(-20))/3 + -2. Which is greater: t or o?
o
Suppose 0 = -5*u + 3*f + 205, -3*u - u - f = -164. Which is bigger: u or 42?
42
Suppose 2*j - 20 = -3*v, -j - 14 = -5*v + 28. Suppose -4*a - v = 2*i, -a - 4*i = -2*a - 11. Is a less than -3?
False
Let g(d) = -14*d - 36. Let q be g(-3). Let f = -2 - -9. Is f != q?
True
Let l = 2.89 - 2.69. Let q = -0.06 + 0. Which is smaller: q or l?
q
Let y = -0.0561 - -0.1561. Which is smaller: y or -137?
-137
Let b be 122/(-183)*(5 - -1). Let c be 1 - 2 - 34/10. Is b at most c?
False
Suppose 0 = 13*n - 0*n - 3497. Which is greater: n or -1?
n
Let f = 2 + -2.06. Let y = 48 + -49. Which is greater: f or y?
f
Suppose 0*x + 4*x = -40. Let h = 12 + x. Let j be h/5 + 21/35. Which is greater: 5 or j?
5
Let p(x) = -76*x - 60. Let r be p(-2). Which is smaller: 95 or r?
r
Let s be (145/15)/((-10)/15). Which is smaller: -15 or s?
-15
Let a = -165 - -663/4. Let c(q) = -q - 5. Let o be c(-7). Let i be ((-40)/30)/(o/(-3)). Is i greater than a?
True
Let n(q) = -q**3 + 16*q**2 - 13*q - 30. Let j be n(15). Let s(c) = c + c**3 - 2*c - 1 + c**2 + 3. Let u be s(j). Is 2 <= u?
True
Let z = 112/1111 + -1/101. Suppose 0 = -2*w + 3*w - 5. Suppose 0 = -4*b + u - 4, w*b + 2*u - 5*u = -5. Which is smaller: b or z?
b
Let v(s) = -s + 15. Let j be v(10). Suppose 0 = -l - j*g + 2 - 18, 0 = 4*g + 12. Let h be (l/(-57))/((-5)/(-30)). Which is smaller: 0 or h?
0
Let k(i) = -3*i + 61. Suppose p - 2*y + 62 = 4*p, -4*p + 2*y + 78 = 0. Let n be k(p). Which is smaller: n or -1/60?
-1/60
Let p = 3.53 - 15.53. Do 73 and p have the same value?
False
Suppose 2*q = -35 + 173. Let w be 3/((-9)/q) + -1. Which is bigger: -25 or w?
w
Let j = 83/15 + -17/3. Which is greater: j or 13/16?
13/16
Let s = -873/4 - -1735/8. Let t = 81/56 + s. Is t smaller than 1?
True
Suppose a = 2*a - 12. Let v be (-10 + a)/(34/4). Is 0 bigger than v?
False
Let n = 771/2 - 387. Which is smaller: -24 or n?
-24
Let w be (-200)/72 - (-24)/(-108). Does w = 2?
False
Suppose -m = -2 - 0. Suppose 7*u = 2*o + 4*u + m, 5*o + 12 = 4*u. Which is smaller: -1 or o?
o
Let g = -76 + 43. Let z = g + 32. Is 2/3 at most as big as z?
False
Suppose 5*z = -3*z + 648. Let i = z + -325/4. Which is big