2*a + 10. Let q be m(11). Let o = -290746/77 + 3776. Which is greater: o or q?
o
Let t = 9918 + -12297. Is -2380 at least as big as t?
False
Let x = -53 + 23. Let z = x - -31. Let o = z - 0.9. Which is smaller: o or 1?
o
Let u(b) = -11*b + 101. Let g be u(9). Is g <= 67/23?
True
Let w be (0 - (0 + -1625)) + -1. Let t be (-6 + 4)*(37450/46 + -2). Let m = t + w. Which is smaller: m or 0?
m
Let u be (0 + (-45)/(-6))*(-171 + 5). Is -1244 greater than or equal to u?
True
Let z = -46 - -41.8. Let v = z + 1.2. Let w = v - 0. Which is smaller: -2/5 or w?
w
Let s(m) = 618*m - 4. Let z(f) = 617*f - 5. Let o(w) = 4*s(w) - 3*z(w). Let t be o(2). Let i = 105483/85 - t. Which is smaller: -1 or i?
-1
Let d = -242 + 227. Let t = 55 - 65. Let l be (51/d - 3)/(1/t). Which is bigger: l or 65?
65
Suppose 0*n + 4 = -2*n. Let k = 32 - 27. Suppose -4*g + 38 = g - 3*r, 5*g = k*r + 40. Is g < n?
False
Let l(r) = r**3 - 2*r**2 - 9*r + 4. Let x be l(4). Suppose 0 = -16*p + 20*p - 36. Suppose 4*c + 5*n - 113 = 0, 7*n - 4*n = -p. Which is smaller: x or c?
x
Suppose 11*s + 60*s + 37*s - 1343088 = 0. Is 12435 <= s?
True
Let i be (0 - 2852/24)/((-260)/6). Let y = 1/130 + i. Let w be (-84)/(-30) - -8*(-2)/20. Which is smaller: y or w?
w
Suppose 9 = -3*q, 0*n = 5*n + 3*q - 21. Suppose -2*l - n = 0, 0*i + 4*l = -2*i - 50. Is -79/4 equal to i?
False
Suppose -14*l + 3*n - 412 = -16*l, 0 = l - 2*n - 206. Let y = l + -3916/19. Is y greater than or equal to 0?
False
Let d be (-4)/(-6)*(-6)/(-4)*(147 + -148). Which is smaller: d or -2/2701?
d
Let k = 3049 + -3737. Is k at least -685?
False
Let n be 35*(-2)/(-84) - (-1)/(-30)*-26. Let u = -5 + 6. Is n >= u?
True
Let a be (618/4 - 1)/(88/(-176)). Let i = -427 - a. Which is greater: -121 or i?
i
Let l(f) = -f**2 + 27*f - 180. Let y be l(14). Suppose -2*x - 43 = 10*n - 13*n, -y*n - x = -38. Let o be 1/((-1)/(-22)) + -1. Which is smaller: n or o?
n
Let z be (-202)/(-303)*(0 + 2 - 38). Is 126 at most as big as z?
False
Let k be (3 + -3557 + -2)*(-255)/68. Let w = k - 786795/59. Is -2 less than w?
True
Let t = 75104 + -11040368/147. Let g = -326/4263 + t. Which is smaller: -0.1 or g?
g
Suppose 12*t = 3*t + 9. Suppose 9*s - 18 = 6*s. Let g be (-4)/(-78)*s/16. Which is smaller: g or t?
g
Let n = 363 + -299. Suppose 0 = -u - n - 27. Is 1 at most u?
False
Let h(w) = -6 - 7 - 4*w**2 - 16*w - 17*w + 31*w. Let y be h(6). Is -169 at least as big as y?
True
Let s = -300 + 263. Suppose 14*w = 13*w - 1. Which is greater: w or s?
w
Let r be 29*((-4100)/1932 + 2). Let g = r - 2/69. Which is smaller: g or -3?
g
Suppose -4*s = -7 - 1. Suppose 0 = c + 4, c + s*c + 6 = -2*x. Suppose x*u + 2*u + 2*r = -23, 2*u + 2 = r. Are u and -1 equal?
False
Let o = -26 + -44. Let v = o + 98. Let x = -25 + v. Which is greater: x or -1.5?
x
Let z = -13 + 53/4. Let t = 751 + -737.12. Let i = t + -13.8. Do i and z have different values?
True
Let j = -31759/9 + 3565. Is 2/3 not equal to j?
True
Suppose 0 = -84*d - 62 + 119 - 57. Are d and -9/224 equal?
False
Suppose -4*i + 11989 - 12097 = 0. Which is greater: 19 or i?
19
Let h be 82335/371115 + (-8)/36. Is h > 1?
False
Let s = -222 + 222. Suppose s*z - 4*z - 2*u = 76, -5 = z + 4*u. Suppose -115 = 3*k + 2*k. Which is smaller: k or z?
k
Let q = 2553.78 - -3.22. Let g = q - 2531.74. Let k = g - 25. Does k = -1/3?
False
Let b = 270 + -272. Let j be 236 - ((9 - 12) + 2 + b). Is j smaller than 238?
False
Let h = -10921 + 10922. Which is greater: 15/1577 or h?
h
Let s = 461/21 - 65/3. Let r be (-16 - -13) + 204/70. Let a = s + r. Is 0.09 less than a?
True
Let w be (-3295)/25 + (-2)/10. Let s = -118 - w. Suppose -9*t - 15 = -s*t. Which is bigger: -6/11 or t?
t
Suppose 4*r + 3088 = -c, 575*r - 571*r = -5*c - 15456. Do -3091 and c have the same value?
False
Let q(s) = s**3 - 2*s**2 - 38*s + 69. Let u be q(7). Is u at least as big as 48?
True
Let z = 116 + -115.8. Let p = 1001 - 1161. Are p and z equal?
False
Let f = 18.9554 + 0.0446. Is -12 at most as big as f?
True
Suppose s + 280 = 3*s. Suppose 4*t = -t - s. Suppose 69067*y = 69051*y - 432. Which is smaller: t or y?
t
Suppose m + 170 = 2*c, -3*c = -6*c + 5*m + 283. Is -10/27 smaller than c?
True
Let t(q) = 6*q + 2. Let g be t(-3). Suppose -6*u + 71 = -1. Let d = u + g. Which is greater: -1 or d?
-1
Let n = -5 + 10. Let i = -478.9159 + -0.0841. Let s = 475 + i. Do n and s have the same value?
False
Let m be (-34)/(-6) - 8/12. Suppose 2*u - 50 = 4*c + c, c + 148 = m*u. Let d = u + -39. Is -0.2 <= d?
False
Let y = 442423/27568825 - 44/2725. Which is smaller: y or 0?
y
Let u = 7449 - 7449. Which is smaller: -7955 or u?
-7955
Let h = -2936 + 2935.9. Which is smaller: -2.106 or h?
-2.106
Suppose -5*l - q + 399 = -429, 988 = 6*l + 2*q. Which is smaller: 187 or l?
l
Let n = 1/202 - 415/2222. Let f = 2181807/11 + -198127. Let m = f - 219. Is n != m?
True
Suppose -28*m + 32*m = 176. Let b be 43/4 + (-33)/m. Which is smaller: b or 12?
b
Let t be -1*1/(-2)*-2. Suppose -6*b + 2*b = -2*l, l - 2 = 3*b. Let y be ((-10)/(-535))/(l/(-2)). Which is smaller: t or y?
t
Let o be 5*-1 - (1 + 209/99*-3). Is o smaller than -1608?
False
Let j(h) = 27*h + 112. Let f be j(-4). Let n be -6 - (f/5 - 602/(-70)). Which is smaller: n or -15?
n
Let v(r) = 0*r**2 + 2*r - r**2 - r - 6*r**2 - 2. Let z be v(0). Let i be (z + 747/373)/((-7)/(-14)). Are 0 and i unequal?
True
Let z(v) = v**2 + 56*v + 41. Let q be z(-44). Let f = q + 382. Are -105 and f nonequal?
False
Let j = 64928 + -64558.97. Let z = -369 + j. Is z at most -0.15?
False
Suppose 4*t - 5717 = -3*v - 784, 2*v - 3302 = 4*t. Is v bigger than 1647?
False
Let t be ((-10)/36)/(8/24). Let v = -3.96 + 3.79. Which is bigger: v or t?
v
Suppose -5*q - b - 1049 = 104, -3*q - 689 = 2*b. Let i = q - -333. Suppose 9*s - 12*s - i = 0. Do 2 and s have the same value?
False
Suppose 3*a = -0*a - 9. Let r be (14/21)/(-1*1/a). Suppose r*u + 3*s + 10 = 0, -2*u - 3*s + 2*s - 2 = 0. Is 0 greater than u?
False
Suppose 3*o + 3*j - 27 = 0, o + 5*j = 3*j + 12. Suppose -d - 3*s + 17 = 0, -3*s - 1 = -2*d - 3. Which is smaller: o or d?
d
Let j be 303/16*((-16739)/(-57) - 15). Is 5277 greater than or equal to j?
False
Let j = 5.44 + 1.16. Let x = j + -6.8. Let a = -0.08 - 3.92. Which is greater: a or x?
x
Let b = -560 + 436.2. Let j = 114 + b. Let m = j - -10. Is m less than or equal to 1.5?
True
Let y = -12 + 9. Let z(v) = v**2 + 3*v + 3. Let t be z(y). Let j be ((-3)/14)/((-78)/(-12) - t). Which is smaller: 1 or j?
j
Let w = -8897 - -8494. Is w smaller than -1/3?
True
Let a = -4/33 - -347/957. Let t = -38 + 44. Suppose 2 + t = 8*s. Which is greater: a or s?
s
Let h be 53670/24 - (10 + 13 + -19). Are h and 2231 nonequal?
True
Let q = -862 - -751. Let w be 2/3 - (-32)/q. Which is smaller: w or -1?
-1
Suppose -5*b + 103 + 163 = -s, 2*s + 214 = 4*b. Suppose -z = 155 - b. Is z smaller than -102?
False
Let a = -575/378 + 4/189. Let n = 2.5 + 11.5. Which is bigger: n or a?
n
Let r(j) = -j**2 - 3*j + 1. Let k be r(-3). Which is smaller: k or 4/6103?
4/6103
Let i be 368514/(-8600666) + (-2)/(-46). Is 0 less than or equal to i?
True
Let c be -4 - (-92)/88*-1248. Let g = -1310 - c. Which is greater: g or 0?
0
Let l = 31 - 41. Suppose 9*a + 47 = -43. Is a at most l?
True
Let u = 94198 + -94199. Let j = 364957/57 + -6403. Let o = j + 5/57. Which is smaller: o or u?
u
Let n(t) be the third derivative of -t**6/120 - t**5/12 - t**4/6 - 2*t**3/3 - 10*t**2. Let p = -4 - 0. Let x be n(p). Which is smaller: x or -1?
x
Let t = 4 - 3.969. Let a = 46.031 - t. Let y = a - 46. Is -0.5 >= y?
False
Suppose -185 - 43 = -4*x. Let b be x + 22/(-154) + 12/(-14). Is b greater than or equal to 56?
True
Suppose 48*z + 82758 = -276186. Is -7479 less than z?
True
Let c be ((-9)/(-34))/((-12)/(-16)). Suppose 6*g - 10*g - 236 = 0. Let i = g + 59. Are c and i equal?
False
Suppose 6*f - 749 = 835. Suppose 5*y - 2*h - f = -h, -3*h = 12. Let n = y - 373/7. Which is bigger: n or 0?
0
Let u = 81 - 108. Let t be u - -3 - (-56)/8. Is -16 greater than or equal to t?
True
Let q = -2003 + 2003. Let f be (202/(-78) - -3)*(-18)/8. Which is greater: f or q?
q
Let o be (7 - 296/40)*130/9906. Does o = -12?
False
Suppose -2*o - 682 + 396 = -2*v, 728 = -5*o + 6*v. Suppose -t - 118 = 4*i - 3, 2*t = i - 266. Is o > t?
True
Suppose q - 25 =