m = 102/5 - 4167/205. Which is bigger: m or j?
m
Let z = -50089140/11377 + 4/34131. Is -4404 less than or equal to z?
True
Let m = -942487 - -942749.9247. Let w = m - -0.0753. Is w less than 0.1?
False
Let a be (17 - 9) + (-1 - 52). Let x = -40/337 + -61511/1348. Which is bigger: a or x?
a
Let l = 19 - 29. Let q(b) = b**2 + 11*b + 7. Let p be q(l). Let s be -1 + 0/p - 59/(-57). Is s < 0?
False
Suppose 5*j + 26 = -174. Let d = j + 38. Let i be d/(3 + (-28)/12). Which is smaller: -5 or i?
-5
Let s(v) = -v**3 + 10*v**2 + 5*v - 14. Let i be s(0). Is i < -157/11?
False
Let y = 113 + -113.89. Let a = -10.81 + y. Let r = -11.9 - a. Which is smaller: r or -0.1?
r
Let a be (22 + 3816/(-192))/((-2)/152). Is a < -1?
True
Let k be (-40)/(-16)*4/5. Suppose -2*z = k, -2*c - 80 = c + 5*z. Let w = 44 + c. Do 18 and w have the same value?
False
Suppose -38*x + 144 = 106. Is 1/500 >= x?
False
Let u(i) = i**3 + 16*i**2 + 2. Let w be u(-16). Suppose 3*y = -5*b + 640, w*b = 3*y - 90 - 578. Suppose 113*z - 109*z + y = 0. Is -53 at most as big as z?
False
Suppose z - 245 + 213 = 5*o, 5*z = -2*o - 29. Let y be 15/(1/(-2)*17). Is y greater than or equal to z?
True
Suppose -8*y = -11*y + 6. Let t(j) = j**2 - j + 1. Let u be t(y). Suppose -4*p + u*c + c = -24, 2*c + 33 = 5*p. Is p greater than 0.05?
True
Suppose 19918 = -23*o + 10120. Which is smaller: o or -10?
o
Let s = -112 - -115. Let n be (s - 10221/3411)*24/(-16). Is n at most as big as 0?
True
Let i = 149 - 180. Let y = i - -30. Let q = -55 - -661/12. Is y != q?
True
Suppose 39*b + 31*b = 7420. Let k = -9103 - -27628/3. Is b not equal to k?
True
Let u(d) = d**3 - 38*d**2 + 300*d + 46. Let z be u(12). Suppose 4*b - 2*g + 2 = 10, -4*g - 2 = -b. Is z smaller than b?
True
Let l(a) = -a**3 + 6*a**2 + 3*a + 15. Let s be l(7). Let z = -9 - s. Suppose z*i + 3*i = 105. Is i equal to 15?
True
Let i be (-276)/16 + 8/((-6)/3). Let w = -461/20 - i. Suppose 4*h - 4 = -0*h. Which is greater: h or w?
h
Let x = 164.5 - -215. Let y = x + -380. Which is bigger: 0.1 or y?
0.1
Let p be 4/18 + 248/504. Let b be (15/(-140))/((3/4)/((-231)/(-88))). Is p smaller than b?
False
Suppose 425117*o = 425081*o + 216. Let h = -12 + 21. Do o and h have the same value?
False
Let h = -5327 - -5327.2. Let f be (-7)/1 + (1 - 1). Which is greater: h or f?
h
Let o(y) = -6*y**2 + 2. Let h(a) = -a**2 - 5*a + 3. Let m be h(-6). Let k be o(m). Let t = 12730 + -12783. Which is greater: t or k?
k
Let m = 51 + -21. Let g = 0.0049 + -5.9449. Let b = g + 6.14. Which is smaller: b or m?
b
Let n = -4 + 22. Let a be (7 + 68/(-8))*2. Let j be n/a*(-16)/(-24). Which is bigger: j or -2?
-2
Let p(i) = -301*i + 283. Let h be p(2). Are h and -322 equal?
False
Let z(f) = -f**3 + 7*f**2 + 3 + 11*f + f**2 - 22. Let t be z(9). Let l be 15/30*(-52)/(-3 - t). Do 2/7 and l have the same value?
False
Suppose -69*t = 5 - 74. Which is bigger: t or 2/70531?
t
Let h be -14 + -536*6/(-360). Are -3 and h equal?
False
Let b = 1.21609 + -0.07609. Which is smaller: 3 or b?
b
Suppose -2*y - 9*y = -y + 530. Which is greater: -41 or y?
-41
Let w = -9914 + 2717. Is -7195 at most w?
False
Let y be 18/(-27)*(4 + (-10686)/12). Is y bigger than 591?
False
Suppose 5*a - 5*r + 7 + 13 = 0, -4*r = -2*a - 6. Let g(v) = -15*v + 14. Let u be g(1). Let w be (-18)/2*32/48 - u. Is w at most as big as a?
True
Let o be 5*(1 - 2 - 9) + -2. Let v be ((-378)/7)/((-6)/6*-1). Is v less than or equal to o?
True
Let w = -8678 - -442598/51. Which is smaller: 1/4 or w?
1/4
Let z = 620.805 + -2.805. Which is greater: -1/8 or z?
z
Suppose -832 = -50*n + 24*n. Is -84 > n?
False
Let r be 2*-1 + (-14)/(-8). Let z = -224.6 - 7.4. Let g = z - -226. Which is smaller: g or r?
g
Let o(k) = k**2 + 2*k - 8. Let v = -75 - -71. Let g be o(v). Suppose -11*n - 108 + 9 = g. Is n at least as big as 2/13?
False
Let i be 368/(-6)*3/(-2). Suppose i - 22 = -5*x. Let g be ((-6)/10)/(-18 - 3248/(-180)). Is x at most g?
True
Let t be 14 + (-12)/18*420. Is -256 >= t?
True
Let g = -0.6813 + 0.0013. Let d = g - 0.32. Is d smaller than -21.7?
False
Suppose -43*m - 30 = -38*m. Let q = -39661/856 - 1/2568. Let i = q - -47. Are i and m nonequal?
True
Let a be ((-3)/4)/((-6)/(-92)). Let j(i) = -i**3 + 6*i**2 - i + 78. Let r be j(7). Suppose 12 = r*p - 23*p. Are p and a unequal?
True
Let f = -15/272 + 2889/67184. Let q be 13 - (-22 + 9)/(-1). Which is smaller: q or f?
f
Let o = 528 + -527. Which is bigger: 12152 or o?
12152
Let i be ((-455)/(-104))/35*1234. Which is bigger: i or 154?
i
Let o = -193 + 362. Let h = o - 191. Are h and -20 non-equal?
True
Suppose -2*j + 1 = -j + o, o = 4*j - 4. Let k be (-342)/285*5/(-14). Which is smaller: j or k?
k
Let w be (1 - -22) + -76 + 56. Let j = 16.921 - 17. Is j at most as big as w?
True
Let k = -8687 - -8645. Which is smaller: k or 10?
k
Let s = -7585/26523 - -1/3789. Which is smaller: s or -4214?
-4214
Suppose -525*l + 1912 = -533*l. Let s = -174 - l. Is s >= 64?
True
Suppose 2*q - 420 = -5*q. Let h be (-18)/27 + 5/q. Let l(m) = -m**2 + 5*m + 6. Let r be l(6). Do r and h have different values?
True
Suppose 266*v - 69905 = -19365. Suppose 48 = -2*f + 428. Does v = f?
True
Let g = 17170686/85 - 202051. Let y = g - -212/5. Which is smaller: -1 or y?
-1
Let q = -5978 - -5701. Does q = -274?
False
Suppose 3*k - 18 = 0, 20*n = -2*n + 5*k + 9210. Is n smaller than 424?
True
Let w = -1.12 - -32.92. Let b = w - 22.8. Let y = 2.1 + -0.1. Is y < b?
True
Let t = 1362 - 19826. Let j = t + 93238/5. Let m = -185 + j. Which is smaller: 1 or m?
m
Let b be (-44)/8 + (-1)/(-2). Let h be (8/246)/((-6)/162). Let o = -763/205 + h. Is o greater than or equal to b?
True
Let r = -232 + 257. Let l = r + 46. Which is greater: l or 1/2?
l
Let r be 72/(-612) - (-5240)/34. Is 13 at most as big as r?
True
Let f = 2.12 + 196.88. Let z = f + -199. Is z != 45?
True
Let x be 516/492 + 6/(-123). Let j = 2/997 - -1908/42871. Which is bigger: x or j?
x
Let b be (8 - 6) + (-14)/(-1). Let v be 6/b + 1260/(-1824). Is v less than 1?
True
Let w be 7 - 3 - ((-22480)/705)/(-8). Let a = -62/47 - w. Is a > 1?
False
Let z = 609 - 915. Let q = -177 - z. Is 130 equal to q?
False
Suppose 6*x - 213 + 75 = 0. Let n(g) = 3*g**2 - 69*g + 21. Let z be n(x). Is 108/5 at least z?
True
Let u(l) = -l**2 - 5*l + 63. Let a be u(-32). Let n = a - -140177/175. Which is greater: n or 0?
n
Suppose 4*j = 2*u - j - 25, 5*j = -3*u - 25. Let s(z) = -z**3 + z**2 - 3*z - 1. Let a be s(u). Which is smaller: a or -7/85?
a
Let w = 5139 + -6108. Is -2 bigger than w?
True
Suppose -215*n - 7975 = -70*n. Is -948/17 equal to n?
False
Suppose 0 = 13*j - 18*j - r - 248, 4*j - 5*r = -239. Suppose 4*q + 37 + 162 = -x, 25 = 5*x. Do q and j have the same value?
True
Suppose -97*i = -94*i - 6. Let k be 4/i*-1 - (-142)/8. Is 16 greater than k?
True
Let x = -2 - 4. Let q(i) = -2*i - 13. Suppose 6*a - 12 = -36. Let f be q(a). Is x not equal to f?
True
Let n(o) = -o**3 - 12*o**2 - 8*o + 36. Let f be n(-11). Let y be 6/((-1 + 3)/(5 + f)). Let h be 147*y/(-9)*(-1)/(-4). Which is greater: h or -97?
-97
Suppose 3*j - m + 1 = 29, 4*j - 3*m - 29 = 0. Suppose 0 = -t - 3*k - j, -2*k = -44*t + 39*t + 13. Which is smaller: t or 29?
t
Suppose 27*l - 5*k - 287752 = 26*l, -863286 = -3*l + 5*k. Let s be l/47966 - (7 + -1). Is s at most 1?
True
Let l = -0.172 - -127.172. Let i = l - 126.923. Which is smaller: -1 or i?
-1
Suppose 30*m + 55*m - 103*m = -5040. Is 282 >= m?
True
Let b = 36673 + -36631.039. Let y = b - 42. Is y smaller than -2?
False
Let r(w) = -w**2 + 8*w - 28. Let q be (9/(-6))/((-30)/80). Let o be r(q). Let i be -13 - 1*2/2. Is i < o?
True
Suppose 0 = q + 2*m + 195, 116*m - 114*m = -2*q - 378. Which is smaller: -212 or q?
-212
Let k be 26006/9753 - (-840)/(-315). Are 0 and k nonequal?
True
Let t be 0/(28/(-24) - 1/(-6)). Suppose 4*h - d - 10 = 0, t = 5*h + d - 8 - 0. Let b(o) = -8*o + 4. Let c be b(h). Which is greater: -9 or c?
-9
Let z(b) = 2*b**2 + 2*b - 1. Let k be z(-2). Suppose 0 = -5*v + 5*u - 20, 3*v + 3*u - 1 = 11. Suppose v = -3*o + 4*o + k. Do -12 and o have the same value?
False
Suppose -5*t = 2*j - 75 - 88, 35 = t - 2*j. Let u = t - 97. Let o = u + 67. Is o equal to 1?
False
Let d be (-10 + -2)*(-8)/(96/(-9)). Let q be ((-21)/d)/((-2)/(-30)). Suppose 4*x = 3*u + 33, 4*u + 5*x +