b. Let k be b - ((-1)/(-5) - 312/(-140)). Is 0 bigger than k?
False
Let u = 145639018067/1224 + -118986155. Let n = 494/17 + u. Which is smaller: n or 1?
n
Let w = -8826 + 9006. Is w < -5?
False
Let h be ((-2)/(-3) + -1)*(-30)/2. Suppose 4*i - 21 = -h. Suppose -f = 3*j - 7, -f + i*f - 21 = j. Is 8 at most f?
False
Let j be (-13866)/(-990) + 10 + -24. Which is smaller: -2 or j?
-2
Let z = 0.084447 + 1.815553. Let a = -0.04 - 0.06. Which is smaller: a or z?
a
Let p be 101710/(-420)*(-12)/(-1). Are p and -2906 equal?
True
Suppose 233 = 204*h - 175. Which is bigger: h or 7?
7
Suppose -4*w = -5 - 3. Suppose -w*g + g = 15. Let t be (-528)/220*(2 + 14/3). Do t and g have the same value?
False
Let h(g) = -g**2 + 4*g + 6. Let k be h(-4). Suppose 11*c = 1419 - 187. Suppose -c - 28 = 5*w. Which is smaller: k or w?
w
Let i = 1/17936 + 143479/161424. Let w = -8 + 3. Is w greater than or equal to i?
False
Suppose r + 23 = -3. Let j = 149 - 133. Let i = -42 + j. Are r and i equal?
True
Let v be -1 + (29 + -5)/(220/8 + -8). Suppose 0 = -4*k + 4, -6*n + 4*k - 9 = -n. Which is greater: n or v?
v
Let l = -11288.95 + 11289. Is -296 greater than l?
False
Let j = 375.03 + -377.03. Which is smaller: j or 12982?
j
Suppose -7*a - 2*i = -11*a - 384, 2*i + 368 = -4*a. Let v = a + 95. Is v at least as big as 2/305?
True
Suppose 42 = 7*n + 14. Suppose 13 - 8 = m. Suppose -5*z - m = -n*z. Is z != -7?
True
Let x(c) = -3*c**2 + 49*c + 75. Let b be x(19). Which is greater: -543/7 or b?
b
Let j = 23/5 + -27/20. Let m(t) = -3*t + 5. Let f(l) = 7*l - 9. Let g(b) = -4*f(b) - 9*m(b). Let q be g(-12). Which is bigger: q or j?
j
Let q = 34379/3 - 11605. Let v = q + 12638/87. Let i be 15 + -42*(-16 - 1372/(-84)). Which is greater: i or v?
i
Suppose -x = -5*l - 23, -3*l = 7*x - 3*x. Suppose -3*m = 3*d + 24, -d - x*m = -0*m + 12. Let f be (d/(-9))/(6/27). Is 3 bigger than f?
False
Suppose 8 = -2*b - 3*t, -3*t + 321 = 333. Let h = 10 + -1. Let o = -8.8 + h. Do o and b have the same value?
False
Let t(z) = -z**2 - 11*z + 27. Let a be t(-12). Suppose 5*p = 3*b + a - 52, b + p + 1 = 0. Suppose r + 72 = -4*g, 4*g - 2*g - 216 = b*r. Is r smaller than -57?
False
Let z = 1.0304 - 1.1304. Is 1979 at most as big as z?
False
Let q be 87/6 + (-2)/(-4). Let a = 418 + -385. Let u = a + -16. Is q < u?
True
Suppose 4442 = -g - 4*l - 2635, -28232 = 4*g - 3*l. Which is bigger: -7062 or g?
g
Let n = 6.1 - 5.69. Let o = 0.87 - n. Let x = o + 11.54. Which is greater: x or 1?
x
Let a(p) = -p**2 - 107*p - 358. Let t be a(-91). Is 1115 greater than t?
True
Let t = 2.7 - 1.01. Let a = -1.69 + t. Which is smaller: -0.031 or a?
-0.031
Let r = 20 + -23. Let k be 2*((15*-2)/r + -4). Let v be 12/8*6/(-1809)*k. Is 1 != v?
True
Let p be ((-1885)/20 + 8)*150/45. Which is bigger: p or -288?
p
Suppose -5*k = -16*k + 4587. Let v = k + -674. Is -257 not equal to v?
False
Let m = 127.5 + 19.5. Suppose 5*b - 20 + 30 = 0. Is b < m?
True
Let u = 145 + -100. Let p = 1.621 + -1.611. Which is bigger: p or u?
u
Let o = 17382 + -17382.151. Let x = 6 - 6.1. Which is smaller: x or o?
o
Let v be (-308)/(-770) + ((-837)/330 - 0). Which is greater: -1 or v?
-1
Suppose 110*v + 2460 = 100*v. Are -248 and v unequal?
True
Let h = -3695 + 6382. Suppose 5*n - w = -2019, 5*n + h = -5*w + 662. Which is greater: n or -405?
n
Let r = 10574 - 10674. Are -26 and r nonequal?
True
Suppose -395 = -3*o + 1009. Suppose -3*x + 29*h = 25*h - o, -3*h = 4*x - 624. Is 156 at least x?
True
Suppose r - 226 = 3*o, -4*r + 144 = -3*o - 76. Let v = -77 - o. Which is smaller: 47 or v?
v
Let x be (-579)/(-9) - (-17 + 6)/(-33). Is x not equal to 30?
True
Let a(q) = -q**3 - 17*q**2 + q + 16. Let i(o) = 7*o + 32. Let m be i(-7). Let v be a(m). Is 8 less than v?
False
Let d = 32 - 12. Suppose -5*h = 5*q - 100, -4*h - 4759*q = -4764*q - 62. Is d smaller than h?
False
Suppose -4*u - 34 = -118. Suppose 391 + 533 = -u*o. Suppose -2*h + 6 = 0, 0 = 3*i - 2*h + 192 - 51. Is o <= i?
False
Suppose -2*a + 2 = 0, 45*u + 7 = 44*u + 6*a. Is u at least as big as -15/1022?
False
Suppose 0 = -8*n + 5*n + 24. Suppose 0 = n*m - 6*m - 50. Suppose -4 = m*a - 29*a. Which is bigger: a or -8/17?
a
Let k(x) = -x**2 + 7*x - 3. Let j be k(6). Suppose -2*b = j - 1. Let w = -0.0432 + -13.9568. Is b less than w?
False
Let a = 35768/205 + -873/5. Suppose -108*n - 143*n = -281*n - 30. Is a at most n?
False
Let k = -2/10181 + 784141/1038462. Which is greater: 2 or k?
2
Let j = 13.5 - -48.5. Let c = 160 - j. Let v = c - 85. Are v and -0.3 non-equal?
True
Let v be ((-1146)/(-16))/(120/160). Let d = -5 + -84. Let z = d + v. Is 7 smaller than z?
False
Let b be (-6)/(-10) + 2680/(-50). Let j = -0.8332 - 0.1668. Is b != j?
True
Let g(s) = s**3 + 37*s**2 - 116*s + 347. Let q be g(-39). Is q greater than 1825?
True
Let j = -4395 - -4384. Which is greater: j or 10?
10
Suppose 2 = -2*l - 5*f - 8, 3*f + 7 = -l. Let k be ((-144)/15)/(-4)*l. Let q be 99/84 - k/16. Which is bigger: q or -1?
q
Let p(i) = -i**2 - 2*i. Suppose -12*n + 250 = -17*n. Let m = -51 - n. Let c be p(m). Which is smaller: c or -2/121?
-2/121
Let f = 37.3 - 0.3. Let o = -36.17 + f. Let d = -2.67 - o. Is d smaller than -2?
True
Suppose -4*r = -2*c, 23*c + 4*r = 24*c + 14. Which is smaller: 213/16 or c?
213/16
Let s(c) = 22*c + 35. Let b be ((-14)/10)/(31/155). Let v be s(b). Is -119 greater than or equal to v?
True
Let i(x) = -3*x + 21. Let f = 35 - 27. Let r be i(f). Let l be 4/(-6)*r/12*2. Is -23 > l?
False
Let q(v) = -v + 3. Let x be q(4). Suppose -5*f = 4*w - 12, -3*f - 11*w = -15*w + 12. Which is greater: x or f?
f
Let k = -33134/1027625 - -2/8221. Is 0.13 > k?
True
Let c = 349.42 + 6.58. Let o = c + -369. Is -4 >= o?
True
Suppose 4*f + o = 143, f - 2*o - 26 = 3. Let d be (-2)/((-567)/f + 4). Which is greater: 1 or d?
1
Suppose 2*z = z - 6. Let g be z - (-311)/(-77) - 4/(-22). Which is smaller: g or -11?
-11
Suppose -6*z - 38 = 82. Is z bigger than -364/17?
True
Let s = 203 - 138. Let i = s - 64. Let p = -13.71 - 0.29. Which is smaller: p or i?
p
Let i = 0.9549 + 0.0451. Let t = 11.6 + -6.52. Let f = t + -5. Which is bigger: f or i?
i
Let h = -43583/5 + 265513/30. Which is greater: h or 133?
h
Let p(r) = -138*r + 5*r**2 - 9 + r**3 + 0 + 130*r. Let k be p(-6). Is k equal to 2?
False
Suppose 5*n + 4*z = 21, 2*n - 19*z = -20*z + 9. Suppose k + 4 + 1 = 4*s, n = -5*s + 5*k. Do s and -1/27 have the same value?
False
Let d = -0.37 - 0.03. Let q = 1.2281 + -34.2281. Which is bigger: d or q?
d
Let n = -230.6 - -210. Suppose -15 = 63*d - 68*d - 4*h, 0 = 3*d - h + 8. Which is bigger: n or d?
d
Let z = 284 - 529. Let g be (-49)/z*20/14. Let f be 1 - (-2)/(16/(-6)). Is f less than g?
True
Let n = -15/187 + 25418/319209. Which is greater: 1 or n?
1
Let p be (-3)/15*1 - (-3)/15. Suppose 0*m + 5*m = 15, p = k - m + 44. Suppose 2*s - 5*q + 148 = -2*s, 118 = -3*s + 2*q. Are s and k nonequal?
True
Let a = 7359 + -7362. Is a less than or equal to -0.12?
True
Let o(b) = -28*b + 1708. Let f be o(71). Suppose 2*g - 3*m = -0*m - 563, m + 1119 = -4*g. Is g smaller than f?
False
Let o be (-3 - 0 - (-2050)/690)/((-2)/(-33)). Let p be (0/(-2))/(10/(-5)). Is p != o?
True
Suppose -a - 1 = -2*a - 3*b, -b + 19 = 3*a. Let c = 1484 + 303. Let s = 10759/6 - c. Which is smaller: a or s?
s
Let w be (-4)/26 - (-3186)/(-78). Let g = 1929/47 + w. Suppose -9 = -5*r - k, -5*r - 4*k = 2 - 23. Which is bigger: r or g?
r
Suppose 7*w + 9000 - 8342 = 0. Suppose 3*z + 267 = -5*j, -z - 30 = 5*j + 49. Let u = w - z. Do 2/17 and u have the same value?
False
Suppose 4*n + 11*n = 2*n. Suppose 2*x - 55 + 807 = n. Let q be 1551/x*(2/(-3) + 0). Which is smaller: q or 3?
q
Let o = -21561636/20345 + 5299/5. Is o smaller than -1?
False
Let m be ((-1)/5)/((-8)/200). Let w be (-1591)/215 + 7/m. Which is smaller: -90/13 or w?
-90/13
Let y = 246/5 - 59969/1220. Which is smaller: y or 1?
y
Suppose 5*a + 2*g + 2059 = 0, -22*a + 410 = -23*a - g. Is -411 > a?
True
Let x = -2097 - -3017. Suppose g = 9*g - x. Is g equal to 115?
True
Let v = 3210 - 1397. Which is smaller: 1812 or v?
1812
Let c be 221/(-34) - -1*(-1)/(-2). Let z be (c/60*4)/(4/(-10)). Which is bigger: z or -2/511?
z
Let x(y) = -2*y**3 - 9*y**2 + 17*y + 83. Let v be x(-4). Is v bigger than -31/70?
False
Let g = 31562.94 - 31095. Let z = 4