/(-6)*h/(-12). Let k be (-2)/6 + (-4)/6. Which is bigger: k or r?
r
Let j be -2*1/(-2)*0. Let k be 4/(-12)*(-3)/2. Which is smaller: j or k?
j
Suppose -1 = -u - 2*t - 7, 0 = -3*u + 2*t - 18. Is -19 greater than or equal to u?
False
Let c = -1 - -5. Suppose a - 3 = c*a. Which is greater: -4/15 or a?
-4/15
Let i(z) = z - 2. Let m be (3/(-2))/(-1)*2. Let l be i(m). Let x be 1/(-9) + (-385)/(-630). Which is greater: l or x?
l
Suppose -3 = 4*p + 1. Let x = 1 + p. Let g be 31/(-35) - (-9)/15. Is g <= x?
True
Let h = -1 + 2/3. Let i(j) = j + 4. Let w be i(-5). Is h greater than w?
True
Suppose 0 = 5*z - 3*b - 6, -2*z + 2*b + 3*b + 10 = 0. Let v be 17/8*1*4. Let k = -8 + v. Which is greater: z or k?
k
Let x be 4/(-8)*(-10)/3. Let l = 4 + -2. Let c = x - l. Which is smaller: 0 or c?
c
Suppose -4 = m - 5*r + 7, -2*r = 4*m. Which is smaller: m or -3/11?
m
Let t(s) = -s**3 - 2*s**2 - 6*s - 9. Let v be t(-3). Is 13 smaller than v?
True
Let z(w) = -2*w. Let o be z(-3). Let p be 64/(-105) + 4/o. Is 0 greater than p?
False
Let f = 102 - 22. Is f greater than 0.1?
True
Let o = -11.8 - -1.8. Let f = o - -10.01. Is -1 smaller than f?
True
Let w be 13*(27/9 + 8/(-2)). Is w bigger than -13?
False
Let a = -1.05 + 1. Let t = a + 0.15. Is -3 > t?
False
Suppose 0 = -4*c - 4*l - 112, 0 = 5*c + 2*l + 2*l + 136. Are -22 and c equal?
False
Let d = 260/1197 + 2/399. Is -2/3 greater than or equal to d?
False
Let i(y) = -y**2 - 5*y + 3. Let t be i(-5). Suppose -4*d + 10 = 2*v, -4*d + 48 = -5*v + 3. Is d > t?
True
Let o = 34 + -41. Which is smaller: o or -1?
o
Let r(n) = n**3 + 3*n**2 + 4. Let d be r(-3). Suppose 0 = -d*j - 4, -f - 5*j - 4 = 0. Is -1/3 at least f?
False
Let q = -2135/9 + 237. Suppose 0*l = 5*k - 5*l + 15, -2*k + 8 = 5*l. Is k less than q?
True
Suppose -2*o + 2*v = -0*o + 110, 2*v = 4*o + 216. Is 1 at most o?
False
Let z = 4.05 - 0.05. Let k = 4 - z. Let j = 0.2 - k. Is j at least as big as -1?
True
Suppose 4*i + 4*a + 4 = 0, -2*i - 5 = 4*a + 5. Let w(z) = z**3 - 5*z**2 + 6*z - 4. Let k be w(4). Which is greater: k or i?
k
Let y = -1.96 + -0.04. Let h = -3.2 + 3.3. Is y <= h?
True
Let u = 1/5 - -1/20. Let v be ((-8)/46)/((-40)/5 + 6). Is u greater than v?
True
Let m = 43 - 41. Let z = -1.1 - -0.1. Let g = z - -2. Which is smaller: g or m?
g
Let x = -30 - -31. Is -9/23 at most as big as x?
True
Let t(s) = 2*s + 4. Let f(v) = 3*v + 7. Let m(d) = -3*f(d) + 5*t(d). Let u be m(2). Is u greater than 1/17?
True
Let j = -1 - 1. Let c = -2 - j. Let b be (-3 - -4)/(c + 1). Is 1 at most b?
True
Let c = 11 + -34/3. Which is bigger: -7/5 or c?
c
Let a = 4 + 15. Suppose -5*w + 2 = -18. Suppose -3*r = -0*r - w*b + 7, a = 5*r + b. Does -2/5 = r?
False
Suppose 0 = -5*w + 10, -5*o + 0*w = w - 17. Suppose 5*x + 2 + o = 0. Are x and 2/37 unequal?
True
Suppose -f + 0*f = -7*f. Which is smaller: -1/30 or f?
-1/30
Let n be 8/48 - (-5)/6. Suppose -2*h + n = -1. Which is smaller: -1/7 or h?
-1/7
Let n be ((-2)/(-60))/(1/3). Let c = -4/15 + n. Which is bigger: c or -1?
c
Let v(i) = -2*i**3 - i**2 - 4*i - 4. Let y(u) = 3*u**3 + 2*u**2 + 7*u + 7. Let b(g) = 5*v(g) + 3*y(g). Let h be b(2). Is 2 not equal to h?
True
Let z be ((-1056)/21 - 3) + 2. Let r = z - -51. Which is smaller: r or 0?
r
Let r = 0.3 + -0.1. Let i be 1/((-3)/12 - (-15)/(-20)). Which is smaller: r or i?
i
Let v = -5 + 11. Suppose -u + 5 = -v*u. Which is greater: u or 0?
0
Let j = 219 + -218. Let t be 0/1 + -2 + 1. Which is bigger: t or j?
j
Let v = 3 + -8. Let c = 0 - -6. Let x = v + c. Which is smaller: 0 or x?
0
Let c = -893/9 - -99. Which is smaller: 1 or c?
c
Suppose -5*v + 2 = 7. Which is smaller: -3/20 or v?
v
Suppose -3*i = -i + 58. Let u = -117/4 - i. Suppose w + 11 = 3*t, -2*t = -5*t + 12. Is u less than or equal to w?
True
Let s = -27 - -19. Let h = 8 + s. Which is smaller: 3 or h?
h
Let u(r) = -r**2 + 5*r - 4. Let n be u(3). Suppose -m + 12 = n*m. Is m <= 4?
True
Let n(q) = q - 2. Let c be n(8). Let x be 4/c + (-34)/(-3). Suppose 0 = -o + y + 2, 2*y = 5*y - x. Is o bigger than 7?
False
Let q(b) = b. Let k be q(5). Let p be (-2 + 18/4)*2. Suppose 15 = 3*t + 4*z, -3*z + k*z = t + p. Which is greater: 2 or t?
2
Let d be (-14)/(-8) + 9/(-6). Let p be -1 - (34/(-9) + 3). Which is smaller: d or p?
p
Let s = 0.04 - 0. Let t = s + 0.01. Let f = t - 1.05. Which is smaller: f or -3?
-3
Let c = -1.8 - -1.8. Which is bigger: c or 0.05?
0.05
Let n be 1/6*(3 + -1). Let y be (3 + -3)/((-8)/(-3 - 1)). Is y < n?
True
Let o(h) = -h**2 + 8*h - 16. Let z be o(4). Let c be 6/12 - 11/26. Are c and z equal?
False
Let i = 11 + -4. Suppose -6*q = -q - 30. Which is greater: i or q?
i
Let f be ((-1)/(-6))/(51/348). Let w = -8/17 + f. Which is greater: 1 or w?
1
Let s = 4.2 + -4.4. Is s not equal to -0.03?
True
Suppose 13 = -m + 6*p - 3*p, 5*m - 4*p + 21 = 0. Which is bigger: 1/27 or m?
1/27
Let h = 2/151 + -3936/755. Which is bigger: -6 or h?
h
Let b be ((-10)/(-11))/(-2 - -3). Which is greater: 0.1 or b?
b
Let y be 42/(-30) + (-4)/(-10). Is y > -5?
True
Let n be 2 - (4/(-2) - 0). Suppose -n*c = -3*l - 4, -2*c - 4*l = -8*l - 12. Is c greater than -3?
True
Let r(x) = 3*x**2 + 2*x + 3. Let s(l) = 16*l**2 + 9*l + 16. Let i(n) = -11*r(n) + 2*s(n). Let j be i(-4). Suppose 27*u - 21*u + 6 = 0. Is u greater than j?
False
Let r = -22 - -16. Let n(i) = -i**3 - 3*i**2 + 2*i - 5. Let q be n(-4). Let t be ((-3)/r*q)/3. Are t and -2/5 equal?
False
Suppose 3*o + 3*u - 20 = 2*u, o - 2*u + 5 = 0. Suppose -4*z = z - o. Let n = -49/5 - -436/45. Which is smaller: z or n?
n
Let n(v) = -v**2 + 3*v - 6. Let j(b) = 6*b**2 - 14*b + 29. Let x(k) = -2*j(k) - 11*n(k). Let f be x(-6). Which is smaller: 3 or f?
f
Let v = -20/51 + 1/17. Suppose 179*q = 172*q - 7. Which is greater: v or q?
v
Let h be ((-14)/6)/(2/12). Let y be (2/2)/(h/(-8)). Let a = -1 + 1. Is a > y?
False
Let s = -2 - -3. Let u be (s - 39/(-45)) + -2. Let m = 31/120 + u. Which is greater: 1 or m?
1
Let a(d) = -d + 7. Let l be a(0). Let i = 5 - l. Which is greater: 0 or i?
0
Suppose 4*p + 204 = -704. Let b = p - -2041/9. Let h be 12/(-18) + 13/15. Which is smaller: h or b?
b
Let y = 46 - 46. Which is smaller: y or -3/16?
-3/16
Suppose 2*s + 3*h - 5 = 0, -5*s + h + 0*h + 4 = 0. Let o be 4 - 2*(-2)/(-4). Suppose o*m - 2 = s. Is -2 at least m?
False
Let d(v) = -8*v - 4. Suppose -5*g + 0*g + 20 = 0. Let i be d(g). Let k be 19/i + 3/4. Which is smaller: k or 0?
0
Let o = -6 - -5. Let w be 8/(-28) + 64/238. Let y = -244/357 - w. Which is greater: y or o?
y
Suppose -4*h + h = 0. Let m be 3 + (3 - (1 - h)). Which is smaller: 4 or m?
4
Let b = -1 - 0. Let l be b + (2 - 1) + -2. Let j = 3 + l. Which is smaller: -2 or j?
-2
Let o = 25/2 - 121/10. Is o != -0.18?
True
Suppose 0 = 3*i + 5*y + 25, -7*i + 3*i - 5*y = 30. Let b(n) be the second derivative of -n**4/12 - 5*n**3/6 + 5*n. Let h be b(i). Which is bigger: h or 2/5?
2/5
Let q = -5 - -3. Let u = -1.9 - q. Does u = 2?
False
Let s be (-4 + -1)*30/25. Let r = 5 + s. Which is greater: -2/13 or r?
-2/13
Suppose -5*j = 5*q - 20, -j - 7*q + 16 = -2*q. Which is smaller: -1 or j?
-1
Let i be (0 + -2)/(7 - 5). Is i less than or equal to -1?
True
Suppose 3*t + 1 + 5 = 0. Suppose 8*w - 4 = 6*w. Suppose -2*g - 13 = 3*l + w*g, g = 2*l + 5. Is l > t?
False
Suppose 2*j + 2*j - 2*a - 12 = 0, -2*a = 0. Suppose 5*u = j*w - 13, 2*u = 3*u + 3*w - 1. Do u and -1/2 have the same value?
False
Let d be (-4)/(-9) - 6/18. Which is bigger: d or -1?
d
Let y(u) = u + 7. Let o be y(-4). Suppose -r = -5*v - 21, 5*r + 3*v = -4 - o. Let f be -2 + 4/(-10) - -2. Are r and f non-equal?
True
Let f(h) be the third derivative of 7*h**6/720 + h**5/120 + h**4/8 + 3*h**2. Let q(c) be the second derivative of f(c). Let l be q(-1). Are l and -6 non-equal?
False
Let x = -159/44 + 48/11. Let l be 2/((-6)/(-4) + -1). Let d be (-16)/l*1/(-2). Which is greater: d or x?
d
Let s be 19 + (-3 - (0 - -1)). Which is bigger: 14 or s?
s
Let d(a) = a - 25. Let i be d(14). Do i and -12 have the same value?
False
Let c = 11 + -15. Let k be c/16 - 3/(-12). Are k and -1/14 non-equal?
True
Let x be 6/(-9)*(-3)/2. Suppose -f + 4 = x. Suppose -3*t - t - 11 = -j, 0 = t + f. Is 1/3 greater than or equal to j?
True
Let i(r) = r**3 + 2*r**2 - 1. Let g be i(-2). Let h = g - -3. Is 2 less than h?
False
Let l = -61/5 + 432/3