)/3). Let r be 3/((-135)/u) + 32/(-40). Is 0 at most as big as r?
True
Suppose -32 = -3*w - 5*w. Suppose -2*d = 3*q - 115, -w*d + 195 = q - 2*q. Is 49 > d?
False
Let a(b) = -b**3 - 7*b**2 - 12*b + 8. Let p be a(-7). Is 92 <= p?
True
Let m = -13 + 16. Suppose 5*o = m*o. Let h = 24 + -73/3. Which is smaller: o or h?
h
Let r be 315 - (-2 - -3)*-2. Let t = r + -6021/19. Suppose -4*z + 5*o = -z - 20, 4*o = -16. Is t != z?
True
Let q(j) = -j**3 - 4*j**2 + 2*j + 3. Let p be q(-4). Let l = -2 + 9. Let c(n) = n**2 - 7*n - 4. Let a be c(l). Is a at least p?
True
Let j be (5 - -1)*(-3)/(-6). Suppose -2 = -j*s + 7. Suppose -3 + 6 = s*h. Is h > 4?
False
Let z be 4/(-30)*2/(-8)*-35. Is 12 smaller than z?
False
Let l be (12/(-3))/((-2)/19). Let i = -551 - -590. Which is smaller: l or i?
l
Let t = -7 + -370. Which is bigger: -378 or t?
t
Let o = 4851/5 - 3502/5. Let k = 12221/45 - o. Is k not equal to 1?
True
Let o be (-4)/250*5/3. Let c(u) = u**3 - 48*u**2 - 214*u + 311. Let p be c(52). Which is bigger: o or p?
o
Suppose 0*q + 15 = 5*q. Let r(b) = 2*b**2 - 12*b + 14. Let l be r(3). Let z be ((-21)/(-14))/((-6)/l). Which is greater: z or q?
q
Let r = -3 + 36. Suppose -3 + r = 3*a. Let c = -15 + a. Is c at least -3?
False
Let b(d) = d + 2. Let n be b(2). Suppose -4 = 5*m - 6*m. Is n bigger than m?
False
Suppose -2*c + j - 47 = 2*j, -4*j + 20 = 0. Let s be 13/c - 10/(-4). Which is greater: s or -4?
s
Let u = 218 + -273. Let g be (15/(-18) + 1)*-4. Do u and g have the same value?
False
Let k be 4/14*(-12 - 1610/(-130)). Which is smaller: -1 or k?
-1
Let f be (-299)/(-1545) + 4/10. Let z = 2/5737 + 10856/1772733. Let o = z + f. Do o and 0 have different values?
True
Suppose 2*m - 13 - 11 = -2*n, -3*n = -4*m - 15. Is n <= 9?
True
Let l = 2158/55 + -198/5. Let o = -1 + 0. Is o less than l?
True
Let s = -16 - -15.89. Let y = 0.227 + -1.337. Let c = s - y. Is c greater than or equal to -0.2?
True
Let g = -45 - -13. Let n = 32.1 + g. Which is smaller: 22 or n?
n
Suppose 2*n = -2*l + 18, -4*l = 4*n + l - 36. Let q = n + -15. Let y be (-12)/9*(-1)/q. Is -1 smaller than y?
True
Let q be (-5)/(-2 - (-14)/6). Let g = -124 - -123. Which is bigger: g or q?
g
Let k be (-2)/7 - 120/(-371). Let m = 779 + -778. Which is bigger: k or m?
m
Let b(l) = -l**3 - 43*l**2 - 9*l - 392. Let v be b(-43). Let a be (0 - 2 - -2) + 3. Suppose 3*c + 20 = -4*x, -x - a*x - 20 = -3*c. Are v and x equal?
True
Suppose -7*c + 3 - 10 = 0. Which is smaller: -1/130 or c?
c
Suppose 2*x - 162 = -4*x. Is x != 28?
True
Suppose 22*o + 476 = 498. Which is smaller: o or 6/325?
6/325
Let k be -8 - 1036/(-136) - 16/136. Let j be (-1)/(-2) + (-203)/90. Let b = j + 14/9. Is k > b?
False
Let f be (-13 + (-597)/(-45))/((-3628)/6). Is 1 smaller than f?
False
Let i(q) = q**2 + 22*q - 72. Let t be i(-25). Do 32/19 and t have different values?
True
Suppose -5*g + 70 = 5. Suppose -3*a + 5*a = 0. Let t be (a - -9)/((-6)/(-8)). Is t >= g?
False
Suppose 5*g + 28 + 27 = 0. Suppose 0 = -3*m - 22 - 11. Is g less than or equal to m?
True
Suppose -4*h = -4*z - 37 + 5, -4*z = 16. Let w = 203 - 87. Let p = w - 114. Are p and h nonequal?
True
Let o = 57 - 30. Let r = o - 27.2. Which is greater: 2/3 or r?
2/3
Let x = -23.485 + 3.495. Let o = x + 20. Let y = 0.46 - 0.46. Which is greater: y or o?
o
Let l be (1/3)/(2/(-558)). Let a = l - -94. Which is smaller: 14/9 or a?
a
Let i = -9874 - -7869576/797. Which is bigger: -1/2 or i?
i
Let t(j) be the second derivative of 1/2*j**2 + 1/6*j**3 + 7*j + 0. Let w be t(-8). Which is smaller: 1/2 or w?
w
Let h = 4690 - 4701. Let t be (-50)/4 - 1/(-2). Is h != t?
True
Let x = 26901 - 134511/5. Let j = 2 - 3. Does x = j?
False
Suppose 3*n - 21 + 6 = 0. Let r be (12/(-4) - 0)*n. Let q be 9/r - 23/(-5). Do 2 and q have different values?
True
Let v = 83 - 167. Let r = v + 83. Which is greater: 5.3 or r?
5.3
Suppose 2*c + 180 - 11 = 3*m, 5*m - 74 = c. Is c less than or equal to -175/2?
True
Let b(r) = 12*r**2 - 2*r + 6. Let j be b(-3). Let z be (j/(-16))/(6/(-8)). Which is greater: 9 or z?
z
Let y(z) = z**3 - 9*z**2 + 7*z + 8. Let c be y(8). Let k be (1/44)/((-102)/(-48)). Which is bigger: k or c?
k
Let q = 31 - 35.4. Let n = q + 1.4. Is n less than 3?
True
Let m = -19 - -25. Suppose -m*a = -5*a. Suppose -o + 8 = -5*k - a*o, -3*k = o. Is -1/3 equal to k?
False
Let c be (-1324)/(-10) + 0/(-3). Let w be ((-116)/(-87))/((-1)/(-99)). Let q = c - w. Which is greater: q or 1.9?
1.9
Let i = 1775 - 1782. Which is greater: 21 or i?
21
Suppose 2*w - 3*z = 21, w + 3 = 4*w + 5*z. Suppose -j - 18 = 3*y - w*j, -3*y + 12 = 5*j. Which is bigger: y or -18?
y
Let b(z) = 2*z**2 - 17*z + 8. Let i be b(8). Suppose 2*g + 2*g + 20 = i. Which is smaller: -26/7 or g?
g
Let v be 28/6 + 5/15. Suppose -5*u + 3*u = v*u. Which is greater: 2 or u?
2
Suppose -6*s - k = -10*s + 499, -k = 3*s - 376. Is s greater than 495/4?
True
Let g(k) = -k**3 + 9*k**2 - 5*k + 46. Let x be g(9). Does 1/5 = x?
False
Let f = -7 - -7. Suppose -2 = -l - f. Suppose -5 = 3*p - l. Which is greater: p or -2?
p
Let b = -5/4 - -191/140. Let s be -3*(-1 - (44/(-12) - -3)). Which is greater: s or b?
s
Let f = -216 - -241. Is 22 <= f?
True
Let t = -4.5 - -0.5. Let q = -2 - t. Let v = -28 + 28. Are v and q non-equal?
True
Suppose -5*s = 4*n + 17, n + 3*n - 2*s = 18. Let y = -936 + 927. Which is greater: n or y?
n
Suppose 0*q = -4*q + 56. Let t be ((-24)/q)/(2/(-14)). Suppose -4*d - t = 3*s + 2*s, 5*d + s - 6 = 0. Which is greater: d or 3?
3
Let o be ((-40)/(-5))/(4/2). Let h be (-130)/(-95) - o - -2. Let a = 127/171 + h. Are -1 and a equal?
False
Let v be 7/(84/59032)*(-3)/11. Let d = -1343 - v. Which is smaller: d or -1?
d
Let t = 17395/12 - 1447. Is t smaller than 2?
False
Let h(k) = k**2 - 2*k + 2. Let p be h(3). Let q be 1/1 - (-26 + 26). Suppose q = p*l - 19. Which is greater: 3 or l?
l
Let i(w) = -w**2 - 29*w - 54. Let a be i(-11). Which is smaller: 142 or a?
142
Let a(i) = i**2 + 7*i - 9. Let l be a(-7). Let t(s) = s**2 + 7*s - 1. Let w be t(-6). Which is bigger: l or w?
w
Suppose -70 + 1620 = 25*s. Is 63 smaller than s?
False
Suppose 11*q = 35 + 9. Suppose 0 = -2*g + 1 + 3, g - 2 = -t. Suppose 4*m + q - 40 = t. Is m smaller than 10?
True
Let m(y) = -9 - 5*y + 19 - 9 + 4*y**2 + y**3. Let x be m(-5). Is x greater than -2?
True
Let c = -4.07 - -0.07. Let w = -3.043 + 0.043. Let b = c - w. Which is smaller: b or 8?
b
Let c(t) = t + 1. Let g be c(4). Let s be (3/6)/(1/26). Suppose -g*n = -2*z - s, 5*z + n = 2*n + 2. Is 2/3 smaller than z?
True
Let i be (8 + -17 - -7) + 43/21. Is -3 equal to i?
False
Let f be (-2)/(-2)*(-2 + 0). Let v(a) = -a**3 - 2*a**2 + 12*a - 1. Let y be v(3). Let z be (-3)/(-90) - f/y. Which is greater: z or -1?
z
Suppose 0 = 2*a - 3*o + 27, 0*a = -2*a - 5*o - 19. Let g be (-3)/4 - 21/a. Let d = -30/41 + 728/1107. Which is bigger: d or g?
g
Let s be 4*7*2/280*-2. Let b = 3 + 7. Which is smaller: b or s?
s
Let m(y) = -1. Let b(t) = -t - 3. Let f(c) = 3*b(c) - 15*m(c). Let w be f(0). Let g(q) = 4*q - 21. Let s be g(w). Which is greater: 2 or s?
s
Let f(m) = 7*m - 21. Let r be f(0). Let t be 24/r + -2 + (-7 - -10). Is t < 0?
True
Let h be 25237/3069 - 8 - 10/45. Do 1 and h have the same value?
False
Let j = 8 - -4. Suppose -2*r + 6 = -b, 0*b + j = -b + 4*r. Is 1 > b?
True
Let m = -3523/7 - -503. Is 5/84 <= m?
False
Let z = 313 + -312.88. Let n = 1.4 - -0.6. Let b = n - 2.1. Which is greater: b or z?
z
Suppose 0 = -b - 1, -3*c + 2*b + 41 = -3*b. Let h = 17 - c. Let l be -1 + h - 44/4. Do -7 and l have different values?
False
Let l(y) = 48*y**2 - 6 - y**3 + 10*y - 3*y - 55*y**2. Let a be l(-8). Suppose -4*m + 4*c = -36, m + 0*m = -c - 1. Is m greater than a?
True
Let u = -314/5 - -1257/20. Let y(s) = -s**3 + 5*s**2 + 6*s. Let t be y(6). Suppose 2*j = -t*j. Which is greater: u or j?
u
Suppose 6*n - 898 = -934. Is -7 less than n?
True
Suppose 88*w + 7*w = 0. Is -10/161 >= w?
False
Let x = -42 + 82. Suppose -4*j + 2 = -0*i + 2*i, -5*i - j = x. Let c = -14 - i. Which is smaller: -4 or c?
c
Let f be 12/484*(-4)/4. Is f equal to 1?
False
Suppose -53*y + 180 = -2735. Is -1 at least y?
False
Suppose -4*c + 2*u + 3*u = 404, 3*c = 4*u - 303. Let k = -101 - c. Which is smaller: -10/17 or k?
-10/17
Let n = 27.25 + -0.25. Let d = n + -28. Let l = 3.8 -