hich is smaller: 0.2 or m?
m
Let l = 3828/35 - 765/7. Which is smaller: l or -7?
-7
Let p be (-2)/(-3)*(-2)/6. Suppose -t = -5*t. Suppose t = -3*d + 8*d - 5. Which is smaller: d or p?
p
Let w(s) = 2*s**2 - 14*s + 15. Suppose j + 3*n = -5, 4*n = 4*j + n - 40. Let k be w(j). Is k less than 15?
False
Let l = -0.03 + -0.87. Let w = -38 - -35. Let f be (-13 - -3)/(-5) + w. Which is smaller: f or l?
f
Let j = 332 - 340. Which is smaller: j or -5?
j
Let d = -72 - -75. Suppose 0 = -d*n - 12, -5*g + 0*n + 3*n = 148. Which is bigger: -33 or g?
g
Let c = 126.889 + -12.469. Let q = c + -114. Which is smaller: 1 or q?
q
Let b = 1 + -1. Let z = 8.5 - 45.5. Let g = z + 41. Which is greater: g or b?
g
Let g(c) = -2*c - 52. Suppose 176 = -8*l - 32. Let j be g(l). Is -2/61 >= j?
False
Let v(q) = 4*q + 1. Let r be v(-5). Let i = -13.446 - -13.346. Is r greater than i?
False
Let l = -62 - -66. Let h(p) = p + 9. Let m be h(-6). Is m > l?
False
Let f be ((-9)/27)/((-88)/20016). Is f at most as big as 77?
True
Suppose -6*b + 2*b = f + 50, 2*f + 67 = 3*b. Let i = f - -37. Does i = -1/7?
False
Let s be (-30)/(-195) + (-63)/(-13). Suppose 5*q + 4*y - 22 = -58, -2*y = s*q + 28. Is -4 bigger than q?
False
Let j = -233/78 - 63/13. Let d = j - -247/30. Is d greater than 3?
False
Let l(f) = -f**2 - 2*f + 3. Let j be l(1). Suppose 3*o - 5*o + 5*o = j. Is 2/49 >= o?
True
Let a = -137 - -172. Suppose 0 = -0*i - 5*i - a. Is i >= -7?
True
Let l = 21 + -15. Let t(b) = b**2 - b - 1. Let m(h) = 3*h**2 + 4*h - 3. Let s(q) = m(q) - 2*t(q). Let k be s(-7). Is l greater than k?
False
Let g(s) = -14279*s + 1. Let j be g(-7). Let z = 19490893/195 - j. Let m = z + 10/13. Which is greater: m or 0.1?
0.1
Suppose -2*s - 12 = 3*r, -3*r = r - 4*s - 4. Let m = r + -22. Does -25 = m?
False
Suppose 0*s = -4*q - s + 89, -37 = -2*q + s. Let l be 2/2*7/q. Which is greater: -0.5 or l?
l
Let n be (-2)/(2 - (5 + 5)). Which is smaller: n or 0.3?
n
Let s be 2/10 + (-12)/60. Let f be 42/(-13) + (1 - -2). Is s less than or equal to f?
False
Let p = 809/18 + -45. Suppose -z - 8 = 4*r, 2*z + 65*r - 12 = 71*r. Are p and z non-equal?
True
Let n(l) = 9*l - 7. Suppose 5*f = -5*r + 15, -3*f + 11 = f + 3*r. Let o be n(f). Suppose 2*g + 8 = -0, x + 5*g + 9 = 0. Is x less than or equal to o?
True
Let q = -0.4 + -1.6. Let d = 1145 + -8016/7. Is d < q?
False
Let n be (-6)/(-8) - 2/(-8). Let l be 5/225 + 0 + n/5. Is 9 > l?
True
Let h be 1/(-2) + -3 + 2. Let p = 36 + -29. Is h at least as big as p?
False
Suppose 2*m + 2*u - 4 = 0, 4*m - 20*u + 25*u - 7 = 0. Which is smaller: 37/12 or m?
m
Let c(m) = -m + 24. Let l be c(14). Let a = l + 6. Is a > 16?
False
Let z = -4.6 - -5.5. Let v = 12 + -58/5. Is z less than or equal to v?
False
Let w = 70 - 60. Suppose -3*t - w = -127. Which is bigger: t or 40?
40
Suppose -n - 24 = 5*u, -4*u - 28 = 7*n - 4*n. Is -14 greater than or equal to u?
False
Let t = -2406 - -74572/31. Which is greater: -1 or t?
t
Let w = -837 - -846.14. Let k = w + -9. Let j = k - 0.14. Which is smaller: j or 1/17?
j
Let p = 792 - 794. Which is greater: p or -0.0798?
-0.0798
Let n = -8305/5166 - -29/18. Which is smaller: n or -1?
-1
Let k(r) = -r + 4. Let t(c) = c + 11. Let x be t(-6). Let m be k(x). Let l = 108 + -970/9. Which is greater: l or m?
l
Let f = 13.5 - 13.6. Let b = -26 - -96. Let c be 20/(-8)*(-12)/b. Which is smaller: c or f?
f
Let v be ((-816)/955)/(91/35). Let l = v + 4/191. Are 1 and l unequal?
True
Let u = 174 + -174.1. Which is greater: u or 0.04?
0.04
Let z(p) = -p**3 + 6*p**2 + 27. Let r be z(7). Is -22 at most as big as r?
True
Let x(n) = n**3 - 2*n**2 - n - 3. Let w be x(3). Let u be 5 - (4 + -8 - (0 - w)). Is u < 4?
False
Suppose 6*h - 8*h + 2*q - 54 = 0, -2*h - 4*q - 54 = 0. Is -50 != h?
True
Suppose -3*m + 9*m - 3270 = 0. Is m equal to 544?
False
Let y(m) = m**2 + 5*m + 6. Let w be y(-5). Let g(r) = -r**3 - 9*r**2 + 8. Let b be g(-9). Let k = b - w. Which is bigger: k or -1?
k
Let i = 0 - -1. Let k = -1 + i. Suppose 22 + 14 = -18*t. Is t bigger than k?
False
Suppose 2*j - 6 = 6. Let b be (-5)/(30/(-4)) - 16/(-3). Let c be 34/b - (-2)/(-3). Do j and c have different values?
True
Suppose -4*s - 4*n + 176 = 0, 2*s + n - 71 = 15. Let a be (-20)/(-30) - (-12338)/s. Let m = a - 295. Which is bigger: -2 or m?
m
Let r(d) = -d**3 - 4*d**2 + 7*d - 5. Let a be r(-6). Let l = -31 + a. Is l greater than or equal to -6?
True
Let y(f) = 2 + 2*f**3 + 2 + 3*f**3 - 3*f - 4*f**3. Let m be y(-3). Let i = 21 + m. Which is smaller: i or 6?
6
Let l = -21 - -4. Which is smaller: 0.3 or l?
l
Let g = 3/2 - 15/8. Which is smaller: 0 or g?
g
Let x be 3 + -3 + 3*(-3)/4401. Is 1 less than x?
False
Let q(t) = -t. Suppose x + 3 - 1 = 0. Let a be q(x). Suppose -a*c + c - 5 = 0, 0 = 2*i - 3*c - 13. Which is greater: i or -1/8?
-1/8
Let v = 9 - 13. Let f = 16 - 19. Let b be v/(-45) + f/15. Which is greater: 0 or b?
0
Let k be -6*(-4)/66*1. Let y(r) = 4*r**2 + 26*r - 47. Let t be y(-8). Which is smaller: t or k?
k
Let f = 8 + 3. Suppose -5*s + 46 = -3*m, -4*m - 2*s - 107 + f = 0. Which is greater: -43/2 or m?
-43/2
Let s = 71 + -110. Let h = -138 - -98. Is s not equal to h?
True
Let m(g) be the third derivative of -g**6/120 - g**5/10 + g**4/24 - g**3 - 10*g**2. Let u be m(-6). Are u and -13 equal?
False
Suppose -26*z = -27*z - 159. Let n be (4/(-6)*1)/(2/z). Which is bigger: -1 or n?
n
Let w be (25/80*4)/((-1)/8). Let r(q) = -q**3 - 12*q**2 - 22*q - 15. Let k be r(w). Which is smaller: k or 4?
4
Suppose 0 = 7*n - 2*n - 15. Let x(w) = -w + 3. Let p be x(n). Suppose 2*s = -p*v + 3*v - 2, -3*v + 5 = -5*s. Is v equal to 1/10?
False
Let f be (-50)/(-3) - 4/6. Let h = -4 + f. Let a be 9/h*2 + -2. Which is greater: a or 1?
1
Let v be (-2)/6 - (1 + -2). Let w(q) = q**3 - 14*q**2 + 13*q + 4. Let r be w(13). Suppose -r*m - 13 = -1. Which is smaller: v or m?
m
Suppose -2*w + 4*w = -8. Suppose -13*d + 8*d + 20 = 0. Suppose d*i + 6 = i. Is w > i?
False
Suppose 4*z + 1756 = 3*l, 3*l = -10*z + 8*z + 1786. Is 594 less than l?
False
Let r = 1 + -1. Let t = r - -1. Let k be (-13)/(-7) + (-5 + 14)/63. Is k less than or equal to t?
False
Let h = -0.7 - -0.8. Let a = -7.1 + h. Are 2 and a equal?
False
Let r = 93 + -105. Let i be (-3)/(-2)*r/(6/(-3)). Is i != 9?
False
Let f be 1791/54 - 1/6. Let l = f + -193. Let c be (-4)/(-6)*(-150)/l. Is -1 greater than c?
False
Suppose 2*b + 5 - 15 = -o, -2*o + 2*b - 10 = 0. Let y be (2/(-7))/((-6)/(-14)). Is y greater than o?
False
Let s = 0.3 - -2.9. Let m = 3.2 - s. Let r be (4/(-75))/(4/(-6)). Are r and m nonequal?
True
Let b(s) = s**3 + 9*s**2 + 8*s + 5. Let m be b(-8). Suppose 20 = -m*x + 10*x. Suppose x*l - l = -3*r + 15, 0 = -5*l - r + 5. Which is smaller: -2 or l?
-2
Let c = -129.9 - -130. Which is greater: c or 17/2?
17/2
Let z be (-1)/((-39)/12 - -3). Suppose z = -2*d + 16. Which is bigger: -8 or d?
d
Let o = -5 + 3. Let m = 3.6 + 0.4. Let v = m + o. Is -0.01 at least v?
False
Let o be 181929/(-14025) + 14 + -1. Which is bigger: 0 or o?
o
Let d = -4 - 1. Let x(i) = -31*i + 865. Let s be x(28). Which is smaller: d or s?
d
Let y be 2/7 - (-76)/28. Suppose -2*p = 5*g + 1, 0 = 2*p + 3*g - 4 + 7. Is p equal to y?
False
Let j = 147159/4 + -13985677/380. Let f = j + -1/285. Does f = 1?
False
Suppose -j + 5*a + 6 + 29 = 0, 0 = -j + 2*a + 20. Let g be (14 + -11)/(j*1). Which is greater: g or 0?
g
Let h = -7 - -10. Suppose 4 - 1 = -h*x. Which is bigger: x or 2/19?
2/19
Let d(i) = 2*i - 30. Let w(t) = -t + 15. Let h(b) = 4*d(b) + 9*w(b). Let y be h(11). Let n be (y/3)/((-8)/(-24)). Which is bigger: -2 or n?
n
Let u = 1.9 + -1.8704. Is u at most 0.1?
True
Suppose 0 = -5*x - 6*u + u + 75, 69 = 5*x - u. Suppose -y - 3 + 18 = 0. Are y and x non-equal?
True
Let g = 0.16 - 0.23. Let o = 2 - -0.3. Let a = o - 2.1. Which is bigger: g or a?
a
Suppose 4*y + 0*y + 4*u + 12 = 0, -y = -4*u - 17. Suppose -3*h - 8 - y = 0. Which is bigger: h or -1?
-1
Let v = 109/133 - 2/19. Let m be -26 - -16 - (-18 - -7). Which is greater: v or m?
m
Let g = 4 - -8. Suppose 3 - 4 = 4*f - p, -g = -3*f + 5*p. Let h be 6 + 156/(-75) + -4. Which is smaller: f or h?
f
Let g = 119 + -535. Is g at least -416?
True
Let c(n) = 6*n**2 - 6*n + 85. Let y be c(-14). Is y < 1345?
False
Suppose -18 - 14 = -s. Suppose 5*t + 3*t = s. Is -2 bigge