-32/11 + 117/44. Let i = 142 - 101. Which is smaller: i or w?
w
Let r = -4527 - -6991. Which is bigger: r or 2465?
2465
Suppose 12 = 16*j - 14*j, -3*o = -j + 9. Is -3/1741 < o?
False
Let y = 13/11 + 412/33. Let n = 1019/75 - y. Let v = -9330 + 9330. Which is greater: v or n?
v
Suppose 5*k + 2*w = 22, k + 2*w - 4*w - 14 = 0. Let c be -1*6/(-9)*k. Suppose c*v + 15 = v - 3*u, -4*v + 2*u - 8 = 0. Which is greater: v or -13/6?
-13/6
Let y = 886083 + -886086. Let l = -7 + 12. Let s be ((-2)/l)/((-42)/(-10)). Which is smaller: s or y?
y
Suppose 6*m - 138 = 7*m. Let b be m*(28/16)/7. Let t = -5 - 31. Which is smaller: t or b?
t
Let b be (20/(-20))/(12/(-28)). Let o = 10 - 8. Suppose -g - 5*n - 17 = 3*g, o*g + 1 = -n. Is b greater than or equal to g?
True
Suppose -3*d = -5*n - 24, -2*d - n = -1 - 2. Let x be (54/6)/d + (-10)/4. Which is smaller: 19.6 or x?
x
Suppose 0 = 3*l + 2*o - 35, -5*l + 5*o = -18 - 7. Let f be (1 + (-6)/l)*-16. Suppose 296 = 8*i + 344. Which is smaller: i or f?
i
Let j be (-69)/(-36)*-2 + 2. Let c be 1 + -1 + 15/35 - (-221)/(-91). Which is bigger: j or c?
j
Suppose 4*g + 4*p - 8 = 0, 58 = -123*g + 128*g - p. Let o(r) = 4*r - 2. Suppose -2 - 4 = -2*s. Let w be o(s). Is g at least as big as w?
True
Let u = 17010 - 13492. Which is smaller: u or -0.2?
-0.2
Let i be ((-55)/(-165))/(3/(-9)). Which is smaller: i or -38/573?
i
Let i = -4899/182 + 11/182. Is -28 at least i?
False
Let d(b) be the second derivative of 5*b**3/2 - 323*b**2/2 + 335*b. Let s be d(23). Is 14 > s?
False
Let d = 64108 + -64152.017. Let r = 0.017 + d. Let i = r + 38. Is -2/15 bigger than i?
True
Suppose 185*i = -898 - 485 + 88. Let l be (-6)/9*3*1. Let v be l/(-6) + (-8)/6. Are v and i equal?
False
Let f = -437/738 + 3/82. Let d = 0.116316 - 0.016316. Which is greater: d or f?
d
Suppose 1 = 18*g - 19*g. Let a(t) = -14*t + 8. Let b be a(-5). Let o be g/(-6) + 767/b. Which is smaller: o or 11?
o
Let j(k) = 5*k**2 - 5*k + 7. Let f be j(7). Let t = f + -233. Is t != -97/6?
True
Let y = 272 - 186. Let a = y + -61. Suppose 6*u + 3*t - 112 = u, u + 3*t = 20. Which is greater: a or u?
a
Let y = 0.5961 + -2.5961. Do y and -79 have the same value?
False
Let r be ((-16)/(-14))/(396/126). Suppose -2*q = -0*q. Suppose q = 14*v - 20*v. Is v greater than or equal to r?
False
Suppose 6*b - 19 = -1. Suppose -4*c = 4*p - 32, 4*p - b*c - 11 = -0. Suppose 3*v = -p*n + 83, -58 = -2*v - 2*n - 0*n. Which is greater: 32 or v?
32
Let o be (-108)/(-378)*42/4. Suppose 5*f - 13 = y, -4*y + 18 = -o*f + 19. Is y greater than or equal to -329?
True
Suppose 5*i = -2*j - 20, 5*j + 50 = 4*i - 8*i. Let c be (132/j)/6*-45. Which is smaller: 97 or c?
97
Let s = -286.9 - -289. Let l = -39 + 42. Suppose 5*j - 2 = -5*d + 3, 0 = -l*d - 2*j. Which is greater: d or s?
s
Let y = -104134 + 516612/5. Is y not equal to -812?
True
Let q(v) = 7*v**2 + 290*v + 122. Let l be q(-41). Is -2/329 not equal to l?
True
Let t = -3047 + 2921. Which is smaller: -116 or t?
t
Let b be (-15)/405*6*26/(-46). Is b <= -1?
False
Let i = 0 + -0.1. Let g = 105249.054 - 105422. Let r = 173 + g. Is r greater than i?
True
Suppose 43 = y + 3*x - x, -2*y + 5*x + 59 = 0. Let m = 404.77 + -405.17. Is y bigger than m?
True
Suppose -i - 3*i = 0. Suppose 4*h = -i*h + 2*x - 2, -6 = 3*h + 3*x. Let t = -169 - -1519/9. Which is smaller: t or h?
h
Let c = 337.4 + -337. Let y = -16.1 - -18.8. Are y and c unequal?
True
Let l(b) = -3*b + 22. Let n be l(5). Suppose -n*f + 399 + 518 = 0. Is f equal to 130?
False
Suppose 271 - 50 + 67 = -36*w. Are 634 and w non-equal?
True
Let a be (3/5 - 273/105)*1. Let x be (18/26 - (-10)/(-10))*-2. Is x >= a?
True
Suppose 0 = -5*a + d - 18, -5*a - 4*d + 8*d - 12 = 0. Which is smaller: -2/4567 or a?
a
Let k = -50006 - -49969. Let t be 145/(-3) - 2/(-6). Let g = t - -11. Is g not equal to k?
False
Let u = -457.8 + 447.8. Which is greater: -44/19 or u?
-44/19
Let i be 6*1902/2718 - -3 - 7. Is i bigger than 1?
False
Suppose -6*o + 5 = -o. Let f be o + (4 - 0) - 117. Is f >= -112?
True
Let p be 2791902132/(-465) - 24/(-30). Let m = -6006300 - p. Let r = -2210 - m. Do r and 1 have different values?
True
Suppose 0 = -4*w - 77 + 85. Suppose -5*j = 3*t + w - 4, 3 = -t + 2*j. Let m = -189/40 + 24/5. Which is greater: m or t?
m
Let i = -32.7216 + -0.2784. Which is greater: -31 or i?
-31
Let b be -13 - (-122)/10 - 7/(140/(-36)). Are 1/17483 and b equal?
False
Let f be 85/10*2 + 48/(-8). Suppose 16 = -f*o + 7*o. Is o at most as big as -3?
True
Let h = 547079789/10227 + -160481/3. Which is smaller: h or 1?
h
Let i = -15111 + 15249. Let x = 341 - 205. Is i at least as big as x?
True
Let m = 170 - 131. Let b be m/(-104) - 230/(-16). Let y = 36 + -21. Which is smaller: y or b?
b
Let t be 4/(-1 - 1)*1. Let w = -275 + 225. Let s be (t/w)/(12/(-36)). Which is bigger: s or 1?
1
Suppose 4*f - 1077 = -k, 0 = -162*k + 163*k - 6*f - 997. Which is bigger: k or 0.1?
k
Suppose -7*u - 24 = -10. Let q be (-26 - -4)*(33/u)/(-3). Is q greater than or equal to -120?
False
Suppose 248 + 49 = -12*i + 33. Which is smaller: i or -55?
-55
Suppose -3*q + 6 = -c + 2*q, c + q = 0. Let n be (-4 - -9)/c - (1 + -10). Let z(m) = -m**3 + 5*m**2 + 6*m + 1. Let u be z(6). Is u smaller than n?
True
Suppose -44*i + 20*i + 172 = -28*i. Are -45 and i non-equal?
True
Suppose -21*b - 10 = -16*b, 3*b = 5*x + 1314. Suppose -l - 67 - 198 = 0. Is l >= x?
False
Let j be (-150)/(-225) + (-6252)/(-9). Which is greater: j or 696?
696
Let m = 119.18 - 184.77. Let f = m - 1.41. Which is greater: f or -1?
-1
Let t be (-15 + 6)/(6/(-4)). Let o = -1607/5 + 21301/65. Is o != t?
True
Let z = 2486 + -2490. Are 0.58 and z non-equal?
True
Let t be (412/12)/((-182)/(-84)) + 6/39. Is t >= -1/183?
True
Let v(p) = 3*p**2 - 69*p + 2. Let b be v(23). Suppose o = -b*o + 48. Let x(h) = -2*h - 3. Let g be x(-9). Which is bigger: o or g?
o
Suppose -163 = -4*c - 131. Suppose -2*g + 5*g - 41 = 4*u, 2*u + 31 = 3*g. Which is smaller: g or c?
g
Let o = 112 + -197. Let u = -94 - o. Let w = 3 - 12. Do w and u have different values?
False
Let c be 4/(-6) - (-2)/(-6). Let o = 0.086 + -30.886. Let b = -30.2 - o. Are c and b equal?
False
Let j(u) = -2*u**3 - 9*u**2 - 10*u - 21. Let g be j(-4). Is 103/39 less than g?
True
Let l = -0.14 + 0.34. Let u = l + 4.8. Let p = -342 - -342.2. Which is greater: p or u?
u
Suppose 0 = 4*o - 23 + 11. Suppose 18 = r + 3*u, -o*r - 4 + 70 = -3*u. Let i be -2 + r/12 + (-2)/(-8). Do i and 5/7 have the same value?
False
Let r = -853 + 783. Let l be (-30)/50 - (-7)/(r/4). Is l less than 17/36?
True
Let w be 1*(-2 - -3 - 1). Let o = -790 - -815. Suppose i = -2*s + 5, 4*i + i + o = w. Which is bigger: 11 or s?
11
Let w be (-14651)/(-195) - 10/75. Let y = 74 - w. Is y != -2/1487?
True
Let m be (-1 + 2)*-1 + (674 - -2). Let s be -1*(-2 + -138*(-10)/m). Which is smaller: s or 1?
s
Let w = 194248/1335 - -79/267. Which is bigger: 146 or w?
146
Let c be (-4 - 0)*8/(-16). Suppose 20 = 5*b, c*b = -5*y + 3*b + 11. Are 31/11 and y nonequal?
True
Let r = 19604 - 21037. Is -1426 greater than or equal to r?
True
Let x = 49177 - 49178. Does x = -2/1927?
False
Let w(p) = -p**3 + 7*p**2 - 35. Let z be -23 - -27 - 4/(2/(-1)). Let v be w(z). Which is smaller: v or -124?
-124
Let y = -11 - -194. Suppose 0 = -t + 21 + 161. Which is bigger: t or y?
y
Suppose 4*l - 2*s - 14 = 0, -l - 2*s + 5 = -4*s. Suppose -l*v = 4*i - 421, -119 - 12 = -v + i. Which is bigger: v or 136?
136
Let n = -12703/8 - -1588. Which is smaller: n or -33/67?
-33/67
Suppose -j + 73 = -4*a, 2*a - 4*j + 2 = -38. Let u be 2*4/5*(-25 + 30). Let t be (-204)/10 - u/(-20). Do a and t have the same value?
False
Let c be (-1*3)/((-20)/((-41840)/(-12))). Which is smaller: c or 522?
522
Let h = 35.8 - 38. Let u = -0.76 + 0.56. Let k = u - h. Is 5 equal to k?
False
Let b(r) = 2*r**2 - 2*r - 5. Let a be b(-2). Suppose -3*x = -c + 8, 3*c - a = 3*x - 1. Let h be (-1 + (0 - -4 - 0))*x. Which is bigger: h or -6?
-6
Let h = -12333 - -12332.86. Is h > -1/8?
False
Let b = -333 - -4665/14. Let i = 15315/28 + -547. Let n = i - b. Which is bigger: 1/9 or n?
1/9
Let c be (-2)/10 - ((-7224)/(-40))/(-3). Suppose -4*o + 27 = 2*l - 97, -5*l = 2*o - 302. Is c equal to l?
True
Let h = -4240.89 + 4239.6. Are -34 and h unequal?
True
Let p = 3824 + -49717/13.