t as big as a?
False
Suppose 4*w - 4*p - 24 = 0, w - 2*p = -2*w + 14. Let a be 0/(0 - (-3)/6*6). Is w < a?
False
Let o be ((-75)/(-6) + -2)/(-3). Which is smaller: o or -4?
-4
Let w(d) = -d - 23. Let o be w(-5). Is -19 smaller than o?
True
Suppose 0 = -5*w + 4*w. Let g be (3 - -2 - w) + -1. Which is bigger: 0 or g?
g
Let z = 33 + -32.9. Which is bigger: -43 or z?
z
Let o be 24/14*(-1 + 2). Which is greater: o or 3?
3
Let v = -11 - -16. Suppose -20 = 3*c - v*c. Let z be c/(-35) + (-3)/14. Which is smaller: z or -1?
-1
Let d = -3/11 + 19/110. Is d at most -1?
False
Let h = -2 + -1. Let c be (-1)/(-2)*2/98. Let n = -27/98 - c. Is h <= n?
True
Let i be (2 - -1) + -4 + 16. Suppose i = -4*w - 13. Is w at most as big as -6?
True
Let w be -3 - (1 + 174/(-39)). Let h = 91 + -90. Which is greater: w or h?
h
Let t = 6 - 4. Suppose b = -t*b. Suppose -5*n + 23 = 2*g, 4*g - 5*n - 3 + 32 = b. Which is smaller: g or 0?
g
Let v be (2/(-6))/(11/6). Let j(p) be the second derivative of p**3/6 - 4*p**2 + 2*p. Let y be j(8). Which is smaller: v or y?
v
Let j be (4/(-114) - 0)*-1. Which is smaller: -1 or j?
-1
Let d = 373 + -7463/20. Let x = 11/90 + d. Let h = x - -79/252. Which is smaller: 1 or h?
h
Let p be 4/(-3*2/(-12)). Is 15/2 at most as big as p?
True
Let q = -84 + 248/3. Let m(g) = -g**2 + g. Let c be m(0). Which is greater: c or q?
c
Let i = 14/323 + -7204/2261. Is -4 not equal to i?
True
Suppose 20 = -5*q, -p + 5*q = q - 2. Let m be (-2)/(-4) + (-7)/p. Which is bigger: 3/10 or m?
m
Let q(c) = -c**2 - 4*c + 2. Let z be q(-4). Suppose -1 = 3*v + 5. Let h be ((-2)/3)/(v/6). Is z bigger than h?
False
Let d = 1.8 + -6. Let k = d + 4. Is 4/7 less than or equal to k?
False
Let z = -7 + 9. Let x = z - 3. Is 1/3 greater than x?
True
Let c = -41 + 42. Is c < -2/3?
False
Suppose -32 = -5*s - 2. Suppose 2*q + 0*q + s = 0. Let x be -1 - ((-5)/q - 2). Which is greater: -2 or x?
x
Let d(z) = z**2 - 9*z + 5. Let w be d(8). Which is greater: 0 or w?
0
Let h = -721647/7 - -103381. Let d = 482 + -770. Let j = h + d. Is j at least 0?
True
Let y be 1/(3/39*6). Let a = 28/15 - y. Let r = a - -7/40. Do 1 and r have the same value?
False
Suppose 5*t - 2*t - 9 = 0. Suppose 0*p + t = -3*h + 4*p, 2*h + p - 9 = 0. Is 3 >= h?
True
Let f(p) = -4*p**2 + p - 3*p + 3*p**2. Let l be f(-2). Let o = -2/43 + 49/129. Is l equal to o?
False
Let k = -1.92 - -2. Let c = k - 0.08. Is c less than 9?
True
Suppose -i + 0*i = -4*c - 82, -c + 4*i - 13 = 0. Are c and -23 non-equal?
True
Let r(q) = -q**3 + 9*q**2 - 9*q + 8. Let c be r(8). Which is bigger: c or -1/4?
c
Let s be (14/6)/(12/(-9)). Let k = 7 - 5. Let j be k/3 + 15/(-9). Do s and j have the same value?
False
Let c(t) be the second derivative of -t**4/12 - 11*t**3/6 - t**2/2 - t. Suppose 4*x - 12 = 0, -2*f - 34 = 3*x - 7*x. Let b be c(f). Which is bigger: b or -1/8?
-1/8
Let s = -25 + 25.33. Let w = 0.03 - s. Let l = w - -0.2. Is -1/6 at least l?
False
Let p(y) = y - 96. Let m(d) = 19. Let i(s) = 11*m(s) + 2*p(s). Let c be i(-8). Which is greater: c or 2?
2
Let y = -203/8 + 103/4. Let j(b) = 2*b + 2 + 3*b - 4*b + 1. Let a be j(-3). Which is greater: a or y?
y
Let o be (-4)/(-14) + (-474)/777. Let n = o - 223/111. Which is smaller: 0 or n?
n
Suppose -3*x + 318 = 3*i, 6*x - 433 = 2*x + 5*i. Is x > 107?
False
Let t(v) = v**2 + 4*v - 8. Let b be 33/(-6) - (-1)/(-2). Let l be t(b). Suppose g + 4 = -3*s + l*s, -14 = -3*s + 4*g. Is s at least 1?
True
Let j = -7 + 15. Is j greater than or equal to 15/2?
True
Suppose 0*j - 7*j = 0. Which is greater: j or 1?
1
Suppose -3*i - 4*m + 18 = 0, 4*i - 2*m + 4*m - 14 = 0. Let r be i*(1 - 2 - 0). Is -1 greater than r?
True
Let o be 3/(-21)*235 + 6/(-14). Which is smaller: -35 or o?
-35
Let d = 15 - 14.8. Which is smaller: d or -1?
-1
Let c(h) = -h**2 - 4*h + 4. Let m be c(-4). Let d be (1 + -5)*(-2)/m. Suppose s - d*r + 5 = 0, -2*r + 8 = -4*s - 0*r. Is s smaller than -3/2?
False
Let h = -5 + 5. Let l = 113/117 - 14/13. Which is smaller: l or h?
l
Let u = 4 - 7. Let t = -2 + u. Let k = -6 - t. Is k greater than -4/5?
False
Let m = 3.9 + -4. Let a = m - 0.9. Let x = a - -2. Which is smaller: x or -2?
-2
Let a be (12/4 - 27)/(-2). Suppose 0 = -3*m - z - 8, 5*m - z + a = -3*z. Is m less than or equal to -10/3?
True
Let s be -1*(-38)/((-4)/(-2)). Suppose -5*k - 5*l - 1 = -k, -4*k - l = -s. Let j(d) = d + 1. Let u be j(4). Which is bigger: k or u?
k
Suppose 4*g = 4*l - 32, 3*l - 28 = 2*l + 5*g. Let j be l/(-6)*-8*1. Suppose -b + 3 = 0, -m - j*b + 12 = 2*m. Which is smaller: 7 or m?
m
Let c = -0.01 - 0.39. Let j = -0.5 - c. Which is smaller: j or 9?
j
Let q = -943 + 150881/160. Which is greater: q or 0?
q
Let s = -56 - -65. Is 9 not equal to s?
False
Let v(g) = g**2 + 6*g + 2. Let s be v(-7). Let x = s + -5. Suppose x*q - 4 = -0*q. Which is smaller: q or 2/7?
2/7
Let s(o) = -o**3 - 4*o**2 - 2*o + 3. Let l be s(-3). Is -1/6 smaller than l?
True
Let b = 8 + -9.1. Let s = b + 0.1. Let q be 0*((3 - (-12)/(-8)) + -1). Which is greater: s or q?
q
Let v = -9 - -8. Is 2/23 not equal to v?
True
Let v = -7 - -10. Suppose -v*c = c. Let o(u) = -u**3 + u**2 - 1. Let z be o(c). Which is greater: z or 0.1?
0.1
Suppose 11*z + 4 = 15*z. Let q(m) = 2*m + 6. Let s be q(-4). Which is greater: z or s?
z
Suppose -4*k + 3*g - 180 = 0, -4*k - 5*g = -3*g + 180. Which is greater: k or -46?
k
Let n = -2.9 + 3. Let m be (-216)/462 - 2/(-7). Is m greater than n?
False
Let o = 6 - 9. Let z = o + 9. Suppose z*k = 5*k. Which is smaller: k or -1/4?
-1/4
Let f = -2 + 1. Let s(z) = -z**3 + 5*z**2 + 7*z - 8. Let d be s(6). Which is bigger: d or f?
f
Suppose 2*g + 2*a - 4 = 0, 6*g - 3*g - 5*a + 34 = 0. Let d be g/((-3)/(-6)*2). Which is smaller: d or -4?
-4
Suppose 86 = -3*j - 52. Let o be j/14 + 2/7. Which is smaller: -2 or o?
o
Let c = 0.1 - -0.1. Let u = -2 - 1. Let p be u/9 - 8/(-12). Is p less than c?
False
Suppose -s + 15 = 4*s. Let a be 7/42*s/(-2). Is a at least as big as 0?
False
Let z be -5*(-4 - (-2 + 0)). Let d = 14 + z. Suppose -p - 5*m - d = -2*p, 0 = 2*p - 3*m - 13. Which is greater: -2 or p?
p
Suppose 2*b + 5*b = 35. Suppose -3*x + 0*x + 8 = 2*a, 2*x - 7 = -a. Is x less than or equal to b?
False
Let u = -14 - -13. Let j be -3 + (0 + u)*-3. Which is bigger: -1/7 or j?
j
Let u = -0.24 + 0.37. Let x = -0.03 + u. Is 0 bigger than x?
False
Let w = 2.3 + -2.7. Let s = -0.1 - w. Let q be 5/15 - (-5)/3. Is q bigger than s?
True
Let b be -2 - 6/4*-4. Let m be (-3)/135 - b/(-18). Do m and 1 have the same value?
False
Let a(t) = 4 + 5 + t - 4. Let s be a(-5). Suppose 5*i + s - 10 = 0. Do 1/2 and i have different values?
True
Suppose 2*u = -d - 4, -3*u = d - 3 + 7. Let k be 2/(-3) - (-120)/99. Which is greater: k or u?
k
Let x be -5 - (-11 + 9 - (2 + 0)). Let l = 163/897 + -3/23. Is x bigger than l?
False
Let o be 2/(-8) + 33/108. Let g = 208 - 209. Is o bigger than g?
True
Let j be (-2)/7 + 4/14. Let i = -163/1014 + -1/169. Which is smaller: j or i?
i
Suppose f = -5*v - 1, 5 = 3*f + 3*v + 8. Is -5 < f?
True
Let l = -175 - -175. Is l equal to -2/187?
False
Let t = -153 + 618/5. Which is smaller: -30 or t?
-30
Let a(w) = w**3 - 2*w**2 - w. Let r be a(-1). Let z = -27/10 - -11/5. Which is smaller: z or r?
r
Let c be ((-6)/(-4))/(14/(-8)). Let a(v) = -v**2 - 15*v - 27. Let h be a(-13). Which is greater: h or c?
c
Suppose -2*z = -0*z + 6. Let r be (-1)/z - (-1)/(-3). Let g(o) = o + 9. Let p be g(-7). Which is bigger: r or p?
p
Suppose -3*s = -0*w - w + 8, 5*w - 3*s = 4. Suppose o + 0 = 8. Let p be (1 - 2) + 10/o. Is p greater than w?
True
Let l = 3 + -1. Suppose -6 = 5*m - 4*o - 0, 3*m + 4*o = -10. Let c(r) = -r**2 - 4*r - 3. Let y be c(m). Which is bigger: l or y?
l
Let k be -1*(-6 - (-1 - 4)). Is -9 smaller than k?
True
Let i(r) = r**2 - 5*r + 1. Let t be i(5). Let m be -4*t/(-2) - 6. Is m less than -3?
True
Suppose 0 = 5*g + 196 - 26. Let q = 169/5 + g. Which is smaller: 0 or q?
q
Suppose -4*z - 2*n = n + 15, 5*z + n = -27. Let s = z - 1/2. Which is smaller: -6 or s?
s
Let c = 1.1 + -1. Let m = -7 + 12. Let o = 9 - m. Which is bigger: c or o?
o
Suppose -4*i = o - 2, i - 4*o = 1 + 8. Is i > 4/65?
True
Let p be 9/84*1356/(-15). Let j = 1479/160 + 5/32. Let z = p + j. Is 1 bigger than z?
True
Let k = 128/15 + -1132/135. Which is bigger: 1 or k?
1
Le