Let l be u(7). Suppose 4*c + 0*a + 20 = -4*a, 3*a = -c - 15. Let x = c + 21. Which is smaller: x or l?
l
Let d = -0.126 + 0.026. Let j = -78.78 - -78. Is j > d?
False
Let b be (-4)/(-7) + (-2926)/7350. Do b and 0 have the same value?
False
Let a = 0.3 - -0.1. Let g = 25 - 1. Let i = -21 + g. Which is smaller: a or i?
a
Let u be (((-4)/2)/20)/(26/(-325)). Which is bigger: 16 or u?
16
Let z = -3 + 27. Let a be (-2422)/30 - 16/z. Let c = -81 - a. Is c at least 1?
False
Let k = 0 - 0. Suppose 13*h - 17*h = k. Let b = -1/78 + 35/26. Is h greater than b?
False
Let r be -3 - 10/(19460/(-5817)). Is r < 1?
True
Suppose -23*t = -5*t + 18. Which is smaller: t or -287?
-287
Let v = -2295.9 + 2182. Let j = -113 - v. Which is smaller: -5 or j?
-5
Let b(a) = -24*a - 3. Let s be b(-1). Suppose -2*l = -s - 7. Is 14 equal to l?
True
Let f be 0 + 0 + -3 - 45/15. Is f smaller than -20/3?
False
Let w = 0.151 + -9.021. Let l = w + 0.87. Which is smaller: 9 or l?
l
Let l be ((-1367)/1365 + 1)/(16/80). Do l and 1 have the same value?
False
Suppose 0 = -2*h + 3*u - 15, u + 9 = h - 5*h. Let p(l) = 7*l**2 + l + 3. Let n be p(h). Suppose -4*c - n = c + 4*f, -5*c + 2*f = 81. Is -15 greater than c?
False
Let o(a) = -a - 2. Let d be o(-3). Suppose 0 + 9 = 3*z. Let r(l) = -2*l**2 + 2*l - 3. Let i be r(z). Are d and i equal?
False
Let z = 32 - 37. Let t = z - -37. Which is smaller: t or -1?
-1
Let d = -55.4 + 367.4. Is d < 0?
False
Suppose -5*b - 16 = -3*b. Suppose -18 = -5*q + 2*d - 52, 18 = -2*q + 3*d. Which is smaller: q or b?
b
Let m = 881 - 733. Which is smaller: m or 149?
m
Suppose 26 = -0*w + 13*w. Let v = -5611 + 72988/13. Let y = v + -173/65. Which is smaller: y or w?
y
Let l = -0.051 - 1.149. Is l bigger than -0.15?
False
Let s be 7/(-2)*(-9)/(630/100). Is s smaller than 76/21?
False
Let p(h) = -9*h + 1. Let q be p(5). Let o be (-7)/(21/(-44))*(-5 - -2). Is o > q?
False
Let c be ((-27)/(-5) + -2)/(15/1625). Do c and 367 have the same value?
False
Let w be 0 - (-7)/((-1708)/327944). Let l = -1344 - w. Which is smaller: 1 or l?
l
Let u = -106 + 137. Let k = 33 - u. Which is greater: k or -8?
k
Let d(a) be the second derivative of a**3/6 - 4*a**2 + 8*a. Let h be -11*(0 + (-3)/3). Let z be d(h). Which is smaller: -1/4 or z?
-1/4
Let a = 247 + -9140/37. Let v be 1 - (100/55 + (-2)/(-11)). Is a not equal to v?
True
Let l be 5 - (-6)/(-18)*(-2 + 17). Which is smaller: l or -0.397?
-0.397
Suppose -5*a - 263 = 4*q, 4*q - q - 5*a = -241. Let i be (-90)/q - (-9)/(-12)*1. Let c be 0*(1 + 3/(-2)). Is c >= i?
False
Let r(c) = -c - 1. Suppose -2*k = -4, -23 = 3*m - 3*k + 2*k. Let i be r(m). Is i >= 7?
False
Let a = 416 - 379. Which is smaller: 35 or a?
35
Let m be 7/4 + 2/8. Let a be 3396/1360 + (-1)/(-6). Let o = 1/340 + a. Is o bigger than m?
True
Suppose -3*s + 8*s - 280 = 5*u, 2*s = -4*u + 82. Is s <= 50?
False
Let y = -1445/3337 + 23/47. Which is smaller: 1 or y?
y
Let f(b) = -b - 5. Let x(w) = -3*w - 11. Let p(r) = 5*f(r) - 2*x(r). Let v be p(13). Which is smaller: v or 7?
7
Let x(j) = -2*j**2 - 6*j - 4. Let l be x(-2). Let r = -156326/107 + 1461. Is l at least r?
False
Let z(a) = 2 + 2*a - 6 - 4*a. Let d be z(-3). Suppose 0 = 5*s + d*b + 12, -5*b + 32 = -s + 8. Is -4 less than s?
False
Let m be (-2 - -1)*9/(-3)*3. Let t be (33/m + -1 - 3)*-18. Are 33/5 and t unequal?
True
Suppose -1 = -8*r + 9*r. Is r greater than 235?
False
Let i be 9/(-45) - (-4)/4*0. Which is greater: -11 or i?
i
Let q be (-12)/9*(-833)/207. Let p = -120/23 + q. Which is bigger: 0 or p?
p
Let w(x) be the second derivative of -x**3/6 - 7*x**2/2 - 20*x. Let q be w(2). Is q <= -3?
True
Suppose -k + 429 = 12*k. Which is smaller: 32 or k?
32
Let w(q) = q**3 + 1. Let m be w(0). Which is bigger: m or 8/81?
m
Suppose -847 + 6467 = -10*i. Is i greater than -1?
False
Suppose 4*y - 2*s = 8, s - 16 = -3*s. Let k = y - 8. Let a be -2 + 5 + -1 + -5. Which is greater: a or k?
a
Suppose 4*t = -4*u, -3*t - 2*u = t + 8. Is t < 7?
True
Let w = 320/117 + -26/9. Let o = 26.3 + -26. Let f = o + -0.4. Which is bigger: w or f?
f
Let k = -689406/935 - -8106/11. Is 0 greater than k?
True
Let a(h) = -h**3 - 15*h**2 - 37*h + 52. Let l be a(-12). Which is greater: 456/7 or l?
456/7
Let v be (-722)/(-1701) - 12/28. Which is bigger: v or 1?
1
Let x = 0.21 + 0.27. Which is smaller: 2 or x?
x
Suppose 0 = -6*d + 2*d. Which is smaller: d or -1/272?
-1/272
Let n be (-24)/(-14)*28/8. Suppose r + 4*f = -n - 9, -2*f = r + 7. Which is greater: r or -1?
r
Suppose -2*s - 14 = -2. Let u = 1620 + -1628. Is s equal to u?
False
Let a(n) = 3*n**3 + 22*n**2 + 6*n - 6. Let m be a(-7). Suppose m = -x - 3. Is x at most as big as -2?
True
Suppose 0 = -4*l + 4 - 0. Let h be ((-3)/(-99))/((-1)/3 - 15/(-30)). Is h at least l?
False
Suppose 84*u = 2*o + 87*u + 8, -5*o = u + 7. Let l be 2 + 7/54*-16. Is o smaller than l?
True
Let h = -4.2 + 4.4. Is h greater than 76?
False
Suppose -75*j + 51*j - 11616 = 0. Is -483 at most as big as j?
False
Let j be (4 - (-30)/(-7))*7 + 33. Is j less than or equal to 28?
False
Let d be (-96)/(-2416)*(-4 - 51/(-9)). Which is greater: d or 0?
d
Suppose -6*b - 62*b = -2380. Which is smaller: 71/2 or b?
b
Let o = -19 - -13. Let w(y) = y**3 + 6*y**2 - 8*y - 6. Let l be w(-7). Let u = l + -8. Which is smaller: u or o?
u
Let l = 19 - 20. Let g be l/(-2) + 34500/(-264). Let q = g - -130. Which is bigger: q or 4?
4
Let w be (-290)/90 - (-6)/4*2. Does w = -1/48?
False
Let u(q) = -q**2 + 6*q - 5. Let h be u(4). Let i be (7/h)/(5/15). Let f be (-4)/(-10) - 9/60. Is f smaller than i?
True
Let q be 6/(-4) + (-39)/(-6). Let h = 2 + -4. Let f be (-7)/((-14)/16) + h. Which is smaller: f or q?
q
Suppose -4*l - 4*a - 28 = 0, 4*a = 2*l - 0*a - 10. Let u be (-1562)/(-2352) + 2/l. Let q = -337/392 - u. Is -2 less than q?
True
Let f = 2234 + -2240. Which is greater: f or 5?
5
Let n(w) = -4*w - 15. Let q be n(-7). Suppose 5*y = 6*y + 5*j - 10, 0 = -2*y + 2*j + 32. Which is bigger: q or y?
y
Let c = -0.8 + -0.2. Let y(j) = -j**3 - 10*j**2 - 4*j - 21. Let q be y(-10). Is q less than c?
False
Suppose 2*a - 6 = -2. Suppose -a*o = -3*l - 6, o - 6*o = 5*l - 15. Let f = -17/42 + 1/14. Which is bigger: l or f?
l
Let l = 2334/5 - 467. Let s = -24 - -39. Is s > l?
True
Let h be (-38)/(-18) + (-7 - -8). Let f = -250/63 + h. Are f and -1 nonequal?
True
Let u(y) = y**2 - 4*y + 2. Let f be u(4). Let z be (8/(-6))/(f/(-42)). Let s be 8/z - 24/(-14). Is s < 1?
False
Let q = 3 - 17. Let g(u) = -3*u. Let k be g(-5). Let l = q + k. Is l greater than -1/16?
True
Suppose -4*z + 79 = 35. Let q be -1 + 4 + -1 - 17/z. Is 1 at least q?
True
Let q = 48121/98465 - 55/419. Let o = q - -2/47. Which is smaller: 3/7 or o?
o
Suppose -720*i = -722*i - 112. Is -49 not equal to i?
True
Suppose -135 = -9*v + 855. Which is smaller: v or 108?
108
Let l = -44 + 26. Let g = 21 + l. Let z = g + -2.9. Which is smaller: -15 or z?
-15
Let x(d) = d**2 + 25*d - 89. Let c be x(-30). Which is bigger: c or 62?
62
Let v = -223/99 - -15/11. Which is greater: v or -2?
v
Let y = 107 - -99. Let v = -308 + y. Let n be ((-1)/v)/(1/(-4)). Which is smaller: -1 or n?
-1
Let f be (7 - -3)*(-165)/(-30). Which is smaller: f or 53?
53
Let v = 85/44 + -13/11. Let q(s) = 4*s + 22. Let c be q(-5). Which is smaller: c or v?
v
Let t be -1 + 17861/13881 - 88/308. Which is bigger: -1 or t?
t
Let l = -73 + 75. Let t be ((-68)/40 + l)*-12 - -3. Let g = 7.5 + -1.5. Are g and t nonequal?
True
Let i be 4/5*55/22. Let w = 258478 - 4651117/18. Let h = w - 163/2. Is h greater than i?
False
Let y(b) = b**2 - 12*b + 2. Let w be y(11). Let j be (-6)/w + (-15)/36. Let i = 3 + -2. Which is greater: i or j?
i
Let a = -541 + 494. Is -48 at least as big as a?
False
Let j = -134 - -797/6. Suppose -2*q = -3*p - 22, 0*q + 3*p = q - 17. Suppose q = 5*a, -3*z + 5*a - 4*a = 7. Are j and z equal?
False
Suppose 0 = -h - 4*w + 5, -4*h + 3*w + 96 = -0*w. Let q(i) = h*i - 7*i + 2 - 9*i - i**2. Let o be q(5). Which is smaller: o or -2?
-2
Let o(t) = 30*t + 5. Let g be o(1). Let v = -21 + 62. Let a = g - v. Which is smaller: a or -1?
a
Let c(l) = 2*l + 16. Let h be c(-4). Let p be h/(-100)*10/(-18). Is 1 not equal to p?
True
Let l(o) = -o - 4. Let p be l(-4). Let c be (p + 39)/(63/78). Let f = 49 - c. Which is smaller: 1 or f?
f
Let i = 1440 