r o?
o
Let w = 13.12 - 0.12. Let l = w - 4. Let i = -11 + l. Which is greater: i or -4?
i
Let m = 24 + -6. Suppose 0*b = 3*b + a + m, -34 = 5*b + 3*a. Is b at most -5?
True
Let m = -24 + 34. Suppose 3*v - 17 - m = 0. Which is smaller: v or 8?
8
Suppose -16*k = -14*k - 8. Suppose -v - k*v + 10 = 0. Which is smaller: -1 or v?
-1
Suppose 6*r + 5 = r. Which is bigger: 6 or r?
6
Let q = 306763/255 - 1203. Let b = -8898208 - -9076170877/1020. Let p = b - q. Which is smaller: p or -1?
p
Suppose 0 - 10 = -5*r. Let k = -57 + 155. Let x = k - 389/4. Is r at least x?
True
Let y(p) = p**3 + 18*p**2 - 21*p - 37. Let q be y(-19). Let t = -4 + 6. Suppose -a = t*a. Which is smaller: q or a?
a
Let t be (-9)/6 + (-14)/(-4). Suppose -t*s = 2*s. Is s greater than or equal to 1?
False
Suppose -f + 7 = -5*d, -d = -3*f + d - 5. Let s(m) = m**2 + 5*m - 8. Let l be s(-6). Is f < l?
True
Let c(x) = x**2 - 6*x + 3. Suppose p - 5*w = -36, -5*p - 2*w - 64 = 2*w. Let m be (1/2)/((-2)/p). Let g be c(m). Which is greater: g or -4?
-4
Suppose 3*x + 15 - 3 = 0. Is -3 greater than x?
True
Suppose 0 = 4*h + 8, -5*s - 3*h = -s + 22. Are s and -32/7 nonequal?
True
Let c = 0 + 3. Is c < 4?
True
Suppose -5*g - 84 = -p + 2*p, 0 = 5*p - 5. Is g less than or equal to -17?
True
Let h = 23 - 17. Is -1/4 at least as big as h?
False
Let a = 3 + -5. Let g = 0.4 + -0.5. Which is bigger: g or a?
g
Let a be ((-32)/56)/(2/(-7)). Suppose 14 = -a*v + 4*v. Which is greater: 5 or v?
v
Let h = 0 + 8. Let n = -8 + h. Which is smaller: n or 2?
n
Suppose -2*n = -v + 10, 3*v - 21 = 2*n - 5*n. Is v bigger than 27/4?
True
Let f(q) = 5 - 1 - 2*q + q. Let m be f(4). Is 1 < m?
False
Let z(n) = n + 13. Let r be z(-10). Suppose -r*m = -2 + 128. Let p be (-46)/m - 1/1. Which is greater: p or -1?
p
Let t = 1.8 + -2.1. Which is greater: 0.2 or t?
0.2
Let a be 25/(-90) - 3/(-6). Is a > 1?
False
Suppose 0 = 6*m - 110 + 2. Let k be ((-2)/(-4))/(m/(-60)). Which is greater: k or -1?
-1
Let a(o) = o**2 - 7*o - 11. Let r(h) = -h**2 + 8*h - 4. Let p be r(6). Let b be a(p). Is b >= -3?
True
Let n = 1 + -5. Let a be 2/n - (-2)/(-4). Are -2 and a non-equal?
True
Let q be (-215)/(-450) + (-4)/(-18). Let o = -751/30 + q. Let r = 359/15 + o. Do r and -0.4 have the same value?
True
Let a = -7 - -6. Let z = -2 + a. Let f be (2 + -1)*(-2 - z). Is f at least as big as 1?
True
Suppose 0 = 5*p + 20, 2*p = -0*a + a - 9. Which is bigger: -2 or a?
a
Let n = -30 - -34. Which is smaller: n or 17/5?
17/5
Let c = 98 - 96. Is c bigger than -0.35?
True
Let v be (-2)/(-7)*(-56)/24. Which is greater: -2 or v?
v
Let r = 3/22 - -4/11. Does r = 2?
False
Let r(w) = w**2 - 7*w + 10. Let f be r(-7). Let n = 8 - 14. Let p be (-1 + -3)*n/f. Which is smaller: -2/5 or p?
-2/5
Let y = -3241/30 + 108. Is y > 1?
False
Let h = -9 - -11. Is h > 2?
False
Let k be ((-25)/(-125))/((-122)/4). Which is smaller: 0 or k?
k
Let w = 3 - 0. Let r be w/6 + 2/(-12). Let m be (-81)/63 + (-4)/(-14). Which is smaller: r or m?
m
Let d be (-291)/27 - (7/(-9) - -1). Which is smaller: d or -9?
d
Let w = 0 + 0. Let o = w + 0.01. Let d = 139 + -138. Which is greater: d or o?
d
Let v = -2 + 2. Is 0 less than v?
False
Let l be 580/930*6/(-8). Let z = 1/31 - l. Is z greater than 1?
False
Suppose -5*b + 103 = 23. Suppose 2*a = 4*d + b, -3*a + 2*d = -a - 8. Suppose 2 - 4 = -o. Is a < o?
True
Let p(r) = 3*r - 11. Let v be p(8). Let m = -14 + v. Which is bigger: m or 0?
0
Let f be 1*2*(-3)/(-24)*-1. Let n = -0.2 + 5.2. Is f less than n?
True
Let w be ((-4)/5)/((-2)/(-10)). Suppose i - 3*v - 22 = 0, 6*v - 2*v + 51 = 3*i. Suppose i = -2*n + 5. Do n and w have the same value?
True
Suppose -3 + 5 = -2*d. Let x = 127 - 128. Do x and d have the same value?
True
Let p be (3/9 - -1)*15. Let t = -5 + p. Which is bigger: 16 or t?
16
Let t = -349 + 10122/29. Let k = t + -31/58. Which is greater: 1 or k?
1
Let q = 18 - 11. Suppose 0 = -t + c + q, -3*t = 4*c - 2*c - 1. Let u be 2/(-2)*t/(-3). Is u less than 1/2?
False
Let u be (-2)/6 - (-96814)/174. Let r = 556 - u. Is r at least as big as -1?
True
Let n(w) = w**2 + 3*w. Let i = -1 + 0. Let p be 2*((-10)/4 - i). Let g be n(p). Is g > 0?
False
Suppose -7*x + 4*x = 15. Let m be (-4)/x*10/(-40). Are m and -1 nonequal?
True
Let t be 1/(1 - 4/5). Suppose -d + 5*d = 2*u + 18, 1 = -t*u - d. Let a = 3 - 5. Is a bigger than u?
False
Let m be 6/(-4)*(-20)/6. Suppose m*n + 16 = 41. Suppose 0 = -n*s + 4 + 16. Which is smaller: 5 or s?
s
Suppose 0*o = -o. Let n = 0 + o. Which is smaller: n or -4/9?
-4/9
Suppose 3*u = -14 + 23. Let v be 6/(-5)*15/(-6). Are u and v unequal?
False
Let h be (2 - 0)*(-9)/(-2). Let x be (-27)/(h/12*-2). Let u be x/(-12) - (-10)/8. Is u < -0.1?
True
Let b be ((-2)/6)/((-1)/6). Let c(q) be the third derivative of -q**6/120 + 7*q**5/60 + q**4/24 - q**3 + 2*q**2. Let a be c(7). Which is smaller: b or a?
a
Let n = -59/210 + 8/21. Is n != -1?
True
Let h be ((-22)/(-40))/((-2)/(-8)). Let u = -8/5 + h. Let s(g) = g**2 + 12*g + 11. Let p be s(-11). Is p > u?
False
Let m be (5/2)/((-1)/(-2)). Suppose -m*r = 20, -5*r - 2 = -5*g - 2*r. Let i be (-1 - g/(-4))*2. Is i < -2?
True
Let i be -2 - (-48)/20 - (-4)/(-10). Is i <= -4?
False
Let w(i) = -i**2 - 6*i + 10. Let q be w(-7). Let t be 2/q + (-150)/(-18). Let g = -4 + t. Is g less than 4?
False
Let i = -11.3 + 12. Let k = -5.7 + i. Let p = 3 + k. Which is smaller: -0.2 or p?
p
Let f = 0.06 + -0.39. Let z = 88.07 - 88. Let t = f - z. Is -1 less than t?
True
Let f be (2 - 1) + 18/(-22). Let g = 82 + -79. Which is smaller: f or g?
f
Let u = 127/253 - 6/11. Let j(d) = -d - 6. Let s be j(-6). Is s < u?
False
Let d be (-72)/(-4) + -1 + 0. Let v = d + -16. Which is bigger: 0 or v?
v
Let n(i) be the second derivative of i**3/6 - 7*i**2 + i. Let d be n(10). Is d greater than or equal to -2?
False
Let z = -19/28 + 3/7. Let g be 2 + -5 + 0 - -3. Let q be 4/12*(g - 0). Which is smaller: q or z?
z
Let j = -23/38 + 2/19. Which is greater: j or 0.03?
0.03
Suppose 0*l - 1 = -l. Let j = -73/35 + 9/5. Is j at least l?
False
Let r = -1.5 + 1.7. Which is smaller: r or -0.2?
-0.2
Let o = -1761/5 - -351. Which is greater: 1 or o?
1
Suppose -h + 360 = 4*h. Let z = h - 149/2. Which is smaller: z or -3?
-3
Let w = 0 + 0. Let m be 1 - (36/44 - w). Let q(d) = d + 7. Let r be q(-7). Which is bigger: m or r?
m
Let h = -18 - -30. Are h and 13 nonequal?
True
Let h(k) = -k + 8. Let t be h(-8). Let f be t/(-21)*9/(-12). Is 2 at most as big as f?
False
Let u(f) = f**3 - 15*f**2 + 15*f - 8. Let m be u(14). Is 4 < m?
True
Suppose -4*f + 3 + 13 = 0, 97 = -5*w - 2*f. Is -22 <= w?
True
Suppose 0*z - 5*z = 15. Is -6 > z?
False
Let c be 12/28 - 2/7. Suppose 4 = -2*t + 2. Which is greater: t or c?
c
Let k be 1 + 5/65*-11. Is 1 != k?
True
Let l = 6 - 3. Let s be 1*-3 - -2 - -5. Let c(h) = -h + 8. Let m be c(s). Which is smaller: m or l?
l
Let h = 12 - 16. Let r be 18/(-8) + h/(-2). Which is smaller: r or -0.1?
r
Let h be ((-6)/4)/((-5)/(-30)). Which is greater: -7 or h?
-7
Let i(k) = -4*k - 4. Let v be i(-3). Suppose 4*c - 2 = -2*o, -4*o - 1 - v = -5*c. Let p be 10/30*-6*2/(-16). Is o greater than p?
False
Let p = -551/130540 - 1/428. Is p bigger than -1?
True
Let w be (8/(-10))/(2/(-25)). Let l = w - 12. Which is smaller: 2/7 or l?
l
Suppose h + 3*v = -7, -4*h - 3*v - 3 + 2 = 0. Suppose -5*p - 3 = 4*s, 4*s + 13 = 3*p + 2*p. Let j = h + s. Is j < -1?
False
Suppose g - 22 = 3*a, -4*g - 14 = -5*a - 67. Suppose g = m - 4*v, 0*m + v + 3 = -m. Let j(u) = u**2 + 5*u + 3. Let l be j(-4). Does m = l?
True
Let l = -16 + 60. Let o be 2/(-8) + 15/l. Suppose -2*c + 2 + 1 = -5*t, 2*c = -2. Which is bigger: o or t?
o
Let g = 35 - 34.8. Is -29 at least g?
False
Suppose 2*g - 10 = q, -2*q = -3*q - g - 1. Let m = 31 - q. Let w be (-24)/m + (-10)/(-25). Do w and -2/9 have different values?
True
Let h = 108 + -108.1. Which is greater: h or 23/8?
23/8
Let x be 2*(1 - 6/4). Which is greater: -1/3 or x?
-1/3
Suppose 3*o = -2*o + 10. Let i(z) = z**3 - z**2 - z - 2. Let w be i(o). Which is greater: 4 or w?
4
Let t(r) = r**2 - 9*r - 8. Let f be t(10). Suppose 3*k - 4*u + 8*u = -12, -f*k - 15 = 5*u. Suppose 5*x = k, l + 1 = -x - 0. Is l < 0?
True
Suppose 6 = -y + 3. Let b be 1/(1/(-2 - y)). Which is greater: b or -2/11?
b
Suppose -2*i - 3 = 3. Let j = -4 - i. 