be (-1 + 3)*(-2)/1*y. Suppose -5*v - 3 = -b*v. Which is smaller: 2 or v?
v
Let g = 1241 - 140. Suppose 16*w = -g - 2115. Do w and -2 have different values?
True
Suppose 18*y + 4950 = 3*y. Let c = y - -342. Do -3/7 and c have the same value?
False
Suppose -3*r - 5*q = -4*q - 8, 9 = -r + 2*q. Let t = -295095/7 + 42231. Let y = -36032/483 + t. Which is smaller: y or r?
y
Let n be (-27 + (-1316)/(-14))/(-1 + 0/(-1)). Let k = -19 + -43. Do n and k have different values?
True
Let v(k) = 8*k**2 + 2*k**2 - 2*k - 4 - 5*k**2 + 7*k**2. Let r be v(3). Is 97 >= r?
False
Let u(d) = d**2 + 6*d - 6. Let o be u(-5). Let x(l) = -38 - 1329*l**2 + 1328*l**2 + 8*l + 4*l. Let w be x(9). Is w > o?
False
Let z(b) = b**3 + 16*b**2 + 11*b + 44. Let l = 190 + -206. Let y be z(l). Which is smaller: -133 or y?
-133
Let w be 2/(-27)*6*273/182*474. Is w less than -322?
False
Let z(x) = -x**3 + 8*x. Let h be z(0). Which is smaller: h or -70/79?
-70/79
Suppose -5*u = -l - 116, -u + l + 17 = -7. Let w = u + -9. Let n be 4 + -2 + (-50)/w. Is n != -1?
True
Let f = -0.148 + 1.158. Let k = f + -1.1. Let o = 0.3018 - 2.3018. Which is bigger: k or o?
k
Let a be 19*(-12 + (-11 - -20)). Which is smaller: a or 4?
a
Suppose 4*u - 4*l - 124 = 0, 2*l = 5*u - 2*l - 156. Let j be ((-42)/(-8))/((-262)/u - -8). Does -28 = j?
True
Let p(g) = -7*g**2 + 4*g - 9. Let m be (-4*2/(-4))/(26/(-65)). Let z(v) = v**2 + v + 1. Let r(h) = m*z(h) - p(h). Let j be r(4). Is 3/46 >= j?
True
Let r = -7.9 - -8.7. Let o = r + -5.8. Which is greater: o or 0.8?
0.8
Let z = 2116/3 - 699. Suppose -6*o - 4*o = -50. Let h(n) = -n**3 + 5*n**2 + 3*n - 8. Let r be h(o). Which is bigger: r or z?
r
Let m(t) = 779*t**2 - 55*t + 2. Let q be m(-2). Is 3228 bigger than q?
False
Let q = 25454.213 + -25432. Let v = q + -0.213. Is v <= -1?
False
Suppose 0 = 2*p + 3*w - 3, -2*p = 4*w - 24 + 20. Is p not equal to -2/5253?
True
Let k = 4040 - 4042. Let b be (-25)/12 - 2/(-8). Let x = k - b. Is -1 bigger than x?
False
Let h be (-1 + (-606)/(-588))*8/(-6312). Which is bigger: h or 0?
0
Let s = 12093 + -12092. Do -1/4366 and s have the same value?
False
Let d = 1357/946 + 31/473. Let s = -0.1 + -3.9. Let n = -3.6 - s. Which is greater: d or n?
d
Let x = 9186 + -9183. Is 140/61 <= x?
True
Let v be (1/6)/(51/(-2)). Let y be (-64)/30 - (-700)/875 - (-1)/3. Which is bigger: y or v?
v
Let g = -48526 - -1213801/25. Are 25 and g equal?
False
Let p be ((-323)/(-289) - 4/34)/(4/1118). Are 280 and p nonequal?
True
Let j be 33/18*(4 - -2). Let p be -1 + 6 - j - -6. Is -7/24 equal to p?
False
Let w = -454 + 460. Suppose -3*i + 175 = -5*x, -3*x = -w + 12. Which is greater: 56 or i?
56
Let g = 183 - 173. Let d be 4 + ((-176)/g - (-6)/(-15)). Which is greater: d or -15?
d
Let a(u) = -5*u**3 - u**2 + 1. Let o be a(-1). Let n = -674 + 660. Is o not equal to n?
True
Let h = -2.625 + 2.67. Which is smaller: h or 13?
h
Let a(o) = -o**3 + 6*o**2 + o - 2259. Let v be a(0). Is 3 > v?
True
Let n(i) = i**3 - 11*i**2 + 10*i - 4. Let o(t) = t**2 + 9*t + 14. Let c be o(-8). Let f = 4 + c. Let m be n(f). Is 2/11 > m?
True
Let o be (-6)/(-93) + (-8)/(862048/(-8393)). Which is smaller: o or 1?
o
Let r(f) = 203*f + 72. Let w be r(-1). Does 9 = w?
False
Let z(r) = 6*r**2 - 27*r - 240. Let l be z(-25). Which is greater: 4184 or l?
l
Let r = 2586 + -2589. Let h be (-1 + 212/8)*2. Which is bigger: r or h?
h
Let a be (-2 - -1)*(13 + -5 - 7/1). Is -3/173 > a?
True
Let i = -78 + 80. Suppose a - 1 - i = -4*p, a - 27 = 2*p. Suppose -2*k = f + 13, -2*k = 2*f - 7*f + a. Is -5 > k?
True
Let b = -1046 + 3644. Which is greater: b or 2596?
b
Let z be 3 + (2 - (-3)/(-1)). Let m = z - 3. Let l(o) = o**3 + 38*o**2 + 165*o + 2. Let t be l(-5). Which is greater: t or m?
t
Let k = -2 + 4. Suppose -k*h - 2*h = -5*n + 86, 4*n - 67 = 5*h. Let i = -25 + n. Is -8 at least as big as i?
False
Suppose 0 = -3*q - 3*d + 1716, -103*d = 3*q - 99*d - 1717. Which is smaller: 1/2 or q?
1/2
Let t = 1586 + 3. Suppose 0 = g + 6*g - t. Which is smaller: g or 228?
g
Let x be 231/(-15) - 12/20. Suppose 44*p + 4*u = 46*p + 32, 12 = 4*u. Is x greater than p?
False
Suppose -9*y + 30456 = 3*y. Let i(w) = -y - 11*w + 2546 + 10*w**2 - w**3 + 0*w**2. Let d be i(9). Is d not equal to 0.3?
True
Let d = 18278 - 18277.99. Let z be 12/(-10)*(-20)/6. Let c be z/21 + 2/(-7). Which is greater: d or c?
d
Let o = -727439247/12805 + 56809. Does o = -1?
False
Let c = 120 + -527. Let t = 406 + c. Which is smaller: t or 6?
t
Let u = 1 - 0.952. Let r be (93/12 - 0) + 1/4. Let c be (r/(-4) - 32/(-12))/(-2). Is c bigger than u?
False
Let v = -516013421755/1776 - -1743311615/6. Let x = v - 3838. Let o = 2811/592 - x. Is o not equal to 4?
True
Suppose 3731*z = -b + 3735*z - 15, 0 = -2*b + 2*z - 24. Suppose 2*m = h + 6, m + 1 = -2. Is h > b?
False
Let o be 8 + (-9 - (0 - (1 + 0))). Which is bigger: 1/7432 or o?
1/7432
Suppose -5880 = -9*f - 15*f. Let s = 234 - f. Is -126/13 > s?
True
Let f be ((-75)/3*3)/1. Let i = 141 + f. Which is smaller: 68 or i?
i
Suppose 0 = -5*b + 7*b - 1998. Let s = b - 466. Let t = 32514/61 - s. Is -2 < t?
True
Suppose -3*p + 6 - 12 = 0. Let s(m) = m**2 - 3*m - 3. Let y be s(p). Let l(i) = i**3 - 7*i**2 + 15. Let t be l(y). Is 14 greater than t?
False
Let q be 36/12 + (-6 - -2). Let l be (-27)/414*4/2. Is l at most as big as q?
False
Let b = -1/1443502 - -35371573033/36087550. Let j = -980 + b. Let o = -5 - -6. Are j and o non-equal?
True
Let p = -0.87 - -95.87. Let m = p + -95. Let u = -24 + 31. Which is smaller: m or u?
m
Suppose 12*b - 7*b + 258 = h, 0 = -5*h + 4*b + 1374. Is h greater than 292?
False
Let f be (4/(-14))/((-11)/154). Suppose -58 = -d - 4*q, f*d + 0*q + 4*q = 208. Let l = d - 53. Is l less than or equal to -3?
True
Let a = -0.4 + 0.5. Let w = 20 + -9. Suppose -5*c - 36 = -w*c. Is a at least as big as c?
False
Suppose -17*q + 29 + 1244 = 10419. Is q < -537?
True
Let u = 44165 - 7375579/167. Which is greater: u or 0?
0
Let x be 0 - 0 - 168/32. Let l = 79/12 + x. Let c = 1 - 1. Which is smaller: l or c?
c
Let k(l) = 6*l - 25. Let z be k(4). Which is greater: z or 10/593?
10/593
Suppose -g + 3*g = 3*s + 28, g + 5*s = -12. Suppose -2*x - g = 8. Let j = 527 + -535. Is j < x?
False
Let k(j) = -j**2 - j - 4. Let s be k(-7). Let y = s - -10. Let c = y + 23. Is -12 < c?
False
Let j be 1*-2 - (-198)/98. Let r be ((-5889)/72 - (-6)/48)*-6. Let o = -490 + r. Which is smaller: o or j?
o
Let m(f) be the first derivative of 35 + 5/2*f**2 - 2/3*f**3 + 8*f. Let d be m(5). Which is smaller: -19 or d?
-19
Let c(t) = t + 2. Let o(u) = u**2 - 9*u - 7. Let b be o(10). Let p be c(b). Suppose -4*v - 20 = p*z, 5*z + 0*v + 20 = -5*v. Which is smaller: -6 or z?
-6
Suppose -3*a + 478 = 4*n, -13*n + 10*n + 3*a + 369 = 0. Which is greater: n or 123?
123
Let k = -118.082 - -0.082. Let c = -215 - k. Let v = 101.3 + c. Is v at most as big as -3/5?
False
Suppose -2*x = -4*x - 3*u, 3*x - 4*u = 17. Let g be (-914)/(-12) + 2*x/(-12). Do 75 and g have the same value?
False
Let l = 44.25 + -2748.25. Which is bigger: l or 1/4?
1/4
Suppose -28*i = -17*i. Which is greater: -15/67 or i?
i
Let l = 1.749 + -2.749. Which is smaller: -0.0375 or l?
l
Let b = 1282/7 + -6389/35. Suppose 0*c + 3*c + 3*v - 3 = 0, -c = -3*v + 3. Let o = -8 + c. Is o greater than or equal to b?
False
Let j = 6494 - 6517. Does j = -2/47?
False
Let n = 30/5281 + -161606/32166571. Which is smaller: 0 or n?
0
Let a = -505/3 - -167. Let z = -2 - a. Which is bigger: 0.38 or z?
0.38
Let v = -745.71 - 0.29. Is 2/11 equal to v?
False
Let p(l) = 14*l + 100. Let m be p(-27). Let x be -1 - m*(-3)/3. Which is smaller: x or -278?
x
Let a be (-2)/3 + (-5)/(-3). Let j = 229 + -66182/289. Which is greater: j or a?
a
Let d = 1620 + -1575.74. Let s = -44 + d. Let w = s - -0.74. Is w less than or equal to -0.1?
False
Let k(p) = 23*p**2 + 48*p + 3. Let q be k(5). Is 817 greater than or equal to q?
False
Suppose 4*z + 792 = 3*y + y, 2*y - 3*z = 396. Suppose k = -2*k - y. Let f(j) = -61*j - 250. Let g be f(-3). Which is greater: k or g?
k
Let l be (-185472)/(-667) + (8/(-116) - 0). Do l and 280 have different values?
True
Let a(w) = -284 + 138 - 101 - 31*w. Let b be a(-8). Which is greater: b or -3/62?
b
Suppose 6398 = 6*a + 728. Let r be 594/a + 6/(-14). Is -3/17 > r?
False
Sup