0 = 111*g - 9*g - 918. Which is smaller: q or g?
g
Let i = 5 - -14. Let x = -20 + i. Is x equal to -3/16?
False
Let s be 8/8 + -1 + 0. Suppose -2*x - 3*x + 80 = s. Suppose -x*o = -21*o. Is o < 5/9?
True
Let b(a) = -a**3 - 12*a**2 - 12*a - 2. Let z = 16 + -13. Let d be (0 + -33)*z/9. Let n be b(d). Is 9 <= n?
True
Let p = 0.118 - 0.118. Let n be (3 - 0)/((-195)/(-2)). Which is bigger: n or p?
n
Let v = 312 + -312.206. Is 0.2 greater than v?
True
Let p(b) be the third derivative of b**4/12 + b**3/3 + 32*b**2. Let l be p(0). Which is greater: l or 13?
13
Let s = 929722/111 - 8376. Let d = s + 26/111. Let f = 53/148 - d. Is -1/6 greater than or equal to f?
False
Let a = 180 + -359/2. Let i be (-19051)/(-45) - (-1)/5. Let b = -424 + i. Which is greater: a or b?
a
Let c(v) = -87*v - 127. Let y be c(-2). Which is smaller: 49 or y?
y
Let x = -1/56 - 499/280. Let u be ((-4)/(-10))/((-1)/5). Which is greater: u or x?
x
Let p = -0.242 - -0.142. Which is greater: 9 or p?
9
Let h = -28449 + 28450. Let v = -538/45 - -52/5. Is h less than v?
False
Suppose -7 - 17 = -4*m - 2*o, 3*m + o - 19 = 0. Let d(g) = 3*g**2 - 8*g + 12. Let p be d(2). Suppose p*h - 2*h = 54. Which is smaller: h or m?
m
Let m = -41 + 44. Which is bigger: -4/11 or m?
m
Let k = -405 - -409. Is 12 at most k?
False
Let x be (-4)/8 + 6/(-4). Let y be x/(-12) + 38/(-12). Let p = 9 + -13. Is p != y?
True
Let x be ((-9)/2304*12)/(3*25). Which is greater: 0 or x?
0
Suppose 131*v = 130*v + 27. Suppose 18*l = v*l + 108. Which is smaller: 2/7 or l?
l
Let j = -588 - -535. Which is smaller: j or -55?
-55
Let w = -1367/765 - -30/17. Which is bigger: 0 or w?
0
Let m = -9 + 8.95. Let d = 0.223 - 0.023. Which is smaller: d or m?
m
Let c be 2/15 - 1391/195. Let u(n) = -n**3 - 4*n**2 + 6*n - 13. Let k be u(c). Do 93 and k have the same value?
False
Let t = 109269/29 - 3768. Suppose -2 = u + 3*j + 3, -3*u + 5 = -j. Which is greater: u or t?
u
Let q = 753874 - 804384041/1067. Let c = -9/97 + q. Which is smaller: c or -2?
-2
Let v = 373522/33843 + -962/87. Is v less than -1?
False
Let r(u) = u**2 - u - 6. Let b(z) = z**2 - z - 6. Let d(x) = 6*b(x) - 5*r(x). Let i be 0 + 0 + 0 + 0. Let v be d(i). Is -4 bigger than v?
True
Suppose 17*p + 2289 = -5922. Which is bigger: p or -484?
p
Suppose 0 = -f + 5*u - 1, 5*f - 3*f + u = -2. Let h be (-1338)/9 + f/3. Let w = -2089/14 - h. Which is greater: w or 0?
0
Let l(g) = 34*g + 34. Let c be l(-1). Let z be -2 + (-56)/(-58) + 1. Is c at most as big as z?
False
Let v be (-12)/60*(-5)/4*-4. Let u be 0/1*(-12 - -11). Suppose -2*h - 3*h - 15 = u. Which is smaller: h or v?
h
Suppose -17*o + 65 = -649. Let p be 3*o/(-2880) + 2/10. Do -1 and p have the same value?
False
Let q(p) = 15*p - 2. Let b be q(-1). Which is smaller: -18 or b?
-18
Let j be 90/120*(-106)/(-3). Which is greater: 26 or j?
j
Let j be (-1020)/(-99) + 7/21. Is 10 <= j?
True
Let u be (-10)/12*4*(-18)/15. Let h(b) = b - 1. Let q be h(u). Is -3 bigger than q?
False
Let j be 0 - (-3)/18*(-11 + 7). Is 10/21 at least j?
True
Let y be 134/6 - (-2)/3. Let u be (-568)/(-26) + -8*8/(-416). Which is greater: u or y?
y
Let s(a) = -a + 1. Let w be s(-3). Suppose 0*c - w = -2*c. Let g = 13 + -11. Is c smaller than g?
False
Suppose 5*z + 20 = -30. Is z smaller than -8?
True
Let p be 3/4 - 75/(-12). Suppose 0 = 5*d - p - 3, -5*b + 4*d + 17 = 0. Suppose -5*k + k - 5*o = -28, -b*k - 3*o + 35 = 0. Does -1/4 = k?
False
Let m = 43 - 46. Let p be m - (-51)/(13 - (0 - 1)). Which is bigger: p or 1?
1
Let y = 31.7 + -37. Let c = 4.7 - y. Is c != -5?
True
Let k = -190 - -190.154. Let t = 0.254 - k. Which is greater: t or 2/13?
2/13
Let x = 0.6 + -0.477. Let b = x + 0.097. Which is bigger: b or 0.1?
b
Let y(b) = 8*b - 60. Let o be y(5). Suppose 0*s = 4*s + 144. Let x be (-18)/o + s/24. Are -2 and x equal?
False
Let r = 1059/185 + -234/37. Are r and 375 equal?
False
Suppose 102*g + 8 = 110*g. Let h = -19/9 + 16/9. Which is bigger: h or g?
g
Let h(f) = 6*f - 13. Let b = 62 - 59. Let r be h(b). Let c be 2 - 1 - (-1 - 1). Is c at most r?
True
Let y be (-306)/12*(-2)/(-3). Let i = y - -23. Suppose -g = -i*g + 25. Which is bigger: 4 or g?
g
Let o = -11719/6 - -1952. Is 2 greater than o?
True
Let g = -55 - -61. Suppose -15*l - 18 = -g*l. Which is greater: -10/11 or l?
-10/11
Let h = -20.786 - -20.8. Which is greater: 0.2 or h?
0.2
Let v be (-315)/7 - (1 + 1). Let d = 231 + -276. Which is smaller: v or d?
v
Suppose 0 = -15*g - 4*g + 7638. Which is greater: 403 or g?
403
Suppose -1 = -3*c + 29. Suppose -b - 3*h = -6*h - c, -5*h - 16 = -b. Let t = -16/5 - -277/85. Which is smaller: t or b?
t
Let j be (-30)/(-40) - (-1)/(-12). Is j equal to -13?
False
Suppose 7*h = 5*h - 26. Which is greater: -93/8 or h?
-93/8
Suppose -3*j = -5*u + 16, -u + 0*j = j. Let p be (0 - u/4)/((-28)/40). Suppose 0 = -0*o + 2*o. Is o < p?
True
Suppose 18 = 5*b - 4*f - 0, 0 = 3*b + 2*f - 2. Let c be (2165/(-60))/(1/b). Let h = -147/2 - c. Which is smaller: -1 or h?
h
Let a be -1*5 - (-1387)/266. Is -1 at least a?
False
Let f be 48/(-198)*(-1)/4. Let j(k) = -k + 16. Let t be j(18). Let w be t*((-28)/(-8) + -3). Is f greater than or equal to w?
True
Let b(u) = -3*u - 1 - u + u + 0*u. Let a be b(-2). Suppose p - a*k = 17, p + k + 3*k + 28 = 0. Is p at least -8?
True
Let i = -0.9927 - -715.6927. Let l = 686 - i. Let y = -29 - l. Is 0.06 greater than y?
True
Let t = 0.125 - 0.625. Let q = 1 - 0. Is t bigger than q?
False
Suppose -2*i - i - 18 = 0. Let g = 10 + i. Let j be (-12)/(-2) + -2 - 1. Which is smaller: j or g?
j
Let w = -0.5 - 1.5. Let j = -100318/31 - -3236. Which is greater: j or w?
j
Let p(h) be the second derivative of h**5/4 + h**4/12 + h**3/6 + 12*h. Suppose -5*y - 3*d - 6 = -2*y, 2*y = 3*d + 1. Let r be p(y). Is 0 <= r?
False
Let x = -433.809 - -423.1. Let z = x + 0.109. Let d = -1.4 + z. Which is bigger: d or -2/5?
-2/5
Suppose -6*w = -10*w + 144. Do w and 39 have different values?
True
Let c be (-4)/30 - 912/(-90). Suppose -6 = i - 3*s - 0, -5*s + c = i. Is 1/6 at most as big as i?
False
Let c be 135128/(-6118) + (-1)/(23/(-2)). Let k = 23 - 46. Which is greater: k or c?
c
Let b = -18/47 + 2344/5875. Is 1 less than or equal to b?
False
Suppose 13*o - 4 = 11*o. Suppose 5*y - 63 = -13. Suppose -3*r = -o*t - y, -15 = 4*t - t. Which is smaller: -1/16 or r?
-1/16
Let n be (-3*4/10)/((-8)/4540). Which is greater: 682 or n?
682
Suppose -3 - 10 = 13*u. Let g be (-14)/(-168)*(-4)/(-3). Is u less than g?
True
Let q be (7/2)/(1/56). Let i = q - 2942/15. Suppose 83*o = 212*o + 129. Which is smaller: i or o?
o
Suppose -3*k + n = -160, -132 = -3*k + 2*n + 29. Are k and 52 equal?
False
Suppose -3*v + 3*s = 3, s = -2*v + 8 - 7. Are v and 388 nonequal?
True
Let q(t) = -t**2 - 9*t + 2. Let p be q(-7). Suppose 3*c - p = c. Let g = 14 - 14.2. Is c <= g?
False
Suppose 0 = -17*w - 1020 - 5559. Do -386 and w have different values?
True
Let c = -76/5 + 223/15. Is c at least 66.7?
False
Let d = -34 - -56. Let h = d - 21.67. Which is smaller: h or 1?
h
Let w = -7.42 + 7.32. Are w and 1/33 non-equal?
True
Let h = -118 - -107. Which is bigger: h or -9?
-9
Suppose -2*w = -2 - 0. Let p = -754/3 - -304. Let m = p + -52. Which is greater: m or w?
w
Let v(j) = -168*j**2 + 7*j - 3. Let u be v(1). Which is bigger: u or 1/2?
1/2
Suppose 0 = -4*j - 19*j + 9039. Is j less than or equal to 395?
True
Let h be 6*-2*(-2)/8. Suppose h - 9 = 3*z. Which is greater: z or -5/8?
-5/8
Let p = -3431 - -3421. Let s be (-30)/8 + (-1)/4. Is p at most s?
True
Let n be 13936/(-1710) + 1 + -1. Let r = n - -154/19. Is r less than or equal to -1?
False
Let x be (-5 + 2)*3/(-1). Suppose -9 = -h + w, 3*w = -5*h - 10 + 55. Does h = x?
True
Let t(b) = b**2 - b - 2. Let g be t(-2). Suppose -s = 6 + g. Which is greater: s or -12?
s
Let j = -110 + 103. Let c be ((-12)/(-10))/(1/(-5)). Which is smaller: c or j?
j
Let w be (-30)/4*(-3036)/165. Which is greater: 137 or w?
w
Let o(k) = -7*k**2 + 1. Let d be o(1). Let j = 25 - -15. Let x = j + -47. Do d and x have the same value?
False
Let j(r) = r**3 - 9*r**2 - 4*r + 11. Let n be j(8). Let o = -1 - 4. Let p be (-24)/n + 2/o. Which is bigger: -1 or p?
p
Let v be (3 + 0)*(-2)/(-3). Let x(j) = -2*j**2 - 23*j + j**2 - v + 26*j. Let t be x(2). Is t greater than -0.12?
True
Suppose v