6. Do d and i have the same value?
False
Let u = 83 + -82. Let z be (5158/70 - u) + 26/(-91). Which is smaller: z or 72?
72
Let n be 4/10*5/453. Let h(v) = -30*v + 30. Let r be h(1). Do r and n have different values?
True
Suppose -446 + 362 = -3*r. Suppose r = 8*x + 156. Is -16 >= x?
True
Suppose 0 = 6*h - 8374 + 8224. Which is greater: h or 41?
41
Let s(x) = 203*x**3 - x**2 + 2*x. Let c be s(1). Suppose 0 = 4*u + 2*a - c, -2*a + 48 + 104 = 3*u. Let h = u - 50. Which is bigger: h or 7/3?
7/3
Let b be (-2)/(-3 + (-119)/(-39)). Let h(l) = l**3 + 20*l**2 + 21*l + 17. Let y be h(-19). Let f = b - y. Which is bigger: f or -16?
-16
Suppose 3*z = -0*n + 3*n + 12, 3*n = -4*z - 19. Let g = -1577.446 + 1572. Let y = g - 0.554. Is y smaller than z?
True
Let o(v) = -v**3 - 2*v**2 - 3*v - 3. Let p be o(-1). Let l be 798/(-189) + (2 - (p + -1)). Which is smaller: -11 or l?
-11
Let r = -3820 - -1620. Let z be ((-18)/8)/((-975)/r). Is z equal to -6?
False
Let f(a) = -a**3 - 5*a**2 + 34*a - 15. Let v be f(-9). Let i = -28 - -55. Suppose -v*n + 3*z = -i, 46 = 4*n - 0*z + z. Is 11 greater than or equal to n?
True
Let a(y) = 5*y**3 - 13*y**2 - 2*y - 2. Let q(m) = 4*m**3 - 14*m**2 - 3*m - 3. Let g(n) = -3*a(n) + 4*q(n). Let h be g(17). Which is bigger: h or -1/3?
-1/3
Suppose -2*r + 3 + 15 = 0. Let s be (-13)/r + (-1)/(-3). Let z = 95.1 - 95. Is s at least as big as z?
False
Let g = 905 - 632. Let i = g - 272. Let h = -689/8 + 86. Which is smaller: h or i?
h
Let s = 11543 - 10131. Is 0.3 > s?
False
Suppose 61*j - 52*j = -4221. Let y = 417 + j. Which is greater: y or -50?
-50
Let u = -2/56373 - 97903/225492. Which is smaller: -1 or u?
-1
Let l be -7*(-6)/126 + (-5)/120*-2972. Which is greater: 124 or l?
l
Let w(t) = -48 + 14 + 12 + 44 - 6*t + 27. Let i be w(8). Is i at least as big as 1/61?
True
Suppose 617 = 28*p + 11405 + 692. Is -2053/5 at most as big as p?
True
Suppose 328 = -12*h - 3*h - 1562. Are -100 and h nonequal?
True
Suppose 2*v = 3*t - 6*t + 278, v + 4*t - 149 = 0. Suppose 0 = 10*c + 27 + v. Which is bigger: c or -108/7?
-108/7
Suppose -4*k - 605 = -5*g, 5*g + 10*k - 7*k = 640. Suppose 30*p = 32*p + 3*h + 75, 0 = 4*p + h + g. Let v = -101 - -72. Which is bigger: p or v?
v
Let n(h) = 94*h**2 + 790*h - 43. Let a be n(-10). Which is smaller: a or 1449?
1449
Suppose -t = -u - 84, u = -2*t - 0 - 72. Let h be (-50)/(-24)*(-24)/u. Let b be -10*(-17)/(-680) - (-9)/4. Which is smaller: h or b?
h
Suppose 4 = 2*g + 5*i - 1, -35 = -4*g - 5*i. Suppose -14*o - g = o. Are 2/275 and o equal?
False
Let q(n) = -11*n - 150*n**2 - n**3 + 0*n**3 + 158*n**2 + 0*n**3. Let p be q(5). Is 23 not equal to p?
True
Let y be 8/(-44)*-1 - 31/(-11). Suppose 6 = -3*k, -3*w - 2*k + y*k = -29. Let u = -2 - -12. Which is smaller: w or u?
w
Let w = -21.87 - -22. Let l = w - 1.13. Let p = -262 - -1561/6. Which is smaller: l or p?
p
Suppose 0 = 5*b + 4*o + 23, 3*b + 25 = 6*o - 10*o. Is b at least -2/1539?
True
Let j(y) = 2*y + 89. Let q be j(41). Suppose -11*o = -q + 28. Which is greater: o or 10?
o
Let j be -10*90/4*(-5320)/(-1750). Which is smaller: j or -682?
j
Let g = -1017 - -1015. Let l = -8 + 11. Let f = -2.77 + l. Is g less than f?
True
Let a be 9/(-3) - (-65 + 62). Is 29/154 at most as big as a?
False
Let l = -30 + 34. Suppose 0 = -5*v + l*v - 2*v. Let z = 7979/9653 - 41/49. Which is smaller: v or z?
z
Let f = 40 + -56. Let y = 32 + 76. Let x be 2*(-2 - -4) - 2088/y. Is x bigger than f?
True
Let c = -684 + 307. Let w = c + 376.597. Which is smaller: w or 0.1?
w
Let b(n) = -n**3 + 11*n**2 + 17 - 36 - 2*n - 34. Let t be b(11). Which is smaller: -76 or t?
-76
Suppose 96 = 22*h - 19*h. Let t = h - 34. Which is smaller: t or -1?
t
Let l = -27.1 + 26.6. Is 44/7 at least l?
True
Suppose 113 = 3*a + 128. Is a smaller than -54/11?
True
Let i = -15925 + 16052. Is 42 < i?
True
Let s be ((-1)/(-53))/(50/17210). Let l = s + -58/53. Are l and 5 equal?
False
Suppose 648 = -4*t + 4*a, 4*t + 0*a + 672 = -4*a. Is t greater than -167?
True
Suppose -3*c = 6*c + 72. Suppose -7*j = -5*j - 14. Suppose 0 = 3*m + 13 - j. Is c >= m?
False
Let j = 182 - 177. Suppose 2*s = -3*z + 7 - 0, 4*s = -j*z + 11. Is 22/45 at least as big as s?
True
Suppose -7*u + 5 = 5*g - 2*u, 3*u + 7 = -g. Suppose -s + 4*s + 17 = g*q, -3*s - 5 = -2*q. Which is smaller: 14 or s?
s
Let q(h) = -2433*h - 23. Let c be q(0). Which is bigger: c or -93?
c
Let k = -7281 + 7274. Which is smaller: 1182 or k?
k
Let q(c) = -c**2 - 42*c + 11*c - 88 - 9*c - 50 + 27. Let r be q(-3). Which is greater: 270 or r?
270
Let j be -2*((-125)/(-25) - 255). Which is smaller: j or 506?
j
Let r = 86720996 + -11620760329/134. Let a = r + 1096. Which is bigger: a or 0?
0
Let q = 4/475 + -84083/950. Let w = 83 + q. Let c be (-14)/(-6) + ((-560)/24 - -16). Which is smaller: w or c?
w
Suppose u - 30 = -4*u. Let o(a) = 18*a - 75. Let c be o(4). Let f be 8 + (c + -2 - -1). Which is smaller: u or f?
f
Let s(h) = -2*h**2 + 18*h + 2. Suppose -9*i + 72 = -i. Let m be s(i). Suppose -8*j = -2*g - 12*j + 8, -2*g - m = -j. Are -4 and g nonequal?
True
Suppose -4*r + 5992 = -2*f, -8993 = 88*f - 85*f - 5*r. Does f = -3003?
False
Let z(w) = -w**3 - 10*w**2 - 9*w + 9. Let h be z(-9). Suppose 3*i - h = 6. Suppose -1 = -3*q + u + 7, i*u + 26 = q. Which is smaller: -1 or q?
-1
Let j be (-84)/(-2940) + (-423)/105. Suppose 23 = -3*t - 4*r, -3*t + 0*r - 7 = -4*r. Does t = j?
False
Suppose 20*v - 2*l + 2602 = 21*v, 5*l - 15563 = -6*v. Are v and 2588 non-equal?
False
Let x be (-38)/(-95)*-45 - 894. Which is greater: x or -1823/2?
-1823/2
Let v = -84 + 94. Suppose -5 - 20 = 3*k - 5*w, -3*k + 2*w - v = 0. Which is bigger: k or 20/27?
20/27
Let t = 3331 - 19987/6. Is t >= 626?
False
Let t = -944107862/53 - -17816518. Let i = -3162 + t. Which is bigger: -1 or i?
i
Suppose 47082 + 83639 = 28*r + 9*r. Which is smaller: r or 3531?
3531
Suppose 0 = -3*o + 57 + 147. Suppose -f = -3*f - o. Let t = -33 - f. Which is smaller: t or 4/17?
4/17
Let q = -34.58 - -34.47. Is q bigger than -92?
True
Suppose 4*n = 876 - 88. Let w(p) = p**3 + 24*p**2 + 108*p + 444. Let c be w(-19). Is n greater than c?
False
Let n(c) = -c**3 + 2*c**2 - 4*c - 2. Let h be n(-3). Suppose -50*l - 20 = -h*l. Suppose 24 = l*d - u, -u = -d + 4*d - 18. Which is greater: d or 1?
d
Let w be (-146)/132 - (-1 + 2/(-1)). Let x = w + -27/22. Which is bigger: 2 or x?
2
Let a be ((-1)/(-1))/(12/60). Suppose 4*v + 2*u - 2 = 6, -a*v + 8 = 3*u. Let t be 14/(-77) + v/22. Are t and 2/47 equal?
False
Let f = 185 - 182.785. Let x = -0.215 + f. Let c = 75 - 45. Which is bigger: x or c?
c
Let x = 1509 + -1491. Are -188 and x equal?
False
Let q(y) = y**3 - 6*y**2 + 2*y + 5. Let v = -88 - -94. Let w be q(v). Is w < 35/2?
True
Let v be (5 - ((-10208)/(-40))/22) + -1 + 8. Let r(x) = x + 5. Let c be r(-5). Which is smaller: c or v?
c
Suppose 4*v + 2931 = 410*y - 411*y, -4*v - 4*y - 2940 = 0. Which is smaller: v or 0?
v
Let s = -1 + 0. Let o be (248315/(-15))/(1 - 354/(-18)). Let l = o - -801. Which is greater: s or l?
l
Suppose s + 5*i - 8 = -23, -4*i = 3*s + 12. Suppose s = -u + 10*u. Is -5/143 greater than or equal to u?
False
Let h be 6/(-24) + 45/(-12). Let r be (115/20 - 6) + (-1)/h. Suppose r = -10*a + 23 - 3. Which is greater: a or -3?
a
Suppose 140*v + 46846 - 4410 = -12024. Is v equal to -403?
False
Let p = -49881/349216 + -1/49888. Which is greater: 10/3 or p?
10/3
Suppose 6*q - 2*q + 28 = 0. Let d(k) = -k**2 - 10*k - 15. Let i be d(q). Let v be (-4)/(-2) + (4 + 0 - 1). Are i and v non-equal?
True
Let s be (-2)/(-21)*(2 - -1). Let c = 4824.8835 - 4827. Let r = c + -0.0835. Which is greater: s or r?
s
Let l = 222 - 420. Let u = l + 468. Suppose -2*p = -20*p + u. Which is smaller: 4 or p?
4
Suppose -23 = 3*t - 11. Let w be (-45)/36*57*t/(-90). Suppose -5*l - 36 + 21 = 0. Which is smaller: w or l?
w
Let c = 3 + 6.4. Let w = -9.2 + c. Is w at most as big as 2/7?
True
Let p(r) = 6*r + 99. Let b be p(-17). Let d(h) = -h**3 - 9*h**2 - 9*h - 11. Let n(l) = -6*l + 4. Let c be n(2). Let v be d(c). Is b >= v?
True
Let a be 226270/44 + (4/(-6))/((-5)/30). Which is smaller: a or 5148?
a
Let y = 622.69 + -44.69. Are y and 1.4 unequal?
True
Let k(i) = 2*i**3 + 42*i**2 + 2. Let x be k(-21). Let q be (1/x)/(44/(-418)). Which is greater: q or -6?
q
Suppose -7