et d be h(-9). Let m be (d - 10) + 1*3/1. Is m less than or equal to u?
False
Let h = -50 - -80. Let v be h/4*(-60)/25. Let i(k) = -18*k**2 + 2*k + 2. Let l be i(-1). Is l at least v?
True
Let b be ((-362)/5)/(-2) - 2/10. Let v be (-10)/(-85) + (-6710)/(-187). Is b not equal to v?
False
Suppose 16*y - 39*y - 15249 = 28*y. Let n(l) = 299*l - 1. Let a be n(-1). Which is greater: y or a?
y
Suppose 26*m - 22*m = 2*z - 100, -16 = m + z. Is m at least -126/13?
False
Let f = 11/2853 + -30893/5052663. Which is greater: -1 or f?
f
Let b = 34/43 + -505/258. Let d(l) = l. Let q be (-108)/51 + 2/17. Let u be d(q). Which is bigger: u or b?
b
Let v be (-6 + -1)/(3 + (-308)/104). Let t be v/49 + 4/(-14). Suppose 0 = 2*d + 14 - 2. Which is smaller: d or t?
d
Suppose -a - 3*z - 92 = -15, 2*a = 5*z - 165. Let b be 4 + -1 + (-7)/((-175)/a). Let m = -73 + 73.2. Which is bigger: b or m?
m
Let l = -29122 - -16897. Is -12225 <= l?
True
Let s = -0.7 + 0.93. Let p = s + -66.73. Let z = -66 - p. Which is smaller: z or 0.3?
0.3
Let v be 1 + -1*4/46 + 627113/(-851). Which is smaller: v or -735?
v
Let s = -247 - -796. Let n = 542 - s. Is n at least -4/5?
False
Let l = 16 - 32. Let d(m) = m**3 + 15*m**2 - 14*m + 32. Let z be d(l). Let c be -1 - -4 - (z - -1). Is c greater than 18/19?
True
Let s(c) = -2*c**2 - 20*c + 2. Let k be s(-10). Suppose 4*t - 1 = 3, 0 = 5*i - k*t - 3. Is i at least as big as -5/21?
True
Let g = 9 + -9. Suppose -3*b - 89 = -g*z - 4*z, -141 = 5*b - 3*z. Let j = -185 - -157. Which is smaller: b or j?
j
Suppose -7 = -d - 2. Let s = -8 + d. Let l be (-8 - (-75)/9)*(5 + -4). Is s at least l?
False
Let u be (-13)/(-234)*-27 + (-2)/(-4). Which is bigger: u or -295/119?
u
Let m = -6129 + 6093. Which is greater: -3.01 or m?
-3.01
Suppose -4*b - 4*k = 280, -11*b - 10*k + 14*k - 695 = 0. Which is bigger: b or -385/6?
-385/6
Let y(f) = -179*f + 69. Let a be y(-8). Which is smaller: 1499 or a?
1499
Let s be -1 + -3 + (-6)/(-126)*-3183. Let r = -156 - s. Suppose -4*w + 1 = -3. Which is greater: r or w?
w
Let i be 2/1 + 2 - 2. Suppose o + 3*q = -2, -3*q - 4 = i. Let j = -0.0474 + -0.9526. Is o smaller than j?
False
Let l = -7/3196 - -12204/8789. Let o = l - 17/12. Let y(n) = n**3 - 3*n**2 - 4*n. Let s be y(4). Which is smaller: o or s?
o
Suppose 3*r - 36 = 3*x, -3*r + 5*x + 36 = -0*r. Let j be (-2*r/16)/3*0. Let o be (8/(-12))/(1*4). Do j and o have different values?
True
Let c = 214865 + -45981011/214. Are 0 and c equal?
False
Let p = 1604 - 1134. Let a be (25/(-5))/p - 0. Is a at least 0?
False
Let j(v) = -7*v - 3. Suppose -4*r = -r + 12. Let s be j(r). Let h = 39968 + -39943. Do h and s have different values?
False
Let b(q) = 64 - 73 - 193 - 10*q. Let v be b(-17). Let t = -10 + -23. Which is smaller: v or t?
t
Suppose -6*f - 159 = -3*f. Let b = -48 - f. Suppose 0 = b*a + u, -3*u - 14 = -0*a + a. Are a and 1 unequal?
False
Suppose 0 = 277*v - 280*v + 33. Suppose v = 13*r + 11. Which is smaller: r or 3/170?
r
Let m be (0*(-8)/(-96) - -2)*2/10. Which is greater: m or 0.8335?
0.8335
Suppose -8*j - 10*j = -16 - 2. Is j > 2/25923?
True
Suppose -868 = -67*y - 6563. Let f be 4 + -4 - (87 - 0). Which is bigger: y or f?
y
Let b = 448 - 446. Suppose -x + 2*v = b*x, -x - 4*v = 0. Which is smaller: x or 20?
x
Suppose 2*q - 7*l + 2*l + 10 = 0, 4*q - 16 = l. Suppose 6*v = 3*n + 4*v - 34, -4*n + 30 = q*v. Which is greater: 11 or n?
11
Let o be (-54454)/(-1197) - (-4)/18. Let u = 46 - o. Which is smaller: -1/56 or u?
-1/56
Let l = -68.234 - -0.274. Let r = l + -0.04. Let z = -69 - r. Are z and -70 unequal?
True
Let l(c) = 11*c. Let u be l(4). Let j = 813 - 1033. Let x be (-48 - j)*2/8. Is x at most u?
True
Let t = -12309 - -12204.072. Let c = t - -105. Let r = 0.372 - c. Which is smaller: -15 or r?
-15
Suppose -3*i = 2*i - 20. Let d be (-55)/(-60)*68/17. Is d at least as big as i?
False
Suppose -2*v = v - 783. Let q = v + -37. Is 224 greater than or equal to q?
True
Suppose -3*l = -3*r - 267, 5*r + 3*l + 231 + 214 = 0. Let m = -86 - r. Is -6 at most m?
True
Let w(t) = -13*t**2 + 41*t + 19. Let n be w(6). Let y = 212 + n. Is y greater than or equal to 11?
False
Let n = 615 - 899. Let g = n - -286. Which is bigger: g or -17/7?
g
Let o be (22 + 0 - -2)*(-8)/(-6). Suppose 25 = 3*w - o. Which is smaller: w or 8?
8
Let b(g) = -g**3 - 13*g**2 - 38*g - 4. Let r be b(-9). Suppose -r*i - 88 = -10*i. Is i equal to -22?
True
Suppose -4*m = -42 + 26. Suppose 0 = 2*n - n - m, 2*f = -n + 4. Are 3/155 and f nonequal?
True
Suppose 61*r - 79*r + 86832 = 0. Is 4824 < r?
False
Let g(v) = -2*v**3 + v + 1. Let o be g(-3). Let b be 3/(-4) + 75/o. Let c = 3408 - 3406. Is b at least c?
False
Let g be (-2)/(-4) - (-1707)/(-3438). Let c(s) = 2*s**3 + 111*s**2 - 272*s + 1043. Let w be c(-58). Is w less than or equal to g?
True
Let p be (2*-1)/((-1)/(-19)). Suppose 50 = -y - 2*o, 186*o - 191*o + 135 = -4*y. Which is greater: y or p?
p
Let p = -42 - -47. Suppose -3*w + w = p*g - 25, -24 = -2*w - 4*g. Suppose -w*u + 8*u + 2 = 0. Is u <= 0?
False
Suppose 16*n + 2762 = 18*n. Suppose 5*w - 346 = -2*a + n, -1728 = -5*w - 3*a. Let c = -1365/4 + w. Is c less than -1?
False
Let a be 20/(-94) - 2*(-3)/30. Let k = a - -671/15745. Which is greater: k or 0?
k
Let v = 2.33 + -414.33. Let s = v + 450. Which is smaller: 0.2 or s?
0.2
Let m(j) = -3*j + 11. Let i be m(1). Suppose -13*r + i - 21 = 0. Which is greater: 3/20 or r?
3/20
Suppose 3*z = -21, -4*z + 334 = -4*d + 5*d. Is d at most as big as 342?
False
Let l = 4753 + -4774. Do l and -648/31 have different values?
True
Let t = 0.95 + 0.05. Which is smaller: -17.31 or t?
-17.31
Suppose -26*v + 2*v + 144 = 0. Suppose -v*m - 614 = -1898. Are m and 213 equal?
False
Let w be 0 + -5 + 1 + 1520. Is w less than -0.1?
False
Let m(l) = -l**3 + 2*l**2 + 6*l - 7. Let g be m(3). Suppose 229 = -g*i + 5*j, -2*i + 5*i = 5*j - 336. Let f be i/(-15) + (-2)/(-10). Are 7 and f non-equal?
True
Suppose 2971*d + 297 = 2962*d. Let v be (-6)/d - 8/(-88)*163. Let b = 0.2 + 0. Does v = b?
False
Suppose 3*o - 3 = 5*a, -3*a - 4*o - 65 = -40. Let m = -83.3 + 88. Which is smaller: m or a?
a
Let w = 283099/43554 - -1/21777. Let b = 0.2 + -0.1. Which is greater: w or b?
w
Let i(k) = 5*k**3 - k**2 - k - 2. Let n be i(2). Suppose -91*z = -31*z + 77*z - 5069. Which is smaller: z or n?
n
Let b be (470/(-40) + 12)*52/(-2457). Let p(w) = -w**3 + 8*w**2 - w + 10. Let y be p(8). Suppose -4*x = 2 + y. Which is bigger: x or b?
b
Let h(t) = 2*t**2 + 52*t + 48. Let y be h(-25). Let d be (y/6)/((-12)/(-72)). Are d and -12/13 equal?
False
Let d = 3079 + -3341. Which is greater: -258 or d?
-258
Suppose -2*p + 20 = 4*h, h - 9 + 4 = -4*p. Suppose p*b = -13*b + 546. Let j be 33/(-22)*8/b. Which is bigger: j or 18?
18
Let c be 546 + (-1 - -1) + 0. Let g = c + -37670/69. Suppose -85 - 58 = -143*x. Is g > x?
False
Let z be (-13207)/17 - 2 - 46/391. Are -2338/3 and z equal?
False
Suppose 134*i = 203*i - 141657. Which is greater: 2052 or i?
i
Let r be 12/(-3) - 3 - 28. Let m be 0*7/r*-1. Which is smaller: m or 1/333?
m
Let o = 137 + -95.7. Let n = o + -41.2. Which is smaller: 186 or n?
n
Let d be (-4247)/(-5) - 14/35. Let h = d - 584. Let t be h/40 - 6/(-16). Which is bigger: t or 9?
9
Let t = -5053 + 4197. Is 0.3 at least as big as t?
True
Let d = 2766 + -2937. Which is smaller: -172 or d?
-172
Let q = 936 + -992. Which is smaller: -2/53 or q?
q
Let u = -18 - -125. Let k = -125 + u. Let i(j) = j**2 + 19*j + 18. Let r be i(k). Is r greater than or equal to -12?
True
Let l(d) = -d**2 + 21*d + 313. Let m be l(-10). Suppose m = 39*z - 36*z. Is -4/141 equal to z?
False
Suppose -1799 - 6587 = 35*o - 126. Are -1421/6 and o equal?
False
Let k = 0.011 + 19.289. Let h = -1.3 + k. Suppose 15 = 5*v, -5*n + 4461 = -v + 4459. Is h < n?
False
Suppose -27 = 8*d - 67. Let l be (4 - 3)*2*d/10. Is l greater than 0.32?
True
Let a be 21/(-5) + (-1)/((-15)/(-12)). Let d be -34*(21/6 + a). Suppose -5*b + 2*w = -54, -w = -3*b + 7*b - d. Is b at least 4?
True
Let q = -78.653 - -0.653. Let c = 76 + q. Which is smaller: c or 2/73?
c
Let u = 12.4701 - 0.2401. Let n = -0.07 - u. Let z = -11.9 - n. Which is greater: 2 or z?
2
Suppose 4*c + 18*t = 21*t - 2620, -5*c - t = 3256. Which is bigger: -649 or c?
-649
Let h = -190 + 193. Let w be h - 6 - (-