h is smaller: u or -2?
-2
Let u(k) = 6*k + 4. Let q be u(-3). Let d be 10/q + (-1 - -2). Which is greater: d or 1/5?
d
Suppose 5*b = -1 + 11. Suppose 0 = -b*v + 3 + 1. Suppose -v - 1 = 3*r. Which is smaller: r or -3?
-3
Let p = 2 - 1. Let k be (-12)/1 - 2*-2. Let m be -14 + 11 - 27/k. Which is smaller: m or p?
m
Let k be (-1 - -1) + 1 + 18. Which is smaller: 18 or k?
18
Let h(p) = 2*p**2 + 4*p + 2. Let y be h(-2). Suppose -3*o = l, 4*o = y*l - o - 22. Let f be l/28 + (-16)/(-56). Which is greater: 0.2 or f?
f
Suppose 4 = 4*z, -i - z - 14 = -4*i. Suppose i*t + 5*w = 5, 4*t = 2*w + 2 + 14. Let m = t + -2. Is m greater than -2/9?
True
Let z = -17 - -17. Which is smaller: z or 2/25?
z
Let a = -25 - -45. Let i = 58/3 - a. Is -1 greater than i?
False
Let i(o) = 2*o**2 - 10*o. Let n be i(5). Let j = 26.1 - 29. Let h = 3 + j. Which is bigger: h or n?
h
Let n = -10 + 6. Which is smaller: n or -19/4?
-19/4
Let b = -4.7 + 4.5. Is b equal to -2.3?
False
Let u = 3 + -3.1. Let q = -0.05 + -0.05. Is u bigger than q?
False
Suppose 2*q + 13 = y, -q + 30 = -6*q + 2*y. Which is greater: q or -23/6?
-23/6
Let t be ((-4)/6)/((-2)/(-3)). Suppose 4*a = 9*a + 10. Which is bigger: t or a?
t
Let a(y) be the third derivative of -y**6/120 - y**5/20 + y**3/6 - y**2. Let w be a(-2). Let t = 17 - 19. Does w = t?
False
Let y = -16.95 - -17. Let i = y - 0.25. Which is bigger: 3 or i?
3
Let n = -5 + 0. Let z be n/(10/(-4)) - -10. Suppose z = 3*g - 0*k + k, 5*g + 4*k - 27 = 0. Do g and 3 have different values?
False
Let m = 3.47 + -0.47. Which is smaller: -13 or m?
-13
Suppose -7*m - 24 = -15*m. Which is greater: 1 or m?
m
Let q(j) = -2*j + 8. Let s(v) = 5*v - 25. Let i(x) = 8*q(x) + 3*s(x). Let r be i(-12). Are r and 1 equal?
True
Let p = -135.1 - -135. Is 4.5 bigger than p?
True
Let h = -10 + 20. Let t be (-1)/(-4) - (-117)/12. Suppose -h - t = 4*s. Is s at most -3?
True
Suppose y - 5*p + 34 = 0, 5*y + 2*p + 26 = y. Suppose -2 = 5*x - 32. Let w = x + y. Do w and -5 have different values?
True
Let r = 35/26 + 28/13. Do r and -0.1 have the same value?
False
Let k(g) = g - 6. Let d be k(6). Suppose d = -t + i + 5 - 18, 3*t + 38 = 2*i. Let j be ((-105)/t)/7*4. Is 4 less than or equal to j?
True
Let t = -43/4 - -11. Let v = 1.5 + 3.4. Let z = v + -5. Which is greater: t or z?
t
Let u be (-3)/(-12) - 41/4. Is -12 bigger than u?
False
Let l be 2/(-20) - (-2)/(-5). Let v = -0.1 - -0.2. Is v greater than or equal to l?
True
Let p(f) = -4*f**2 - 2*f - 1. Let q be p(-2). Which is greater: q or -14?
q
Let u = 24 + -35. Let y be -1 + (-3)/(27/u). Which is smaller: 0 or y?
0
Let u = 67 - 36. Which is greater: u or 2?
u
Let v be (-3)/(-2)*12/(-9). Let d = 3 - 5. Is v less than d?
False
Suppose -2*k - 6*g + 2*g = -6, -g + 5 = -3*k. Which is bigger: k or -5/3?
k
Let g = 17/120 + -1/60. Is g at least as big as -1?
True
Let o = 11 + -6. Suppose -o = -n - 2*d + 1, 4*n = -3*d + 4. Which is greater: -3/5 or n?
-3/5
Suppose 0 = 4*c + c - 75. Let a = -2 + c. Is 12 smaller than a?
True
Suppose -6*h = -3*h + 3. Is h > -1?
False
Let x = 26 + -30. Which is greater: -24/7 or x?
-24/7
Let b be (6/8)/(3/(-6)). Does 0.2 = b?
False
Let q = -547/15 - -104/3. Let p = -0.07 - 0.03. Do q and p have different values?
True
Let y = -64/67 + 8342/737. Let t = y - 1504/143. Let k be ((-2)/(-12))/((-1)/3)*-2. Are t and k equal?
False
Let s(o) = -54*o**3 - 2*o + 2. Let f be s(2). Let u = f + 717. Let i = -3111/11 + u. Which is smaller: i or -1?
-1
Let r(i) = -i**2 + 6*i + 6. Let q be r(7). Suppose 0 = k - 5*k + 4*u + 40, -k - 5*u - 20 = 0. Let a be (-39)/15 + (-2)/k. Which is greater: a or q?
q
Suppose c = -4*f + 16, c - 8 = 4*c - 2*f. Which is bigger: c or 1/7?
1/7
Let v be 2/7 - 23/7. Let q be (v + -2 + 3)/3. Is q < -0.2?
True
Let c(a) = -a**2 - 6*a + 10. Let m be c(-8). Do -8 and m have the same value?
False
Suppose c + 6 = 2*c. Suppose -5*z - c = 2*j, 8 + 7 = -5*j - 2*z. Are j and -1 nonequal?
True
Let j = 0.07 - 6.07. Let c = j - -4. Let n = 0.256 + -0.056. Is c >= n?
False
Let n be 1/(2*(-1)/(-6)). Suppose 4 + 19 = j + 5*i, -n*j = -4*i + 26. Let w = -12 + 10. Are j and w equal?
True
Let f = 0.5 - 2.5. Which is smaller: 5 or f?
f
Let m = 5 + -3. Is 13/4 smaller than m?
False
Let u(n) = -n**3 + 6*n**2 + 1. Suppose -3 = 4*f + 4*x - 19, 3*f - 3*x = 24. Let r be u(f). Let t be (-2)/4 - 5/(-6). Which is greater: r or t?
r
Let p = 7 - 4. Suppose -t + 40 = p*t. Suppose v + 2*f = -5, -5*v = -v - 2*f + t. Which is smaller: -5 or v?
-5
Let f = -10 - -9.6. Let r = -0.32 - f. Which is smaller: 1 or r?
r
Let j = 105 + -104. Which is smaller: j or 8/11?
8/11
Suppose -10 = -4*f - f. Which is bigger: f or 3/5?
f
Let p = -2 + 5. Let m be 8 - p - (0 + 3). Which is greater: m or 1/5?
m
Let q(u) = -u**2 + 2*u - 1. Let s be q(0). Is 1/68 <= s?
False
Let l be ((-25)/(-3))/(2/6). Which is smaller: l or 24?
24
Let w(p) = p**2 + 4*p + 1. Let q be w(-4). Suppose 0 = 3*l - 13 + 1. Let d = -3 + l. Are d and q unequal?
False
Let x = -4.3 + -1.7. Is -2 less than x?
False
Let p be (-6)/4*(-8)/(-12). Let o be ((-3)/(-3))/(p + 0). Which is bigger: 0.3 or o?
0.3
Let k(p) = p**3 + 6*p**2 - 6*p + 7. Let o be k(-7). Which is bigger: -1 or o?
o
Suppose 4*q + 0*q = 0. Let x be (-4)/14 - q/4. Which is smaller: 1/2 or x?
x
Let j be (-10)/4*(2 - 0). Let f = j + 3. Let z(o) = 2*o. Let v be z(-1). Is v < f?
False
Let a = 1.2 + -1. Let c = a - 0.3. Let q = -0.11 + 0.01. Is q != c?
False
Suppose 2*k = -2*k + 1004. Let f = k + -1251/5. Which is greater: f or 0?
f
Let y = 66 + -66. Is y greater than or equal to -1/15?
True
Let z(b) = -b + 2. Suppose 5*w = -y - 13, -3*y = -8*y - 2*w - 19. Let d be z(y). Is 4 less than or equal to d?
True
Let m = -2.05 - -2. Let z = m + 0.12. Let g = z - -0.93. Is 3 at least as big as g?
True
Let s = 2/389 + -2368/6613. Is s at least as big as 1?
False
Let z = 106 - 105. Which is smaller: z or -3/53?
-3/53
Let w = 4 + -11. Is -8 bigger than w?
False
Let q = 55032 - 9080402/165. Let l = q - 2/33. Does 0 = l?
False
Suppose 3*s = -z + 5, 3*s + 10 = 5*s + 2*z. Is 0 smaller than s?
False
Suppose -12 = 16*r - 4*r. Which is bigger: r or 20?
20
Let a(m) = -m**3 + 13*m**2 - 13*m + 14. Let s be a(12). Let h = 3/2 - s. Which is bigger: h or 1/2?
1/2
Let b be (36/30)/(1 - (-99)/(-105)). Suppose 5*o - 25 = -2*q, -q - 37 = -3*q - o. Which is smaller: b or q?
q
Let u(c) = c**2 + 19*c + 24. Let d be u(-17). Which is smaller: d or 2?
d
Let n = -1 - -1.2. Let q = -10.2 - -12. Let i = n + q. Is 1/4 <= i?
True
Suppose 2*l - 3*d + 5 = 0, 2*l - 1 - 4 = 5*d. Let p = l + 9. Let n be (-4 + 4)*(p - -2). Which is bigger: 1/15 or n?
1/15
Let f(p) = -3*p - 25. Let c be f(3). Which is bigger: -33 or c?
-33
Let d = -2 - -1. Let v = -52 - -49. Which is smaller: d or v?
v
Suppose 6 = t + 4*s, -t = 3*s - 6 - 1. Suppose o = 4*o - 2*i + t, 3*o = -i - 4. Which is greater: o or 2/7?
2/7
Let y = -2/485 - -984/3395. Let j = 492 + -493. Which is smaller: j or y?
j
Let n be 80/(-14) - (-4)/(-14). Let l be n/(-12)*2/5. Which is bigger: -1 or l?
l
Let u be (-22)/((8/2)/(-2)). Which is greater: 9 or u?
u
Let c(n) = 3*n**2 - 3*n - 1. Let h be c(3). Let q be 3/(-12) - h/(-36). Let d = 28 - 28. Is d < q?
True
Suppose -2*p = -p + 3*k + 11, 10 = 2*p - 2*k. Is 2/153 equal to p?
False
Let d = 8 + -11. Which is bigger: d or -2?
-2
Suppose 4*i + 17 = -5*j, 7*j + 2 = 2*j + i. Is 2/31 equal to j?
False
Let o(i) be the third derivative of i**5/30 - 13*i**4/24 + i**3/2 + 3*i**2. Let r be o(6). Which is bigger: r or -5?
r
Suppose 0 = 3*g - 47 + 8. Is 13 smaller than g?
False
Suppose 2*p + 265 = -3*p. Let t = p - -213/4. Do 1 and t have the same value?
False
Let z = 4.9 + -5. Let a be 57/21 + (-6)/(-21). Which is smaller: z or a?
z
Let p be (1 + 0)/(12 - 8). Which is greater: 2/11 or p?
p
Suppose 6*l - 7*l = 3. Is 0 <= l?
False
Let v be (-2)/8 + (-3)/4. Let f = -723/11 + 66. Let q = f - 20/33. Which is smaller: v or q?
v
Let p = -19 + 18.8. Let r = 0.1 + p. Is -3/7 at least as big as r?
False
Let z = -0.945 + -0.055. Is -8 > z?
False
Suppose -3*u + 7*u = -4. Is -1 not equal to u?
False
Let z = -391/294 - -8/49. Is z >= -1?
False
Let c(b) = b**3 + 9*b**2 + 7*b - 5. Let y be c(-8). Suppose 2 = y*g + 5. Is -1 less than or equal to g?
True
Suppose 2*l + 11 + 13 = 0. Let q = l + 24. Let s