 136/7 - 20. Let m(q) = -q**3 + 7*q**2 - 10*q + 7. Let h be m(6). Let j = h - -16. Which is greater: j or i?
i
Let o = 2863/3 - 969. Is o < -16?
False
Let a(b) = 4*b - 2. Let s be a(4). Let z be 16/s - (-4)/(-14). Is 1 greater than z?
True
Let y = -23 + 32. Let w(z) = z + 3. Let m be w(y). Suppose -2*g + 2*i = m, 2*i - 6*i = -3*g - 18. Which is smaller: -7 or g?
-7
Let s = 44 - 46. Which is smaller: s or 4?
s
Let m(a) = a**2 + 6*a + 4. Let g be m(-5). Let p be (-39)/(-10)*8/(-2). Let c = 692/45 + p. Which is bigger: c or g?
c
Let f = -0.6 + 1. Let r = f - 0.7. Let c = -0.2 - r. Which is smaller: 2 or c?
c
Let w = -4.94 - -5. Let c = w - 0.06. Is c at least as big as -0.5?
True
Suppose 3*a - 3 = -3*b, 29 = a - 5*b + 4. Let k = a - 0. Let l be (-1)/(-1)*(-5 + k). Is l < 1/7?
True
Let q be (-4)/(-10) - 22/55. Which is smaller: 1/70 or q?
q
Let j(c) = c + 14. Let y be j(-8). Which is smaller: 5 or y?
5
Let w be ((-4)/(-6))/(886/(-3)). Let v = w + 1783/4873. Suppose 0 = -2*c - 3*c. Is v at least as big as c?
True
Suppose 3*d + d + 4 = -3*y, -4*y - 4*d = 4. Which is smaller: -2/21 or y?
-2/21
Suppose 3*k = -4*b + 26, 4*b + 2*k - 34 = -10. Let u = -6 + b. Which is greater: 2/13 or u?
2/13
Suppose i + 13 = -0*i - 3*p, 4*i = -3*p - 7. Suppose i*w - 12 = 4*w. Let l be ((-8)/(-54))/(4/w). Is l bigger than 1?
False
Suppose -z + 1 = -7. Let g = z - -5. Do g and 13 have different values?
False
Let w(f) = f**3 + 4*f**2 - 3*f - 2. Let b be w(-5). Let u be (-4)/b*3/5. Does u = -2?
False
Let s = 0.01 - 0.01. Which is greater: s or 3/11?
3/11
Let h(k) = 3*k - 47. Let s be h(10). Which is smaller: -15 or s?
s
Suppose -3*o - 1 = -13. Suppose -34 = -o*d - 4*m - m, 0 = 5*d - 4*m - 22. Suppose 3 = -4*s + 23. Is d > s?
True
Let j = -0.278 + -0.022. Which is bigger: j or 9?
9
Let i = -0.19 - -0.07. Let y = 3.12 + i. Does y = 3?
True
Suppose 4*a = -t + 3, t - 5*t = -4*a + 28. Let m be a/(-8) + (-45)/(-20). Does m = 2?
True
Let m = -14 + 11. Suppose -2*z - 2*z = -2*k + 20, -3*z - 18 = -3*k. Is z less than m?
True
Suppose -2*w = -7*w + 3*l - 10, -5*w + 20 = 3*l. Let a(v) = -2*v**2 + v - 2*v**3 - w + 1. Let u be a(1). Is -3 less than u?
False
Let x(f) = 2*f + 3. Let t be x(3). Let c = t - 4. Let a(b) = -4*b**3 + 2*b**2 + 2*b + 1. Let k be a(-1). Is c >= k?
True
Let l be ((-1)/(1 + 13))/(3/36). Which is smaller: l or 0?
l
Let o = 76 + -77. Which is greater: o or -17?
o
Let y = 5 - 5.3. Let z = y + 0.1. Which is bigger: z or -3?
z
Let l be 2/(-4) + (-6)/(-24). Is l bigger than 0?
False
Suppose 2*c + 3 = 7. Suppose c*h + 3*h = 0. Is h < 0?
False
Suppose 2*g = 5*x - 25, -x + 2*g + 7 = -2*x. Suppose -h + x*s - 6 = 0, -4*h + 46 = -s + 3*s. Let k be ((-3)/h)/(2/6). Which is bigger: -3/4 or k?
-3/4
Let v = 0.24 - 0.34. Is 0.3 <= v?
False
Let s = 34.83 + -35. Let x = 0.03 - s. Is x at least 2?
False
Let w = -151/649 + 3/59. Let l be (23/(-28))/(9/24). Let i = -20/7 - l. Is w at least i?
True
Suppose -4*j - 18 = -2*j. Let w(g) = -g**3 - 9*g**2 - g - 10. Let h be w(j). Which is greater: -2/7 or h?
-2/7
Let d(w) = 2*w + 2. Let i be d(-5). Let v = -9 - i. Which is smaller: 4/9 or v?
v
Let u = 2 + 0. Let f = 2 - u. Which is smaller: -4/3 or f?
-4/3
Suppose -f = -0*f - 1. Let h be (-4)/10 - (-82)/80. Let j = h + -1/8. Is j >= f?
False
Let x = -15 + 15. Which is smaller: x or -1/10?
-1/10
Let q = 0.028 - -0.072. Let o = -0.8 + 0.2. Which is smaller: q or o?
o
Let t = 2.98 + 0.02. Let p = 3 - t. Is p equal to 0.4?
False
Let t(w) = w**2 - 4*w - 9. Let u be t(6). Let a be (-4)/(-36)*u*-9. Which is smaller: 1/4 or a?
a
Let k = -0.4 - -0.1. Let p = k + 0.5. Suppose -f = -4*f. Which is smaller: p or f?
f
Let j be 98/156 - 18/27. Which is greater: j or 1?
1
Let p = 0.6 + -0.8. Let j = -0.3 + 0.3. Let m = -0.3 + j. Which is smaller: m or p?
m
Let x = 1005 + -1013.77. Let c = 0.23 - x. Which is bigger: 0.1 or c?
c
Let o = 2.97 - -0.03. Let n = o + -7. Let t = 4.2 + n. Which is smaller: 0 or t?
0
Suppose 6*y = 21*y - 375. Is 25 smaller than y?
False
Let v = -6 - -9. Let h = 1 + v. Which is bigger: 0 or h?
h
Let i(p) = -p**3 + 8*p**2 + 8*p + 13. Let h be i(9). Suppose 0 = o + 3*c - 19, h*o + 4*c - 11 - 25 = 0. Is o >= 0?
True
Let x be 3/6 - (-3)/(-2). Let b be (-4)/40*(-4)/x. Suppose -2*c = 3*c. Is c not equal to b?
True
Let d be (1 - -3)*(-435)/36. Let a = -48 - d. Do a and 0 have different values?
True
Suppose -1 = 3*v + j, -4 = -2*j - 0*j. Let n = 2 + -8. Is n <= v?
True
Suppose 5*s + 0*s = 0. Let i be s + (12/(-15))/(-2). Which is bigger: 4 or i?
4
Let k be (4/(-19))/(12/(-6)). Which is smaller: -2 or k?
-2
Let q = 1443/136 - 83/8. Let l = q - 29/51. Suppose 0*r - r + 2 = 0. Are r and l unequal?
True
Suppose 42*j + 11 = 53*j. Let y = -7/13 - -6/13. Which is greater: y or j?
j
Suppose 547 = 2*v - 1301. Let w be v/55 + 2/10. Is w at least 18?
False
Suppose 3*z + 4*u = 3*u + 885, -3*z + 876 = 4*u. Let t = -162 + z. Let a = t - 1205/9. Is a less than or equal to 0?
False
Let i = 13 + -8. Suppose i*l + 3*k = -2, 2*l = -6*k + k - 16. Let a(m) = -m**2 + 3*m. Let u be a(2). Are u and l equal?
True
Let n = 0.03 - -0.97. Let v = n - -1. Which is smaller: 0.1 or v?
0.1
Suppose 0 = p - 4*p - 6. Which is greater: -4 or p?
p
Let z(j) = -j**2 - 10*j. Let k be z(-10). Which is bigger: k or 4/5?
4/5
Let m(a) = a**3 + 5*a**2 - 6. Let q be m(-5). Which is bigger: q or -4?
-4
Let c(x) = -x**3 - 15*x**2 + 17*x + 13. Let t be c(-16). Let q(z) = z + 4. Let o be q(-4). Let i = o - t. Which is smaller: i or 2?
2
Let b = -2361 + 814547/345. Is b at most as big as 0?
False
Let g = 51 + -39.8. Let m = 6.5 - g. Let a = 5 + m. Which is smaller: 1/2 or a?
a
Suppose -2*k = 4*a - 48, 4*a - 5*k + 2 = 36. Let j(w) = -3*w**3 - 3*w**2 - w - 2. Let f be j(-2). Which is bigger: f or a?
f
Suppose 2*z - 7*z = 0. Let t be 6/42 - 33/84. Are t and z nonequal?
True
Let a = -6.05 - -6. Let v = a - 0.05. Is v bigger than -1?
True
Let c = -1.3 - 0.1. Let x = c + -0.6. Which is smaller: -3 or x?
-3
Suppose 9*b + 11 - 2 = 0. Which is smaller: b or -10/7?
-10/7
Let c be 10*(-1)/2*1. Let d = -4 - c. Which is greater: d or -1?
d
Suppose -4*z + 8*z - 104 = 2*f, z = -3*f + 12. Is z >= 1?
True
Let f be 2/(-5) - (-6)/15. Which is smaller: f or 3/13?
f
Let x be 447/24*2 - 2. Let k = x - 35. Which is smaller: k or 0.3?
k
Let y(l) = 3*l**3 - 10*l**2 - 3*l + 4. Let v(m) = -21*m**2 - 4*m + 7 + 7*m**3 + m - 4*m. Let j(o) = 2*v(o) - 5*y(o). Let p be j(8). Is 2 < p?
False
Let q(b) = b + 1. Let x be q(4). Is x > -0.5?
True
Suppose -5*g - 3*t = 38, 2*g + 15 = 2*t - 13. Let u be (1/2)/((-3)/66). Do g and u have different values?
True
Let o = -0.01 + 0.11. Let k = 4.1 - o. Let d = -0.2 + 0.3. Which is bigger: d or k?
k
Let d(f) = f**3 + 15*f**2 + 24*f + 25. Let n be d(-13). Which is smaller: 50 or n?
50
Let m = 17 + -17. Let j(w) = w - 1. Let k be j(2). Suppose m*p - p = k. Is p smaller than 0?
True
Suppose -3*s - u = u - 10, 0 = 5*u - 25. Let i(k) = 3*k - 1. Let r be i(5). Let f be 24/r - (2 + 0). Is s bigger than f?
True
Let r = -1.7 + 2. Let i be (-2)/(-8) + (-9)/4. Is i less than r?
True
Suppose 3*r + p - 3*p + 37 = 0, 5*r = 5*p - 70. Let j be (2 - -3)*r/(-15). Is j != 0?
True
Suppose 6*b - 139 = -703. Is b > -93?
False
Let w = 12 + -11. Which is bigger: 8/5 or w?
8/5
Let t(u) = u**2 - 14*u + 14. Let v(p) = p**3 - 3*p**2 - 2*p + 4. Let a be v(4). Let n be t(a). Is -11 less than or equal to n?
True
Let x be (-15)/10 - 5/(-2). Which is bigger: x or -2/199?
x
Suppose -l - 11 = -6*r + 3*r, 0 = -2*r + 3*l + 5. Let y = r + -3. Let p = 40/91 - 2/13. Do p and y have different values?
True
Let m(o) = -o**2 + 8*o. Let n be m(7). Suppose -5 = -q - j + n, 5*q + 2*j - 51 = 0. Let f be ((-2)/q)/(2/(-3)). Which is smaller: 2/11 or f?
2/11
Let n be (-8 + (-664)/(-80))/((-6)/8). Let h = -0.9 - -0.1. Is h at most n?
True
Let n be (-1)/(-6)*-8 + (-3)/(-9). Let j(t) = -t + 10. Let u(b) = -1. Let w(h) = -j(h) - 5*u(h). Let p be w(4). Is n less than p?
False
Suppose 3*o + 3*v + 3 = 6, 5*v - 2 = -4*o. Let f(x) be the third derivative of x**4/24 - x**3/6 + 2*x**2. Let b be f(o). Is 3/4 greater than b?
False
Let c(k) = -k. Let b(v) = -v**2 + 9*v + 16. Let g(n) = -b(n) + 2*c(n). Let l be g(13). Which is smaller: 9 or l?
9
Let s(w) = -w**2 + w. Let i be s(1). Let p be 2/(-2) - i/1