= -80 + 43. Which is smaller: t or o?
t
Let v(y) = 6*y + 9. Let g be v(2). Let h be 2 - ((-30)/g - -4). Let u be -2*(-1 - 6/(-4)). Is h bigger than u?
True
Let j = -29.34 - -0.34. Let g = j - -25. Let d = -19 - -56/3. Is d smaller than g?
False
Suppose 622*v - 1 = 621*v. Is 19/13 <= v?
False
Let k(r) = r**2 + 2*r. Let f be 3 + (-5)/(5 - 4). Let q be k(f). Suppose -c + 5*d - 11 = q, 0 = -0*c - c - d - 5. Which is bigger: -8 or c?
c
Let l be (48/72)/(2/27). Let b = 1 + -1. Is l less than or equal to b?
False
Let j be (-190)/195 - 4/(-6). Let i(o) = -o**3 - 8*o**2 - 16*o. Let s be i(-4). Is j not equal to s?
True
Let i be 20/858*((-6)/(-12) - 0). Let x = i - -7637/7293. Is 0 at most x?
True
Let p = 207 + -206. Which is bigger: 6/157 or p?
p
Let b = -0.053 - 30.947. Let z = -17 - b. Let n = -16 + z. Is n greater than 2?
False
Let n = 45 + -42. Suppose 3*g + 2*l - 1 = n*l, 12 = 4*g - 4*l. Do g and 6/17 have the same value?
False
Let s be 22*(0 - 4)/4. Let a = s - -6. Let u be a/(-44)*(-1)/(-2). Which is greater: -1/8 or u?
u
Let u = 9103/4 + -2313. Which is smaller: -37 or u?
u
Suppose 4*r - 52 = -0*r. Suppose 0*o + o = r. Let l(w) = w**2 + 53*w + 643. Let f be l(-35). Is o < f?
False
Let d = 35 - 29. Let l be (-2)/d*(1 - 4). Which is bigger: l or -3/13?
l
Suppose -142 = -2*s - 2*o, 2*o + 230 = 5*s - 160. Let i = -58 + s. Which is smaller: 20 or i?
i
Suppose 4*q - 2*q + 2*b - 2 = 0, 4*q = -2*b - 4. Let t be (-2 - 18)/(6/q). Let i = 11 - t. Do 4 and i have the same value?
False
Let i be -2 + 0 + 0 - 28/(-7). Suppose 0 = -6*u - 1 + 1. Are u and i equal?
False
Let a = 68 + 29. Let p = a + -96.56. Is -1/3 at least as big as p?
False
Suppose 4*s + c = -21, -4*s + 2*s - 18 = -2*c. Let h be -1 + (7 - (s - -3)). Suppose 0 = -3*o + h, -o + 7 = -2*k + 2*o. Do -7/4 and k have the same value?
False
Let p be (3 + (-495)/143)/(-59 - -1). Which is bigger: p or 1?
1
Let b = 926 - 1178. Is b at least -251?
False
Let x be 6/(-12)*(10 + 0). Let n = 7 + x. Let v be 2/(-14) - (1 - 2). Is n <= v?
False
Let w(k) = -k**3 - 7*k**2 + 37*k - 1. Let l be w(5). Which is smaller: -117 or l?
-117
Let s be 3/(-12) - (-464)/(-192). Let m = -12.1 - -14. Let q = m + -2. Is s bigger than q?
False
Let o be (-6)/(-2) + (0 - 10). Let p = 5/51 + 2663/408. Let f = p + o. Which is greater: f or 0?
0
Let g be 7/5 + (-2)/5. Let m = 35 - 32. Is m > g?
True
Suppose -2244*f = -2240*f. Let k = 0.62 - 0.02. Let z = 0.64 - k. Which is smaller: f or z?
f
Let f = 91.94 - -0.06. Let z = f - 117. Which is smaller: z or 0.1?
z
Let c = 277 - 280. Which is smaller: c or -5/2?
c
Let a be (-3 + 36/15)*-30. Suppose 0 = 4*m - 2*m + 5*z - a, -5*m = -4*z + 21. Which is greater: -1/3 or m?
-1/3
Let v = -988/51 - -56/3. Let y be 12/(-56)*(-4)/(-3). Is v >= y?
False
Let l = 593 + -594. Which is bigger: l or -73/6?
l
Let p(n) = 2*n + 18. Let h be p(-7). Suppose -3*l = -h*r - 7*l - 12, 4*r + 18 = 2*l. Which is bigger: -0.4 or r?
-0.4
Suppose m + 90 = -0*m. Let d be 54/m - 146/90. Let f = d - -167/63. Which is bigger: f or -1?
f
Let f(y) = 7*y**2 - 5*y - 4. Let i be f(6). Let p be i/18*(1 + -3). Let u = 24 + p. Is u < 1?
True
Let m = -50 - -16. Let c = -34.8 - m. Let q = -4/11 + 19/22. Which is smaller: q or c?
c
Suppose -n - 1 = -i - 0*n, 7 = -5*i - n. Suppose 3*q = -3, -z + q = -2*q - 12. Suppose z*s + 10 = 4*s. Which is smaller: i or s?
s
Let f = 206 - 98. Suppose 0 = -2*i - f - 18. Let v = i - -43. Is v less than -20?
False
Let f = 7 - 4. Let g be (-22)/(f + -5) + -3. Suppose -5*z - g = -3. Is z equal to 1?
False
Suppose -2*o - 5*o - 7 = 0. Let s = -302160/143 + 2113. Which is smaller: s or o?
o
Let k(o) = o - 10. Let w be k(15). Let n = 13 + w. Which is bigger: 17 or n?
n
Let i = 1073 - 1073. Is i less than 106/3?
True
Let t(i) = -2 - 4*i**2 - i**3 - 5*i**2 + 5 + 11 + 11*i. Let x be t(-10). Suppose p + 7 = -3*q - x*p, 3*p = -6. Which is bigger: q or 1/24?
q
Suppose 3*y - 20 = -4*q - y, 0 = y - 5. Suppose -4*w + 5*w + 2 = q. Does -2 = w?
True
Suppose 2*g - 4*s + 3444 = 0, 3*g - 86*s + 5133 = -91*s. Which is smaller: g or -1715?
g
Let r = -196.26 - -196. Is r greater than or equal to 0.1?
False
Let z(d) = -2*d**3 + 11*d**2 - 3*d - 10. Let q be (-462)/(-98) - (-4)/14. Let p be z(q). Which is smaller: p or -0.4?
-0.4
Let k be 2 + (-4 + (1 - -2))*5. Is -3 greater than k?
False
Suppose 5*t - 15 = -3*k + 2*t, 0 = -3*k + 5*t - 17. Let u = -1 + k. Let l be 2/(-7) + (-432)/(-140) + -2. Is l <= u?
False
Let r be (-1818)/(-505)*5/2. Which is greater: r or 51/5?
51/5
Let a = 83 - 80. Suppose 2*s - 5 = -a*s. Which is smaller: 8/15 or s?
8/15
Let k be ((-12)/(-9))/(14/6). Suppose 3*u + 17 = -34. Let z = u + 19. Which is bigger: k or z?
z
Suppose x + 5*k = 15, -2*k - 3 = -7. Suppose -4*l = -g, -x*g = -7*g - 8. Is -2/7 at least as big as l?
True
Let h be (-95166)/(-1884) + 6/4. Let p = h + -52. Which is bigger: -1 or p?
p
Let k be 860/550 + 6/(-5). Suppose 2*d - 4*f + 24 = 0, 8*f - 25 = 3*f. Which is smaller: k or d?
d
Let l(w) = -w + 8. Let b be l(7). Which is bigger: -3/19 or b?
b
Suppose 0 = 3*a - 1 - 8. Suppose 14 = a*z - 70. Let i be (z/(-105))/((-2)/(-10)). Is i at most 0?
True
Let a = -61 - -81. Suppose 4*g = -3*s - 2*s + 29, -2*g = -4*s + 18. Suppose -o = -g - 18. Do o and a have different values?
True
Let j = 2340 - 2338. Is 18/23 < j?
True
Let v = 12.091 + 0.909. Which is smaller: 1.2 or v?
1.2
Let f(p) = p**2 + 7*p. Let v be f(-7). Suppose v = -3*c + 3*l, 5*c - 7 = -2*l - 0*l. Suppose -4*z - k + 3 = 0, k + 3*k = -3*z - 14. Is c != z?
True
Let j = 311 - 310.83. Let h = -652/5 + 130. Is h less than j?
True
Let s = -7.95 - -49.05. Let r = s - 43. Let a = r + 2.1. Which is smaller: 4 or a?
a
Suppose 0 = -2*a - 2*a + 48. Suppose 0 = 4*r + a, -3*f - f = -2*r + 6. Let w be (1/(-1))/((-4)/(-26) - 704/(-832)). Which is greater: w or f?
w
Let z be (-36)/(-8) - (-1)/(-2). Suppose 2*n + 2*i + 10 = 3*i, -z*n - 16 = -i. Let a = n + 6. Which is bigger: -0.2 or a?
a
Let t = 0.488 - 0.188. Which is greater: -71 or t?
t
Let d = 566 - 565. Which is bigger: d or -660?
d
Suppose -3*t = -10 + 313. Does -100 = t?
False
Suppose -25*i - 37 + 37 = 0. Is i smaller than 6/1855?
True
Let b = -15 - -9. Let s(y) = 9. Let d(h) = h + 8. Let z(i) = -2*d(i) + 3*s(i). Let u be z(8). Which is smaller: b or u?
b
Let b = -395/5978046 - 7/4674. Which is smaller: b or 1?
b
Let m(d) = d + 10. Let x = -30 - -16. Let v be m(x). Which is smaller: v or -5?
-5
Let k be ((-1)/5)/((-2)/(-2)). Suppose v = -d - 0*v - 43, -15 = -3*v. Let r = 49 + d. Which is smaller: k or r?
k
Let i = -146 + 36. Are i and -110 equal?
True
Let m = -695 - -694. Do m and 2/261 have the same value?
False
Suppose 5*a + 3 = -q + 2*q, 15 = 3*a. Suppose 0*p + 2*p = q. Let f be 8 + -10 + 34/p. Is 1/3 bigger than f?
False
Let i be 8/9*26547/(-34). Let s = i + 694. Which is greater: 0 or s?
0
Suppose 2*v = 2*f - 54, -2 = 123*f - 124*f - 4*v. Are 156/7 and f unequal?
True
Let x(g) = g**2 - 14*g. Let i be x(14). Let f be (-11)/(-42) + (-10)/30. Do f and i have the same value?
False
Let d(h) = 27*h**2 + 5*h - 1. Let b be d(0). Which is bigger: b or -6/959?
-6/959
Let f = -6885/7 - -4936559/5019. Let g be (-109928)/(-1023876) + (-3)/((-27)/(-2)). Let y = g - f. Is y greater than 1?
False
Suppose 0 = 11*f - 3*f + 264. Let y = f + 35. Which is greater: y or 3/5?
y
Suppose 6 = -43*b + 37*b. Which is smaller: -11/17 or b?
b
Suppose -25*d + 7 = -24*d - 2*w, -d = 4*w + 17. Is 2/1251 smaller than d?
False
Let m be 13 + -2 + 12/(-2 - 1). Is m smaller than 2?
False
Let k = -905069843/120 - -7542342. Let o = -280/3 + k. Which is smaller: o or -1?
-1
Let w be (68/3)/(6/9). Let j = -31 + w. Is j at most as big as 3?
True
Let p = 40 + -42. Let a(k) = k**2 + 4*k + 5. Let g be a(p). Is 0 less than g?
True
Suppose 10*y = 12*y - 4*s - 26, 0 = 5*y + 5*s - 35. Is -8 smaller than y?
True
Let f = 1462/15 - 484/5. Let p = 0.4 - 1. Which is greater: f or p?
f
Suppose z = -0*s + s + 4, -4*z = -5*s - 16. Which is bigger: -5/12 or s?
s
Let a = 433 + -434. Is 5/13 equal to a?
False
Suppose -122*a = -5*c - 119*a - 258, c + 3*a + 66 = 0. Is -57 not equal to c?
True
Let d(t) = -t**3 + t**2 + t + 2. Let z be d(2). Suppose -4*g - 28 - 60 = z. Is -22 greater than g?
False
Let q = 87 - -3. Let c = q - 90.01. Is 2 greater than c