7*y - 54*y. Which is greater: y or -446?
-446
Let l = 437 + -437.974. Let f = -0.236 + l. Is f > -1/4?
False
Let p be 0 + -22 + (-1 - -3). Let z = -188368/9155 + -45/1831. Which is greater: p or z?
p
Let h = -37/14 + -1/42. Let n(w) = -w**2 + 2*w + 18. Let i be n(11). Let s = -85 - i. Which is bigger: s or h?
h
Let a = 0.86 - 0.86. Suppose 0 = 2*w + 5*z - 179, -2*z = -0*w + 3*w - 263. Which is bigger: a or w?
w
Let c = 50791543386578/30405 - 1670499700. Let b = -1222135/147971 + 603/73. Let j = c + b. Is -1 at most j?
True
Suppose -17*l + 58280 = 23*l. Which is smaller: l or 1456?
1456
Let o be 12/13650*755 - (-8)/(-14). Let l = o - 83/195. Is l > 28?
False
Let p be -4 - -5767 - (4 - (-9)/(-9)). Is p >= 5760?
True
Suppose 3*x + 54 = -3*f, 6*x - x - 3*f + 98 = 0. Let v be x/7 - (-15)/35. Let s = -1907 - -1904. Which is bigger: v or s?
v
Let y = 2.5 - 4.7. Let s = 148 - 139.8. Let j = s + y. Which is greater: 3 or j?
j
Suppose 4*a = -u - 10, 0*u + 23 = 4*u - 5*a. Let j = -74 + u. Let v = -31 - j. Are v and 40 equal?
False
Suppose -15 = 6*w - 7*w. Suppose 4*r = c - 1 - 2, 4*r = -5*c + w. Let a be 4/12*r/2. Which is smaller: 1/29 or a?
a
Let z = 418007/154 - 43957/14. Is z equal to -424?
False
Let z = 1.31 + -0.11. Let j = z - 25.2. Let u = -26 - j. Which is smaller: u or -0.26?
u
Let r be ((-40)/(-18))/((-108)/(-4860)). Is r greater than or equal to 98?
True
Suppose -144 + 68 - 484 = -56*m. Is m > -17?
True
Let h = -595.18 - -601. Let a = h + -0.12. Do a and 1/4 have the same value?
False
Let n = 11 + -9. Let j = 1854/7 - 264. Is j equal to n?
False
Let s = 8840 - 12764963/1444. Which is bigger: s or 1?
1
Let o(u) = 18*u**2 + 4*u - 1 - 17*u**2 + 4. Let d be o(-3). Suppose -4*j - 18 - 70 = -4*h, d = 5*h + 5*j - 130. Do h and 24 have the same value?
True
Let y(x) = 79*x**3 + x**2 - x - 2. Let n be y(-1). Let b = n + 20. Is b smaller than -59?
False
Let h = -387.05 - -24.05. Is -5/3 less than h?
False
Let k = -107984 - -16305509/151. Which is smaller: k or 1?
k
Let w be -1 + -9 - 6517/(-665). Let k = -23 - -33. Let i = -9.8 + k. Do i and w have the same value?
False
Let v = -2438/5 - -485. Let a be 2 + (-3 - -7) + -1. Suppose -2*b + 3*x = -3, 0*x + 12 = -a*b + x. Is v less than or equal to b?
False
Suppose t = 7 - 4 - 2. Which is bigger: t or -1/214?
t
Suppose -x - 26 = 3*t, 31 = -6*t + 3*t - 2*x. Let c = -25/3 - t. Which is smaller: -9 or c?
-9
Let l(n) = n**2 - n - 11. Let o be l(5). Suppose 227 - 1280 = o*x. Do x and -116 have the same value?
False
Let f(v) be the third derivative of -v**4/8 + 23*v**3/2 - 28*v**2. Let n be f(22). Suppose -3*a + 25 - 1 = -n*s, -4*s - 5*a = 68. Which is smaller: -15 or s?
-15
Let m be (-1 + (-24)/(-15))/(4/20). Suppose -3*y + m*h - 3 = 0, 4*y + 2*h + 28 = 24. Which is smaller: y or 4/219?
y
Let q be 12/(-4) + 402 + 1. Let o = -996 + 988. Let f be q/(-1925) + o/(-14). Is f at least as big as -5?
True
Let t(g) = g**2 - g + 2. Let k be t(0). Suppose 0 = -5*s + d - 225, 119 = -k*s - d + 29. Let h be (27/729*27)/(5/10). Is h bigger than s?
True
Suppose -450 = -3*y - 1482. Let a = -747 - y. Is -402 > a?
True
Suppose 37*w - 1065 = -45*w + 657. Is w smaller than -0.086?
False
Let u = 29.7 - 3.7. Let k = 3 - u. Let z = k + 22. Which is greater: z or -17?
z
Let v be ((-10)/(-450))/((-133)/8589) - (-14)/10. Which is smaller: v or 627?
v
Let x = 5670849/91 - 62317. Let h be (1 + -1)*(0 + -1). Which is bigger: h or x?
x
Let y be -1286*5*2/50. Let f = y + 257. Is -16 at least as big as f?
False
Let b = -119 - -953/8. Let z be ((-4)/(-1))/(1/(3/6)). Let p be 54/1512 - z/(-8). Are p and b nonequal?
True
Let h = -93 - -254. Suppose 9*d - 3*q - 1404 = 0, -4*d = -23*q + 22*q - 627. Which is smaller: d or h?
d
Let s = -97.1 + -10.9. Let w = -107 - s. Which is smaller: w or 22?
w
Let k be (-830)/3717 - (-61)/549 - (-4)/42. Let u be (-4)/(-10) + 10/(-25). Which is smaller: k or u?
k
Let y = -12/143 + 17637/572. Let w = 528 + -527.9. Which is smaller: w or y?
w
Let z = -9987 + 9978. Which is smaller: -318/7 or z?
-318/7
Let a(b) = 3*b - 22. Let l be a(-14). Let r = l + 48. Let z(h) = -h**2 - 14*h + 32. Let c be z(r). Is c >= 4/17?
False
Let p be -18 + 2/(-4)*4. Let o be (p/50)/(8/5). Which is smaller: o or 13.3?
o
Let i = -339 - -204. Let a = -132 - i. Which is smaller: a or 15/8?
15/8
Let r = -0.027 + -27.973. Let x = -8 + r. Let h = 34 + x. Which is smaller: 2 or h?
h
Let u = 15372/29 + -530. Let o = u + 44/203. Is 0.091 less than or equal to o?
True
Let u be 123666/160 - ((-3)/(-5) - 1). Let p = u - 773. Let d = -79/48 + p. Which is smaller: -1 or d?
d
Let h = -80 - -882/11. Let j = 149 - 312. Let g = -163 - j. Is g greater than or equal to h?
False
Suppose -4*u - 5*y = -35252 - 41598, u - 19187 = 3*y. Is 19206 greater than u?
True
Let v be (4 + (1 + -2 - 3))*1. Suppose v = 11*l + 128 + 15. Which is bigger: -7 or l?
-7
Let w = 24913 - 12478. Which is bigger: w or -1?
w
Let i = 14 - 31. Let h = i + 17.07. Let y = h + 3.93. Which is greater: -0.3 or y?
y
Let i = 0.0795 - 0.2495. Is -2/23 bigger than i?
True
Let q be (-99)/22*(-2 - (-2)/3). Let m be -1 - (40*q)/(-8). Let r = -71 - -99. Is m > r?
True
Let n = 44 - 66. Let r = n + 30. Let o = -148 + 158. Which is smaller: o or r?
r
Let w = 4136 - 4139. Which is bigger: w or -48/13?
w
Let h = -7.97 + 7.98. Is -21 <= h?
True
Let u = 1938.793 - 1938. Let r = 5.793 - u. Which is greater: r or -1/31?
r
Let r = -2830 - -110377/39. Let x = r + 217/312. Is x at least as big as 2?
False
Let a = 18.6 - 36.6. Is 66 bigger than a?
True
Let j(l) = -5*l - 4. Let t(b) = 8*b - 1. Let d be t(1). Let p be j(d). Suppose 8*y + 722 = -9*y - 2*y. Do p and y have different values?
True
Suppose -2*l - 5*b + 0*b = 19, 0 = 2*b + 10. Suppose l*g = -3*h + 414, -658 = -5*g - 5*h + 8*h. Which is greater: g or 403/3?
403/3
Let k = 8 - 4. Suppose 5*p - 2*h = -1188, -k*h + 3 - 7 = 0. Let m be 2/(-13) + 1*p/(-26). Are -2 and m equal?
False
Suppose -4*h - 1902 = -6138. Let u be 16 - 21 - h/(-213). Let j be 2/4 - 2/4. Is u >= j?
False
Let i = 70 - 74. Let f = -22 + i. Let o be 11*(-4)/f - 4. Which is smaller: o or -3?
-3
Suppose 19*y = -0*y - 4123. Let j = -19379/90 - 8/45. Is j bigger than y?
True
Let v = -30 + 97. Suppose 0*s - 3*s - 4*k - 254 = 0, 0 = 4*s + k + 330. Let f = v + s. Which is smaller: f or -4?
f
Suppose -8*x + 877 = -5*r - 5020, r + 1153 = -5*x. Do -1173 and r have the same value?
True
Let o = -4/197 + 325/45113. Is -1 less than or equal to o?
True
Let u = 185388 + -41341708/223. Is 0 > u?
True
Let m be (-30)/((108/(-16))/9). Suppose -4*t - m = -2*t. Suppose 4*k - 8 = -0*k, 3*h = -3*k - 51. Do h and t have different values?
True
Let m be ((-2)/(-8))/((-9)/12)*(430 - 436). Is m at most as big as -137/5?
False
Suppose -t + 2*t + 4*u = -22, -3*u + 21 = -3*t. Let q be (65 - 63)/((-4)/454). Let z = 652/3 + q. Which is bigger: t or z?
z
Let u(f) be the third derivative of 0 - 1/6*f**3 + 1/60*f**5 + 8*f**2 + 0*f - 1/4*f**4. Let q be u(6). Which is smaller: q or 1/36?
q
Suppose 3*o - 3*u - 9 = 0, -4*u - 4 = 11*o - 7*o. Suppose -o = -2*g + g, -5*g - 40 = 3*p. Which is smaller: p or -111/7?
-111/7
Let h be (-29 + (-1495)/(-52))*(-44533 + 1). Which is greater: 11132 or h?
h
Let n = 6315/4 + -27577609/17468. Which is smaller: 0 or n?
n
Let g = -329 + 299.3. Let c = g - -293.7. Which is smaller: 0 or c?
0
Let a = -446 - -445. Let v be (a - (-85)/50)/(-2). Which is greater: 0 or v?
0
Let o = 7686.93 - 7685. Does 0.006 = o?
False
Let c be (-27)/35 - (-552)/460. Is c bigger than 577?
False
Suppose -28*z - 504 = -19*z + 27*z. Are 12 and z equal?
False
Let z = 1134.9073 - -0.0927. Let m = z + -1135.08. Let b be (-1)/5*5/6. Which is greater: b or m?
m
Let z = -22989826/997 - -23059. Which is smaller: z or -1?
-1
Suppose -117*h + 6753 = -17*h + 27953. Which is greater: h or -209?
-209
Suppose 4 - 21 = -d + 5*q, -8 = 4*d - q. Let k be -8 + d/(51/(-110)). Do -1 and k have the same value?
False
Let i = -718712557/4101 + 175253. Is i smaller than 1?
True
Let n = -6.805 - 90.195. Which is greater: n or -53?
-53
Suppose -4*d + 2*q = 4260, 25*q - 1062 = d + 26*q. Which is greater: d or -5322/5?
d
Let m(h) = h**2 - 4*h - 11. Suppose 11 = 3*j + 4*i + i, -i - 37 = -5*j. Let r be m(j). Which is smaller: -1/3 or r?
-1/3
Let m = -293 -