bigger: t or 17?
17
Let f = 1853 - 1259. Suppose 5*c = -111 - f. Which is smaller: -143 or c?
-143
Let u = 190.466 - 190. Let s = u - 0.136. Which is greater: -9 or s?
s
Suppose 0 = -9*n - 700 - 209. Let a = 136 - 36. Let y = a + n. Which is smaller: 1/79 or y?
y
Suppose 0 = 671*k - 460*k - 76804. Which is smaller: k or -0.23?
-0.23
Let n = 15 - -25. Let i = n - 35. Let o be (-1 - -10)/(-4 - i/(-2)). Which is bigger: o or -7?
o
Let o be (153226/4370 - (-3)/15) + (1 - -1). Which is smaller: o or 37?
37
Let b be (-1 + 0)*-12 + 3. Let j be (1420/2130)/((-22)/24 - -1). Which is bigger: j or b?
b
Let a = 38 + -65. Let x = 23 + a. Let v be (0 + 3/x)/((-54)/126). Is v <= 1?
False
Let w = -3816 + 3826. Which is bigger: w or 172?
172
Let b be -2*(-1)/22*2. Suppose 42*t - 56*t - 249 - 409 = 0. Is t at least as big as b?
False
Suppose -224 = 49*h + 270 - 151. Are h and 25/12 non-equal?
True
Let j = 5319 + -5328. Which is smaller: j or -15?
-15
Let b be (-41 - -46) + (-5 - 10). Let r = 0.7 - 0.4. Let o = r + -0.4. Is b != o?
True
Suppose 2*q - 5*u - 5 = 0, -4*q + 5 = 44*u - 49*u. Which is bigger: q or 24.5?
24.5
Let o be 2 - (-1)/(3/(-6)). Suppose o = -4*c - 71 - 33. Let b be (-16)/(-32) - 7/c. Is 1 <= b?
False
Suppose -4*y + 3716 = -4*b, -y + 6*b + 434 = -470. Is y at most 935?
True
Suppose 5*a - 67 = 28. Let n(k) = 76*k - 39. Let u be n(a). Let c be (-2*(-3)/9)/(u/15). Is c not equal to 1?
True
Let i = 185.71168 + -185.76. Which is smaller: i or 0.1?
i
Let z = 2718.852 - 2714. Let n = 0.148 + z. Let f = -0.61 - -0.01. Which is smaller: f or n?
f
Suppose -3*s = -2*g + 146, -4*s + 27*g - 214 = 34*g. Do -17 and s have the same value?
False
Let h be (9/(180/16))/((-10)/(-100)). Let t be (6/h)/((-126)/(-1848)). Which is smaller: -4/19 or t?
-4/19
Let s be (-1)/(102/(-177)) + -2. Suppose 476*h + 209 = 197*h + 70*h. Is s at most as big as h?
False
Let o = 3074.2 + -3080. Is o less than 4/5?
True
Suppose -60 - 11 = -d. Suppose 398*s - 27508 = 1148. Which is greater: d or s?
s
Let o(h) = -24*h + 1272. Let y be o(53). Let a = -153 - -1990/13. Is a at most y?
False
Suppose 3*a + 1827 = 2*j, 2*j + 2*a = 4*j - 1826. Let t be (0 - 5)*(-2 - j/(-460)). Which is bigger: t or 1?
1
Let q = 4 - 2. Suppose 5 = 5*u + 5*o, -7 = -q*u + 7*u - o. Let s = 2576/3 + -404426/471. Which is smaller: s or u?
u
Let g be -4 + (-26)/(-7) - 760/(-14). Let x(q) be the first derivative of -3*q**2 + 19*q + 8. Let z be x(-6). Is g at least z?
False
Let p = -3442 - -2572. Which is bigger: p or -873?
p
Suppose 167109 = 159*k - 1222233. Which is smaller: k or 8737?
8737
Let r(v) = v**2 + 73*v - 297. Let w be r(5). Is w != 92?
True
Suppose 2*s = -5*g + 5*s - 25, -s - 37 = 4*g. Let o be (-246)/(-21)*119/(-204). Which is greater: o or g?
o
Suppose 3*j - 31 = -4*y, -j + 0 + 1 = 0. Let u(z) = -z**3 + 2*z**2 + 12*z + 8. Let p be u(y). Let t be 176/(-630) - 34/p. Is 0 <= t?
False
Let t be (2/5)/(34/935) + -2. Let f(a) = a**2 - 14*a + 53. Let l be f(t). Which is smaller: 0.05 or l?
0.05
Let k = -3710 + 3647. Is -64 <= k?
True
Suppose 8 + 16 = -3*k. Let o be (k/(-6))/(20/(-60)). Let s = 9 - 11. Which is bigger: o or s?
s
Let l = 18 - 15. Suppose j - 152 = -l*j. Let s be (-8)/4*(-666)/36. Which is greater: j or s?
j
Let d be 30*3 - 140/35. Let z = 90 - d. Let o be 2*20/(-8)*(z - -1). Which is bigger: -24 or o?
-24
Let x = 0 - -86. Let z = 85 - x. Do z and 3/136 have the same value?
False
Let m be (8 + -7)/(-1 + 0/2). Let p(b) = -24*b - 1. Let l be p(m). Are l and 26 nonequal?
True
Suppose 0 = -2*h + 5*t - 6803, -2*h + 5*t - 3*t - 6782 = 0. Which is bigger: 1 or h?
1
Suppose -2*w + 14*h - 12*h = -684, 4*h - 367 = -w. Let u = -1387/4 + w. Which is smaller: -26.9 or u?
-26.9
Let q be (20 - (-12925)/(-50))/(6/(-8)). Are 3500/11 and q non-equal?
True
Suppose 3*k = -0*g + 4*g - 36, 0 = 5*k - 2*g + 60. Let v be (129/(-602))/(10/(-296)*(-3)/5). Is v less than or equal to k?
False
Let z = 12467/4 + -12453/4. Is z <= 1167?
True
Let s = 1 - 1.3. Let h(c) = 2*c**2 + 33*c - 1. Let n be (-10 - -5) + 1 + -12 + 0. Let k be h(n). Is s at least k?
True
Let m = 89549 - 36267346/405. Suppose 3*k = -4*r + 8, 4*r - 3*r = -5*k + 19. Which is bigger: r or m?
m
Let w(d) = -d**3 + d**2 - d - 2. Suppose 5*r - 161 = 129. Let p = 57 - r. Let i be w(p). Which is smaller: 1/68 or i?
1/68
Suppose -i + 13*z - 15*z + 11 = 0, -3*i + 3 = z. Is i at least -5/1802?
False
Suppose 4*r - 5*k - 20 = -r, 3*r = 2*k + 7. Let z(c) = 46*c**3 - c**2 - 5*c - 4. Let h be z(r). Which is smaller: -45 or h?
h
Let p = -206 + 220. Suppose 12*u + 2*u = p. Is u bigger than 2?
False
Let p be 7/35 - 21/5. Let x be (p - 42/(-24))*40. Is x < -91?
False
Let x = -4 - -3. Let u = -207302 - -82713500/399. Is u <= x?
False
Let r = -93 + 105. Suppose -23*p = -19*p - r. Let o(w) = -w**2 + 8*w - 13. Let t be o(p). Is 27/11 != t?
True
Let d(w) = 4*w**2 + 21*w - 8. Let c(q) = 5*q**2 + 22*q - 7. Let g(m) = -3*c(m) + 4*d(m). Let p be g(-18). Let j = p - -10. Are j and 2/245 equal?
False
Let r = 60 + -60. Suppose -5*g + 5 = 4*f, r*f + 4*f + 4 = 4*g. Which is smaller: 1/54 or f?
f
Let r = -1006 - -1135. Is 7 equal to r?
False
Let n be (924/(-24))/11*168. Is n greater than or equal to -587?
False
Let i = 8779.32 - 8635. Let v = 144 - i. Is v at most -2/9?
True
Let r(o) = -3*o + 30. Suppose -3*p + 12 = 3*h, -12 = -2*p - 5*h + 4*h. Let i be r(p). Is -2 greater than i?
False
Let w = 208 - 207.596. Let o = 0.796 + w. Let p = 3 - 4. Which is bigger: o or p?
o
Suppose 8778 - 2658 = -8*x. Is x less than -761?
True
Let x = 3935 - 3925. Let c be (2/(-9))/(4/(-3)). Which is smaller: c or x?
c
Let a = -1434.1 - -1437. Is a equal to 1/20?
False
Suppose -216*q = -181*q - 7070. Which is greater: 204 or q?
204
Suppose -108 = -6*l + 3*l. Let o(u) = -18*u - 13. Let n be o(-1). Suppose -3*s + n*k = -106, -4*s = -2*k - 2*k - 144. Are s and l equal?
False
Suppose 1 = z + h - 3, 0 = -5*z - 2*h + 17. Suppose 2*v - 856 = n, z*n + 1575 = -5*v - 949. Let w = n + 7642/9. Which is smaller: 0 or w?
0
Let v(l) = -l + 2. Let h be v(0). Suppose -3*f = -4*t - 11, -2*t + 5*f - 9 = -0*t. Let g be (-3)/t - ((-9)/(-12) - 1). Which is greater: h or g?
h
Let j = -3768 + 3771. Which is greater: j or -0.173?
j
Let l = 172 + -197. Suppose -208*p + 209*p = 0. Is l < p?
True
Let y = 13 - 11. Suppose -3*v = -y*v. Let h = -3074/15 + 205. Do v and h have different values?
True
Let u be ((-644)/(-8))/((-25)/150). Which is greater: u or -481?
-481
Suppose -45 = 7*f - 10. Suppose 0 = -v - 4*v + 60. Suppose 0*c - 3*c - v = 0. Which is bigger: c or f?
c
Let z = -1488 + -151. Is z < 2/7?
True
Let h be 2042/17 + ((-504)/(-51) - 10). Which is bigger: h or -3?
h
Let j = -4.2 - 15.6. Let h = 19.9 + j. Are -5/33 and h unequal?
True
Suppose 26*p - 29*p - 75 = 0. Let l be (-1 + p/(-20))*-4. Do -1 and l have the same value?
True
Suppose 78 - 66 = 4*y. Let c be (0 - (-33)/22)*(-26)/y. Is -14 at least as big as c?
False
Let s be ((-6145)/(-3))/(58/6). Let w = -1316 - -1528. Let p = w - s. Which is smaller: -1 or p?
-1
Let g = 3622 - 18103/5. Is -5.13 less than g?
True
Let t be (1/52)/(57/(-4)). Let w = t + 2234/8151. Is w <= -1?
False
Suppose 37 + 83 = -2*y. Let j be (-181 + -2)/(-2*21/(-14)). Is y at most j?
False
Suppose 41 = 5*o - 3*n - 1, 0 = 2*o - 4*n - 28. Suppose 0 = o*c - 3*c - 9. Suppose -2 = 5*v + c. Which is greater: v or -3/10?
-3/10
Let h = 0.4947 + -0.0327. Let c = h - -0.088. Let j = 32.45 + c. Is j < -2/5?
False
Let m = 59 + -123. Let w(h) = -286*h**2 + 2*h + 2. Let d be w(-1). Let y = d + 287. Which is bigger: y or m?
y
Suppose 3*r = -p - 2357, r = -0*r + 3*p - 799. Let z = r + 785. Is z at least -2?
True
Let b be 2*12/(-1) - 0. Let y be ((-20)/(-15) - 4/3)/(-1). Let u(l) = 2*l**3 - 2*l**2 - 2*l - 22. Let c be u(y). Is b <= c?
True
Let j = -13099 - -13025. Let h = -0.13 + -2.87. Is h not equal to j?
True
Suppose 13347*c = 13340*c + 21. Let h(l) = 5*l**3 - 2*l**2 + l + 1. Let v be h(2). Which is smaller: v or c?
c
Suppose -3*b + 3*y - 140 = y, 3*y = -2*b - 89. Let h(o) = -61*o**2 + 350*o + 52. Let w be h(6). Is b != w?
True
Let p = 443 + -273. Let t = p + -189. Is t bigger than 1?
False
Suppose 0 = 24*t - 378 - 294. Suppose 8 + t = 9*s. Which is smaller: 0 or s?
0
Let r = 0.5906 - 0.3906. Which is smaller: r or 12/137?
1