e f(4). Let j = p + -11. Which is smaller: j or -6?
-6
Suppose a = 2*a. Let s be 1/3 + 198/(-189). Let w = s - -82/105. Which is smaller: w or a?
a
Suppose -5*l + c - 96 = -2*l, 5*c + 147 = -4*l. Which is greater: l or 2?
2
Let i = -0.12 + 0.26. Let r = i + -0.06. Which is smaller: r or 2?
r
Let q(c) = c**3 - 6*c**2 - 7*c + 2. Let l be q(7). Let v = 625 - 624. Is l less than v?
False
Let k(g) = g**2 - 3*g + 1. Let w be k(3). Suppose -2*i = 5*i. Let c be 16/7 + (i - 2). Which is smaller: w or c?
c
Suppose 4*f = 3 - 59. Let q be ((-4)/(-14))/((-2)/f) + -4. Let z be 6/(-77)*7/1. Which is smaller: z or q?
q
Let w = 10691/2036 + -1/1018. Let y = -14 - -20. Are w and y nonequal?
True
Let i = -128 + 890/7. Let l(h) = -h**3 - 7*h**2 - 7*h - 3. Let x be l(-6). Suppose n = 4*u + 7, -5*n + x = -2*u - 2*u. Which is smaller: i or n?
n
Let n(s) = -s**3 + 13*s**2 - 12. Let h be n(12). Suppose 4*l + h = -2*l. Which is bigger: l or -1?
-1
Let s = -0.0613 - -23.0613. Let b = 0.2 - 0.3. Which is smaller: s or b?
b
Let v be -27 + 0 + -2 + -1. Let o be (-52)/(-70) - (-24)/v. Is o > 0?
False
Suppose 2 = -2*j, -29*j = x - 25*j + 27. Are x and -177/8 equal?
False
Suppose 4*r = -37 + 221. Suppose -4*v - 41 = -3*x, -6*v = -v - 2*x + r. Which is smaller: v or -6?
v
Let n(a) = -a**2 + 7*a - 5. Let q be n(6). Let r be 1014/1192 + (-6)/8 + 0. Let u = -1179/2831 + r. Is u at most as big as q?
True
Let v(y) = y**2 - 27*y + 3. Let w be v(27). Which is bigger: -50 or w?
w
Let y(g) = -g**3 + 8*g**2 - 5*g - 5. Suppose -4*d + 18 + 10 = 0. Let i be y(d). Let z = 56 - 58. Is z smaller than i?
True
Suppose -t + 5 = -2*p, p - 2*p = 5*t - 25. Let c be ((-2)/16 - 11/(-88)) + 2. Let v be (c/(-76)*-1)/((-1)/(-4)). Is v greater than p?
True
Let h = -1150 - -1200. Which is greater: 49 or h?
h
Let f be (-4)/28 + 5412/(-42) + -4. Is -666/5 equal to f?
False
Suppose -x + 24 = 3*x. Suppose -25 = p - x*p. Let u be -2 - -9*(-4)/(-6). Do p and u have the same value?
False
Suppose 0 = -27*o + 45*o - 18. Is -1/11 smaller than o?
True
Let z(l) = -l**2 + 4*l. Let a be z(3). Suppose -2*v + 5 = a. Let k(f) = f**3 - 4*f**2 - 4*f - 5. Let c be k(5). Which is greater: v or c?
v
Let q be 5*(16/10 + -1). Suppose -7 = -3*c - 5*g + 13, q*g = -3*c + 18. Is c >= 3?
True
Let y = -0.41 + 0.31. Let x be (-4)/(-30)*-2*(-15)/10. Is x at most as big as y?
False
Let x(g) = 8*g + 2. Let c be x(2). Let a(b) = b**2 - 11*b + 18. Let q be a(11). Is c at least as big as q?
True
Let c(y) = 8*y**2 - 2*y + 1. Let n be c(1). Suppose 3*o - n*p - 50 = -2*p, 4*p + 66 = 5*o. Suppose -7*t = -2*t - o. Are t and 0.2 nonequal?
True
Let r = 6.6 + -45.6. Let z = -40 - r. Let a = -839/9 + 93. Which is smaller: z or a?
z
Let q = 37.2 + -53. Let r = -16.32 - -0.32. Let f = q - r. Which is smaller: f or 1?
f
Let s be 3 + 0 - 1 - 0. Let g(c) = -4 - 3*c**s + 4*c**2 - c**3 + 7*c**2 + 18*c - 8*c. Let a be g(9). Is 0 greater than a?
False
Let v = 36 - 24. Let o = v - 7. Suppose -j - j + 3 = -5*t, -o*t + 17 = 3*j. Which is smaller: t or 2/7?
2/7
Let x = 2314 + -2300. Which is smaller: 18 or x?
x
Suppose 3*j - 139 = 4*g, 2*j - j + 67 = -2*g. Are g and 3 nonequal?
True
Let c be -3*(320/(-15))/4. Let m be c - ((-20)/(-1))/(-5). Is m at most 20?
True
Let b = 629 - 435. Let n = b + -193.85. Let o = 0.1 + -0.1. Which is greater: o or n?
n
Let d be 7 + 1*(1 - 4). Suppose d*v - 52 = -56. Is 3/8 less than v?
False
Suppose -o = -0*n + 3*n - 4, 5*n + 4 = o. Let q(d) = 3*d**2 - 3*d + 3. Let v be q(1). Suppose 0 = -x - 2*c + v*c + 9, 4*x + c - 26 = 0. Is o equal to x?
False
Let y = 29 - 48. Let j = -359 + 358. Which is bigger: j or y?
j
Let w = -246 + 215. Which is smaller: w or -1?
w
Suppose -z - 1 + 0 = 0. Let v be ((-57)/38)/(z/(-2)). Is -6 > v?
False
Let k = 1.1 - -0.8. Let f = -2.03 + k. Does f = 2/3?
False
Let i be ((-4)/12 - 0)*(-3)/(-1). Let p be 0/(5 - 10)*i/(-2). Do -5/9 and p have the same value?
False
Let w = -775/3 - -3091/12. Is w less than 3/290?
True
Let g be (24/10)/((-6)/75). Let a be ((-5)/g)/(1/(-10)). Let d = 0.2 - 0.1. Which is greater: a or d?
d
Let q = -60.51 + 61. Let w = q + -0.49. Which is bigger: 1 or w?
1
Let s be (-256)/(-40) + -3 - 3. Which is greater: -379 or s?
s
Suppose 4*l + 5*d = 48, -2*l + 3*d = 2 - 4. Suppose 34 = 5*g - 4*k, -2*g - 2*k = -5*k - 15. Is l bigger than g?
True
Let n = -849 + 714. Which is greater: n or -132?
-132
Let o(h) = -4*h + 6. Let l be 3/(-2)*(-9 - -7). Let w be o(l). Let a be 4/2 + 5 + w. Is a at most -2/75?
False
Let o = -36 - -25. Let w = -9 - o. Let b = 1 - 0.7. Which is greater: b or w?
w
Let s = -663 - -664. Which is bigger: -2/723 or s?
s
Let k = -0.3 + -3.7. Let f = -10 - k. Let b = 5.9 + f. Which is bigger: -8 or b?
b
Let z = 2/91 - -3/455. Let w = 0.0617 - -0.0383. Is w bigger than z?
True
Let m be (-340)/(-120) + 10/(-4). Are m and -274 equal?
False
Let o = -4.21 - 0.89. Let q = o - -5.1. Is q greater than 7/4?
False
Suppose 155*q - 145*q - 80 = 0. Which is greater: q or 21?
21
Let m be (-4408)/(-734) - (-32)/144*-27. Is -1 equal to m?
False
Let k = 79 + -122. Is k greater than or equal to 0?
False
Let f = 1760 - 1759. Which is greater: f or 4/651?
f
Let g be (-4 - -5)*3*-1. Let t be (g - 21/(-9))*2/4. Is 0.53 greater than t?
True
Let d = -52.98 + 53. Let b = d - -0.48. Which is bigger: -2/17 or b?
b
Let i = 1151 - 1152. Which is smaller: i or -50?
-50
Let a(z) = -3*z**2 + 11*z - 1. Let d(r) = -4*r**2 + 16*r - 2. Let j(v) = -7*a(v) + 5*d(v). Let u be j(-4). Which is bigger: u or 2/29?
u
Let i be (-8)/6 - -1*1. Let w be (-48)/(-21) - 3/(-21)*-2. Suppose w*t - 4*t = -14*t. Which is smaller: t or i?
i
Let f = -7/5 + 409/285. Let n be (289/1140 + 2/(-8))*47. Let j = n + f. Which is bigger: j or 0?
j
Let z = 53.9014 - -0.0986. Is z bigger than -2?
True
Let i = 18/95 - 748/2945. Which is greater: i or 0?
0
Suppose 5*w + 2*g = -605, -3*w + 5*w + 4*g = -226. Which is bigger: w or -368/3?
-368/3
Let p(w) = w**2 + 24*w + 15. Let s be p(-16). Does -113 = s?
True
Suppose -j = -7*q - 488 + 621, 4*q - 87 = -j. Let s(y) = 2*y**2 - 8*y - 5. Let r be s(6). Which is smaller: r or q?
r
Let f be 3/((-24)/(-40)) - 146/32. Is f at least -1?
True
Suppose 4*d = 4*o + d - 299, -71 = -o + 2*d. Suppose o = -5*x + 3*w + w, 0 = 2*x + 4*w + 14. Let r = -11 - x. Which is greater: r or 1?
r
Let n be 2/(-8) + (-536)/32. Is n greater than -20?
True
Suppose -o - p = 4*o - 31, -3*o + p + 17 = 0. Is o smaller than 6?
False
Let u = -348 - -348. Which is smaller: -1/307 or u?
-1/307
Suppose -3*l = 2*p + 169, -82 - 90 = 2*p + 4*l. Let t = p - -81. Are t and -1/131 equal?
False
Let b = 5.06 + -5. Let t = b - -0.94. Let d = -38 - -264/7. Do t and d have the same value?
False
Let d be 2/(-2)*(-1 + -36). Suppose -5*u - 3*i - 5 + 82 = 0, -5*i - d = -2*u. Suppose 0 = -2*v - u + 8. Is v <= -5?
False
Let f be -2*((-135)/(-12))/(-1). Let v = f + -231/10. Are v and -2 non-equal?
True
Let u be ((-11)/(-11))/(1*(-3)/87). Let g(x) = -4*x**2 - 3*x - 1. Let c be g(-3). Which is smaller: u or c?
u
Let h be (4/(-40))/(-2 + 56/30). Let t(a) = -a**3 + 7*a**2 + 2*a - 10. Let q be t(7). Suppose z = -z + q. Which is greater: z or h?
z
Suppose 0 = 3*s + 12, 48 = 4*y + 4*s + 12. Let k = -30 + 45. Is y at least k?
False
Suppose 7*f = -186 - 38. Is f >= -32?
True
Let x be (-1 - -2)/(3/(-273)). Let a = 129 + x. Let f = a - 37. Which is smaller: f or 2/3?
2/3
Suppose -2*b - 8 + 6 = 0, 3*b = -3*c + 45. Which is greater: 13 or c?
c
Let z = -2091 + 738121/353. Which is bigger: 0 or z?
0
Let d(r) = -r**3 - 30*r**2 + 44*r + 376. Let y be d(-31). Do -5 and y have different values?
True
Suppose 0 = -0*v + 83*v + 65*v + 148. Let f be (-13)/(-4) - (-3)/(-12). Let z be (f/66)/(2/(-48)). Is z < v?
True
Let b(v) be the third derivative of -1/4*v**4 - 1/120*v**6 + 1/10*v**5 + v**2 + 0 + 0*v + 1/6*v**3. Let n be b(4). Which is bigger: n or 10?
10
Suppose 5*u - 2*g - 21 = 0, -4*u + 4*g + g = -10. Let x(d) = 13*d - 56. Let c be x(u). Is 4 less than c?
True
Let l(j) = -13*j + 37*j - 13*j - 16*j. Let n be l(2). Which is bigger: -7 or n?
-7
Let i be 1243/(-11) - -2*-2*1. Let j = i + 164. Is j smaller than 46?
False
Let k(q) = -q**3 - 22*q**2 - 22*q + 8. Let l be k(-21). Suppose 5*v + y - 130 = -3*y, -v + 5*y + 55 = 0. Is l equal to v?
False
Let u = -172 - -173. Are u and 5