 175 = 2*x. Let b be 12/x - 2/5. Let f = -65 + 70. Which is bigger: b or f?
f
Let o = -517 - -6199/12. Let d be (4/6 - 1)*(-3 - 0). Is d bigger than o?
True
Let c(s) = s**2 - 2. Let o be c(0). Let u(a) = -a - 2. Let h be u(o). Let k = -1203 - -13239/11. Which is greater: h or k?
k
Suppose -10 = -3*w - 3*q + q, 0 = -2*w + 5*q + 13. Suppose 0 = t - w*d + 6, -5*t - 4*d + 4 = -38. Which is greater: 7 or t?
7
Let y = -160 + 88. Let a = -90 - y. Suppose -5*g = -2*g + 54. Is a at least g?
True
Suppose -5*u + 4*i = 529, 4*u - 3*i + 304 = -119. Which is smaller: u or -104?
u
Suppose 977 + 3083 = 7*v. Is v equal to 580?
True
Let l(g) = g**3 + g**2 - g - 1. Let d be l(0). Let h be (-2)/12*5342/(-5). Let k = -178 + h. Which is greater: d or k?
k
Let w(h) be the first derivative of -h**4/4 - 4*h**3/3 - 5*h**2/2 - 4. Let j be w(-4). Suppose 3*l - j = 4*k - 0, 5*k + 3*l = -25. Which is greater: k or -3?
-3
Let w = 26 + -10. Let v = w - 15. Which is bigger: v or 4?
4
Let t(n) = -n + 7. Suppose 3*l = 5*l + 5*l. Let m be t(l). Which is smaller: 6 or m?
6
Let l be (-6)/(-9) + (-10)/6. Suppose -21*p + 48 = -9*p. Suppose 2*m - 4 = -p*c, 4*m = -3*c - 0 + 3. Which is greater: c or l?
c
Let v = 5 - -3. Let i = 11 - v. Suppose i*f = 7*f + 4. Is -1 less than or equal to f?
True
Let k(i) = -2*i - 18. Let o = 145 + -158. Let a be k(o). Which is bigger: 54/7 or a?
a
Let c = 40 + -30. Suppose -2*i - w - 20 = -3*w, c = 2*w. Which is smaller: i or -1?
i
Let y be 831/334 - (-25)/(-10). Let t = y + 197/2505. Which is smaller: -2/3 or t?
-2/3
Let z be (-2 - 2)*(-143)/(-44). Is -109/9 at least z?
True
Let n(r) = -r + 1. Let g(v) = -v**3 - 5*v**2 - v. Let f be g(-5). Let u be n(f). Is u smaller than -4?
False
Suppose 0*c = -4*c + 8. Let z = 101 - 96. Is c at most as big as z?
True
Suppose -5*a = 4*y - 726 + 5511, 4*a = 3*y - 3797. Is a smaller than -954?
False
Let d(l) = -2*l**3 - 11*l**2 - 5*l + 3. Let n be d(-5). Is -0.129 < n?
True
Let p be (-2 - -7)/(6 + -5). Suppose -20 = p*s - 5*v, -5*s + 2*v = -v + 12. Which is smaller: s or 6/11?
s
Let u(s) = -5*s + 36. Let o(k) = -56*k + 396. Let y(x) = 3*o(x) - 32*u(x). Let a be y(9). Is -35 less than or equal to a?
False
Let u(b) = b**3 + 3*b**2 - 70*b - 39. Let d be u(7). Which is greater: 8 or d?
8
Suppose -5*b = -20 + 15, -4*b + 4 = -u. Which is greater: u or 8/75?
8/75
Let y be 7/(-28) - (-1)/4. Let a = -1.85 + -0.15. Let f = -10 - a. Which is bigger: y or f?
y
Let f(o) = o**2 - 11*o + 12. Let d be f(10). Suppose d*a + 3*a = 85. Let t = 7 - a. Does t = -12?
False
Let v(c) = 11*c + 13. Let x be v(-11). Let t be -1 + 116/x - -2. Suppose 0 = 2*y - 5*b - 17, -7 = -5*y - 5*b - 17. Which is smaller: y or t?
t
Let a = 3 - 2.9. Let r = 70.02 + -70. Let u = r - a. Which is greater: u or -1?
u
Let c = 176 + -181. Let v be -1*(1 - -1) - 0. Is v != c?
True
Let c = -22 + 18. Let q be -1*c/(-9) + 10/45. Which is bigger: q or -1?
q
Suppose -n = -3*n - 4*c + 6, 4*n + 4*c = 8. Which is bigger: n or -6/119?
n
Suppose -5*r + 0*j - j - 71 = 0, -5*j = 3*r + 47. Let q be ((-20)/(-25))/((-1)/(-5)). Suppose 2*y = -2, 19 = 3*f - q*f - 4*y. Which is smaller: f or r?
f
Let f = 220467/146 - 1510. Does f = -1?
False
Let x = 2861 + -2854. Let r = 2 - 2.04. Are r and x non-equal?
True
Suppose -3*x + 228 = -2*w, -5*x - 61 - 40 = w. Which is greater: w or -110?
-110
Let r = -2455 + 5029/2. Do 60 and r have different values?
True
Let s = 31 + -23. Let z(h) = -h**3 + 10*h**2 - 16*h. Let j be z(s). Let a = 424/5 - 84. Is j at most as big as a?
True
Let g be ((-12)/(-10))/(6/20). Let r be g/(12/9) - 4. Let i be (0 - 3) + (-13)/r. Does 9 = i?
False
Let k be (-35)/30*(-270)/9. Is 33 != k?
True
Suppose 3*y = 4*r - 6 + 2, 4*r + 4*y - 4 = 0. Let p be -3 - 2/(-8) - (r + 2). Which is smaller: p or 1?
p
Suppose 13 = 17*p - 4*p. Which is bigger: p or -1/33?
p
Let a(o) = -o**3 + 2*o**2 + 4*o + 1. Let d be a(3). Suppose -2*y - 64 = -d*z - y, 5*y = 0. Suppose -3*h + 4*h - z = 0. Do 17 and h have the same value?
False
Let i = 1/1369 + 2081/899433. Is 1 less than or equal to i?
False
Let a be 37/13 - 6/(-39). Let q be (-9)/27 + (-35)/a. Let m(s) = -s**3 + 2*s**2 - s + 1. Let g be m(3). Is q bigger than g?
False
Suppose 3*b = 4*o - 3*o - 16, -2*b = -2*o + 36. Let i(g) = g**3 + 9*g**2 - 11*g + 9. Let w be i(-10). Are o and w non-equal?
False
Let d be 2 - (-14)/(2 + -4). Let c = 70 + -74. Which is greater: c or d?
c
Suppose -10*k + 15*k - 3*u - 8 = 0, -36 = -5*k - 4*u. Is k < 62/15?
True
Let u(a) = 5*a**2 - 8*a - 9. Let q be u(11). Suppose 5*z + 2*k = -2*k - q, 0 = 4*k + 8. Let j = 1498/15 + z. Is j smaller than 0?
True
Suppose 0 = 2*u - 0*u. Suppose u = -4*w, -10 = 5*o + 3*w - 5. Let f = -2599/7 - -370. Which is greater: f or o?
o
Let q = -2795 - -1523. Let s be ((-24)/32)/(-1 - 1209/q). Which is smaller: s or 16?
s
Let i = -128 - -81. Let u = 28 + i. Let q = 19.1 + u. Which is smaller: 0.7 or q?
q
Let n = 25/49 + -9374/18277. Is 1 >= n?
True
Suppose -18*v = -12*v + 54. Let h be -10 - (-2 - (0 - 1)). Are h and v nonequal?
False
Let d be 11/(-4) + (-1)/(-4). Let u(r) = -4*r - 40. Let i be u(-9). Is d <= i?
False
Let o(j) = 2 - 62*j + 3 - j**2 + 59*j - 1. Let u(w) = 3*w - 1. Let n be u(-1). Let q be o(n). Which is smaller: 1 or q?
q
Let p be 9/(-2)*17/(-6528). Which is greater: p or 0?
p
Let k be 85921/20636 + (-3)/7. Let v = k + 1/67. Is v greater than or equal to 5?
False
Let w = 1251.13399 + -2.82399. Let i = w - 1262. Let q = i + -0.31. Which is greater: 1 or q?
1
Let o = -1935.2 + 1935. Let t = 45577/506 + 97/46. Let g = t + -92. Which is smaller: o or g?
o
Let m = 0.92 - -40.08. Let a = -40.2 + m. Are a and 1 equal?
False
Let t = 80 + -1357/17. Let i(r) = r**2 + 15*r + 49. Let q be i(-5). Is t <= q?
False
Let p = -22 - 3. Let u = -10 - p. Let l = u + -108/7. Is -1 at most as big as l?
True
Suppose -8*s + 0*s - 40 = 0. Let v be ((-19)/6 - 1/(-6)) + s. Which is smaller: -1 or v?
v
Let o = -7676/13 - -99065/208. Let s = 114 + o. Which is smaller: 1 or s?
s
Let j = -26 - -103/4. Let n = -106 + 104.97. Let i = -0.03 - n. Does j = i?
False
Suppose 0 = 4*t - 2*x - 576, -3*x + 572 + 4 = 4*t. Suppose 0 = 5*u + 86 + t. Is -46 greater than u?
False
Let a be 2*(-7 - 105/2). Which is smaller: -117 or a?
a
Let l be -1 - (-1 + -43)/4. Suppose -2*j = -3*o + l, -3*o + 2*j + 15 = 5*j. Let r be 6/o*(-286)/(-39). Is r equal to 11?
True
Let l = 563 - 604. Which is greater: l or -38?
-38
Let r = 523311 - 133444141/255. Let d = -2/85 - r. Is 0 at most as big as d?
False
Let r = 13 - 13. Suppose -52 = 4*x - r*x. Let i = x - -13. Which is greater: 3/14 or i?
3/14
Suppose -77 - 67 = -3*o. Let v = 3 + o. Which is greater: v or 52?
52
Let n(m) = 0*m - 2*m + m**2 - 2*m + 2*m - 10. Let q be n(-6). Let u be 34/q + -1 - 0. Is 1 at most u?
False
Let t be (-146)/(-4) - (1 + 1/(-2)). Let y(o) = -o**3 + 7*o**2 - o - 9. Let i be y(5). Is i <= t?
True
Let f(l) = -l**3 - 4*l**2 - 4*l - 4. Let c be f(-4). Suppose -w + c = 3*w. Suppose 11*n = -0*n + 55. Is w <= n?
True
Let l(d) = -d**2 - 16*d - 34. Suppose 2*n + n + 35 = -2*y, -45 = 2*n - 3*y. Let b be l(n). Is -20 less than or equal to b?
True
Let z(h) = -h**2 - h + 2. Let f be z(-2). Let d be -2 - (-3 + 2)*-3. Let m be (8/d + 2)*(-10)/(-84). Do f and m have different values?
True
Let l be 25368/(-19080) - (-8)/6. Is -1 greater than l?
False
Let x = -9.77 + 10. Let d = 0.33 - x. Let f = 7 + -20. Is f at most as big as d?
True
Let p = 151.701 - -0.299. Let j = p - 106. Let l = j + -33. Is 0 > l?
False
Let x be (5 - 0/1) + (-265)/50. Is x at most as big as 14/5?
True
Let q be -8 + (10 - 11) + 9. Which is bigger: -3/995 or q?
q
Suppose -5*m = 2*t - 1588 - 116, 4*m + 3*t = 1366. Is m <= 340?
True
Let c = 139/620 - -4/155. Is -55 > c?
False
Suppose 14*h + 1333 = 1319. Is -4/477 at most h?
False
Suppose -2*q + 4 = -q + u, -16 = 4*q - 4*u. Let g be 1/(-2)*q/(-7). Let n(t) = -t**3. Let w be n(g). Which is smaller: 2 or w?
w
Let u = -3.574 + -1.426. Which is smaller: -5/4 or u?
u
Let x(g) = g**2 - 5*g + 6. Let o be x(4). Let t be (20/(-20))/((18/(-31))/(-3)). Let f = 17/3 + t. Do o and f have the same value?
False
Let u = 0.3 - 1.3. Suppose -4*k - 13 = -9. Let o be (-2 - 27/(-12))/k*2. Is o not equal to u?
True
Let d = 2148846/13 + -165012. Suppose -14*m = 14*m + 7952. Let