 t - 4*t = -6. Let z be (-2)/(-11) + 172/22. Suppose -11 - 21 = -z*l. Which is smaller: l or t?
t
Suppose 71*p - 5*p - 1110 = -85*p - 404*p. Let y = 85 - 24. Which is bigger: y or p?
y
Suppose -21 = 3*r - 141. Let k be (24/r)/(2 + (-9)/5). Suppose -o = -4*z - 1, 3 + 0 = k*o. Which is bigger: z or -10/11?
z
Suppose -b - 790 = -11*b. Let k be ((-90)/4)/(b/790). Which is bigger: k or -226?
k
Let l be 3110527/182973 + (-12 - 5). Which is greater: l or 0?
0
Suppose -7*g - 393 = 790. Let x be -1 + 13430/(-80) + 3/(-24). Is g greater than x?
False
Let v(w) = -4*w**2 - 17*w - 58. Let n be v(9). Let t = -585 - n. Which is greater: t or -52?
t
Suppose -o + 3*o - 5*r = -12, -o = r - 1. Let k be (-16 - 7)*(-5)/(-9). Let v = 38/3 + k. Which is bigger: o or v?
v
Suppose -11*g + 1446 = -24*g + 1459. Which is smaller: 25/221 or g?
25/221
Let d = 123.8 + -122. Let q = d - 2. Suppose -8 = -4*t - 0*t. Is t at most as big as q?
False
Let p be (-12)/4*46/3. Let w be 12/132 + p/22. Which is smaller: w or -33/17?
w
Suppose -3*s + 4*n - n = 411, -3*s - 3*n - 411 = 0. Let a = s + 412/3. Which is smaller: a or 156?
a
Suppose 13*i - 25 = 27. Suppose -12 = -4*h, 2*m + 7*h - 4*h - 25 = 0. Suppose 3*g - 6 = -j, 7*j - g - m = i*j. Which is greater: 18 or j?
18
Let f(q) = q**3 - 24*q**2 - 23*q - 49. Let j be f(25). Which is greater: -1/6434 or j?
j
Let a = -1101 + 1274. Which is smaller: 169 or a?
169
Let v(a) = -8*a + 113. Let i be v(14). Let g be (((-3)/12)/i)/(5/8). Are g and -0.3 nonequal?
True
Let a = 28 - 57/2. Let p = -1.95 - -0.05. Let k = p - -0.9. Which is greater: a or k?
a
Suppose 8*f = f + 6*f. Suppose -8 = -5*t + 12, f = 5*y + 2*t - 228. Which is greater: y or 47?
47
Let r = -20817/52055 - 1/10411. Which is bigger: -134.6 or r?
r
Let t = 43 + 4. Let y = -98477/5 + 19695. Which is greater: y or t?
t
Let l = 12 - 12. Let x be ((0 - l)/1)/1. Let b be -11 - ((-15408)/(-1800))/(8/(-10)). Which is greater: b or x?
x
Suppose -218*d + 237*d = -21147. Is -1/2 at most d?
False
Suppose 0 = -0*h + 3*h + 2*q + 1055, 2*h - 4*q + 682 = 0. Let t = h - -355. Is t at least 6?
True
Let w(n) = -7*n**2 - 39*n + 171. Let r be w(16). Which is smaller: -2244 or r?
r
Suppose 82*w - 84*w - 25919 = -5*p, 0 = -3*p + 4*w + 15557. Is 5185 at least p?
True
Let j(u) = u**3 - 3*u**2 + 13*u - 37. Let a be j(3). Suppose a*g + 5*g = -2*g. Which is smaller: g or 2/549?
g
Let q be (-14)/(-34) - (0 - 1). Let o be (-7)/14*(-19 + 7). Suppose -a + o*a = 10. Is q < a?
True
Suppose 8*p - 10*p + 12 = 0. Let t be (4 - p - -2)/1. Let k be -1*4/(-8*1)*t. Which is smaller: k or 3/13?
k
Let g(s) = -202*s - 3879. Let w be g(-19). Suppose 4*c + 5*p = -188, -3*p + 22 = -c + 2*p. Is c less than w?
True
Let b = 51 - 37. Let t(k) = -k**3 + 14*k**2 - k + 18. Let r be t(b). Let c be (r/(-14))/(2*36/784). Which is smaller: c or -2?
c
Let s be 2/4 + (-717)/9 - 0. Let f = 3133/42 + s. Let a(m) = -m**3 + m**2 + 2*m + 7. Let n be a(3). Is n at most as big as f?
True
Suppose 8*c - 5 = 23*c + 10. Let z(v) = v**3 - 8*v**2 - v + 5. Let f be z(8). Let o = -9 - f. Is o at least c?
False
Let k = -1.17 + 5.02. Let p = -6.85 + k. Which is greater: -12/5 or p?
-12/5
Suppose -64*u = -62*u. Suppose 5*v = -3 - 17. Is u bigger than v?
True
Let c be 82 + -47 + 1*(-2)/(-1). Let y(z) = -2*z + 22. Let m be y(-7). Which is greater: c or m?
c
Let b(u) = -6*u + 26. Let n = -9 - -17. Let f be b(n). Let j = f - -36. Are j and 14 unequal?
False
Let q be (-6)/(-13 - -7) - 2. Suppose -2*o + l + 3 = 0, o + 30 = -4*o - 5*l. Let z be o/60 - 4/16. Which is greater: q or z?
z
Let m(h) = 53*h**2 - 4*h + 27. Let c be m(-5). Suppose 4*z + 4*t - c = 0, 4*t - 753 = -2*z - 69. Which is bigger: 343 or z?
z
Let t be 14 - 3961/305 - 1. Which is smaller: t or -1?
-1
Let b = -180266190321135/276704930278 - 5/362653906. Let o = b + 4560/7. Which is bigger: 0 or o?
0
Let x be (-3)/189*9399/(-13). Let n be 621/(-35) + 6/(-15). Let l = n + x. Is l <= -6?
True
Let t = 28148321/40238 - 7695/11. Which is bigger: t or 0?
t
Let i(y) = y**2 - y - 1. Let c(v) = -14*v**2 + 8*v - 4. Let r(b) = -c(b) - 2*i(b). Suppose -50*s - 94 = -144*s. Let d be r(s). Is d >= 12?
True
Suppose -5*r + 5*d + 17586 = -17204, 0 = r - 5*d - 6966. Let g be (-1)/(12/r) - 1/3. Let a = -4647/8 - g. Which is greater: a or 1/4?
1/4
Let l(q) = 200*q - 199. Let n be l(1). Let z = 1 + -10. Let v be 59/22 - z/(-3). Which is smaller: v or n?
v
Let u = 69.22 - 50.22. Let x = -28 - -27.9. Is u <= x?
False
Let g = -52.5 - -52.4574. Let d = 0.0426 + g. Let t = -6.7 + 7. Which is smaller: d or t?
d
Suppose 0 = 3*v - 2*r - 193 - 242, 0 = 4*r. Let o = v + -25. Does 118 = o?
False
Let z = -25 - -31. Let x(t) be the first derivative of t**2/2 + t + 15. Let i be x(z). Which is smaller: 1/2 or i?
1/2
Suppose -147*v = -105*v + 65562. Which is greater: v or -1560?
-1560
Let b = 10692 - 10699. Which is smaller: b or 0.211?
b
Let b be ((-64)/(-128))/(-2 + (-12)/(-8)). Which is smaller: 12/1477 or b?
b
Let k(n) = -31*n - 836. Let z be k(0). Is -835 at least z?
True
Let r = -18787 + 30679169/1633. Let l = 3232/27761 - r. Are -3 and l nonequal?
True
Let m be (10 - 4)*10/(-15). Let h be -3 + (m - 6324/(-906)). Which is smaller: 0 or h?
h
Suppose -3*v = -5*l + 4 - 1719, -l + v = 345. Let q be (-155)/l + (-1)/(-12)*3. Which is bigger: q or -0.1?
q
Let h be 128/(-8)*(-4)/32. Let s be (-11 - -9)*2/(-1). Suppose h*c - j = -5, 2*c = 7*c + 3*j - s. Is c < 5/26?
True
Let s = -15093 + 19828. Which is greater: 2 or s?
s
Let j be (-184)/23 + (-174)/218 - -9. Do 1 and j have the same value?
False
Let s(y) = -y**3 - 3*y**2 - 3*y - 27. Let g be s(-4). Which is bigger: g or 1/2282?
g
Let m be 21/(441/(-14))*(-1)/4*10. Which is smaller: m or 51?
m
Let a(z) = z**3 + 7*z**2 + 20*z + 80. Let n be a(-6). Is -140 not equal to n?
True
Let p = 8.57 + -1.558. Let b = 0.012 - p. Let v = b + 8. Which is smaller: -42 or v?
-42
Let w(l) = -2*l**2 + 9*l - 18. Let q be w(2). Let s be (4 + 38/q)*(-1)/(-32). Let f = s - -295/1664. Which is smaller: f or 3?
f
Let f = 139 + -8. Let q = f - 76. Let g be -3 - ((-10)/q - (-6)/33). Which is smaller: -23/6 or g?
-23/6
Suppose 6*r + 6072 = r + 17*r. Is 499 less than r?
True
Let n = -170 + 149. Let t be 3 + 20*2/n + -1. Is t less than -1?
False
Let m(t) = t**3 + 15*t**2 + 37*t - 1. Let c be m(-12). Which is smaller: -17/10 or c?
c
Suppose 2*r - 2 = -2*s + r, -s = -r - 7. Suppose 13 = 7*a - 3*a - 5*p, -s*p - 11 = -4*a. Suppose 0 = -a*h + 36 - 56. Is h at most as big as -10?
True
Let t(i) = -i**3 - i**2 + 9*i + 10. Let a be t(-3). Let k be ((68 - -1) + 1)*(-519)/(-19722). Are k and a equal?
False
Suppose 1425 + 2922 = 69*o. Let v be (-9)/o + (3 - (-201)/(-63)). Let a = 1 - 0. Is v <= a?
True
Let y be 19/(3553/(-38845))*3/15. Which is greater: y or -43?
y
Let h be ((-72)/(-45))/(6/15). Suppose -567 = -h*m + 2*o + 3*o, -3*m + 2*o + 427 = 0. Which is bigger: m or 144?
144
Let z = 45 + 3. Let o = -0.241 - -0.341. Is z less than o?
False
Let o = -12250 + 10167501/830. Which is greater: o or 1?
1
Let n = 94 + 98. Let s = -190 + n. Which is smaller: s or 7?
s
Let w(k) = -k**2 - k + 64. Suppose 0 = 5*r + 15, 4*r = 3*g + r + 15. Let f be w(g). Which is bigger: -6 or f?
f
Let i be (-112)/(-16)*(106/(-24) - -2). Let c = -17 - i. Let m be 2*(2 - 12/8). Is m <= c?
False
Let n = 367 - 365. Let w be 1*(0/n)/(-6). Which is bigger: w or 2/411?
2/411
Let v be 28782/9570 + -4 + 1. Let o = -473799/11165 + v. Is -41 at most o?
False
Let w = -12.379 - -12.2. Let p = w + 25.179. Which is bigger: -2/7 or p?
p
Let q = 53 + 2. Let u = -1.03 - -81.03. Let f = q - u. Is f less than -2/5?
True
Let r be (11/33)/(1/(-6)). Let q be ((-12)/8)/(r/((-64)/(-12))). Let a be (-15)/12 - (9/q)/(-9). Is a at most -2/107?
True
Let z(a) = -8*a**3 - 2*a**2 - 9*a + 4. Let t be z(4). Let h = 6901/12 + t. Which is smaller: -2 or h?
-2
Let a(y) = 3*y**2 + 9*y + 1590. Let h be a(-62). Are h and 12565 non-equal?
True
Suppose -21*v + 25*v = 8. Suppose -5*r + 91 = 4*f + 1, v*f = -r + 48. Does f = -4?
False
Let b be 1*6 + 12/(-4) + 17. Suppose 6 = -4*f + 3*a - 1, 0 = f + 2*a - 12. Suppose -2*n + 4*r = 48, f*n + b + 4 = -2*r. Which is greater: n or -18?
n
Let u be (-3)/15 + 1848/40. Suppose -2*d - 350*v = -353*v - 105, 0 = 4*v + 12. Which is smaller: d or u?
u
Let j =