than k?
False
Let r = 316/9 + -4469/126. Let l be (-1*2)/(-7 - (-60)/12). Is l greater than r?
True
Suppose 0 = -8*f + 5*f. Let a = -2 - 17. Let s be 4/a*(-4)/8. Which is smaller: f or s?
f
Suppose 0 = 4*c + 16, -12 = -4*y - 3*c + 5*c. Let u = 54 + -1569/29. Is y at most u?
False
Let p(q) = q**3 - 6*q**2 - 8*q + 5. Let y be p(7). Let v be (y - -4)*(-3)/(30/13). Which is smaller: -2 or v?
v
Let r = 127168649/37318190 + 2/287063. Let y = r + 31/26. Let p = y + -212/45. Which is smaller: 1 or p?
p
Let q(j) = -12*j - 157. Let w be q(-13). Which is bigger: w or 1/140?
1/140
Let k = 1768 + -222769/126. Is 1 equal to k?
False
Let s = -281 - -312. Which is greater: 95/3 or s?
95/3
Suppose 143 = 4*r - 157. Suppose x + 81 = 2*u, -r = -3*u + 2*x + 48. Are u and 39 non-equal?
False
Let l(g) = 6*g**2 + 3*g - 4. Let s be l(1). Let p = -6 + s. Is -2/67 >= p?
True
Suppose -182 = 9*j - 695. Is 55 not equal to j?
True
Suppose 280*a - 4 = 276*a. Is -1.4 smaller than a?
True
Let q = -0.926 - -1.926. Which is bigger: q or 16/25?
q
Let v = -260.1 + 245. Let f = v - -15. Which is greater: -39 or f?
f
Let m(h) = h + 13. Let a be m(-11). Suppose 12 = a*c - 36. Are c and 22 non-equal?
True
Suppose -3*i = 2*c + c + 15, 15 = 2*i - 3*c. Suppose i = 4*a + a - 20. Suppose 0*p + a*p + 27 = 3*g, 3*p = 2*g - 19. Do -14/9 and p have the same value?
False
Let v(z) = 0*z**3 - 60 - 6*z + 4*z**2 + 59 + z**3. Suppose 0 = 4*o - 3*h + 26, 0*o - 29 = 5*o - 2*h. Let u be v(o). Is u greater than 4?
False
Let q be (-2)/(-6)*(-126)/(-6). Let z(o) = -2*o**2 - 10*o - 1. Let s be z(-4). Is q bigger than s?
False
Let c be 78/(-154) + (-19)/(-133). Let f = -422/5 + 84. Which is greater: f or c?
c
Let a be (-2)/(-6)*(-198351)/93. Let k = 711 + a. Let d be (-3)/9*0*1. Which is smaller: d or k?
d
Let v = -1979 - -1979. Let m be ((-4)/(-42))/((-1)/6). Are v and m non-equal?
True
Suppose -15*a - 2464 = 17*a. Which is smaller: a or -74?
a
Let s = -2.02 - -2. Let l = -1.28 - -1.4. Let j = s + l. Is 1 bigger than j?
True
Let h = 5476 + -60189/11. Is 5 at most h?
False
Let s = -2.04 + 0.04. Suppose 99*w + 234 = 21*w. Which is smaller: s or w?
w
Let m(r) = -r**3 + 7*r**2 + 9*r - 4. Let y be m(8). Let s be (2/(-16))/(5/y). Suppose 5 = -2*t + 3. Which is bigger: s or t?
s
Let p be ((-2)/(-3))/((-8)/180). Is p != -184/13?
True
Let w = -846 + 846. Is w greater than or equal to -18/23?
True
Suppose -443 = 2*c + 3*h, -3*h + 473 = c - 3*c. Which is greater: c or -230?
c
Let w = -4700.981 + 4705. Let f = -0.019 + w. Which is bigger: f or -3?
f
Suppose -5*o + 37 = -68. Suppose -o = q + 3*a, 19 = q - 5*a - 0*a. Let g(c) = -5*c + 2. Let d be g(2). Which is smaller: q or d?
d
Let j = -8.45 + 8.3. Let n = -0.083 - j. Is n at least 0.2?
False
Suppose -t = 5*j - 44 + 11, -3 = j - 3*t. Let v be (2/(-6))/(8/j). Let a = -0.86 - -0.66. Is a >= v?
True
Suppose 8*l + 4*u = 3*l + 40, -3*l = u - 31. Suppose -4*m + 20 = -5*f, -f + 3*m - l = 3. Which is greater: 12 or f?
12
Let w = -22.42 - -22.4. Is w >= -1.2?
True
Let s(k) = -3*k + 28. Let f be s(7). Let h(i) = -i**2 + 6*i + 10. Let d be h(f). Which is smaller: d or 1?
1
Let g = 2.1 - 1. Let u = g + -1.2. Let y = 3 - 11. Do u and y have the same value?
False
Let n be (-2)/3 + 759/1125. Let j = -371/500 - n. Is j less than -1?
False
Let c be -3 + 49/14 + (-622)/(-4). Let g be 2/(-14) - c/(-210). Are g and 2/3 equal?
False
Suppose 4*m + 1 = y + 6, -m + 15 = -3*y. Let z = 26 - 26. Is y <= z?
True
Let z = 87.4 - 79.4. Is z greater than or equal to 34/9?
True
Suppose -38*k = -5*k - 4488. Is 135 bigger than k?
False
Let b be 90/525*-14*10/(-4). Suppose -z + 11 = -5*g + 3, 0 = -z - 3*g. Which is greater: z or b?
b
Let c = -160.1 - -160. Is c greater than or equal to -4/293?
False
Suppose 0 = 4*h + m + 38, -11 = h + 8*m - 7*m. Let d(l) = -l**2 + 7*l - 9. Let y be d(7). Is h > y?
False
Let t = 738 - 737. Which is smaller: -18/37 or t?
-18/37
Let p = 1191 + -1182. Let s be 1 + 2*2/4. Is p <= s?
False
Suppose 5*a + u = 25, 5*a - 4*u - 10 = 3*a. Let l(k) = k**3 - 4*k**2 - 3*k - 5. Let v = 5 - 0. Let w be l(v). Is w less than a?
False
Let b = 7 + -11. Let v = 15.6 - 15.778. Let l = 0.022 - v. Are l and b equal?
False
Suppose 58*x - 56*x = 10, 0 = -3*n + 2*x - 13. Are n and -50/37 nonequal?
True
Let q = -280 - -283. Is 3 equal to q?
True
Suppose -6 = 3*m - 4*m. Let v be ((-6)/(-58))/((-9)/m). Which is smaller: v or 1?
v
Let q = -29.6 - -32.6. Is q at least 21?
False
Suppose 2*b = -0*b - 4, 0 = x - 2*b - 4. Let j(q) = -q**2 - 11*q - 6. Let m be j(-10). Suppose 5*s + 5 = 5*c, 9*c - s - 9 = m*c. Is c not equal to x?
True
Suppose -13*w + 52 = -13. Suppose -f - 2*p = -0*f - w, 44 = 4*f - 4*p. Is f bigger than 10?
False
Let g = 6 - 3. Suppose 8*u - g*u = 0. Let o = 5 - 2. Which is greater: u or o?
o
Let n(x) = -x**2 - 3*x - 1. Let w be n(-1). Let h = 1659 - 147652/89. Is h at most as big as w?
True
Let q(x) = 10*x + 17. Let i be q(7). Suppose -85 = -4*h + i. Is h smaller than 43?
False
Let o be (3 - 70/22) + 896/(-154). Which is smaller: o or 70?
o
Let z be 1 - (2 + -1)/1. Let u(s) = -12*s + 12. Let b be u(-6). Let r be 2/b - (-1)/(-6). Which is bigger: r or z?
z
Let i = -68 + 70. Suppose i*t + 5*w + 81 = 0, 136 = -4*t - 3*w - 19. Which is smaller: -36 or t?
t
Let u = 22 - 0. Let k be (-2)/(-5*(-2)/100). Let q = u + k. Is q > 2?
False
Let x(b) = -b**2 + 16*b + 3. Let u be x(13). Let p be 12/u - 153/(-28). Which is greater: 6 or p?
6
Let r be 3/(-1)*(-336)/63. Is r greater than 15?
True
Let z(r) = 2*r**3 - 2*r**2 - 6*r + 6. Let u be z(3). Let o be -2 + 3*(-4)/u. Let v be -1 - (1/(-1) + 3). Is o bigger than v?
True
Let u be 54/(-15) - (-161)/23. Do u and -1.2 have the same value?
False
Let f = 21 + -2. Suppose y - 3*o = 35, -3*y + f + 46 = -o. Is y < 22?
True
Let w = -158/7 + 2742/119. Which is greater: 1 or w?
1
Let o(t) = -11*t + 46. Let d be o(11). Let v = d + 76. Is 4/9 at least as big as v?
False
Let f be 13/2*(0 - (4 + -2)). Let i be 3/(-15) - f*6/(-10). Suppose 3*b + 6 = -24. Is b equal to i?
False
Let p = -546 + 511.1. Let y = p + 35. Is 3/5 less than y?
False
Let y = 2326 + -2199. Let q be (-1)/3 + 385/3. Is q bigger than y?
True
Let h(z) = -z**3 + 11*z**2 + 13*z - 20. Let f be h(12). Let k be 15/6 + 12/f. Which is greater: -3/17 or k?
k
Let o = -2.5 - -13.5. Let a = -36 + o. Which is smaller: 0.1 or a?
a
Let l = 7678 - 130562/17. Let k = l + 3581/1683. Which is bigger: 0 or k?
k
Let d be 30/210 + (-4689)/42. Do -112 and d have the same value?
False
Let f(u) = -13*u - 23. Let n be f(-2). Let m be (n/(-3))/((-5)/(-2)). Which is bigger: m or 3/4?
3/4
Let g = 0.02 - -2.98. Let r be 5845/(-84) - ((-4)/(-6) + 0). Let i = r - -69. Are i and g non-equal?
True
Let b = -55 - -59. Suppose -4*t - 78 = -5*l, -9*t = -b*t - 4*l + 102. Is t bigger than -21?
False
Suppose h + 5*i + 5 = 0, 0 = -3*h - 5*i - 9 + 4. Let o be ((-3)/(-21))/(3/(-2985)). Let w = 142 + o. Does h = w?
False
Let w = 45 - 41. Let o be 1/(4/6*(-147)/w). Which is smaller: 1 or o?
o
Let x = 555/2212 - 1/1106. Is 931 >= x?
True
Let a = -317 + 289. Which is greater: a or -16?
-16
Let o(f) = f**2 - 3*f + 2. Let n(b) = -b. Let y(v) = 2*n(v) + o(v). Let r be y(5). Suppose 4*q = r*q - 4*x - 8, -4*x = -q - 4. Is q at least -2?
False
Let u(f) be the second derivative of f**3/3 - 13*f**2/2 - 4*f + 4. Let t be u(6). Which is greater: -10/3 or t?
t
Let l = -708 + 705. Is l equal to -2/587?
False
Let t(w) = -2*w**3 + 0*w**3 + 2 + 10*w**2 + 9*w + 3*w**3. Let a be t(-9). Does a = 5/3?
False
Let h = -293 - -253. Is -41 not equal to h?
True
Let p be (312/20)/(-5 + 3). Which is greater: -9 or p?
p
Let m = 23 + -17. Suppose v - 2*i = -m*i - 14, 3*v = -3*i + 3. Let w be (-1)/v - (-6)/12. Is 1 bigger than w?
True
Suppose o + 5*j - 62 = 3*j, -4*o + 2*j + 288 = 0. Suppose -o = -4*k + 2*m, 4*k + m - 73 = -0*k. Is 18 equal to k?
True
Let b be 2/4*1/(-2). Let n = 0.55 - 1.55. Let a = n + 0.8. Is a at most as big as b?
False
Suppose -5*j + 7*j = 3*i + 3085, -5135 = 5*i - 5*j. Which is greater: i or -1032?
i
Let q = -14 + 20. Let j = q - -3. Is j equal to 2?
False
Suppose 4088 = 25*f - 18*f. Let k = f - 2323/4. Which is bigger: k or 3?
k
Suppose 4*b = -b, -3*w - 3 = -2*b. Let h be ((-21)/(-4))/(1 + 66/(-48)). Let j be (-6 - (-100)/15) + h/30. Are w and j une