e
Let z(r) = -r + 14. Let a be z(14). Which is smaller: a or 1?
a
Let k be (30/4)/(1/(-2)). Suppose -16*o - 214 - 10 = 0. Is k at least as big as o?
False
Let h be (-5)/((-20)/2)*(-2 + 0). Let p = 1 + -2. Is h at most p?
True
Let z = 44 + -747/17. Let g = -0.18 + 0.28. Is z not equal to g?
True
Let m = 12 + -19. Let n = 8 + m. Which is greater: 1/4 or n?
n
Let p be (69/(-27))/(2/(-3)). Let c = p - 13/6. Is 3 at least c?
True
Suppose -12 = 2*b - h, 0 = 4*h - 0*h. Let d be (-57)/b - (-3 + 5). Which is greater: 8 or d?
8
Let a be 26/(-7) - (-4)/(-14). Let g = 2 - 5. Let x be 0 + 6/g + -1. Which is bigger: a or x?
x
Suppose 21 = 5*h - 39. Let o(p) = -p + 14. Let c be o(h). Is -1 less than or equal to c?
True
Let n = -1.6 - -3.5. Let t = 2 - n. Let b = t + 0.1. Do b and 2 have different values?
True
Let w be ((0 - -3)/3)/1. Let v be w - 2/6*3. Suppose 0 = s - v*s. Is 0 bigger than s?
False
Let p = 20 + -15. Are p and 4 unequal?
True
Let d(r) = 1 - 3 + 0 - 2*r - 3. Let h be d(-4). Let a be (h + (-3)/1)/1. Which is bigger: a or -3/8?
a
Let f(b) = 8*b**3 + 2*b**2 + b. Let u be f(-1). Which is smaller: u or -5?
u
Suppose -4*l + 0*l - 44 = 0. Let o = 15 + l. Let a be 0 + o/18 + 0. Is -1 < a?
True
Let o = -6 - -6. Let j be (o - (-1 + 1))/1. Let y = -0.01 - -0.31. Which is greater: j or y?
y
Let g(a) = -a - 1. Let u be g(-6). Suppose 2*r + 34 = 4*i, 0 = 2*i + 3*i - u*r - 55. Suppose p - i = 4*p. Which is bigger: -1 or p?
-1
Let x be (((-6)/36)/((-6)/135))/(-12). Are x and 0 non-equal?
True
Suppose -11*n - 8*n = 76. Is n at least -40/11?
False
Suppose 3*w = 3*x - 21, 8*x = 3*x + 15. Which is smaller: w or -6?
-6
Let t = 4 - 6. Let w = 0.25 + 0.05. Are w and t nonequal?
True
Let m = -0.35 - -0.3. Let n = 0.25 - m. Let p = 2.3 - 2.2. Which is greater: p or n?
n
Let z(h) = -h**2 + 1. Let j be 1 + -4 + (0 - -1). Let s be z(j). Is s at most -1?
True
Let d = 165 + -165. Let n(k) = k + 9. Let u be n(-7). Which is smaller: u or d?
d
Suppose 5 = 4*x - 3. Let z be 2 + (6/(-27) - x). Is -1/5 bigger than z?
True
Let h = 2.2 + -0.2. Which is smaller: h or -0.2?
-0.2
Let b be -2 + 4 - 0/(-7). Let u be ((-2)/3)/((-6)/9). Let f = u - b. Is f greater than 0?
False
Let o be (4/12)/(2/(-4)). Let x = 34554/35 + -6390/7. Let h = 74 - x. Which is smaller: o or h?
o
Let k = -125 - -877/7. Suppose 3*w - 35 = -l - 4*l, 0 = 5*w - l - 21. Suppose 5 = 4*o - 9*o - 2*h, -5*o - 3*h = w. Which is greater: o or k?
k
Let x = -33 - -295/9. Suppose -48*i + 49*i = -1. Is x at least as big as i?
True
Let j(i) = -i**2 - 7*i - 6. Let u be j(-5). Let h be 4/52*(-2 - u). Let l(s) = -s**2 - 4*s + 4. Let t be l(-5). Which is smaller: h or t?
t
Let j = 7 - 8. Let w be (j/5)/(20/25). Which is smaller: 0 or w?
w
Let a = 10 + -8. Let m(n) = -n + 2. Let k(b) = b - 2. Let f(h) = -5*k(h) - 6*m(h). Let v be f(a). Which is smaller: v or 1?
v
Let r be -2 + (1 - 9) + 1. Let c = r - -7. Which is greater: c or -5/2?
c
Suppose -4*f + f = -5*p + 19, 5*f = -2*p + 20. Let m be p/6 + 1/(-2). Let s be 2/(-4)*0/(-2). Is m bigger than s?
True
Let a = 7 - 2. Suppose 4*m - 4 = v, m + 8 + 2 = 3*v. Suppose 0 = -4*x + a*z + 12, 2*x + x + v*z - 9 = 0. Is 2 bigger than x?
False
Let m(o) = 6*o**2 - 2*o - 1. Let b(g) = 7*g**2 - g - 1. Let y(n) = -5*b(n) + 6*m(n). Let i be y(7). Is -1 < i?
False
Let c(m) = 0*m - 1 + m + 5 + 2. Let x be c(-6). Which is greater: -2/5 or x?
x
Let d = 1/3 + 0. Suppose 2*o - 1 + 3 = 0. Which is bigger: d or o?
d
Suppose -2*p - p + 9 = 0. Suppose -p*d - 6 = -5*d. Suppose 1 = -2*u + d*t, -2*u = -2*t - 0*t + 2. Is u equal to -2?
True
Let o(j) = j**2 + 3*j - 7. Let c be o(-5). Suppose 0 = -c*y - 0*y - 4*g + 2, 5*y - g + 12 = 0. Let d be (-12)/(-10) - y/(-10). Which is greater: 2 or d?
2
Let f = 63 - 93. Which is greater: 0.3 or f?
0.3
Let s be (0 + 2)*15/(-12)*2. Which is bigger: s or -9/2?
-9/2
Let g(n) = -n**2 - 5*n + 4. Let v be g(-5). Let x(r) = -r**2 - 6*r. Let h be x(-5). Is h > v?
True
Suppose -4*d - 76 = -5*u, 3*d + 0*d + 60 = 4*u. Let r be (-16)/(-10) - u/20. Is r < 0?
False
Let f = 264 - 1844/7. Suppose 3*m - 8*m = -5. Which is smaller: m or f?
f
Let g be (2/(-5))/(1/(-10)). Suppose -5*d = g*l - 8, 0 = 3*d - l - 3*l + 8. Which is greater: -2/7 or d?
d
Let i(w) = -w + 8. Let d be i(2). Which is smaller: 4 or d?
4
Let l = -71 + 42. Which is greater: l or -0.1?
-0.1
Let w be (6/92)/(2/4). Are 0 and w equal?
False
Suppose -15*l = -9*l. Which is smaller: l or 1?
l
Suppose -5*h = 2*f + 16, 0*h + 3*h + 22 = 5*f. Let b be h/(-69)*(-18)/(-12). Which is greater: b or 1?
1
Let h(n) = n**3 - 4*n**2 + 3*n + 2. Let f be h(3). Let z = 12 + -10. Is z <= f?
True
Suppose -9*w - 59 = -50. Let x be (-3)/5 + 4/(-10). Let u = -2 - x. Do u and w have different values?
False
Let y = 209111 + -1880044/9. Let n = y - 217. Let j(t) = t**2 - 3*t - 5. Let v be j(4). Which is smaller: v or n?
v
Let w = 14 + -11. Which is smaller: -2 or w?
-2
Let u be 2/(-7)*2*(-1)/(-2). Is u at most -9?
False
Let v(g) = -g**2 - 5*g + 2. Let x = 4 + -9. Let q be v(x). Let w be (-1)/((-2)/q)*-1. Which is bigger: -2/11 or w?
-2/11
Let i be 2*(-2 - (-9)/6). Let z = 0 + -2. Let k = z - i. Which is smaller: k or 0?
k
Let r = 0 - -2. Suppose q + g + 5 = 0, 0 = g + 3*g. Let n = q + 7. Is r bigger than n?
False
Let u(b) = 2*b**2 + 4*b + 1. Let s(l) = l**2 - l + 1. Let o(h) = -3*s(h) + u(h). Let w be o(5). Suppose 5*r = r + w. Which is smaller: r or 1?
1
Let y be 4/6 + (-10)/(-3). Suppose -y*f - 2*s + 10 = -2, 5*f - 4*s = -11. Let z be f/((1/(-1))/(-1)). Is 1 > z?
False
Let m be 3/(-12)*(-5 + 4). Is 6 > m?
True
Suppose -p + 50 = 5*k, 3*p + 30 = 3*k - 0*k. Let v = 9/17 - 97/119. Is k greater than v?
True
Suppose 5*r - 18 = -3*n, 6*n - 11 = n - 2*r. Let p = 0.8 - 1. Is n at most p?
False
Suppose 4*n - b = 8, b - 4 = -2*n - 0*b. Suppose -21 = -n*z + 19. Suppose -2*j + z = -4*j. Does -10 = j?
True
Let j = 5 - 7. Let f be (-430)/(-35) + (-2)/7. Suppose -3 = 5*y + f. Which is smaller: y or j?
y
Suppose -29*x - 5 = -34*x. Are -4/25 and x nonequal?
True
Suppose -31 = -4*b + 1. Let w be (-1 - (-22)/b)*4. Which is greater: 6 or w?
w
Suppose 0 = 5*p + 2*v - 22, 3*p - 14 = -0*p - v. Suppose p*k = k + 25. Suppose -3 = k*h - 4*h. Are h and -3 equal?
True
Let u = 15 + -16. Are u and -9/8 unequal?
True
Let m(o) = 4*o - 26. Let p be m(8). Is -2 equal to p?
False
Let t(k) = k**2 - 7 + 0*k - 2 + 3 - 5*k. Let o = 16 - 10. Let s be t(o). Is 2/3 >= s?
True
Let r = 0.063 + -1.063. Is r at most as big as -2/9?
True
Suppose 0 = 3*q - 2*q + 17. Let t be (q/(-4) - 1) + -2. Which is greater: t or -1/2?
t
Let u = -301 - -297.71. Let p = u - -0.29. Which is smaller: 2 or p?
p
Let s(a) = 2*a + 7. Let r be s(-5). Let d = -2 - r. Which is smaller: d or 0?
0
Let h = 0 - -2. Suppose -4 = -z + h. Is 6 >= z?
True
Let y = 5.7 - 0.7. Let s = 8 - y. Let b = s - 5. Is b at most -1?
True
Let l = 67/90 - -1/180. Do 0.12 and l have the same value?
False
Let b = -6 - -9. Let y be 3 - ((-19)/(-5))/1. Which is greater: b or y?
b
Suppose -6*r - 12 = 24. Let t = 8 + -14. Is r bigger than t?
False
Let k(q) = q + 3. Let n be k(0). Suppose 1 = -n*x + 4*x. Which is smaller: -1/4 or x?
-1/4
Suppose q = 3*c, -5*c = 4*q - 3*q - 8. Which is bigger: -5/11 or c?
c
Let p = -0.12 + 0.23. Let s = -0.01 + p. Are 0.1 and s unequal?
False
Let p = -16 + 15.81. Let x = 0.19 + p. Which is greater: x or 0.4?
0.4
Let r(t) = -3*t + 15. Let p be r(8). Is p less than or equal to -7?
True
Let p = 791/4 + -199. Suppose -2 = -3*o + 22. Suppose -2 = -3*n - o. Which is smaller: n or p?
n
Suppose -r = 0, -4*t + 3*t = -r - 30. Let q = t - 92/3. Suppose -2*k + 15 = -1. Is k >= q?
True
Let l be 390/25 - 4/(-10). Let q be 732/l - (-2)/8. Let w be (-2)/12 - q/(-60). Which is bigger: 1 or w?
1
Suppose 0 = -8*v + 42 - 34. Let j = -272/7 - -39. Is j bigger than v?
False
Let w = 36/13 - 1823/663. Which is bigger: w or -1?
w
Let q(w) = -3*w + 13. Let a be 26/(-65) - (-44)/10. Let t be q(a). Let j be 2/2 + (-11)/8. Which is bigger: t or j?
t
Let a(q) = -q**2 - 4*q. Suppose 0 = 4*m + v + 14, 5*m + 0*v = -v - 18. Let u be a(m). Is u smaller than 1/20?
True
Let s(t) = t**3 + 2*t**2 - 1. Let n be s(-1). Let g be 114/22 - (-8)/(-44). Suppose 0*v + g*v = -15. Which is greater: v or n?
n
Let j be 44*((-5)/2)/(-5). Suppose -y + 3*n = j, y - 2