= r?
True
Let w = 26453/11 + -2395. Which is bigger: w or 9?
w
Let i = -281 + 291. Does i = 14?
False
Let i be 190/18 - (-4 + 5). Let j = 1444/153 - i. Let a(b) = b**2 + b - 2. Let m be a(-2). Which is smaller: m or j?
j
Let b = 83 + -6. Let a = 80 - b. Is -3 equal to a?
False
Let f(g) = g**3 - 7*g**2 - 8*g - 2. Let v be f(8). Let k be (-4)/112 - v/7. Let a be -3 + 45/10 + 0. Is a greater than or equal to k?
True
Suppose 147 = -3*r - m + 39, m = 0. Let q be (r/(-45))/((-6)/10). Suppose -2*k + 5*k = -2*s + 4, 2*k = 4. Which is smaller: q or s?
q
Suppose 0 = -4*i + 5*h + 450, -2*h + 100 + 6 = i. Which is smaller: i or 111?
i
Let c = 95 - 97. Let p be c + ((-192)/(-40))/((-51)/(-20)). Are -1 and p equal?
False
Let j = 631.94 - 632. Is j greater than -2.2?
True
Let a(b) = 2*b**3 + 3*b**2 - 2*b + 1. Let l be a(1). Is l > 11/4?
True
Let h(j) = -3*j**2 + j + 9. Let g be h(6). Let k = g + 97. Which is smaller: k or 5?
k
Let y = 2.72 - 3. Let h = y - -0.28. Which is smaller: 2/9 or h?
h
Let v(q) = -3*q**2 + 19*q - 21. Let n be v(9). Suppose 36*d = 33*d - 282. Which is smaller: n or d?
d
Suppose -6*v = -34 - 8. Is 15 at most v?
False
Let f(b) = 3*b + 77. Let n be f(-24). Which is smaller: 36/7 or n?
n
Let f = 206 + -210. Which is bigger: 13 or f?
13
Let s(a) = 62*a**2 + 42*a + 7. Let l be s(-4). Is 830 less than l?
True
Suppose 1 + 24 = -v. Which is smaller: v or -26?
-26
Let d(a) = -a**3 - 5*a**2 + 4*a + 6. Let n be d(-5). Let t be (-95)/(-140) - 8/n. Are t and 2 equal?
False
Let l = 1 + -2. Let b be ((-1)/5)/(2352/280). Which is smaller: l or b?
l
Let o(x) = -16 - 24*x + 4*x + 10*x + 13*x. Let k be o(4). Suppose 0 = -5*l - 15 - 5. Is l <= k?
True
Suppose 24 = -7*l + 4*l. Let v(h) = 3*h - 30. Let n be v(12). Let j(d) = d**2 - 8*d + 5. Let y be j(n). Which is greater: l or y?
y
Let o(i) = i - 4. Let u be o(3). Let s be u*((-15)/9)/(-5). Suppose 0 = 7*c - 2*c. Which is greater: c or s?
c
Let a = 259 - 534. Let j = a + 149. Let r be (-12)/(-54) - (-136)/j. Which is smaller: 0 or r?
r
Let b = 2 + -2. Let o = -2 + b. Suppose -6*s + 6 = 12. Which is smaller: o or s?
o
Let y be 4 + -1 - 270/108 - 1. Which is bigger: y or -0.2?
-0.2
Let c = 25.91 + -26. Let b = 0.31 - c. Let o = b + -0.5. Is 0.16 >= o?
True
Let d be ((-1883)/(-266) + -7)*12/477. Which is bigger: d or -1?
d
Let s = -15 + 13. Let u be 5*(-12)/(-10) + s. Suppose -3*x - u = -x. Is -2 != x?
False
Suppose 0*g = 4*g - 5*v - 36, 8 = 5*g + 3*v. Suppose -g*r = -w + 5, 2*r + 3*r = 4*w - 20. Suppose -1 + 6 = w*b. Is 2/15 less than b?
True
Let d = -73 - -72.88. Is -0.6 not equal to d?
True
Let t be (-20)/(-2) + -4 + 5. Suppose -2*k + 3*p - 2*p + t = 0, -3*k + 9 = -3*p. Let r = -8 + k. Is r greater than -1/13?
True
Let v be (-19)/2 + (-1)/6*-3. Let f(y) = -y**3 - 8*y**2 + 11*y + 20. Let a be f(v). Are 1 and a nonequal?
True
Let l = 14201/7 + -2029. Do 6/149 and l have the same value?
False
Suppose 2*r + 8 = 0, 18 = -4*q - 2*r + 2. Let h be 3 - (0/3 + 2). Let i be (h + q)*(0 + 3). Is i bigger than -3?
False
Let r = -0.03 - 5.97. Which is smaller: r or -0.039?
r
Suppose 2*y + 0*p + 5*p + 148 = 0, 5*y + 416 = -p. Let i be (-20)/(-35) - (-34)/y. Let d = -1 - 0. Is d at least as big as i?
False
Let q = -21 - -34. Let x = 55/14 + 67/7. Is x less than q?
False
Let s = -424 + 424. Is -2/549 != s?
True
Let n(p) = -5*p**2 - 6*p - 20. Let v be n(-6). Is -164 <= v?
True
Suppose -2*k + 6 = -4*k, -6*u - 2*k = 354. Which is greater: -64 or u?
u
Let t be ((-21898)/24)/(-1*(-189)/4). Let s = t + 135/7. Is -1 > s?
False
Suppose 0 = -m - g - 846, 3*g - g = -5*m - 4215. Is -841 equal to m?
True
Let w = -38 - -38. Is w at most as big as 2/875?
True
Let p = 2835 - 8492/3. Let k be ((-12)/9)/((-2)/6). Suppose i - 18 = -4*c, 4*c = c + 4*i + k. Is c equal to p?
False
Let l be (2250/(-60))/((-3)/(-4)). Let i = -60 - l. Which is smaller: -12 or i?
-12
Let p be 5/((-140)/6)*42/(-32). Which is smaller: -1 or p?
-1
Let n be (24/16)/((-2)/(-12)). Suppose -n*f - 202 = -13. Is -21 != f?
False
Suppose d - r + 6 = -0*r, -d = r - 4. Let y be 0*1*d/1*1. Do y and -8 have the same value?
False
Suppose 0 = -4*m + 2 - 6. Let c be -3*(m + 1 + -1). Let r = c - 0. Is 13/3 smaller than r?
False
Let x = 0.1 + 2.4. Let c = x + -2.4. Which is smaller: 16 or c?
c
Let u be (1 + 2 - (-7)/(-2))*-2. Let o be (-32)/(-112) - 4/(-14). Is u >= o?
True
Let q be 6/18 + 59/3. Suppose 0 = -4*i - 0*i + q. Suppose -5*p - 4*j = -34, 0 = -3*p - 5*j - 0*j + 23. Is p equal to i?
False
Let v be 3910/(-6) - (46/8 - 6). Let y = v + 651. Which is greater: -1 or y?
y
Let z be -4*((-150)/(-32) + -5). Let p = -1 + 3. Let m be (3/(-6))/((-1)/p). Is z < m?
False
Let p = 2/7 + -11/14. Which is smaller: 94 or p?
p
Suppose -2*a + 9 = a. Let x(j) = j - 5. Let u be x(a). Is u <= -8/9?
True
Suppose 11*o = 806 + 206. Is 93 > o?
True
Let g(q) = -5*q + 2. Let b be g(-2). Let x(w) = -2*w - 36. Let s be x(-23). Let m = b - s. Is 1 smaller than m?
True
Let c = 0.3 + -0.3. Let w = 1.1 + -1. Let z = w - c. Are z and 0.2 nonequal?
True
Suppose 0 = 71*x - 77*x - 3840. Is x at least as big as -642?
True
Let n = 0.035 + -2.135. Let i = 2 + n. Let u = 73/4 + -35/2. Is u != i?
True
Let q(l) = -l**3 - 5*l**2 + 3*l - 16. Let v be q(-6). Suppose v*r - 2*r = 5*r. Which is bigger: -6 or r?
r
Let q = -1211.4 - -1326. Let k = q - 131. Let a = -0.4 - k. Which is smaller: -1 or a?
-1
Let q be (-4)/(-16)*16 + 24/(-14). Let f = -66/35 + q. Let r = 5.88 + 0.12. Which is greater: r or f?
r
Let n(u) = -61*u**2 - 3*u + 2. Let p be n(3). Let w = 4461/8 + p. Which is bigger: w or 1?
w
Let i(x) be the first derivative of -x**4/4 + x**3/3 - x**2 + x - 21. Let u be i(1). Let h = -6043/7 - -861. Which is bigger: h or u?
u
Let c = 0 - 1. Let b = -3800 + 3779. Is b less than c?
True
Let s = -187 - -578. Is 0 at most s?
True
Let u = -37494563623309441/12185006348665930 + 1/86015250130. Let v = 2/10897 + u. Is v > -2?
False
Let s be 2/4*(-2)/21. Let f(t) = -t**2 - 8*t - 10. Let c be f(-5). Suppose 0*u = -c*k + 5*u - 5, -3*u = -3. Is k at most as big as s?
False
Let p = 1.4 - 3.8. Let h = -0.2 + p. Let x = h - -1.6. Is x bigger than -1?
False
Let v = 482 + -482.05. Let j = -41 + 39.95. Let g = v - j. Which is greater: -0.9 or g?
g
Suppose 10*g = 8*g + 4. Suppose -7 = -x - 2*x + r, 0 = 5*x + 5*r - 5. Is x >= g?
True
Let t = 21 - 22. Let n = -353.99 + 354. Is n less than or equal to t?
False
Let l = -167.5 - -19.5. Which is bigger: 1/4 or l?
1/4
Suppose -2*c + 2 = 3*p, 0*p + 2*p = 3*c + 10. Suppose -r + p + 1 = 0. Is 7/2 greater than r?
True
Suppose -6*y = -3*y + 8*y. Let a(q) = q**2 - 2*q + 1. Let s be a(1). Let f = y + s. Which is smaller: 0.5 or f?
f
Let t be 1 + 0 + -3 + 7. Suppose 0 = -t*q + 3*s + 60, 2*q = -2*q + 2*s + 48. Let x be 32/84*(-3)/q. Which is bigger: x or 0?
0
Suppose 2*y - 4*q = -484, 899 = -4*y + q - 41. Let r be 1 - 9/7 - y/(-14). Is r less than -17?
False
Let y = 0.03 - 0.01. Let q = y + -0.04. Let i be ((-3)/(-27))/((-2)/(-9)). Is i equal to q?
False
Suppose -4*r - 3*w = -r - 39, -4*r - 5*w + 51 = 0. Let h = -40/3 + r. Which is smaller: h or -1?
-1
Let o be 30/(-10) - -4*2. Suppose 0*x - 3*w - 82 = o*x, 0 = -x + 2*w - 19. Let r be x/(-26) + 12/(-78). Is 1 <= r?
False
Suppose 28 = -2*y - u, -5*y - 4*u + 0*u - 76 = 0. Let r be (-16)/y + 33/9. Suppose r*j - 48 - 7 = 0. Does 2/5 = j?
False
Let h = -3.61 + 1.31. Let w = 92/3 + -278/9. Is h at least w?
False
Let l be (-9)/(-6)*(-4)/(-22). Let j = -9 + 11. Suppose -j*g + 0*g = 0. Do g and l have different values?
True
Let r be (2*4/16)/(2 - 4). Are -0.1 and r equal?
False
Let j = -608 - -138019/227. Which is smaller: j or 0.1?
j
Let j be 2/(0 + (-6)/(-21)). Suppose -3*s + 328 = -4*v, -2*v - v - 246 = 4*s. Let f = 91 + v. Does f = j?
False
Let o = -98 + 182. Are 83 and o equal?
False
Let j(g) = -2*g**2 - 3*g + 2. Let d(k) = -3*k + 22. Let s be d(8). Let c be j(s). Is c not equal to 2?
True
Let w = 35.745 + -4.715. Let z = 31 - w. Let r = z + 0.13. Which is smaller: r or -4/11?
-4/11
Suppose -x - 7*d + 49 = -3*d, x - 5*d = 94. Which is smaller: x or 2/3?
2/3
Let o be (1/(-5))/(125/3750). Suppose 3*k - 2*k = 2*x - 4, -3*x - 15 = 2*k. Are k and o equal?
True
Suppose -3*n - 5*b = -91, -4*n + 2*b - 18 = -174. Suppose l + 15 = 6*l, -l - n = -5*q. Let s = 81 - 81. I