ich is greater: 99 or u?
99
Let d = -102/55915 + 1338944772/2292515. Let u = 584 - d. Do u and -1 have different values?
True
Let q = 6 - 8. Let l be q/(-3) - 395/(-15). Suppose -208 = -t - 7*t. Which is bigger: l or t?
l
Let v(l) = 15*l**2 + 282*l + 15. Let z be v(-19). Let u = 0.3 + -0.4. Which is smaller: u or z?
u
Let x(y) = 0*y**3 - 7*y**2 - 3 + 3*y - y**3 + 3*y**2 + y**2. Let g be x(2). Do -17 and g have the same value?
True
Suppose 3*w + 26 = 2*y, 3*w = -3*y + 2*y + 31. Suppose -4 = -i + 13. Which is smaller: i or y?
i
Let k be (17024/42)/(-16) + 2/(-6). Do -26 and k have different values?
True
Let f = -25 + 26. Let r be (-3)/f + (-35)/(-10). Is 0.7 greater than r?
True
Let s = -1.1 + 0.1. Let b be (-2)/3 + 0 - (-68)/68. Are s and b unequal?
True
Let f = 507/2 + -203. Is 0 >= f?
False
Let a = -138 + 142. Suppose -n = 4*n - 4*p - 17, 2*p = 5*n - 21. Is n less than or equal to a?
False
Suppose -16*g + 60 = -4*g. Which is greater: g or -3?
g
Let m(n) = -9*n**2 + 4*n + 92. Let s be m(-8). Is s greater than -516?
False
Let n = 384 + -380. Do 16/5 and n have different values?
True
Let o be 0/(-1) - ((-2 - -2) + -3). Let g = 27 + -2. Suppose -3*p = 4*y - 27, 3*p - 5*y = 5*p - g. Which is bigger: o or p?
p
Let m be (-16)/(-112)*-3 + 121/217. Which is bigger: m or 0?
m
Let m be -9 - (2 + 60/(-12)). Which is greater: m or -8?
m
Suppose -5*m - 36 = -11. Which is greater: -3 or m?
-3
Suppose -3*n + 117 = -2*n. Let r = -403 + n. Let k = r + 3144/11. Is -1 < k?
True
Let r = 30 + -29.979. Let b = r - 0.121. Is 1/10 != b?
True
Let d(o) = 36*o**3 - 15*o**3 - 2*o**2 - 20*o**3 - 1 + 2*o. Let a be d(2). Let u be a + (-2 - 20/16). Which is greater: u or 1?
1
Suppose -3*n + 2*s + s - 6 = 0, 2*s = -3*n + 9. Suppose 0 = -h - h + 2. Is n at least h?
True
Let t = -13957/789 + 6/263. Let u = t + 157/6. Which is smaller: 9 or u?
u
Suppose -2*b = b - 6, 48 = 2*k - 5*b. Suppose -23 = -2*v + f, -k = -5*v - 2*f + 15. Let m be 8/6*v/(-12). Which is smaller: m or 0?
m
Let b(h) = -h**2 + 16*h + 8. Let t be b(16). Let o be -2*2/(-8)*0. Suppose -q - t = -o*q. Which is greater: -7 or q?
-7
Suppose -4*g = -5*g - 26. Let b = g + 16. Let r = 22 - 33. Is b greater than r?
True
Let l = -147/5 - -29. Let o = 26 - 26.2. Let d = -2.2 - o. Is d greater than l?
False
Let f = -223/633 - -4/211. Is f bigger than -27?
True
Let x = 14 - -32. Let u = 46 - x. Which is bigger: -1 or u?
u
Let j be ((-13)/26)/(2/212). Let c = 65 + j. Let d = -12 + 23. Is d equal to c?
False
Let z(p) = p - 3. Let r(x) = -x**2 + 5. Let a be r(0). Let d be z(a). Let i be (3/(-6))/(1/d). Is i less than or equal to 2/19?
True
Suppose -3*o - 120 = 4*b, -5*o - 29 = -4*o + 5*b. Is o greater than -43?
False
Let a = -991 + 990. Which is bigger: 3/470 or a?
3/470
Let k = 855 - 855. Let b = 4809/26 + -185. Which is smaller: b or k?
b
Suppose 26 = -3*n - 5*z, 2*n - 8*z + 3*z = -34. Let h(y) = 2*y**2 + 20*y + 2. Let q be h(n). Is q less than or equal to 51?
True
Let s be 4 + (-24)/(-252)*-78. Which is smaller: s or -2?
s
Let w(m) = -3*m**3 + 4*m**2 - 5*m + 4. Let v be w(2). Let d be (-24)/v*(-91)/(-26). Let g be (d/4)/(84/120). Is 2 > g?
False
Suppose 4*f + 76 = -4*j, 5*f - j = -0*j - 65. Let x = -11 - -1. Let i be x/14 - (-4)/f. Which is greater: 0 or i?
0
Suppose -45*b = -41*b + 4. Let a be (-2)/(-13) - (-106)/(-13). Let t be (-3)/(-54)*(-12)/a. Which is smaller: b or t?
b
Let w be (-2478)/3010 + (-12)/(-15). Which is smaller: w or -4?
-4
Let h = -170 + 174. Is -1.1 < h?
True
Suppose -23*a + 2533 = 141. Which is smaller: -2/3 or a?
-2/3
Let g be (6/4158*9)/((-1)/20). Which is greater: g or 1?
1
Let t = -2/17 - 9/68. Suppose -3*r - 6 = -0*r. Let c be (-806)/65 - r/5. Which is bigger: t or c?
t
Let y be 30/8 - 5/(-20). Suppose 4*v = 5*q + 6, 2*v - 24 = -y*q - 2*v. Suppose 2*h + 0*w = q*w - 6, -2*w - 4 = 3*h. Is -3/2 equal to h?
False
Let f be 3/4 - (-53)/4. Let j = 12 - f. Let d = -9 + j. Does d = -10?
False
Let v = 1081 + -1080.9. Let h(w) = 2*w + 2*w**2 + 5*w + 4 - 3*w**2 - 1. Let k be h(4). Which is smaller: v or k?
v
Let k be (6/(-21))/((-15)/70*18). Are k and -1 unequal?
True
Let k be -4 - (0 - 0) - -6. Let h be (-24)/(-2) - (0/k + 3). Which is greater: 8 or h?
h
Let n(r) = 3*r + 3. Let o be (0 - -6)*(-1 + 0). Let a be n(o). Let t = -11 - a. Is t at most 4?
True
Suppose -3*p - 6 = -6*p. Suppose -p*v - 54 + 18 = 0. Which is smaller: -17 or v?
v
Suppose a - 255 = -5*x, -5*x + 5*a + 291 - 6 = 0. Which is greater: 0.3 or x?
x
Let k = 67.5 + 8.5. Let l = k + -75. Let z be 14/40 + (-6)/(-15). Which is smaller: z or l?
z
Let v = 5.91 - 6. Let o be ((-18)/45)/(3/(-15)). Which is bigger: v or o?
o
Let x = -27 - -27. Suppose 3*y + x = 5*t + 69, -4*t - 63 = -5*y. Which is greater: -11 or t?
-11
Let p(g) = -g**3 + 7*g**2 - 4*g - 3. Let s be p(6). Suppose 3*b - 4*l - s = 2, -b = -3*l - 7. Which is smaller: 1/2 or b?
1/2
Let i(u) = -u**3 - 10*u**2 - 8*u + 10. Let f be i(-9). Let r be ((-92)/(-230))/(f - (-312)/(-310)). Which is smaller: -61 or r?
r
Let p = -0.14 - -0.54. Let v = p + -0.9. Is 5 at most v?
False
Suppose -4*j - 71 + 311 = 0. Let y be (-8)/j*5/7. Which is greater: 0 or y?
0
Let s(x) = x**3 - 4*x**2 - 2*x - 16. Let q be s(5). Let u be 9*((-14)/6 + 3). Let o be -1*((-45)/u)/(-5). Is q >= o?
True
Let b(r) be the third derivative of r**5/60 + r**4/24 - r**3 + 7*r**2. Let u be b(-5). Suppose 4 = -3*t + 49. Which is bigger: u or t?
t
Let j be ((-33)/330)/(3/(-30)). Which is smaller: j or -1/78?
-1/78
Let d(i) = -i + 27. Let o be d(9). Let g be (-4)/18 + 164/9. Is g less than o?
False
Suppose -3*h + 5*u + 280 = 0, 0 = -5*h + u + u + 492. Let k be 22/(-24) + 25/h. Which is smaller: 14 or k?
k
Let b = 2.77 + -2.87. Let u = 2 - 8. Let i = u - -11. Which is smaller: i or b?
b
Let r = 12 + -27/2. Let u(s) = -2*s - 5 + 3 - s**2 - s + 10. Let t be u(-5). Does t = r?
False
Let c = -0.46 - 11.54. Let f = -10.25 - -0.25. Let r = c - f. Which is greater: r or 3?
3
Let h be ((-3)/14*-1)/((-12)/(-53600)). Let r = -961 + h. Is -5 != r?
True
Let k = -172.235 - 2.665. Let j = k + 193.57. Let m = j - -0.33. Is -0.1 bigger than m?
False
Let l be (37860/(-50))/((-4)/10). Let p = l + -246091/130. Which is smaller: -1 or p?
-1
Suppose -3*t = 2 - 14. Suppose -t*a = a + 155. Let w = -30 - a. Is -2 smaller than w?
True
Let f(l) = -21*l**3 - l**2 - 7*l - 11. Let m be f(-2). Is m < 168?
True
Suppose 15*z - 4*z + 110 = 0. Let r = -3033/290 + -6/145. Is r <= z?
True
Let d = -844684/8585 - 16/1717. Let q = d - -98. Is 3 != q?
True
Suppose 2*n = -4*k + 8*k + 22, -n + 6 = -k. Which is greater: -2/13 or n?
n
Let s(p) = 4*p**2 - 52*p + 10. Let c be s(7). Is c > -157?
False
Let b be (-3 - -4)*6 + 495 + 6. Which is bigger: b or 505?
b
Let i = 10 - 31. Suppose -38 = 2*w + 2*k, -3*w + 2*w - 18 = 2*k. Is i at most as big as w?
True
Suppose 0 = x + 3*x + 20. Let d be 3/24*4*0. Suppose -2*w - c = 9 + 5, 5*w + 4*c + 38 = d. Which is greater: x or w?
x
Suppose -p = -3, 0 = -5*u - 2*p + 14 - 53. Is u at least as big as -90/11?
False
Let u be (-12)/((-4)/(-1)) + 8 - 4. Is u at most -2/15?
False
Let y be 1/2*2/(-11). Suppose 133*u + 18 = 115*u. Is y at least u?
True
Let m(n) = 2*n**2 - 32*n - 33. Let a be m(17). Is a != 2/1415?
True
Let t = 93/85 + -64348/58735. Let c = t + -1331/35241. Is 1 at most c?
False
Let z = -2968/15 - -593/3. Let r = 3.3 + -3. Let l = -0.2 + r. Which is smaller: z or l?
z
Let k be 1639/20 + 5/(-20). Let a = 1310 - 2453/2. Let v = k - a. Is -2 < v?
True
Suppose 0 = 5*t - 20, -3*t + 17 = k. Let p(l) = -3*l + k*l + 3 - 4 - 2. Let d be p(2). Which is bigger: 2/5 or d?
d
Let i = 27856/7 + -3973. Is 7 greater than or equal to i?
True
Suppose 0 = -5*w - 2*m + 367, -292 = -4*w + 2*m - 4*m. Is 373/5 at most w?
True
Let s = -13 - -14. Let x = 26 + -6. Let w be 13/x - 8/20. Is w greater than or equal to s?
False
Let t = 6025525/501 + -12027. Is -1 equal to t?
False
Let z = 23 + -9. Let g be 5 + (z/(-21))/(1/6). Do 15/13 and g have different values?
True
Let y = 14 - 3. Let c(n) = n**2 - 11*n - 2. Let f be c(y). Let l = 1/228 + -143/114. Is l less than or equal to f?
False
Let a = 0.22 - 0.265. Let d = a - -1.045. Which is smaller: d or 1/3?
1/3
Let f be 37708/(-42) + 16/(-12). Let g = -28061/35 - f. Let c = 97 - g. Is c <= -0.1?
True
Suppose -5*m + 3