2 - 1*y. Which is smaller: k or -1?
-1
Let v = 0.07 + -0.15. Let f = v - 0.12. Which is greater: -0.01 or f?
-0.01
Let v = 12 - 11.9. Which is bigger: v or 22?
22
Suppose 0 = -3*y + 7*y. Which is smaller: -2/77 or y?
-2/77
Let r(w) = w**2 - 3*w - 7. Let p be r(5). Let q be p - 2/(-1 - 1). Suppose 4*x = -5*v + 15, 4*v - q*x + 9 + 15 = 0. Which is bigger: 0.2 or v?
0.2
Let t = -17 + 15.9. Let n = -1.3 - t. Which is smaller: -3 or n?
-3
Suppose -4*p + 10 = -9*p. Let c = p - -1. Let f be (-7)/12 + c/(-3). Which is bigger: 1 or f?
1
Let n be (-35)/(-441) + (-1)/(-7). Which is smaller: n or -3?
-3
Suppose -4*y + 6*y + 2 = 0. Which is bigger: -2/25 or y?
-2/25
Let q = 1 + -0.6. Let c = 0 - -0.5. Let f = c - q. Which is smaller: f or 2/7?
f
Let x = -1 - -1.3. Let h = -1 - -0.9. Let b = h + -0.1. Which is bigger: x or b?
x
Suppose -4*i + 3*w - 43 = 0, 4*i + 1 + 54 = -w. Let u = -12 - i. Is u at most 5/6?
False
Let l(i) = -i**3 - 4*i**2 + 4. Let s be l(-4). Let g be (s - 3)/((-9)/(-3)). Which is smaller: g or -1?
-1
Let i = -5.3 - -5. Let u be (-2 + 2)*(-1)/2. Suppose 2*o - o + 1 = u. Which is smaller: i or o?
o
Let y(p) = -p + 14. Let r be (-3 - 0) + 2 - -12. Let i be y(r). Is 3 <= i?
True
Let f = 103/342 - 3/38. Let t = -10 - -14. Let i be 2/t + 14/(-12). Is f < i?
False
Let l = 0.7 - -1.3. Let r = 0.2 - -0.8. Are l and r nonequal?
True
Let c(q) = -q**3 - 5*q**2 - 2*q - 2. Let a be c(-5). Suppose -2*f + 9 = -5. Which is smaller: a or f?
f
Let r = 15 - 14. Which is bigger: -4/31 or r?
r
Let l = 53 - 369/7. Let o = 8 - 9. Let p be o/(-2)*12/6. Are p and l nonequal?
True
Let x = 63 - 63. Let g be (3/(-27))/((-2)/6). Which is greater: g or x?
g
Let b(t) = t**3 - 9*t**2. Let k be b(9). Suppose -2*z = -3*a, -3*z + k = -4*a - 1. Which is greater: 9/4 or a?
9/4
Let l be 20/(-30) - (-1 - -3). Is l at most -3?
False
Let s = 73 - 72.9. Is s > 1.9?
False
Let w = 17 + -21. Are -2 and w non-equal?
True
Let d = 83.05 + -85. Let k = 2 + d. Which is bigger: k or -3?
k
Let b = -3 - -5. Let v = -13/12 - -89/60. Which is smaller: v or b?
v
Let s = 7 - 4. Let z = -1 - s. Let d = 7 + z. Which is greater: -1 or d?
d
Let g(a) = a - 4. Let j be g(8). Let v(n) = -n**3 + 6*n**2 - 3. Let f be v(j). Suppose -3*y + f = -q, 5*y - 3*q = 2*q + 55. Is 9 >= y?
True
Let n(t) = -4*t - 19. Let w be n(-7). Is w > 2?
True
Suppose -2*o + 18 = 7*o. Which is smaller: -2 or o?
-2
Suppose -t + 0*t + 5 = 0. Suppose t + 10 = 3*r. Suppose -5*j - 2*v = -0 - r, v - 4 = -4*j. Are j and 1 equal?
True
Let v(h) = -2*h**2 + 4*h - 2. Let j be v(2). Let x be 5 + j + 0 + -2. Is 2/39 at least x?
False
Let k = -220 - -221. Which is smaller: -38 or k?
-38
Let i = 76 - 2352/31. Let o = i - 163/62. Which is bigger: -2 or o?
-2
Let s = 51 + -52. Which is smaller: s or -1/42?
s
Let t be (1*-1)/(7/56). Let u(s) = s + 7. Let p be u(t). Is 1/10 greater than p?
True
Suppose -3*n - 2*a = -10, -a + 4 = 2*n - 3. Let i be 4/((-16)/n) - 0. Is 3/8 greater than i?
True
Let g be (-3)/(-2)*(-1)/3. Let t = 126 - 124.6. Is t equal to g?
False
Let v = 2/89 - 287/890. Suppose 3*s - 5 = -2*n + 8, 2*n + 22 = 4*s. Is n equal to v?
False
Suppose -2*v - 55 = -7*v. Is v smaller than 12?
True
Let v = -59 + 55. Which is smaller: v or 1/7?
v
Let r = 82 - 78. Suppose 2*u + 6 = 4*u. Is r greater than u?
True
Let k be (-4)/(-15) - 2/3. Do k and -0.24 have different values?
True
Let m be (1 + (-8)/6)*-3. Let c be 2/2*(-11)/(154/(-14)). Is c < m?
False
Let a be (-14)/(-5) - (-2)/10. Suppose -4*f = n - 23, -12 = -2*f - 2. Let s be 2*n + 2/(-1). Which is bigger: a or s?
s
Let o = -7.35 + 7. Let j = -0.022 - -0.072. Let i = o + j. Which is smaller: i or 2/3?
i
Let n(x) = -x + 3. Let h be n(3). Let k = 13 - 22. Let m be -1*((-6)/k + -1). Which is bigger: m or h?
m
Suppose 0 = 2*q - 2*l - 2, -3*q + 3 = l + 8. Let u = 27 + -407/15. Which is smaller: u or q?
q
Let w(y) = y**2 + 6*y + 5. Let k be w(-2). Suppose 4*a = a + 3. Let q be (a/(-3))/(k/9). Are 4/7 and q non-equal?
True
Let j = -88 - -85. Is j greater than 1?
False
Suppose -5 = -5*m, 3*m + 10 = -5*k + 28. Let s be (-8)/(-18) + (-34)/(-153). Is k != s?
True
Let k = 0.03 + -0.05. Let v = k - -0.52. Which is smaller: -2/5 or v?
-2/5
Let c = 3.7 + -0.7. Let d = 3 - c. Does d = 0.02?
False
Let d = -229 + 2517/11. Let o(v) = v**3 + 2*v**2. Let b be o(-2). Suppose 4 = 2*m + x, -x + 5 = 3*m - b*x. Do d and m have different values?
True
Let x = 8 + -14. Let o be 6/(x*(-1)/4). Let c(k) = k**2 - k + 2. Let h be c(2). Is o not equal to h?
False
Let b = -3 - -5. Suppose b*w + 8 - 4 = 2*l, l + 2 = 3*w. Suppose d = -3*d + l. Which is smaller: 2 or d?
d
Let c = -2.2 + 2.3. Which is smaller: -0.4 or c?
-0.4
Let c(g) = -9*g - 22. Let n be c(4). Is n < -58?
False
Let v = -23 - -91/4. Which is smaller: v or -0.3?
-0.3
Let b = 0 - 2. Let k = -15 - -17. Which is smaller: b or k?
b
Let u(m) = 3*m + 11. Let g be u(0). Which is smaller: g or 13?
g
Suppose 0*r - r = -6. Let u be 3*-1*r/(-27). Suppose -2*k + 24 = 3*m + 5, m = 5. Is k > u?
True
Suppose -2*o - 5*j = -16, 0 = j - 6 + 2. Let c be ((-18)/(-4))/(1/o). Let p = c + 6. Is p greater than or equal to -3?
True
Let v = -6 + 6.06. Let r = -4.74 - -3.8. Let b = v - r. Is b less than or equal to -4?
False
Suppose -4*l + 5*a - 179 = 48, -l + 5*a - 53 = 0. Which is smaller: l or -57?
l
Let m(u) = u**2 - 22*u + 43. Let n be m(18). Which is smaller: -30 or n?
-30
Let j = 0.26 + -0.1. Let o = j + -0.06. Which is smaller: 1/4 or o?
o
Let r = 68 + -18. Let o = 351/7 - r. Is o bigger than 0?
True
Let r(h) = -h**2 - 3. Let a = -2 - -2. Let z be r(a). Is z at most -1?
True
Let i = 9.22 - 0.22. Let a = 6 - i. Is a smaller than -2/9?
True
Let a be (-10)/(-15) + (-100)/(-3). Let u be (a/51)/(4/(-6)). Which is smaller: u or -1/20?
u
Let q(j) = 2*j - 3. Let p be q(5). Suppose p - 14 = -z. Suppose z*f + 8 = 3*f. Is f at least -2?
True
Let z = 3.94 + -4. Is z at most -1/3?
False
Suppose -4*p = -2*p - 4. Is p > 10/9?
True
Suppose -15 = 5*p + 5*h, 4*h + 9 + 8 = p. Let z = -19/17 - -40/51. Is z less than p?
True
Let z(b) = b**2 - 8*b + 14. Let f be z(5). Which is smaller: -7/3 or f?
-7/3
Let k = 0.68 + -0.95. Let d = 5.27 + k. Which is bigger: -2/5 or d?
d
Suppose 0 = -3*q + 8 - 23. Suppose -3*k - 22 = -l - 0, 4*l = 4*k + 40. Is k >= q?
False
Suppose -44 = 2*y - 13*y. Which is greater: 4/5 or y?
y
Suppose 2*v - 5 = 3. Let w(u) = 5*u**3 - 18*u**2 - 6. Let x(c) = -2*c**3 + 6*c**2 + 2. Let k(o) = -3*w(o) - 8*x(o). Let z be k(-6). Is z bigger than v?
False
Suppose -4*w + h = 0, 2*w - h + 3*h = -10. Suppose 4*i + 2 = 2*i. Let q = i - w. Which is greater: 3 or q?
3
Let o(l) = l**2 - 4*l + 2. Let s be o(3). Is 6/13 less than or equal to s?
False
Suppose 2*i + 0*i = 4. Suppose h - 1 = -i, -2*y = 3*h + 63. Let u be (-16)/y + 4/(-12). Which is smaller: 1 or u?
u
Let z be (-1)/(((-130)/4)/5). Let q(o) = o - 1. Let n be q(-3). Let r = n - -5. Which is greater: z or r?
r
Let d(u) = u**2 + 5*u + 4. Let i be d(-3). Is i less than 2?
True
Let y = -0.4 + 0.5. Let z = -1 + -3. Let s = z - -6. Is y at least as big as s?
False
Suppose 6 - 2 = 2*t. Let x be (-2)/(20/3)*t. Suppose -4*p - 4*i = 28, 5*p - 3*p + 5*i + 29 = 0. Which is smaller: p or x?
p
Let v = 34 + -33. Let l be (-2 - (-52)/2)*1. Let d be ((-4)/l)/((-2)/8). Which is smaller: v or d?
d
Let r(l) = 11*l**2 + l - 4. Let n be r(-2). Is n at most 39?
True
Let v be 1 - (-201)/(-6) - -4. Are -29 and v nonequal?
True
Suppose 5*n - 3*a - 9 = 0, 4*n = 3*a + 14 - 5. Suppose -3*l - 1 - 2 = n. Which is greater: l or 1/3?
1/3
Let i be 9/30*6/9. Suppose 4 = 6*l - 4*l. Suppose 0 = l*v + 2*v + 4. Which is bigger: v or i?
i
Suppose k - 18 = 7. Let w be (-2)/3 + k/15. Which is greater: w or 3/2?
3/2
Let a = 15/2 + -101/14. Are -0.9 and a unequal?
True
Suppose -4*f - 1 - 39 = 0. Let d = f + 8. Do d and -1 have the same value?
False
Let a be 12 + (1 - 1 - 1). Let l = a - 8. Let t = -1 + l. Is t at least 4?
False
Let w be (-16)/(-6)*1*-3. Suppose 0 = 2*t - 4*j + 32, 2*t + 0*j + 24 = 2*j. Is w less than t?
False
Let q(k) = -k**2 - 3*k - 2. Let j be q(-3). Let g be 10/(-6)*j/(-5). Is g bigger than -1?
True
Let d be 1/((-357)/396) + 12/42. Which is bigger: d or 0?
0
Suppose -87*l + 88*l - 5 = 0. Is -1 >= l?
False
Suppose 5*a + 1 = -2*f - f, -3*f - a = -7. Which is sma