et h = 1150 + -1142. Is h at most as big as n?
True
Let c = -1899 - -1897. Let o = -1 + -2. Let p = -6 - o. Which is greater: c or p?
c
Let a = 0.2 - 0.3. Let f = 0.079 + -0.039. Which is smaller: a or f?
a
Suppose -f + 3 + 2 = 0. Suppose -2*j - 5*g - 16 = 1, 0 = -4*j - f*g - 19. Suppose -4*s - h - 14 = 0, -h + 9 = -5*s - 4. Which is smaller: s or j?
s
Suppose -3*z = 3*y, 6*y + 13*z = 11*z + 12. Is y bigger than 53/17?
False
Suppose -c = -f + 78 + 53, 257 = 2*f + 3*c. Let v = 653/5 - f. Are 0 and v non-equal?
True
Let j = -21.21 + 0.21. Let d = -20.9229 + -0.1771. Let s = d - j. Which is smaller: 0 or s?
s
Let y = -1 + 0. Let u be -1*4/9 - 1780/(-3600). Which is smaller: u or y?
y
Suppose 21 = 2*k + 5*w, 0 = -4*k - 5*w + w + 24. Suppose k*t = -22 - 8. Is -11 > t?
False
Suppose 0*h = -6*h + 180. Let q = h + -33. Are -1 and q unequal?
True
Let c(y) = -4*y**2 + 4*y - 2. Let p be c(2). Let t be ((-8)/p)/(10/50). Suppose i - 3 = 1. Is i at most t?
True
Suppose 30*w + 15*w = -0*w. Suppose 3*g - 7 = -m, -3*m + 2*m - 8 = -2*g. Suppose -t + 2*p - g = -0*p, -p + 1 = w. Is t at least as big as -15?
True
Let r = -0.318 + 1.988. Let z = r - 1.6. Let b = 1.07 - z. Which is greater: -0.2 or b?
b
Let a(y) = -y - 8. Let o be a(-9). Let x = -119 - -593/5. Which is smaller: o or x?
x
Let a be (-20)/16*6/(-390). Which is smaller: a or -1?
-1
Suppose 2*l + 2285 = 3*w, -w + 5232 = -4*l + 687. Is -1135 at most l?
True
Let c = -343/99 - -32/9. Suppose 5*f = 12 - 2. Suppose 0 = f*l - l. Is l smaller than c?
True
Let u = -15888701/130 + 122222. Let c be 333/(-210) + (-4)/(-14). Let m = u + c. Is 1 equal to m?
False
Let n(o) = -o**3 - 3*o**2 + 4*o - 2. Let g be n(-4). Let w(x) = -32*x + 80*x - 4*x**2 - 51*x - x**3 - 2. Let j be w(g). Which is greater: j or -8/3?
-8/3
Let h be (-957)/84 - -2 - (-1)/(-4). Is -11 smaller than h?
True
Let q = 56/15 + -62/15. Is q smaller than -4/259?
True
Let j be ((-15840)/(-654))/(-4) - -6. Do j and -1 have different values?
True
Let u = 672 - 681. Which is smaller: 1/6 or u?
u
Suppose 0 = -3*c - 0 + 6. Let h(g) = -g**3 - 6*g**2 + 7*g. Let o be h(-7). Suppose -c*y - y - 3 = o. Do -2/5 and y have different values?
True
Let y(n) = -4*n + 40. Suppose -z = 16 - 24. Let p be y(z). Let v = -21 - -30. Is v > p?
True
Let w(q) be the second derivative of q**5/10 - q**3/2 + 3*q**2/2 - 3*q. Let n be w(2). Suppose -20*a + 19*a + n = 0. Which is smaller: a or 14?
a
Let d = -238 - -238. Which is greater: d or -1/101?
d
Let x be ((-8 - -10) + 6)*(-2)/(-4). Suppose 5*q - 15 + 5 = 0. Is x at most as big as q?
False
Suppose 0 = -12*n + 6213 - 1509. Which is greater: n or 1?
n
Let z = -0.873 - -15.873. Is z smaller than 28?
True
Let a(d) = 2*d - 6. Let h be a(4). Suppose -3*l = h*v - 49, -v + 3*v = 5*l + 89. Suppose 4*s + 4*w - 2*w = -v, 2*s - w = -8. Which is smaller: -5 or s?
s
Let x be 4716/(-204) - (2 - (-36)/(-17)). Let g be (2/6)/(2/166). Let b = x + g. Is 6 equal to b?
False
Let a be (-740)/(-296)*4/(-5). Which is smaller: a or 89/4?
a
Let k(f) = -2*f - 17. Let r be k(-9). Let j be (30/20)/(-2 - r). Is -1/3 at least j?
True
Let l be ((-33)/26)/(10/(-3)). Let b = 9101/52 + -175. Let h = b + l. Is -1 at least as big as h?
False
Suppose -13*p - 2364 = -13349. Is 845 less than p?
False
Suppose 2 = 2*d, -5*p + 11 + 2 = 3*d. Suppose -5 = p*k - 3. Which is smaller: 2/111 or k?
k
Let a = -29 - -28.78. Let t = -0.44 - -1.56. Let v = t + a. Which is greater: 0 or v?
v
Let o(x) = -x**3 - 6*x**2 - 3*x - 5. Let s be o(-5). Let g be ((-2)/s)/((-16)/740). Which is smaller: -5 or g?
g
Let f be ((-6)/4)/((-238)/68). Is 17 equal to f?
False
Let n(q) be the second derivative of q**3 + q**2 + 4*q. Let r be n(1). Suppose -r = -4*w + 2*w. Is w at least as big as 5?
False
Let j = 31 + -29. Let g be 49/24 + j + -4. Which is smaller: 0 or g?
0
Let f(i) = i**2 - 7*i - 7. Let n be f(8). Let o = 836/2061 - 42/229. Which is smaller: o or n?
o
Let h = 2227 - 2800. Is -571 less than h?
False
Suppose 2*u = -3 + 7. Suppose -1 = g - u. Is g bigger than 6/11?
True
Let k(w) = -w**2 - w + 2. Let m be k(-2). Suppose -4*r = 4*i + 12, m*i - 2*r + 9 = -3*i. Let t be (-28)/48 + i/(-9). Which is greater: t or -0.1?
-0.1
Let l = 21.027 + -0.027. Let u = l + -18. Let h = -0.8 - -0.6. Which is smaller: h or u?
h
Let o be -2 + -3 + 949/190. Is o greater than 1?
False
Let d be (-2)/3*-3*(2 - 0). Suppose -4*k - 26 = -2*g - 2, -d*k - 3*g - 44 = 0. Is -2 at least k?
True
Suppose 4*f - 1 = 3*f. Suppose 2*z - 5*z + 4 = 4*l, -2*z = l - 6. Let o be (f/14)/(5/z). Which is greater: o or 0?
o
Let m(t) = -4*t**2 - 3*t - 1. Let u be m(-2). Let l(f) = 5*f**2 - 4*f**2 + 0*f**2 - 8 + 11*f. Let x be l(u). Which is bigger: -9 or x?
x
Let i be ((-9)/6)/(21/(-14)). Which is greater: i or 4/9?
i
Let w(n) be the second derivative of -n**4/12 - n**3/3 - n**2 - 12*n. Let b be w(-2). Let l be b/(-3)*3/2. Is l greater than -1?
True
Suppose 257 = 11*i - 183. Let r be 266/8 + (-1)/4. Let l = r - i. Is -7 at least as big as l?
True
Suppose -2*k + 70 = -5*h + 65, -5*h - 5 = k. Do 14/85 and h have the same value?
False
Let n be 0/(7 - 3 - 2). Suppose n = 5*j - 8 - 32. Let q be j/(-4) + 2 + 0. Is q <= -1/5?
False
Let r be (2 - 3) + 19/(133/12). Suppose g + 10 = 2*a + 3, 2*g + 12 = 3*a. Suppose 3*b = 8 - a. Is b less than or equal to r?
False
Let d be (-62)/(-10) - 14/49. Let z = 31/5 - d. Let h = -3/52 + -193/260. Is h bigger than z?
False
Let y = -2442 - -1432. Let d be (35/(-7) + 0)*(-4)/y. Which is bigger: d or -1?
d
Let v(q) = -28*q**3 - 1. Let j be v(-1). Let t(z) = 7*z + 70. Let w be t(-6). Which is smaller: w or j?
j
Let g = 28 + -23. Suppose -4*z = 4*t, -5 = -0*z + 3*z + 4*t. Is g > z?
False
Let v = -1244 - -3670/3. Which is bigger: v or -20?
-20
Let a = -66/19 - -717/190. Suppose 2*n + 8 = 2*y - 0*n, 4*n + 17 = 3*y. Are y and a equal?
False
Let y = -4/1439 - 8134/179875. Which is smaller: 0.1 or y?
y
Let q = 7946 - 39467/5. Which is bigger: 53 or q?
53
Let d be ((-24)/6 - 6/(-2))*-1. Suppose m + d - 8 = -2*k, -3*m - 5*k = -20. Is m at most as big as 23/4?
True
Let j be (-2)/11 + 4/22. Suppose j = -0*r - 6*r. Let i = 71 - 499/7. Is i less than r?
True
Let l = -71189/1726605 - -112/1665. Let a = -2/61 - l. Let t = -444 + 445. Which is greater: t or a?
t
Let m be (-13)/((-1001)/(-33)) + (-818)/(-1974). Is m < -1?
False
Let c = -13 + 13. Let o be 15/90*(-3)/(-30). Which is greater: c or o?
o
Let h(w) = -w + 4. Let s be h(3). Let t be 3/s - (-26 + 29). Let g be 1*2 + (-128)/44. Do g and t have different values?
True
Suppose 0*l = 5*l - 15. Let r be 12/(-8) - 437/(-46). Is r at most as big as l?
False
Let x = 310 + -308. Let s be 10/28*2/1. Which is bigger: s or x?
x
Let p = -0.2 - -23.2. Let d = p - 18. Which is smaller: -2/3 or d?
-2/3
Let m be -1*(-3 - (-4 - -1)). Suppose -4*q + 5 - 1 = m. Which is smaller: q or 5?
q
Suppose 33*b + 320 = 37*b. Let q be (-8)/3*(-15)/b*4. Is q at least as big as -3?
True
Let c(t) = 6*t**2 - 4*t - 9. Let z be c(0). Let i = 15 - 24. Let k be 1 + -2*i/(-2). Is z bigger than k?
False
Let j(a) = 29*a + 106. Let l be j(-5). Which is greater: -34 or l?
-34
Suppose 2*q + 21 - 5 = -2*b, -2*b + q - 13 = 0. Let l = -16 + 18. Suppose 16 = -l*k + 4*d, d = 2*k - 0 + 7. Which is smaller: k or b?
b
Let r(x) be the third derivative of -x**4/24 - 11*x**3/6 - 23*x**2. Let v be -3*(2 - (-4)/3). Let m be r(v). Which is greater: m or -2/27?
-2/27
Let n be -9 + (-38)/(-24)*6. Are -20.2 and n equal?
False
Let q(l) = l**2 + 14*l - 37. Let y be q(-16). Is y at least as big as -6?
True
Let t = -75 + 156. Let z = -164 + 163. Which is bigger: z or t?
t
Let r(v) = v**2 + v - 1. Let u be r(1). Let h be 3 + (u - 2)*-2. Suppose -2*x = 3*x - h, 2*i + 3*x - 3 = 0. Is i less than or equal to 2?
True
Suppose 2*q = 3*s - 53 - 32, 2*q + 75 = 5*s. Which is greater: q or -51?
q
Let q = -815/38 - 210/19. Let s = -33 - q. Is -2 < s?
True
Let h = -0.028 - -0.248. Let x = h + -0.02. Is 2/7 >= x?
True
Let s be -1*17*((-12)/(-4) - 5). Suppose 0 = 3*f - 16 + s. Is -2 > f?
True
Let r be 2 - ((-6)/10 - -1). Let q(b) = 2*b**2 + 12*b - 13. Let s be q(-7). Suppose -3*p - 3*g = -s + 10, 0 = 2*g + 8. Is p equal to r?
False
Let j(h) be the third derivative of h**6/120 + 2*h**5/15 - h**4/24 - 5*h**3/3 - 4*h**2. Let y be j(-8). Let r be 2/3*(