
Let j(v) = -15*v + 5. Let q be j(-1). Suppose -x + 6*x = -q. Which is smaller: x or 2?
x
Let w(y) = -9*y + 12. Let c be w(-9). Let b = c - 191/2. Which is smaller: 0.1 or b?
b
Suppose -72*u + 71*u + 30 = 0. Let y be u/(-40) + (-23)/(-4). Is 8 <= y?
False
Suppose -2*o - 3*o - 105 = 0. Let a be (-6)/o - (-15)/21. Is 2/17 greater than a?
False
Suppose -4 = 4*j + 116. Let r(p) = 7*p + 18. Let i be r(-7). Is i at most as big as j?
True
Let s = 1 + -1. Let f = 3 - 7. Let b = -15 - f. Does b = s?
False
Let t = 1666 + -1662. Suppose -5*o - 1 = -4*f, 2*o - 2*f - 22 = -6*f. Which is smaller: o or t?
o
Let f be (7/3)/((-2)/(-6)). Which is greater: 11 or f?
11
Let o(s) = s**3 - 10*s**2. Let j be o(10). Suppose f + 5 = -4*b, 5*b + 1 = -j*f - 3*f. Suppose -g - 2 = -f*g. Which is greater: 3/5 or g?
g
Let t = -1733 + 4875. Suppose 62 = 4*z + t. Let k be (-2)/(-9) + z/(-180). Which is smaller: k or 4?
4
Let j(a) = a**3 - 2*a + 3. Let i be j(0). Suppose -i*u + 2*u + 4 = 0. Suppose 0 = -4*p - 2*y, 0 = -4*p - u*y - 0*y. Which is bigger: -1 or p?
p
Suppose -5*u = 4*f - 136, -3*f - 3*u + 116 = 17. Is 31 != f?
True
Let o = 1001 - 1000. Which is greater: o or -30/89?
o
Suppose -5*n = -2*n - 27. Let b be ((-39)/n)/((-2)/(-6)). Let c be 20/6 - (-12 - b). Is c bigger than 3?
False
Suppose -3*v - 19 = -13. Which is smaller: v or 0.039?
v
Let m = 11.7 + -14. Let i = m - -4.3. Which is greater: -1/2 or i?
i
Let p = 2 + -4. Let g(z) = 2*z**3 + 4*z**2 + 3*z + 1. Let l be g(p). Which is bigger: -4 or l?
-4
Let g be (-11 - 215/(-20)) + 1. Is 19.9 <= g?
False
Suppose 5*y + 120 = -0*y - k, -2*k = 0. Which is greater: -1/3 or y?
-1/3
Let d(g) = -3*g**3 - 145*g**2 - 50*g - 102. Let b be d(-48). Suppose 8 - 26 = 2*q. Is q less than b?
True
Suppose 0 = -2*d - 12 + 78. Suppose 3*l - 4*l + d = -3*k, -59 = -2*l - k. Is l bigger than 30?
False
Let p = -397.042 + 397. Which is greater: 4 or p?
4
Suppose -5*h + 13 = -2. Let u be h - ((5 - 2) + 82). Let m be 2/7 + u/140. Which is bigger: 1 or m?
1
Suppose 2*y - 110 = 5*s - 3*y, -5*s = y + 146. Suppose -5*c - 2*t = -t + 147, 0 = -c + 5*t - 19. Which is greater: s or c?
s
Let p = -25 - -18. Let g = 8 - p. Let c be (5/g)/(5/(-3)). Is -1 at most as big as c?
True
Let n = -46 - -41. Let w be 42/8*n/(-2). Is 12 < w?
True
Suppose 42*i + 817 = 61*i. Which is smaller: 34 or i?
34
Let h = 1159/2 + -580. Are h and -1251 equal?
False
Suppose -34*o - 96 = -50*o. Which is smaller: o or 11?
o
Let t(u) = u - 8. Let i be t(7). Let l = 372/5 + -75. Is l not equal to i?
True
Let z = -887 + 835.4. Is z bigger than 0?
False
Let w(t) = -11*t + 6. Let g be w(3). Let u be ((-3)/g)/((-5)/6). Suppose -4*a - 4 = -2*o + 6, -o = -a - 5. Which is smaller: u or a?
u
Let q = 4 - 2. Suppose -2*l = -q*d - 2, -5*l + 5*d - 3 = -4*l. Suppose -3*y + 4*k + 1 = 0, k + 0 - 1 = l*y. Which is smaller: y or -2/7?
y
Suppose o - 6*w + 9*w - 26 = 0, -2*w = -5*o + 113. Which is smaller: 21 or o?
21
Suppose 5*z + 144 = -1606. Let a be (-4)/(-7) - z/(-98). Are a and -3 equal?
True
Let w(b) = 7 + 4*b - b**2 + 4*b - 3*b. Let t be w(6). Let l(n) = n**2 - 6*n + 5. Let f be l(5). Which is smaller: t or f?
f
Let a be ((-4)/(-8))/(91/(-90) + 1). Let c = -6 - a. Is c at most as big as 40?
True
Let p be 0 - (0 - 1/1). Let m be (5 - 2)*p/3. Which is smaller: m or -2/5?
-2/5
Let k(m) = -m**2 - 17*m - 45. Let z be k(-14). Let y be 4*(z - -2 - 0). Is y at most -9?
False
Let x be -14 + 0 + (-6)/(-2). Let u = -19 + 10. Let r = u - x. Which is greater: -1 or r?
r
Let x = -808 + 810. Let q be 3/4 - (-25)/52. Which is bigger: x or q?
x
Let k = -1 + 0. Let m = -2645 - -50253/19. Which is smaller: k or m?
k
Suppose 12 = 3*s - 0*s. Suppose -14 - 2 = -s*n. Suppose -5*w + n*w = 3. Is w >= -2?
False
Let m = -232 - -233. Which is smaller: m or 1/114?
1/114
Suppose -7*y = -4*q - 2*y - 18, 4*y = q + 10. Let m be (-6 + 7)/(q/14). Let k be 3 + (-2)/4*19. Is m bigger than k?
False
Let m(d) = -2 + 1 - 3 + 5*d + d**3 - 5*d**2. Let g be 2 - (-1)/(2/4). Let i be m(g). Is i > -2/23?
True
Suppose 0 = 3*o - 3*g - 3, -o = g + 4*g - 1. Let q be o + 0 + -1 + 3. Suppose -3*l + l + q*w = 5, 5 = -w. Which is smaller: l or -9?
l
Let u = 69 + -165. Which is smaller: -97 or u?
-97
Let b be ((-2)/6)/((-9)/27) - -23. Let z be 39/104 - 233/b. Is -8 greater than z?
True
Suppose -158 = -23*t + 95. Is 1.1 at least as big as t?
False
Let h = 261 + -156. Is 104 at most as big as h?
True
Let l = 892 - 523. Let f be l/33 + 2/(-11). Which is smaller: f or -1?
-1
Let q = 62239/45 - 1383. Is q bigger than -1?
True
Let s be 3714/2808 + 1 + 2/(-8). Let k = s + -19/9. Is k != 1?
True
Let d = -15 + 13. Let c be d/(-14) - (-240)/(-14). Let r(u) = u**3 + 17*u**2 - 17. Let b be r(-17). Is b at most as big as c?
True
Let k = 8407/663 + -3/221. Let m(w) = -5*w**3 - 11*w**2 + 8*w. Let x be m(-3). Which is bigger: k or x?
k
Let b be 8*(-3)/9*6. Let o be 2/5 + b/(-10). Is 4 not equal to o?
True
Let j = -0.53 + 3.74. Let z = 0.21 - j. Which is smaller: 0.2 or z?
z
Let v(l) = l - 7. Let o be v(5). Suppose -2*g = 4*t + 290, -4*g + 113 = 5*t + 693. Let k = 141 + g. Is o at least k?
True
Let f = -88.22 - -88. Let b = f - 0.08. Is b bigger than 3?
False
Let w be (6 - 7)*(0 + 9). Let n be (-18)/(-27) + (-4)/w. Which is greater: n or 0?
n
Let q(j) = 5*j**2 - 5*j**2 - j**2 + 3 + 7*j. Let o be q(7). Let l be ((-3)/o)/(-1) - 2. Is -1/10 <= l?
False
Let s(w) = w**2 + 8*w + 85. Let x be s(-15). Is 190 < x?
False
Let f = 0.96 - 4.96. Let i = 11 - 6. Let c = f + i. Is -7 < c?
True
Let v = -225.2 - -225. Which is smaller: -45 or v?
-45
Suppose -4*v + 2*m = v - 13, v - m - 5 = 0. Let r be (-10)/14 + (-4)/14 - v. Is -2 at least r?
True
Suppose p = -o - 2*o - 1, 5*p + 22 = 2*o. Let w be o - (-6)/(-9) - 1. Suppose -35*g + 33*g = 0. Which is smaller: w or g?
w
Suppose 0 = w + 2 + 2. Let p be 1*((-16)/(-20))/(w/(-10)). Which is bigger: 1 or p?
p
Let v = -7 - -7. Suppose 2*q + v*c = -3*c + 7, 4*q = -5*c + 13. Suppose 0 = -s + 2*k + 7, -2 = s + q*k + 3. Do s and 2/63 have the same value?
False
Let f = 1 + -1. Let j(o) = -3*o - 2. Let t be j(-1). Let m be t/((-2 - -4) + 5). Which is bigger: m or f?
m
Suppose 0 = -20*m + 219 - 1039. Let k be ((-1)/3)/((-2)/(-246)). Is k >= m?
True
Let d be -1 - (1 - (6 + -2)). Suppose -8 = -2*y - d*y - 2*k, 2*k - 8 = 5*y. Is 1/14 less than or equal to y?
False
Let d = 31 + 1. Let o = -31.81 + d. Let j = o + 8.81. Which is smaller: j or 1?
1
Let h(j) = j**2 + 17*j - 2. Let f be h(-17). Let o be 1/(-6) - 182/60. Is f at least o?
True
Suppose -16 = 4*v, -10*x + 6*x = 2*v - 4. Suppose -180 = -4*o - x*f, -3*o + 87 + 59 = 5*f. Is 42 less than o?
False
Let i = 56127/23 + -2441. Is 0 != i?
True
Let g be (-13)/104*(-1 + -125). Which is smaller: 16 or g?
g
Let j = -13 + 12. Let y be (-2 - (-285)/33) + -3. Let r = y - 258/77. Which is bigger: r or j?
r
Let u be ((-12 + 6)/(-12))/((-164)/16). Which is greater: u or 0?
0
Let t be (912/28)/(20/(-28)). Is t < -46?
False
Let v = 13014 + -13029. Suppose -4 = -4*c + q, 0 = -3*c - 0*c + 3*q + 12. Let f(d) = d**2 + d - 13. Let i be f(c). Which is smaller: i or v?
v
Let x be (-33)/(-60) - (-1)/(-4). Which is smaller: x or 0.27?
0.27
Let q be 2/(-4)*0/3. Let o be 18 - 2 - 1 - q. Let h = 102 + -87. Do h and o have the same value?
True
Let l = 129 - 129. Which is smaller: 10/7 or l?
l
Suppose -5*x = 5*w - 20, 14 = 4*x - 6. Are w and 0.062 unequal?
True
Let o(h) = -h**3 + 9*h**2 - h + 8. Suppose -f = -9 - 0. Let v be o(f). Let p be (0 - 0) + (-6)/(-14). Which is smaller: p or v?
v
Let r(v) = -v. Suppose -5*u = -3*j - 3 - 20, -j = 4*u - 15. Let i(f) = -f**2 + 12*f - 6. Let n(k) = u*r(k) - i(k). Let w be n(16). Is w less than or equal to 1?
False
Let b(z) = -15*z + 1211. Let w be b(84). Which is greater: w or -50?
w
Suppose h = -5*d + 35, h + 3*h - 157 = -3*d. Suppose 5*r = h + 55. Is 17 greater than r?
False
Suppose 3*p + 52 = 238. Which is smaller: 65 or p?
p
Suppose -32 = -4*h - 3*b, 3*h = -3*b + 40 - 13. Let l = h - 13. Let x = -9 - l. Is 2/29 at least as big as x?
True
Suppose 453 = w - 26. Let t = 794 - w. Let c be (4/t)/((-6)/15). Which is bigger: -1 or c?
c
Let f(y) = -y**3 + 6*y**2 - 4*y - 9. Let h be f(5). Let x(i) = i**3 + i**2 - 7*i + 4. Let w be x(h). Let k be 70/(-4) + (-2)/(-4). Is w != k?
True
Let n be (-