 greater: -6/89 or f?
f
Suppose 0*u + 49 = -2*h - 3*u, h - u + 17 = 0. Let y = 18 + h. Let z be -10 + 8 - y/4*2. Is 1/28 bigger than z?
True
Let u = 11731 + -12403. Is -670 not equal to u?
True
Let w(l) = 18*l**2 + 6 - 16*l + l**3 - 3 - 4 - 23*l. Let n be w(-20). Is n greater than 10?
False
Let h(d) be the second derivative of -d**5/20 + d**4/2 + 2*d**3/3 - 4*d**2 + 6*d. Let y be h(4). Let b = y + -55. Is -16 equal to b?
False
Let z = -2/3 - -1. Let i be (-7)/(-2)*(-2160)/1260. Which is smaller: z or i?
i
Let z be (1 + (-108896)/48)*(1 + 2). Is z smaller than -6803?
False
Let a = 12504 - 12228. Is a at least 269?
True
Let u = 82 + -84.5. Let c = u - -0.4. Let m = -1/33 + 4/11. Are c and m unequal?
True
Let q = -7069.1 - -7069. Which is greater: q or 9927?
9927
Suppose -82*v - 330453 = -8111. Which is greater: -3930 or v?
-3930
Let u = 947 + -942. Suppose -2*m + 65 = -u*y, -91*y + 89*y = -2*m + 74. Which is smaller: 43 or m?
m
Let w = -16895691/313 + 53980. Which is smaller: w or 1?
w
Let u = -3617 - -3618. Which is greater: u or 821?
821
Let c be ((-20)/255)/(10/6). Let d = 185 + -186. Which is greater: c or d?
c
Let x = -0.482 + -3.518. Which is smaller: x or 0.34?
x
Let r(b) = -2*b**3 + 66*b**2 + 67*b + 34. Let j be r(34). Let q = 248 - 148. Suppose -4*y + q = -j*y. Is y at most 26?
True
Let q be 78 + 6 + (0 - 1). Let x be 12*(20/3 - 32/(-96)). Which is greater: q or x?
x
Let l be (-10 - -18)*(2 - 6/4). Suppose -l*n = -2*j + 6*j - 48, 5*n - 66 = -2*j. Let k be (-1)/14*4*-1*n. Are -9 and k equal?
False
Suppose -3*r + 5*v = -69, -4 = -3*v - 13. Suppose 4*x + r = -162. Let m = x + 44. Which is smaller: 1 or m?
m
Let p be (1 - 2)/((-21512)/(-2152) - 10). Let r = 814/3 - p. Let y = -3 - -3.1. Is r at least y?
True
Let j = 7 - -27. Let w = -0.11 - -25.11. Let t = w - j. Is 1/3 greater than or equal to t?
True
Let l(q) = -q**3 + 6*q**2 - 8*q + 11. Let x be l(5). Let h be 8/2*(-2)/x. Let f be ((-10)/1070)/(1/h). Which is smaller: 0 or f?
f
Let s be 18/(-2) - 32421/101*2/(-3). Is s less than 205?
False
Let u = -0.5808 + 1.2858. Which is smaller: u or 10?
u
Suppose -24 = 2*n - 5*z, 26 = -5*n - z + 5*z. Let g(h) = -h**3 - 15*h**2 + 17*h + 20. Let k be g(-16). Let w be (-20)/(-5) - 1/(-2)*k. Is w smaller than n?
False
Let n = -8823 + 8800. Let t = 0.4 - 3.4. Which is smaller: n or t?
n
Let a = -10574 + 10553. Let y = -1 + 3. Is y > a?
True
Let a = -3028 - -2471.9. Let u = -556 - a. Let v = -0.06 - -15.06. Which is greater: u or v?
v
Suppose -l + 1 = 0, l = r - 5*r - 59. Let g = r - -43/3. Suppose -27*d = -23*d + 3*f - 22, 5*f - 29 = d. Is g less than or equal to d?
True
Let t be ((-4)/(-6))/(10/204). Let y be (-116)/(-65) + (-1904)/136. Let l = t + y. Is 2 less than or equal to l?
False
Let m = -1.87 + -106.13. Let z = -105.2 - m. Which is smaller: 0.1 or z?
0.1
Let k = -2608 + 1803. Which is greater: -1.3 or k?
-1.3
Let b = -15222/185 + 807/10. Which is smaller: -2 or b?
-2
Let h = 15.9589 + 0.0411. Suppose -1 - 5 = -l + 5*t, 4*t = -5*l + 1. Which is greater: l or h?
h
Let n = -2/4773107 + -92493267400/109781461. Let w = 843 + n. Is -1 at least w?
False
Suppose -2*y - 6 + 0 = 2*x, 3*y = 2*x - 14. Let f = -193/47 + 30781/7473. Which is smaller: x or f?
f
Let t = 2/29 - -21/116. Let z = 0.006 - -116.994. Let g = z + -117.09. Which is smaller: t or g?
g
Let n = -452.11 + 473.9. Let u = n - 22. Let i = u - -0.11. Is 3 greater than i?
True
Let s be ((-4)/(10 - -14))/((-2)/12) + 44. Which is smaller: 584/13 or s?
584/13
Let k = 344770/157 + -2196. Let d be -49 - -43 - (-2 - -4*(-1)/1). Is d < k?
False
Let b be -2*((-49)/14 - 1). Suppose b*a = 21*a. Let f be (0 + (-6)/488)*8. Which is smaller: f or a?
f
Let i(c) = 5*c**2 - 17*c + 7. Let z be i(3). Let s be 27904/(-201600) + (-1)/(-7). Which is smaller: z or s?
s
Let m = 316 + -315. Suppose -3*l - 9 = h, 4*l = -6*h + h - m. Suppose -3*j = -5*v + 3*v + 18, 4*v = 5*j + 30. Is l > j?
True
Let l = 250.402 + -250. Let f = l + -0.34. Let b = -0.062 + f. Is b bigger than 3?
False
Suppose 5*r - 39 - 76 = 0. Let k(d) = 2*d**2 - 6*d + 4. Let m = 141 - 136. Let g be k(m). Is g bigger than r?
True
Let a(o) = 2*o - 3. Let d(w) = -w - 1. Let r(j) = -a(j) + 2*d(j). Let l be r(0). Suppose y - 3*i = -l, -4*i - 43 = -5*y - 5*i. Does 8 = y?
True
Suppose 0 = 5*o - 5. Let u = 3 + o. Let b be (3/6)/((-215)/(-2150)). Which is smaller: u or b?
u
Let y(i) = 361*i - 9279. Let c be y(26). Which is smaller: c or 102?
102
Suppose -3*n = -5*s + 3646, 0 = 4*n - 7*s + 4*s + 4887. Is n at least -1227?
True
Let j be -5 - (-2*1/2 + 24984/(-6240)). Let w = -2 - -3. Which is greater: j or w?
w
Suppose -16*x + 21*x = 5. Let g be ((-104)/(-12) + -8)*6/170. Which is smaller: x or g?
g
Let m = 556/33 + -387235/23001. Let o = m - -8831/71791. Does o = -1?
False
Suppose -d + l = -92, -6*l = 3*d - 4*l - 251. Let q = d + -57. Which is smaller: q or 32?
q
Let v be (-4)/48 + 1075/516. Is v greater than -287?
True
Suppose 3*o = o - 26. Suppose 0 = -11*y - 11*y + 3102. Suppose 5*u - y = -216. Which is greater: o or u?
o
Let r be (-1 + (-20)/(-17))/((-9)/6). Let b = -115/34 + r. Is b != -3?
True
Let x(j) = 9*j - 81. Let p(g) = -9*g - 120. Let o be p(-14). Let i be x(o). Which is smaller: i or -12?
i
Let k = -9811 + 9837. Which is smaller: k or -39?
-39
Let g be -1 + 1659/(-63) + 1/3. Let r be ((-28)/(-30))/((-18)/g). Is 2 < r?
False
Let k = -2.27 - -1.14. Let n = 1.07 + k. Let d = -77 + 384/5. Are n and d non-equal?
True
Let n = -15765 - -6724. Which is bigger: n or -1?
-1
Let g = 0.5 + -0.1. Let f = 54824 + -54824.31. Is f at most g?
True
Let k be ((-4)/34)/((-12)/8). Let y be 2 - 7/9 - 2928/13176. Is k less than or equal to y?
True
Let c = -253 - -308. Let b be c/(-35) + 12/(-21)*-1. Is b equal to -1?
True
Let s = 68 - 65. Let y be (-49)/(-17) + 1 - (7 - s). Which is smaller: y or 9?
y
Let a be (-1319 - -10 - (-3)/1)/(420/(-462)). Are 1437 and a non-equal?
True
Let d be (1618/(-6))/(50 - 2533/51). Is d greater than or equal to -802?
False
Suppose -54*i - 7400 = -52*i + g, 5*i - 2*g = -18473. Is i at least -3698?
True
Let c be 6*((-1)/(15/55) - -3). Let t be (-1)/5*(-40)/(-32)*c. Which is smaller: -16/15 or t?
-16/15
Let a(t) = -73*t + 620. Let h be a(8). Which is smaller: 1.67 or h?
1.67
Let x be (2 - 1) + 0 + -2. Suppose 3686 = 18*g + 10850. Let v be g/(-40) + (-28 - -18). Do v and x have different values?
True
Let q be ((-2)/(-2))/(-1 + 0). Let u be ((-6)/(19 - -11))/(258/(-5)). Is u greater than q?
True
Let j be 4/(-6)*(-522)/24*30. Let f be 1/(-4) - (j/(-12) - 3). Suppose k + 38 - f = 0. Which is greater: -1/30 or k?
k
Let f = -7.12 + 7. Let k = -209.0273 + 0.0273. Let g = 208 + k. Which is bigger: g or f?
f
Let u = -17.412 - 4.588. Let t = -2.1 + 2. Let b = 0 + t. Which is greater: b or u?
b
Suppose 3*j - 6 = 4*j, a + 23 = -4*j. Is a less than or equal to 63/74?
False
Let c(h) = 10*h + 51. Let u be c(-6). Let w(z) = z**3 + 5*z**2 - 39*z - 2. Let g be w(u). Let s = g - 24. Which is smaller: -1/60 or s?
-1/60
Let u = 4558 - 4562. Are 0.0078 and u unequal?
True
Let o(n) = -n**2 + 10*n + 260. Let h be o(21). Is 119/4 less than or equal to h?
False
Suppose -267 + 1437 = -4*n - 2*l, -5*l = n + 315. Which is smaller: -224 or n?
n
Let w = 1928 - 1925. Let p = 108.53 + -109. Let r = -0.5 - p. Which is greater: w or r?
w
Let a be (2 - 3)/(2/(-54)). Suppose -2*q + 2*c = -8, 3*c - 9 = -3*q - a. Let n = -9260 + 27779/3. Which is smaller: n or q?
q
Let n = -588869285/119 + 4948382. Let t = 699/7 + n. Which is smaller: t or -1?
-1
Let y = -4640 - -4640. Which is smaller: 28/135 or y?
y
Let h = -225529/38 + 5935. Is -0.1 at most h?
True
Let p be ((-1)/(-5))/(-1*16/10). Let r = 3/40 - p. Let f = r + 77/15. Is f at most 6?
True
Let b = 331199688951/9658 + -34292782. Let c = -2/439 - b. Let i = 1.24 + -3.24. Are c and i nonequal?
True
Let r be 193474/30 - (-10)/(-75). Let j = 1889559/293 - r. Let d be -11 - -23 - 6 - 6. Are j and d equal?
False
Let d = 3099 - 3098.913. Is 26 smaller than d?
False
Let q = 8789.81 - 8696. Let g = q + -95. Which is smaller: g or -3/5?
g
Let d = -315019/1136 - -4437/16. Let c = 3 + -2. Are d and c equal?
False
Let x(z) = -2*z**3 - 8*z**2 + 4*z - 3. Let w(g) = -g**3 - 4*g**2 + 2*g - 1. Let v(l) = 5*w(l) - 2*x(l). Let h be v(-6). Is h gre