 is smaller: -21 or y?
-21
Let o be 2793/(-10) + (-162)/(-540). Is -279 less than or equal to o?
True
Let t(h) = -h**2 - 16*h - 35. Let n be t(-13). Is n >= 21/5?
False
Suppose y + 6 = -2*y, -5*y = -3*s + 19. Suppose 5*c + 4*z - 38 = 2*z, -s*c - 2*z = -22. Suppose -5*o = -c*o + 36. Do o and 13 have the same value?
False
Let u = -12 - -6. Let q be (-25914)/(-3465) + 2/(-15). Let l = 52/55 - q. Is u at least as big as l?
True
Let i = 42 - 43. Let j(n) = n**2 + n + 3. Let r be j(i). Let s = -1.3 + 0.3. Do r and s have different values?
True
Suppose 0 = -3*z - x - 490, -4*z + 5*x = 504 + 124. Is z < -161?
True
Let f be (-6)/9*(-12)/2. Suppose 10 = -f*i + 74. Is 16 < i?
False
Suppose -2*h = 5*x - 27, 5*h - 4 = -5*x + 26. Let p = -57118 - -11137688/195. Let t = -8/5 - p. Which is smaller: h or t?
t
Suppose 0 = -7*i + 5*i - 32. Let h be i/(-10)*10/4. Suppose -5*o + 25 = -h*r, 3*r + 12 = o - 4*o. Are o and 2/3 equal?
False
Suppose -3*g - 8 = -5*g. Suppose g*r - 12 = r. Let i be (3 - 4) + -1*r. Is -5 smaller than i?
False
Let n be ((-3 - 5) + 9)*-1. Which is smaller: -4/29 or n?
n
Let j(c) be the first derivative of -c**3/3 - 9*c**2/2 - 14*c + 8. Let z be j(-5). Let s be 7 + (-4)/2*1. Which is bigger: z or s?
z
Let x = 227 - 233. Let y be (-52)/16 - 12/16. Is y at least as big as x?
True
Let c = -75/332 + 1/4. Let q(m) = 6*m**2 + 13*m + 8. Let s be q(-1). Which is smaller: s or c?
c
Suppose 3*q + 9 = 0, s - 4*q = 52 - 38. Let j(f) = f - 7. Let b be j(5). Let v(l) = l**3 + l**2 - l - 1. Let c be v(b). Which is greater: s or c?
s
Let a(s) = -70 + 11*s**2 + s + 2*s**3 - s**3 + 77. Suppose 0 = l + 4*v - 1, 2*v = 2*l - 0*v + 28. Let k be a(l). Which is greater: -3 or k?
-3
Let x be (-1 - 1 - 1860/10)/(-10). Which is smaller: 20 or x?
x
Let k(u) = -u**3 - 13*u**2 - 24*u - 145. Let f be k(-12). Which is bigger: f or 2/1717?
2/1717
Let k = 38/7 + -37/7. Which is greater: 2/11 or k?
2/11
Let s = 163/66 + -5/6. Does -5 = s?
False
Let s = 4/61 - 1206/16531. Which is smaller: s or -1?
-1
Suppose -5*c = 0, 0 = 5*r - 3*c - 1 - 24. Let u = r - 5. Suppose a + u*a = 4. Which is bigger: 2 or a?
a
Suppose -4*b + 9 = 5*s, 0 = 5*b - 3*s - 1 - 1. Suppose y + 15 = -4*j, -b - 3 = 4*y + 2*j. Let k be (7/((-14)/(-4)))/(-4)*4. Which is bigger: y or k?
y
Suppose 2*h + 0*m = -2*m + 16, -2*h = -4*m + 14. Are 13/4 and h non-equal?
True
Let q = 3 + 16. Suppose 5*n = -0*n + 30. Let g = n - q. Is -14 > g?
False
Let c = -0.077 + 0.577. Which is greater: c or -70?
c
Let x(u) = 1204*u**3 + 18*u**2 - 22*u + 3. Let l be x(1). Which is smaller: 1202 or l?
1202
Let b(m) = m - 5. Let r be b(7). Suppose -18*g + 23*g = 35. Let x be 1/3 - g/(-6). Which is greater: x or r?
r
Suppose 2*q = -0*q + 4. Suppose 6 = -q*m - m. Let w be 1/((-2)/(m - 0)). Is w >= -1?
True
Suppose -50*x - 874 = -27*x. Which is greater: x or -184/5?
-184/5
Suppose 105 = -5*j + 2*a + a, 5*j + 4*a + 140 = 0. Suppose -2*v + 52 = -2*s, -6*s + 5*v + 8 = -7*s. Is s >= j?
True
Let l be (-2)/42*(-2 + 1). Let b = l - -17/84. Let w be (-3)/((-18)/34)*-3. Which is smaller: w or b?
w
Let k be (-7)/(-2)*-2 - -1. Suppose -7 = v + 2*m, -6*v = -2*v + 5*m + 28. Which is smaller: k or v?
v
Let o = -307 - -7673/25. Suppose -3*x + 45 = -0*x. Suppose -2*m + 3*g = -0*g - x, 5*m + 4*g = -20. Which is bigger: o or m?
m
Suppose 3*i + 12 = 9*i. Let y be (-1512)/49 + i/(-14). Is -29 > y?
True
Let h = -931/377 + 33/13. Let x = -1257.4 + 1258. Is h bigger than x?
False
Let n = 39 - 28. Let v = n - 7. Let r = v - 7. Which is bigger: r or 1/7?
1/7
Let c = 35 + -35. Suppose 10 = -x + 4*f, c = 4*f - 0*f - 8. Suppose 0 = 2*o - 3*a + 4*a - 3, -1 = o + 3*a. Is x at least as big as o?
False
Let s = 5 + -3. Suppose f - 1 + s = 0. Let k be -2*f/(-34)*-3. Which is bigger: k or 1?
1
Let x = 373 + -446. Which is bigger: -3 or x?
-3
Let p be (1 - 2/(-6)*1)*48. Let z = p + -64. Are z and -2/343 equal?
False
Suppose 0 = 6*b + 59 - 77. Does b = 90/23?
False
Let k(d) = d - 3. Let x be k(6). Suppose 0 = -x*n - 2*n - 20. Let l be n/14 - (-30)/35. Which is bigger: 1 or l?
1
Suppose 48 + 60 = 12*r. Which is greater: 18 or r?
18
Let g(v) = -28*v**3 - 2 - 4*v**2 + 29*v**3 + 0*v + 4*v. Let r = 6 - 3. Let w be g(r). Does w = 3?
False
Let p be (-38)/(-14) + 24/84. Let c be (2/1 - -1) + -4. Which is smaller: c or p?
c
Let c(d) = -12*d - 332. Let z be c(-30). Is 32 equal to z?
False
Suppose 0 = 4*n + 7 + 1, 2*r = -2*n - 38. Let g = r - -26. Let t be (g/5)/((-6)/(-20)). Is 6 at most as big as t?
True
Let a = -1048 - -128905/123. Is 1 <= a?
False
Suppose 0 = -6*q + 655 - 25. Let n be -2 - (95/q + -3). Which is smaller: 0 or n?
0
Let d(u) = 1 + 35*u - u**2 + 38*u**3 + 34*u - 70*u. Let r be d(1). Which is smaller: r or 0.1?
0.1
Let w = 4/175 + 3464/1575. Which is greater: w or 3?
3
Let f = 419 + -398. Are f and 2/23 equal?
False
Let h = -19085 - -16470352/863. Is h less than -1?
False
Suppose 18 = h - 0*h. Let q be 1/(h/8 + -2). Suppose -q*a + 7*a - 5*z = 0, -7 = a - 4*z. Which is bigger: 4 or a?
a
Suppose -32 = z - 3*z. Let j = -14 + z. Let p be 3*j/((-24)/4). Which is bigger: p or 0.08?
0.08
Suppose 2*t + 3*t - 21 = -3*n, 2*n - 5*t + 11 = 0. Suppose 4 = -2*j - 4*c, 0 = -0*j - n*j - 2*c - 2. Is j greater than -11?
True
Let l = -9/3346 - 900029/16730. Let u = 54 + l. Which is greater: -1 or u?
u
Let f = 520 - 512. Suppose s = -7*p + 3*p + 2, 2*p = 0. Let v = f - s. Is 4 at most as big as v?
True
Let m = 26.64 + -0.14. Let y = -0.109 + 27.109. Let d = m - y. Which is smaller: -1 or d?
-1
Suppose 10*v = 5*v + 145. Suppose -v = 4*x + 51. Are x and -19 unequal?
True
Let i be (-4)/(-32)*-4*-14. Suppose 5*d - 3*j - 50 = 0, 5*d = -4*j + 2*j + 50. Is d at least as big as i?
True
Let q be (4/(-21))/((16/(-6))/(-4)). Is q less than -25.5?
False
Let y = 1770 - 1751. Which is bigger: 5.1 or y?
y
Let m(g) = g**2 - g. Let v(p) = -p**2 + 7*p - 7. Let r be v(5). Let k be m(r). Let h(i) = -3*i - 2. Let q be h(k). Is -20 greater than q?
False
Let v be 4/4 + -2 + 483/12. Let u = v - 769/20. Is 0 less than u?
True
Let b(f) = -f**3 - 2*f**2 + 5*f + 2. Let i be b(-4). Suppose 50*s + 132 = 782. Are i and s equal?
False
Suppose 151 = 5*h + 5*m - 24, -2*h + 5*m = -42. Which is greater: h or 14?
h
Let q(t) = -t**3 - 8*t**2 - t - 3. Let v be q(-8). Suppose 3*c + v + 22 = 0. Which is bigger: c or -11?
c
Suppose 103 = -3*b + 13. Let l be (-447)/b - (-1 + (-28)/(-20)). Is l >= 15?
False
Let i = -2803/244 - 16/61. Let g = 8998 - 9010. Which is bigger: g or i?
i
Let q be ((-8)/6)/(18/(-33)). Let m be (-1)/(4 + 35/(-7)). Which is greater: q or m?
q
Let u(w) = -6*w - 30. Let a be u(10). Let j = 75 + a. Do -14 and j have the same value?
False
Let o be (6/15)/(1/(-40)). Let l = o + 21. Suppose 0 = -2*p + l*p. Which is bigger: p or 3/5?
3/5
Let o = -4/347 - -615/23249. Which is smaller: o or -1?
-1
Let p(w) = -335*w**2 + 6*w + 6. Let x be p(2). Are -1324 and x unequal?
True
Let s be ((-5)/2)/(((-15)/(-5))/(-30)). Suppose 3*w + 2*w - 30 = 0. Suppose 17 = -w*x - s. Which is smaller: x or -9?
-9
Suppose 60*x = 59*x + 9. Suppose 0 = 4*g - 5*k + 27, x = -g - 5*k - 4. Do -46/5 and g have the same value?
False
Let w = -419 - 223. Let b be w/(-462) - 4/7. Does 2 = b?
False
Let n = 9 - 4. Let h be ((-6)/(-5))/(26/65). Is n at most h?
False
Suppose -2*x + 20 = 2*x. Let n be (15/x)/(9/3). Which is bigger: n or -2/55?
n
Let q(u) = 4*u - 9. Let c be q(4). Let w = -16 - -14. Which is greater: w or c?
c
Let h = 16 + 22. Let f = 0 + h. Let u = -27 + f. Is u less than 11?
False
Let r be (-201)/2 - (-6)/(-12). Let b = r - -109. Which is bigger: b or 6?
b
Let i(q) = 12*q - 1. Let r be i(3). Suppose -x + r = 4*x. Let c be (0 - -1) + x/1. Are 9 and c equal?
False
Let n = -5 - -5.05. Let a = -0.05 + n. Let m = 0.12 + -0.1. Is a < m?
True
Let r = 0.19 + 47.61. Let x = -48 + r. Which is greater: x or 20?
20
Suppose 0 = -3*u - 12, -14*u = -f - 10*u - 443. Which is bigger: -460 or f?
f
Let x be (-1042)/(-280) + 300/(-525). Which is greater: 4 or x?
4
Let h be (-4512)/120*1/4 + 5. Suppose b = -b. Suppose b = 6*g - g + 20. Which is smaller: g or h?
h
Let y be (((-40)/(-12))/(-1) - 2)*15. Is y smaller than -84?
False
Let u = -253 + 229. Is -27 at most u?
True
Suppose -6 + 2 = -2*w. Suppose -3*n = 8 - w. Let m = -167 + 164. Which is smaller: m or