ppose 2*w + 0*w + 16 = -4*k, -5*w - 19 = 3*k. Let f be (-4 - (-3478)/8) + k/12. Let t = 40461/94 - f. Which is smaller: t or -1?
-1
Suppose 16*y = 15*y - 4. Let d be (2/(-5))/(y/(-360)). Let a be 0 + 3 - (-44)/d*3. Which is smaller: -5 or a?
-5
Let k = 1654 + -1654. Let q = -0.06 + 0.6. Which is bigger: k or q?
q
Let n be 2/(-6)*(-213)/(-4). Let t = n + 631/36. Which is bigger: 0 or t?
0
Let s = 0.95 - -0.03. Let l = -0.02 - s. Let m = -1932/5 + 386. Which is bigger: l or m?
m
Suppose 1 = 2*m - 3*j, -4*m + 18 - 7 = 3*j. Let y = -0.198 + 1.198. Which is smaller: m or y?
y
Let b = 10 + -9.4. Let o = -1.6 + b. Let i = -11.21 - -11.168. Is i smaller than o?
False
Suppose 5*l + 4*v + 9203 = 3*v, 7363 = -4*l - v. Let o be l/(-28) - 4/(-14). Are o and 65 equal?
False
Let j(s) = -s**3 + 61*s**2 + 69*s - 378. Let h be j(62). Let k be 0 - (-1)/(1/(-7)). Let o be 16/h - (2 - (-10)/k). Is o less than 1.2?
True
Let s = -119.39 - -119.39. Which is smaller: s or 212.7?
s
Let d be ((-3100)/(-175) + -22)*-392. Is d smaller than 1679?
False
Let u be (-2 + 2)/(9 - (8 - -3)). Is -2/1449 equal to u?
False
Suppose -4*y + 49 - 337 = 0. Let h = y + 32. Which is bigger: h or 0?
0
Let g be ((-896)/84)/(10/15). Suppose 13 = j - 2*j. Let b = j + -3. Is g less than b?
False
Let l = 19.881 + -20.081. Is 7517 less than or equal to l?
False
Let o be 15/(-10)*20/6*-1. Let f be (-3 - (o + (-87)/3)) + -2. Let k(r) = 2*r**2 + 2*r - 5. Let w be k(-4). Is f greater than or equal to w?
True
Let h(z) = 33*z + 16. Let x be h(2). Let q = -164 + x. Is q < -82?
False
Let r = 24.66 - -0.34. Is -0.11 greater than or equal to r?
False
Let c = 4.16 - 213.16. Let h = c - -209.02. Which is smaller: 2/3 or h?
h
Let g be 0 - ((-3)/(-4))/(4/(-16)). Suppose g*l + 5*p = -91, 4*l + 2*p + 73 = 5*p. Is l > -20?
False
Let l(c) = -52*c**2 - 881*c + 19. Let j be l(-17). Which is smaller: -50 or j?
-50
Let z = 0.62 - -68.38. Let k = 160 - z. Which is bigger: -0.1 or k?
k
Let u = 292.17 + -4.17. Let v = u + -287.8. Are v and -84 equal?
False
Let m = 224961/7 + -32189. Let u = m - -2517/35. Is 19 at least as big as u?
False
Let b(y) = y + 6. Let s be -3*((-13)/3 - (6 - 11)). Let q be b(s). Which is greater: q or -3?
q
Let p be (1/5)/((-8)/(-408)*-6). Is -3 greater than p?
False
Let z be 182/(-8) + 2/(-8). Let t be -18 + (-7 - -11 - 15/(120/64)). Which is smaller: z or t?
z
Let v be (-1)/((4/6)/(24/9)). Let b be (4/12)/(v/201). Let s be -17 - 0/(-1 - -2). Which is bigger: b or s?
b
Suppose 0*t = 2*t. Let h = -27519 + 2889493/105. Which is smaller: t or h?
h
Suppose -u = j + 56, 209 = -4*u - 0*j + j. Let k(a) = 691*a + 3404. Let h be k(-5). Is u <= h?
True
Let u(k) = k + 8. Let z be u(-6). Suppose 20 = y - z*y. Let h be (0 - -2)/((-96)/992). Which is smaller: y or h?
h
Let u = -659.1 + 635. Let k = 24.051 - 0.051. Let n = u + k. Which is smaller: 5 or n?
n
Let f = -109 - -112. Suppose 0 = f*w + 5*k - 50, 5*w - 105 = -4*k - 39. Suppose -2*u = -2*v - 6*u - 32, 2*u = w. Is v less than -23?
True
Suppose 4*t + 0*t = 24. Let u = 116 - 165. Let w = 48.7 + u. Do w and t have the same value?
False
Let y = -2020 - -2279. Which is smaller: 255 or y?
255
Suppose -3114 = -5*j + p + 7176, -8223 = -4*j - p. Suppose -j = -2*v - 2055. Let r = -51852/805 + 322/5. Is v < r?
False
Let f(u) = u**2 - 7*u + 1. Let i be f(8). Let d(j) = -j**3 + 8*j**2 + 12*j + 13. Let r be d(i). Let k be r/6*48/64. Is k at most 8?
True
Let f(i) = -44*i - 170. Let w be f(-8). Which is greater: w or 4/3?
w
Let c(o) = -2*o**3 + 10*o**2 + o - 2. Let d be c(5). Let u be 6/8*(-7 + 20/d). Is 5/7 at most as big as u?
False
Let b(m) = 2*m - 10. Let s be b(10). Let l(k) = -3*k**3 + 29*k**2 + 11*k - 12. Let u be l(s). Let f = -13 + 12. Is f equal to u?
False
Let l = 496.2 - 496.2. Is -17 equal to l?
False
Suppose 3*n - 13 = -4*o - 0*o, -3*n + 2*o - 11 = 0. Let p be ((-23)/46 - (-22)/60)/(36/150). Do n and p have different values?
True
Let z(k) = -k**3 + 5*k**2 + 8*k - 2. Let f be z(6). Suppose -2*j - f = 64. Let w be -5*((-118)/(-885))/(4/234). Which is smaller: w or j?
w
Let c(s) = 2*s**2 + s. Let r(d) = 3*d**2 - 14*d - 16. Let z(q) = c(q) - r(q). Let y be z(16). Which is greater: 2/53 or y?
2/53
Let k(h) = -8*h**2 - 121*h - 15. Let w be k(-15). Suppose -4*i + 7 = -j, -j + 0*j + 5*i - 10 = w. Is 3 less than or equal to j?
True
Let b = -15081 + 15060. Which is bigger: -0.041 or b?
-0.041
Suppose -12538 = 361*t - 364*t + 2*y, 2*t - 3*y - 8357 = 0. Is 4179 at most as big as t?
True
Let g = -0.01 - 0.29. Suppose 82*v = 223*v + 555*v - 9744. Is g not equal to v?
True
Suppose -4*o + 5*z + 1645 = 0, -3*z = -3*o - 7*z + 1257. Is 417 > o?
True
Let x = -37 - -47. Let t = 10 - x. Suppose t = h - 5*m, -m = 5*h - 4*m + 66. Are h and 2/13 unequal?
True
Let t = 26657 + -27531. Are -873 and t equal?
False
Let i(k) = -3*k**2 + k - 21. Let v(w) = -5*w**2 + 3*w - 41. Let n(j) = -7*i(j) + 4*v(j). Suppose -9 = 2*m - m. Let h be n(m). Is 19 at least as big as h?
True
Let u be (-20)/(-15)*(-18)/(-12). Let v be u/(-11)*88/(-16). Which is smaller: -1/234 or v?
-1/234
Let w(z) = -19*z**2 + 31*z - 29. Let q be w(1). Let d = 69 - 13. Suppose 3*b - 5*g = -58, -3*b = -g - 3*g + d. Are b and q unequal?
True
Let d(g) be the second derivative of -27*g**5/20 - g**4/2 - 11*g**3/6 - 3*g**2/2 - 319*g. Let o be d(-2). Is 211 less than o?
False
Let i = -1696 - -1697. Which is smaller: 68/197 or i?
68/197
Let r be (-9)/15 + 36/(-15). Let o(c) be the second derivative of -c**4/12 - 29*c**3/6 + 47*c**2 + 2*c - 84. Let y be o(-32). Is y at most r?
False
Let c be (2 - (-22)/((-1694)/165))*(0 - 7). Which is greater: -2/3419 or c?
c
Suppose 70*l - 58*l = -29*l + 103197. Are l and 2515 equal?
False
Let o be (-2 - -5) + (792*6/42 - -3). Is o at most as big as 119?
False
Suppose 5*p - 4*f = 1676, -p + 5*f + 1339 = 3*p. Are 336 and p equal?
True
Let t = -620 - -645. Let h = -25 + t. Is h greater than or equal to -3?
True
Let k = -318 - -315. Let v be (9 - 9 - (k - -1)) + -1. Let a = -22 + 57. Is v bigger than a?
False
Let n = 4 + -5. Let z be (-2)/n - 4/(-2). Let h be (z/8 - 0)*-2. Which is smaller: 4 or h?
h
Suppose 4*j + 2 = 2*c, 0 = -c + 2*j + j + 2. Let g be 396/5022 + 2*(-4)/124. Is c equal to g?
False
Let a be 28*7/49 - -10*3/(-6). Is a at least 48/125?
False
Let k be (3 - 5) + 3/((-3)/(-2)). Suppose 2*i - 1 = -5*f + 20, k = -f + i. Suppose -3*g + f = 6. Which is smaller: g or 2/153?
g
Let y = 141 - 97. Suppose 0 = 7*h + 4*h + y. Which is smaller: -5 or h?
-5
Suppose 2*j - 2*h - 50 = 0, 3*j + 5*h - 270 + 243 = 0. Let a = 610 - 4127/7. Which is bigger: j or a?
a
Let w = 126069/1133 + 843/103. Which is smaller: 120 or w?
w
Let d = 182 + -118. Let j = d + -62. Suppose 5*b - 5 = 2*s, -4*b + 3*s + s = 8. Which is greater: j or b?
b
Let h = 618 + -598. Let z(j) = -10*j + 200. Let a be z(h). Which is greater: -8/103 or a?
a
Let r = -17391 - -17217. Which is greater: r or -222?
r
Let l be 5/((-3)/1 - -4). Suppose l*d - 4*r = 689, 2*d + 2*d - 568 = -r. Which is smaller: d or 140?
140
Let m(o) = -o**2 + 6*o + 9. Let d be m(7). Suppose -5*v = 6*f - 25, 4*v - 27 = -5*f - 7. Let q be (v - d) + (6 - 7). Are 9/14 and q unequal?
True
Let l = -4.839 + 4.7. Let u = l - 0.981. Is u at least 0.1?
False
Let p = -3.6 - 2.4. Let t = -51 + 23. Let a = t + 28.1. Is p less than or equal to a?
True
Let f = 5718/5 - 80477/70. Let o = -5751/7 + 818. Let r = o - f. Is 4 at least as big as r?
True
Let u = -350 - -370. Suppose 0 = -2*v + 4*q + 54, -2*v + u*q + 40 = 23*q. Is v smaller than 156/7?
False
Let j be (-9069 - -3)*4/48*-4. Which is smaller: 3021 or j?
3021
Suppose 64 - 48 = 4*q. Suppose 9*r - q = 14. Which is smaller: 1 or r?
1
Let s(j) = 11*j + 87. Let u be s(-8). Let k be 0 - (5 + -5) - u*13. Are k and 13 unequal?
False
Suppose 220*b - 226*b + 942 = 0. Let q = -148 + b. Which is greater: 39/5 or q?
q
Let i = 31.05 - 0.05. Let c = 0.43575 - 0.63575. Which is greater: c or i?
i
Suppose 3*a + 5443 = -5*m, 0 = -2*m - 307 + 321. Which is bigger: -1818 or a?
-1818
Suppose 6*q + 443 = w + 2*q, 467 = w + 2*q. Let i = 351 - w. Are i and -108 non-equal?
False
Let u be ((8 - 3)/(-1))/(-1). Suppose -3*p + 7 = -u. Let f be p*2/(-268) - 0. Which is greater: -1 or f?
f
Let l be (-20 - 2022/(-30))/(-4*(-41)/(-10)). Which is greater: