ger: 7/13 or r?
r
Let i(b) = -4*b - 39. Let f be i(-23). Let u be f/(-42) - (-20)/(-120). Which is greater: -2 or u?
u
Let s(u) = u**3 + 12*u**2 + 21*u + 10. Let v be s(-10). Is v greater than 10/29?
False
Suppose -2*p = -2*v + 30, -116 + 35 = 5*p + v. Let g be (-44)/6*(-6)/p. Let l be (9 + -4)*2/(-5). Which is greater: l or g?
l
Suppose 5 = 5*v + 5*w, -32 = v - 3*w - 37. Which is greater: 2/29 or v?
v
Let o be (-2415)/(-84) + 3*3/(-24). Is o at most 27?
False
Suppose 17*v - 11*v = 78. Suppose v = 2*l + 17. Is l at most 9?
True
Let w = 19 - -22. Which is greater: w or -1?
w
Let h be -2*(4/19)/4. Let z be ((-2)/(-3))/(56/24). Is z at most as big as h?
False
Let z = -59 + 32. Is z < -27?
False
Let s(t) = 7*t - 16. Let x(u) = -20*u + 48. Let q(b) = -14*s(b) - 5*x(b). Let r be q(7). Let d(n) = -n**2 + 2. Let l be d(r). Which is bigger: l or 0.14?
0.14
Suppose 0 = v - 1, 20*n + 122 = 23*n + 5*v. Is n at least as big as 39?
True
Suppose -75 = -14*t - 11*t. Which is smaller: 5 or t?
t
Let c = -0.5 - -0.52. Let j be ((-11)/30 - 0) + (-2)/(-4). Which is bigger: j or c?
j
Let y be (-1614)/(-936)*-3 - 10/(-2). Is y bigger than 0?
False
Suppose -4*n = 7 + 13. Let i = -15 + 12. Let w be 2*((-5)/i)/n. Which is smaller: w or -7?
-7
Let o = -4145/6 - -689. Let a = o - -61/6. Which is smaller: a or 7?
7
Let g = -0.031 + 78.031. Let n = g - 29. Which is smaller: n or 1?
1
Suppose 359 = -g + 4*v, -19*g + 15*g + 3*v = 1462. Which is smaller: g or -368?
-368
Let m = 8 - 13. Let a(t) = -t**3 + 7*t**2 - 6. Let r be a(7). Let l = r - m. Is -1/7 <= l?
False
Let u = 23.22 - 15.03. Let c = 0.19 - u. Let p = c + 17. Which is bigger: 1 or p?
p
Let n be (-2)/(4 - -2 - 4). Which is greater: 2/335 or n?
2/335
Let j(a) = -a**2 + 12*a - 10. Let x be j(11). Is 2/5 at least x?
False
Let q = 3.097 - -0.283. Let i = -0.08 + q. Let p = -4 + i. Is -2/5 less than p?
False
Suppose -2*a + 4*j + 52 = 2*a, -j - 73 = -5*a. Suppose -5*h - 2*t = -a, -3*h - 18 - 4 = -5*t. Which is bigger: h or 3/14?
h
Let j be 646/(-8) - (-15)/20. Let m = -65 - j. Is 18 greater than or equal to m?
True
Let t = -7 - -7.2. Let n = t + 1.8. Let g = -1.18 - -4.18. Is g > n?
True
Let z(r) = r**3 - 3*r**2 - 5*r + 8. Let a be z(4). Let w = -5 + a. Are 3/31 and w unequal?
True
Suppose -5*p = 2*t - 131, -9*t = -14*t + 5*p + 310. Is 66 equal to t?
False
Suppose -6*n + 196 = n. Suppose 3*i = 5*o - n, -5*o + 14 = 3*i - 8. Let f = -717/5950 - -1/350. Which is smaller: i or f?
i
Suppose 0 = 5*l, 4*x - l + 0*l - 4 = 0. Suppose 5*p + 2*t + t - 2 = 0, 3*p = 5*t + 8. Are x and p nonequal?
False
Let j = -100 - -109. Let o be (-2)/8*j + (-18)/(-9). Which is smaller: 24 or o?
o
Suppose 5*w - 7*w = 0. Let n(x) = -2*x - 2. Let d be n(-7). Suppose o - d = -3*o. Which is smaller: o or w?
w
Let y = 14536/7 + -2080. Let v = 327489/66430 + -6/4745. Let u = y + v. Which is greater: u or 1?
u
Suppose -19 = 4*o + 1. Let w = o + 9. Let k be (12/(-8))/3 + 3. Which is smaller: k or w?
k
Let g = 10 + -16. Let p be (-1)/(7/28) + -5 - -1. Let m be g*(-12)/p - -2. Which is bigger: m or -8?
m
Let r = -2 + -4. Let h(x) be the second derivative of x**5/20 - 5*x**4/12 - 7*x**3/6 + x**2 - 2*x. Let m be h(6). Which is greater: r or m?
m
Let s be (-30)/(-40) - 154/200. Let j = 377 - 18847/50. Let c = s + j. Which is smaller: 1 or c?
c
Let o(c) = -c**3 + 3*c**2 + 21*c - 34. Let h be o(6). Is -9 smaller than h?
False
Let z = 461 + -460. Is z less than 15/196?
False
Suppose -35*i + 43*i - 8 = 0. Is 6/401 >= i?
False
Let r(c) = 3*c**2 + c - 1. Let n(h) = h**2 + 7*h + 1. Let y be n(-7). Let t be r(y). Let s(u) = 6*u**2 - 77*u - 12. Let a be s(13). Which is bigger: a or t?
t
Suppose 5*g + 8 = -4*l + 9*g, 0 = -4*g + 4. Are 4/109 and l equal?
False
Suppose -6*f + 736 = -5*f. Let v = 19874/27 - f. Does -1 = v?
False
Let j be 22/(-1)*(-5)/10. Let g(a) = -17*a - 5. Let n be g(-1). Do n and j have the same value?
False
Let y = -665 + 920. Is 253 at most y?
True
Let f = 18/25 - 212/225. Which is smaller: f or -2.5?
-2.5
Let l = 361 + -346. Which is smaller: l or 4?
4
Let g = 129 + -114. Let n = 11 + 3. Which is greater: n or g?
g
Let v = 3.7 + -59.7. Let d = v + 54.6. Is d at least as big as -0.1?
False
Suppose 0 = -4*t - 3*o - 12, -2*o = -3*o + 4. Let y = 8 - 14. Is t != y?
False
Let g(c) = c**3 - 5*c**2 + 2. Let t be g(8). Which is bigger: t or 195?
195
Suppose -3*l + 25 = 5*w, 8*w = 4*w - 5*l + 20. Let a(f) = 12*f**2 - f + f**3 - 4 - 7 - w. Let t be a(-12). Is -5/2 >= t?
True
Let d = 9 - -27. Suppose 85 = 2*b - 3*z, -45 = -2*b + 10*z - 15*z. Is d != b?
True
Let w be 788/(-8)*(-9)/18. Is w less than or equal to 50?
True
Let y = 169 + -115. Let q = -39 + y. Which is smaller: 0 or q?
0
Suppose -v - 9 = -2*d - 29, 0 = 3*d + 3*v + 12. Suppose -5*m = 3*a + 31 + 15, 2*m + 4*a + 10 = 0. Is m less than d?
True
Let x = 21/206 - 4611/8858. Let c = 271741/183610 - 255/854. Let j = c - x. Is 0 greater than or equal to j?
False
Suppose -2*q + 109 = -11. Suppose 4*n = 3*d + 55, 2*n + 4*d = 6*n - q. Let a = n - 9. Are -3 and a unequal?
True
Let v(h) = h + 32. Let z be v(4). Suppose 7*n + 5*n + z = 0. Is -0.1 >= n?
True
Suppose 3*d + y + 106 = 0, -d = -2*d - 2*y - 42. Suppose -4*v - 170 = v. Is d greater than v?
False
Let r = -2303 + 1273. Is r <= -1031?
False
Let d be (180/7)/((12/14)/6). Suppose 138*b = 143*b + d. Is -36 less than b?
False
Let f be ((-16)/10)/(-9 - (-2336)/260). Do 105 and f have the same value?
False
Let v = 1867/6 + -314. Let c = v - -4/3. Which is smaller: -0.03 or c?
c
Let v = -2 + 3. Let b = 15.2 - 16. Let d = b + -0.7. Is v less than d?
False
Suppose -3*k + 5*y = -5, y = 2*k + 3*k - 1. Suppose 0 = -3*d - k*d - 3*t - 99, -165 = 5*d + 3*t. Let j be d/36 + 1 - 0. Which is smaller: j or -0.1?
-0.1
Let l be (-41)/(-90) + -3 + (-4)/18. Let u = l + 19/6. Is u <= 0.03?
False
Let y = 9.1 - -3.9. Let c = y - -1. Is 1 smaller than c?
True
Let h(x) = 11. Let s(p) = p. Let m(o) = h(o) - 5*s(o). Let g be m(6). Is -19 smaller than g?
False
Let p be 33*4/(-36)*3. Let a be p/3 + 6/(-18). Let f be a + 4/(12/(-3)). Which is bigger: f or -9?
f
Let f = -29 - -29.17. Let h = 7.17 - f. Let g = h + -6. Is -0.04 less than g?
True
Let x be 4/4*(-2 - -4). Let r be -64 + (x + -8)/6. Is -64 less than or equal to r?
False
Let r(p) = -p**2 - 6*p + 9. Let m be r(-7). Let i(u) = u**3 + 16*u**2 - 6*u - 48. Let v be i(-16). Let y be (16/v)/(8/(-6)). Which is greater: y or m?
m
Let w(h) = -117*h - 937. Let m be w(-8). Let y be 1/(-2) + 31/70. Which is smaller: m or y?
m
Suppose -3*q + 12 = -0*x + x, 4*q - 5*x = -3. Let o = 7.6 - 7. Let r = o - -0.4. Is r at most q?
True
Suppose -4*w + 3*m = -32, 0 = 7*w - 3*w + 5*m. Let a = -70/3 + 25. Let j = -29/21 + a. Are j and w non-equal?
True
Let b(k) = k**2 + 6*k - 5. Let v be b(-7). Let u be (v - 1)*(3 - -1). Suppose u*c - 4 = -0. Which is bigger: -1/5 or c?
c
Let i = -242/21 - -39709/3444. Is i at least as big as 1?
False
Suppose w - 3*j - 56 = 0, 7*w + 4*j - 185 = 2*w. Let g = w + -81/2. Is 10 >= g?
True
Let u be 1296 - -14*(-20)/70. Which is bigger: 1293 or u?
1293
Let o be (0*(2 - 1)*1)/(-3). Suppose -5*w - 2*u - 3 = 0, -3*w - 3*u + o*u = 0. Do -7/11 and w have different values?
True
Let q be (-1)/(-1) + 1/(1/4). Let p = -0.2 - 0.4. Let a = p - -0.4. Is a < q?
True
Let t(m) = -m**2 - 11*m + 2. Let f be t(-12). Let c = -6 - f. Let k(b) = b**2 - 4*b. Let q be k(c). Which is smaller: 9 or q?
q
Let q be (119/(-105) - -1)*(-10)/(-6). Is q at most as big as 1?
True
Let i(x) = 2*x + 7. Let r be i(-4). Suppose q - 5*q = 12. Let z be q/5 + 10/(-25). Is r less than or equal to z?
True
Let q = 37 + -21. Suppose -5*h + 6*t - q = 3*t, 2*h + 4*t = 4. Which is greater: h or -3/2?
-3/2
Suppose -4*p + 0*c - 92 = 4*c, 3*p - 5*c = -61. Let j be 4/p - (-2)/11. Which is smaller: -2/31 or j?
-2/31
Suppose -3*q + 31 = -4*j, 2*j + 3 = -4*q + 3*q. Which is bigger: -18/7 or j?
-18/7
Let f be 1*-6*(35/(-14) - 2). Let c = 28 - f. Which is bigger: -3 or c?
c
Let p(u) = -u - 5. Let x be p(-4). Let y = 69 - 66. Let w be 5/10 - y/6. Is x equal to w?
False
Let g = 68 + -65. Suppose -4*y - y + g*w - 11 = 0, 2*w = 4. Is y > 1/56?
False
Let a(g) = -6*g - 32. Let z be a(16). Let t = -130 - z. Suppose 0 = 3*u + 3. Which is smaller: u or t?
t
Let a(x) be the third derivative o