is greater: 0 or v?
0
Let p be 14/(-6) - (10/(-3) - -3). Let h be (1 - 241)*((-5)/p + -3). Suppose -a + 4*s = 24, s - h = 5*a - 0*a. Which is smaller: -25 or a?
-25
Suppose 13*y - 777 = 523. Suppose 0 = 33*s - 8*s + y. Are s and -20 unequal?
True
Let n = -16/103 - -5816/309. Let j = n + -19. Is j less than or equal to -97?
False
Let m be (-10582)/(-22) + 17 + -3. Are m and 503 nonequal?
True
Suppose 2*l = -5*s + 195, -5*l + 4*l - s + 102 = 0. Let t = l + -23204/221. Which is bigger: 1 or t?
1
Let o = 8.58 + -13.3. Let s = o + -0.28. Are s and -9 unequal?
True
Suppose r - 4687 = 2*p, -555*r - 23375 = -560*r - 2*p. Which is smaller: r or 4678?
r
Let r be 4/(-10) - ((-13)/(-30) + (-3)/(-18)). Let g be 6/(-20)*(-32)/60. Which is bigger: r or g?
g
Suppose -z - 135 = 4*z. Let h(l) = 49*l + 10. Let m be h(1). Suppose -5*k - m = 86. Which is smaller: z or k?
k
Suppose -2*d = -3*d + 4*v + 97, v = 2*d - 159. Let t be ((-34)/(-26))/((-26)/10738*7). Let o = d + t. Is o <= 0.06?
True
Suppose -2*h + 2*l - 40 = 0, -2*l + 4 = -3*l. Suppose 3*f + 93 = 84. Let c be (2/(-20))/(2/(h/f)). Which is smaller: c or -1?
-1
Let r = 18 + -16. Let j be (-1)/3 + (r - 12/28). Which is bigger: j or 0?
j
Let j = 19 - -992. Let k be ((-8)/(-6))/(-1 - j/(-9)). Is k smaller than 0?
False
Let q be -6*(-1)/((-9)/(-6)) + -1. Suppose -2*p + t - 122 + 14 = 0, t + 116 = -2*p. Which is bigger: p or q?
q
Let h be (-1)/2 - (-3414)/(-12). Let j be h/494 - 2/4. Let v(l) = -2*l - 33. Let t be v(-16). Which is bigger: t or j?
t
Let l = -0.131 - 70.869. Let d = l - -42. Is -2/9 bigger than d?
True
Let m = -1656 + -2024. Which is smaller: m or -3681?
-3681
Let o = -2/2533 + 151994/17731. Suppose 0 = 2*f - 0*f - 3*x - 24, -42 = -4*f + 3*x. Which is smaller: o or f?
o
Let r(d) = 34*d**2 - 45*d + 4. Let p be r(3). Is 174 at most p?
True
Let u = 326.6 + -4.6. Let d = u + -256. Is d greater than or equal to -1/6?
True
Let o(t) = -8*t + 93. Let a be (2 + (-4)/8)*(-52)/(-6). Let b be o(a). Which is smaller: b or -12?
-12
Let t = 14473/927100 - -1/7300. Which is bigger: t or -1?
t
Let p = -5711.35 + 5711. Which is greater: -288 or p?
p
Let a = 83.18 - 83.1533. Do -1 and a have the same value?
False
Let d be ((-1)/(-7))/((-12)/44612). Let v = -531 - d. Let b = -0.004 + 1.004. Which is greater: v or b?
b
Let j = 2.286 + -8.286. Let c = -8423/24 - -351. Is j at least as big as c?
False
Let k = -482.5 - -256. Let f = k - -226. Is -8/5 greater than or equal to f?
False
Let y = -122 - -174. Let c = 4 - y. Which is greater: -47 or c?
-47
Let g = -242 + 226. Let d = -0.78 - -0.58. Which is bigger: d or g?
d
Let d = -0.067 + 0.587. Let i = -94 - -660/7. Is i at most as big as d?
True
Let o be (222/(-52))/(75/(-50)) - 3. Let f = -119 - -117. Is o > f?
True
Let r(p) = 69*p**2 - 715*p - 2842. Let o be r(-4). Which is smaller: o or 1/7?
1/7
Suppose -32 = -0*m - 2*m. Let g be 5/(100/45)*m/3. Let s(c) = c**3 - 5*c**2 - 4*c - 3. Let x be s(6). Which is greater: g or x?
g
Suppose -4*x + 186 = 5*g + 1628, 0 = 2*x + 4*g + 718. Let z = x + 363. Which is greater: -9/56 or z?
z
Suppose 37*n - 35*n = 8. Suppose -5*h = -10*h - 5, -3*o = -n*h - 10. Suppose 2*x + 18 = x + 2*y, -2*x - 12 = o*y. Is -8 < x?
False
Let i = -7255.7 - -7258. Which is bigger: -6.7 or i?
i
Let f = -18432526/873 - -21114. Let i = f + -958/2619. Is i < -1?
False
Let g(r) be the third derivative of -7*r**6/120 - r**5/60 + r**3/6 - 11*r**2. Let y be g(-1). Let c = y + -8. Is c at most 2/55?
True
Let m = 6459 + -5999. Is m bigger than 3224/7?
False
Suppose -2*o + 8484 = -5*x, -o + 4242 = -29*x + 26*x. Suppose -24*f - o = -3*f. Which is bigger: -203 or f?
f
Let u(a) = -a**2 - 18*a - 26. Let f be u(-16). Let n be -6 - (2 + (f - -4)). Which is smaller: -35/2 or n?
n
Suppose -1293*c + 657*c - 179722 = -659*c. Which is smaller: 23438/3 or c?
23438/3
Let d(k) = -8*k + 4. Let l be d(0). Suppose -352 = -l*x + 156. Is x less than 126?
False
Let h be 5 + 0 - 1242/4. Let s = -310 - h. Is -6 at least as big as s?
False
Let r(m) = -52*m - 61*m + 105*m + 10. Suppose -3*x = -2*x - 3. Let l be r(x). Is l less than 0?
True
Let j be ((-72)/42)/(-6) - 124/(-7). Let k = 23 - j. Suppose 4*s = -0*s + 5*r - 51, 0 = k*s - r + 48. Is s less than -9?
False
Let t = -234 + 224. Let d be 100/(-24) + 4 - (-328)/(-48). Is t greater than d?
False
Let y = -129 + 91. Let f = y - -40. Let z = -77 + 78.2. Which is smaller: f or z?
z
Suppose 256 + 116 = -31*d. Let n = -11/24 - -1/12. Which is smaller: n or d?
d
Let t be (-1)/5 - (-62)/10. Let d be (-3)/(3 + (-441)/t). Is d greater than -5?
True
Let l = -9891.2 - -9891. Which is greater: l or -3618?
l
Let m(p) = -19*p**2 + 0*p**2 - 2 + 7 + 7*p**2 + 6*p. Let k be m(-2). Is k < -55?
False
Let b be (-23 - (-5 - -6))/((-6)/52). Suppose b - 9230 = -3*x - 4*f, -2*x - 5*f + 6017 = 0. Let n be (-4545)/x + 1 + (-2)/(-4). Is n <= -1?
False
Let j = -14100 - -7410. Let q = j - -354582/53. Which is bigger: 1 or q?
1
Suppose 2*t + 0*t = 5*y - 1787, 2*t - 1085 = -3*y. Let h = y + -351. Suppose 9 = -0*w + w + 2*p, -p = -3*w + 20. Which is smaller: h or w?
w
Suppose -4*q = 3*l + 98, 4*q + 124 = -4*l - 0*l. Let w = -173 - -148. Is w at least as big as l?
True
Let h = -0.1 + 2.1. Let t be (-15471)/(-216) + 65/(-104). Which is smaller: t or h?
h
Suppose -3*j = 2585 - 950. Let f = 546 + j. Let d = 120/19 - 7004/1121. Is d less than or equal to f?
True
Let m be (87 + -54)/((3/(-10))/1). Let r = m + 110. Do r and 2/907 have different values?
True
Let q = 1669 + -1730. Which is smaller: -46 or q?
q
Suppose 0 = 186*j - 202*j - 80. Which is bigger: -129/35 or j?
-129/35
Let a be (-1*(-12)/(-69534))/(2/3). Which is smaller: -1 or a?
-1
Let o be (-2)/(-6)*142/(-30246). Which is smaller: o or 1?
o
Suppose -4*d = d + 5. Let j be 8*(1 - 2) - (-17 + 13). Let q be -1 - j - (-288)/(-94). Which is smaller: d or q?
d
Let p be 1/1*7*-1. Let s = -245 - -236. Let j be p/18*s/168. Is 0 greater than or equal to j?
False
Let o(a) = a**3 - 7*a**2 + 4*a + 5. Let z(b) = -b - 8. Let n be z(-14). Let j be o(n). Suppose 8*t = -13*t - 105. Is j greater than t?
False
Let d = -675 - -34426/51. Let t = 37451 + -37454. Which is smaller: d or t?
t
Let a(d) = -5*d + 115. Let w be a(21). Suppose 0 = w*q + 15 + 45. Do q and -74/11 have different values?
True
Let r be -47*(-4)/14*42. Is r != 3958/7?
True
Let a = 76 + 15. Suppose -11*f = 195 + a. Let u = f - -20. Which is smaller: u or -32/5?
-32/5
Let y(x) = 2*x - 13. Let s be y(7). Suppose -5*d + s = -4*d. Let n(f) = -f + 1. Let j be n(d). Is -2/13 at least j?
False
Let b = 63.9542 + -0.9542. Is b less than or equal to 23?
False
Let m be (-1)/(2/1 - 1). Let l(z) = z**2 - 2*z - 3. Let n be l(m). Let k be ((-1)/(-3))/(5 + -6). Which is greater: k or n?
n
Suppose -153846 - 483719 - 331282 = 51*z. Which is smaller: 1 or z?
z
Let y be 359/(-2)*296/(-148). Are -1 and y non-equal?
True
Suppose -4*u + 436 - 160 = 5*t, -192 = -4*t + 4*u. Let q = 54 - t. Suppose 3*y + 0*y = -6, w = -q*y - 8. Which is greater: -14/5 or w?
-14/5
Suppose 0 = s - 333 + 4. Suppose -b - 32 = -5*t, 3*b + 4*t + 7 = 6. Let c be (-1 + 2)/(b/s). Is c less than or equal to -45?
True
Suppose 2737*j + 390 = 2744*j - 429. Which is bigger: 133 or j?
133
Suppose 0 = -5*m - 2*j + 619, m - 2*j - 105 - 14 = 0. Suppose 0 = -2*r - 2*n + 248, 59 = -5*r + 4*n + 661. Is m less than r?
False
Suppose 6*k + 2682 = 990. Let v = k - -305. Is 23 at least v?
True
Suppose -15 = 8*b - 3*b. Let t be -1*(3 + -6)/b. Let i be -2*t/19*-5. Is -2 at most i?
True
Let b = -5 + 11. Let l = 92.58 + 1.42. Let j = l + -93.7. Which is smaller: j or b?
j
Suppose -5*m - 3 + 33 = 2*r, 0 = 2*m - 4*r + 12. Suppose -w + 8 = n, -m*n + 3*w + 5 = -6. Suppose -77 + 72 = -n*q. Are q and -3/14 non-equal?
True
Let u(v) = v + 7. Let g be u(-6). Let s be -78*((-2)/6 - g). Let z be -4 - s/20*-1. Which is bigger: z or 0.1?
z
Suppose -2*z + 0*z = 3*d + 2, 2*d + 4*z = -4. Let p be 3/(-2)*(-31 - 419267/(-13524)). Do p and d have the same value?
False
Suppose -3*i + 140 = i. Let h = 173/5 - i. Let b = -10336/105 - -690/7. Which is bigger: h or b?
b
Suppose 5*k - 295 = -70. Suppose 79 = 18*i + 7. Suppose 0 = n + 4*r - 42, 0 = i*r - 8*r - 4. Which is greater: n or k?
n
Suppose 0 = -2*z + 4*c + 354, -2*z + 4*c + 352 = 2*c. Suppose 6*s = -113 