. Which is smaller: 3/4 or o?
o
Let g = -0.4 - -0.5. Let j = -601/2 + 309. Let t = j - 8. Is t at most as big as g?
False
Suppose -20 = 4*i - 2*g, -i - g + 1 = 6. Let s be ((-36)/(-105))/((-2)/i). Is 0 less than or equal to s?
True
Let o = -30 - -30. Let i = -0.12 + 0.72. Let c = -0.9 + i. Which is greater: c or o?
o
Let c be (1/(-3))/((-3)/18). Let j be 30/42 + (-2)/c. Suppose 39 = 22*n + 17. Do j and n have the same value?
False
Suppose 4*z + u + 9 = 0, 0 = 2*z + 4*u + 6 + 16. Do z and 3/62 have different values?
True
Let z be -1 - 10/(-12)*1. Let q = z - -17/30. Let h be (16 + -13)*3/(-9). Which is bigger: q or h?
q
Let i(a) = a**3 + 4*a**2 - 16*a + 30. Let u be i(9). Let w = -38497/41 + u. Which is smaller: 1 or w?
w
Let b = -111.5 - -111. Is b at most -2?
False
Let r be 7425/(-20) + (3 - 22/8). Which is smaller: -372 or r?
-372
Let d = -765 + 764.9. Which is bigger: -382 or d?
d
Let s(b) = -20*b**3 + 7*b**2 - 17*b + 6. Let z be s(2). Is -159 smaller than z?
False
Let a be 22/(-8) + 2/(-8). Let y be 43/(-9) + 16/(-72). Is a smaller than y?
False
Let a(d) = -2*d**3 - 43*d**2 - 8*d - 1. Let q be a(-21). Do -273 and q have the same value?
False
Let y be 3 - (-1 - 5) - (2 - -2). Suppose n + 9 = 3*d, -n - 15 = -0*n - y*d. Let u = -0.63 - -0.03. Which is smaller: n or u?
u
Suppose 10*g = -4*j + 7*g - 41, 5*g + 23 = -j. Let l = j - -42. Which is greater: 32 or l?
l
Let o be (210/2394)/((-10)/(-12)). Which is smaller: 34 or o?
o
Let o be 1 + 30/(-36) + 6/36. Is -0.18 less than o?
True
Let v be 0 - (-4 + (-6543)/(-1638)). Is 1 less than v?
False
Suppose 4*u = 13 + 7. Let w be (-31)/(-4)*(2 + 2). Suppose 0 = d - 3*x + 1, 2*x - w = -5*d - x. Is d less than or equal to u?
True
Suppose 4*o = -2*v + 138, 0*o = -o + 5*v + 62. Let c = o - 63. Let a be (-30 - 0) + 9/3. Which is smaller: a or c?
a
Suppose -6*a = -0*a + 432. Which is smaller: a or -71?
a
Suppose 8 - 48 = -5*h. Let j = -5 + h. Suppose j*b + b = -4. Which is smaller: -3/14 or b?
b
Let u be 118/(-6) + 20/(-60). Let t = -25 - u. Is -2 <= t?
False
Suppose 0 = k - 0*k - 7. Let v(p) = 32*p - 983. Let g be v(31). Which is bigger: k or g?
g
Let k(j) = j**3 - 7*j**2 - 7*j + 4. Suppose -2*z + 38 = 3*z + l, z - 16 = 4*l. Let d be k(z). Suppose -3*g - d = -0*g. Is -4 <= g?
True
Let m be 1 + (-4)/((-4)/379). Suppose 5*b + 555 = -m. Let v = 2433/13 + b. Is v at least 1?
False
Let m(p) = 265*p + 1023. Let a be m(-5). Which is greater: a or -306?
a
Let o be ((-77)/63*-3)/((-1)/(-3)). Suppose a - o = 3*c + 5, -2*a + 27 = -5*c. Which is bigger: a or 5/6?
a
Let l = -0.39791 + 0.07791. Suppose -5*n + 3 = -2*n. Are n and l non-equal?
True
Suppose -4*m - 13 - 15 = 0. Let f(g) = -g**3 - 8*g**2 - 7*g + 1. Let v be f(m). Let w = 157 + -3295/21. Is w less than or equal to v?
True
Let q(b) = -3*b**2 - 24*b - 263. Let s be q(-9). Which is greater: -288 or s?
-288
Let w be (-49)/490 + (-77)/30. Is 1 > w?
True
Let d(n) = -n**2 - 14*n - 10. Let x be d(-12). Suppose -2*i + 8 + x = 0. Let p = -17 + i. Which is smaller: p or -5?
p
Let r be 3/(-9) - (-25183)/429. Let m = 693/13 - r. Let d = 5 + m. Is -1 smaller than d?
True
Let z be (-8)/2*(-1 + 0). Suppose -z*f + k + 16 = 0, 0*k = 4*f + 4*k - 16. Suppose r - 9 = 2*r + 4*g, -2*r - g = f. Which is greater: 1 or r?
1
Let f = 0.14 - 0.22. Let k = f + -0.1. Let s = 0.08 + k. Are -0.03 and s non-equal?
True
Let d(c) = -c**3 - 13*c**2 + 2*c + 2. Let v be d(-13). Let f = v + 13. Suppose -4*a = -3*a + 11. Does f = a?
True
Suppose 42 = 42*k - 35*k. Is 7 at most as big as k?
False
Let i = 47 + -189/4. Let m = 2.02 + -0.02. Let x = 4 + m. Which is smaller: x or i?
i
Suppose p - 1 - 3 = -2*s, 5*p - 9 = s. Which is bigger: s or 0.72?
s
Suppose 0 = -11*j + 6*j + 45. Which is smaller: 57/7 or j?
57/7
Suppose 0 = -2*x + 79 + 125. Let c = 61 - x. Let p = -42 - c. Which is smaller: p or -2/13?
p
Let o = -1 + 77. Let f = o + -78. Is f greater than or equal to -1?
False
Let s = -1079 - -1079. Which is greater: s or 22/27?
22/27
Let i(r) be the second derivative of -r**4/6 - 2*r**3/3 + 4*r**2 + 17*r. Let y be i(-4). Is y greater than -1?
False
Let y = 324 + -324.6. Is y > 0.9?
False
Let b = 10 + -7. Let x be (-12)/(b*(-6)/9). Suppose 0 = -x*u + u. Which is bigger: 1.1 or u?
1.1
Suppose -2054 = y - 4*y + z, -y + 688 = -2*z. Which is greater: y or 683?
y
Suppose 7*i = 2*l + 5*i - 104, 2*i + 48 = l. Is 3 <= l?
True
Suppose -2*i - 209 = -39. Let c = 84 + i. Which is bigger: 1/62 or c?
1/62
Let n be 3/(-2)*-2 - -1. Suppose -2*c + 30 = -n*g, 0*g - 2*g = 2*c. Are c and 3 equal?
False
Let r = -2 + -13. Let u = 7 + r. Let q(m) = m**3 + 7*m**2 - 8*m + 1. Let j be q(u). Which is greater: j or 5?
5
Let v = 4 + -7. Let u(f) = -13*f. Let t be u(0). Let y be (t - (-3)/(-8))*(-12)/18. Are v and y equal?
False
Let n(w) be the first derivative of 7*w**2/2 + 3*w - 12. Let p be n(-1). Let b be (p - 0 - -3)/27. Which is smaller: 1 or b?
b
Let j(y) = y**2 + 3*y - 2. Let q be j(-2). Let p = -3 - q. Suppose -21*f + 148 = 379. Is p < f?
False
Let r = -11 - -6. Let h(b) = 16*b**2 + 83*b + 17. Let c be h(-5). Which is smaller: c or r?
r
Suppose -5*c - 60 = -80. Let l = 262 - 778/3. Which is smaller: c or l?
l
Suppose -y - 1 - 6 = 3*x, -2*y + 30 = -5*x. Let t = x + -11. Is -12 less than t?
False
Let l = 2 + -2.5. Let u = 0.5 - l. Let v = 0.0096 - 2.0096. Is v greater than u?
False
Let a be (-4)/(-8)*4 - 4. Let l be (-9)/(1080/136) + a/(-15). Is -1/30 greater than l?
True
Let x(t) = -t**3 + 10*t**2 - 27*t + 87. Let v be x(8). Which is bigger: 707 or v?
707
Let j = -96 + 95. Is -209 not equal to j?
True
Suppose -15*g = -14*g + 53. Which is smaller: g or -55?
-55
Let f = 959 + -954. Are f and 70/19 unequal?
True
Suppose 5*k = -15, 0 = g - k - 4 - 6. Which is greater: 45/8 or g?
g
Let x(u) = -u - 5. Let p be x(-5). Let d(n) = -9*n - 4 - 7 - 2*n - n**2. Let f be d(-10). Does p = f?
False
Suppose 121 = 13*s - 126. Suppose -3*j = 2*o - s, -22 = -0*j - 2*j + o. Is -0.2 at most j?
True
Suppose 12*t = 40 - 4. Which is smaller: 210 or t?
t
Let g = 151.0732 + -0.0332. Let h = g + -151. Is 0 != h?
True
Let c = -828.3 - -827. Is c at most as big as 1/17?
True
Let a be (-7)/(-2)*10/35. Let b be (-216)/(-116) - (a - -1). Is b at least 0?
False
Let d = 21.4 - 3.4. Let i = -11.28 + d. Let w = i + -7. Which is smaller: w or 1?
w
Let k = 0 - 0. Let v = -2322 - -2312. Which is smaller: k or v?
v
Let r be (-6 - 9)/(1/(2 - 7)). Let p = -222 - -297. Does p = r?
True
Let x = 1807.944 - 1808. Is 0.07 at most x?
False
Let c = -0.115 - -0.095. Which is greater: -0.4 or c?
c
Suppose 4*x - 9 = 7, 907 = -3*b - 5*x. Is -308 bigger than b?
True
Let y = 1 - 0.9. Let b be (7/(-14))/((-2)/(-1260)). Let s be 468/b - 6/(-21). Is y != s?
True
Let l(k) = -k**3 + 2*k**2 + 4*k + 1. Let v be l(3). Let r be 8/v + (-10)/6. Let d be -8*-1*1/6. Are r and d non-equal?
True
Let s(a) = 5*a + 10. Let l be s(-7). Let x = 37 - 13. Let h = x + l. Which is bigger: h or -6/5?
h
Let r = -775 + 774.8. Which is greater: 95 or r?
95
Let h(c) be the first derivative of -c**4/4 - 10*c**3/3 + 13*c**2/2 + 14*c + 2. Let a(z) = z - 25. Let n be a(14). Let g be h(n). Is g at most -8?
True
Let o be (-5)/(-2) + (-376)/(-16). Is 26 < o?
False
Let d(y) = -3*y + 50. Let t(m) = 2*m - 33. Let w(h) = 5*d(h) + 7*t(h). Let f be w(22). Let b be 3/(-1) + -1 + 3. Which is smaller: f or b?
f
Let v be (44/(-16))/(-5 + 2). Let y = -9/4 + v. Let z = 4 + -6. Which is greater: y or z?
y
Let s = -53 - -57. Let a be (s/16)/((-3)/(-6))*8. Which is smaller: 14/3 or a?
a
Let m be ((-4)/(-12))/((-7)/(-6)). Let t = -388 + 388.4. Is t bigger than m?
True
Suppose 0 = 24*n - 27*n - 117. Let g be (-3)/10*(-26)/n. Which is smaller: -0.1 or g?
g
Let y be 105/33 - 3 - (-2)/22. Suppose -4 = -5*a + 2*r, 8*a = 3*a - 4*r - 8. Is y less than or equal to a?
False
Let v = -4.5 + 4.5. Which is greater: v or 0.051?
0.051
Suppose 44 = 58*h - 47*h. Which is smaller: 84/11 or h?
h
Let o = -1805.5 + 1805. Let l = 45/98 - -2/49. Do o and l have the same value?
False
Let z = 70 - 99. Is z greater than -29?
False
Let i be ((-82)/20)/(6/(-15)). Let p(q) = q + 7. Let h be p(4). Is i at most as big as h?
True
Let h be 123/6 - (-1 + (-3)/(-2)). Suppose 5*m = m - h. Is m bigger than -3?
False
Let p be 10/6 + 18056/(-111). Which is smaller