+ 0.4. Let m = 114 - 1028/9. Which is smaller: v or m?
m
Let m = -11 + 24. Which is smaller: 12 or m?
12
Let j be (-6)/(-3) - 20/(-12). Suppose 3*m = -3*k + 12, m + 6 + 5 = 2*k. Which is bigger: k or j?
k
Let j = 4537/54 - 84. Let q = j - 31/216. Which is smaller: q or -1?
-1
Let v = 25 - 17. Suppose -3*q - q = -v. Is 1/2 < q?
True
Let h = -115 - -114. Is h < 3/29?
True
Let h(q) = q**2 + 4*q + 1. Let s be h(-5). Which is bigger: s or 10?
10
Suppose 3*o + 2*o = 5. Which is greater: 1/73 or o?
o
Let l be 21/27*1 - 1. Let o(p) = p**2 - 9*p - 9. Let r be o(10). Is r less than l?
False
Let i(x) = -x**3 + 6*x**2 - 3*x - 11. Let v be i(5). Which is smaller: v or -20/9?
-20/9
Let x = -3 + 6. Suppose 0 = u + x*a + 10, 0 = 4*u + a + 4*a + 12. Suppose -2*d - 4 = -6*d, -h - 1 = -u*d. Which is bigger: 3 or h?
3
Suppose 0 = -2*h + 2 - 14. Let w(u) = u**2 + 6*u - 1. Let p be w(h). Let f(n) = 2*n - 2. Let q be f(1). Is p less than or equal to q?
True
Let l = -0.1 + 0.1. Let s be (-1 + 2)/(1/2). Do l and s have different values?
True
Let d = -20 - -19.91. Let s = d + -0.01. Is s at most as big as -1?
False
Suppose -30 = 3*t + 4*g, -2*t - 40 = 2*t - g. Let z = t + 11. Is z at most -2/5?
False
Let f = 0 + 5. Let p = f + -7. Which is smaller: p or 5?
p
Suppose -8*d - 44 = -4*d. Is d > -2?
False
Let c = 2 + 11. Let s = -12.9 + c. Which is bigger: -2 or s?
s
Suppose 29 = -2*y - c, 2*c = -5*y + 3*c - 76. Let a be ((-2)/y)/(6/(-10)). Is 0 at most as big as a?
False
Let i(m) = m**3 + 5*m**2 - 6*m + 3. Let j be i(-6). Suppose -j*d - 13 = 5. Which is bigger: d or 2?
2
Let s = 20 - 14. Let p = s + -7. Let i = 1.4 + p. Which is bigger: -1 or i?
i
Let g = -4.8 + 5. Let q = 1.2 - g. Which is smaller: q or 0.3?
0.3
Let b be (-2)/(-7) + (-58)/154. Suppose 93*w = 92*w + 1. Is b less than w?
True
Suppose 0 = -2*t + 2*d, 5*t = 2*t + 4*d + 1. Let o = 4/41 - 143/205. Is o <= t?
False
Let x(s) = 3 - 4*s**2 - 6*s + 5*s**2 + 4. Let l be x(5). Let a be 3 + -2 + 2 - l. Is a equal to 1?
True
Suppose -m = -w + 2*m - 18, -3*w + 1 = 2*m. Let y(f) be the second derivative of f**4/12 + 7*f**3/6 + 3*f**2/2 - 2*f. Let a be y(-6). Are a and w non-equal?
False
Let w be -2 + 3 - 230/210. Which is smaller: 0.1 or w?
w
Let p = -105 - -1471/14. Let t = -28 + 27. Which is smaller: t or p?
t
Suppose 4*y + 3*v - 37 = 0, -5 = -3*y - 3*v + 22. Let j = y + -7. Let t(x) = -x**2 + 2*x + 3. Let f be t(j). Is f at most as big as 0?
True
Suppose 0 = 3*g - 33 + 12. Which is smaller: 2 or g?
2
Let h be -1*(3 + 6/(-2)). Let o be (6/(-9))/((-8)/1). Is h <= o?
True
Let l = -186 - -190. Is 0.4 not equal to l?
True
Suppose 0 = x - 5*x. Suppose x*v = 3*v. Suppose v = 2*n - 5*n + 9. Is 2 < n?
True
Suppose -a + 20 = 4*a. Let y(p) = -3*p. Let g be y(-1). Which is bigger: a or g?
a
Let o be (7/6)/(2/6). Suppose -k + 2 = -2*h + k, 0 = -4*k + 20. Which is bigger: o or h?
h
Suppose -z - 5 + 1 = 0. Let l be 6538/18 - z/(-18). Let t = l - 5447/15. Which is greater: 0 or t?
0
Let i = -128/11 - -103062/8855. Let p = i + 1572/15295. Is p less than or equal to -1?
False
Let o = 19/12 - 5/4. Are 1 and o unequal?
True
Let u(g) = 2*g**3 - g**2 - 3*g - 3. Let m be u(-1). Suppose -4*y - 15 = y. Is m > y?
False
Let v(m) = -m**2 - 8*m - 2. Let o be v(-8). Let a(c) = -c - 1. Let n be a(0). Which is greater: o or n?
n
Let z be (3/2)/((-9)/(-12)). Suppose -4*t - z - 2 = 0. Which is greater: t or -2/15?
-2/15
Let i be -4*60/(-32)*2. Let l = i - 14. Is l < 5?
True
Let u(r) = -5*r - 1. Let a be (-3)/1*(-1)/(-3). Let x be u(a). Suppose 14 + 5 = 2*p + 5*i, 0 = -x*p + 4*i - 4. Is p at least 2?
True
Let h = 332 + -1018/3. Which is bigger: h or -8?
h
Let r = 17 + -8. Suppose 3*j = -r - 3. Does j = -6?
False
Let w = 4 + 5. Suppose 5*u = 4*c - 13, 2 - w = -u - 4*c. Let m = 4 + -6. Is u greater than or equal to m?
True
Suppose -5*b + 5 = -0. Which is bigger: 5/8 or b?
b
Let m be ((-24)/5)/(-6) + 1/5. Which is smaller: m or 30/7?
m
Let v be 2/(-8) + 18/8. Suppose 5 = -v*r + 3. Is 2/5 at most r?
False
Suppose 10 - 25 = -5*q, 4*a + 5*q + 41 = 0. Which is greater: -12 or a?
-12
Let l(d) = -d**3 + 2*d**2 + 2*d - 2. Let u be l(2). Let t(s) = 1 + 155*s - 156*s - 2 + 3. Let o be t(u). Is -2 >= o?
False
Suppose 0 = 13*a - 1094 + 15. Which is greater: 84 or a?
84
Suppose -4*p - 6*p = 120. Do -17 and p have the same value?
False
Let o(z) = 7*z**3 - z**2 + z + 1. Let n be o(-1). Let d be n/77 + (-16)/88. Which is bigger: 4/9 or d?
4/9
Let r be ((-1)/(-4)*5)/(3/60). Which is greater: -1 or r?
r
Suppose -3*m + 16 = -4*o, 4*o = -7*m + 4*m - 16. Suppose v + 4*j - 2 + 9 = 0, m = v - 5*j - 2. Which is bigger: v or -4?
v
Let z be 2*(10/4)/5. Suppose -z = -0*c + c. Let p = -65.9 + 66. Which is bigger: p or c?
p
Let y(k) = k + 1. Let q be y(3). Suppose -3*u = -5*u - q. Is 0.1 at most u?
False
Let n = -0.018 - 0.082. Which is smaller: 4.1 or n?
n
Suppose p = 7 + 2. Let t be ((p/2)/3)/(-12). Which is smaller: t or 1?
t
Let m be 144/66 + 2/(-11). Suppose 3*w = -m*w + 5. Which is greater: w or -3/4?
w
Let k(x) = -3*x - 10. Let f be k(-6). Let q be 6/(-9) + f/13. Which is smaller: -1 or q?
-1
Let h be (0 + 4)/4 + 5. Which is bigger: h or -0.1?
h
Let d(a) = -2*a**3 + 18*a**2 - 10*a - 3. Let f be d(9). Which is smaller: -94 or f?
-94
Let j = -3.6 - 4.4. Which is smaller: j or 1/5?
j
Let v = 7 + -3. Let t be (v - 6) + (-1 - -2). Which is smaller: -1/16 or t?
t
Suppose 2*o = 4, -2*c + 4*o + 3 - 11 = 0. Is -8/9 >= c?
False
Let a = -1 + 4. Let q be 8*a/6 - 2. Suppose -2 = -q*b + 2*c - 0, -1 = -c. Is 2 bigger than b?
False
Let a = 1.33 - -0.07. Let g = a - 0.4. Is g < -0.03?
False
Let h = -7 + 3. Let j be (-10)/(-18)*h/(-10). Which is greater: -1 or j?
j
Let r = 0.04 - 0.08. Let u = r - 1.96. Is u <= 1?
True
Let b be (-2)/3*9/15. Let z(o) = 2*o**2 + 13*o - 8. Let r be z(-7). Which is smaller: b or r?
r
Let c = 9 - 7. Let y = -30 - -66. Let u be (-1)/(-2) + 6/y. Which is bigger: c or u?
c
Let g be -48 + (1 + 2 - 0). Let f = 139/3 + g. Is 2 <= f?
False
Let q be 1 - -5 - 2 - 0. Suppose -s = q*s + 25, -2 = 2*n - 4*s. Is -11 greater than or equal to n?
True
Suppose 0*c = 3*c + 18. Let l = c + 9. Suppose -l = p - 5*a - 16, -p = -2*a - 4. Are -2/3 and p unequal?
True
Let v be 1718/20 + 3/(-12). Let c = -429/5 + v. Which is smaller: 0 or c?
c
Let t(r) = 6*r - 19. Let b be t(3). Which is smaller: b or 91?
b
Let p = -25 + 23.5. Which is smaller: 2 or p?
p
Suppose 3*j - 4*j + 4 = 0. Is 16/3 at least as big as j?
True
Let r be -5 + (-3)/((-9)/15). Suppose 3*l + 4 = -2. Let z be l + (-36)/(-10) + -2. Does r = z?
False
Suppose 5 = 4*v + 1. Let d be (-6)/15*10/(-26). Which is bigger: d or v?
v
Let y be ((9 - 12)/(6/(-2)))/1. Let o = 1 + -0.9. Is y at most o?
False
Let k(x) = x - 2. Let m be k(6). Suppose -5*y = 3 - 23. Let n = m - y. Do n and 0 have different values?
False
Let r = -0.254 + 8.214. Let t = r - 8. Is -1 at least as big as t?
False
Let n = 0 + 0. Let i be ((-194)/(-840))/(-1) - n. Let j = 2/105 - i. Does j = 2?
False
Let p = 44 + -31. Are 0.1 and p unequal?
True
Suppose 0*w = -2*n + 5*w + 18, 0 = -4*n - 4*w - 20. Let r be -1*n*4/30. Is r greater than or equal to 0?
True
Let m be -1 + (-3 + 7 - 3). Let p be m + (2 - -4)*-1. Let w be 20/p*3/(-6). Which is smaller: w or 2?
w
Let v(o) = 3*o - 11. Let d be v(9). Which is bigger: 15 or d?
d
Let d be -10*(-2)/9 + -2. Let u = 1 - -2. Suppose 2 = p - u*p. Is d greater than p?
True
Let o(y) = y**3 + 9*y**2 + 12*y + 10. Let w be o(-8). Let h = w - -43/2. Is -7 greater than or equal to h?
False
Let j = 42.7 + -43. Let v be 0 + 2/6 + -1. Which is smaller: j or v?
v
Suppose 2*n = -4*p - 10, -2*p - 10 = -0*n + 2*n. Let f(l) be the first derivative of l**3/3 - l**2 + 2*l + 1. Let k be f(2). Which is greater: k or p?
k
Suppose 6*r + 10 = 5*n + r, 0 = 5*r. Is 2 < n?
False
Let i be (-51)/15 - 2/(-5). Suppose 0 = 4*a - 4*f + 1 + 3, -8 = 4*f. Let u = -6 - a. Is i less than u?
False
Let z be 1*(-3)/9 + (-8)/(-6). Suppose -3*a - 3*m + 18 = 0, m + 0 = 4. Do a and z have different values?
True
Suppose -4*p - 5*f + 13 = 0, -2*f - 1 = -2*p + f. Let o = -313 + 315. Is p >= o?
True
Let c be 4 + 330/(-42) + 4/1. Which is smaller: c or -2?
-2
Let r = 105 + -100. Is 1 < r?
True
Suppose -17*y = -46 + 3293. Which is bigger: -192 or y?
y
Let u be -5 + 3 + 1926/964.