et d(s) = -6*s - 8. Let z(u) = u. Let r(x) = -d(x) - 4*z(x). Suppose -4*t = 2*v + 10 + 12, -3*t - 18 = v. Let c be r(t). Which is smaller: -7 or c?
-7
Let g(h) = 7*h - 96. Let w be g(16). Which is smaller: 17 or w?
w
Suppose 2*a - 3*f + 3 = 5*a, 5*f = 0. Let c = 112/3 - 37. Which is smaller: a or c?
c
Suppose -4*x = -2 - 2. Let c be (-6)/(-27) - 262/45. Let h = -6 - c. Is h at least as big as x?
False
Let i = 8 - 13. Let s = i + 2. Let t = s - -1. Is t less than 1?
True
Let q be 31/(-4) + (-8)/32. Which is smaller: 1 or q?
q
Suppose -6*m + 7*m = -2*m. Which is bigger: m or -1/18?
m
Let q be (180/(-14))/((9/(-42))/1). Which is greater: q or 61?
61
Let d be 106/34 + 14/(-119) + -80. Which is smaller: -79 or d?
-79
Let b = -2 - -3. Suppose 3 = 3*h - 2*v, -3 = 4*h - 5*v - 0. Let y be h + 38/(-6) + 3. Do y and b have the same value?
False
Let m be (-4 - -2)/(-1 + 2). Let k be 0*m/4*2. Let s = -29 - -89/3. Which is smaller: s or k?
k
Suppose 0 = f + 5*s - 11, 2*s - 2 = f + f. Let r = -0.03 + 0.13. Which is greater: r or f?
f
Suppose 4*o - 1 = 103. Let z be (-2)/o + 0 + 0. Suppose -2*c = -c. Which is bigger: z or c?
c
Suppose -3*k + 4*v + 1 = 0, -4*v + 17 = 3*k - 0. Suppose -7 + 4 = k*h. Which is smaller: 2/13 or h?
h
Let u = 5 - 3. Suppose u*y = -0*y. Suppose y*d = d. Is d equal to -1/5?
False
Let g(f) = f**2 - 6*f - 7. Let s be g(6). Let v be (s + 3 - -1)/(-1). Suppose -2*j = -p + 8, 5 - 2 = -v*p - 3*j. Which is smaller: 4 or p?
p
Let f(h) = 3*h - 7. Let r be f(5). Suppose -3*s - 4*w + 9 = 0, -r = -4*s - 3*w - 3. Which is smaller: 1 or s?
s
Let k(s) = s**3 + 10*s**2 + 13*s + 16. Let q be k(-9). Are -20 and q non-equal?
False
Suppose 3*h - 6 = -0*s + s, 3 = h. Is s >= 11/5?
True
Let u be -23 + 25 + (-1 - -1). Let k(h) = -h**3 + 5*h**2 - 3*h - 2. Let c be k(4). Does u = c?
True
Let g = -3.47 - 0.53. Which is smaller: g or 0.3?
g
Suppose -2*r - 3 = 2*g + 5, -2*r = -2*g. Let x(a) = a**2 - 9*a - 11. Let y be x(10). Is r bigger than y?
False
Suppose 2*t - 45 = -t. Let d be t/10*(-8)/(-30). Which is bigger: 2 or d?
2
Suppose -12*l - 182 = -5*l. Which is smaller: l or -25?
l
Let q be 0 - 11/(132/(-272)). Is -1/4 bigger than q?
False
Let y = -39443/25362 - 1/2818. Are y and -2 nonequal?
True
Suppose -3*p - g = -48, 2*g - 79 = -3*p - 2*p. Suppose 0*h - 2*m = 3*h - p, -3*h + 3*m = -12. Let x(d) = d**2 + 5. Let a be x(0). Is h smaller than a?
False
Let f = -5212/7 + 739. Are f and -7 equal?
False
Let g(f) = f**3 - f**2. Let c be g(1). Suppose 0*j + 5*j = c. Are 1/9 and j equal?
False
Let y(t) = -7*t**2 + 3*t - 1. Let p be y(1). Which is bigger: p or -6?
p
Let r = 0.02 + -5.02. Let y = r - -4.9. Which is smaller: y or 1?
y
Let x = 0.02 - 0.17. Let h = x + 0.35. Which is smaller: h or -2?
-2
Let k(u) be the second derivative of 0 + 1/6*u**3 + 2*u - 3/2*u**2. Let s be k(5). Is 3 bigger than s?
True
Let k(a) = 4*a - 9. Let t(v) = -v + 2. Let q(r) = 2*k(r) + 9*t(r). Let o be q(-4). Let y be o/12 + 1/(-9). Is 0.2 less than y?
True
Let g = -4 - -7. Suppose 3*a + 15 - g = 0. Which is smaller: a or -1?
a
Suppose 6 = -3*f + 9. Which is smaller: 2 or f?
f
Let h = -15.08 + 17. Let n = h + -11.22. Let j = n - -9. Which is bigger: j or -0.1?
-0.1
Let n be 1/(-1) - (-76)/84. Let a = 29.2 + -29. Which is smaller: a or n?
n
Let r = 16 + 39. Is 54 at most as big as r?
True
Let y = -104 + 110.1. Let f = 2.1 - y. Which is smaller: f or 0.1?
f
Let j = 7 - 6. Let y = 344/5 - 69. Do y and j have different values?
True
Let y = 8 + -5. Let r be 193/24*3 + y. Let w = r - 27. Which is smaller: 0 or w?
0
Let u = 1332 + -7931/6. Let w = 40016419/3828426 - 6/91153. Let d = u - w. Which is smaller: 0 or d?
d
Let b be 64/(-30) - 7/(-21). Which is greater: -1 or b?
-1
Let i be (-58)/34 - 6/(-3). Is 0 >= i?
False
Suppose -6*t - 3*j = -4*t + 22, -t = -2*j - 3. Suppose 0 = -m + 5. Let i = t + m. Do 3/5 and i have different values?
True
Let s be 2/(-3)*(-2 + -1). Let t(n) = n**2 - 5*n + 5. Let p be t(s). Is p >= 1/10?
False
Let l = -0.14 + 0.09. Let v = -0.05 + l. Let s be (-2)/((2 + -3)*2). Which is greater: v or s?
s
Let l = -33 + 98/3. Which is bigger: 0.1 or l?
0.1
Suppose 0*n + 2*n = -4. Let b(c) = -3*c + 7. Let u(p) = 5*p - 14. Let w(h) = 7*b(h) + 4*u(h). Let o be w(-6). Which is bigger: n or o?
o
Let o = -55 + 72. Which is smaller: 16 or o?
16
Let y = -1 - 1. Let f be (y + (-5)/(-2))/1. Let n = -25/4 - -23/4. Do n and f have different values?
True
Suppose 3*b = 2*b + 1. Which is smaller: -4/11 or b?
-4/11
Let k be (7*(-6)/(-63))/(-32). Is k < 1?
True
Suppose -4*c = -5*g + 30, 0*g = -5*g + c + 45. Let p = g + -14. Suppose -s + 4*v - 2*v = 2, 0 = -s - 2*v - 2. Which is bigger: p or s?
s
Let u(o) = -5*o**3 - 2*o - 1. Let y be u(-1). Let t = -1 + y. Which is bigger: 4 or t?
t
Let y(o) = -o**3 - o**2 - o - 1. Suppose 0 = -4*h - 4. Let n be y(h). Suppose 2*s + 2 + 6 = n. Is s less than or equal to -2?
True
Let p = 0.24 - -1.76. Let d = 2.8 + -3. Do p and d have the same value?
False
Let z = 0.2 - 0.1. Let y = 0.9 - z. Let k = y + 0.2. Which is smaller: k or 0.1?
0.1
Let f = -0.1 - 0.7. Let i = f + 0.85. Let y = -0.15 + i. Which is bigger: y or 0.03?
0.03
Let n be (2/(-6))/(1/(-3)). Suppose 0 = -3*j - 3 + 9. Let i = j + n. Does i = 3?
True
Suppose 0 = 5*o - 20, -2*p + o - 2 = 2*o. Is p bigger than -2?
False
Let q = 5 + -6. Let l be (-17)/1 + 4/(-18). Let g = l - -17. Is g greater than q?
True
Let t(u) = u**3 + 5*u**2 - 5*u - 3. Let a be t(-6). Let f be (-36)/(-42) - 1/(-7). Let x be (2/a)/(f/(-3)). Which is smaller: x or 0?
0
Let r = 53591/66 + -812. Is -1 at most r?
True
Let p = 7.9 - 7.57. Is p less than or equal to 1?
True
Suppose f - 2*f + 89 = 4*l, 4*l + 5*f - 77 = 0. Suppose -4*d - 20 = -4*i + 2*i, -5*d - l = -3*i. Is d less than -6?
True
Let x(g) = -g**3 - 8*g**2 - 8*g - 2. Let v be x(-7). Let j = 7 - v. Which is smaller: j or 0?
0
Let r = -1.07 - -0.17. Let o = 1 + r. Is o smaller than 0.6?
True
Suppose 3*v + 2 = 4*g + 3, 2*v + 6 = 4*g. Suppose 0 = -p - 5, v*s + 5*p = 3*s - 9. Is s at most 4?
True
Let j(y) = 2*y - 2. Let b be j(2). Suppose 0 = 4*z - b*z + 6. Let g be 1/z + (-75)/(-279). Is g > 0?
False
Let n be 8/(-1)*10/(-4). Suppose 3*d + n = 4*t, -t + 5 = 2*d - 7*d. Suppose -2*l = -2*i + 14, -l - 3 = 4*i - 6. Is i greater than d?
True
Let l = -99 - -87. Do l and -10 have the same value?
False
Let o be 1*0/((-3)/(-3)). Suppose 3*t = 5*u + 7*t, o = -5*u + t. Which is smaller: u or 4/15?
u
Let n = 325 + -3578/11. Does n = -1?
False
Let c be 1 - (-2 + -1 + 4). Suppose c = -5*x + 4 - 14. Let b be x/((0 + 30)/(-1)). Which is greater: 0 or b?
b
Suppose -6 = -f - 2. Suppose f*c - 12 = c. Which is smaller: 6 or c?
c
Suppose 4*j + 2*j - 5*j = 0. Is j at least -2?
True
Let l = 0.4 + -0.5. Let t = 3 - 3.01. Let g = t + -0.39. Is l smaller than g?
False
Let k = 0 - -2. Let g = -47 + 20. Let s = 83/3 + g. Is s less than k?
True
Suppose 3*d + 2*f - 5 = 0, -d + 19 = -0*d + 5*f. Suppose -4 = -k + 1. Let g be (-14)/k - (2 + -5). Which is greater: d or g?
g
Let h = 14.9 + -15. Let w = 0.14 - 0.44. Is w greater than h?
False
Let v = -2 + 2.02. Let f = v - 4.02. Let s = f + 4. Which is smaller: 4 or s?
s
Let y = 0.05 - -0.95. Let l = 3.02 - 0.02. Which is bigger: y or l?
l
Let o(c) = -c - 7. Let g be o(-7). Let f = -14 - -8. Let q be f*1/(-9)*1. Do g and q have different values?
True
Suppose 5*b = -0*b + d + 532, -4*b + 3*d + 419 = 0. Let z = 425/4 - b. Is -1 greater than z?
False
Suppose 3*j - 13 = -4*k, 2*k = 5*k - j. Do 3/22 and k have the same value?
False
Let u be 2/(-20) + (-4)/8. Suppose 5*y = 2*y - 4*c + 1, 5*c - 1 = -4*y. Which is greater: u or y?
u
Let l be 770/(-2346) - (-2)/6. Let v be (21805/21896 + -1)*-1*89. Let t = v + l. Which is smaller: t or 1?
t
Let m be (4/8*0)/1. Is m bigger than -1/48?
True
Let z be (1/(-1))/(-6 + 3). Let x = -4 - -13. Which is smaller: x or z?
z
Suppose 10*v - 6 = 34. Let c = 0 - -2. Is c at least as big as v?
False
Suppose w - 2*i + 1 = 0, 4*w - 57 = -i - 61. Suppose 0 = -t + 4*t. Which is smaller: t or w?
w
Let h be (-231)/(-228) - (-3)/(-7). Let j = h - 1/76. Is -2/9 greater than j?
False
Suppose 5*p + 13 = 4*x - 0, -x + 5 = -3*p. Which is smaller: -3/13 or p?
p
Let q be 3/10 - 1/4. Let d = -42 - -41. Are d and q nonequal?
True
Suppose -3*t + 118 = t - 2*z, 