 + 3*r. Let b be (-2 - 379/(-186))*f/21. Which is greater: b or 1?
1
Suppose 3*s = 7*s - 32. Let v(y) = -y**3 + 9*y**2 - 8*y - 3. Let w be v(s). Let j be (-1)/w + (-6)/(-54). Which is smaller: 0.1 or j?
0.1
Suppose -v + 0 = 6. Are v and -6 equal?
True
Let b = 2 - 3. Let y = -41.4 - 12.6. Let x = -53.93 - y. Which is greater: b or x?
x
Let c be 12 + (124/(-10))/((-464)/580). Let z = 118 - 592/5. Are z and c unequal?
True
Suppose -3*c = 5 - 8. Let q be 1/1*(0 + c). Suppose 0 = 3*g - b + 5*b + 9, b = -2*g - 1. Is q not equal to g?
False
Suppose -4*f = 3*j + 439, 2*f - 4*j + 55 = -159. Let g = -323/3 - f. Which is smaller: g or 1?
1
Let g(q) = 3*q**2 + 9*q - 28. Let y be g(-7). Let o = y - 55. Let d be -1 - ((-10)/18 + 0). Do o and d have different values?
True
Suppose -5*a - 295 = -2*i, 3*a + 3*i + 2*i + 208 = 0. Which is smaller: -62 or a?
-62
Suppose -2*o = -v + 24, 4*v = 5*o - 5 + 65. Which is smaller: -11 or o?
o
Let m(y) = 106*y + 750. Let r be m(-7). Let o be 6 - -1*(0 + 1). Which is greater: r or o?
r
Let l(s) = 3*s + 7. Let f be l(4). Let m = -18 + f. Let z be (-10)/9 + m/1. Which is smaller: z or 0?
z
Let c = -2.2 - -0.9. Let i = 189 + -191. Which is greater: c or i?
c
Suppose 2*d - 3 + 1 = 0. Let q = 6 + -7. Let f = d + q. Which is bigger: -1/7 or f?
f
Let g be 140/144 + 7/(-4) + 1. Suppose 3*l + 2*z - 6 = 0, -3*z + 5 = 4*l - 4. Which is smaller: l or g?
l
Let u = 1544/7 - 7076/35. Which is smaller: 18 or u?
18
Let i be 2 + 1/(-2) + -2. Let d = 0.77 + 0.13. Let p = d + -1.9. Are p and i non-equal?
True
Let z = 1971 + -1968. Let j = 1773/4 + -441. Which is smaller: z or j?
j
Let b(h) = h - 4. Let k be b(3). Are k and -66 equal?
False
Let h(z) = z**3 - 22*z**2 - 40. Let j = 77 - 55. Let i be h(j). Which is smaller: -41 or i?
-41
Let w be (7 - (-234)/11) + -1. Is 26 > w?
False
Let y = -7087/15 - -2579/5. Let c = 45 - y. Which is smaller: 2/3 or c?
2/3
Suppose -b + 9 + 67 = 0. Are b and 151/2 equal?
False
Let l = -716 - -379. Is 2/9 less than l?
False
Suppose r + 3*l + 5 - 13 = 0, 0 = 2*l + 8. Suppose -5*h - r = -0*c + 3*c, 2*h + 8 = 2*c. Is 4/17 at most c?
False
Let b(a) = -52*a + 176. Let q be b(3). Which is bigger: 31 or q?
31
Let j = -390 - -336. Which is smaller: j or -0.1?
j
Let u = 841 - 627. Which is smaller: 217 or u?
u
Let w = -403 - -504. Is 103 at least as big as w?
True
Let u be ((-2823)/6)/((-939)/6) - 3. Is -1 greater than or equal to u?
False
Let s be 57/11 - 4/22. Let q = 16 - 12. Which is bigger: s or q?
s
Let q(v) = -v**3 - 15*v**2 + 16*v - 15. Let r be q(-16). Let l = r - -17. Suppose -l*g - g = -3*b + 9, -g = 5*b - 3. Is b <= -2/65?
False
Let m = 23 + -17. Let h be (((-10)/(-3))/2)/(22/m). Let o be (2/4)/(2/4). Is h != o?
True
Suppose 2*o = 2, -5*o + 0 = -l - 5. Suppose -n - 1 = l, -g - 4*n = 3*g + 8. Which is smaller: g or 2/63?
g
Let y be (12/28)/((-27)/18*1). Is y bigger than 130/7?
False
Let i = -473 - -419. Which is smaller: i or -51?
i
Let w = -40 - -41. Let c = -16 - -16. Let u = c - -0.9. Which is smaller: u or w?
u
Suppose 6*i - 5 = 67. Suppose -i*o + 63 = -21*o. Which is bigger: -2 or o?
-2
Let v be (-4)/6 + 31/(-3). Let z be 1 + (-1)/(v/(-13)). Let t = -308 - -307. Is t at least as big as z?
False
Let t = -751/105 - -51/7. Let k(j) = -3*j**3 + 68. Let h be k(0). Let m = 338/5 - h. Is m at most as big as t?
True
Let y = 70 - 44. Let x = -34 - -59. Which is greater: x or y?
y
Suppose 0 = 3*h, -2*h + 3 = 3*c + 3*h. Let w be ((5 - 4) + 0)*c*-1. Which is bigger: w or 3?
3
Let h be (-15)/(-2)*(-16)/10. Let l = h - -13. Suppose 0*a + a + l = 0. Which is smaller: a or -8/5?
-8/5
Let k(s) = -2*s**2 - 4. Let n be k(6). Let l = -72 - n. Is l greater than or equal to 12?
False
Let c(j) = -5*j**2 + 2*j - 2. Let w be c(1). Let v(x) = 2*x + 2 - 2 + 9 + 2. Let n be v(w). Is -2 > n?
False
Let r = -0.85 - -0.75. Let s = 0.67 + -0.93. Are s and r unequal?
True
Let t = -154 + 136. Do -5 and t have the same value?
False
Suppose -57*v - 5 = -52*v. Which is smaller: v or 4/75?
v
Let l = -1.1 - -1. Let t = 0.25 + -4.33. Let a = 4 + t. Are a and l equal?
False
Let b = -310 + 309. Which is smaller: -5/58 or b?
b
Let q(l) = l - 1. Let v be q(-3). Let b be (4/(-3))/((-1)/8*-4). Which is bigger: v or b?
b
Let n(b) = -b**3 + 5*b**2 - 2*b + 5. Let j be n(5). Let s = 17 + j. Suppose 0 = c + 3*c - s. Is c greater than 3?
False
Let v = -149 + 1789/12. Suppose -3*u = -5*m + 87, 0 = 4*m - 5*u - 17 - 50. Let l = -17 + m. Is l greater than v?
True
Suppose -5*g - 5 = 0, 6 = 2*w - 13*g + 17*g. Let j be (-179)/(-35) + (-4)/10. Is j less than or equal to w?
True
Let t be (-24)/108 - 102/27. Let l be (-7 - t)/((-3)/2). Let j be (6/(-4))/(12/(-16)). Is l < j?
False
Let d = -16 + 31. Let j(r) = r**2 + 4*r - 8. Let a be j(3). Is d bigger than a?
True
Let o = 6 - 5. Suppose -s - 3 = -o. Which is smaller: s or -1/2?
s
Suppose a + 3*b + 2*b = -13, -23 = -4*a - 5*b. Let x be -1*4*(-15)/a. Let m be 6/(-4)*(-16)/6. Is m equal to x?
False
Let f be 148/(-5) + (-216)/(-135). Are f and -26 nonequal?
True
Let i be (-40 + (3 - -1) + 2)*3. Which is bigger: -0.2 or i?
-0.2
Let i = -0.0422 + -0.9578. Which is smaller: i or -233?
-233
Let n be 5160/16*4/2 + -2. Is n less than or equal to 644?
True
Suppose -5*j - 2*v - 26 = -j, -4*j - 21 = 3*v. Let d be ((-11)/1)/(1/(-1)). Suppose -2 = -f + 3*c, -d + 1 = 3*f - 5*c. Is f bigger than j?
False
Let r be 6*(-772)/(-384) - 12. Let m(i) = -i - 3. Let o be m(-5). Is o at least as big as r?
True
Let g = -7097/5052 + -5/421. Which is smaller: -1 or g?
g
Let u be ((1 - (-10)/(-4))*-1)/639. Is -1 at most as big as u?
True
Suppose 8*a + 26 + 22 = 0. Let l be (1386/228 + a)/(18/(-8)). Let z = 1 - 0. Which is smaller: l or z?
l
Let k = -23 - -26. Let q be k + -1 + -13 + 13. Is q at most 8?
True
Let c(p) = p**3 - 3*p**2 - 5*p + 5. Let d be c(4). Let k be (-4)/(-12) + ((-604)/444 - -1). Is d bigger than k?
True
Let j be (272/36 + -2)/((-4)/(-6)). Let v(n) = -n + 14. Let i be v(7). Which is smaller: j or i?
i
Let g be 243 - (-5 + 4/(-4)). Is 248 <= g?
True
Suppose 9*c - 18*c + 9 = 0. Is c less than 2/1291?
False
Let a(l) be the third derivative of l**6/120 - 7*l**5/60 + 7*l**4/24 - 5*l**3/6 - l**2. Let s be a(4). Let r be (2/s)/((-2)/(-10)). Which is bigger: r or -11/4?
r
Suppose -2*y + 24*g - 21*g = 372, 724 = -4*y - 4*g. Is -184 < y?
True
Suppose 2*m + 9 = c + 7*m, -5 = -5*m. Let j = 9 - c. Suppose 0 = j*q + 6 + 4. Which is smaller: q or -3?
-3
Let u(o) = 4*o**2 + 7*o - 1. Let a(h) = -3*h**2 - 6*h + 1. Let z(x) = -6*a(x) - 5*u(x). Let n be z(2). Which is smaller: n or -8?
-8
Suppose 3*c + 6 = -12*g + 11*g, -6 = -5*g - 3*c. Is 4 bigger than g?
True
Let j = -113 + 102. Let a = j - -11.14. Which is smaller: -3 or a?
-3
Let g = 9855/11 + -895. Which is greater: g or 0?
g
Suppose 6 = -71*s + 77*s. Let g be 10/(-6)*2*1/45. Which is greater: s or g?
s
Suppose 5*f - f + 2*u + 6 = 0, 4*f + 4*u + 4 = 0. Let z = 3/2 + -17/6. Is f less than or equal to z?
True
Let k = 369 + -369.1. Is 1.3 > k?
True
Let g be (-10)/3 + (-1)/(-3). Let i(u) = u**3 + u**2 + 4. Let r be i(0). Let p = 0 - r. Is g smaller than p?
False
Suppose 0*d - 5 = -4*p + d, 2*d = -2. Let f be 4 - 300/(-1170)*66/(-4). Is p greater than f?
True
Let k = 158 - 158. Are -2/45 and k equal?
False
Let j = 125873719/688671 - -4/76519. Suppose 0 = 2*a + 187 + 179. Let u = a + j. Is 0.2 at most as big as u?
False
Let b = 4 + -2. Let t be -2 - (7496/(-12))/b. Let s = -306 + t. Which is greater: 4 or s?
s
Let a(b) = 2*b - 24. Let v be a(14). Suppose m + 5*x - 41 = -2*m, v*x = 5*m - 19. Suppose -f + 5 = m. Does -4/3 = f?
False
Suppose -14*s = 23167 + 31. Let a = s - -28157/17. Which is smaller: -1 or a?
-1
Let p(y) = -9*y - 4. Let r be p(-4). Suppose -29*x + 73*x + 1672 = 0. Let k = x + r. Is -6 at most as big as k?
True
Let p = 5 - 3. Suppose -p*g + i = -0*i - 4, 3*i = -5*g - 12. Let d be (-2)/9 - 10/144*-14. Is g equal to d?
False
Let y = -11.4 + 20.4. Which is smaller: y or 1/91?
1/91
Let x = 42 + -40. Let h = -5774/21 - -275. Is x equal to h?
False
Suppose -3*a = 210 + 207. Let h = a - -56. Which is greater: h or -82?
-82
Let d(m) = -m**3 + 4*m**2 + m - 4. Let j be d(4). Let q = -1858/8041 + -2/473. Which is smaller: q or j?
q
Let c = 87514/9 - 9748. Let n = c - -5432/225. Which is greate