3479/16632 - 3399/56. Let g = y - 4/27. Which is smaller: g or -1?
-1
Let c be (-66)/(-20) + (-35)/14. Which is greater: -14 or c?
c
Let m = -956 + 956. Is m less than or equal to -6/271?
False
Let u = 24 + -23. Let o be 4 - 1/(-7)*-19. Which is bigger: u or o?
o
Let t = 127/2296 - 3/41. Is t greater than 4?
False
Let d = 10 + 16. Let z = 37227 + -37229. Is d less than or equal to z?
False
Let m(r) = 9*r - 35. Let t be m(5). Which is smaller: 4 or t?
4
Let h be 7 - (5 + (-4 - -6)). Which is bigger: h or -14?
h
Let z = 72 - 58. Suppose -g + z = -2*g. Which is greater: -15 or g?
g
Let c = 819032/105 - 40302/5. Let h = c + 260. Suppose -4*t + 96 - 100 = 0. Which is smaller: h or t?
t
Let v be (3 + -1)/((-6)/183). Let o = -85 - v. Which is smaller: o or -23?
o
Let k = 36 - 36. Let u = -60 + 41. Is u < k?
True
Let t(m) = -74*m**2 + 6*m + 2. Let f be t(-4). Let n be f/(-15) + (0 - 2). Let y = n + -78. Which is smaller: 2/3 or y?
y
Suppose 0*b = b - 0*b. Let m = -48.8 - -53. Let n = m - 3. Which is bigger: b or n?
n
Let k(g) = g**3 + 6*g**2 + 8*g + 6. Let o be k(-5). Suppose 35 - 44 = -9*c. Let x be c + 0/(-2) + o. Is -20/3 > x?
True
Suppose 0 = 2*w + 4. Let k be (-11)/w*(-4)/(-2). Let v = 11650 - 11639. Is v greater than k?
False
Let o = -439/80 + 45041/7920. Let s = o - -1/44. Which is bigger: s or -0.5?
s
Let s = -70 + 299/4. Suppose -2*p + 10 = 4*a - 5*a, 5*p - 3*a - 25 = 0. Is s bigger than p?
False
Let c(m) = 2*m - 27. Let h be c(16). Suppose -2*j + 3*j + 1 = 0. Let l = 5 + j. Which is greater: h or l?
h
Let k = 0 - 14. Let a be 0 + 24/k - -3. Let t = 92/77 - a. Which is bigger: -1 or t?
t
Let m = -116 - -164. Suppose 6*u = 3*u - m. Is -14 != u?
True
Let l = -29 - -29. Let x = 0.4 + -0.6. Let h = l - x. Which is bigger: h or -1?
h
Let y be 209/38 - (-1)/(-2). Suppose 2*n = 9 - y. Are n and -4 equal?
False
Suppose -3 - 2 = 5*f. Let s be -1*2/(-4)*12*(-130)/140. Is s <= f?
True
Let x = 44 - 123.2. Is 0.1 smaller than x?
False
Let h be ((-3)/(-7))/((-3)/(-2877)). Are h and 413 unequal?
True
Let i = -24 - -25. Suppose -i = 4*u + 3. Is 0 smaller than u?
False
Let c = -83.8 + 98. Let l = -16.2 + c. Is -0.3 smaller than l?
False
Suppose 2*q - 5 = 5. Let a(s) = s**3 - 3*s**2 - 12*s - 13. Let k be a(6). Suppose 0 = -q*c - i - 0*i, -5*i = 2*c - k. Which is smaller: c or 1?
c
Let y be (-558)/(-20)*8/((-128)/20). Let z = y - -35. Which is greater: z or 1/5?
1/5
Let n = 0 + 0. Suppose 11*h = 10*h - 63. Let c be (0 - -1)*(-14)/h. Which is smaller: c or n?
n
Suppose -190 - 2170 = -5*o. Is 472 at least o?
True
Let o(h) = 13 - 11*h - 10 + 47*h. Let n be o(5). Let s = n - 7139/39. Is s >= -1?
True
Let u = -0.04 - -3.04. Let g be (1 - -8)*6/18*28/714. Is u < g?
False
Let t be (-22)/11*4/(-32). Which is greater: t or 14?
14
Let p be 5/(70/24)*120/(-32). Let r = p - -111/14. Let t(x) = x**3 + 3*x**2 - 4*x + 3. Let k be t(-4). Which is greater: r or k?
k
Let m be ((-18)/8)/(33/2). Suppose -69*u - 4*g - 20 = -72*u, -u + g = -5. Is m != u?
True
Let f = 1572 + -2299. Is f bigger than -726?
False
Suppose 7 = 4*w - 1. Suppose 5*v = 18 + w. Suppose v*x = -x. Is x less than or equal to 0?
True
Suppose -t - 12 = -6*t - 4*h, 0 = -2*t + 5*h - 15. Suppose t = -2*z - 3*z + 30. Let s(b) = -2*b**2 + 10*b + 3. Let o be s(z). Which is greater: o or -7?
-7
Let b = 1.224 + 0.376. Which is bigger: b or -3/4?
b
Let z = -1111 - -1112. Is z > 7?
False
Let h = -310917/166 - -1873. Suppose -2*v - 2*v + 4 = 0. Which is bigger: v or h?
v
Let x(p) = 25*p + 4. Let h be x(-1). Let t = -23 - h. Which is greater: t or -1?
-1
Let t be 3 - (-12)/(-4) - 22. Suppose -u = 4*y + 89, 70*u = 73*u + 3. Is y bigger than t?
False
Let v(q) = -4 - 1 - 5*q - q**2 + 0. Let n be v(-3). Does 1/112 = n?
False
Suppose 2*b - 5*i = -439, -3*b = -6*b + 4*i - 648. Which is greater: b or -213?
b
Suppose -1 = -24*c - 1. Suppose 0 = 2*o - 3*w, -3*o = -w + 6 + 1. Do o and c have different values?
True
Let v be 0 + (2 + -1 - 8). Let t(s) = s**2 + 6 + 3*s + 2 + 5*s. Let x be t(v). Which is bigger: x or 4/3?
4/3
Let q(r) = -r**2 - 10*r + 17. Let a be q(-11). Let x be (-9)/a*4/(-18)*1. Is x not equal to -3/4?
True
Suppose 96 = 5*t + 36. Suppose 42 = -2*y - 3*y + 3*o, -t = 4*y + 3*o. Let h be (-32)/(-20)*(-30)/9. Which is smaller: y or h?
y
Let z be 11310/(-440) - (-3 + 11/4). Which is smaller: z or -1?
z
Let g = 7897/1044 - 68/9. Which is smaller: -1 or g?
-1
Let f be 2*((-15)/(-16) - 1). Let a(q) = q**3 - 3*q**2 + 2*q + 44. Let i be a(0). Let p be (1/(-2))/((i/(-8))/(-11)). Is f bigger than p?
True
Let p(z) = 2*z - 1. Let x be p(3). Let k(q) = 8*q + 0*q**2 + 0*q**2 - 5*q**2 + 4*q**2 - 1. Let m be k(7). Is m > x?
True
Suppose -2*v - 12 = -6*v. Let u be (6 - v) + 0 + -1. Suppose -5*t = a + 23 - u, -2*t = 4*a + 12. Is -8/7 at most a?
True
Let v = -137/198 + 19/99. Let g = 1.1 + 3.9. Which is greater: v or g?
g
Let i = 0.76 + -0.739. Let r = i - -0.026. Is 1/4 at most r?
False
Let q = -8/943 - -4313/619551. Is -1 > q?
False
Let p = -0.251 - -0.251. Is 18/13 != p?
True
Suppose 5*f = -2*b + 80, 2*b + 6*f - 8*f - 66 = 0. Is 34 less than or equal to b?
True
Let q = -54 + 54. Suppose q = 3*j + 2 - 2. Is j bigger than -4?
True
Let a(x) = x**3 + 3*x**2 + x - 1. Let l be a(-2). Let j = 3/223 + -925/2453. Is j at most as big as l?
True
Let p = -28 - -28. Let g be (-1498)/378 - (p + -4). Which is greater: 0 or g?
g
Let j = 555 + -471. Which is greater: 86 or j?
86
Let m = -0.54 + 0.576. Let h = -1.964 - m. Which is greater: -1/15 or h?
-1/15
Let p = -14 - -20. Let j be 6*((-9)/p - -2). Suppose j*k - k = 0. Is -3/4 at least as big as k?
False
Let d = 1379 + -1293. Is 685/8 equal to d?
False
Suppose -36 = -5*v - 4*d, -2*v + 5*v = 3*d + 27. Suppose 0*q = v*q + 8. Which is smaller: -2/89 or q?
q
Let f = -20 - -17. Let d = -9 + 12. Suppose -d*l + 0*n - 13 = 2*n, 3*l = -4*n - 17. Is f at least l?
True
Let o(n) = -n**2 + 2*n - 2. Let y be o(5). Let v = -13 - y. Suppose 6 + v = m. Is 11 equal to m?
False
Let h = 1338.9 + -1339. Let z be 394/(-130) - 4/20. Is z less than or equal to h?
True
Suppose -2*c = -4*g + 8, 7*c = -5*g + 3*c - 3. Is -1/11 bigger than g?
False
Let q(f) = 13*f + 7. Let x be q(5). Suppose -p - x = p. Let k be 2/10 + p/(-20). Is 3 less than k?
False
Let x(a) = a**3 + 10*a**2 + 12*a + 13. Let k be x(-9). Let b = k - -57. Is 0 greater than b?
False
Let g = 19/55 + -8/55. Let h = 4.4 - 4. Which is greater: g or h?
h
Let j be 0/((-7 - -6)/(-1)). Which is bigger: j or 284?
284
Let s = -0.456 + -0.544. Which is bigger: s or -2.46?
s
Let m = 0.1731 - -548.8269. Are m and -0.1 nonequal?
True
Suppose 0 = z - 4*q + 7, -85*q = -4*z - 83*q - 84. Which is smaller: -29 or z?
-29
Let d(m) = m**2 + 10*m + 2. Let o be d(-10). Let x be 3 + 3 - o - 12. Let v = -8 - x. Is 0 equal to v?
True
Let c = -131/398 - -503705/1527922. Is c not equal to 0?
True
Suppose 5*p = 25, -i + 19 = 2*p - p. Does 79/6 = i?
False
Suppose 0 = -2*g + 12. Suppose -4 - 4 = -4*w. Suppose -4*v + w = -g*v. Is 2/7 bigger than v?
True
Let i = -42 - -463/11. Suppose -2*h + 16 = 18. Which is bigger: i or h?
i
Suppose -5*y - 2*t = 6, 3 = -4*y + 2*t + 9. Is y != -1/2506?
True
Let l(f) = -4*f - 7. Let r = -18 - -13. Let d be l(r). Let v be ((-1)/3*-9)/((-3)/(-12)). Which is bigger: v or d?
d
Let d = -24.24 + 26.24. Which is smaller: 172 or d?
d
Let z(j) = -j**2 + 17*j + 2. Let u be z(17). Suppose -m = u*x + 9, -2*m + 6*m = -5*x - 27. Is m greater than -40/9?
True
Let i = 22468.984 + -22574. Let g = 105 + i. Which is smaller: 0 or g?
g
Let h = -167/2 + 5173/62. Let g = -4 - -3. Let b be 1 + 2/(g - 1). Is b less than h?
False
Let o be ((-24)/(-378)*7)/((-4)/(-18)). Let f(r) = -2 - 2*r - 7*r**2 + 3 - r**3 - 4*r. Let t be f(-6). Does t = o?
False
Let d = 877/7 - 127. Which is smaller: d or 3?
d
Let a be (-1 - 8/(-5))*5. Let u be 3 - (-11*a)/3. Let f be (-74)/u + 30/105. Is f > -4?
False
Let t(f) = 2*f - 16. Let x be t(8). Let o = -22 - -20. Let n be (-6)/(-24)*o/20. Which is smaller: n or x?
n
Let j = 5224/2274125 - 3/2599. Is j < 1?
True
Let w = -288 + 153. Let i be 140/w*(1 - -2). Which is greater: -2 or i?
-2
Suppose 0 = -82*y + 79*y - 42. Let c(z) = z**2 + 13*z - 9. Let r be c(y). Is r at least as big as -4/9?
True
Suppose 4*h + 35 = 607. Do 143 and h have different values?
Fals