**2 - a - 7. Suppose 0 = 4*r + r. Let t be l(r). Let q = t + 7. Which is bigger: q or -7?
q
Let s(y) = -y**2 - 16*y - 3. Let m be s(-16). Let i be 12/(-36) - 67/m. Let q = i + -23. Is -10/7 at most q?
True
Let r be 1 - 1 - (-6)/5. Let b(t) = -3*t**2 - 6*t + 0*t**2 + 2*t**2 + 2 + 11*t. Let i be b(5). Is r at least as big as i?
False
Let n = -1086 + 1098. Is 17 less than or equal to n?
False
Let x = -974 + 975. Is 4/135 greater than or equal to x?
False
Let u(j) = -2*j + 35. Let c be u(18). Which is bigger: c or 10?
10
Let z = 281/3 + -397. Which is greater: z or -303?
-303
Let k be (1 + (-22)/28)/(126/68754). Let u = k - 117. Which is smaller: -2/7 or u?
-2/7
Let p = 6.14 + -6. Let m = 7485.1 - 7485. Which is bigger: p or m?
p
Let w = 38 + -34. Suppose -3*s + 8 = 2*k, w*k + s - 1 - 5 = 0. Which is greater: 6/11 or k?
k
Let g = 1585/18 + -88. Let f = 1/9 + g. Suppose 0 = 10*i + 10*i. Is f at most i?
False
Suppose 2*j - 35 = -d + 29, -j = 2*d - 26. Let h = 0.16 - 1.16. Which is greater: h or j?
j
Let g = 1332 + -1323. Let d be 1/3 - (-66)/18. Are g and d non-equal?
True
Let r be (2*-4)/4 + 12. Let t be ((-2)/(-24))/(r/30). Do 1 and t have the same value?
False
Let f = -20/37 + 334/481. Let o be -5 + 3 + ((-100)/9)/(-5). Is f at most as big as o?
True
Let i(b) = b**3 + 9*b**2 - 2*b - 24. Let a be i(-9). Is -16/3 greater than a?
True
Let c = 626395021/632115 + 190/42141. Let h = 991 - c. Is h smaller than -1?
False
Let h = -36/13 + 111/26. Which is smaller: 3 or h?
h
Let g be 3/((-20)/8 + 1). Let w(u) = 20*u - 2. Let v be w(g). Which is smaller: -43 or v?
-43
Suppose 3 = 5*w - 2. Suppose 3*s + 5 = -w. Let b be 26/(-24) - s/2. Which is smaller: b or -1?
-1
Let y(g) = g**3 + 5*g**2 - 14*g - 10. Let p be y(-5). Do 58 and p have different values?
True
Let u = -841 - -841.239. Which is smaller: 1/3 or u?
u
Suppose t + 1402 = 4*p, 4*p - 7*t = -5*t + 1404. Is p > 350?
False
Let r = -54 + 49.3. Let h = -4.83 - r. Is -0.1 equal to h?
False
Let c = 77 + -76.7. Let g = 0.2 - 0.4. Let q = c + g. Which is smaller: 14 or q?
q
Let i be 2 + (-5)/(35/22). Let o(x) = 2*x - 2. Let d be o(6). Let p = d - 11. Is p greater than i?
True
Let t(i) = 4*i + 3. Let j be t(-2). Let y = 4 + j. Let u be (9/(-6))/(y/(-2)). Which is greater: -8/5 or u?
-8/5
Let t = -1398/5 - -1449/5. Let o = -107/10 + t. Is -53 less than or equal to o?
True
Let u(b) = -b + 8. Let f be 4 - (-4)/4 - -4. Let g be u(f). Let d be -1 + g + 45/20. Is 0.1 <= d?
True
Let b = 26 - 25.9. Is -4/5 at most b?
True
Let m = -78 + 77. Let z be 2/106*10/2. Is m at least as big as z?
False
Let q(k) = -25*k + 195. Let d be q(10). Are -55 and d non-equal?
False
Let p = 5/246 - 2207/3690. Is p > -2?
True
Let x = 0.2 + -1.2. Let l = x - 0. Let f be (10/(-4))/((275/20)/(-11)). Which is bigger: l or f?
f
Let q(b) = -2*b**2 + 14*b - 10. Let m be q(6). Let x be 122/40 + (-6)/24. Is x greater than m?
True
Suppose 18*l = 14*l - 192. Which is greater: -140/3 or l?
-140/3
Let n be (-6 + 5)*5/1. Let q be (2 - (n + -1))/1. Which is greater: 9 or q?
9
Let y = 8989/7634 + 3/694. Does 1 = y?
False
Suppose 0 = 2*h + 155 + 19. Let o be -2*(1 + 0) + h. Let b = o - -621/7. Which is greater: -1 or b?
b
Let d = -181 - -194. Are 12 and d non-equal?
True
Suppose -3*q + 14 = -t, -5*t + 4 = -3*q + 2. Suppose -2*y - 2*y + 48 = 0. Let x = y - 6. Is q at most x?
True
Suppose 5*p + 4*d = 428, -44*p + 47*p - 4*d = 244. Let y(m) = -83*m + 1. Let k be y(-1). Is p greater than k?
False
Suppose 74 - 266 = 4*k. Is k at most as big as -52?
False
Let g = 97/3 - 71/3. Let l = g + -8. Which is smaller: 2 or l?
l
Let p = -1.3 + 0.3. Let l = -37 + 34.99. Let q = 0.99 - l. Is q bigger than p?
True
Let j = 190566/23 - 8284. Which is smaller: j or 0?
0
Let c(t) = 3*t - 32. Let v be c(11). Let x = -6 - -2. Let o be (-2)/14*(-6)/x. Do o and v have the same value?
False
Let u = -129 + 131. Let p(l) = -l - 7. Let w be p(-2). Is w bigger than u?
False
Suppose -27 = -11*o + 50. Suppose 11*n = -o - 4. Let c be 1 - 1*(-9)/(-13). Which is greater: n or c?
c
Let j = -6570 + 26047/4. Is j < -57?
True
Let m = 6053/2 - 3093. Let o = 71 + m. Which is greater: o or 5?
5
Suppose -3*t + 2*t = -2. Suppose m - t = 3*x - 2*x, -2 = x. Which is bigger: m or 1/15?
1/15
Suppose 24 = 5*q - 3*s, 0 = -3*q + 3*s - 5*s + 3. Suppose -q*a = -2*a. Suppose -5*i + 4*i = a. Do i and 0 have different values?
False
Suppose -4*b = 3*n - 3, -3*n = -2*b + 17 - 2. Suppose -2*r + 1 = 3*t, 4*t - 3*r = -7*r. Do n and t have the same value?
False
Let l be (3/36)/((-8)/(-8672)). Which is bigger: 0 or l?
l
Let m = 386842/63 - 43558/7. Which is smaller: m or -83?
-83
Let z = -3451/114 - -181/6. Which is greater: 24 or z?
24
Let g be 6/27 - (2 + (-1077)/135). Let y = g - 119/20. Is -2 < y?
True
Suppose 4*a - 576 = 3*k, 3*k - 747 = 5*a - 10*a. Suppose 10*m - 3 = a. Which is smaller: 16 or m?
m
Let m = 2.623 - -0.377. Which is smaller: m or 6?
m
Let z = -119 - -409. Which is smaller: 287 or z?
287
Let s be 5076/240 - (-6)/8. Let c = s - 4341/190. Let y = 88/133 + c. Are y and 10 non-equal?
True
Suppose -q - 9 = -5*u + 20, 2*q = -2*u + 2. Suppose -2*j + 2 = -6, -u*z - j - 11 = 0. Suppose 40 = -5*n + 15. Which is smaller: n or z?
n
Let d = 4 + -6. Let u(q) = 31*q - 139. Let w be u(4). Which is greater: d or w?
d
Suppose -4*s - 4*g = -5*g + 117, -5*g = 5*s + 140. Do s and -29 have different values?
False
Let h = -18.943 + 19. Let m = h - 0.02. Are m and 0 equal?
False
Suppose 0 = -254*a + 242*a. Is -19/25 > a?
False
Suppose -4*x - 3315 = -17*x. Which is greater: x or 254?
x
Let x = 2/3051 - -140324/33561. Which is bigger: -0.1 or x?
x
Let j(v) = 0*v - 8*v - 4 + 0*v + 7*v. Let k be j(-3). Which is greater: 1/59 or k?
1/59
Suppose 0 = -15*k + 239 + 226. Let d = k + -124. Is d >= -92?
False
Let q = -2 + -30. Let c be (-1 + -1)*48/q. Let y(g) = g**3 + 6*g**2 + g + 7. Let x be y(-6). Which is greater: x or c?
c
Suppose -h - 3*h - 8 = 0. Let a be h/(-5) - 8/20. Is a greater than or equal to 5/8?
False
Let t(q) = -23*q - 31. Let w(a) = 11*a + 16. Let b(u) = 3*t(u) + 5*w(u). Let j be b(3). Is -56 at least j?
False
Suppose -372 = -138*c + 132*c. Let h be 10/((-160)/(-12)) - c/8. Is -10 less than h?
True
Let q be 1 - 2/(-2)*0. Let t = 18 - 12.6. Let g = t - 5.8. Is q less than g?
False
Let x = -1 + 2. Let r = 21 + 3. Let y = 25 - r. Is x smaller than y?
False
Let f = -11 - -11.3. Suppose 0 = 2*m - 2*k + 3*k, 0 = -4*k - 16. Let g be (1/(0 - m))/(-1). Which is bigger: f or g?
g
Let c be 25 - 0 - (19 - 12). Which is smaller: c or 69/4?
69/4
Let a = -1.85 - 0.05. Let u = -85 + 86.4. Let f = u + a. Which is smaller: f or 0.2?
f
Suppose -2*z = -3 - 7. Let c be z*1/(2 + -1). Suppose -c*r - 9 = -4*r. Is -7 <= r?
False
Let m = 158 + -71. Let r = m - 68. Is 1/4 at least r?
False
Let r(p) = -p**2 - 7*p - 7. Let j be r(-4). Suppose 4*f + 2*i - 2 = -0*i, 0 = j*f - 2*i + 20. Let q(k) = k**3 - 6*k**2 - 2. Let o be q(6). Is o at least f?
True
Suppose -2 - 3 = -m. Which is bigger: 7 or m?
7
Let n = 129 - 129. Which is bigger: 2/863 or n?
2/863
Suppose -c - c = -3*c. Suppose c = -3*f - 4 + 28. Let p = -7 - -12. Do p and f have different values?
True
Suppose 4*w + 18 + 4 = 2*n, -5*n + 25 = -4*w. Let x = n + 5. Let a be (-2)/6 - x/(-18). Is a greater than -4/9?
True
Let a be (-1 - 30) + 5 + -4. Let w = a + 14. Let r be (-7)/5 - w/40. Is 2 bigger than r?
True
Let h = 2 + -5. Let f be 0 + ((-1716)/(-5) - -3*1). Let l = -348 + f. Do l and h have different values?
True
Let x(h) = 20 - 31 + 4*h + 0*h + h**2. Let g be x(-9). Do 33 and g have different values?
True
Let i be (36/(-14))/((-9)/42). Let o = i - 8. Suppose u + o*u = 0. Are u and 1/13 unequal?
True
Let t = -1.8 + -0.2. Let m = -46.23 - -46. Let d = m + 0.53. Which is greater: d or t?
d
Let y = 1 - -3. Suppose 7 = o + b - 6, 0 = 5*b + 25. Let p be (1/((-3)/o))/(-3). Does p = y?
False
Let h(p) = -p**3 + 4*p**2 - 4*p + 5. Suppose 5*j + 0 = 20. Let u be h(j). Let b = 10 + u. Are 0 and b unequal?
True
Let q(x) = 3*x**3 - 3*x**3 + x + 8*x**2 - 6 - x**3. Let h be q(8). Suppose -5*u + 21 = h*k, 0 = -2*u + k + 13 - 1. Which is bigger: u or 4?
u
Let s = -13 + 36.1. Let r = -23 + s. Is r at least as big as 1?
False
Let w = -105 - -104. Is -3 > w?
False
Let z(v) = 8*v + 1. Let b be z(2). Let n = 