r be (-1)/(-2) - 2/(-4). Which is smaller: r or o?
o
Let g(d) = d**3 + 33*d**2 - 67*d + 106. Let u be g(-35). Let x be u/(-2) + 24310/(-220). Is x at most -110?
True
Let q = 39 - 0. Suppose q = -7*c - 38. Is -11 != c?
False
Let s be (-6)/(4/(-2))*275/165. Let v = -100 - -223. Suppose v + 17 = s*i. Which is bigger: 29 or i?
29
Let l = -38 + 38. Let v(d) = -40*d + 31. Let a be v(l). Which is smaller: a or 30?
30
Suppose -330 = 4*k - 2*i, -3*i + 94 - 479 = 5*k. Let h = -80 - k. Are h and 2/305 nonequal?
True
Let g(b) = -1849*b + 897*b + 913*b - 288. Let u be g(11). Which is smaller: u or -718?
-718
Let h = 590115/58 + -10175. Is h at most as big as -2?
False
Let j = 1154 + -1274. Let d be -3*-1*(-1)/(-9). Which is greater: d or j?
d
Let s be -7 + (-1899)/(-639) + 4/1. Let a(h) = -h + 2. Suppose 0 = 3*t - d - 6, -6*t - 4*d = -4*t - 4. Let v be a(t). Do s and v have the same value?
False
Let x be ((-602)/(-36))/(-7) + 6/4. Let o = x - 16/9. Let y = -10 - -13. Which is smaller: y or o?
o
Let u = -3.4 - -4.2. Let p = 1366.8 + -1367. Which is smaller: u or p?
p
Let v = 24.55 + -22.2. Let a = v + 10.65. Which is greater: a or -0.04?
a
Let a(y) = -y**2 + 10*y + 220. Let d be a(-8). Is 110 equal to d?
False
Let q be 391255/(-68) - 15/(-20). Which is smaller: -5752 or q?
q
Let u = 0.07236 - 0.14316. Is u at least as big as -0.3?
True
Let y = -2 - 1. Let d(s) = -s**2 - s + 4. Let v be d(y). Let r = 316/3 - 106. Is r greater than or equal to v?
True
Let i = -4.19 - -2.24. Let r = -11.05 + i. Which is smaller: 4 or r?
r
Let k(l) = l**3 - l**2 - 187*l - 63. Let t be k(0). Is -28 bigger than t?
True
Let i(a) = a**2 + 9*a - 108. Let j = 78 - 94. Let x be i(j). Is -1/2 equal to x?
False
Let x = 19813/30 - 2005/3. Let i(t) = -t**3 - t**2 + t - 9. Let g be i(0). Is x smaller than g?
False
Suppose -y - 3*y + 48 = -4*p, -15 = 5*p. Suppose -d = 3*j + 6, -6*j + y*j = -2*d - 9. Let s be 31/(-63) + 4/(-14). Is j equal to s?
False
Suppose -4*b - 2193 = n - 194, 0 = b + 2*n + 505. Let w = b - -497. Let a(g) = g**2 + 5*g - 8. Let d be a(-6). Is w > d?
False
Let p = 17 - 19. Let b be ((-1)/p + 0)/(1/(-2)). Is b less than 4/17?
True
Suppose 2*q = 0, q - 8 - 2 = -5*z. Suppose 0 = z*o + t - 75, -2 + 3 = t. Are 2 and o unequal?
True
Let t = 40.041 - -41.41. Let h = t + -81.5. Which is greater: h or 5?
5
Let n be (-1)/3*(-14596440)/(-12). Let i = n - -35244547/87. Let o = i + 347. Which is smaller: o or 1?
o
Let q be ((-136)/15)/((-8)/(-5) - 2). Let i(m) = -3*m**2 + 31*m - 13. Let p = 10 - 1. Let w be i(p). Are q and w non-equal?
True
Let r = 33 + -50. Suppose 12*z = -7 - 5. Which is greater: r or z?
z
Suppose 4*s + n - 9 = 0, -s + 8 = 2*s + 2*n. Suppose -s*y = t + 35, 6*y = 4*y - 3*t - 37. Let q be (-6)/4*120/9. Is y bigger than q?
True
Let m = 5564 + -5202. Which is smaller: m or 339?
339
Suppose 18*m + 7173 + 2802 + 26295 = 0. Which is greater: m or 0?
0
Let a = -154624/73 + 2118. Let m = -178036085/49930321 + 13/97711. Let v = m - a. Which is greater: -3 or v?
-3
Suppose 5*f - 433 = -0*m - 4*m, 2*m - 189 = 3*f. Let p = m + -97. Suppose 7 = 5*z - 2*c, 7*c = z + 3*c - p. Which is bigger: 3/31 or z?
z
Let o be (-1 - -102)/(12/108). Suppose -17*c + 808 = -o. Is 101 less than c?
False
Let i = -29541 - -29464. Which is greater: -64 or i?
-64
Let u be ((-420)/350)/(2/10) - 44/(-7). Is u at most as big as 18/5?
True
Let t(i) = 6*i + 10. Let l be t(5). Suppose 2*f = 5*y + l, 4*f - y + 6*y - 50 = 0. Let c = f + -24. Which is smaller: c or -7?
c
Let b = -0.862 - 0.768. Let k = 10 + -10. Which is bigger: b or k?
k
Let g = 0.74 - -0.46. Let t = 6 - g. Let u = t - 4.7. Do u and 6 have the same value?
False
Let v = 4138/64965 - -2/1065. Let g = v - -33/427. Suppose 4*s = 6*s + 4. Is g >= s?
True
Let s(r) = 374*r + 1081. Let c be s(-3). Suppose 0*h - 42 = h. Which is bigger: c or h?
c
Let l = -124 - -128. Suppose -5*k - 1 = 2*p - l, 0 = 4*k + 4. Is 15/4 > p?
False
Let p be (-3)/(12/4) - -4. Let q(o) = 13*o + 6. Let i be q(p). Which is greater: i or 42?
i
Let v(z) = -9*z**2 + 76*z**3 - 74*z**3 + 9*z - 13 + z**2. Let s be v(5). Let m be 1/s*((2 - 1) + -5). Which is smaller: m or 0?
m
Let w = 62 - 60. Suppose -12*s + 14*s = w. Is -4/115 at most s?
True
Suppose i + 12 = -2*f, 2*f + 89 = i + 73. Suppose 2*l - 5*l = -6. Suppose -2*r = l*r - 4. Which is greater: i or r?
i
Let u = 35 + 11. Let p be 207/6*2 - (0 - -2). Suppose -4*l + 213 = r + 4*r, 4*r - p = -l. Which is bigger: u or l?
l
Let m(k) be the second derivative of -k**3/2 - 113*k**2/2 + 9*k. Let o be m(-29). Is o at most -25?
True
Suppose 5*d - 5*u = 645, 5*d + 37*u - 34*u - 653 = 0. Does 122 = d?
False
Let o = 2/2059 + 12308/47357. Let c be 1/3*0/(-3 - -1). Which is smaller: c or o?
c
Let k be 318206/79456 - ((-4)/(-1) - 0). Is -1 < k?
True
Suppose 43*f = 26*f + 17. Suppose -2*k + 16*g = 15*g + f, g - 3 = 0. Which is greater: 2/213 or k?
k
Suppose 2*u - 62 = -66. Let r = -25923 + 80283529/3097. Let i = r + -30944/40261. Which is bigger: i or u?
i
Let b = -5451 + 5980. Which is smaller: b or 523?
523
Let j(w) be the first derivative of -w**2/2 + 23*w + 2. Suppose 0 = -27*s + 341 - 17. Let c be j(s). Is c at most as big as 12?
True
Suppose 63*s = 77*s - 1064. Let m be 916/6*1/(9 - 7). Which is smaller: s or m?
s
Let f = 8838 - 8838. Which is greater: f or -2/161?
f
Let s(n) = 3*n**2 - 31*n + 13. Let r be s(10). Let k be (2/(-18)*-9)/((-1)/(-8)). Which is smaller: k or r?
r
Let o = -65 + 161. Let v = -99 + o. Let d be (-5)/(-230)*-2*1. Which is smaller: v or d?
v
Let j(k) = -10*k**3 - 8*k**2 - 6*k. Let v be j(-2). Let r be -6 + (-85)/v*-3. Is r bigger than -3?
True
Let f = -10.78 - -10.3. Let w = f - -49.48. Let q = -0.009 + 0.009. Does q = w?
False
Suppose 5*r + 0 = 5. Suppose l + 0 + r = 0. Suppose -2*s = -3*m - 2, m + 2*s - 3 = -s. Which is smaller: l or m?
l
Let r be 14*((-64)/(-32) - (-3)/2). Let p = -146/3 + r. Which is smaller: p or 0.17?
0.17
Let x = -3331 + 3506. Is 169 at most x?
True
Suppose f - 4*u = 2*f + 17, 0 = -2*f + 4*u + 26. Let s be f + -1 + 36/9. Suppose 0 = g - s*g. Is g <= 6?
True
Let o be -4117 - -6*(-8)/16*-1. Is -4114 smaller than o?
False
Suppose -3*l + 3*m + 15645 = 0, -5*l - 22*m + 24*m + 26090 = 0. Are l and 5220 equal?
True
Let i(b) = b**2 + 11*b + 30. Let d = 314 - 319. Let y be i(d). Is y less than 8.9?
True
Let w(g) = -491*g + 118843. Let a be w(242). Let q = 479 + -481.01. Let h = 0.01 + q. Is a greater than h?
True
Suppose -3*b + 10*d = 7*d - 1038, 0 = -d + 3. Let s = -339 + b. Is s less than 120/11?
True
Let p = 68 - 57. Suppose 5*o - 33 = -4*i, 3*o - p - 4 = 0. Let s be (3/12 - 0)/((-1)/i). Which is greater: s or -32?
s
Suppose 5*t + 58 = 3*v, -5*v + 4*t + 70 = 9*t. Let m be (-234)/470 - (-8)/v. Which is smaller: 1 or m?
m
Suppose 4*k - 12 = 5*b, -k = 2*b - 3*k + 6. Let c = 681 + -3403/5. Which is bigger: c or b?
c
Let y be (0 + -1137)*(-1690)/(-2535). Is -759 equal to y?
False
Let m be 2/(-1*(3 + 346/6)). Suppose 4*s + 2*g = 9*s - 6, 3*s = 5*g + 15. Is s less than or equal to m?
False
Suppose -3 = -0*r - 3*r. Let n be (-675)/2250*(-2)/(-24). Which is greater: r or n?
r
Let h(m) = -95*m**2 - 23*m + 47. Let f be h(2). Which is bigger: -392 or f?
f
Let g be 0*(-1)/(-3) + 8. Suppose 102*f - 54*f = 38*f + 40. Is f bigger than g?
False
Let c be 8/2 - (-4)/(-1) - -2. Suppose -c*n + 0*n = 28. Let p = 5 - 18. Which is smaller: n or p?
n
Let x(g) = -44*g - 40. Let r be x(-1). Suppose -11*q = -r*b - 14*q + 172, -3*b = -5*q - 158. Which is bigger: 55 or b?
55
Suppose 286 = 3*d + 88. Suppose 0 = -s - v + 4*v + d, -92 = -2*s - 2*v. Let h be (-2 + 5/(120/s))*-34. Are -3 and h non-equal?
True
Let r(s) = -s + 5. Let m be r(6). Let k be (3/(-93))/(1034/188). Which is bigger: k or m?
k
Let f = -1803 + -932. Is -2735 not equal to f?
False
Let m be 16/2 - (-72 - 2035). Is m at least as big as 2116?
False
Suppose -2*b + 4 = -4*t - b, 0 = -2*b - 8. Suppose 0 = -v + 5, -5*v + 855 = 3*o + 263. Let p = -193 + o. Are t and p equal?
False
Let l(w) = 4*w + 11. Let r be l(2). Suppose 40*h - 2604 = r*h. Which is smaller: 127 or h?
h
Let h be (-1)/2*(-86564)/804. Which is bigger: 55 or h?
55
Suppose -322*s + 87 = -319*s. Do 28 and s have the same value?
False
Suppose -10 = -15*r + 13*r. Let a = -2 + r. Suppose 0 = -k, 0 = -3*u - 