pose 2*q - 3*q + 3*i - 12 = 0, -q = 3*i - 12. Which is bigger: q or -8/9?
q
Let n(d) = -2*d + 7. Let v be n(-6). Suppose v = -3*u + 7. Let o = u - -6. Which is smaller: o or 3?
o
Let c(p) = -p**3 - p**2 + p - 7. Let i be c(-3). Let w(t) = -4 + 4*t - 6*t + 2*t**2 + 3*t - 3*t. Let g be w(3). Is i less than or equal to g?
True
Let h be 296/(-20) - 1/5. Let f = h - -15. Is -2/33 bigger than f?
False
Let t be 2*(-2 + -1)/3. Let y be t*3*12/(-8). Suppose 6*f - y*f = 3. Which is bigger: f or -5/3?
f
Suppose j - 109 - 175 = -4*i, 5*j = 2*i + 1530. Does j = 3?
False
Let i = 0.405 + -0.075. Let q = i - 3.23. Let l = q - -3. Which is smaller: l or 0?
0
Let j = 890 - 121929/137. Which is greater: -1 or j?
j
Let n(b) = -16*b - 64. Let o be n(-4). Let h be 1/(2/4 + 2). Is h less than o?
False
Let o = 0.1 - 1.1. Let n = o + 1. Let a = -2.091 + 0.091. Is n smaller than a?
False
Let l(s) = 54*s - 433. Let h be l(8). Which is greater: h or -27/25?
h
Suppose -3*y + 9 = -3*z, -5*y + 0*z = -z - 15. Suppose -153*f + 144*f + 63 = 0. Let r be f + -3*(-4)/y. Is r equal to 11?
True
Let g be ((-18)/4)/(21/(-56)). Suppose -4*a = -4*q - g, -q = -2*q - 3*a + 1. Is 1 < q?
False
Let p be (-22)/121 - 1432/(-11). Suppose -5*v + 3*c + 130 = 0, -4*c + p = 5*v - 3*c. Suppose 13 = -3*y - v. Which is smaller: y or -15?
-15
Let h(j) = -13*j**3 - 3*j**2 - 5*j - 1. Let f be h(-1). Let p = 7 - 6. Which is smaller: p or f?
p
Suppose 7 = -a + 4*k + 31, -2*a = -2*k - 18. Let b be 34/10 - (-12)/(-30). Suppose p = -0*q + b*q - 16, 3*q + 3*p = 0. Is a < q?
False
Let i be 52/6 + 4/(-6). Is i != 46/5?
True
Suppose 4*v - 11 = -j, 3*j + v - 6*v = 50. Suppose 4*u - u + j = 0. Let h = 101 - 106. Is h bigger than u?
False
Let o = 417 + -415.7. Is -0.1 less than o?
True
Let g = 784 - 1186. Are -403 and g equal?
False
Let y(k) = -95*k**2 + 8*k - 12. Let l be y(2). Is l greater than -378?
True
Let f be 2/(-20)*(-5 + 9). Let s = -4 - -4. Which is smaller: f or s?
f
Let y = -1649 - -1647. Which is smaller: y or -70/23?
-70/23
Let d be ((-15)/(-2))/((-3)/4). Let z be d/(-6)*81/3. Are z and 46 equal?
False
Suppose 0 = -27*k - 516 - 186. Is -7 smaller than k?
False
Let b be (7 - 0)/(532/63992). Are 842 and b equal?
True
Let u = -11 + 20. Let n be (-2)/3*(-27)/u. Suppose n*g + 9 = 5*g. Are 3 and g nonequal?
False
Suppose -11 = 3*k - 5*n, -4*k - 2*n - 18 = 14. Let f = -8 - k. Does -1 = f?
True
Let r = -1690 + 1695.045. Let y = r + -0.045. Let f = 1 + -1. Is y not equal to f?
True
Let c = -35.3429 - -0.0429. Let t = -35 - c. Let g = 8 + -5. Which is smaller: g or t?
t
Let o = 4 - 2. Let d be 204/1785*(-30)/(-4). Which is bigger: o or d?
o
Let h = 6 - 17. Let p(b) = b**3 - 4*b**2 - 21*b + 60. Let v be p(3). Is h at most v?
False
Let z(i) = i**3 + 15*i**2 - 18*i - 33. Let f be z(-16). Which is smaller: -1/13 or f?
f
Let v(d) = -d**3 - 2*d**2 + 5*d + 2. Let w be v(0). Let g(o) = -o**2 + 5*o - 4. Let a be g(3). Let i be ((-3)/a)/(12/(-16)). Is w at least as big as i?
True
Suppose 0 = 7*y + 90 - 230. Do y and 96/5 have the same value?
False
Let q = 2687 - 1970. Is q at most 717?
True
Suppose -5*h = -14*h + 225. Let c = -27 + 27. Is h bigger than c?
True
Let f = 9.3 + -9. Let l = f - 0.18. Let b = -7 - -27/4. Which is bigger: l or b?
l
Let w(g) = -g**2 + 3. Suppose -3*i + 4*n - 10 = 0, n = -3*i - 0 - 5. Let r be w(i). Let q be (1 + 1)/((-7)/(-1)). Which is smaller: r or q?
r
Let n be -3 - -3 - -17 - -3. Let f be 0 + 16/n - 2. Suppose 0*x = -6*x. Is f bigger than x?
False
Suppose 185*p + 560 = 201*p. Which is smaller: 250/7 or p?
p
Let i = -65 - -61. Let w be (-2)/((i/(-9))/(66/(-9))). Which is smaller: w or 34?
w
Let m(c) = -24*c**2 - 26*c + 6. Let j(b) = 5*b**2 + 5*b - 1. Let n(x) = -14*j(x) - 3*m(x). Let u be n(-6). Let v = u - 12. Is 2 less than v?
True
Let b be -1 + 8 - 116/44. Is b greater than 3?
True
Suppose -4*k + 7*k = 4*p + 16, -2*k - 4*p - 16 = 0. Let i = -9368/6951 + -11/331. Let m = -12/7 - i. Is m less than k?
True
Let f be 1/5 + 602/(-910). Let t(d) = d**2 + 9*d + 5. Let l be t(-9). Suppose 0 = -0*g - l*g. Is g greater than or equal to f?
True
Let s = -6 + 7. Let p = -1 + s. Let x be (1/8)/((-3)/6). Is p less than x?
False
Let i = -25 + 27. Let q be (15/65)/(i + 1). Which is smaller: q or -1?
-1
Let l = -10.035 - 0.985. Let r = l + 11.1. Let h be (-2)/(-7) + (-24)/(-14). Which is greater: r or h?
h
Let t be (-203)/5 + 7 + -2. Let a = -36 - t. Is 0 < a?
False
Let q be 1 + (-20)/15 - 4/(-3). Is q at least -215?
True
Let d = 7 - 6. Suppose -10*n = -4*n - 72. Which is smaller: d or n?
d
Let x be 18/(2/(104/1833)). Which is bigger: x or 0?
x
Let b be 76*((-920)/(-70) + -13). Is 12 less than b?
False
Suppose -5*y + 920 = -5*b, 2*y - 92 = 5*b + 828. Which is smaller: b or -183?
b
Let s = 2.14 + -0.24. Let g = 0.033 - 2.033. Let i = g + s. Is i less than or equal to -3/2?
False
Let t = 5.8068 - -0.1932. Which is smaller: -25 or t?
-25
Let m be 86/(-480) - (-3)/15. Let o be (8/108*-3)/(4/(-18)). Which is greater: o or m?
o
Let d(c) = 10 - 7*c + 10*c + c - 43. Let h be d(11). Is 1/2 not equal to h?
True
Let v = 41 - -353. Is v less than 0.1?
False
Let x = 178 - 94. Let f = x - 1763/21. Which is greater: f or 1?
1
Let r = -15/109 - -1774/12099. Is r less than or equal to 1?
True
Let q(l) = -l**2 - 6*l + 3. Let s be q(-6). Suppose -s*u = -15 - 9. Which is smaller: 10 or u?
u
Let m be (-6)/2 + 0 + 4. Let f(l) = -l**3 - l**2 + 1. Let j be f(m). Are 0 and j equal?
False
Let d(q) = q**3 + 3*q**2 - 3*q + 4. Let c be d(-4). Suppose c = 5*t - k + 3*k + 59, 3*t - 3*k = -27. Let x = t - -12. Is x equal to 2/23?
False
Let d = 201 + -196. Is d greater than or equal to 66/13?
False
Let f = -90 - 30. Let b be 3/5 + 3942/f. Let u = -32 - b. Is u at most 0?
False
Suppose -5*o = 5*d - 50, 2*o + 14 = 4*o - d. Let r be -1*10*o/(-16). Suppose 4*l + 18 = r*q, 0 = -0*l - l - 2. Which is greater: 6 or q?
6
Let i = -570 + 569. Which is bigger: i or -3/400?
-3/400
Let x = 106.8 - 106.884. Is x less than -1?
False
Let u(i) = -56*i**3 + 2*i**2 - i. Let m be u(1). Let n = 59 + m. Do 4 and n have the same value?
True
Let s be (-6)/294*(-35)/1500. Which is bigger: 0 or s?
s
Let q = 33997/41 + -829. Is -1 greater than or equal to q?
False
Let q = 0.07 - -13.93. Let m = -2 + 1.9. Which is smaller: q or m?
m
Suppose -3*c - 17 = -5*i, 7*c = 9*c + 5*i - 22. Is c < 1/116?
False
Let z = -147 - -115. Let n be -2*4/z + 3/4. Which is greater: n or -1/11?
n
Suppose -68 + 47 = -7*q. Which is smaller: -1.6 or q?
-1.6
Let y(n) be the third derivative of n**5/60 + n**4/24 - n**3/3 - 26*n**2. Let b be y(1). Which is smaller: b or -39?
-39
Let o be (-7)/(1155/(-22)) - (-2)/(-15). Let h be -2*-7*(0 - 1). Do h and o have different values?
True
Suppose -230*c = -224*c - 54. Which is smaller: 11 or c?
c
Suppose -u + 8 = -3*l, 0 = -u - 3*l + 4*l + 10. Suppose 3*o + 70 = -u*o. Is -11 >= o?
False
Let d = 1012/6409 + -2/493. Let w be 1 + (-12)/4 - -5. Suppose -y - w = -4. Is y less than d?
False
Suppose 0 = -j + 2*h + 8, -9 - 1 = 5*h. Suppose 12 - 4 = j*s. Is s greater than 4/5?
True
Let c = -135 - -133. Is c >= -0.013?
False
Let a(b) = 484*b + 2904. Let t be a(-6). Let r(q) = q**3 - 3*q**2 + 3*q - 1. Let y be r(2). Is t bigger than y?
False
Let y(i) = 11*i**2 - 33*i - 8. Let p be y(5). Are 103 and p equal?
False
Let t be 5/6 + 96529/(-117030). Is 1 greater than or equal to t?
True
Suppose i + 24 = 3*k, i + k + 3 + 1 = 0. Let y be 3/18*i/48. Let n = 383 + -384. Is n smaller than y?
True
Suppose 26 = d - a, 42*d - 46 = 40*d - 4*a. Which is greater: 33 or d?
33
Let b be 121 + (-3 + 7)/(-2). Is 119 greater than b?
False
Let g = -109.6 - -106.6. Which is smaller: 5.9 or g?
g
Let x = 5 + -1. Suppose 3*j - x*f - 14 = 0, -5*f - 4 + 2 = 4*j. Suppose -4*g + n = -2 - 0, -2*g = n + j. Is -4 bigger than g?
False
Suppose -15*d = -14*d - 79. Suppose -d = 7*u - 275. Is u at most as big as 28?
True
Suppose 2*x = 8 - 8. Suppose -3*s + 18*s - 45 = x. Which is greater: 21/13 or s?
s
Let m(t) = -t**3 + 5*t**2 + 6*t + 3. Let b be m(6). Let r = 3 - b. Let x = 3 - r. Is x < 3?
False
Suppose -m = -3*l - 5, -4*m = 3*l + 9 - 29. Suppose s = 2 - 4. Is l at most s?
False
Let r be ((-182)/(-104))/((-5)/(-20)). Suppose -4*v + 5*f - 5 = -47, 3*f = -v + 2. Which is smaller: r or v?
r
Let v b