uppose -x = 2*b + 2*x + 46, -x - 83 = 3*b. Is b at least as big as -27?
False
Suppose 4*n + f = -38, -2*n + 3*f - 14 = f. Let v be n/(-6)*2/3. Which is smaller: v or -1/40?
-1/40
Let h be (-10)/(-3) + (-3)/9. Let b be h/(-8)*32/144. Suppose 0 = -5*c - 0*c + 3*d, -d = 5*c. Is c at least b?
True
Let r = -99458/2475 + -122/225. Is r >= -41?
True
Let z = -2074 - -2084.2. Are z and -9 equal?
False
Let o be 12/(-54) - (-5136)/27. Let m = o - 13871/73. Which is smaller: -1 or m?
-1
Let m = -5.86 - -5.46. Which is bigger: 210 or m?
210
Let t = 3417 - 3418. Let w = 0.03 - 0.11. Let n = w + -2.92. Do t and n have the same value?
False
Let p = -255/103 + 127038/515. Let k = 245 - p. Let t(q) = -q. Let n be t(-2). Is n bigger than k?
True
Let c = 0 - 0. Suppose c = -4*z - 3*k - 8, 19 = -2*z - 4*k + 5. Let p be 14/(-18) - (-5 + 2) - (-15 + 17). Is p greater than z?
False
Let x be -1*(4 - (-30)/(-6))*0. Is x less than -1?
False
Let y(f) = f**3 + 7*f**2 - f - 10. Let a be y(-7). Let m(q) = -q**3 - q**2 + 5*q - 4. Let g be m(a). Is g < -6/13?
True
Suppose 0 = -0*f + 2*f - 10. Let l = f + -3. Suppose -2*b = -2*s + l, -5*b + b + s = -2. Is b greater than or equal to 25?
False
Let q = -3.1 + 3.106. Is q equal to 0.1?
False
Let f = -2.18 + 2.32. Let j = 0.1 + 0.9. Is j bigger than f?
True
Suppose -3*r + 5 + 7 = 0. Suppose 31*o = -h + 36*o - 17, 2*h = -3*o + 31. Suppose 4*l - b = h, l + r = 3*b - 5. Which is greater: 1/4 or l?
l
Suppose 0 = 5*a - 25, 0 = -4*n - 2*a - 0 + 10. Let y = -4 + 3. Let l = y + 0. Is l equal to n?
False
Let h = 188.17 + -189. Let p = h + -31.17. Is p greater than 1?
False
Suppose -316 = -25*g + 234. Are g and 131/6 nonequal?
True
Let d = 3/187 + -763/935. Let p(a) = a**2 - 9*a + 20. Let n be p(4). Is n equal to d?
False
Let f(j) = 8*j - 46. Let y be f(-24). Which is greater: y or -235?
-235
Let x = 2785 - 2642. Which is bigger: x or -5?
x
Suppose 3*q + 3 = z, -2*q + 5*z + 2 - 17 = 0. Let d = 401 - 401. Is d less than or equal to q?
True
Let w = 201/5 - 18281/455. Suppose -o + 2 = -2*x - 7, 0 = -o - 2*x - 11. Which is bigger: o or w?
w
Suppose -10*y + 5*y - 150 = 0. Which is bigger: y or -29?
-29
Let q(g) be the first derivative of 11 + 1/3*g**3 + 7/4*g**4 - 3/2*g**2 + 2*g. Let p be q(1). Which is greater: p or 5?
p
Suppose 0 = 12*o - 6*o + 156. Which is greater: o or -27?
o
Let o = 611/4 + -152. Is o at least as big as 56?
False
Let z(p) = 3*p - 7. Suppose -15*n = -6*n - 36. Let a be z(n). Are 4 and a non-equal?
True
Let q = 7.002 + -0.002. Which is smaller: -11 or q?
-11
Suppose -h + 28 = -0*h. Let c be 8*(4 + h/8). Suppose -5*q + 0*u = 5*u + c, 8 = -4*u. Which is smaller: 1 or q?
q
Let n be (-1)/1 + 6/3. Let z = -1491 - -22373/15. Which is bigger: n or z?
n
Let l(z) = -z**2 + 20*z - 15. Let i be l(19). Suppose 3*x - 3 = 2*b, -x - i + 5 = 2*b. Does x = 2/355?
False
Let b be 1 - (0 - (-52)/44). Let t = 2183/15279 + 4/463. Let v = b - t. Which is greater: 17 or v?
17
Let s = -887/30 + 157/5. Suppose 2*p - 5*g + 0 = 4, 2*p = -5*g - 16. Let w be ((-4)/(-3))/((-2)/p). Which is bigger: w or s?
w
Let n = 12425/1300993 + 2/12631. Suppose 2*m + 4*d = 4, 2*m + 0*m = -3*d + 3. Is m >= n?
False
Let w = -13 - -16. Suppose w*f + 2 = -16. Let x(m) = 3*m + 14. Let n be x(f). Is n greater than or equal to -0.3?
False
Suppose 20 = j + 4*w, 0 = -5*j - w - 0*w + 24. Suppose -8 = -j*f - 5*m + 2, 3*m - 6 = 0. Suppose 4 = 4*n - f. Is n at least as big as -2/5?
True
Let j be 9/(-2)*1/(-12). Let p = -9/8 + j. Suppose 4*b - 17*b = 26. Which is bigger: b or p?
p
Let k be (48/(-20))/(6*(-3)/60). Suppose -3*b = -k*b + 15. Is b at most 5?
True
Let t = 0 - -5. Let k(r) = 2*r - 7. Let w be k(t). Suppose -4*j = -p - 3 + 12, w*p + 9 = 3*j. Is -6 equal to p?
False
Let n(h) = 3*h - 7. Let z be n(5). Suppose -4*b + z = -0*b. Suppose 11*c = 12*c - 3. Is c smaller than b?
False
Let j = -6701 + 2419063/361. Is j not equal to 1?
True
Let o(q) = 19*q - 16*q - 8*q - 24. Let b be o(-8). Is 15 >= b?
False
Let n = 38 + 42. Let g = n + -80. Which is smaller: g or -3/38?
-3/38
Suppose -5*k = -5 - 0, -4*k = 4*d - 64. Suppose 0 = 4*t + 2*z + 62, -2*z - 80 = -0*t + 5*t. Let h = t + d. Is -3 bigger than h?
False
Let a = -29 - -23.16. Let u = a - 0.16. Let z = u + 9. Which is smaller: 1 or z?
1
Suppose 13*i + 3248 = 17*i. Is 813 less than i?
False
Suppose -5*o - 21*a + 20 = -16*a, 12 = -o + 3*a. Let u be (-9)/12 - (-2 - -1). Which is greater: u or o?
u
Let y be -60 + 57 + 590/2. Do y and 292 have the same value?
True
Let c = -31 + 78. Let x = c + -47.04. Which is greater: 3 or x?
3
Let u(m) = -2*m**2 - 3*m + 2. Let p be u(2). Let b be ((-1)/2)/(-2 + 33/p). Is b at least as big as 2?
False
Let l = 0.03 - 0.43. Let g = l - 0.6. Let n = 2.01 - 0.01. Which is greater: g or n?
n
Let q(v) = -7*v + 181. Let t be q(32). Is 2/11 greater than t?
True
Let z(j) = -3*j - 2. Let p(y) = 2*y + 2. Let q(u) = -6*p(u) - 5*z(u). Let i be q(-7). Let k be 4/(-14) + i/(-7). Is k smaller than 0?
False
Let o be 9/4*(-4)/5. Suppose 102*n = 91*n - 5*b - 31, 2*n + 6 = -b. Which is bigger: o or n?
n
Let l = 31 + -20. Suppose -6*a - 10 = -l*a. Let g be a*2/(3 - -9). Is g bigger than -2/3?
True
Let i = 267/5 + -4299/85. Is 0 at most as big as i?
True
Suppose -5*k = -k - 20. Let p(w) = -k - 17*w + 26*w - 10*w. Let z be p(-9). Which is smaller: 1 or z?
1
Let x = 5 + 5. Let f be 1/(-5) + (-318)/x. Let r be (-120)/f*(-16)/6. Is r greater than 2?
False
Let f be (-2)/((-2)/1) - -3. Suppose -g + f - 3 = 0. Let u be (8/(-22))/(9 - -1). Which is bigger: u or g?
g
Let g(l) = 15*l - 96. Let j be g(7). Is 13 >= j?
True
Suppose -t = d + t + 5, 0 = -d + 3*t + 20. Let k(w) = -8 + 0*w - w + 12. Let p be k(d). Is p less than or equal to 4/23?
True
Suppose 4*x + 299 = 15. Let d = x - -61. Is d > -9?
False
Let b = 25/6 + -4. Let l(k) = -k + 1. Let f(u) = -u**2 + 11*u + 12. Let a be f(12). Let g be l(a). Is g > b?
True
Let u = 10.3 + 100.7. Let m = 110.9 - u. Let n = -10.79 - 0.21. Is m at most n?
False
Let z be 1/(-4) - 117/(-52). Let k be (-3)/z*20/(-15). Let f be (1 - k) + 9 + -3. Which is bigger: 6 or f?
6
Let r be (-6)/((-12)/(-64)*4). Let b be (-34)/r*(-16)/(-4). Is b >= 17?
True
Let a(b) = 13*b**2 + 43*b - 8. Let h(q) = 4*q**2 + 14*q - 3. Let m(w) = 2*a(w) - 7*h(w). Let o be m(-6). Suppose 0 = -o*f + 2*f. Which is greater: f or 2/5?
2/5
Let g be 4/(-16) - (-23)/644. Which is smaller: -16/5 or g?
-16/5
Let b = 6 + 4. Suppose 0 = 11*p - b*p - 4*n - 10, 5*p - 4*n + 30 = 0. Is -7 less than or equal to p?
False
Suppose 6*k = -3*y + 3*k + 624, -2*y = 5*k - 419. Which is smaller: 206 or y?
206
Suppose 0 = 4*y + d + 60, 5*y - y + 2*d = -60. Is -17 at most as big as y?
True
Let g(u) = u - 7. Let b be g(-5). Let w = b + 13. Suppose z + 4*z + 20 = -2*p, -5*p + 16 = -4*z. Which is bigger: w or p?
w
Let x = -15 + -43. Let u = -57.2 - x. Which is smaller: u or 1?
u
Suppose 95 - 39 = 8*a. Let q = -1038144/1235 - -3/1235. Let j = q - -847. Does j = a?
False
Let l(o) = 3*o**2 - 1. Let k be l(-1). Suppose -15 = -3*b + 15. Suppose 2*h + 3*h + b = 2*s, 2*h + 5 = s. Are h and k equal?
False
Let o = 31 - 33. Let b = 3.7 + o. Let c = 2.6 - b. Do 2 and c have the same value?
False
Let r = -0.215 - 91.785. Let d = 87 + r. Which is smaller: -4 or d?
d
Let p be -5 + (62/(-8))/(130/(-104)). Is -1/3 equal to p?
False
Let m = -66.23 - -66.4. Let q = 3 - 4. Are m and q unequal?
True
Let o = -1095 - -1094. Is o at least as big as 3/97?
False
Let p be (-47)/(-9) + 4/(-18). Suppose 4*o - 6 = l, o - p*o + 2*l + 4 = 0. Let k be 10/(-3) + 1 + o. Which is greater: -5 or k?
k
Let t = -2.7 - 0.3. Suppose -5*z - 3*w - 11 = 0, 3 = -5*z - 3*w + 4*w. Is t > z?
False
Let i = 0.24 - 0.04. Let x = 0.8 + i. Does 0.5 = x?
False
Let m = 9541/11 + -868. Are m and -1 equal?
False
Let s = -208 - -51. Let k = s + 156. Let m = -26 - -46. Which is greater: m or k?
m
Let t = 81.0293 - 0.0893. Let f = -81 + t. Which is bigger: f or -7?
f
Let t = -3.78 + -3.17. Let m = 7 + t. Which is greater: 4 or m?
4
Let t = 314 - 314.025. Which is bigger: t or 1?
1
Let g = 63 + -57.6. Let z = g - 27.4. Let i = z - -22. Which is bigger: i or 4?
4
Let f = -3/1310 - -2277/136240. Which is bigger: f or -0.1?
f
Let j = -16.8 + 1.8. Let b = j - -14.5. Which is greater: 2/23 or b?
2/23
Let b(j) = -j**2 + 6