e c(-1). Suppose m*s + 69 = s. Let d = -346/5 - s. Which is greater: d or 1?
1
Let v be (-4)/(-26) + (-1351)/(-91). Let x be 146/10 + v/(-25). Which is greater: x or 13?
x
Let u(f) = 26*f - 33. Let z be u(-4). Let j = -134 - z. Let m = -6.06 + 6. Which is bigger: m or j?
j
Let d(k) = -6 + 3 - 4*k + 3*k + 2. Let y(c) = -4*c - 1. Let b be y(-1). Let m be d(b). Which is greater: m or 1?
1
Let m be (680/135 - 5)*-6. Which is smaller: -32 or m?
-32
Let n be (-10976)/(-1120) - (0 - -11). Which is smaller: 4.8 or n?
n
Suppose -6*m + 1250 = 4*m. Is m bigger than 123?
True
Let j be -5 + 164*27/(-36). Does 0.1 = j?
False
Let p = -0.3 + 1.3. Suppose 94 = 38*x - 590. Which is smaller: x or p?
p
Suppose -r - 27 = -2*f, -2*f = 2*f + 5*r - 75. Let g be (-18)/f*(-60)/(-9). Suppose 5*p + 0*p = -40. Is g at most as big as p?
True
Let x = 406 - 299. Which is bigger: x or 2?
x
Suppose 7*f = 3*f + 8. Let i be 18/(-5)*(f + 8). Is i greater than -37?
True
Let c = -5398 - -172751/32. Which is smaller: 1 or c?
c
Let q(p) = -p - 6. Let g be q(3). Let b = g - -8. Let s = -1/56 + 117/280. Is s less than b?
False
Let q = 250 - 270. Are q and -132/7 unequal?
True
Let s = 1999 + -1127. Which is greater: 871 or s?
s
Suppose -6*m = -m - 1570. Let u = 7224/23 - m. Which is greater: u or 1?
1
Let y = -302 + 302.27. Which is smaller: 2/13 or y?
2/13
Let k = -5043/2 - -2661. Is k equal to 140?
False
Let c be (-58)/(-10) + (-4)/5. Suppose 3*m + c = -h, h = m - 4*h - 25. Which is bigger: 5/14 or m?
5/14
Let j = 13 + -5. Suppose -5*g + 17 = -j. Suppose 2*u - 8 = -5*w, 0*w - 12 = -3*u - w. Which is smaller: u or g?
u
Let y = -1116 + 836. Is y bigger than -2?
False
Let h be 5/2 - 3 - 21/(-6). Suppose -4*g + 14 + 1 = -5*x, -g + h = -x. Which is smaller: 2/153 or g?
g
Let d be (-104)/13 + 496/56. Which is smaller: d or 3/14?
3/14
Suppose 0 = -4*q + 2*q + q. Is q greater than 8/21?
False
Let c(l) = -8*l - 53. Let b be c(-7). Let h = 7 + -2. Are b and h nonequal?
True
Let u = 486.1 - 486. Which is bigger: 115 or u?
115
Suppose -g - 15 = -6*g. Suppose g*d + 9*a - 4*a + 7 = 0, -3*d + 3*a = -33. Are 21/4 and d unequal?
True
Let y be 98/(-6) + (-9)/(-27). Suppose 2*t = 3*t + 13. Is t < y?
False
Suppose -558 + 2058 = 3*x - 2*c, -x = -5*c - 513. Is 498 != x?
False
Let j(i) = i**3 - 10*i**2 - 22*i - 16. Let q be j(12). Which is smaller: 29 or q?
q
Let g(p) = 3*p**3 - 19*p**2 + 16*p - 68. Let o be g(6). Which is bigger: -22/3 or o?
-22/3
Let h be (-2)/(-8) - 18/8. Let r(u) = u**3 - 9*u**2 - 8*u - 19. Let b be r(10). Suppose -6*l = b + 11. Do l and h have the same value?
True
Let k = -0.85 - -1.25. Suppose 4*y - y = 6. Which is smaller: y or k?
k
Let a = 12 - 11. Let d = 21 - 21.27. Which is smaller: d or a?
d
Let w(b) = 10*b**2 - 8*b**2 + 1 - 6*b - 6 - 2. Let l be w(4). Which is greater: -4 or l?
l
Suppose -6*m + 4*m = 2*w - 178, -3*m + 232 = -4*w. Which is greater: -1 or m?
m
Suppose 3*t = -4*u - 3, 2*t = -7 + 5. Which is bigger: u or -155?
u
Suppose -5*u + 3*i + 66 = 0, 0 = -5*u - 5*i - 36 + 126. Let z = 2 + 13. Are u and z unequal?
False
Let d be ((-2)/(6 + -4))/1. Let z be 1/(-2) + d/(-2). Let o be 0 + z - (1 - -6). Is -6 at most as big as o?
False
Suppose -3*i = u - 1, 5*i + 2*u = 9 - 7. Is -3/68 at least i?
False
Let j be -1 + 0 - (-10 - -1). Suppose j*s - 60 = 2*s. Let y = s - 0. Does y = 10?
True
Let w be (-940)/18 - 3*6/(-81). Is -256/5 > w?
True
Let z(q) = q**3 - 8*q**2 - 12*q - 13. Let h be z(9). Let i be (-2)/(-5) + 112/h. Let c(y) = -y**3 + 16*y**2 - 2. Let o be c(16). Which is smaller: o or i?
i
Let d = -6.06 + 6. Let h(b) = 8*b - 49. Let u be h(6). Which is smaller: d or u?
u
Let r = 269 - 269. Which is smaller: r or 7?
r
Let c = 29 - 18. Let u be -2*7*(-144)/56. Let s be 2/(-8) - (2205/u)/(-5). Is c less than or equal to s?
True
Let u(s) = -17*s + 136. Let q be u(-11). Which is smaller: q or 324?
q
Let x be 36/5 + 20/(-100). Which is smaller: x or -9?
-9
Let y = -27773/13 - -2137. Let a(t) = t**3 + 5*t**2 - 5*t + 8. Let z be a(-6). Which is bigger: y or z?
z
Let t be (318/30 - 6) + -5. Let b = 1.12 + -1.1. Is t < b?
True
Let g be (-282)/(-366) - (8 + (-63)/9). Are g and 1 unequal?
True
Let h be 16/(-1) + (3 - 2). Let p = -4 - -5. Let k be p/3 - (-25)/h. Is 0 > k?
True
Suppose 0 = -4*n - 10 - 6. Let z be (-15)/(-5) - (-13)/n. Which is smaller: z or -6?
-6
Let c = 946 - 2779/3. Which is bigger: c or 19?
c
Let n(r) = 3*r - 4. Let i be n(3). Suppose q = i*q + b - 17, 0 = 5*q - 3*b - 17. Suppose -k = q*k. Is k greater than -2/25?
True
Let o = -113 + 137. Let a be o*(-12)/32*6. Is a bigger than -53?
False
Let j = -90.2 + -0.8. Let n = -166 - j. Is n less than or equal to -0.1?
True
Suppose -2*l = 4*i - 390, -5*i - 31*l + 495 = -36*l. Is i smaller than 292/3?
False
Let m = -346 - -336. Are m and -6 unequal?
True
Suppose -2 = -3*u + 2*r, 3 = 3*u - r + 2. Let t = -322 - -297. Which is bigger: t or u?
u
Let v = 102783300953/153 + -671776640. Let x = 9641 - v. Let q = -12/17 + x. Which is bigger: q or -1?
q
Let p(v) be the second derivative of -v**4/12 + 3*v**3 + 17*v**2/2 + 9*v. Let n be p(19). Which is bigger: n or -3?
n
Let o be ((-4)/(-5))/((-30)/(-25)). Let t = 1 + -4. Do o and t have different values?
True
Let n(v) = 2*v**2 + 13*v - 13. Let f be n(-7). Let r(m) = m - 13. Let u be r(9). Let a = u - 1. Is a <= f?
False
Let i = -3.02 - -3. Let y = i + -1.98. Let p = 4.267 - 0.267. Is y greater than p?
False
Let d = 11 - 11.001. Let h = 0.201 + d. Is h at most -25?
False
Let r = -1048.71 + 1048. Are r and -0.2 non-equal?
True
Suppose -209 = -13*f + 428. Are f and 47 non-equal?
True
Let t = 0.57 - -22.43. Let p = t + -7. Let z = p - 19. Which is bigger: 0 or z?
0
Let m be (-96)/(-9)*(-30)/(-20). Suppose -22*s + 30 = -m*s. Is s at most as big as 7?
True
Suppose -c + 13 = -f, 2*f = f + 5*c - 33. Let u be (-2)/28*1*f. Is 2 greater than u?
True
Suppose 5611 = 34*w - 7921. Which is smaller: 397 or w?
397
Let r = 7 + 17. Suppose 0 = -l + 3*q - 30, -3*q - r = -3*l - 90. Let y be ((-2)/(-10))/(9/l). Is 1 < y?
False
Let h(d) = d**2 - 1. Let k be h(2). Let i = 4475/234 - 172/9. Let n = -2/13 - i. Which is greater: n or k?
k
Let p be 14/6 + 31783/555. Which is bigger: 61 or p?
61
Suppose -3*q - 2*q - 3*m = -27, q - 5*m - 11 = 0. Let x = q + -10. Which is smaller: x or -16/3?
-16/3
Let u = 105 - 104.94. Are u and -2 equal?
False
Let a = -416 - -408. Which is smaller: -19 or a?
-19
Let p = 42.909 - -0.091. Let z = 0.058 - 0.058. Is p > z?
True
Let g be 4/14*(1 + 0). Suppose -5*u + 7*u = 6. Let d be (1 - 2)/(4/(-1 - u)). Is d at most g?
False
Let c(w) be the third derivative of -w**5/30 + w**4/6 - w**3/3 + 3*w**2. Let m(o) = o + 5. Let r be m(-3). Let s be c(r). Is -2 less than or equal to s?
True
Suppose -4*h = -23*h. Suppose 0 = -4*f + f + 27. Let b be (f - 1)*(-2)/4. Is h bigger than b?
True
Let k = 0.038 - -21.962. Let c = k - 23. Which is bigger: -3/2 or c?
c
Suppose -4*w + 18 = 3*n, 6*w - 14 = -n + 2*w. Let o = n + -2. Let m be ((-3485)/(-119) - 29)*(-1 - 0). Is o <= m?
False
Suppose -6*t + 2*t - 52 = -4*b, 55 = 5*b - 3*t. Let p(v) = -v**2 + 15*v. Let f be p(b). Let z be (4/f)/(2/4). Which is smaller: z or -1?
-1
Let k = 35 + -35. Let u(w) = -16 + 4 + k*w + 3*w + 0. Let n be u(3). Is n less than -2?
True
Let d(s) = s**3 + 9*s**2 - 1. Let j be d(-9). Is -5/31 not equal to j?
True
Suppose 2 = 6*p - 4. Suppose -d + 2 = p. Are 1/14 and d equal?
False
Let w(o) = 5 - 3*o**3 - o - 3*o**2 + 5*o + 2*o**3. Let x be w(-4). Let s(c) = c**3 - 5*c**2 - 2*c + 7. Let r be s(x). Is 2 greater than or equal to r?
True
Let y = -321.5 + 319. Is 0.01 < y?
False
Let n(j) = j**2 - 5*j - 2. Let h be n(4). Let k be (-84)/18*h/4. Suppose -l - 4*y + 22 = 0, 0 = 3*l + 4*y - 3*y - 22. Which is greater: k or l?
k
Suppose -2*a = 2*a - 32. Let o be 2 + 6/a - 3. Let w = -76 - -76. Which is smaller: w or o?
o
Suppose -94 = -5*u + 4*o, -u = -3*u - o + 48. Let q = u - 31. Let z be (1/q)/((-4)/24). Does z = -0.4?
False
Suppose 514*w = 662*w + 3888 - 40. Suppose -x + 2*g = g - 21, 0 = -x + 4*g + 30. Let c be (-3)/(1*2/x). Do w and c have the same value?
False
Suppose 59 = m + 150. Let g be (8/14 - 1) + (-39)/m. Is g >= 1/11?
False
Let o(l) = -l**3 - 13*l**2 - 24*l - 19. Let i be o(-11). Let z be (1 - 3)*3/i. Is z at least -10/3?
Tr