Let a be j(-4). Let y be a*(2 + -4 + 3). Let d be 5 - (-5)/(y/9). Which is greater: d or 3?
3
Let j = -3.4 + 6.6. Let c = j + -1.2. Is 9 equal to c?
False
Let u(d) = 2*d - 2. Let t be u(2). Let i be (-6)/2 - -1*t. Let q = -5849 + 11697/2. Is q < i?
False
Let a be 470/4*58/145. Is a less than 49?
True
Suppose 0 = 9*o - 7*o - 72. Let b = 76 - 40. Are b and o equal?
True
Let f = 49.055 - 49. Let x = f - -0.545. Is x less than -9?
False
Let n be 1 - -129 - (0 + 1). Let d = -3909 - -18897/5. Let t = d + n. Which is smaller: t or -3?
-3
Let u = -30 - -119/4. Let q(w) = -5*w**2 - w. Let c be q(1). Let p(t) = -t**2 - 7*t - 6. Let o be p(c). Is o != u?
True
Let m be (-10)/45 - (-133)/(-9). Let o = 14 + m. Let w be (1/2)/(0 - o). Are w and 1 non-equal?
True
Let q be (-110)/8 + (-2)/32*4. Let y = 17 + q. Which is smaller: 18/7 or y?
18/7
Let p be (-12)/15 + (10206/4215)/3. Which is greater: p or 1?
1
Let q(j) = 9*j + 74. Let f be q(-5). Is 0.2 smaller than f?
True
Let y = 181 - 542/3. Let t be 2/(-5) + (-21)/(-5). Let g = 62/15 - t. Is g at least as big as y?
True
Suppose -l + 4*u = 4*l + 47, -1 = l - 5*u. Let o(c) = 6*c + 4. Let a be o(l). Which is smaller: a or -63?
-63
Suppose -174 = -5*n + 6. Suppose -5*z + s - n = 0, -s - 35 = 4*z + 1. Let p = z + 10. Which is greater: p or 0?
p
Let x = -0.05 + 38.05. Let c = -22 + x. Let g = c - 11. Is 0.2 > g?
False
Let z = -46.1 - 3.9. Which is smaller: z or -6/7?
z
Let k = 0 - 0. Suppose -u + 3 = 5*j - k*j, 4*u - 34 = 2*j. Suppose u = 4*l + 4. Does l = 6/11?
False
Let q(j) be the third derivative of -5*j**4/24 - j**3/3 - 5*j**2. Let i be q(2). Let f be i/18 + (-4)/(-33). Are 0 and f unequal?
True
Suppose 70*l - 27*l = 258. Is -74 not equal to l?
True
Let u(r) = r**2 - 7*r + 4. Let o be u(5). Let d be (-26)/44 - (-3)/o. Let y = 260 + -260. Is y smaller than d?
False
Let d be 0/(-2 - -5) + 35. Let j(i) = -i + 8. Let h be j(6). Suppose -r = 3*n + d, -10 = 7*r - h*r. Do -11 and n have the same value?
True
Let d = -0.023 + -278.977. Let m = d + 297.1. Let s = m - 18. Which is smaller: 7 or s?
s
Suppose 2 = 3*p - 1. Let u be (-4 + (-2 - p))*1. Let s be 60/35 - 2/u. Which is smaller: s or -0.4?
-0.4
Let m be ((-2)/22)/((414/(-54))/23). Let v(r) = r + 3. Let k be v(-2). Let d = k - 0. Is d <= m?
False
Suppose -2*i + 13 + 1 = f, -5*f + 34 = 4*i. Let g = i + -34. Let t = g + 24. Is t > -2?
False
Let f = 1/172 + -131/344. Suppose -r + 0*d + 3 = -3*d, 3*r = 2*d + 9. Let g be (-1)/((-3 + r + -1)/(-1)). Is g less than f?
True
Let p(w) = 4*w**2 + 15*w - 110. Let i be p(6). Which is smaller: i or 126?
i
Let l = 252 + -252.3. Is l at most 23?
True
Let t = -18 - -14.4. Let y = 4.6 + t. Let c = 39/14 + -1727/630. Which is bigger: y or c?
y
Let j(c) = 23*c**2 + 2*c + 3. Suppose -1 + 7 = -6*v. Let f be j(v). Are 24 and f nonequal?
False
Suppose -k + 132 = 47. Suppose 29 + 32 = -2*v - 5*o, o = 5*v + k. Which is greater: v or -20?
v
Let r = 247 + -288. Let m be (((-12)/(-9))/(-4))/1. Which is bigger: m or r?
m
Let s(g) = -g**3 - 17*g**2 + 41*g + 56. Let i be s(-19). Is 2/1467 at most as big as i?
False
Let l = -364/423 + 30/47. Do -0.81 and l have the same value?
False
Let t(n) = n**2 - 45*n + 303. Let m be t(36). Is 49 at least as big as m?
True
Suppose 3*r - n - 93 = 0, 0 = -0*n + 4*n. Let i = r + -281/9. Suppose k = 2*k - 1. Is i at least as big as k?
False
Let f = -26 - 26. Let y = f + 17. Which is smaller: y or -36?
-36
Let n = 2 - -2. Suppose -n*s + 9 - 3 = -2*w, 0 = -4*w + 20. Is s at most 6?
True
Let h = -18 - -4. Let y be (h/(-4))/(-7)*0. Let p be y - (0 + (-4)/(-14)). Is p at most 1?
True
Let y = -114 + 26. Which is smaller: y or -87?
y
Let r be 32/(-30) - (-8)/12. Is -30 at least as big as r?
False
Let g(p) = -p**3 + p**2 + 4*p - 5. Let o be g(2). Let t(v) = -2*v - 1. Let s be t(o). Which is smaller: 27 or s?
s
Suppose 0 = 2*n - 4*t - 20, -5 = 2*t + 1. Let j be (-106)/56 - n/16. Let g be (-15 - -18)/(-6 + 3). Which is greater: j or g?
g
Let w = 1557/5 + -310. Let r(n) = 2*n**3 + 125*n**2 - 65*n - 125. Let a be r(-63). Is a at least w?
False
Let f(m) = -54*m - 416. Let q be f(14). Is q not equal to -1172?
False
Let v(u) = 3*u**2 + 5*u - 22. Let h be v(-6). Is h > 56?
False
Let z(g) = g**3 + 14*g**2 + 18*g + 23. Let m be z(-12). Which is smaller: 2/5 or m?
2/5
Let w = -436/191 + 123155/49851. Let t = -1/29 - w. Is t bigger than 0.09?
False
Suppose 0 = 4*t - 9*t + 150. Suppose s + 5*r + t = -4*s, -24 = -s + 5*r. Let q = 344 - 4470/13. Which is bigger: q or s?
q
Let g = -756 - 566. Let x = 10597/8 + g. Which is smaller: x or 4?
x
Let h be 961/273 + 36/(-63) - 3. Let g = 1 - 0. Is h <= g?
True
Let w be (-51 + -1)*2/4. Let r be (w/3)/(6/9). Let f = 14 + r. Is -2/11 >= f?
False
Let g be (18/4)/9 + (-310)/(-4). Let l = g - 50. Is l < 26?
False
Let d = -93623/21 + 4453. Is -4 > d?
True
Let p(t) = 9*t**3 + t**2 + 2*t - 3. Let z be p(0). Is 5 smaller than z?
False
Let g be 65 + 8 + 2/1. Suppose -q - 4*x - 25 = 0, 3*q + g = -0*q - x. Let i be (q/(-5) + -4)/(-1). Which is bigger: i or 2/37?
2/37
Let q(i) = -10*i - 299. Let t be q(-35). Which is smaller: 0.03 or t?
0.03
Let f(q) = -q**2 + 13*q - 26. Let l be f(10). Suppose -5*o = 1 + l. Suppose -3*s - 4 = s. Are s and o non-equal?
False
Let g = 5/1437 - -222700/10059. Let a = g + -139/7. Do 1 and a have the same value?
False
Let b = -49073 - -49103.953. Let h = -0.047 - b. Let l = h - -30.9. Does l = 1/13?
False
Let w = -260 + 260.6. Which is bigger: w or 7/4?
7/4
Suppose -43*p = 26*p - 69. Suppose 3*m = -5*g + 3, 2*g + 5*m = g - 17. Which is greater: p or g?
g
Let g be (1 - 84/100)*(-1)/(-2). Suppose 5*j + 1 = -9. Which is smaller: j or g?
j
Let k = 1773/19745 + 2/1795. Let l = -0.4 + -0.6. Is l less than k?
True
Let i = -9 - -18. Let v(p) = -3*p**2 - 13*p - 3. Let u be v(-4). Which is greater: i or u?
i
Suppose -8*v = -5*o - 7*v + 12, -3*o + 15 = 2*v. Is o < -13?
False
Let t(y) = -y**2 - 23*y - 22. Let o = 32 - 54. Let m be t(o). Which is bigger: m or -2/151?
m
Suppose 37 = -y - m, 0 = y + y - 4*m + 86. Let c = y + 44. Is -7 < c?
True
Let o = -19 + 21. Suppose -12 + 4 = -o*h. Is h less than 4?
False
Suppose 2*f + 8*k - 6*k = 4, -k = -3*f - 6. Which is greater: f or 7/16?
7/16
Let q(u) = u**3 - 8*u**2 - 9*u - 1. Let d be q(9). Let r be (d - 3)*(-4)/(-2). Suppose 0 = -269*z + 268*z - 7. Which is smaller: z or r?
r
Suppose a - 47 = 5*a - 3*j, 5*a + 61 = 3*j. Let n be (-12)/a*(-7 + 0). Is n > -5?
False
Let b be (2/(-4))/(1/4). Suppose 5*o = -3*i - 17, 4*o + 2*i = -5 - 9. Is o < b?
True
Suppose 5*a - 4*y + 3638 - 593 = 0, 3*y = a + 620. Let d = -13917/23 - a. Let k = -1 - -1. Which is bigger: d or k?
k
Let y(j) be the first derivative of -j**2/2 + 4*j - 5. Let x be y(3). Suppose x + 19 = -4*c. Is c at most -0.2?
True
Let o(q) = -q**2 + 1. Let x(y) = 4*y**2 - 12*y + 12. Let g(p) = -5*o(p) - x(p). Let z be g(-11). Which is greater: -29 or z?
z
Let p(y) = -2*y + 4. Let u be p(6). Which is bigger: -4 or u?
-4
Let z = -101 - -106. Which is bigger: z or -4?
z
Suppose 0 = -16*n + 18 - 18. Is n smaller than 6/65?
True
Let f be 8/(-20) - (-34)/10. Suppose f*s + 3 = -0*s. Let i be (-34 + 32)*(-4)/(-9). Which is smaller: i or s?
s
Let g = 1.3 - 0.3. Let h = -25 + 23. Let p = g + h. Is p < 0.1?
True
Suppose 0 = -4*o + 5*v + 1575, -3*o - v + 6*v = -1185. Let h be 2/6 - 125/o. Which is smaller: -1 or h?
-1
Let l(a) = -a**3 - a**2 + 3*a + 5. Let d be l(-2). Suppose 4*h = 5*g + 54, d*h = h - 2*g + 36. Which is smaller: h or 17?
h
Let l = -790 + 782.14. Let d = -8.8 - l. Let q = 0.06 - d. Is q at most as big as 1?
True
Let s be (6/12)/(1/4). Suppose t - r + 3 = 0, 0 = -3*t + r - 0 + 1. Is t less than s?
False
Let k(a) = 2*a + 2. Let f be k(-3). Let c = -1588/3 + 534. Let w = f + c. Is 7 at most w?
False
Let k = 7 + 0.3. Let f = 7.19 - k. Is -0.3 greater than or equal to f?
False
Suppose -8 + 2 = -2*b. Let v be -6 - ((b - 0) + -1). Let h(g) = g**2 + 10*g. Let o be h(-9). Is v < o?
False
Let p be -5 - (104 - 24/3). Which is smaller: p or -98?
p
Let r = 46 - 964/21. Let g = -19.9 - 0.3. Let s = 20.4 + g. Is r less than s?
True
Suppose f - 100 = -4*l, 3*f + l - 318 + 51 = 0. Let r(i) = -i**3 - 7*i**2 - 11*i + 12. Let d be r(-7). Which is smaller: f or d?
f
Let t = 115 - 82. Which is bigger: 32 or t?
t
Let 