3*t + 2*t = 9, -t - 7 = 3*f. Let u(d) = d**3 - 13*d**2 - 3*d + 19. Let g be u(13). Let y be g/50 - 8/(-70). Is y > f?
True
Suppose -4*f - 7 = -3*g - 56, -74 = 3*g + f. Is g at least -21?
False
Suppose -5 = -b - 13. Let n be ((-12)/(-48))/((-13)/b). Do n and -5 have the same value?
False
Let c = -14 - -13.68. Let d = c - 25.68. Let i = 22 + d. Which is bigger: 0.1 or i?
0.1
Let w be 10/36 + ((-60)/(-9) - 7). Let y(s) = s**2 - 6*s + 6. Let n be y(5). Are w and n unequal?
True
Suppose 0 = 2*s - 4*i - 2, 0 = -4*s - s + 3*i - 30. Which is bigger: s or 45?
45
Let z be 14/25*75/30. Which is smaller: 1 or z?
1
Let a = -21 - -37. Let n = -12 + a. Suppose 4*f + 4*y - y = n, 2*f - 5*y = 2. Which is greater: f or 1/10?
f
Suppose -5*p + 4*p = -1. Let w = 144 - 2447/17. Is w at least as big as p?
False
Let b be (-1485)/(-3775) + 24/(-60). Is b at most 0?
True
Let m = -9.71 + 26.35. Let w = m + 1.26. Let l = w + -18. Is -9 at most as big as l?
True
Let m = -53 - -52.01. Let o = m + -0.01. Let g(k) = -5*k + 1. Let p be g(-1). Which is smaller: o or p?
o
Let s = -3285.51 - -3264. Which is greater: 1/4 or s?
1/4
Suppose 8*l = 4*l + 2*m + 1122, l + m = 288. Which is smaller: l or 282?
282
Let s = 741 + -740. Suppose 8 = g + g. Which is smaller: s or g?
s
Let z be 4/((4 + -10)/3). Let c be (3 + 17/z)*-4. Which is greater: 23 or c?
23
Suppose -235 + 58 = -3*n. Let o = -55 + n. Is 8 smaller than o?
False
Suppose -4 = -0*q - 4*q. Let p be (-7 + 0 - -3)/(-2) + 3. Let r be (q - 7/p)/(-1). Is -1/4 at least r?
False
Let d = 0.1 - 64.1. Which is smaller: 10 or d?
d
Let j = 2/7521 + 61003/2507. Suppose 66 = -3*i - 2*n, -2*n + 5 + 1 = 0. Let y = j + i. Is -1 less than y?
True
Suppose 7*h = -0*h + 133. Let x(q) = 21*q + 5*q**2 - 4*q**2 - 22 - 2*q - q. Let r be x(-20). Which is greater: r or h?
h
Let o = -174.008 - -174. Let z = o - 0.092. Is z bigger than 11?
False
Let h = 549 - 552.63. Let v = -3.6 - h. Is v at most 2?
True
Let k(d) = -19*d - 38. Let r be k(-3). Which is smaller: r or 18?
18
Let o = -37 + 18. Let m = 19.15 + o. Let h = m + -1.15. Is h <= -1/9?
True
Let a be 12/3*6/(-48)*-2. Which is bigger: -7/29 or a?
a
Let z be (-56 + 55)*-242*1/(-3). Which is bigger: z or -80?
-80
Let f(o) = -o**3 - 2*o**2 - o + 52. Let p be f(0). Suppose -2*m + 5*l = 8*l + 4, 5*m + p = 3*l. Which is smaller: 0.4 or m?
m
Suppose -69*x + 162*x = -105369. Do x and -1133 have the same value?
True
Let o = 419 + -444.04. Let x = o + 25. Which is smaller: -0.3 or x?
-0.3
Let c = 21 - 16.1. Let n = -1.1 - c. Which is smaller: n or 0?
n
Let v = 66 - 62. Suppose 4*u = -v*u - 24. Do -5 and u have the same value?
False
Let w(i) = 3*i**2 - i - 6. Let k be w(-3). Is k greater than or equal to 29?
False
Let o = 110894/11 + -10071. Is 11 bigger than o?
True
Let a be (2 - 2/(-4))*38/2280. Which is greater: 2/3 or a?
2/3
Suppose 0 = -6*a + 5*a + 2. Suppose 0 = -2*r + 4*r - a. Let n = -0.307 - -0.337. Are r and n nonequal?
True
Suppose b = -4*s - 7, -s + 8 = s. Let w = 177 + -201. Which is smaller: w or b?
w
Suppose 41*j - 38 - 1766 = 0. Which is smaller: 31 or j?
31
Let j = -562 - -563. Which is smaller: -12/197 or j?
-12/197
Let b = 310 + -307. Is b less than 0.51?
False
Let v be (1/1*-2)/(-2). Let m = 8 - v. Suppose 3*o + 19 = -2*k, 2*o + 3*k = m*o. Which is smaller: -1 or o?
o
Let k be (-10)/(7/((-5012)/8)). Let b = -2708/3 + k. Is b less than or equal to -7?
True
Let q(y) = y**3 + y**2 - 3*y. Let g be q(0). Suppose -2*m - n = 5, -m - 3*n = -g + 15. Is m less than -1/46?
False
Let i(m) be the first derivative of 3*m**2/2 - 13*m + 1. Let t be i(6). Is 6 greater than t?
True
Let a = -484.9 + 429. Let y = -56 - a. Is -0.27 at least as big as y?
False
Suppose 0 = 3*i + 3*i - 474. Suppose -6*s = -i - 179. Is s bigger than 43?
False
Let i be (-2196)/21 + 9/(-21). Let n be 4/10 - (-7)/i. Suppose 2*u = 4*u - 2. Which is smaller: u or n?
n
Suppose -7*k - 5*k = 1164. Let o = -60 - k. Is -1 <= o?
True
Suppose -3*b = -b. Suppose 0 = 3*i + 4*p + 9, 0 = 49*i - 49*i + 4*p. Which is greater: b or i?
b
Let b = -5.75 - -5.868. Which is smaller: b or 2/5?
b
Let o be 4 + ((-10616)/(-15))/(-4). Let n = -173 - o. Is 1 bigger than n?
True
Let x = 0.6 - 2.2. Let w = 3.6 + x. Which is smaller: w or 3?
w
Let r(a) = -a**2 + 7*a + 2. Let g be r(7). Suppose 2*i + m + 61 = 0, -g*m = 2*i + 32 + 24. Let y be (-3)/(i/26) + -2. Are y and 1 nonequal?
True
Let x = -686 + 687. Do -24/49 and x have different values?
True
Let h = -81 + 87. Let d = h - -2. Is 7 greater than or equal to d?
False
Let p be (-35)/(-12) - (-28)/336. Let n = 4 - -1. Suppose -n*x + 72 = 4*v, x + p*x = v + 45. Is 12 greater than or equal to x?
True
Let u = 12 + -11. Let q be 1/((-24)/(-20) - u). Suppose 4*l - q*m + 0*m - 13 = 0, -l - 8 = m. Which is smaller: 1 or l?
l
Let t = -1866 - -1547. Which is smaller: t or -322?
-322
Let y be 291/194*2/9. Is -1156 at most y?
True
Let n = 2/63995 - 193301/42108710. Let r = n - 3897/11186. Is 1 at least r?
True
Let k(h) = -4*h - 161. Let a be k(9). Which is greater: a or -198?
a
Let t = 15.9 - 1.9. Let g = -14.05 + t. Which is smaller: 1 or g?
g
Let m = -3.7 - 1.3. Let d = m - -4.67. Are d and 0.2 unequal?
True
Let x = -0.0444 - -0.1554. Which is smaller: x or -3?
-3
Let b = -1.18 + -0.95. Which is smaller: b or -1/2?
b
Suppose -6*n + 2*j + 20 = -n, 2*n + 5*j = -21. Suppose -n*b + 5*b = 5*f - 18, 5*b + 20 = 5*f. Suppose -f*r - 56 = r. Is -15 greater than r?
False
Let q = -1136 + 1139.996. Let k = q + 0.004. Which is smaller: 0.08 or k?
0.08
Let l = -20 + 12. Let s = l - -11. Suppose 0*p + 11 = -5*p - 3*m, -s*p + 2*m = -1. Is -1 at most as big as p?
True
Suppose -5*f - 4*o = 220, f - 4*o - 5 = -25. Let t = -37 - f. Suppose 5*y - 14 = -0*y - 2*z, -5*y + 4 = -3*z. Which is smaller: y or t?
y
Let o(q) = q**2 - 10*q + 17. Let p be o(8). Let w be 5 - ((4 - 2)*p - -2). Does 3/5 = w?
False
Let m = -169/10 - -893/45. Which is greater: 2 or m?
m
Let c(h) = -h**3 + 11*h**2 - 11*h - 20. Let x be c(10). Let t be ((-4)/10)/((-2)/x). Which is smaller: -8 or t?
-8
Let z be ((-10)/4)/(3/(-6)). Let b(n) = -2*n**2 - 9*n - 7. Let o(v) = v**2 + 4*v + 3. Let m(d) = z*o(d) + 2*b(d). Let u be m(-1). Which is bigger: -3/7 or u?
u
Let j be 3 + ((-12)/(-6) + -5 - -1). Which is smaller: j or -3/370?
-3/370
Let w(n) = n**2 - 1. Let h be w(2). Suppose -h*p = 2*p - 15. Let r be (p - -1)*1/4. Which is greater: 1/19 or r?
r
Let x = -0.255 - -0.255. Do x and 16 have the same value?
False
Let i(b) = b**3 - 6*b**2 + 4*b + 4. Let f be i(5). Let q = -13 + -232. Let w be 4/q*10/(-4). Which is greater: w or f?
w
Let t = -9115 + 5314043/583. Which is bigger: 1 or t?
1
Let m be 2133/45 - 1*-2. Let f = -49 + m. Let q(k) = k**3 - 5*k**2 - 6*k - 1. Let g be q(6). Is g > f?
False
Let n be (8/(-110))/((-1)/(-5)). Let t(o) = -5*o + 40. Let p(f) = f - 10. Let d(r) = 9*p(r) + 2*t(r). Let z be d(-11). Which is greater: n or z?
z
Let j be ((-1)/(-126)*-1)/(1050/(-53520)). Let h = j - 2/441. Are -5/4 and h equal?
False
Let g = -46079/44436 - -2/1587. Which is smaller: 0 or g?
g
Let t = 1148 - 1124. Is 23 smaller than t?
True
Let x = 39 + 31. Suppose -2*j - 3*j - x = 0. Let r be -1 - (3 + -3) - 12. Which is greater: j or r?
r
Let b be (-4)/144*6*-2. Let u(n) = -4*n + 1. Let t be u(5). Let k = t - -11. Which is bigger: k or b?
b
Let t = 758.9 - 759. Suppose 6*i = 3*i - x - 1, 3*i + 11 = 4*x. Let l(v) = -v**2 - v. Let f be l(i). Is f not equal to t?
True
Let y = 24 + -32. Let g = -207 + 413/2. Do g and y have the same value?
False
Suppose -o = -0*o. Suppose 0*u - 3*u - 4*v - 8 = o, -u + 4*v = -8. Suppose 4*r + 4*k = 4, 3*k - 2 = -u*r - 4*r. Is 1/20 greater than r?
True
Let q be (-1074)/15 - 9/(-15). Let r = -709/10 - q. Which is bigger: r or 0?
r
Suppose -81 + 1 = -2*l. Suppose -12*k + 16*k = l. Suppose 4*w + w + 2*u + k = 0, 3*w + u + 5 = 0. Is w < 0?
False
Let t be ((-4)/10)/(2*(-7)/35). Is t > 2/751?
True
Let i = -265 + 139. Let t = i + 126. Is t != -7/19?
True
Let x = 0.378 - 0.578. Which is smaller: x or 5?
x
Let p(x) = -x**3 - 7*x**2 + 9*x + 22. Let d be p(-8). Which is smaller: d or 2?
2
Let x be 50/(-4) + (-3)/6. Let n(f) = 2*f**2 - 46*f + 72. Let q be n(21). Is q at least as big as x?
True
Suppose -340*u + 340 = -335*u. Is 69 <= u?
False
Let h be 76656/528 - 2/11. Wh