reater: x or -16?
x
Suppose -10 = -2*l - 3*l. Suppose 2*h = -3*h + 5. Let d be h + 51/(-15) - -3. Which is smaller: l or d?
d
Let w(t) be the first derivative of 5*t**4/4 + t**3/3 - t**2 + t + 1. Let u be w(1). Suppose -k + 11 = 3*x, u*x - 20 + 0 = 0. Is k less than or equal to -3?
False
Suppose -5*t = 2*q - 10*t - 20, 4*q - 4*t - 16 = 0. Is q < -2/1915?
False
Let q = -11 + 35/3. Suppose -4*s = 2*j - 24, 5*s - 24 = 5*j - 6*j. Let o be -2 + j - (-6 + 6). Are o and q equal?
False
Suppose -1 = 85*g - 86. Which is bigger: g or 1/461?
g
Let x be (-2*-4*(-1)/48)/24. Which is smaller: x or 1?
x
Let a be -3*(-2)/(-12)*2 + -1. Let j be 8/4 - 16/3. Is j bigger than a?
False
Let d = 0 - 9. Let q = d + 15. Let h = 7 - q. Is h >= -2?
True
Let h be 1 + -1 + (-35)/4. Let o(n) = -6*n - 124. Let v be o(-19). Which is smaller: v or h?
v
Let l(s) = -2*s**2 + s + 5. Let r be l(0). Suppose 5*w = -2*n + 7*n, r*w - 3 = 2*n. Let p be (-6)/(-9)*(n + 2). Are 0 and p equal?
False
Let l = -97 + 97. Let g = -3 + 1. Let n be 2*3/(-6) - g. Is n less than l?
False
Let z = -69 - -66. Let s be -4 - z - 31/4. Which is smaller: s or -8?
s
Suppose -383*m + 1 = -384*m. Let p(d) = d**2 - 3*d + 3. Let q be p(2). Let s(u) = u**3 - u + 1. Let n be s(q). Which is smaller: n or m?
m
Let g(r) = -3*r - 14. Let t be g(-7). Suppose 3*b - t = 4*b. Is -10 not equal to b?
True
Let p = -167/170 - -11/10. Suppose -l = -1 - 2. Suppose l*x - 5 = -3*a - 11, 4*x + 9 = -3*a. Which is bigger: p or a?
a
Suppose n - 19 - 98 = 0. Let b = -113 + n. Suppose x = -2*x + 3. Is b equal to x?
False
Let h = 221 + -1551/7. Let q be 4/10 + 369/(-410) - -1. Is h greater than q?
False
Let s be (0/3 - -17) + 0. Which is smaller: 21 or s?
s
Suppose -r - 5*a = 22, -r + 0*a = 2*a + 7. Let q(s) = -s**2 + 6*s + 2. Let t be q(0). Suppose z + t*i = -r, 3*z - 4*i + 14 = z. Is z at most -8?
False
Let n = 17 + -37. Let v = n - -21. Is v greater than 3.3?
False
Let u be 440/220 - (152/1)/(-2). Is 78 at most as big as u?
True
Let s(p) = -p**3 + 18*p**2 - 6*p + 89. Let o be s(18). Let f(h) = 6*h + 4. Let v be f(-4). Which is greater: v or o?
o
Let b(z) = z**3 - 2*z**2 - 4*z - 1. Let h be b(3). Let g be 3 + (1 - -2) + (-7 - h). Which is smaller: g or -1/4?
-1/4
Let k = -30 - -28. Let g be 57/(-6) + (1/k - -1). Which is smaller: 2 or g?
g
Suppose 5678 = 23*b + 1653. Is 178 bigger than b?
True
Let b be ((-21682)/(-7230) + -3)/((-24)/(-60)). Which is smaller: b or -2/5?
-2/5
Let x(z) = 15*z + 2. Let m be x(2). Let j be 4 - (-19 + (-4 - -5)). Suppose 5*g = -q + j, 5*g = -2*q + g + 56. Is m at least as big as q?
True
Let k = 0 - -26. Let x be (16 + -2)/(((-36)/66)/(-1)). Let j = x - k. Do j and 1 have different values?
True
Let z = -2.121 - -2.1. Let q = z - -0.221. Is q != 11?
True
Let l = 0 - 3. Let o be -1 + l + (-24)/(-2). Are 7 and o non-equal?
True
Suppose 5*c + 113*q - 111*q - 852 = 0, -2*q + 512 = 3*c. Which is smaller: 169 or c?
169
Let b be -20 + 2/4*0. Let y = 45 + b. Is y at most as big as 26?
True
Suppose -4*i + 294 = 3*i. Let a = -42 + i. Which is bigger: 8/9 or a?
8/9
Let c = -2718/17 + 29392/153. Which is smaller: c or 31?
31
Let y(s) = s**3 - 9*s**2 + 19*s - 8. Let x be y(7). Suppose -4*m = x + 105. Which is greater: -32 or m?
-32
Let n be (-4)/(-10) - (-520)/(-1425). Is -7 at least n?
False
Let w = -369 + 368.5. Is -4 less than w?
True
Let i(p) = -p**3 - 2*p**2 - 2*p + 2. Let x be i(-2). Let y be (-2)/(-4) - (-3)/x. Suppose -416*v + 420*v = 8. Are v and y equal?
False
Let b = 331 - 178. Suppose 0 = -15*o + 6*o + b. Let h be (-1 + -33)/(-2) - 2. Which is smaller: o or h?
h
Let w be (0 + -2)*6/(-4). Let x be w/((-24)/(-124))*(0 - 2). Is x <= -31?
True
Let c be (-6)/(-14) - 3705/21. Let h be c/(-28) + (-6)/21. Suppose 0 = 3*g - h. Is g greater than or equal to 5/4?
True
Suppose -13*z - 80 = -5*z. Let a be 3 + 145/z - (-6)/4. Which is greater: -4 or a?
-4
Suppose 3*b = 4*m - 2 - 0, -3*b + 4 = -m. Let c = -119 - -111. Which is smaller: m or c?
c
Let a = 48.1 - 53. Let d = a - -4.36. Are d and 1 equal?
False
Suppose 0 = -0*k + k. Let s = -26 - -30. Suppose s*d + 15 = 35. Which is smaller: d or k?
k
Let d = -31 - -31. Let q = d - 0.6. Is 2 != q?
True
Suppose -1 = -5*k + 4. Which is bigger: -1 or k?
k
Let t = -317 - 385. Let l = t + 1467/2. Let u = -29 + l. Which is greater: u or -1/2?
u
Let j(f) = 2*f - 4. Let s be 1/(30/9 - 3). Let b be j(s). Let l be 15/(-10) - b/(-4). Is -1 greater than or equal to l?
True
Let k be 0 - 1/(1 - 2). Suppose -t + 5 - 7 = 0. Let l be (t/3)/(20/6). Which is smaller: l or k?
l
Let w(u) = 2*u**3 - 12*u**2 + 3*u - 20. Let c be w(-6). Which is smaller: -903 or c?
-903
Let r = 2 + 1. Let a = r + -8. Let u = a + 9. Is 0.1 at most u?
True
Let m = -112 + 139. Which is smaller: 22 or m?
22
Let c be (-4503)/(-513) + 4/18. Which is smaller: c or 6?
6
Let j = -44 + 5. Let n = -41 - j. Is -11/10 < n?
False
Suppose -29*z + 390 = -19*z. Is 39 > z?
False
Let c(f) = 3*f**2 + 5*f + 5. Let h be c(-2). Let r(k) = -2*k + 14. Let y be r(h). Let x = -85/3 + 28. Is x bigger than y?
False
Let m(b) = -b**2 + 6*b + 10. Let j be m(7). Let h be (1 - j)*(-16)/(-144). Does 1 = h?
False
Suppose -5*w - q = 14, -2*w + 49*q = 47*q + 8. Let c be (-1 + 0)*(0 - -1). Do w and c have different values?
True
Let j = 33/1247240 + -104573591979/53631320. Let h = j + 1950. Which is bigger: 1 or h?
1
Let a be -1 + (2 + 0)*-1. Let d = a - -6. Let s be -1 + (-1)/(-4) - 495/(-660). Which is smaller: s or d?
s
Let s(t) = -t**3 + 31*t**2 - 56*t + 57. Let q be s(29). Is q at most as big as 116?
True
Let b be -6 - -8 - 7059473294/1022. Let a = b - -6907502. Let p = 29/7 + a. Which is bigger: 0 or p?
p
Let y be 26/4*7*(-2)/(-7). Let p = 12 - 1. Which is bigger: y or p?
y
Suppose 690 = -9*b - b. Which is bigger: -67 or b?
-67
Suppose 14*a = 19*a. Suppose -4*b + 18 = -2*q - 0*b, a = -b - 5. Is -19 at least q?
True
Suppose 0 = -5*m + 2*l + 34, 2*m - 5 - 1 = -3*l. Let b be (-3)/m - (-6)/(-4). Are 1 and b non-equal?
True
Let n = 4 + -3.6. Let c = -0.2 + n. Let g = 18/191 + -580/2101. Is g at most c?
True
Let h = -1397 + -181. Let i = 203561/129 + h. Are 1 and i nonequal?
True
Let p = 5 - 10. Suppose 0 = -91*x - 862 + 316. Which is smaller: p or x?
x
Let l = 0.1211 + 0.0789. Is 0.014 >= l?
False
Let m be (0 - -6) + 1 + -2. Let p be 56/3*m/20. Which is greater: p or 1/4?
p
Let a(b) = b**2 - 27*b - 1. Let f be a(27). Which is bigger: f or 0?
0
Suppose 3*b - 20 = -4*w - b, 3*w = 3*b + 15. Suppose 5*v - w = 10. Suppose -v*o - 2*n - 23 = -9, 0 = -3*o + 2*n + 2. Is -3 less than o?
True
Let t be (-44)/(-462)*(-1 - (-204)/207). Which is smaller: t or -1?
-1
Let x = 42 - 22. Suppose 5*w = -15 - x. Suppose -t - 5*h + 8 = 0, 2*h - 18 = 3*t + 3*h. Is w smaller than t?
False
Let d be (-3)/5 - (-1008)/30. Let u = -20 - -20. Is d less than u?
False
Suppose 0 = 5*o + 5*w - 5, -6*w + 2*w - 14 = -2*o. Let a = -0.049 - 3.951. Which is smaller: a or o?
a
Suppose -n + 14 = -4*m, -n + 0*n = 4*m + 18. Let o be n/(-4) - 12/(-8). Let g be (0/6 + -1)/1. Which is smaller: g or o?
g
Suppose -3*z - 403 = 5*o, 4*o - 8*o = -4*z + 316. Let a = o - -722/9. Is a greater than -0.11?
True
Let w(z) = 2*z**2 - 19*z + 386. Let p be w(19). Which is greater: p or 749?
749
Let a be 2*-2 - 1*(5 + -9). Suppose 5*o - y + 28 = a, -o - o - 14 = y. Is -8 at most as big as o?
True
Suppose 4*l - 374 = -2*j - 110, 0 = 3*l + 5*j - 205. Suppose 2*m = -3*g - l, 0*m - 59 = 2*m - 3*g. Do 1 and m have the same value?
False
Let r be ((-202)/(-22))/((-121)/36). Let n = 6/1331 + r. Let z = 161/55 + n. Which is greater: 1 or z?
1
Suppose 3*h - 5 = 7. Suppose -h*g + 10 = -14. Which is smaller: 5 or g?
5
Let h = 30.062 + -0.062. Let z = h + -24. Let f = 9 - 11. Which is greater: z or f?
z
Let w be (-1)/(2/(-6)) - (2 - -1). Suppose 7*c - c = -w*c. Let v be (-2)/3 - (-1)/(-3). Is v < c?
True
Let t(y) = -y + 126. Let d be t(0). Let u be 22/d - (-2)/(-7). Suppose 5*l + 25 = 0, 5*o - 441*l = -439*l + 10. Which is smaller: u or o?
u
Let s be 36/(-5)*680/(-16). Let i be (s/231)/(-3) - 6/21. Which is bigger: i or 0?
0
Let y = 293.3 - 293. Is y bigger than 33?
False
Suppose 6 = 3*r, j + 4*r + 0 + 4 = 0. Which is greater: -5 or j?
-5
Let b = -2 + 3/2. Let m = 2091.94 + -2092. Is b at least m?
False
Suppose 4*d + d - o =