= 1 + -1. Let d be (0 - 1)/((-2)/(-1272)*15). Let g = 206/5 + d. Which is smaller: c or g?
g
Let a be 130/18 - (102/(-27) - -4). Which is smaller: 70/9 or a?
a
Let m be ((-6)/17)/3 + 4200/28475. Let l = 5239/617673 + -160/1317. Let j = l - m. Which is smaller: j or 1/5?
j
Suppose 5*m = -21 - 54. Suppose r - 8*r - 91 = 0. Which is bigger: m or r?
r
Let p be 4 - (-120)/(-9)*-9. Which is smaller: p or 122?
122
Let f be 145/(-30) + 1/(-6). Let y = 2 - 7. Is y at least as big as f?
True
Let m(g) = 7*g**3 + 21*g**2 + 13*g - 8. Let l(v) = -11*v**3 - 32*v**2 - 19*v + 12. Let u(d) = -5*l(d) - 8*m(d). Let b be u(-6). Which is smaller: -15 or b?
-15
Let d = 2 + -1. Suppose -3*q - 12 = 6. Let h be q/15 - (-140)/225. Are d and h nonequal?
True
Suppose 4*l - 7 = 3*i - 8*i, 5 = -2*i + l. Is i less than 2?
True
Let m = 111 + -103. Let l = -4 - -10. Let x = 13 - l. Is m at least x?
True
Let w = -1.267 - -1.367. Are w and -3/121 nonequal?
True
Suppose 4*h = -2*d - d + 75, 0 = -h. Which is greater: d or 27?
27
Suppose 50 - 40 = -10*j. Do j and 3/136 have the same value?
False
Let l be 2*2/4 - -1. Suppose 0 = -l*a + a. Let f = -6503 + 6500. Is f bigger than a?
False
Let c(h) = 6*h**2 - 5*h + 51. Let z(x) = x**2 - x + 10. Let o(t) = 2*c(t) - 11*z(t). Let s be o(0). Let y(p) = -p - 9. Let r be y(s). Is -6/7 not equal to r?
True
Let r be (12/(-324))/(1/(-6)). Suppose 5*x - 17 = 8. Suppose -4*g = -x + 1. Is r not equal to g?
True
Suppose g = 5*u + 13, g - 8 + 3 = u. Suppose -4*s - k + 4 = 0, -4 = -3*s + g*k - 1. Which is smaller: -2/9 or s?
-2/9
Let c = 34 + -39. Let q be (-52)/(-5)*-3 - 1/c. Which is smaller: -32 or q?
-32
Suppose -2*s + 5 = -3*s + 5*v, 0 = -5*s + 4*v - 4. Which is bigger: s or -1/82?
s
Let y = 32 - 30.9. Let t = y + -1. Do t and -6 have the same value?
False
Let b = 41 + -74. Let n = -35 - b. Which is smaller: n or 0.08?
n
Let f be -5 - -23*14/63. Is 0 at most f?
True
Let y(x) = -4*x - 15. Let b be y(-5). Let j(g) = 4*g - 14. Let w be j(b). Let v = -10 + w. Is v at least -3?
False
Let y = -1 - 29. Let u = 89/3 + y. Let f = 6.13 - 6. Which is smaller: u or f?
u
Let x(h) = 2*h + 9. Let d be x(-4). Let p = 13 - d. Let f be (p/45)/((-18)/(-15)). Is f < -1?
False
Let z = -0.0624 - -343.0624. Which is greater: z or 1?
z
Let o be 66/88 + 143/(-4). Let r be o - 2 - (-3 - 1). Which is greater: r or -32?
-32
Suppose 3*j + 647 = -4*y, -3*y - 214 = -23*j + 24*j. Is -219 < j?
True
Let m be 214/(59/(-118) - (-25)/6). Which is smaller: 57 or m?
57
Let l = -5314 - -132868/25. Does 0 = l?
False
Let s be 0 + 0 + (-8)/10. Suppose 74*c = 54 + 20. Is c not equal to s?
True
Let x(u) = 6*u**2 - 9 + 6*u**2 - 23*u - 3*u**2 - 12*u**2. Let h be x(-7). Is 7 smaller than h?
False
Let l(p) = -p**3 + 5*p**2 - 4*p - 6. Suppose -4 = 3*w - 4*w. Let h be l(w). Is h <= -7?
False
Let j = -964.0518 - -964. Which is smaller: -1 or j?
-1
Let c = 1428 - 1428.15. Which is smaller: c or 9?
c
Let s(x) = -3*x - 8. Suppose -b = -2*d + 6, 5*b + d + 19 = -0*b. Let o be s(b). Suppose -o*l + 42 = -26. Which is smaller: l or 16?
16
Suppose 0 = 4*j + 5*p - p + 20, -j + 5*p = 5. Let l = 22 - 11. Suppose 0*n - 3*n = -4*g + 2, 5*n = -g - l. Is j >= g?
False
Let a(b) = b**3 + 3*b**2 - 5*b + 1. Let k be a(-4). Let u(g) = -2*g**2 - 111*g - 141. Let n be u(-54). Let d be 3 - n/k - 0. Which is smaller: d or -1?
d
Let i(o) = -o**3 + 15*o**2. Suppose 46 = 3*v - f, 4*v - 61 = -f + 2*f. Let x be i(v). Is x at least -2/11?
True
Let p be -2 + 6418/38 + 0. Let k = p + -167. Suppose 116*u = 125*u - 9. Is k > u?
False
Let g(u) = u**3 + u**2 - 10*u + 1. Let d be g(-5). Which is smaller: d or -48?
d
Let z = 1.861 + -1.731. Is z bigger than -33?
True
Let p(f) be the second derivative of -1/6*f**3 + 0 - 2*f + 1/20*f**5 - 2/3*f**4 - 4*f**2. Let m be p(8). Which is smaller: m or -17?
-17
Let g = 338 + -334. Let n = 5 + -3. Let i = g + n. Which is smaller: i or 7?
i
Let k(r) = -r**2 + 3*r + 10. Let s be k(5). Let l be (-197)/(-65) - (-2 - -5). Is s equal to l?
False
Let w be ((-2)/(-18))/(38/(-817)). Let q = w + -1/9. Which is smaller: -2 or q?
q
Let z = 5568 + -5740607/1031. Is -1 <= z?
True
Let w be (-8)/24 + 0 - 26/(-42). Let s = -16 + 14.2. Let q = 12.2 - s. Is w smaller than q?
True
Let r = 7 - 8. Let p be -2 + r - (-26)/6. Which is smaller: p or 0?
0
Let b = 17790/7 - 2541. Let q(h) = h - 5. Let v be q(5). Are b and v unequal?
True
Let q = 0 - -1. Let w = -162 + 176. Let a = w + q. Which is bigger: 1 or a?
a
Let v be (1053/(-195))/(6/(-20)). Which is smaller: 16 or v?
16
Let r = 5.064 + -0.064. Let h be (-3)/(-6)*16/(-52). Which is smaller: r or h?
h
Let l be 3/3*-1 - -6. Let w = 3 + -1. Suppose -5*i + 8 = -w. Which is greater: i or l?
l
Let l be 2/(-2)*(-10 + -5 + 10). Let m(w) = 8*w - 21. Let b be m(3). Does b = l?
False
Suppose 0 = 10*x - 45 - 255. Is x <= 32?
True
Let o(p) = -p + 6. Let w be o(0). Suppose 0 = -k - 3 + w. Suppose 0 = -5*f - k*g - 23, 0*g + 4*g = -5*f - 19. Which is greater: f or 2?
2
Suppose -v - 24 = -5*w + w, w = -2*v + 6. Is 35/6 >= w?
False
Suppose -52 = 6*i - 100. Is i at most as big as 36?
True
Let y be (-90)/1890*(21/6)/1. Is -98 less than y?
True
Let k = -235 - -255. Which is smaller: 18 or k?
18
Suppose 0 = -3*h - 5*l - 19, -4*h + l - 2 = 8. Let j be h - (4 - (-2 + 4)). Let u(x) = x - 16. Let y be u(10). Is y not equal to j?
True
Suppose -5*v = 10*v - 2775. Let o = -127 + v. Which is bigger: o or 57?
o
Let d = 2.8 - 3.14. Let b = 6.34 + d. Which is smaller: b or -2/3?
-2/3
Let h = 1430463/412 + -3472. Which is smaller: 1 or h?
h
Suppose 9 = 5*c - 1, 0 = 2*u - 5*c - 576. Let i be 2053/u + 14/(-28). Let l = -2/293 + i. Which is greater: 6 or l?
l
Suppose 2*m + 3*m = 25. Suppose 12*f - 31 = m. Is f greater than 11/5?
True
Let n(x) = x**3 - 40. Let l be n(0). Let o be 36/l - (-2 - -1). Let d = 3/70 + o. Is 1 <= d?
False
Let f = 28 + -33. Let c be (-3)/9*(-1 + f). Is c at least 7/5?
True
Suppose -2*k + 4 = 2*p, -4*p = 5*k - 1 - 4. Let n(v) = -v**3 + 5*v**2 + 2*v - 4. Let d be n(p). Let q = d - 6. Which is bigger: 1/8 or q?
1/8
Suppose -3*c + r = -0*r - 64, -5*c - 2*r + 92 = 0. Which is smaller: 59/3 or c?
59/3
Let x be (8/14)/((-24)/5572). Let a = x + 2588/21. Does a = -8?
False
Let q(j) = -8*j - 65. Let o be q(-17). Are o and 72 nonequal?
True
Let z be (23/(8694/(-28)))/((-5)/(-6)). Is z less than 0?
True
Let l be (-52)/192*-4*10/(-25). Is l smaller than 1?
True
Suppose 0 = -4*f + 2*f. Let u = f - -50/3. Let t = -16 + u. Which is smaller: t or 1/4?
1/4
Let x(n) = -12*n - 40. Let m be x(-11). Suppose m = -4*l - 0*l. Are -23 and l equal?
True
Let c = 154 - 146. Let k be (1 + (-20)/c)/((-9)/(-132)). Let l = -0.2 + 0.2. Which is smaller: k or l?
k
Suppose 18 = 2*r + 5*k, -r + 4*k + 18 = 2*k. Let h = 46 + -34. Which is smaller: h or r?
h
Let g(h) = h - 6. Let v = -20 - -28. Let d be g(v). Which is smaller: 1 or d?
1
Let i(f) = 2*f + 33. Let w be i(-14). Let p(b) = 2*b - 2. Let q be p(5). Suppose w*z + 3 = q. Which is smaller: -6/13 or z?
-6/13
Let u be 7285/(-75) + 7 + 4/30. Are u and -90 non-equal?
False
Let o = 3345/14 - 20841/70. Which is smaller: -59 or o?
-59
Let z be -30*(2 + (-5)/3)*-1. Let d be (12/(-170))/(3/z). Which is smaller: -1 or d?
-1
Suppose 37*h + 16 = 41*h. Suppose h*i - 5*u = -65, -3*u - 96 = 4*i - 7. Is -19 != i?
True
Let q = 13529 + -121097/9. Let p be (-2 - -4)/(1/(-37)). Let g = p + q. Does g = 2?
False
Let w(d) = 251*d**2 + 8*d - 8. Let y be w(1). Which is smaller: 249 or y?
249
Let h = 211 + -211. Is 2/71 bigger than h?
True
Let m(y) be the second derivative of -y**5/20 - y**4/12 + y**3/6 - y**2/2 + 13*y. Let b be m(0). Is b at least as big as -1/6?
False
Let l = 409 - 404. Which is bigger: l or 4?
l
Let w be ((-56)/10)/(-2 - (-208)/100). Let q be 2 + (12/(-30))/((-8)/w). Which is smaller: -3 or q?
-3
Suppose -26 - 2 = -4*a. Let y = a + -11. Let u = -1 - y. Which is smaller: u or 5?
u
Let l = 1807 + -1806.88. Are 0.21 and l non-equal?
True
Let v = 3 + 1. Let k be 50/(-6) - (-22)/(-33). Let z = k - -13. Are v and z non-equal?
False
Let l = -4625/90903 - -9/193. Which is smaller: l or -1?
-1
Let u(m) = 11*m**3 - m**2 + 3*m + 7. Let r be u(-3). Let o be 32/(-3)*63/r. Are o and 1 equal?
False
Suppose 0 = 2*l - 5*l + 69. Which is smaller: 24 or l?
l
Let k = 117 - 123. Whi