1). Which is greater: -1/965 or g?
g
Let h = -15.115 + 16.135. Let r = -0.08 - -1. Let c = r - h. Which is bigger: c or -58?
c
Let j(z) = 6*z**3 + 3*z**2 - 4*z + 5. Let u be j(-4). Let d be (-63)/(-135) - 7/(u/(-6)). Is d equal to -2/375?
False
Let u = 1.55512 + -2.76512. Let h be -1*((-1)/5)/1. Which is smaller: h or u?
u
Let b = 857/372 - 5/93. Suppose -l = -5*v + 5, -3*v + 1 + 2 = -l. Which is greater: v or b?
b
Let t be 5 + 1 + 6354/(-18). Let d = t + 353. Is d >= -10?
True
Let a = -815.6 + 832. Is 23 at most a?
False
Let j be (-78)/((-3 - (-10 + 9)) + 0) + 0. Are 188 and j equal?
False
Suppose -55*s = 110859 + 28181. Are -1 and s unequal?
True
Suppose -m - 3*g = -69, 233*m = 231*m + 3*g + 138. Which is smaller: m or -51?
-51
Let u = 0.6 + 1.4. Let r = -29965.6 + 29967. Which is bigger: u or r?
u
Suppose 2469 = -14*q + 2833. Which is smaller: -14 or q?
-14
Suppose 113*b = 127*b - 5670. Let f be b/(-10)*(-60)/(-18). Is f greater than -136?
True
Let t be (-8)/(-18) + 130808/1494. Let n be -104*(-2)/(8/(-3)). Let z = n + t. Is 6 less than z?
True
Let p = 0.98 + 0.02. Let h be 10/(-102)*(-462)/165. Let j = -283/102 + h. Which is bigger: p or j?
p
Let b = -6880 + 6989. Let i be ((-110)/(-4))/(1/4). Which is smaller: i or b?
b
Let x = -10640047/39184104 + -2/168897. Let u = x + -3/29. Let b = -3323 + 3323. Is u less than b?
True
Let h(f) be the third derivative of -f**5/20 - f**4/8 - f**3/2 + 5*f**2. Let l(y) be the first derivative of h(y). Let c be l(3). Which is smaller: c or 0?
c
Let x = -2.1 - 0.9. Let w = -4.791 - 0.009. Let t = x - w. Which is smaller: t or 1?
1
Suppose 48*h - 5233 = -529. Which is greater: 84 or h?
h
Let h = 1/23092 - -45533/15032892. Is 3 less than or equal to h?
False
Let x(c) = -21*c**2 - 66*c - 11. Let r be x(-3). Is r bigger than 2/297?
False
Let k = 184 - -181. Let j = k + -366. Which is bigger: j or -11/18?
-11/18
Let q be (1/4)/(-3 - 6). Suppose 0*n + n + 5 = 2*c, 5*n - 2*n - c = 0. Which is smaller: q or n?
q
Suppose -c - 16 = j, c - 77*j + 22 = -75*j. Let p be 6 + 2*45/c. Which is bigger: 2/393 or p?
p
Let n = 2598.2 + -2596.91. Which is smaller: -0.02 or n?
-0.02
Suppose 8*b = -16 - 0. Let q be b + 40/(-1 + 5). Suppose 0 = -5*a + 3*l - q, 5 = -2*a + 3*l - 0*l. Which is greater: a or 1/29?
1/29
Suppose 4*n + 388 = v, -20*n = -17*n - 4*v + 304. Let c be (n/(-72))/(2/(-27)). Let i = 2 + -19. Is c less than or equal to i?
True
Suppose 0 = -12*x + 9*x + 93. Suppose 3*j + x = 5*q - 45, -4*q = 2*j + 58. Let d be ((-3)/(-2))/(4*j/2736). Which is smaller: -39 or d?
-39
Let m = 659535/11 - 59915. Let y = -2289/4972 - 3522847/84524. Let i = y + m. Is i less than 1/3?
False
Suppose 0 = 17*g + g + 15*g - 4950. Is g bigger than 155?
False
Let s = -12 + 8. Suppose 0 = 10*y + 486 - 3446. Let v be -2*(-4)/y*(7 + -5). Which is smaller: s or v?
s
Suppose 15*n + 51170 = 11*n + 21*n. Is 3009 at most n?
True
Let v = -45516/5 - -9106. Which is bigger: 0.124 or v?
v
Let j(u) = 14*u - 12. Let y be j(2). Let i be (-2)/y*8/(-3)*-129. Is -41 > i?
True
Let x(k) = -5*k - 120. Let y be x(-17). Let z be 168/y + 4 + (-288)/(-375). Which is smaller: 1 or z?
z
Suppose -s = -6*s + b + 9, 5*b = -s + 7. Let z(g) = -41*g + 60. Let y be z(s). Are -22 and y equal?
True
Let z = -39557 - -39602. Which is smaller: 2056/47 or z?
2056/47
Let h be (-6)/(0 - 1) - (-220)/(-40). Let r = 496 + -318. Is h greater than r?
False
Let k = 10 - -7. Suppose -k = 2*g - 21. Suppose -3*n + 2*f + 14 = 0, -f = g*n + 2*n - 37. Which is smaller: 26/3 or n?
n
Let n = -14476 + 64838006/4479. Which is smaller: 1 or n?
n
Suppose -3*r - 10*j = -8*j + 4238, 3*j = -2*r - 2832. Let p = 7086/5 + r. Is p >= 6?
True
Let v be 2 + (184/110 - 4). Suppose -5*a - 131*j + 126*j = 0, 5*j = a. Is a less than v?
False
Let g(i) = 91*i + 749. Let n be g(-15). Is -614 at most as big as n?
False
Let j be (-4163 - -15)*(-7)/28. Which is greater: 1035 or j?
j
Let f(c) = -2*c**2 + 2*c + 10. Let i be f(-4). Let q be (-5)/i*-3*0. Let l be 100/32 + 1 + -4. Which is bigger: l or q?
l
Suppose 10 = 4*i - 30. Suppose i*p - 1 = 9. Let s be ((-15)/(-260))/((-2)/8). Is s <= p?
True
Let k(j) = j**3 + 31*j**2 + 12*j - 1405. Let p be k(6). Let y = 9716 + -3604638/371. Which is greater: p or y?
y
Suppose 0*l + 3*l - 9 = 0. Let c = l - -2. Let a = 1810 + -1807. Is a <= c?
True
Let y = 4188 + -4234. Which is greater: y or -69?
y
Let r = 4.6 + -4.577. Suppose -5 = f - 3*g, 5*f + 15 = g + 4*g. Which is smaller: r or f?
f
Suppose 3*b = 5*a - 1253, 0 = -4*b + 6*b + 2. Let c be (-6)/(-5)*a/15. Let g be (-72)/c + (-12)/(-3). Is g >= 1?
False
Let d(c) = -c + 1. Let q be d(7). Let z = 5 - q. Suppose -z = -f - 23. Is f at least as big as -12?
True
Suppose -3*g + 3*k - 1910 = 988, 4*k - 2897 = 3*g. Let z = 641 + g. Is z bigger than -326?
False
Let w(j) = -j + 6. Let c be w(4). Suppose -24 = c*h - 34. Suppose 3*z + 125 = h*q - 2*z, q + z = 23. Do q and 24 have the same value?
True
Let j = 243 + -243. Let w be -6 + j*5/(-15). Are w and -5 equal?
False
Let y(t) = -2*t**3 - 27 - 43*t - 12*t**2 + 115*t - 16*t + t**3. Let c be y(-15). Which is smaller: -193 or c?
-193
Let p(f) = f**3 - 6*f**2 - 9*f + 54. Let z be p(6). Let u = 270/29 + -18215/1972. Is z less than u?
True
Let h(l) = -3*l**3 + 11*l**2 + 4*l - 7. Let t(x) = x**3 - x**2 - x. Let c(d) = h(d) + 4*t(d). Let r be c(-7). Let q be 3 + r/59*25. Is q equal to 0?
False
Let k = -37486/71 + 528. Is k smaller than -1/4?
False
Let j be ((-18)/6)/((-4)/44). Let u = j + -29. Is u at most 4?
True
Let p(x) = 185 - 122 - 148 - 36*x. Let t be p(-3). Which is smaller: 25 or t?
t
Suppose -56*i = 2*b - 55*i + 66, -4*i = -16. Which is smaller: -36 or b?
-36
Let w be (-6)/(-4)*(32/12 + 0). Suppose -k - 4*g = 0, 4*k - w*g = -9*g + 11. Suppose a - 4*n - k = 0, 5*a - 5*n + 2 - 7 = 0. Are a and -2/3 equal?
False
Suppose -5*a - 23 = -0*a - c, -12 = -4*c. Let i(k) = 19*k + 77. Let y be i(a). Which is smaller: y or -4/139?
-4/139
Let t = -143.9798 - -144. Let q = -6.0038 - t. Let g = -0.024 - q. Which is greater: g or -1/3?
g
Let h = -983 - -4888/5. Let a(d) = -d**2 + d + 1. Let v(u) = 6*u**2 + 7*u - 5. Let q(y) = -2*a(y) - v(y). Let p be q(-3). Are p and h non-equal?
True
Let j = 303/4 - 3181/42. Suppose -2*u = g + 16, 5*g + 5*u + 58 - 18 = 0. Which is smaller: g or j?
g
Let o = -683 + 481. Let y = 203 + o. Let v = -3207 + 458603/143. Are v and y non-equal?
True
Let h be ((-8)/3)/((-2)/(-72)). Let x = h - -96. Suppose -5*b = x, -5*b + 210 - 46 = 4*w. Is w >= 42?
False
Let z(q) = q**3 + 8*q**2 - 159*q + 154. Let g be z(8). Which is bigger: -1618/17 or g?
g
Suppose -31*u + 26*u = 2*g - 28, -3*u - 3*g = -24. Suppose -u*p - 3*x = -352, 5*p + 2*x - 440 = 5*x. Is 88 greater than p?
False
Let h = 2173/2 + -6521/6. Is 4273 at most as big as h?
False
Suppose 5*y - 4*v - 4 = 0, -3*v = 4*y + 2*v + 5. Suppose k + 3*k = y. Let z = 801 + -807. Which is smaller: k or z?
z
Let v be 4/(-7) + 149552/(-91). Is 0.4 > v?
True
Let x = 304/7 + -13002/301. Let l(g) = g**2 - 8*g + 7. Let i be l(7). Suppose 7*f = -i - 0. Which is smaller: x or f?
f
Let w(h) = -6*h - 6. Let a be w(-3). Let d be ((-1)/(-3))/(4/a + 0). Suppose -2*m + d = -g, -m - 1 = -4*m + 2*g. Do -2/37 and m have the same value?
False
Let s(g) = 20*g + 1 + 5 - 19*g. Let h be s(-1). Let z be ((-20)/6)/(h - (-94)/(-18)). Is 13 < z?
True
Suppose 936 - 1350 = 18*l. Let g(u) = -u**2 - 4. Let v be g(-4). Which is smaller: l or v?
l
Let m be (-5)/(10/(-4)) + 2. Let z be -1*(-6 + (m - 1)). Suppose 2*x = -4*r - 270, -z*x + 15 = 2*x. Is r at least as big as -69?
True
Suppose -6*k = -7*k + 5*h + 1201, 2*h + 6028 = 5*k. Let w be (-14)/((-84)/k) - 2. Which is greater: 200 or w?
200
Let b = 0.0858 - -21.9142. Which is smaller: -1/9 or b?
-1/9
Let f = 23670 + -2177605/92. Are f and -1 unequal?
True
Let x = -400 - -405. Suppose -2*j = 4*f - 26 + 6, -3*j = -f + x. Suppose 3 = -3*c - 0. Which is smaller: j or c?
c
Let z = -266 + 271. Suppose -15*n + z*n = 210. Which is smaller: n or -20?
n
Suppose 5*h - 11 + 3 = -4*u, 4*u - 3*h = -24. Let x(a) = a**3 + 4*a**2 + 3*a. Let m be x(u). Let t = -12 + 22. Which is smaller: t or m?
m
Let m = -465 + 492. Let i(z) = 6*z - 189. Let o be i(m). Which is greater: -19 or o?
-19
Let o(w) = -w**2 + 8*w - 7. Let q be o(7). Let j be ((-7)/