Which is greater: d or -10?
d
Let l = -0.03 - 0.97. Which is bigger: 11 or l?
11
Let d = -4 - -6. Suppose -2*r + 5*r - 3*b + 21 = 0, 2*r = -2*b + d. Which is smaller: -4 or r?
-4
Let d = 211 + -1480/7. Are d and 3 nonequal?
True
Let z = 14 - 11. Which is bigger: 4 or z?
4
Let r be (-6)/(-99) - (-1 - -1). Suppose -3*i + 4 = -l + 3, 3*i - 4*l = 4. Which is smaller: i or r?
i
Let z = 318474/11 + -28932. Let o = z + -20. Which is smaller: -3 or o?
-3
Suppose 3 = h - 4*i - 0, -5*i = 4*h - 12. Let s = 17 + -12. Suppose 0 = s*w - 0*w - 10. Are w and h unequal?
True
Suppose -3*c - 4 = 2*r, 24 + 2 = 3*c - 4*r. Let o = 8 - c. Suppose 2*t = o*t - 8. Is 1 less than t?
True
Let z = -29 + 31. Let n(t) = -t**3 - 4*t**2 + 5*t + 2. Let d be n(-5). Is z at least d?
True
Let h be (-1)/(-2) - (-77)/70. Are h and -2 unequal?
True
Suppose -w = w. Suppose 3*m - 4 - 17 = w. Let s be (-2)/8 - m/4. Which is smaller: -3 or s?
-3
Let z = 9 + -6. Suppose -3*y = 12, -z*f - f + 16 = -4*y. Which is greater: -2/9 or f?
f
Suppose -t = -5*j - 0*t + 5, 5*t - 25 = 0. Suppose -2*m - 2*c = 4, -j*c = -5*m - 5*c. Is 2 smaller than m?
True
Let v = -115 + 199. Suppose -3*l - 24 = -v. Let s be (-14)/l + (-3)/(-6). Which is smaller: -1 or s?
-1
Suppose 23*j - 10 = 21*j. Which is smaller: j or 6?
j
Let m = -6 - -5. Is 11 <= m?
False
Let n be 441/4610 - (-11)/1210*-11. Which is smaller: n or -1?
-1
Let y = -6 + 9. Suppose -a = -y*a + 2. Which is smaller: -2/3 or a?
-2/3
Let r = 15 + -31. Let y be (2*-2)/(8/r). Is y at most as big as 8?
True
Suppose f = 5 - 6. Which is bigger: -3/2 or f?
f
Let v(y) = y**2 - 6*y - 5. Let m be v(6). Is -1/5 less than m?
False
Suppose 4*v + 66 = 2*l, 5*l - 216 = 4*v - 45. Suppose b - 3*m = 4*b, -3*b + 4*m - l = 0. Is b bigger than -5?
False
Let g(u) = -u. Let k be g(-6). Suppose 4*n + 2*j = k*j - 16, -n - 8 = -2*j. Suppose 0*d + 1 = -d. Do n and d have the same value?
False
Let b = 3 - 6. Let y = -91 + 88. Is y smaller than b?
False
Let g = -8 - -12. Let i = -55 - -49. Let a = i + g. Which is smaller: -4/3 or a?
a
Let s = 651 - 3273/5. Which is smaller: -4 or s?
-4
Let q = -0.7 - -0.4. Suppose -3*r = r - 72. Let y be -1*(2 + r/(-8)). Which is greater: q or y?
y
Let f = -0.06 + -0.04. Which is smaller: -1 or f?
-1
Let j = 44 + -50. Which is greater: -5 or j?
-5
Let f = -0.14 + 1.14. Let c = -0.9 + f. Let w = 11 - 15. Is w < c?
True
Let m = 9 + -8. Let d be ((-1)/2)/((-3)/6). Is d less than m?
False
Let y be 1/(-2*(-1)/2). Let h = 1 - 1.06. Let r = 0.14 - h. Is r != y?
True
Let c be (-9)/(-2) + 2/(-4). Suppose -r = r + c. Let x = 0 + 0. Does x = r?
False
Let p(y) = y**3 - y**2 - 3*y + 2. Let k be p(1). Is k != 6/17?
True
Let d = -89 + 87. Which is smaller: -12/7 or d?
d
Let d(w) = -w**3 - 6*w**2 - w - 8. Let u be d(-6). Let g be u/(-6) + 6/9. Is g >= -3/8?
True
Let x(i) = -2*i**3 - 2*i**2 + 2*i - 6. Let k be x(-4). Let b = 572/7 - k. Is 1.2 greater than or equal to b?
True
Let k(r) = -r - 2. Let t = -5 - -2. Let o be k(t). Which is greater: -2/9 or o?
o
Let n(v) = v**3 - 4*v**2 - v + 7. Let t be n(3). Which is smaller: t or 2/11?
t
Let a = 362 - 16288/45. Is -1 bigger than a?
False
Let d(t) = -3*t**3 + t**2 - t - 1. Let m be d(-1). Let r be 174/21 - m/14. Let h be 3/(6/r) + -2. Which is smaller: 3 or h?
h
Suppose -9*b + 6*b = 0. Is b at most -2/13?
False
Let o = -8 + 4. Let m be 28/(-24) - 2/o. Let g = 2 - 2.1. Which is bigger: m or g?
g
Suppose 0 = 5*o - 2*m + 4*m - 16, 0 = 4*o + 3*m - 10. Let c be o/22 + 20/11. Is 2 bigger than c?
False
Suppose 0 = -5*k + 55 + 110. Let v be (-6)/k + 35/11. Which is smaller: 2 or v?
2
Suppose 0 = 7*r - 10 - 4. Are 2 and r unequal?
False
Let d(x) = -2*x + 2. Let n be d(2). Let s = -2 - n. Let b = 3/7 - 22/35. Which is smaller: s or b?
b
Let g be 238/(-35) - 2/10. Suppose 2*q + 26 = 6*q - 2*m, 2*m + 2 = q. Let o = q + g. Which is smaller: o or 2/25?
2/25
Suppose 0 = x - 3*x. Let q be -2 + -1 - -14 - -2. Let g = 13 - q. Is x greater than g?
False
Let d(m) = -m**2 - 3*m - 2. Let y be d(-2). Let l = -5.34 + 4.6. Let k = 0.04 + l. Is k >= y?
False
Let r = 0.7 + 0.3. Let k = 21 + -21.4. Which is greater: k or r?
r
Suppose -8 = -5*h + 2*q - 3*q, -3*h + 4*q - 9 = 0. Let l be h - (1/(-4) + 1). Is -1 greater than l?
False
Let g(u) = -u**3 + 4*u**2 - u - 3. Let a be g(3). Let y = -7 - -5. Let n be (y/(-2))/((-2)/(-10)). Is a > n?
False
Let i = -17 + 12. Let r = i - -3. Let a = r - -1.8. Which is smaller: a or 2?
a
Let a = 0 + -2. Let n = -3 - -4. Suppose -11 = 5*k - n. Is a greater than k?
False
Let f(k) = -k**2 - 5*k + 10. Let q be f(-7). Let j be (16/q)/(2/1). Which is greater: j or -3/5?
-3/5
Let m = 1.1 + -1.5. Is m at least -2?
True
Let b(a) = -a - 1. Let n(r) = 3*r + 8. Let d(z) = -4*b(z) - n(z). Let m be d(-3). Let q(o) = o + 7. Let j be q(m). Which is bigger: j or -1?
j
Let f = 3.15 - 0.15. Which is greater: f or 0?
f
Let y = -1.3 + 0.3. Let z = -3 - y. Let i = -1.2 + -1.8. Which is smaller: i or z?
i
Let z = 4.9 - 5. Which is bigger: z or -14?
z
Suppose -5*r + 5 = 30. Let m = r + -7. Let c be ((-3)/m)/((-1)/(-2)). Is c less than 0?
False
Let b = 0.4 - 0.13. Let t = b - 0.07. Is t smaller than 4?
True
Let h be (-3)/(-6)*(-2 - -2). Let g = -25 - -124/5. Which is smaller: g or h?
g
Suppose 5*b - b = -y + 12, -y = b - 6. Suppose 0 = 5*g + 5, 0 = q - 3*g + b*g + 9. Let h be 2/q - (-148)/40. Is 5 >= h?
True
Suppose 0*n - n = -6. Let c be (7/63)/((-2)/n). Let o(x) = x - 4. Let b be o(5). Which is greater: b or c?
b
Suppose 7*x - 2*x - 25 = 0. Let u = -13 - -18. Let c be u + 0 + (-1 - -1). Is x < c?
False
Let y = 2 - 5. Let s be 10/(-2)*(y + 2). Suppose 4*o - 8 - 11 = -u, -s*u = -2*o + 15. Is -2 less than or equal to u?
True
Let a(k) = -2*k**3 - 1. Let j be a(-1). Let x = -3 + 2. Is j equal to x?
False
Suppose -35 = f + 2*f - 4*n, -2*n - 32 = 4*f. Let v be (-3 - f)*(-1)/28. Are 0 and v unequal?
True
Let l(z) = 4*z**3 + 4*z**2 - 5*z + 2. Let m be l(-4). Let i be (-2)/(-8) + m/8. Let j be (2/(-3))/((-2)/i). Is -7 bigger than j?
False
Let m = -0.73 + -0.11. Which is greater: -0.1 or m?
-0.1
Let s = -18 + 9. Let q = 8.9 + s. Let i = 3 - 4. Are i and q nonequal?
True
Let o = -27303/32 + 1064495/1248. Let q = 5/48 + o. Suppose 16 = -4*n - 3*p, 0 = 3*p - 2*p + 4. Which is smaller: n or q?
n
Let i = -29 - -8. Let x = -15 - i. Let u = x - 8. Is -0.1 greater than u?
True
Let x = 0.3 + -0.38. Let i = 1.08 + x. Is i greater than or equal to 4?
False
Let a = 27.993 + 0.007. Which is smaller: 2/3 or a?
2/3
Let b(v) = v**3 + 8*v**2 + 5*v + 2. Let t be b(-7). Do 15 and t have different values?
True
Let g = 0.09 - -0.31. Which is smaller: -12 or g?
-12
Suppose -j + b = 7, 12 = 4*j - 0*j + 4*b. Let h be j/(-6)*(-165)/(-20). Does 4 = h?
False
Let o = -1.7 + 1.8. Let g = 0 - o. Let y be (-1)/(-2)*(-1)/(-2). Is y > g?
True
Let s be (-13)/(-20) - (-8)/(-20). Let b = -0.7 - -0.5. Does b = s?
False
Let c(g) = g**3 + g**2 - g - 9. Let v be c(0). Let t be 4 - 2 - (-14)/v. Which is greater: t or 1?
1
Suppose 2*s = -5*b - 102 + 306, s = 2*b - 87. Is b < 42?
False
Let b = 81 + -55. Let i be (-8)/44 - b/(-264). Is 2/3 != i?
True
Let l = -44 + 93. Is 50 > l?
True
Let u be ((-8)/80)/((-1)/4). Which is bigger: u or -0.1?
u
Suppose 2*t - 2 = 2*h, t + 2*h = -0*h - 8. Let v be 0*((-2)/4 + 0). Which is smaller: t or v?
t
Suppose -h = 1 - 0. Let i be 5/(-7) - h - 0. Is i smaller than -1?
False
Let q(s) = -s - s**3 + 37 - 38 + 2*s**3. Let m be q(0). Is -2/7 less than or equal to m?
False
Suppose 41 = -3*v + 2*d + 12, -3*d + 12 = 0. Let u(h) = h + 9. Let x be u(v). Is x at least 0.1?
True
Let r = 2972/5 - 588. Does 5 = r?
False
Let d = 0.09 + -3.09. Let p = -7 + 3. Let z = d - p. Which is smaller: -0.3 or z?
-0.3
Let v be -27 + -1*(-1)/(-1). Let g be 5/2*v/(-455). Which is smaller: 1 or g?
g
Let k be (11 - 10)/(1/(-9)). Which is bigger: -8 or k?
-8
Suppose 5*o + 79 = k, -5*o - 2*k - 25 = 57. Are -16 and o unequal?
False
Let c = -120/43 + 5726/2021. Is c > -1?
True
Let l = -229/1446 - 2/241. Suppose -3*z + 2*p - 3 = 0, -4*z = -2*z - p + 1. Which is bigger: z or l?
z
Suppose -y = 2*r - 17, 0 = r - 0*r - 3*y + 9. Is 6 less than r?
False
Let w(y) = y - 5. Suppose 4*z - 4*j = 16, -2*j = 2*z - 21 + 5. Let k be w(z). Let s be 8/6 - (-1 + 2). Which is bigger: s or k?
k
Let w be 12