 + 0.9. Let z = -0.3 - -0.2. Which is bigger: l or z?
l
Let p(l) = -7*l**2 - 18*l - 25. Let u(c) = -3*c**2 - 9*c - 12. Let v(o) = -2*p(o) + 5*u(o). Let y be v(-7). Is 4 > y?
False
Suppose -v - 4*c = -11, 4*c + 3 = v - 0*v. Suppose 22 = 3*y + 1. Is v at least as big as y?
True
Let l = 2031/5 - 402. Do 3 and l have the same value?
False
Suppose 8 = 38*u - 30. Suppose 0 = -0*d + 3*d + 3. Let l be 48/14*d/(-4). Which is smaller: l or u?
l
Suppose -13 = -2*s - 5. Suppose -23 - 49 = -s*k. Let y be 2/9 - (-8)/k. Are 1/4 and y equal?
False
Let h(r) = -r**3 - 9*r**2 + 6*r - 1. Let b be h(-10). Let z be (b/(-21) - -3) + -2. Are -2 and z nonequal?
True
Suppose -4*q - o = 19, -5*o + 0*o = 15. Let i = -4 - q. Is 0 at most i?
True
Let n be 1 + 2 + -2 - 0. Let v = 26 + -47. Let l be 1/(-2)*(-14)/v. Which is smaller: l or n?
l
Let w be (-6)/(36/6) + 2. Which is smaller: w or -0.2?
-0.2
Let k be 0/(4 + (-5 - -3)). Which is bigger: k or 2/11?
2/11
Let y be (10 + -4)*(-6 - -1). Which is smaller: y or 0.1?
y
Suppose 4*a = a. Suppose a = -m - 5*k - 8 + 29, 0 = -2*k + 8. Let v = 13.9 + -14. Is m >= v?
True
Suppose 0 = -w - 5802 + 1253. Let k = -131903/29 - w. Let a = k + -184/203. Which is bigger: -1 or a?
a
Let h = -4 + 6. Suppose -2*w + h = -4. Suppose w*x = x. Is 1 not equal to x?
True
Let x be 0 - (1 + 2)*-1. Suppose -3*o + 5 = -1, -2*u + x*o - 2 = 0. Suppose -s + 5 = -3*d - 2*s, -3*d = 4*s + u. Is -1 not equal to d?
True
Let d(o) = 3*o**2 - 6*o + 1. Let l be d(2). Is -1/73 bigger than l?
False
Let s = -75 - -75. Are 2/167 and s equal?
False
Suppose 0 = -3*o + h + 1, 3*h - 13 = -5*o - 2. Let m = 4 - o. Let b(v) = 3*v**2 + 18*v - 17. Let x be b(-7). Which is greater: x or m?
x
Suppose -5*g = -2*m - 86, 5*m - 3*m + 3*g + 102 = 0. Let y = -143/3 - m. Is y less than or equal to 0?
False
Let p be ((-12)/5)/(22/70). Let a = p - -851/110. Which is greater: 0 or a?
a
Suppose 0*p = p - 1. Let s be ((-80)/(-506))/(0 + -2). Let y = -6/23 - s. Is p < y?
False
Suppose -3*a - 13 = -4*u - 6, 3*a + 6 = 3*u. Which is smaller: u or 6/13?
6/13
Let s be (20/40)/(26/8). Which is bigger: s or 0?
s
Let v be 406/(-3)*3/(-12). Let m = v - 34. Is 0 less than or equal to m?
False
Suppose -3*n = 5*q - 3, -2*n - 5*q - 3 = -0*n. Suppose -h - n*h - 98 = 0. Is h less than -14?
False
Let m be ((-2)/6)/((-7)/14). Let h(l) = -l - 4. Let p be h(-5). Which is smaller: m or p?
m
Let m(f) = f - 2. Let d be m(2). Let b(w) = -w - 12. Let c be b(-11). Let j be -1 + c/(-2)*-2. Which is smaller: j or d?
j
Suppose 0 = 2*t - 4*w - 4, -4*t + 10 = t + 2*w. Let r(j) = -5*j + j + 5*j**2 - 2 - 5*j**t + j**2. Let l be r(4). Which is smaller: l or -3?
-3
Let l = -3 + -7. Let p be (2/l)/(231/(-70)). Is p at least -1?
True
Suppose 0*h + h = 9. Let o = h + -9. Suppose o*b + 12 = 4*b. Which is smaller: 2 or b?
2
Let l = 2.05 - 0.05. Let v = -53 - -213/4. Is l < v?
False
Suppose 2*v - v - 3*i + 6 = 0, -v - i = -2. Suppose 3*c - 4*c + 2 = v. Suppose y = 3*k + 2*k - 20, -k - y - 2 = 0. Which is smaller: c or k?
c
Let n = -14 + 9. Let s(w) = -w**2 - 8*w + 4. Let c be s(-9). Is n at most as big as c?
True
Suppose -5*t + 2*f = 9, -t - 5*f + 3 = -6. Let x = 0 - t. Suppose -5*s - x + 11 = 0. Which is greater: s or 0?
s
Suppose -6*v + 4*v = -2*s - 10, 5*v - 25 = -3*s. Let u = 40 - 179/5. Which is greater: v or u?
v
Let r = 131/2 + 219/10. Let c = 87 - r. Which is smaller: c or -3?
-3
Let c = 2 - -1. Suppose 2*f = -c*f + 20. Let z = 4 - f. Is z at most 1?
True
Let o = -19 + 6. Let j = 30 - 33/2. Let p = o + j. Is p > 1?
False
Suppose 4*n - 3*n = -3. Is n > -6?
True
Suppose -5*d = 4*q + 1, 0*q + 4 = -q. Is 2/3 at most d?
True
Suppose s = -s + 8. Let h(r) be the second derivative of r**3/6 - r**2/2 + 5*r. Let l be h(s). Is l not equal to 2?
True
Suppose 2*x - 5*c = -8, 3*c + 0*c + 4 = -x. Which is smaller: -2 or x?
x
Let o = 4 - 1. Suppose o*i - r - 14 = 4*r, -48 = -5*i - 4*r. Let x be (-14)/i + (-3)/(-2). Which is smaller: x or -2?
-2
Let s be 935/260 - 2/(-13). Which is smaller: s or 4?
s
Let y = -62 + 308/5. Which is smaller: y or 3?
y
Let h = -10 - -11. Let u be (2/((-6)/3))/h. Do 7 and u have different values?
True
Suppose -3*f + 4*j + 15 = 0, 7*j - 2*j = -4*f - 11. Let l = f + -1. Let q be 3/(-9) - (-1)/3. Does q = l?
True
Let c = -0.43 - -0.03. Let x = 0.7 + c. Is 0.1 less than x?
True
Let v = 166 + -661/4. Let t = 40 + -38. Which is smaller: v or t?
v
Let m(f) = f**2 - 5*f - 6. Let c be m(6). Let i be ((-4)/22)/((-14)/28). Is i greater than c?
True
Suppose -3 = p - 2, p = h - 2. Let r be 3/(h/1) + -8. Suppose y + 16 = -3*k, -3*y - 24 = -0*k + 3*k. Which is smaller: k or r?
r
Suppose 2*w - 2*c = 16, c + 0 = 3*w - 24. Let h = w + -9. Let a be 12/9 + (-2)/2. Is a less than or equal to h?
False
Let u(v) = 6*v + 14. Let n(q) = q - 3. Let h(c) = -5*c + 12. Let s(j) = 2*h(j) + 9*n(j). Let w(y) = 11*s(y) + 2*u(y). Let g be w(5). Is g at most as big as 2?
True
Let c(x) = 2*x**2 + 2*x + 1. Let y = 3 - 4. Let s be c(y). Let v be ((-30)/(-8) - 3)/3. Which is greater: v or s?
s
Let m(n) = 6*n**2 - 2*n - 1. Let t be m(-1). Let l = -5 + t. Which is smaller: l or 1?
1
Let s = -212 + 2334/11. Suppose -5*d + 25 = -10*d. Let w = d - -4. Is w greater than s?
False
Let d = 5.8 - 6. Let h = d + 3.2. Let m = 1 + -1. Which is bigger: m or h?
h
Let l = -41 + 165/4. Let g = -4 - 0. Let s = -5 - g. Is l >= s?
True
Let z be 14/(-105) - (-1)/5. Let x(n) = n**3 + 8*n**2 + 7*n + 1. Let r = 14 + -21. Let i be x(r). Which is bigger: i or z?
i
Suppose -3*y = 4*i - 6, i + 2*y + y = 6. Let d(w) = -w - 1. Let s be d(5). Let h be (-2)/(-6) + 4/s. Which is bigger: i or h?
i
Let c(b) = -85*b - 1. Let u be c(-1). Let l be -2*(-149)/u - 3. Let s = l - 5/6. Is s > -2/3?
True
Let r be (2/30)/(4/(-10)). Let y = -153 + 152.95. Which is smaller: y or r?
r
Let t = 5.5 - 5. Let q = t - 0.3. Let j = 0.1 + 0. Is j not equal to q?
True
Let a be (1/(-8))/(1/(-2)). Which is smaller: a or 0.04?
0.04
Let k(l) = -l**3 - l**2 + 3*l + 2. Let x be k(-2). Let h be 2*3/(-12)*x. Let w = h - 1. Which is bigger: 2/11 or w?
2/11
Suppose 5*a - 5*i = -i + 18, 5*i = 15. Suppose 2 = 2*z - 0. Let m be -6 + 5 + 6*z. Which is smaller: m or a?
m
Let a(f) = -f**2 - 5*f - 2. Let q be a(-5). Let m be 1*2 - (-3 + 24). Let z be q/(-3) - m/(-33). Is z <= 0?
False
Let g = 95 - 84. Which is smaller: g or 0.4?
0.4
Let u be 24/42 + 8/(-14). Is u < 2/3?
True
Suppose 8*c - 4*c = -44. Is c at least as big as -10?
False
Suppose 2*f = b, -f = -2*f + 3*b - 10. Suppose 2*w = 4*w - f. Is w equal to 3/5?
False
Let c be (1/((-16)/(-12)))/3. Let x(q) = 2*q - 1. Let m be x(1). Which is smaller: m or c?
c
Suppose 8 + 4 = 2*n. Suppose 0 = -b - 2*b - n. Which is smaller: b or -3?
-3
Let v be (35/10 - 1)*-2. Let c be 11/(-3) + 4/6. Which is greater: v or c?
c
Let l = 7 + -7.6. Let a = l + 0.4. Let w = a + 0.4. Which is smaller: 0.1 or w?
0.1
Suppose y + 10 = -4*t, 3*y = 4*y - 5*t + 19. Let h be -7 - -8 - (-26)/y. Which is smaller: -2 or h?
-2
Suppose 2*f = -5*f - 49. Is -7 <= f?
True
Suppose 2 + 1 = -3*w. Let j be w/(2 - 4 - -7). Suppose -16 = 4*z, 2*z = 4*a - 0*a - 4. Which is smaller: j or a?
a
Let a(d) = d**2 - 11*d - 16. Let z be a(12). Which is greater: z or -1?
-1
Let r = 112 - 111.9. Let y = 0.15 - -11.85. Is r greater than y?
False
Let k be (-10)/(-4)*((-540)/(-125) + -4). Suppose 0 + 2 = 2*w. Which is greater: k or w?
w
Let i = 23 + -23.2. Is 1/4 less than i?
False
Let v = -0.065 - -0.265. Which is bigger: v or 0.08?
v
Let y = 90 + -446/5. Which is smaller: y or 1?
y
Let v = -0.3 - 0.8. Which is smaller: v or 1?
v
Suppose 10 = 7*t + 3. Are 1/104 and t equal?
False
Suppose -z + 30 - 168 = 0. Let g = z - -2483/18. Is 0 greater than g?
True
Suppose 0 = 5*g, g - 89 = 4*b + 31. Which is smaller: b or -31?
-31
Let c = 2/40601 + 71701348/365409. Let m be (49/2)/(4/32). Let z = m - c. Which is smaller: 1 or z?
z
Let x be (3 - 1) + 3*-1. Let o be x/(0 - (-1)/1). Let p be (-5)/3 + 2/3. Is o < p?
False
Let h be -3 - (-2 - (2 + -3)). Let y = 1 + -4. Is h < y?
False
Let w = 35 + -246/7. Suppose 5*d = 6*d. Let o = d + 0. Is w > o?
False
Let a(s) = -s**2 + s + 2. Let f be a(2). Is 1 less than or equal to f?
False
Suppose -3*h - h + 45 = 5*x, 5*h - 3*x - 10 = 0. Suppose -r - 4 = -2*r. Which is smaller: h or r?
r
Let g = 