 than v?
False
Suppose -2*c = -g + 28, -2*c - 3*c = 3*g - 73. Let l = -170 - -194. Is g at most as big as l?
False
Let f be (-110)/12 - 0 - (-14)/((-756)/45). Let c(k) = -k**2 + 4*k - 6. Let l be c(5). Is l > f?
False
Let p = -0.2 + 0.1. Let i be (-10)/(-4) - (-15)/(-10). Let v be 5*(-12)/(-320)*-4*i. Is v smaller than p?
True
Let x = -40.9 - -41. Let m = 0 + x. Which is greater: m or 0.31?
0.31
Let k be 4/(-6) + (-12)/(-99). Let l(d) = d**3 + 26*d**2 + 25*d - 1. Let h be l(-25). Which is bigger: k or h?
k
Let t be (-52)/(-104)*(1 - 3*89). Is -131 <= t?
False
Let b(v) = v**2 + v - 32. Let g be b(0). Let d be g/(-63) - 2/9. Let t = -4.07 + 0.07. Is t less than or equal to d?
True
Suppose 7*m + 24 = 150. Is m at most 18?
True
Suppose -7*d = 46 - 53. Which is smaller: d or -35?
-35
Let x be 3/2*(4 - 601/165). Let t = 546 + -30032/55. Let q = x + t. Is 12 bigger than q?
True
Let r be (1/(-304))/((-105)/(-18) + -6). Let c = r + -373/3496. Suppose 4*g = 6*g. Which is bigger: c or g?
g
Let t(g) = 2*g. Let w be t(-4). Suppose -d = 1 - 5. Suppose -d*k - 17 = 7. Which is smaller: w or k?
w
Let m = 6150 + -80019/13. Does m = -4?
False
Suppose -2*w + 20 = 2*h, -h - 3*w = -0*h - 20. Suppose h*i + d - 2 = 0, 2*i - i + 4*d + 11 = 0. Let b be -3*1/(-51)*1. Is b != i?
True
Let d = 57/1211 - -4528/54495. Let x = 2/105 - d. Let o = 44 - 43. Is o bigger than x?
True
Let n = 13827/8 - 1728. Suppose 0*i - i = 0. Suppose -2*q + 3 = -3*c, 0*q - 5*q = i. Is n != c?
True
Let y = -1167 + 1439. Which is smaller: y or 275?
y
Let i = -16 - -16. Suppose -2*k = -i*k - 4*n - 8, -k + 3*n = -7. Is 1 at most k?
False
Suppose l = -1 - 3, -2*l = -4*y + 44. Suppose y*b - 13*b = 0. Which is bigger: 5 or b?
5
Let l be (-392)/(-858) - 2/52*4. Do l and -1 have the same value?
False
Suppose 26 - 8 = 6*o. Suppose 3*l + 61 = d - 4, -3*l - 57 = -o*d. Is l > -22?
False
Suppose -5*v + 40 = 15*v. Which is smaller: v or 30/31?
30/31
Let k(l) = 47*l**2 - 36*l**2 - 1 - l + 0*l. Let i be k(1). Is 8 >= i?
False
Let a = 3 + -6. Let y = 19 - 1. Let c be y/(-22) + 44/(-242). Which is smaller: c or a?
a
Suppose -2*f + 2*g - 228 = 0, -126 = 2*f - f - 4*g. Let o = f - -98. Is o >= -12?
True
Let d(t) = -3*t**2 - 31*t + 56. Let i be d(-12). Let l = -135/44 + 42/11. Which is smaller: i or l?
i
Let c(l) = -l**2 - 6*l + 4. Let r be c(-5). Suppose -5*q + 4 = r. Let h be ((-2)/148)/(2/8). Which is smaller: q or h?
q
Let w(v) be the third derivative of -1/24*v**4 + 0 + 13/6*v**3 - 1/5*v**5 + 1/120*v**6 + v**2 + 0*v. Let c be w(12). Is c equal to 0.2?
False
Let z(l) = l**2 - 16*l + 6. Let f be z(10). Which is smaller: -166/3 or f?
-166/3
Let t be (-8)/76 + (-63)/(-57). Let y = 1589/1196 + -9/92. Which is greater: y or t?
y
Let o(h) = -h + 2. Suppose 28*c = 23*c. Suppose 3*n = 2*s + 10, -2*s - 2*n + n + 6 = c. Let z be o(s). Which is greater: z or -2/11?
z
Let v = 6.93 - -0.07. Let m = -2 - v. Let l = 6.1 + -6. Is m less than l?
True
Suppose -11*w - 40 = -9*w. Let p be 72/(-205) - w/50. Is p less than 0?
False
Let r = -1 - -1. Let k = -6362718/13 - -489122. Let i = k - -318. Which is greater: i or r?
i
Let u be (24/108)/(12/639). Which is smaller: 13 or u?
u
Let z(p) = -7*p**3 - 6*p**2 + 19*p. Let k be z(3). Is k != -191?
True
Suppose -9*b + 21*b = 0. Let y = 1 + -1. Let j be -1*(y + (-1)/1). Which is greater: b or j?
j
Suppose -9*p - 198 = -6*p. Let m = p - -58. Which is smaller: m or -2/7?
m
Let t = -739 + 694.1. Let q = t - -45. Is -2/11 not equal to q?
True
Let s be 324 + 5/((-20)/16). Let y be 112/s - 3/4. Is y bigger than 0.1?
False
Suppose -2*l + 30 = 2*i, i - l - 5 - 2 = 0. Which is smaller: 16 or i?
i
Let z = 65 - 61. Let m be ((-52)/(-6))/(z/(-6)). Which is greater: m or -12?
-12
Let l(m) = -5*m**2 + m + 2. Let x be l(2). Let w be 1*(2 + -77)/5. Which is bigger: x or w?
w
Let i = -175.8 - -176. Are i and -2/5 nonequal?
True
Let k(c) = c + 11. Let b be k(-9). Suppose 1 = 2*p + 4*a - a, 3*p - 4 = -b*a. Let d be (-2 - (-4 + p))/1. Is d <= 1/15?
True
Let r = 231 + -235. Which is smaller: r or 0?
r
Let a = 2/27 + -35/108. Let h = 1162.91 - 1168. Let c = 5 + h. Is a > c?
False
Let t = -116 - -116.3. Which is greater: t or -21?
t
Let h = -28.6 - -27.97. Is 1/4 > h?
True
Let n be (-24)/9*30/(-20). Suppose 0 = 4*j + k - 136, -j + k + 23 = 4*k. Suppose n*g - 28 = -2*v, v = -3*v - g + j. Is v >= 9?
False
Let c be (-72)/(((-75)/10)/5). Suppose n = c - 86. Which is greater: -37 or n?
-37
Let t = 1.6334 - -0.3666. Let l = -20.96 - 0.04. Which is greater: l or t?
t
Let z = 180 + -180.096. Is 1 less than or equal to z?
False
Let f(j) = 2*j - 1. Let k(o) = 9*o - 4. Let q(a) = -26*f(a) + 6*k(a). Let z be q(-3). Suppose 2*h + 18 = -12*u + 14*u, 4*h = u - 24. Is z at most h?
False
Let r = -741 - -718. Is -20 <= r?
False
Let s = -1.2 - -2.1. Let y = s - 0.9. Which is smaller: y or 6/7?
y
Let z be (-1)/(-3 + 7/2). Let g = z - 2. Let y(i) = -i**3 - 5*i**2 - 4*i. Let h be y(g). Does h = 1.3?
False
Let m = -23 - -23.41. Let g = -0.61 + m. Is 7 equal to g?
False
Let w be 34/9 + (-2)/(-9). Suppose 0 = -w*d + 29 - 29. Which is smaller: d or 1?
d
Let t = -5931/775 - -276/25. Which is smaller: 4 or t?
t
Suppose 14 = -2*x - 8. Let j = -17 - x. Let i(c) = c**3 + 4*c**2 - 14*c - 15. Let s be i(-6). Is j at most s?
True
Let q = 84.7 + -44.7. Which is smaller: q or -2/3?
-2/3
Let d = -710/9 - -78. Let k(a) = -a**2 - 18*a + 88. Let r be k(-22). Is r != d?
True
Suppose l - a + 10 = 6, -3*l - 4*a - 26 = 0. Does l = -1/9?
False
Let u(k) = 3 + 5*k - 2*k - 1 + k. Let t be u(-1). Let r be 0/t + (-6)/(-21). Which is smaller: 0.3 or r?
r
Suppose -5*k + 25 = -5*t, -45 = -5*k + 6*t - 11*t. Suppose k = -j + o, j + 6*o - o = -1. Suppose -13*z + 2799 = 2864. Is z < j?
False
Suppose 4*c + 5*d = 66, 0 = c - 0*c + d - 16. Let x = 11 - c. Which is greater: -8 or x?
x
Let c(p) = p**2 - 17*p + 26. Let q be c(15). Let n be q + 35/6 + -3. Is -2 less than n?
True
Let s = -78 - -77. Which is smaller: 3/25 or s?
s
Suppose -6*f + 22 = 4. Let p(t) = -t**3 + 5*t**2 - 3*t - 4. Let w be p(3). Suppose m + w*i - 17 = 7, f*m = -2*i + 7. Which is smaller: -4/3 or m?
-4/3
Let v be (-71)/(-3) + (-12)/(-36). Let p = -23 + v. Let n = 65 + -454/7. Do p and n have different values?
True
Suppose -3*j - 2*j + 5*t + 55 = 0, j + 2*t = 23. Let y = 15 - j. Let p be y - ((-54)/(-17) - 3). Are 1 and p equal?
False
Let t = 262 - 260. Are t and 4 unequal?
True
Let k be -4 - ((-14)/2 - 2). Let u(h) = h**2 - 5*h**2 + 5*h**2 - 5*h. Let r be u(k). Are 2/31 and r non-equal?
True
Suppose 3*j = 1213 - 1210. Is j less than or equal to 2/279?
False
Suppose -5*j - 60 = -4*r, -4*j + 9 = -7. Suppose 0 = -6*a + a - r. Are a and 0.8 non-equal?
True
Let u be 2 + (-4)/(-2) + -4. Let c be ((-8)/16)/((-38)/(-20) - 2). Let j be (-15)/18 + (5/3)/c. Which is smaller: j or u?
j
Let n = 54 + -18. Let g = 12 + -31. Let m = n + g. Which is greater: m or -2/5?
m
Let z(i) = i**2 + 9*i + 11. Let c be z(-8). Let t be 2*c*16/432. Suppose 2*n - 3*y + 3 = 15, 8 = -2*y. Which is smaller: t or n?
n
Let b(w) = 14*w**2 - 2*w + 6. Let l be b(-3). Does l = 0?
False
Let b be 12/(0 + 2) - 1. Suppose b*z + 4 = 9*z. Let f = -8/7 - -158/77. Is z greater than f?
True
Suppose -5*j - 951 = x, x - 5*x + 5*j = 3804. Let z = -71323/75 - x. Which is greater: z or -1?
z
Let w(j) = -j**3 - 7*j**2 - j - 8. Let y(q) = -q**2 - 10*q - 7. Let b be y(-10). Let d be w(b). Is 6/17 less than d?
False
Let y = -115 - -113. Which is bigger: y or -5/17?
-5/17
Let i = 509 + -550. Is -42 less than or equal to i?
True
Let d be (4/192)/((-20)/(-15) + -1). Which is smaller: 0 or d?
0
Let c(n) be the second derivative of 1/6*n**3 + 4*n + 0 - n**2. Let x be c(10). Which is smaller: x or 4?
4
Let d(g) be the third derivative of g**6/120 + g**5/20 - g**4/8 - g**3/2 + 7*g**2. Let v be d(-4). Let j = -13 - v. Which is smaller: -8 or j?
-8
Let a be (-42)/1*(13/(-7) + 1). Let z = a + -36. Let r = 19 - 267/14. Is r bigger than z?
False
Let l = -78 + -23. Let s = 101 + l. Which is smaller: s or 3/29?
s
Let m = -520 - -520.24. Let d = -5 + 4.86. Let l = m + d. Is -11 >= l?
False
Let x = 28/85 - 26/17. Suppose 0 = 9*c - 16*c. Which is greater: x or c?
c
Let f(s) = s**2 + 6*s + 3. Let z be f(-3). Let a(c) = c**2 + 2*c - 13. Let v be a(z). Let k = -11 + v. Which i