 smaller: d or y?
d
Suppose -5*t - 5 = -0*t. Let q = t + 3. Let b(f) = -f**2 + 2*f - 2. Let l be b(q). Is 0.1 >= l?
True
Suppose -4*n = -6*n - 24. Let f be (-4)/(-8) + 3/n. Is 1/4 at most f?
True
Let b(r) = -r**2 - 6*r. Let q be b(-6). Let z be q + ((-12)/(-15))/(-1). Which is greater: -2 or z?
z
Suppose -6*o = -3*o. Are 6/7 and o equal?
False
Let p = 45.8 + -46. Let g(y) = y**2 - 6*y + 4. Let m be g(5). Is m less than p?
True
Let t(r) = 2*r**2 + 8*r - 11. Let h be t(-5). Let o = -11/47 + -20/517. Do o and h have the same value?
False
Let d be 5 + -8 - (-590)/198. Let u = -91/396 + d. Is u bigger than 0?
False
Suppose 2*p - 5*y + 58 = -3*y, 0 = 4*p - 5*y + 115. Let a = -181/6 - p. Let k = -3 - -4. Which is bigger: a or k?
k
Let x = -2.98 + 3. Let w = -5.47 + 0.49. Let c = x - w. Is 0 at least as big as c?
False
Suppose 16 = -4*u, -2*l + u = -l + 21. Let j(x) = -x**2 + 8*x - 15. Let c be j(9). Is l < c?
True
Suppose -5*q + 10*q = 0. Let t(c) = -2*c**2 + 5*c - 4. Let y be t(3). Let h be (0 + 1)/(-8 - y). Which is bigger: h or q?
q
Let d(p) = -2*p - 24. Let z be d(-12). Which is smaller: z or -12/19?
-12/19
Suppose -4*z = -b - 16 + 5, -2 = 2*z + 2*b. Suppose -s = z*s. Is s bigger than 2?
False
Let z be (-2)/(-10) + ((-24)/(-15))/(-4). Is 0 greater than z?
True
Let y = 4 - 1. Suppose -5*v + 2 = 2*b, -2*b - y*v = -4*v - 14. Is b < 7?
True
Let m = 5 + -5.28. Which is greater: 0 or m?
0
Let a = 18 + -17.9. Let q = 323/5 + -65. Is a > q?
True
Let u = 0.058 - -0.042. Which is smaller: -6 or u?
-6
Let o = 8 + -2. Let w be 8/(-6)*o/(-4). Let k(g) = g + 1. Let m be k(-1). Is m < w?
True
Let p be 0/1 + 3 + -9. Let m be -9*(-2)/(p/(-1)). Suppose m*f = -f - 20. Which is greater: f or -3?
-3
Suppose 5*v = -0*v + 15. Suppose 2 - 5 = -v*n. Which is smaller: n or 0?
0
Let s = 18 - 19. Let i be -11 - -13 - (7 - s). Is i less than -11/2?
True
Let j(x) = 4*x + 54. Let b be j(-13). Do 2 and b have the same value?
True
Suppose -3 = f - 8. Let w = f + -2. Does w = 2?
False
Suppose 0 = -2*j - 2*j + 2*i + 266, 0 = 5*j - 2*i - 332. Which is smaller: 67 or j?
j
Let q = 8 + -8. Let h = 0.1 - q. Which is greater: -10 or h?
h
Let a(u) be the third derivative of u**5/60 - u**4/24 - u**3/6 - 2*u**2. Let j be a(2). Which is smaller: 2 or j?
j
Suppose -30 = 2*c + 3*c. Is -7 less than or equal to c?
True
Let o = 80.1 + -80. Is o greater than 2/11?
False
Let i(u) = -u**2 - 4*u + 7. Let s be i(-5). Suppose -3*m = -4*k + k - 27, 3*k - 2*m + 28 = 0. Let z be ((-1)/(-5))/((-4)/k). Which is greater: s or z?
s
Let q = -2 + 1. Suppose -5*b + 0*b + 3*m + 5 = 0, -2*b - 4*m = -2. Let k be b*3/9*0. Are q and k non-equal?
True
Let o = 2.74 - -0.26. Are -3 and o equal?
False
Suppose -o = 2*v - 4, 5*v + o - 10 = 3*o. Let s(y) = y**3 - 3*y**2 - 4*y + 3. Let b be s(4). Which is bigger: b or v?
b
Let h be 1/(-4) + (-34)/(-8). Suppose 0 = -5*l + 5*o + 2 - 7, 4*l + 2*o = -h. Let u be l/(-3)*(-9)/12. Is -1/3 != u?
True
Let y = -7 + 11. Let b be (-4)/6 + y/6. Is b equal to -1/5?
False
Let d = 14.9 + -15. Let o be (0 - (1 + 0)) + -1. Let b be (-68)/(-24) + 1*o. Which is bigger: b or d?
b
Let p = -3469/3 + 1201. Let h = p + -45. Suppose 0 = -j - 8 + 4, 2*v - 8 = 2*j. Which is greater: h or v?
v
Let f = 0 + 1. Let n be 2/8 - f/4. Is n equal to 1/9?
False
Let k = -5.6 + 0.6. Let t = 4.4 + k. Let h = 0.5 + t. Is 2 bigger than h?
True
Suppose a + 5 = 4*t - 38, -4*t = a - 37. Let v = 11 - t. Let q be -1 + 4/((-24)/(-10)). Are v and q equal?
False
Let y = 34/21 - -5/7. Let k be 2 + (0 - 0) - 1. Let s = k - 0. Which is smaller: y or s?
s
Let q = 72 + -72. Are 2/49 and q equal?
False
Let h = -7 - -4. Let n = h - -1. Is n > -1/4?
False
Suppose h - 5 = 2*a + 1, -4*h - 3*a + 2 = 0. Which is smaller: h or 3/4?
3/4
Suppose -2*k - 2 = 2, 4*f + k - 14 = 0. Let p be (-4)/(-6)*3/f. Is p less than or equal to 0?
False
Suppose 3*c - 2 = 3*t + 1, -3*t - 5 = -5*c. Let h be 7/(-3) + 2/6. Which is smaller: h or t?
h
Let o = 507/11 - 46. Which is smaller: 1 or o?
o
Let s be 7/((-420)/(-1024)) + 2/6. Which is smaller: 17 or s?
17
Suppose -j - 36 = -3*j. Let h be 4/j - 43/(-9). Let s be (4/h)/(2/(-5)). Is -2 less than s?
False
Suppose -5*f - 2*t = -f + 4, 4*t + 8 = f. Let o = -1 - f. Is o at most as big as -1?
True
Let h = 17/5 - 49/15. Does -0.1 = h?
False
Let l = 10 + -5. Let q(c) = -c**2 + 2*c + 3. Let n be q(2). Suppose -n*a + 7 = -5. Is l less than or equal to a?
False
Let z = -0.8 - 0.2. Let x(w) = -w + 4. Suppose -6*j = -4*j - 6. Let s be x(j). Is z at least s?
False
Let k be (-3*10/(-15))/(-2). Which is greater: 4/39 or k?
4/39
Let m be (-256)/198 + 24/132. Let u = 0 + -1. Which is bigger: m or u?
u
Let o(d) = d**2 + 7*d - 2. Let g be o(-7). Which is smaller: g or -6/5?
g
Let i be 1 + (6/(-3) - -3). Suppose -i*k = 0, -3*k + k = 3*d - 12. Suppose -4*b - b = 4*z + 6, 0 = d*z + 16. Are b and 2 non-equal?
False
Let c be -6 - 0*3/(-3). Let u be (0 + c/3)/3. Let x be (3/(-2))/((-9)/(-12)). Is x less than or equal to u?
True
Suppose -3*y + p = -y, -3*y - 5*p = 13. Let i be y/5 - 3/(-15). Is 1.5 greater than i?
True
Let n be (-2)/3*3 + 4. Suppose -n*d = -2, 33 = -3*x + 7*x + 5*d. Suppose -x*p + 2*p = 0. Which is smaller: 2 or p?
p
Let m be (2/4)/(1/4). Suppose m*t + 2*t - 16 = 0. Let o be (-1)/t*(-8)/5. Is 1 equal to o?
False
Let z = -2870/3 + 928. Which is bigger: z or -30?
z
Let f(x) = x**2 - 7*x - 16. Let v be f(11). Suppose 0*w - v = 4*h - 4*w, h = -3*w + 9. Which is smaller: 0 or h?
h
Suppose 7 - 6 = -a. Let b(n) = -n**2 - 14*n + 8. Let f be b(-8). Let y be -2 - (-1)/(29/f). Which is bigger: a or y?
y
Let h be (-1)/(-4) + (-3)/12. Let b be (8/(-60))/(8/(-50)). Which is bigger: b or h?
b
Let x = 0.026 + 0.104. Which is bigger: x or -1?
x
Let t = 43 + -63. Is -19 >= t?
True
Let f = 568 - 48278/85. Is f >= -1?
True
Let d = -7 + 10. Suppose u + 5 = 2*x, 3*x + 5 = 17. Is d > u?
False
Let l = -14.27 - -14.4. Are 1 and l unequal?
True
Let a = -5 + 0. Let w = a + 5.3. Do -1/3 and w have different values?
True
Let p be (-2)/(4/22 - (-52)/(-44)). Which is smaller: 1 or p?
1
Suppose -3*r = 4*f - 7, -5*f + 1 = -f - 3*r. Which is greater: 1/21 or f?
f
Suppose 4*l - 3*o - 11 = 0, -4*l + 5*o = -0*l - 21. Let q be (l - -2)/((-4)/4). Are q and -1 unequal?
False
Let y = 35464297861/2095 + -16928065. Let v = -3549766/419 - -8472. Let k = y - v. Is 1 >= k?
True
Let u be -4 + 0/5 + 34/6. Do 0 and u have the same value?
False
Suppose x - 5 = 5*g, 4*x = 4*g + 11 + 9. Is 5 at least as big as x?
True
Let i(z) = z + 1. Let v(d) = 6*d + 5. Let o(b) = -5*i(b) + v(b). Let k be o(2). Let j be -1 + -1 - (-2 + k). Do -2 and j have the same value?
True
Let d be ((-15)/(-6) + -3)*-10. Let o be -1*(3 + -1) - -4. Suppose -4*k + o*b + 24 = 6*b, -k - 3*b + 10 = 0. Which is greater: d or k?
d
Let k = -11 - -4. Let z = k + -2. Let g = z - -6. Is -3 equal to g?
True
Suppose -3*q - 13 = -0*q + 2*d, -3*q - 4*d = 11. Which is smaller: -7 or q?
-7
Let q be 3/((-54)/(-50)) - 3. Let a be (1 - -3)*4/16. Which is greater: q or a?
a
Let y be ((-2)/(-18))/((-3)/3). Let f(t) = 7*t**3 + t. Let k be f(1). Let v = k - 8. Which is smaller: v or y?
y
Suppose 3*l = 2*a + 13, -2*l + a - 5 = -13. Which is smaller: l or 2?
2
Suppose k = y - 0*k - 2, 10 = -3*y - k. Let g = -20 + 15. Let v = y - g. Which is bigger: 5 or v?
5
Suppose b + 4*b - 2*t = 8, -3*t - 12 = 0. Let x be (-477)/6 + (-2)/4. Let v be 12/x - 3/12. Which is smaller: v or b?
v
Let i = 32 - 28. Are i and 30/11 nonequal?
True
Let i = -42 - -44. Is i < 4?
True
Let v(j) = -4*j + 19. Let r be v(5). Let y = 67/261 - 1/29. Which is greater: r or y?
y
Suppose 5 = -x + 3, 5*t - 17 = -4*x. Suppose -r + 0*r = 4*p + 8, p - t*r = -2. Let l be (-9)/((-3)/6 - p). Is -6 > l?
False
Let j be 2 + (4/3)/(-1). Let y be 8/15*69/(-92). Is j at least y?
True
Let u = -2.8 - -3.8. Is -15 smaller than u?
True
Let w(r) = -2*r**2 + 2*r. Let h be w(4). Let b be (-3 - 68/h)*-1. Which is greater: b or 1?
1
Let r = 35 - 33.6. Is r >= -0.2?
True
Let o = -0.01 + -0.05. Let n = -60.94 + 63. Let u = n + o. Do u and 1 have the same value?
False
Suppose -5*m + 0*u - 5*u - 5 = 0, 2*m + u + 2 = 0. Suppose -p + 2*c = 4, 2*p + 5*c = 3*p + 4. Is m less than or equal to p?
False
Suppose -8 = -4*z - 20. Let c = 11 - 15. Which is smaller: z or c?
c
Let q = -5 -