ch is smaller: x or -1111?
x
Let f = 11.49 + -12.42. Which is smaller: f or -0.168?
f
Let i = 40/9 - 226/63. Suppose 12 = 2*t + 4. Suppose -2 = 5*l - 3*w, l - 2*w = -l - t. Which is greater: i or l?
l
Let m = 13934 - 13933.9. Is 2.076 at least m?
True
Let r = -6 + 13. Let q be 2/(-16)*(-5760)/(-3960). Is r at most as big as q?
False
Let v = -2.64 - 0.36. Let r = 1583 - 1580.8. Which is bigger: v or r?
r
Let k(r) = -2*r + 12. Let p be k(5). Suppose -2*n + p = -4*x, n + 2*n = -9. Which is smaller: -11/10 or x?
x
Suppose 8 = 2*v + b, 2*b - 10 = -2*v + v. Suppose 3*f + 4*d - d = 291, v*f = 3*d + 184. Is f at least 0.1?
True
Let d = -17241203/3655551 - -574/5127. Let g = d + 167/31. Is g < -3/5?
False
Let q be (-1850)/(-60) - 1/2. Let p(x) = -2*x**2 - 3*x + 7. Let o be p(-5). Let c = o + q. Is c greater than or equal to 1?
True
Let p be 0 + 2 + (-42)/(-10). Suppose 5*t + 43 = 53. Let z(d) = 2*d**3 - d**2 - d - 5. Let r be z(t). Is p greater than or equal to r?
True
Let l be (10 - 7) + (797 + 0)/(21 + -22). Is -793 <= l?
False
Let i(k) = -2*k + k**3 + 8 - 10*k**2 + 5*k + 10*k. Let d be i(8). Let l be (((-8)/d)/((-2)/(-4)))/1. Which is bigger: l or 3?
3
Let g(t) = t**2 + 32*t + 137. Let q(m) = -m**3 - 49*m**2 - 48*m - 27. Let h be q(-48). Let s be g(h). Which is greater: 28/15 or s?
s
Let h = -48 + 11. Let k = 0.3 + -43.3. Let g = k - h. Is -0.2 at most g?
False
Let h be ((-1278)/30459)/(1/(-55)). Which is smaller: 0.44 or h?
0.44
Let z be 3/(2/4*-87). Let h be 14/(-5)*(45/(-10) - -2). Let v(t) = t**2 - 8*t + 8. Let g be v(h). Which is smaller: g or z?
z
Suppose 0 = 4*u + f + 196, -5*u - 3*f = 173 + 72. Let p be (-2)/14*5 + 14/u. Let k be (-36)/64*(40/15 + -2). Which is smaller: k or p?
p
Let y(p) = -4*p**3 - p**2 - 7*p + 11. Let q(t) = 5*t**3 + 9*t - 12. Let g(o) = -3*q(o) - 4*y(o). Let n be g(-3). Is 30 != n?
True
Suppose 248 = m + 4*s, -2*s - 1328 = 3*m - 8*m. Let b be 6/(-9) - (-5594)/21. Let a = b - m. Which is smaller: -1/3 or a?
-1/3
Suppose 4*s = i + 1166, 85*i - 1194 = 86*i + 3*s. Is i at most as big as -1182?
True
Suppose 21 = 9*k - 2*k. Suppose -k*l - 144 = 5*c, 0*l + c = 4*l + 169. Let a be (l/3)/(4/6). Which is bigger: a or -22?
a
Suppose 4 = -5*o + 24. Suppose 2*z = -o*i - 4, 4*i + 28 = -z + 2*z. Suppose -3*p = -z*p. Is p != -6/11?
True
Suppose -5*x - 3*i + 6*i = -166, -i = -x + 32. Suppose 5*g - 13 = -2*l - x, -4*g - l = 17. Let w be (-3 + 2/((-8)/g))/(-106). Is 1 not equal to w?
True
Let n be (-128)/(-704) + ((-376783)/605 - 3/(-5)). Which is bigger: -615 or n?
-615
Let l = -13 + 7. Let o = 1 + l. Let v = 84.05 + -84. Which is bigger: o or v?
v
Suppose 145 = -5*y - 3*u, -2*y + 3*u = -4*y - 49. Let f(o) = o**3 + 34*o**2 + 67*o + 65. Let q be f(-32). Which is smaller: y or q?
y
Let b = -12/197 + -286/1773. Which is smaller: b or -262?
-262
Let j = 4314349028/393 + -10977994. Let u = j + 20/3. Let k be 0/(-3)*(3 - 2). Is u at most k?
False
Suppose 3*v = 4*o + 198 - 218, 0 = -v + 5*o - 25. Which is bigger: v or -2/1239?
v
Let d = -160 + 165. Suppose d*m - 15 = -c, 4*c + 28 - 34 = -2*m. Which is bigger: -5/72 or c?
c
Let j be 8 + 14/(2730/(-11105)) + 14/6. Is j at most as big as -1?
True
Let y be (-11 + -295)/9*15/(-2). Let u = y + -392. Which is bigger: u or -135?
-135
Suppose 23*z - 65 - 1269 = 0. Suppose 0 = z*n - 23*n. Is n greater than -19/16?
True
Let m = 73 - 508/7. Suppose 3*v + 13 = 4*p, 0 = 2*v - 0*v - 10. Suppose -k = -3*x - 0*x + p, x - k - 5 = 0. Do m and x have the same value?
False
Suppose 4*v = -28, 0*q + 2*v + 0*v = q. Are q and 6 non-equal?
True
Let y = 15 - 75. Let m = 63 + y. Suppose -2*g - 15 = 5*a, -4*g + 10 = -a + m*a. Which is bigger: -2 or a?
-2
Let k = -4.172 + -0.028. Let o = -367.22 - -367.42. Which is smaller: o or k?
k
Let d = -27 + 26. Let c be (18/(-16))/3*(-333 - d). Let f = c + -116. Is f at least as big as -1?
True
Let x(q) = -4*q + 6. Let y(r) = r**3 + 7*r**2 - 9*r - 2. Let w be y(-8). Let o be x(w). Let j be ((-60784)/(-112))/29 - 19. Do j and o have different values?
True
Let v = -58.5 + -27.5. Let b = v + 85. Is 0.177 at most b?
False
Let n(m) = m + 10. Let y be n(-5). Suppose -18 = 3*s + 3*a + 30, -44 = y*s - 4*a. Let q be ((-2)/4)/(207/s). Is 1 smaller than q?
False
Suppose 0 = 2*w - 3*x - 192, 0 = -4*w + 5*x - 69 + 455. Let y = w + -100. Is y at least 10/27?
False
Let r be -10 - ((0 - -5) + -7). Let a be (-2270)/r - -12*2/(-32). Which is bigger: 282 or a?
a
Let q = -201 + 425. Let c = 156 - q. Which is greater: c or -65?
-65
Let a be (2/(-3))/(1/(-72)). Let j be (1 + (-2)/3)/((-45)/405) - -51. Is a equal to j?
True
Let m = -110.393 + 110. Let p = 54.707 + -54.8. Let y = m - p. Which is smaller: y or -0.11?
y
Suppose 3*t - 104 = 4*q + 44, -t + 81 = 5*q. Suppose 7*n + t = -5*s + 6*n, -s + 3*n - 24 = 0. Are -6 and s unequal?
True
Let l(y) = y**3 + 7*y**2 + 8*y + 9. Let f be l(-6). Let g = 88065 - 88030. Do f and g have the same value?
False
Let f be 2 - (-6 - -4)*1388. Suppose 0 = -20*j + 878 - f. Which is bigger: j or -2/17?
-2/17
Suppose 0 = 2*o + 3*n + 867 - 841, -5*o = -5*n - 10. Which is smaller: 0.043 or o?
o
Let w = -0.709 + -29.291. Is w at most -1/6?
True
Let p be (-26)/299 - 64501/1219. Let w = -114 + 56. Are w and p equal?
False
Let m = 26861 + -61780299/2300. Do m and -2/5 have different values?
True
Let o be ((-546)/2457)/(0 - (-4)/(-42))*163. Which is smaller: 379 or o?
379
Let q = 1.4472 - 1.5312. Is q >= 33?
False
Let l(i) = i + 1. Let b be l(0). Let h = -38749/555 + 349/5. Which is bigger: b or h?
b
Let q = 9217/2 + -47687/10. Let g be 57017/(-360) - (-312)/(-702). Let o = g - q. Which is bigger: o or -2/5?
o
Let b = 21799/7 - 3114. Is -32 greater than b?
False
Let z be (((-104)/(-9))/8)/(1735/570 + -3). Which is smaller: 2/11 or z?
2/11
Let d be (-1)/7 - (13 - 2576/196). Is d equal to 1/63?
False
Let q = -39240983/145 - -1355747/5. Suppose -m - 530 = 2*a, m + 5*a + 549 = 7. Let o = m + q. Is o greater than or equal to 6?
False
Let o(z) = -12*z - 115. Let y be o(-9). Let n = -18 - -25. Let k be 1/((-8)/n - -1). Is k at most as big as y?
True
Let x = -2619/133 + 480/19. Which is greater: x or 1/5?
x
Let z(m) = 105*m + 13. Let t be z(-2). Let q = t + 35. Which is smaller: q or -2/3?
q
Let v(t) = t**2 + 34*t + 102. Let m be v(-31). Suppose 132 = -m*c - 2*c. Which is smaller: -10 or c?
c
Let y = 297/8 + -293/8. Which is greater: -14/159 or y?
y
Let d = -160 - 140. Let l(n) = -n**3 + 47*n**2 + 89*n + 141. Let a be l(49). Is d not equal to a?
False
Let q = -359 - -341. Let w = 411 - 857/2. Which is smaller: q or w?
q
Let o be (-194 + 253)/(-1*(0 - (-1)/6)). Are o and -349 non-equal?
True
Let c(u) = -3*u + 87. Let g = 149 - 118. Let n be c(g). Let z = 1/453 + -18127/3171. Which is smaller: n or z?
n
Let x be (7 + -6)*(6/30 + 2/(-10)). Which is smaller: x or -1/8419?
-1/8419
Suppose 6*c = 13*c - 35. Suppose -c*f = 10 - 40. Let g be 122/14 - (-6)/21. Which is bigger: f or g?
g
Let o = -6 - -5. Let l be -3*2*(-112)/289968. Which is greater: l or o?
l
Let g = 5650 + -5652. Which is smaller: g or 6301?
g
Let c be 40/(-6)*456/(-190). Suppose -c*o = 2*o - 288. Which is smaller: 0 or o?
0
Suppose 5*s + v - 52109 = 0, 3*s + 563*v = 567*v + 31293. Which is greater: 10422 or s?
s
Let u = -8003/206682 + 5/1862. Is -17 not equal to u?
True
Let b be 8 - ((-2)/17 - 283173/(-27489)). Is -2 less than or equal to b?
False
Let v = -16 - -36. Suppose 62*t + 3*t = 13*t. Suppose 0 = -4*l + b - 5, 4*b + t*b = -2*l + v. Which is greater: 38 or l?
38
Let h = -135216 - -1067475/8. Let y = h - -1787. Which is smaller: y or 6?
y
Suppose -5*s + l = -68, -3*s - 333*l + 331*l = -46. Which is bigger: s or 27?
27
Let p be (-10 - (-151760)/15104)/((-3)/(-172)). Let j = p - -1/59. Is -0.1 <= j?
True
Let d(y) = y**2 - 2*y - 4. Let f be d(-2). Suppose -f*z = 4*a - 20, 16 = 5*z - 5*a - 39. Suppose 0 = j + j - z, l + j = 5. Which is greater: l or 0.012?
l
Let p(c) be the first derivative of 9*c**2/2 - 81*c - 51. Let y be p(14). Is 45 < y?
False
Suppose 7*a - 4*c - 22 = -5, 5*a + 5*c = 20. Is a at most as big as -0.0207?
False
Let u = -8092848236/405 + 19981993. Let v = u - -1741/5. Which is greater: v or -1?
v
Let d(z) = -z**3 - 23*z**2 + 736*z + 40. Let a be d(18). Which is bigger: 408/143 or a?
a
Let l = -130 + -5. Let h b