 = -24 - -3. Let v be 9934/(-14600) - n/28. Let b = v - 8/73. Which is bigger: b or -1?
b
Let f = 30450344/4965 - 6133. Is 1 smaller than f?
False
Suppose 0 = -6*l + 170 + 844. Let f be (58 - l)*-1*1/(-3). Let z be ((-149)/f + -4)/1. Which is greater: -1 or z?
z
Suppose 14*o + 94320 = 22*o. Suppose -3*w + o = 42*w. Which is smaller: -2 or w?
-2
Let b be (-1 + 1 + 0)/2. Let d(g) = -g**3 + 15*g**2 + 1059*g - 184. Let x be d(-26). Are x and b unequal?
True
Let q = -1/1157 + 15050/10413. Which is greater: q or -7/6?
q
Let l be ((-14)/(-6))/7 - 5/(-3). Let u be 20/8 + (-5)/(5/l). Let x = -0.2 - 13.8. Is x >= u?
False
Let u be -15 + -13 + -427*55. Does -23512 = u?
False
Suppose 0 = -l - 269 - 292. Is -559 at most l?
False
Let h = -0.10918 + -302.89082. Is 14 <= h?
False
Suppose 0 = -m + 3*i + 34, -3*i + 8 = 2. Let z be (2 + m/(-28))*28/(-40). Is -31 greater than z?
False
Suppose 2*f - 464 = -511*k + 508*k, -25 = 5*f. Which is smaller: k or 21?
21
Suppose -14*i = -20*i + 2112. Suppose 7*t + t = -i. Which is bigger: t or -50?
t
Let b = -11281/17670 + 11/114. Which is smaller: b or -2?
-2
Suppose -2*y = 3*k - 38, 17*k + 47 = 19*k - 3*y. Suppose -9*v + 7*v = 0, 4*v = 4*a - k. Let g = 112 + -2129/19. Which is bigger: g or a?
a
Suppose -10*y + 716 = -6*y. Let g be (1253/105)/(7/105). Is y bigger than g?
False
Suppose 11*l - 236 = 226. Let p be l/(-7)*102/(-9). Which is smaller: 63 or p?
63
Let a = 47284 + -71836. Which is greater: a or -24551?
-24551
Let b = -52 - -3070/59. Let s = 0.51 + 2.49. Which is greater: s or b?
s
Let c = -7.92 + -0.08. Let v(w) = -62*w - 129. Let n be v(-2). Which is smaller: c or n?
c
Suppose 4*n + n + 5*b - 10 = 0, 0 = 3*n + 4*b - 7. Let h be (1 + 36)/(n/3). Let t = h - 73. Is 39 >= t?
True
Let o be 3 - ((-9762)/4218 - -8). Let u be (8/(-190))/(12/(-750)). Let j = o + u. Which is bigger: j or 0?
0
Suppose 5*h - 3*h + 2*f - 6 = 0, 9 = 3*h - 5*f. Suppose -5*s = -3*s + 10, 123 = t + h*s. Let p be 16/12*9/t. Which is greater: -1 or p?
p
Suppose -4*v = -2*b + 2187 + 343, 4*v + 2545 = -3*b. Are -5 and v unequal?
True
Let z = -0.07502 + -0.62498. Is z <= -383?
False
Let n(z) = 13*z - 25. Let h be n(2). Let v be 180/(-9)*(105/20 - h). Let l be (171 - -1)*(-3)/6. Are v and l nonequal?
True
Let v(d) = 277*d + 3059. Let y be v(-11). Suppose 9*z - 160 = 4*z. Suppose -23 - z = -5*r. Which is smaller: r or y?
r
Let w = 6570 - 6584. Is w at least as big as -250/19?
False
Let p = -9519/4 + 2380. Which is smaller: p or 167/7?
p
Suppose -1027 = -8*g + 117. Let v be ((g + 5)/(-2))/2 - 4. Is -41 less than or equal to v?
True
Let h = 4210.94 - 4211. Which is greater: -105 or h?
h
Let t be (8/36)/((-2)/(-72)). Let k be 1038/(-12)*1/((-2)/t). Which is smaller: 347 or k?
k
Let w = -7829 - -7476.9. Let t = -352 - w. Is t <= 167?
True
Let s(i) = i**3 - 5*i**2 + 3*i - 27. Suppose 2*u = -0*u + 16. Let l be s(u). Suppose -l*m = -185*m. Which is bigger: m or -12/11?
m
Let c(n) = -89*n - 2379. Let o be c(26). Is o at most as big as -4696?
False
Let t = -7828.3 - -7810.3. Let k = -0.2 - -0.4. Let d = 0 - k. Which is smaller: d or t?
t
Let t = -4926.1 + 4720. Let r = t - -206. Which is smaller: r or -10/43?
-10/43
Let g = 731/875465 - -2/8445. Let o = 82998/7589 + -949939789/92046981. Let f = g - o. Is f > -1?
True
Let l = -0.612 - -1.112. Is l >= 319?
False
Suppose 5*r = 4*h + 294, 7*h - 10*h = 3*r - 198. Which is greater: r or 87?
87
Let i(j) = -2*j - 4. Let r(h) = h**3 + 7*h**2 - 7*h + 5. Let p be r(-8). Let d be i(p). Suppose 0 = -8*v + 6*v - d. Which is greater: -2/219 or v?
-2/219
Suppose 4*w - i = 237, -w + 4*i = -0*i - 48. Let d be ((-2)/14)/(w/35). Is d <= -1/3?
False
Suppose -12*f + 3899 - 72980 = -5*x, -28778 = 5*f - 4*x. Is f less than or equal to -5757?
True
Let q be (-608)/(-16) + (2 - 0). Suppose -45*p + q*p = -1575. Is p less than or equal to 2?
False
Let f = 195 + -199. Let z be 1746/36*f/2. Which is smaller: z or -96?
z
Let d = 258 + -254. Let l be d/(-6) + 804/18. Does 47 = l?
False
Suppose -2728 = 12*c + 5012. Which is smaller: -1287/2 or c?
c
Let k be (-6)/21 - 102/(-14). Suppose -205 + 72 = -k*u. Suppose -u*v + 90 = -14*v. Which is greater: 0 or v?
v
Let a(u) = 146*u**2 - 4*u - 19. Let f be a(-7). Suppose -f = -20*m - 2803. Is m at most as big as 218?
True
Let d(f) = -2*f**2 + 15*f + 1023. Let b be d(36). Is -1036 < b?
True
Let d be 8/(-32) + 4722/(-24). Suppose 640 - 49 = -3*x. Is d >= x?
True
Suppose 4*p = 6*p + 20. Let d be (-8 - p) + (-279)/140. Which is greater: d or 1?
1
Let g = -158/7 - -776/35. Which is smaller: 4.23 or g?
g
Let r be 369281/73854 + -2 - 3. Is 0 greater than r?
False
Suppose -x + 28 = -f + x, 116 = -5*f + 4*x. Let o be ((-36)/40)/(-9) + (-8)/f. Let z(w) = w**3 + 3*w**2 - 5*w - 2. Let c be z(-4). Is o < c?
True
Let p be 5/(-23 + (-779)/(-38)). Is -19/11 at least as big as p?
True
Let d = 1242 - 1115. Which is greater: 135 or d?
135
Suppose 59 = 3*q - 5*s, q - 13*s + 18*s - 53 = 0. Which is bigger: 1002/37 or q?
q
Let r(d) = 112*d + 609. Let c be r(-32). Is 2 greater than or equal to c?
True
Suppose 0 = -4*i + 9*i - 260. Let f be (110/(-64))/(26/i). Which is greater: -2 or f?
-2
Let o = -56.8 - -83.7. Let h = o + -8.9. Let s = h - 18.2. Is s less than -2/7?
False
Let f be 4/(-102) + 157412/24072. Let z = -7 - -10. Suppose -11 = -z*k + 7. Which is smaller: f or k?
k
Let j(k) = 4*k**3 + 46*k**2 + 22*k + 4. Let m be j(-11). Let l = 947 + -558. Let r = l + -1543/4. Which is greater: m or r?
m
Let k = 6104 + -8193. Is k less than or equal to -2091?
False
Let b = -20.628 - 0.172. Let x = b + 21. Is 4.9 < x?
False
Suppose d = -6 + 11. Let l(y) = -y**2 + 5*y. Let x be l(d). Suppose x = -5*i + 4*i + 18. Is 19 > i?
True
Let k be 0/5 + 1 - (-2 - -83). Let v = k - -54. Is v <= -24?
True
Let m be (-9)/2*11*-2. Suppose -3*n + 428 = 4*x + 6, -5*n = -50. Is m equal to x?
False
Let q = -3018 + 1875. Is q smaller than -3431/3?
False
Let i = -604 - -600. Let z be (-2 - i/24) + (-10)/(-12). Let c = -0.3 - -0.4. Which is greater: z or c?
c
Suppose -3*s - 14 = -20. Suppose 9*k = 191 - s. Let r(i) = -i**2 + 19*i + 36. Let b be r(k). Is b at most as big as -6?
True
Suppose -v = 4*r + 8, r - 5*v = 5*r + 24. Suppose -2*k - 378 - 224 = -f, -3*k - 6 = 0. Let m = 588 - f. Is m < r?
True
Suppose -9*b = 15*b + 1584. Let m be (-5)/(2 - -3) - b/(-4). Suppose -72 = 7*t - 3*t. Are t and m equal?
False
Suppose 8*s - 251 - 1141 = 0. Let k be 8 + (-7 - s/192). Is 4 smaller than k?
False
Let a(g) = -3*g**3 + g**2 - 22*g + 92. Let x be a(4). Is -1 <= x?
False
Let o = -2377/55 - 1685/11. Is -195 > o?
True
Suppose -11*q - 230 = -43. Which is smaller: -21 or q?
-21
Suppose 2*j = -14 + 40. Let q(a) = a**3 - 14*a**2 + 15*a - 17. Let w be q(j). Let u(s) = -s**2 + 5*s + 18. Let y be u(6). Which is smaller: y or w?
w
Let l(a) = -2*a**2 + 115*a - 617. Let t be l(6). Which is bigger: t or 1/12530?
t
Let a be -5 + (-2470 - 5) + 6. Is a less than or equal to -2473?
True
Let h = -0.591 + -69.509. Let x = h + 44.1. Which is bigger: x or -5?
-5
Suppose 15*o - 225 = 6*o. Suppose 5 = 5*s + v, 4*v - o = 2*s - 5. Suppose -5*m = -s*m + 5. Is m smaller than 1/35?
True
Let s = 5731 + -6462. Which is smaller: s or -729?
s
Let r = 3223 + -3224. Let d = 64 - 63.98. Which is smaller: d or r?
r
Let o = 21 + -37. Let p = o + 18. Suppose 0 - 22 = -p*h. Which is smaller: 2 or h?
2
Let r(m) = -92*m + 306. Let z be r(9). Which is smaller: -521 or z?
z
Let x(d) = 38*d**2 - 8*d - 10. Let j be x(3). Which is smaller: 4011/13 or j?
j
Let q = 6174 + -6174.03578. Is -1 not equal to q?
True
Let f(b) = 4*b - 12. Let x be f(4). Suppose 0*k - 4*k = q - 3, -2*q + x*k = 6. Which is smaller: 121 or q?
q
Let w = 71 + -199. Let d(h) = -14*h**2 + 8*h + 21. Let y be d(-3). Is w >= y?
True
Let m = 5896.731 + -5900. Let h = -80 - -80.031. Let x = h - m. Which is smaller: 0.1 or x?
0.1
Let b be (3 - (-3)/((-18)/14))*-63. Let r be (-28)/b - ((-15)/(-9))/(-5). Which is smaller: r or -1/90?
-1/90
Let f(p) = p**2 - 3*p + 3. Let y be f(0). Suppose -v = 3*u - 2*u, -5*u + 40 = -y*v. Suppose u*t - t = t. Is -2/115 equal to t?
False
Let t = -977/8 - -10217/72. Let v be (-2)/10 - (-566)/30. Let z = v - t. Is -1 > z?
True
Suppose -x - 30 = -5*c + 4*c, 0 = 4*c + 4*x - 160. Let w be (-3)/(4/((-40)/c)*2). Which is s