s l at most w?
False
Let r = 59 + -52. Is 8 at least as big as r?
True
Let a be 2/(-6) + (-24)/(-18). Let w be -2 - (278/120)/(-1). Let v = w + -1/15. Which is smaller: a or v?
v
Let k be (-5)/20 + 2/(-56). Suppose -4*j + 19 + 21 = 0. Let l = 11 - j. Is k at most l?
True
Let h be (4 + -3)*(1 + -2). Let d be h/(-4) - (-36)/(-16). Is -4/7 greater than or equal to d?
True
Suppose 3*q = -q. Let p be q*2*(-3)/6. Which is smaller: p or 4?
p
Let n = 137/380 - -3/76. Suppose 2*t - 6 = -2*t - 2*s, 3*t - 5*s + 15 = 0. Is n != t?
True
Let a be 4/32*-6 - (-2 + 2). Is a greater than or equal to -2?
True
Let k = 2.1 - 0.1. Let j be -1 + (-3)/((-36)/10). Which is greater: j or k?
k
Let i = -0.09 - -0.49. Let r = 5.4 - i. Which is smaller: r or 0.2?
0.2
Let i(k) = -k**3 - 10*k**2 - 8*k + 3. Let q be i(-9). Let m = q + 12. Let t be 12/105 - m/15. Is 0 < t?
False
Let c(l) = 4*l**2 - 1. Let b = 15 - 11. Let r = -3 + b. Let u be c(r). Is 3 > u?
False
Suppose -y + 0*y + 2 = 0. Let i(f) = 2*f**2 - 3*f + 1. Let a(p) = 2*p**2 - 3*p + 1. Let u(q) = -6*a(q) + 7*i(q). Let t be u(y). Which is bigger: 2 or t?
t
Suppose -30 = -3*n - 5*j, -j = -n + 2*j - 4. Suppose -2*o = 2*o - 5*l - 32, -l = n*o - 11. Which is smaller: -1 or o?
-1
Suppose 2*v + p + 0*p - 16 = 0, -3*v - p + 22 = 0. Let k be (-4)/v + 30/54. Let y = -22 + 21. Is y less than or equal to k?
True
Let m be (3346/(-63))/(2/3). Let d = m - -79. Suppose 0 = k + 4*b + 2, -2*k = 3*k + 5*b + 10. Which is smaller: d or k?
k
Suppose 26*w = 21*w + 5. Let y = -91/5 - -753/40. Which is smaller: w or y?
y
Let p = -19 + 21. Suppose -8 = -3*i - 4*a, a + 2 = -p*i + 4. Which is bigger: i or 1/7?
1/7
Suppose 4*o - 2*o + s + 42 = 0, 6 = -3*s. Let t = o - -59/3. Is t not equal to 1?
True
Let a be 1/(-1*(-1)/(-10)). Which is greater: -28/3 or a?
-28/3
Let v = -7 + 6. Which is greater: v or 2/7?
2/7
Let n = -3 - -5. Let y be (n - 2)/((-4)/(-2)). Let x be 2/11 - (-4)/(-11). Which is smaller: y or x?
x
Let w(f) = -f**3 + 7*f**2 + f - 2. Let s be w(7). Suppose -2*a - 2 = l, a + s - 4 = 4*l. Which is smaller: a or -1/4?
a
Let y(i) = -i - 4. Let m be y(-3). Let f = 4.6 - 2.7. Let t = 2 - f. Which is greater: t or m?
t
Suppose -x = -2*x - 4. Let h(u) = -u**3 - 8*u**2 - 2. Let q be h(-8). Let w be -1 + -6 - 4/q. Which is smaller: w or x?
w
Let p be (-48)/18*18/(-8). Which is smaller: p or 7?
p
Let k be ((-6)/(-165))/(2/10). Suppose -2*n = 3*m - 9, 3*m + 2 - 20 = -5*n. Is k equal to m?
False
Suppose 3*s - 20 = 3*g - 7*g, -12 = -2*g - 2*s. Let w be -2 - (-1 - 2)/(-3). Let y = g + w. Is -1 equal to y?
True
Suppose -4 - 8 = -4*g. Suppose -3*u - u - 7 = g*j, -4*u + 5*j = -1. Let h = -2 - -1.7. Which is smaller: u or h?
u
Let f = -0.12 + 5.12. Let w = -3 - 0. Let x = -4 - w. Which is bigger: f or x?
f
Suppose -i - 20 = -2*k - 1, 4*k - 23 = i. Suppose -5*w - 74 = y, -7*w + y - 61 = -3*w. Does w = i?
True
Let j = -17/14 + 12/7. Suppose 0 = -5*o + 3*g + 25, -3*o + 16 = g - 3*g. Is o bigger than j?
True
Let x be (22/(-231))/((-1)/(-4)). Which is bigger: x or 0?
0
Let a = -8/9 + -4/9. Which is greater: a or -0.1?
-0.1
Let a(n) = n**3 + 5*n**2 - 8*n - 11. Let b be a(-6). Which is smaller: -1 or b?
-1
Let s = -2/1225 + 356/3675. Let n(h) = h**3 - 6*h**2 - 6*h - 6. Let a be ((-3)/(-12))/(1/28). Let v be n(a). Do v and s have the same value?
False
Let z(g) = -5*g - 1. Let c be z(-1). Let k be 1*(-1)/(-2)*c. Is 2 smaller than k?
False
Let y be ((-2)/(-3))/(-38 - -9). Which is smaller: y or -1?
-1
Let n(k) = k**3 - 10*k**2 + 9*k. Let m be n(9). Which is smaller: -1/5 or m?
-1/5
Let k be ((-54)/3)/(5*(-3)/(-45)). Which is greater: -55 or k?
k
Suppose 0*b - 4*b - 34 = z, 81 = -2*z + 5*b. Is -38 less than z?
False
Let k = -0.66 - -0.65. Which is smaller: k or 2/9?
k
Suppose 5*v - 15 = 2*v. Suppose 0 = 2*o - 6*d + d - 7, o = 2*d + 4. Which is bigger: v or o?
o
Suppose 6*n = n. Suppose -i + 2*i - 2 = n. Suppose 5*j = -4*o + i*o - 15, 4*o - 2*j = 6. Is 2 at most as big as o?
False
Let w = 32 + -35. Is -42/13 at least as big as w?
False
Let f = -7 - -13. Let s be (-1)/(-2)*(-16)/f. Is 0 < s?
False
Let r = 96/85 + -26/17. Suppose -4*j = b + 2*b - 9, -4 = -3*j - 5*b. Let o = 2 - j. Which is smaller: r or o?
o
Let f = -1.3 + 2.36. Let m = f + -0.16. Let x = m + 5.1. Is x < 0?
False
Suppose -t = 2*t + 5*n - 10, 4*t - 15 = -5*n. Suppose -5*l = 1 - 16. Suppose l*q + 5*d = d - 25, -t*d - 5 = -5*q. Is -2 at most q?
False
Let d be -2 + (1 - (-16)/1). Suppose 7*k = 2*k + d. Which is smaller: k or 4?
k
Suppose 3*v + 3 = -2*l - 2*v, -3*v = -2*l + 5. Is -4/21 not equal to l?
True
Let c be (-15)/(7 - 2)*4/(-6). Which is smaller: c or -7/4?
-7/4
Suppose 4 = 2*x + 2*x. Is -4/9 bigger than x?
False
Suppose o + 45 = -4*d - d, -3*d + 2*o = 14. Let a = 7 + d. Let y = 2 + -4. Which is greater: a or y?
a
Suppose 0 = 5*m - 1150 - 225. Let w = -3027/11 + m. Which is smaller: w or 1?
w
Let q be (-2 - (-21)/9) + (-309)/9. Does -34 = q?
True
Suppose 3*g = -g + d + 44, -14 = -g + d. Let p be (8/g)/(24/4). Let z(l) = -l**2 + 4*l - 2. Let c be z(3). Which is smaller: c or p?
p
Let y(t) = -4*t**2 + 8*t - 9. Let i be y(-5). Is i less than or equal to -149?
True
Let b(a) = -a**2 - 6*a + 6. Let f = 11 - 17. Let q be b(f). Which is smaller: q or 2?
2
Let y = -31/4 - -15/2. Let c = 3.5 - -0.5. Let j = c + -9. Which is smaller: j or y?
j
Let z(b) = -b + 2. Let i be z(1). Let t = 70 + -70.1. Is t less than or equal to i?
True
Let k(f) = f**2 - 10*f - 6. Let l be k(10). Let n be ((-2)/(-25))/(l/(-10)). Which is smaller: n or -1?
-1
Let w = -39 + 12. Let t = 191/7 + w. Let v be (-1)/4 - 1/(-4). Which is greater: v or t?
t
Let g be 0 + -2*4/(-4). Suppose g*x + 48 = -5*y + 4*x, -2*x = y + 12. Is -1 less than y?
False
Let m(h) = -h**3 + 7*h**2 - 7*h + 3. Suppose q = 8 - 2. Let k be m(q). Let n = k + 3. Which is smaller: n or 1?
n
Let s = 0.06 + -0.15. Let z = s + -0.31. Suppose -y - 4*y = -5. Which is smaller: z or y?
z
Suppose -l = l + 4. Let s = -0.1 - 0. Let g = 0.2 + s. Is l at most as big as g?
True
Let m = 0.016 - -0.084. Which is bigger: -1/50 or m?
m
Let s = 199/5 - 40. Let x = 53 + -52. Is s < x?
True
Let p = 5 - 3. Which is smaller: 1/2 or p?
1/2
Suppose -5*y + 2*a - 3*a = -1, -4*a + 4 = y. Let u be -1 - -2*6/4. Which is greater: u or y?
u
Suppose 2*v = -5*y + y + 44, -62 = -5*y + v. Is 12 equal to y?
True
Let t(a) = a**2 - 6*a - 1. Let p be t(6). Suppose 0*o + 12 = -3*g + 2*o, 0 = -3*g - 5*o - 12. Let w = g - p. Which is greater: -1 or w?
-1
Let d = 22 - 23. Do -14 and d have the same value?
False
Let h = 18 + -17.94. Does h = -0.1?
False
Let f = 733 + -25652/35. Let z = f - -17/35. Which is greater: z or 1?
1
Suppose 2*k - 10 = -0. Suppose 2*z = k*t - 7, -3*t - 19 = 3*z - 2*t. Which is greater: z or -5?
-5
Let v = 17 + -15. Which is greater: v or 1?
v
Let q(f) = -f - 9. Let z be q(-6). Let j(t) = 3*t + 2. Let n be j(-2). Which is smaller: n or z?
n
Let a = -1 + -2. Are a and 0 non-equal?
True
Let p(b) = b**3 - 5*b**2 + 2*b + 4. Let x be (-12)/(-3 - 0)*1. Let j be p(x). Let m = -221/90 + -2/45. Which is smaller: j or m?
j
Suppose 0*a + 25 = -5*a. Which is smaller: -4 or a?
a
Suppose 5 = 5*u, 2*h - 4*h + 8 = 4*u. Let y be ((-4)/6)/(2/(-15)). Suppose 3*b = -l, y*b = h*l - l + 16. Is l > -6?
False
Suppose 4*x - 4 = -8. Let h be (1 + -6)*(-8)/(-10). Let q = -5 - h. Is x not equal to q?
False
Let p = -5.5 - -1.5. Which is bigger: p or 1/2?
1/2
Let o be (2 + -3)/(2/(-6)). Suppose 0 = o*z + 2*z - 5. Is 0 less than z?
True
Let o = -126892/5 - -25482. Let v = o - 103. Which is smaller: v or 2?
v
Let v = -0.55 - -0.45. Which is greater: -0.05 or v?
-0.05
Let g = 4.2 + -2.9. Let r = -0.7 - g. Is 0.1 less than r?
False
Let m be (4/6)/((-2)/6). Which is bigger: -1 or m?
-1
Let i(n) = -n**3 - n**2 + 2*n + 1. Let t be i(-2). Let b be -2 - (t - 2)*3. Let u be (-2)/(-16)*2*-1. Which is bigger: b or u?
b
Let p = 7.2 + -4.2. Are p and 1 equal?
False
Let b be (-140)/(-6) - (-2)/(-6). Which is bigger: 22 or b?
b
Let i(j) = j - 6. Let d be i(8). Let x be (3*(-3)/(-18))/d. Is x != -1?
True
Let n be (2 + -1 + -1)/2. Suppose 4*h - 2 = 3*s - n*h, -2*s - h = 16. Let v = s - -6. Is v at most as big as 1/3?
True
Let q be ((-5)/(100/16))/(4/250). Is q greater than or equal to -50?
True
Suppose -37 = -4*t - 1. Let i(h) =