s greater: t or 2/129?
2/129
Suppose -341*d - 15953 = 20875. Is d > -136?
True
Let l be ((-15)/(-25))/(1/(-5)). Let w be (2/(-4))/(l/6). Let q = 57 - 1649/29. Is w != q?
True
Let l = 102 + -503. Let s = -401 - l. Which is smaller: -5 or s?
-5
Let j(n) = -8*n**2 + 890*n + 391. Let c be j(78). Which is smaller: 21138 or c?
21138
Let k = -31 + 159. Let h = -8/7271 - -8448974/65439. Let v = h - k. Is 0.2 at most as big as v?
True
Let u be 4/(-2) + -5 + (-26 - (-351371)/10649). Let n(d) = -d**3 - 12*d**2 - d - 11. Let i be n(-12). Which is greater: i or u?
i
Let j = -5 - -8. Let i = -31 - -30. Let d be ((-195)/25)/(-3)*(i + 2). Is j != d?
True
Let v(o) = o + 15. Let i = -81 + 67. Let y(k) = -k**3 - 15*k**2 - 14*k - 18. Let l be y(i). Let d be v(l). Is d at least as big as -16?
True
Let a = 254 - 253.5. Is 1/28 > a?
False
Let d = -44 - -42. Let y be d - (1 - 106/42). Let x = 16/21 + y. Which is bigger: 0 or x?
x
Suppose 25*z + 1892 = 47*z. Which is greater: 87 or z?
87
Suppose -2 - 370 = -3*o. Suppose 1521 + 187 = 14*w. Is o at least w?
True
Let h = 256.1 + -255. Let f = -16.83 - -17. Let i = -0.27 + f. Which is smaller: i or h?
i
Suppose i - 4*l = 9 - 1, -2*i + 5*l = -13. Suppose 0*a = i*a + 64. Suppose 2*r = 5*o + 61, -1673*o + r - 38 = -1670*o. Is a equal to o?
False
Suppose 40 = -y + 3*y + j, 4*j = -16. Let r = y + -23. Let k(u) = u**3 + 5*u**2 - 10*u. Let h be k(-7). Are h and r nonequal?
True
Let a = -32 - -36. Let j(d) = 2*d**2 - 6*d - 6. Let w be j(a). Suppose -x + 129 = w*p, 3*p - x - 236 = -35. Which is bigger: p or 67?
67
Let r(x) = 32*x - 130. Let t be r(11). Let p = t - 187. Is 35 less than or equal to p?
True
Let q be (-55 + 876)*(-2 + -3). Is q bigger than -4105?
False
Suppose -2217*d + 240034 - 67325 = 56125 - 309080. Suppose -2*x = -6*x + 764. Is x bigger than d?
False
Let o = -3 - -2. Suppose 3*w = 2*b - 106, w - 4*b = -17 - 5. Let a be (2/w)/(13 + -10). Which is greater: a or o?
a
Let q = -0.00207 - -1200.00207. Which is greater: -0.2 or q?
q
Suppose 29 = -2*i + 109. Let h be (-113)/(-2) - 20/i. Let c = -58 + h. Which is greater: 2.3 or c?
2.3
Let m(q) = q**2 - 10*q - 23. Suppose -2*k + 6 = 0, 11 + 23 = 5*f - 2*k. Let n be m(f). Let u be -1*(3 - (-129)/n). Are -1 and u equal?
False
Let m = 5 - 5. Suppose 7*v = 2*v + 2*a + 2715, 3*v - 1615 = 4*a. Let o be (2200/v + -4)/(-2). Is o greater than or equal to m?
False
Let v(x) = 59*x + 5661. Let m be v(-96). Let y be (-1)/(-1*3/(-9)). Let n(d) = -d**3 - 3*d**2 + 3*d + 4. Let j be n(y). Is j greater than m?
False
Let x be -6 - (-1 + 4059/(-813)). Let n(q) = 4*q**2 + 8*q. Let f be n(-2). Which is greater: f or x?
f
Let w(h) = 2*h**2 - 8*h + 39. Let i be w(-18). Let z = i + -449. Is 382 bigger than z?
False
Let i = -10.6 - -10.03. Let g = -2.23 - i. Are g and 1/3 non-equal?
True
Let l be (-334)/(-100) - 9/3. Let q = l + -163/700. Let m be 3/(-3)*(-5 + 25/5). Which is greater: m or q?
q
Let u = 0.23 - 0.31. Let d = 27 + -19. Let k be (4/35)/(d/(-20)). Is k at least as big as u?
False
Let g be (-18)/36 + 314/4. Let v be (-3)/(-2)*52/g. Let p be (8/(-68))/((-4)/6). Which is smaller: v or p?
p
Suppose 0 = 2*q, 33*c - 2*q = 31*c - 130. Let a(y) = y**3 - 5*y**2 - 3*y - 20. Let i be a(6). Let p = i + -63. Is c at least p?
True
Let b be 2*((-53)/(-31) - 2). Let m = b - -2/217. Do 7 and m have the same value?
False
Let s be 213*(-4)/12*1. Let h be s/(-213)*(0 - 21). Do h and -1/8 have different values?
True
Let l be 5 - (539/29 + -11 + (6 - 1)). Which is smaller: l or -9?
-9
Let c(j) be the third derivative of j**4/4 + 49*j**3/6 + 33*j**2 - 2*j. Let z be c(-8). Which is smaller: 7 or z?
z
Let w(m) = -m**2 + 9*m + 20. Let x be w(-2). Let y(d) = -28*d**2 - 15*d - 25. Let l be y(x). Which is greater: l or -213/2?
-213/2
Let p = 4857.3 + -4580. Which is bigger: p or 1?
p
Let s = -3.2 - -3.39. Let n = 485 - 719. Let w = -233.9 - n. Which is smaller: s or w?
w
Let l = -1193/30411 + 14/327. Suppose -2*t - 9 = s, -57 = 4*t - 2*s - 75. Is l smaller than t?
False
Let p be (8 + (-8104)/8)/(-16 - -8). Which is smaller: p or 126?
p
Let p be 4/354*15958 - 0. Let q = -541/3 + p. Let h = 68355 - 68355. Is q less than or equal to h?
True
Let z = 1313 - 3988895/3038. Which is smaller: z or 1?
z
Let k be (90/21)/(6/42). Suppose 3*b + 12 - k = 0. Let a be ((-11)/(-33))/((-13)/b). Which is smaller: a or 0?
a
Let c = 82 - 80. Suppose 3*m - b + 16 = 0, -3*m + 24 = -7*m + c*b. Which is smaller: 0 or m?
m
Suppose -5*y = -8*g + 266, -54*g = -4*y - 56*g - 154. Suppose 0 = -2*v - 88 + 4. Is v at least as big as y?
True
Let z = -108 - -4859/45. Suppose 2*r - 40 = -2*i - 2*r, -3*i - 2*r = -44. Let n be 9/i + (-9)/12. Which is smaller: n or z?
z
Let l be 2/(18/135 + (-184)/120). Let u = -0.31 + -2.69. Which is smaller: l or u?
u
Suppose 2*r + 19 = 3*t, 5*t - 4*r - 35 = -0*r. Let l(h) = 3*h**2 - 13*h + 23. Let s be l(t). Is s at least 10?
True
Let l = -1816 + 1831. Is 44 bigger than l?
True
Let l(i) = -6 + 1 + i**2 - 9*i - 6. Let a = 1191 + -1182. Let v be l(a). Which is greater: v or -6?
-6
Let k(x) = x**3 + 5*x**2. Suppose -1 = 2*f + 5*q + 4, -5*q + 30 = -5*f. Let z be k(f). Let a = -6355 - -25423/4. Is z != a?
True
Let m be 157/(5/(7 - 2)). Let i = m - 156. Does -24/55 = i?
False
Suppose 0 = -3*a - d - 2, -5*a + 164 - 184 = 5*d. Which is smaller: a or -2/4775?
-2/4775
Let s(r) = 28*r + 121. Let f be s(-8). Let y = f + 96. Which is greater: y or -2?
-2
Suppose 2 = 11*y - 10*y. Let t be (17/6 + -1)*y/4. Let w = t + -1/4. Which is greater: -0.38 or w?
w
Let z = 6.772 - 6.872. Are z and 1969 unequal?
True
Suppose 3*b - 2*b - 3*j - 21954 = 0, 0 = 4*b + 2*j - 87844. Let s be b/28 - (-2)/(-7). Let o = s - 22738/29. Are o and -1 equal?
False
Let z = 33 + -31. Suppose -4*q + 4 = -3*q + y, 3*q - z = 2*y. Let u be (q - 4) + (0 - 1). Which is bigger: 12 or u?
12
Let z be (-68513)/(-1965) - ((-17)/15 - (1 - 2)). Are -82 and z unequal?
True
Let l(c) = -c**3 + 17*c**2 + 11*c + 58. Let s be l(17). Let t = s - 244. Let w = 144 - 2734/19. Is w at most as big as t?
True
Let x = 2 - 1. Let m = 164.6 + -0.6. Let c = m - 165. Is x less than c?
False
Let o be (-52)/26*120/(-104). Which is greater: o or 22?
22
Let l = 17 - -143. Suppose -9*d + 10*d - 3*w = -2, 5*d = -4*w + 9. Is d less than l?
True
Let s be 1 + -1 + -3 + 2 - -1. Let v(o) = -o**3 - 16*o**2 - 13*o + 28. Let t be v(-15). Let x be -1*t*2/28. Is s not equal to x?
True
Let o be 2 - (-7 - 70063/(-8246)). Let k = o + -13/38. Are 0 and k nonequal?
True
Let u be ((-88)/(-33) - 2)/(1*-2). Is u at least 1/81?
False
Suppose -21*m + 25*m + 24 = 0. Let s be ((-20)/6)/(1/m*-2). Which is bigger: s or -80/9?
-80/9
Let z = 24 + 10. Let s(h) = -h**3 - 10*h**2 - h + 22. Let a be s(-10). Let i = a - z. Is -2/3 equal to i?
False
Let l = -7841/11 - -712. Let k(b) be the first derivative of 5*b**2/2 + 23*b + 2. Let x be k(-5). Which is smaller: x or l?
x
Let p = -348 - -343. Let y be 0/(-3) + p + 4. Is y >= -1/128?
False
Let i = 147409317341 - 182345315589257/1237. Let z = i - 8053. Let h = -24731/11133 + z. Does -3 = h?
False
Suppose -45 = -17*v + 22*v. Let i be (12/v)/(1/(-30)). Let u be 21/(-11)*i/(-60). Which is greater: u or 2?
2
Suppose -2*h + 4*o = -1238, -7*o - 2460 = -4*h - 3*o. Suppose -h*p + 626*p - 105 = 0. Which is smaller: p or -0.3?
-0.3
Let r = 14/17 + -857/1020. Let q = -96 - -116. Suppose -4*z = 2*s - 0 + 4, 5*s = -q. Is z bigger than r?
True
Let f be (-16)/4 - (-8)/(-3)*1. Suppose 0 = -3*x - l + 28, 5*x = 2*l + 9 + 23. Let p be -8 - 1 - (-8)/x. Do p and f have different values?
True
Let f be 2019/(-18)*((-3096)/(-48))/(-43). Which is smaller: f or 167?
167
Let l = 12887 - 12770. Are -2 and l non-equal?
True
Let d(h) = -h**3 - 3*h**2 + 3*h - 4. Let z be d(-4). Let n = -35.007 - 0.193. Let i = 33.5 + n. Is i bigger than z?
False
Let d = 12947 + -6506. Is d at least -2?
True
Let v = -0.1301 + 0.0353. Let i = -0.0052 + v. Suppose 4*n + 10 = 5*n. Is i less than n?
True
Let o = -29 + 28. Let s = 195856/39 + -5022. Is s not equal to o?
True
Let h be (-213 + -3)*((-4)/10)/((-15)/(-75)). Do h and 425 have the same value?
False
Let m be 32/16 + -7 - 92. Which is greater: m or -62?
-62
Let z = -10795/37 + 47/111. Is z greater than -290?
False
Let m = -131/5 - -519/20. Is 328 equal to m?
False
Le