r: f or a?
a
Suppose 0 = 9*t - 8*t - 15. Let c be -7 - (-5)/(t/12). Let u = 6 + -8. Which is bigger: u or c?
u
Suppose 6 = -7*w + 8*w. Let v be (-11764)/84 + (-4)/w. Let f = v + 141. Are f and -13 equal?
False
Suppose -3*w - 2*w - 3*v = -4445, -v = -2*w + 1778. Is 889 != w?
False
Suppose 3*u = -5*j + 6 + 21, -4*j - 5*u + 32 = 0. Suppose 2*o + 3*i - 9 = 0, -j*o = 5*i - 4 - 11. Is o != -2/5?
True
Let h = -9 - -43/5. Suppose -14 = 2*d - 14. Is h < d?
True
Let v be 2/16*(-3)/(-1). Suppose 0 = m - 5*m - 108. Let k = m + 28. Does v = k?
False
Let y = 0.04 - 1.04. Let u = -21 + 24. Suppose 4*f + 5*a + 40 = 11, -u*a - 15 = 0. Is f <= y?
True
Let a be (-686)/(-126) - (-1 - -6). Which is smaller: -1 or a?
-1
Let p = -1533 - -15353/10. Which is bigger: 3 or p?
3
Let j(l) = l + l**2 - 9 + l + 14 - 6. Suppose 0 = -b + 1 - 4. Let p be j(b). Which is bigger: p or 3/4?
p
Let x(l) = -8*l - 335. Let a be x(-43). Let n = 9 + -3. Suppose -a*r + 3*r = -n. Is -1/3 != r?
True
Let d = -0.5 + -1.5. Let p = d + 1.8. Let n(z) = z**2 + 12*z + 14. Let h be n(-11). Is p smaller than h?
True
Let s = -266 - -215. Is -1/2 less than or equal to s?
False
Let m be -1 - (-2 - -2) - -1. Suppose -4*d + 3 = -t - m*d, 24 = 4*t + 2*d. Suppose 3*b + 2 = t. Are b and -1 equal?
False
Suppose 23*s = -27 + 4. Is -10/31 less than or equal to s?
False
Let f(x) = 3*x - 30. Let v be f(7). Let z be (3/(-2))/((-5)/240*v). Which is smaller: 2/3 or z?
z
Suppose -7*u = -2*u - 15. Let h be 15/(-5)*4/u. Let a = 8 + h. Is a at least as big as -2?
True
Let c be (-2)/12 + (-348)/(-72). Let t = -158 + 164. Which is smaller: c or t?
c
Let o(f) = -f**2 + 7*f - 5. Let y be o(-5). Let r = y + -5. Let a be 42/r - (-79)/15. Is a < 0.1?
False
Let h(w) = w**3 + 5*w**2 - 4*w - 7. Let k be h(-6). Let f be (-20)/40 + (-1 - 66/4). Is k equal to f?
False
Let r be 1/(-3)*3*33. Which is smaller: -27 or r?
r
Suppose 28 = q + 2. Let a be (-1)/2*q/1. Is -14 less than a?
True
Let p(r) = -r + 2. Let t be p(-6). Suppose 0 = -0*g - 4*g + 8. Suppose j = -5*c + c + t, -g*j + 8 = 0. Are 1 and c nonequal?
False
Let k = -98.846 + 99. Let b = k + -0.054. Which is smaller: -33 or b?
-33
Let b = -13 + 14. Let f be (-2)/(-11) + (-6)/33. Let w be f + (2/b - 4). Which is greater: -4/7 or w?
-4/7
Suppose -5*m - 25 = 0, 2*m + 3 = q - 15. Let i = 55.3 - 55. Which is smaller: q or i?
i
Suppose 5*o - u = 8*o - 7, o = -3*u + 13. Are 3/449 and o unequal?
True
Suppose 5 = 2*t - 1, -20 = 5*z - 5*t. Which is smaller: z or 6/61?
z
Let w(m) = -3*m**2 + 4*m + 7. Let j be w(6). Let z be 1/(-2) - j/22. Suppose 0*t - t - z = 0. Which is smaller: t or -7/2?
-7/2
Let c = 3 + 10. Let g be 0 + -1 - (-66)/(-3). Let z = c + g. Which is greater: z or -9?
-9
Suppose 2 + 10 = 2*l. Let o be 10/l + 8/(-12). Which is greater: 2 or o?
2
Suppose 4*p = 0, b + 3*p - p = 2. Suppose 4*d = -b*v + 18, -3*v - 2*d + 10 = -v. Is -1/16 > v?
False
Let h = 0.08 - 0.04. Let r(b) = b**3 + 4*b**2 + 2*b + 6. Let f be r(-4). Let w be (-1 - f)*(-1)/(-1). Is h bigger than w?
False
Let p = -30649/30 - -1021. Let k be ((-2)/(-12))/(5/4). Let o = k + p. Which is smaller: o or -2?
-2
Let y be (-6 - (-78)/12) + (-90)/4. Let s be (-4)/(-18) - y*32/(-2844). Is 1 at least as big as s?
True
Suppose -31*s + 30*s - 12 = 0. Let r be (-1 + 3)*1*(-6)/s. Which is smaller: 4/37 or r?
4/37
Let p(l) = -1 - 19 + 3*l + 2. Let a be p(9). Let c be 4*(a/10 - 1). Are -3/2 and c equal?
False
Let b = 18397/8 - 72833739/31672. Which is smaller: 1 or b?
b
Let a be (-31692)/(-1330)*30/(-9). Which is bigger: a or -79?
-79
Let j = 20 - 18. Suppose -d = -v + 20 + j, -2*v = 3*d - 34. Which is smaller: v or 19?
19
Let g = -180 + 184. Let u = 4 + -10. Is u != g?
True
Let h(f) = f**3 + 16*f**2 + 29*f + 29. Let p = 7 - 21. Let a be h(p). Is a bigger than 72/5?
True
Let f be -2 + 24/456*40/1. Let w = 2 + -3. Is f >= w?
True
Let v be (-22)/33*(-3)/2. Suppose -2 = r - 2*r. Suppose u + v - r = 0. Is u less than 4/11?
False
Let r(l) = -l**3 - 5*l**2 - 4*l + 2. Let o be r(-4). Let j be (4 + -3)*o*-1. Is j != -3/4?
True
Suppose 2*a + 5 = 43. Suppose 6*b - a - 17 = 0. Let c(l) = l**3 - 4*l**2 - 6*l - 11. Let o be c(b). Is 25 equal to o?
True
Let u = -0.01 - 0.09. Let v be ((-24)/14)/(-2)*112. Let f be 4 + -1 + (-272)/v. Which is smaller: u or f?
u
Suppose 15*h - 8*h - 21 = 0. Let p = 0.4 + -0.6. Is h <= p?
False
Let l(t) = -t**3 - 36*t**2 - 274*t + 47. Let z be l(-21). Which is smaller: z or -813?
z
Let s = 0.39 + -0.475. Let h = -0.215 + s. Are 9 and h equal?
False
Let g = 6 + -14. Let h = 18 + g. Let s be ((-28)/(-8))/(h/4). Is 2/5 greater than s?
False
Let u(v) = -12*v - 6. Let a be u(3). Let x be (a + 0)/3 + 0. Let f be (x - (-3 - -2)) + 3. Which is greater: -12 or f?
f
Let d = 706 - 705. Which is smaller: d or 2/3321?
2/3321
Let y(r) = -r**2 - 8*r - 14. Let o = 23 + -27. Let l be y(o). Suppose -5*u = -q + 5*q - 25, l*u - 3*q - 10 = 0. Which is greater: u or 4?
u
Let j be (-2)/(-5) - (-564)/(-60). Let w be (-1)/(-5) - (-51)/(-5). Which is greater: w or j?
j
Let q(y) = 16*y - 127. Let x be q(8). Is 2/2073 smaller than x?
True
Let l be 8593/(-5726) - (-165)/110. Is -1 < l?
True
Let w = -0.1124 + 1.1124. Is w >= 0.143?
True
Let n be 4/12*-1 - 69/(-153). Which is greater: -2/15 or n?
n
Let i = -406/9 - -134/3. Suppose -2*z + 4*v + v = 5, v = 4*z - 17. Suppose 17*g - z = 12*g. Is i < g?
True
Let n(h) = -h**2 - 4*h. Let w be n(-4). Let i = -14 - -20. Suppose i*t - 1 = -13. Which is smaller: w or t?
t
Suppose 6*h - 9 + 111 = 0. Is 7 less than h?
False
Suppose u - 5*w = -22, -2*u - 2*w - 2 = 3*u. Let q be (1 - (-15)/(-6))*u. Suppose -2*r = q*r. Is -2/29 != r?
True
Let a be (0 - (-1 - 1)) + 0 + 1. Let o = -470 - -1379/4. Let r = o - -128. Which is greater: r or a?
a
Let t = -106 + 107. Let q be (-2)/((-4)/26*-1). Is t less than q?
False
Let c(i) = -34*i. Let v be c(1). Let s be 684/v - (-12)/102. Is s < -18?
True
Let h = 42402 + -382556/9. Is h bigger than -103?
False
Let h(p) = -2*p + 30. Let t be h(12). Is -5 >= t?
False
Let s(d) = -d**2 - 20*d - 190. Let l be s(-14). Does l = -419/4?
False
Let b be 96392/(-25506) + 4 - 4/18. Is b at least as big as 0?
False
Let l = 464.677 - 1.677. Are l and -0.1 equal?
False
Suppose -4*q - 170 = 122. Suppose 2*n = -47*n - 3528. Is n greater than q?
True
Let c(r) = -r**2 + 6*r + 5. Let t be c(8). Suppose 15*s + 114 = -36. Which is bigger: t or s?
s
Suppose 0 = 2*g - 927 - 1849. Suppose 3*m + 2323 = 5*k, 2*k - g = -k - 4*m. Let b be 148/k - (-2)/(-8). Which is smaller: b or 1?
b
Let c(k) be the third derivative of -k**4/24 + k**3/6 + 11*k**2. Let r be c(1). Suppose -4*a + 7*a = -6. Which is bigger: a or r?
r
Let p be (-1)/(-2)*(16 - 2). Let z(g) = -3*g + 21. Let n be z(p). Which is bigger: n or 1/13?
1/13
Let h(l) = -l**3 - 6*l**2 - 4*l + 7. Let t be h(-5). Let k = 1021 + -1027. Is k bigger than t?
False
Let r(p) = -3*p. Let t be r(0). Let k be (t + -1)*(10 + -21). Suppose -5*a - 5*s + 60 = 0, 6*a - 4*a - s - 15 = 0. Which is smaller: k or a?
a
Let c = -1 + 5. Suppose o - 4*o = -c*k - 53, 0 = -2*o + k + 42. Let j = o + -47/2. Which is smaller: j or 1?
j
Suppose 41*w - 35*w = -36. Which is greater: w or 2/7?
2/7
Suppose -3*l + 77 = -2*l. Suppose -5*z + 0*r + r = 255, 0 = -z - 5*r - l. Is z not equal to -52?
False
Let z(h) = h**3 + 29*h**2 - 31*h + 19. Let b be z(-30). Which is smaller: 47 or b?
47
Let t = -7.1 + 10.1. Is -9/7 at least t?
False
Let p be (-35)/105 - (-73)/1. Is p != 74?
True
Let c(w) = -w**2 + 12*w + 10. Let d be (39 + -5)/(0 + 2). Let h = d + -4. Let q be c(h). Are -3 and q unequal?
False
Let s = 74/51 + -36/17. Is s >= -107?
True
Let a be 2/(-7) + 3/63*6. Let n be (-6)/(-75) - 1*4/20. Which is smaller: n or a?
n
Suppose -u = -3*j - 40, 5*u - u - 4 = 0. Is -4 <= j?
False
Let b(i) = 9*i + 54. Let l be b(-6). Is 0.029 >= l?
True
Let l = 348.82 + -349. Which is greater: -1/4 or l?
l
Let t = -85971/29 - -2965. Which is smaller: t or 1?
t
Suppose 28 = 4*l + 12. Suppose -2*j - j = -z + 5, -l*j - 12 = -4*z. Let o = -943/5729 + -4/337. Which is smaller: j or o?
j
Let j = 24 - 12. Let p be 2/j + (-2)/(-12). Suppose -b = -6*b. Which is smaller: p or b?
b
Suppose -2468 + 2489 = -7*v. Let o(q) = -q**2 - 5*q - 6. Let x be o(-4). Is v less than x?
True
Let o(g) = -g**3 + 4*g**2 + 21*g - 92. L