Let r = 261 - y. Which is bigger: -2/25 or r?
r
Let o be (-102)/((-12)/(-4)) + (3 - 2). Let f = o - -124. Let r = f + -90. Which is smaller: -5/11 or r?
-5/11
Let c = 12156 + -12364. Is c >= -1/9?
False
Let m be 8/(-9)*5640/5. Is -1002 > m?
True
Let o be 51726/(-28426)*(2 - (-2 - -2)). Are o and -5 equal?
False
Let t = -151/316 - 333745/2212. Which is smaller: t or -1/3?
t
Let d(n) be the third derivative of 137*n**4/24 + 47*n**3/6 + 37*n**2. Let m be d(2). Does m = 320?
False
Let u(w) = w**3 + 6*w**2 - 5*w. Let c be u(-6). Suppose r - 5*s = c - 9, 3*r = -2*s + 29. Let z = 3423/298 - -2/149. Do z and r have different values?
True
Let b = 1771907/596 - 2973. Which is smaller: -1 or b?
-1
Let z = -3/445 + -12373/12905. Let m = -594 + 593. Which is bigger: m or z?
z
Let i = 0.1 - -0.1. Let l = -17.176 - -5.176. Is l > i?
False
Let u be (-4)/14 - (-77)/2156. Is u >= 6387?
False
Let p = -17410.53 + 17462. Are -0.2 and p non-equal?
True
Let n(r) = -84*r + r**2 - 12 + 92*r + 0*r**2. Let p be n(-10). Let v(o) = -2*o - 1. Let a be v(-4). Is a at least as big as p?
False
Let q(o) = o**3 - 10*o**2 + 24*o - 17. Let p be q(7). Suppose 1586 - 326 = p*x. Is x != 316?
True
Suppose -2*j - 2*z + 3*z = -3017, -2*j = -2*z - 3014. Let i = j - 418272/277. Let t = i + 1403/2493. Which is smaller: t or 1?
t
Suppose 0 = -0*p + 5*p + a - 69794, 55824 = 4*p - 2*a. Let h = p - 98171/7. Let x = h + 3909/56. Which is smaller: x or 4?
x
Suppose -x - 12*x = -715. Suppose -x*y = -58*y - 30. Which is greater: y or -83/8?
y
Suppose -3*n = -2*k - 1455 + 1246, -4*k + 8 = 0. Is n bigger than 113?
False
Let a = -1.69 - 0.335. Let c = a - -0.025. Is c less than -53?
False
Let p = 0.4 + -0.402. Let d = 5.998 - p. Let f = 0.516 - 0.016. Which is bigger: d or f?
d
Suppose -4*f + 87*r + 2763 = 90*r, 3*r = 4*f - 2757. Is f greater than 691?
False
Suppose -9*o - 60 = -267. Suppose 4*s - 10 = 6, -o = w - 5*s. Which is greater: w or -8/3?
-8/3
Let w(h) = 2258*h - 5168. Let d be w(4). Does d = 3864?
True
Let p = 54790 - 54791. Let w be (-4)/(-1 - 0)*-1. Is p less than w?
False
Let p = 55.8 + -54.7. Which is smaller: p or -1.18?
-1.18
Let h(r) = 3*r - 22 + 65 - 9*r. Let j be h(7). Let m be (2/(-4)*-2)/(-46). Which is bigger: m or j?
j
Let z be ((-12)/3472)/(36/(-175992)) + 3/42. Does 18 = z?
False
Suppose 0 = g + 3*g + 868. Let d = g - -141. Let q be 2/((-16)/d)*2. Is 19 < q?
False
Let q(f) = f + 12. Let l be q(-7). Suppose 20 = -l*y, 3*n + 0*n + y = 23. Let b be ((-4)/7)/(-3 - (-103)/35). Is n <= b?
True
Let c = 2792 - 2783. Is c < -2/3?
False
Let v(b) = -b - 6. Suppose 2*p + 3*n = -3*p - 20, 4*p + 18 = -2*n. Let m be v(p). Does 1/112 = m?
False
Let p = -938 + 441. Which is greater: p or -493?
-493
Let l(g) = -g**2 - 36*g - 391. Let t be l(-10). Is t greater than or equal to -116?
False
Let m(s) = -2*s**3 - 4*s**2 - 63*s - 12. Let i be m(-16). Is 8163 at least i?
False
Let i be (-2)/9 - 2812/(-18). Suppose 31078 = 286*d - 597 - 12655. Is i <= d?
False
Let l be (-117)/10*(-20)/24. Let f(h) = -h**2 + 11*h - 9. Let p be f(9). Are p and l unequal?
True
Let n = -75.67 - -75.07. Is -0.129 smaller than n?
False
Suppose -63 = 140*y - 161*y. Let b = 7957/56 + -964/7. Which is smaller: y or b?
y
Let z be (-4)/(-435)*24/(720/(-75)). Do z and 1 have the same value?
False
Let r be (-25)/(-5) + -68 - 11. Is r less than or equal to -55?
True
Let w = -0.46 - -0.68. Let z = w + -0.166. Is 0.2 < z?
False
Suppose 0 = -94*z + 99*z + 75. Let k be (12/(-9))/(z/(-990)). Are k and -177/2 non-equal?
True
Let r = 2425 - 1930. Does 500 = r?
False
Suppose h - 4*r = -11, -3*h - 30 = -5*r - 18. Let o be (5 - 52/h)*(-2 - -3). Do -48 and o have the same value?
False
Let c be (347/(-4))/((-82)/328). Which is greater: c or 3118/9?
c
Let x be 101796/43941 + -1 + -1 + 0. Let l = 32/97 - x. Let w = 301 - 300. Which is bigger: l or w?
w
Let y = -0.04 + -134.96. Let k = y - -33. Which is smaller: 0.1 or k?
k
Suppose 5*u = -9 + 49. Suppose -2*h - 13 = 3*v, 0 = -2*h - 0*h - 2*v - u. Which is smaller: 11/16 or h?
11/16
Let m = 5295 + -5294. Is 1/992 at least as big as m?
False
Let o = 4 - 2. Suppose 3*m + m + 3*d = -26, -o*m + d = 18. Suppose -384 = 4930*n - 4882*n. Is m at most n?
True
Let t(a) = 15*a**2 - 341*a + 246. Let i be t(22). Suppose -24 = -p + 4*p. Let q be (-2)/p + 125/44. Are i and q nonequal?
True
Let c = 8705 + -8711. Which is smaller: 2/37 or c?
c
Let u be (-1)/((-65)/(-2315)) + (6 - (-77)/(-11)). Which is greater: u or -37?
u
Suppose 5*r - 32 = -3*l, 0 = r + 5*l - 8*l - 10. Let q be -6 + 460/70 + (-305)/r. Is -41 >= q?
True
Suppose 54 = -14*q - 4*q. Let v be q/5 + (-1001)/(-1625) + 0. Which is smaller: v or -2?
-2
Let j be (7 + 310/(-42))*(-4)/3. Let q = -2/9 + j. Are -74/5 and q equal?
False
Let k = -2323 - -2354. Suppose 5*g - 9 = 1. Suppose 5*y + 2*m = 145, -130 = -5*y + g*m - 7*m. Is y less than or equal to k?
True
Let k(u) = u**3 - 5*u**2 - 3*u**2 - 2*u - 1 + 2*u**2 + 5*u**2. Let q be ((-4)/(-6) + -1)/((-6)/36). Let y be k(q). Which is smaller: y or 1/10?
y
Suppose -20*q - 21*q + 226*q = 69560. Is 370 greater than or equal to q?
False
Let j(b) = b**3 - 6*b**2 - 4*b + 3. Let a be j(7). Let d(n) = -27*n + 7*n + 23*n - 17. Let q be d(14). Which is bigger: q or a?
q
Let k be (-8)/6*(-12)/(-8)*-1. Suppose -6 = k*y - y. Let o = 11 + y. Is 6 at least as big as o?
True
Suppose -2*x - 2447 = 2*x + 3*r, 0 = -4*x + r - 2459. Which is bigger: -613 or x?
-613
Suppose 2*q - 70 = 4*b, 4*q + 39 = -3*b + q. Suppose -63 + 231 = r. Let o = -187 + r. Which is bigger: o or b?
b
Let w(f) = 16 - 3*f + 2*f + 2*f. Let g be -16 + (-4)/(-10) + (-30)/(-50). Let c be w(g). Are c and 1 nonequal?
False
Let m be 4/8*1/(-19). Let x be 1/((-20)/(-3910)) - (-3)/(-2). Suppose -x = -3*i - 197. Is m at most as big as i?
False
Let c(d) = -d**3 + 9*d**2 + 13*d - 3. Suppose 136*z + 40 = 140*z. Let j be c(z). Is j != 53/2?
True
Let r(p) = -p**3 - 22*p**2 + 47*p - 23. Let l be (2/2)/1*(-3 - 21). Let c be r(l). Do c and 7/25 have different values?
True
Let i = -5160 - -5160. Which is smaller: i or 117.2?
i
Suppose 0 = 157*g - 4334 + 409. Let j = 3 + 7. Let c = j - -16. Is c greater than g?
True
Suppose 2*m - 3*a - 12 = 0, -4*m - 5*a - 7 = -3*m. Suppose 5*f = -m*f + 1104. Suppose -7*z = -f + 446. Is -45 != z?
True
Let z = -1/200419 + -26254635/50906426. Let w = 2/127 + z. Let a = 6 + -3. Is a greater than w?
True
Let k = -23 - -419/18. Let r = k + -17/18. Which is bigger: -83 or r?
r
Let b = 56.1 - 54. Let r = b + -2. Let u be (-20 - (-24 + 10)) + (-87)/(-6). Which is greater: u or r?
u
Let h = 0 + 19. Let q = 770 + -790. Let u = q + h. Which is smaller: 4 or u?
u
Let r(h) = -2*h**3 + 3*h**2 + 3*h - 12. Let j be r(2). Let g(l) = -24*l - 240. Let m be g(j). Which is bigger: m or 181?
181
Let b = 65 + -66.56. Let k = 53.94 - b. Let r = k + -55. Is 2/9 < r?
True
Suppose -2579 + 7835 = 72*b. Which is smaller: 359/5 or b?
359/5
Let a(l) = -32*l + 203. Let m be a(-52). Is 5599/3 at least m?
False
Let d = -16124 + 16124.578. Is d <= -1/4?
False
Let k = -15 - -5. Let d(x) = -x**3 - 9*x**2 + 15*x + 23. Let f be d(k). Are -109/4 and f equal?
False
Let t = -13.79 - -14. Let w = 30.79 + t. Let p = w + -30.9. Which is bigger: 24 or p?
24
Let c be ((-12)/5)/(33/110). Let q(t) = -t**3 - 4*t**2 - 3*t + 5. Let g be q(-3). Which is greater: c or g?
g
Suppose -c - 44 = 40. Let j be 2/(-18) - 2/(-18). Let x be (j - (-3)/(-9))/(2/c). Is x at most as big as -1/4?
False
Let m = 3 - 2. Let z = -826 - -829. Suppose z*d - 4 = -m. Which is smaller: d or 5/4?
d
Suppose -29*u - 39*u - 455 = 23*u. Let a(h) = -h. Let s be a(3). Let m be 1/(s + 42/15). Is u less than or equal to m?
True
Let w be ((-16)/(-6) - 1)/((-408)/5508). Let q(h) = -2*h**3 + 2*h**2 - 2. Let i be q(2). Let g be 12/i*(16 - -4). Which is greater: w or g?
w
Suppose 3*x = 4*m - 3 + 4, 2*x + 1 = m. Let z be ((-70)/15 + 5)/(x/3). Suppose -2*i + 2 = -5*i - 4*t, -2 = 2*i + 3*t. Which is smaller: z or i?
z
Let j = 2258 + -2255. Is j equal to -2939?
False
Let j be (39290/(-9882))/5 + (4 - 3). Let c = j - 14/61. Which is smaller: -5/3 or c?
-5/3
Let r = 872 - 9618/11. Suppose -4*h - 2 + 16 = -2*g, -5*g = 5*h - 40. Suppose 5*u + 3*t + 9 = t, -g*t = -9. Which is smaller: u or r?
u
Let t(j) = -j**2 + 20*j + 175. Let c be t(