5 + (-1)/((-3)/1222). Suppose -402 = -9*z + a. Which is smaller: z or 89?
89
Let c(p) = 3*p**2 + 35*p + 105. Let t be c(-4). Suppose 4*k - t*z + 9*z = 192, 3*k = 4*z + 140. Which is smaller: -2 or k?
-2
Let a be -4*9/(9/5). Let g be ((-644)/42)/(a/42). Is g at least 33?
False
Suppose n - 2 = 5. Let o = n + 12. Which is smaller: o or 21?
o
Let i = -16.4 + 23. Let w = 1.79 - -5.81. Let x = w - i. Is x smaller than -2/11?
False
Let d = 183322 + -183259. Let g = 4/1261 + 160139/2522. Is g bigger than d?
True
Suppose 0 = -21*m + 19*m + 228. Suppose 0*t = -6*t + m. Let s = t + -19. Is 2/45 at least as big as s?
True
Suppose -35*l = 207003 - 79043. Which is greater: l or 0?
0
Let i = 13 - 142. Let u = i - -101. Let l = -12 + -19. Are l and u non-equal?
True
Let u(o) = -3 + 5 - 3*o**3 + o + 0 - 5*o**2 + 6*o. Let v be u(2). Which is smaller: v or 2/5?
v
Let o(n) = n**3 - 22*n**2 + 108*n + 15. Let v be o(14). Is v != 14?
True
Suppose -7*y + 11*y = 2*j + 1560, -2*y - 4 = 0. Suppose 0 = -7*q - 2930 - 2565. Is j at least q?
True
Let q = -7 + 11. Suppose 5*c - 5*x + 75 = 0, 2*x = -4*c + q*x - 56. Which is smaller: c or -12?
c
Let g = -249.49 + 252. Let w = g - 2.01. Which is bigger: w or -12?
w
Let n be 2/3 - (-5)/(-35)*1. Let k be ((-76)/28 + 3)*3. Let g = n - k. Is 1 != g?
True
Suppose 8*j - 11*j + 5*g + 8404 = 0, -3*j - 8*g + 8300 = 0. Is 2785 at most as big as j?
True
Let f = -13.96 + -0.04. Let c = 157 + -429. Let s = 275 + c. Is s < f?
False
Let x = -403 - -404. Suppose d + x = 7*y - 2*y, 3 = -3*d + 4*y. Which is greater: d or 2/181?
2/181
Let z be -4 + 12 + 112/(-16). Is z less than -1/397?
False
Suppose 165*m = 2*m - 163. Which is smaller: 6/839 or m?
m
Suppose -13*x + 8*x - 38 = 4*a, -2*a = -5*x + 4. Let o = a + 13. Are o and -5 non-equal?
True
Suppose 324 = 4*u + 4*z, 3*u - 142 = -z + 109. Let w = -85 + u. Suppose w = 33*k - 36*k + 60. Is 22 at most as big as k?
False
Let t be (863 - -3)*(-67)/(-67). Is 870 >= t?
True
Let r = 8204 + -8206.1. Which is bigger: r or -3/10?
-3/10
Let p(v) = -v + 10. Let k be p(7). Suppose -4*z = -3*o - z, 0 = o + k*z + 20. Let r(c) = -21*c**2 - 312*c + 35. Let g be r(-15). Which is smaller: g or o?
g
Let g = -883.6 + 903.4. Which is smaller: -0.3 or g?
-0.3
Let k = -263 - -270. Suppose -78 = -s + k*s. Is -18 bigger than s?
False
Let v = 32 - 198. Which is smaller: v or -175?
-175
Let o = 447779/158 + -2834. Which is smaller: o or 1?
o
Suppose -y - 7*y = -16. Let n be (4/3)/(-1 + (y - 3)). Let a(p) = -p**2 + p + 24. Let v be a(8). Which is smaller: v or n?
v
Suppose r = -3*t - 86, -115*r + 113*r = -3*t - 89. Which is bigger: t or -358/13?
-358/13
Suppose 2*q = -3*o + 731, 0 = 5*o + 281*q - 277*q - 1213. Is o at least as big as 1739/7?
True
Suppose 47 = 4*p + o, -p = -4*o + 2*o - 23. Suppose -q + 3*m = 41, 212*m + 49 = q + 215*m. Are q and p non-equal?
True
Suppose 0 = 3*z + 2*v - 20, z + 5*v - 10 = 14. Suppose 2*y = a + z, a + 14 = 4*y + 4. Is y != -8?
True
Let o be (4/1)/(1 - (1 - 2)). Suppose -o*j = 0, -6*b - j = -3*b. Is b not equal to 7?
True
Let v be 1/579*293/2637. Which is smaller: v or -1?
-1
Let l = 208 + -119. Let f = -123 + l. Is -35 < f?
True
Let q = 43.98 + -44.18. Which is smaller: q or -7054?
-7054
Suppose n - 20 = -18. Let h(c) = 50*c. Let q be h(-4). Let i be 1/n - (-90)/q. Which is bigger: -1 or i?
i
Suppose 2*n + o = 1290, 72*n - 2604 = 68*n + 4*o. Which is greater: 650 or n?
650
Let w(t) = -13*t**2 - 9*t**3 - 19 - 1 + 2*t**3 + 8*t**3 + 15*t. Let k be w(12). Let g(l) = -l**2 + 17*l - 36. Let b be g(k). Which is smaller: b or -16?
b
Let q(m) = -126*m - 4576. Let i be q(-36). Is 0.07 equal to i?
False
Let z(h) be the first derivative of 2*h**2 - 19*h + 31. Let i be z(11). Suppose -10 = o - 3*a + i, 73 = -2*o + 3*a. Are -73/2 and o non-equal?
True
Let w = -9557 + 10005. Which is smaller: 446 or w?
446
Let m = 276 - 207. Let g be (-14996)/m + 8/(-3) + 3. Is -217 less than or equal to g?
True
Suppose 5*i - 9 = 6. Let k = -372 - -377. Suppose 5*q - k = -30, -3*a = 5*q + 25. Which is smaller: i or a?
a
Let j be 86139/68*(-80)/(-6). Is 16891 greater than j?
True
Let n = 3137 - 2685. Is 3160/7 greater than n?
False
Let z = -3/25 - -71/175. Suppose 0*m = -7*m + 28. Let h be (0 + m)/4 + 23 + -1. Is z equal to h?
False
Let i be 9/(-2124)*2*5/(10/68). Which is bigger: -2/7 or i?
-2/7
Suppose 650 = 41*y - 28*y. Suppose 30 = -20*r + y. Let k be 0 + 19/7 - 2. Are k and r nonequal?
True
Let b(d) = d - 191. Let z be b(0). Suppose -5*r + 2*i - 7 = 0, 10*r - 12*r - 4*i - 22 = 0. Let l be -3 + z/189*r. Are l and -1 equal?
False
Let j = 162 - 171. Let b(d) be the third derivative of -d**5/60 - 3*d**4/8 + 2*d**3/3 - d**2. Let q be b(j). Is 13/5 != q?
True
Let k(t) = 15*t - 2*t**2 + 55 - 12*t**2 - t**3 + 9*t**2. Let p be k(-6). Let q be ((-3)/(-186))/((-1)/4). Which is smaller: q or p?
q
Let o be ((-3)/6)/(11/(-23958)) + -3. Is 1086 bigger than o?
False
Let l = 35 + -16. Let n = 6582.2 + -5998. Let t = -584 + n. Which is smaller: l or t?
t
Suppose -t - 3*t = 4*f, 3*t - 24 = 5*f. Let u be (-21)/(-6)*288/483. Are u and t unequal?
True
Let o be 9*9/54*16/(-24). Which is smaller: -3/9551 or o?
o
Let z = 0.69681 - 0.42681. Is 204 greater than z?
True
Let n = -10 - -9.885. Let x = -116.115 - n. Let y = x + 82. Which is bigger: y or 0?
0
Let o(u) = 186*u + 23. Let w(i) = 31*i + 4. Let z(f) = -6*o(f) + 34*w(f). Let g be z(1). Let k be 1 - (g/26 + 3). Which is smaller: -1 or k?
-1
Let n = 3403 + -3300. Is n at most -9?
False
Suppose -5*t + 6305 = 390. Let m = 1665 - t. Does m = 481?
False
Suppose 2*r - 17*d - 294 = -15*d, -2*r = 2*d - 310. Are r and 133 unequal?
True
Let g be (-1932)/1716 - (-3 + 245/77). Suppose 4 = 2*d + 3*b, -d = -2*d - 5*b + 9. Is d less than g?
False
Suppose 54 = 8*a + 6. Suppose 15*b + a*b = -1113. Let n = -57 + 3. Is b > n?
True
Let o be (552/30)/(((-2)/(-5))/(-2 + 4)). Do o and 101 have the same value?
False
Let i be (264/48 - 7) + (3 - 1). Which is smaller: -1/161 or i?
-1/161
Let y = -43.09 + 11.09. Let x be 24/(-348) + (-143)/29. Which is smaller: x or y?
y
Let h be -3582 - 3 - 1*(6 - 0). Is h equal to -3592?
False
Let d = -17946 - -17949. Let w be 2/(-6) - (-52)/(-6). Which is smaller: w or d?
w
Let p = 83 - 118. Let i = p + -9. Let j = i - -36. Is -1 <= j?
False
Let z be 2808/108 + 0/(1 - 2). Let b(c) = 6*c - 70. Let k be b(z). Is 86 >= k?
True
Let x be 7 + 1 + 3*(-10)/(-15). Let y be (((-104)/x)/(-2))/(21/210). Suppose 13*j + y = 17*j. Which is smaller: 12 or j?
12
Let h be -5844 - ((2/3)/(9/(-27)) - -7). Are -5849 and h nonequal?
False
Let i = 71 + -57. Suppose -2 + 114 = -i*y. Let v be y/4*(-497)/14. Which is greater: 70 or v?
v
Let r = -1755.37 - -4.37. Are 1 and r nonequal?
True
Let f be (4 - 17 - -14)/((-1)/(-1186)*-2). Is f bigger than -588?
False
Suppose r + 12 = -2*k - 85, 2*r - 2*k = -224. Which is greater: r or -117?
r
Let r(m) = -36*m - 1022. Let x be r(-30). Is 80 < x?
False
Suppose 0 = 2*b + 16, 183*a + 4*b = 186*a - 29. Let w = -65 - -1104/17. Which is smaller: a or w?
a
Let a(l) = l**3 - 8*l**2 + l - 8. Suppose -5*b = -16 - 24. Let z be a(b). Suppose 0*u + 1 = -u + x, 2*x - 6 = z. Which is smaller: u or 2/3?
2/3
Let a = -30.759 - -22.759. Let c be -4*(0 + 2/1). Is a less than c?
False
Suppose 7*h = 49*h + 378. Let b be h/5 - 2/10. Which is smaller: 1 or b?
b
Suppose -162*r - 8040 = -138*r. Which is smaller: -316 or r?
r
Let j = 0.2055 - 0.0055. Which is greater: j or -1.584?
j
Let g(n) = 16*n**2 + 6. Let p be g(2). Let m = 269 - p. Is 197 != m?
True
Let z = 2 - 3. Let b = 198 - 177. Let g be ((-60)/(-28))/(b/(-14)). Which is bigger: z or g?
z
Let c = -54 - -74. Suppose 9*p = c - 11. Let d be (14/18 - p) + (-148)/(-504). Which is bigger: -1 or d?
d
Let z = -145.985 - -0.585. Let s = 145 + z. Which is greater: -10 or s?
s
Let i be (-62)/(-21) - 4/14. Let n be (-8)/(-48) + 22/12. Suppose -4*u - m = -2, u - 7*m = -6*m - n. Is i < u?
False
Let c be -895*(-2 + (-4088)/(-2050)). Let o = 38066/6765 - c. Let y = o - -2/165. Is y <= -6/7?
False
Suppose -5*h + 6 = o - 8, -4*h = -4*o - 16. Suppose -2 = 2*j, 145*t - 35*j = 150*t - 5. Is o equal to t?
False
Let d(m) = m**3 + 7*m**2 + 14*m - 21. Let w be d(-7). Let c = w + 119. Which is greater: 1/232 or c?
1/232
Suppose 3*h + 0*h - 20 = -a, 0 = 4