*g. Suppose -g*f = -f + 5. Let k be 3/2*(-176)/66. Is f less than k?
True
Let h = 1 - -2. Suppose 0 = -h*q + 3*a - 2*a, -4*a + 10 = -2*q. Let g = 45/7 - 5. Which is smaller: g or q?
q
Let z = -134 + 62. Which is greater: -75 or z?
z
Let a be 128/(-4944)*2/8. Which is bigger: 0 or a?
0
Let w = 5 - 9. Let a = -2 - 9. Which is greater: w or a?
w
Suppose -2*d = 257 - 161. Which is greater: d or -46?
-46
Let t = 45.2 + -47. Let j = 1.8 + t. Do j and 16 have different values?
True
Suppose 5*u = 3*n - 1520, 2*u + 46 = 2*n - 962. Suppose -3*c + 8*c - n = 0. Let l be (-16)/(-104) - c/(-26). Does 4 = l?
True
Suppose 0 = -3*s - 3*k - 39, -12 - 30 = 3*s + 4*k. Let p = 16 + s. Let z be (-4)/p - 52/(-60). Which is smaller: -1 or z?
-1
Suppose -4 = 5*h + 26. Let p(w) = w**2 - 11*w - 1. Let t be p(11). Let d = t - h. Which is greater: d or 4?
d
Let t = -2 - -7. Let n(b) = -5*b - 2. Let s be n(-2). Let m be s/6 + (-5)/t. Which is smaller: -0.07 or m?
-0.07
Let y = 2836/9877 + -2/1411. Is y != -144/5?
True
Let t be (0/(-4))/5*(1 + -2). Which is greater: t or 6/11?
6/11
Let f = -0.98 - 0.02. Suppose 32*x + 0*x = -1248. Which is greater: f or x?
f
Let v(d) = 70*d + 53. Let o be v(-5). Is o at least as big as -2?
False
Suppose 479*y - 496*y - 34 = 0. Suppose 1 = -2*l - 5. Which is smaller: y or l?
l
Let m = 1556 - 1540. Suppose -3*c = j - 27, -3*c = -2*j + 21 - 3. Is m at most as big as j?
False
Let u be (-63)/(-21)*(-4)/576*3. Is -1 < u?
True
Suppose 4*n + 3 + 1 = -2*l, 0 = -5*n - 5. Let u be (2 + 1)/(6/8). Suppose l = q + 3*q + u. Which is greater: -1/23 or q?
-1/23
Let x be -3*-1*(-4)/(-30). Let q = 1.92 - 2. Let k = -4.08 - q. Do k and x have the same value?
False
Let y be (-1*1)/((-4)/(-36)). Let m be ((-105)/y)/(5/(-15)). Is -35 equal to m?
True
Let s be (2/2)/(4/8). Let v be 1 + 1 - (2 + (3 - 1)). Let o = v - s. Is -1/3 <= o?
False
Let p be (-10)/15 + (-137)/(-3). Suppose -b = 4*b - p. Let n(y) = -y**3 - 9*y**2 + 14*y - 78. Let o be n(-11). Is b at most as big as o?
True
Suppose -23*s - 3 - 43 = 0. Is s at least as big as -13/15?
False
Suppose 0 = f + 1. Let s = 6 + -31. Let u be 102*(-1)/s + -4. Are u and f non-equal?
True
Let k = 5.12 + -0.12. Let x = 167.036 - 167. Let d = x + 2.964. Is d smaller than k?
True
Let z(v) = v**2 - 34*v - 6. Let q be z(12). Does q = -271?
False
Let q(z) be the second derivative of -z**3/3 - z**2/2 + 4*z. Let c be q(-3). Let l = -19/68 + 1/34. Which is smaller: c or l?
l
Let q be (((-792)/(-30))/(-11))/(22/10). Let n be (-1 - -1)/(-1) - -1. Suppose 0*a + n = a. Is q != a?
True
Let y = -1809/1444 - -1/361. Is 1 greater than or equal to y?
True
Suppose -4*a + 5*v - 43 = 0, 3 + 19 = -a + 5*v. Let w(s) = -s + 19. Let y be w(12). Suppose 0 = -19*f + 18*f - y. Is f less than a?
False
Let l = -0.38 - -0.68. Let t = 1.1 + 0.9. Is l smaller than t?
True
Let r(n) = -n**3 - 43*n**2 + 88*n - 83. Let p be r(-45). Suppose -5*b = 2 - 17. Let a be (2 - 3) + b + 2. Is p bigger than a?
True
Let r(b) = 52*b + 365. Let t be r(-7). Which is smaller: t or -13/119?
-13/119
Let s(u) be the third derivative of 11/6*u**3 + 0 + 0*u - 2*u**2 - 3/8*u**4 - 1/60*u**5. Let b be s(-9). Is 11 at most b?
True
Let g be (0 - -4) + (-3 - -5) + -2. Suppose 0 = -w + g*w + 75. Is w != 0?
True
Let k = -97/159 + -3/53. Let i = -19.6 + 5.6. Is k bigger than i?
True
Let q = 0.25 + -0.04. Let a = 19 - 19.11. Let s = q + a. Which is bigger: s or -16?
s
Suppose 53*i - 19 = 54*i. Is i smaller than -15?
True
Let v be ((-5)/2)/(20/(-40)). Suppose -5*r - 19 - 6 = v*u, -3*u - 4*r = 14. Is -0.8 smaller than u?
False
Let u = 29 - 85/3. Let d be (-2)/(-2)*(-20)/5. Which is smaller: u or d?
d
Suppose 3*p + 34 = 5*a, 5*p = -a + 25 - 91. Suppose -4*n + 0*n = 48. Which is greater: n or p?
n
Let s be (5/(-65)*0)/(-6). Is s less than -2/1427?
False
Suppose -2*v - 5 = -3*v. Suppose v*p - 20 = 0, -3*u + 6*p - 50 = p. Let r be 16/10*u/4. Which is bigger: r or -1?
-1
Suppose 4*j - 25 = 4*h + 19, 0 = 5*j - 4*h - 59. Let u be (-45)/j - (-6 - -2). Let s = 2/201 + 364/3819. Is s less than or equal to u?
True
Suppose -4*h - 4 - 112 = 0. Let t = h - -27. Which is smaller: 2 or t?
t
Let m = 2/3889 + -35021/38890. Let z = 22 - 24. Which is bigger: m or z?
m
Let o(p) = -p**3 - p**2 - p + 5. Let q be o(0). Suppose q - 23 = 6*r. Let i be r - (-2 + 1)*8. Which is greater: i or 4?
i
Let s be 0*(1 - 1/2). Suppose -4*v - 4*g = 2968, -2*v = 3*v - 5*g + 3710. Let i = v + 63068/85. Which is bigger: i or s?
s
Let i = 5 + -12. Let q be i/((-7)/2)*-1. Let f = q + 1. Which is bigger: f or -3?
f
Let j be ((-3)/8)/((-9)/(-4868)). Let o = 197 + j. Does -6 = o?
False
Let o be 1 + -1 + 8 + -4. Let p be 20/2*2/o. Is p less than or equal to 6?
True
Let j = 1381 - 1126. Is j greater than 258?
False
Let l = 0.91 + -0.11. Let m = -9.8 + l. Let v = m - -10. Which is smaller: 0 or v?
0
Let y = 814 - 772. Is y at least as big as 23?
True
Let l be 7344/(-238) - 2/(-7). Which is smaller: -32 or l?
-32
Suppose 0 = 5*v, -5*l - v - 2*v + 740 = 0. Is l not equal to 448/3?
True
Let b = -1.3 - -9.3. Let s = b - 7.7. Which is smaller: 18 or s?
s
Let x = 204.9 + -191. Let p = -11.9 + x. Which is smaller: 44 or p?
p
Let h = 71.9 + -75. Let f = -17.1 - h. Let p = 12 + f. Which is smaller: -4 or p?
-4
Let u = -241/70 + -2/35. Let b(l) = -l. Let r be b(-2). Let d be (r/4)/(1/(-2)). Is d smaller than u?
False
Suppose 0 = 4*w - 15*w - 2013. Which is smaller: w or -182?
w
Suppose -18 = 4*g - 7*g. Let b be (-1)/g - 89/6. Let i = -12 - b. Which is smaller: 5 or i?
i
Let r = -328/9 - -11362/333. Is r at least -3?
True
Let z = 188 - 236. Which is smaller: -47 or z?
z
Let z = -7 + 0. Let m be (42/36)/z*1*14. Is m greater than 1/6?
False
Let m = -441 + 450. Which is smaller: m or 49/5?
m
Suppose -4*p + 2*m + 126 = 0, -51*p + 190 = -46*p + 4*m. Is 39 > p?
True
Let v = -634 + 635.4. Is v equal to -26?
False
Suppose 0 = 5*n + 2*z - 17 - 8, 5*n + 5*z - 40 = 0. Suppose 0 = -w - 2*d + 3*d - 6, -n*d + 9 = 0. Let c = -0.8 - -0.3. Which is greater: w or c?
c
Suppose -13*o - 33 = -410. Which is smaller: 324/11 or o?
o
Let h = 2.3 + -4.3. Are -66 and h equal?
False
Let v be (-5)/((-10)/(-34)) - (-8 + 3). Suppose 4*m + m = 20, -8 = -3*t + m. Suppose -t*r = -4*a - 36, 0 = 3*a - a + 4*r + 24. Is a < v?
False
Suppose -4*z - 12 = 0, -z + 5*z = -5*c + 3. Let i(b) = 5*b**3 - 8*b - 7*b**2 + 4*b**3 + c - 8*b**3. Let f be i(8). Is f greater than 4?
False
Let d be (-6)/10 - 36/(-30). Let q be (-1 - 2) + (-4 - -14). Let b be -3 + q + -1 - 2. Which is smaller: b or d?
d
Let z(n) = n**2 + 5*n + 17. Let a be z(-4). Which is greater: 6 or a?
a
Let m = 3137126089714833/280256 - 11193787429. Let v = 2/4379 + m. Which is smaller: v or -1?
-1
Let q be 2 + (5 - 2) + 2. Let a = -2 + q. Let w = -6 - -11. Is a equal to w?
True
Let x be (4 + (-105)/10)*2. Let l be 8*3/6 + x. Is l greater than or equal to -7?
False
Let d = -1934 + 2153. Which is smaller: d or 217?
217
Let u = 3180 + -3370.3. Let y = 178 + u. Let h = 13 + y. Is 1 < h?
False
Suppose 3*j - 28 = -7*x, 16 = -14*j + 10*j + 4*x. Suppose 4*a = 2*a + 6. Suppose 2*i - 7 = -a. Which is greater: j or i?
i
Suppose 0 = -4*i + 9*i + 15. Let b be i + (7984/(-90))/(-8). Let c = 62/9 - b. Is c not equal to -2?
True
Let r = -151 - -163. Let u be (-10)/(-20) + (r/15)/(-1). Suppose 7*k = 4*k + 3. Which is greater: k or u?
k
Let r(y) = y**2 - 22*y - 53. Let u be r(24). Let k(i) = -i**3 - 9*i**2 - 19*i. Let d be k(u). Is -5 greater than or equal to d?
True
Let x be 44/(-4) + (-4)/4. Let y be -1*14 + (-9 - x). Let h = y - -13. Is h less than or equal to 2?
True
Suppose 5*m - 3 = 4*m. Let v be m*-2 + 3 + 63. Let n be (-2)/(-5) - v/275. Which is greater: n or 0.3?
0.3
Let s(h) = 2*h + 18. Let o be (-5)/((-25)/(-5)) + -4. Let l be s(o). Is 7 at least as big as l?
False
Suppose -194 = -5*w + 4*i - 43, 0 = 2*w - 2*i - 60. Which is smaller: w or 35?
w
Suppose -361 + 121 = -5*y. Is 50 equal to y?
False
Suppose 0 = -5*m + 15*x - 20*x - 100, m - 2*x + 35 = 0. Is -23 at least m?
True
Let s be (3661/(-525) - -7)/((-11)/(-5)). Is 1 bigger than s?
True
Let y = -28.4 + 24. Let d = 4.7 + y. Let w = -0.3 + 0.4. Is d bigger than w?
True
Suppose 11 = 5*g - 4. Let t be 2/g*(-33)/(-11). Suppose 7*m - 3*m - t*f = 6, -3*m - 9 = 3*f. Is m greater than -5/6?
T