 o - 31 = -15*k. Which is smaller: k or -3/65?
k
Let d = 2.45 + 0.55. Let w = 78 - 74. Is w bigger than d?
True
Suppose 7 = 2*u + 5*l, -2*u - 39 + 44 = 3*l. Which is smaller: -2/965 or u?
-2/965
Let g = 96/1103 - 181197/2043859. Let b = g + 185339/24089. Is b smaller than 9?
True
Suppose -15*q = -0 - 0. Let d(y) = -y**2 + 11*y + 222. Let r be d(q). Which is greater: r or 224?
224
Let a = 11.4 - 11.2. Let g = a - 7.9. Is g smaller than 0.1?
True
Let j = -0.445 - 182.555. Let z = j - -183.07. Is z < 4/11?
True
Suppose 6*w = -2*w. Suppose 90 = 5*g + y - 82, w = 4*g + 4*y - 128. Let x = g + -25. Is x at least 11?
False
Let i = 27501 + -27906. Is i at least -9?
False
Let i(o) = -79*o - 2624. Let r be i(-35). Which is smaller: 138 or r?
138
Let a be (-846)/(-7896)*((-39)/9 + 0). Which is bigger: a or 2/5?
2/5
Let i = 0.8617 - 0.83. Let m = 1.9683 + i. Which is smaller: m or -2/27?
-2/27
Suppose 1184 = 184*k - 221*k. Does -15 = k?
False
Let l = -0.94 + 39.94. Let x = l - 40.4. Let h = x + 1.3. Which is greater: h or -43?
h
Let t = 451247/15 - 149317/5. Does t = 220?
False
Let w = -692 + 430. Which is bigger: 13 or w?
13
Let l = -5413697/705 + 7679. Which is smaller: l or -3/13?
-3/13
Let z = 1055 + -88621/84. Suppose 2*u - 2*w - 9 = 1, -4*w + 12 = 0. Let o be u/(-2) + 0/17 + 3. Are z and o unequal?
True
Let t = 7 + 18. Suppose 622*y = 347*y - 1375. Which is bigger: t or y?
t
Let y(x) = x**3 + 13*x**2 - 33*x + 7. Let a be y(2). Do a and -2/727 have the same value?
False
Let i = 2.2 + -2.46. Let h = i - 0.04. Let o = 24314 + -24325. Is o at most as big as h?
True
Suppose -1545 = 116*j - 1429. Which is smaller: -3/8903 or j?
j
Suppose -5*c + 115 = -4*i + 26, -i - 52 = -3*c. Let r = c + 21. Let u = -13575 + 13577. Which is greater: r or u?
r
Let z be 22*8/(-176)*1198/54. Is z at most as big as -22?
True
Let r be 20/(600/(-270)) - (-135955)/15106. Which is smaller: r or -1?
-1
Let c = 6507 - 5372. Which is smaller: 1 or c?
1
Let h(u) = 2*u - 124. Let l be (-4 + 1)*((-8)/8 + -2). Let w be h(l). Is -106 less than w?
False
Let l(s) = s**3 - 4*s**2 - 4*s - 1. Let m be l(5). Let i be 105/(-162) - (-2)/m. Suppose q - 6 = -2*b, -127 = -2*b + 3*q - 137. Which is bigger: i or b?
b
Let z(n) = n**3 - 9*n**2 + 11*n + 5. Let i be z(7). Let j = -28 - i. Let x = -13 - j. Which is smaller: -1/32 or x?
x
Suppose g = w + 5, 5*w - 2 = -2*g + 1. Let t(o) = o**3 - 4*o**2 + 4. Let m be t(g). Suppose -2*q - 10*u = -11*u - 8, 0 = -2*u. Does m = q?
True
Let h = 3593 + -305407/85. Suppose -4*d + 2*f = 6*f, 0 = -2*f. Is d at most as big as h?
False
Let j = 3 - -5. Let x = j - 6. Is x at most as big as -9?
False
Suppose -301 = -4*l - 3*d, 0 = -3*l - 25*d + 23*d + 226. Is -17 < l?
True
Suppose -2 = -8*q + 14. Suppose 4*t - 6*t = q*d, 0 = 3*d - 5*t + 40. Let s be -10*(3/(-6))/(-1). Is s equal to d?
True
Let f(o) = 3*o**3 - 10*o**2 - 41*o - 54. Let z be f(-8). Is -1902 bigger than z?
False
Let u = -1.06 + 0.75. Let r = -0.56 - u. Let b = r - 0.04. Is b bigger than -1?
True
Let c(d) = -d**2 - 4*d + 17. Let u be c(-6). Suppose 29 = -u*b - 151. Let l be b*((-2)/(-4))/(1/(-1)). Which is smaller: 17 or l?
17
Let v(p) = -p**3 + 6*p**2 + 5*p + 7. Let y(f) = -f**3 - 6*f**2 + 3*f + 25. Let b be y(-6). Let u be v(b). Does u = -7?
True
Let f = -25057 - -25288. Is f at least as big as 24?
True
Let s = 7124 + -14249/2. Which is bigger: s or 942?
942
Let g(z) = -6*z + 86. Let v(x) = -4*x + 86. Let f(c) = -6*g(c) + 7*v(c). Let s be f(-10). Which is smaller: -2 or s?
-2
Suppose -17*x - 3851 = -3851. Is -4/323 at most as big as x?
True
Suppose 30*g - 12*g + 206244 = -18*g. Which is smaller: g or -5733?
-5733
Let c = 1137 + -1202. Which is smaller: -68 or c?
-68
Let z(c) = 4*c - 15. Let n be z(4). Let k be (-1)/(-2)*(3/n + 5). Let x(s) = -s + 4. Let y be x(-4). Which is greater: k or y?
y
Suppose -3*k - 210 = -4*b + 174, 5*b - k - 469 = 0. Let x = 31 - b. Let o = -17 - x. Is o at least as big as 46?
False
Suppose -4*x + 0*x - 13 = -5*k, -3*x = 2*k - 19. Let s be 43*(x + 4/2*-1). Do s and 42 have different values?
True
Let r = -158/71 + 158332/71213. Which is bigger: r or 1/3?
1/3
Let r = -99 - -98.6. Let z be (-13 + 1)/(9/(-6)). Let a be z/(-4) - 4/(-2). Is r <= a?
True
Let q be (12/(-30))/((-66)/1565). Let c = 108/11 - q. Let d = -6 + 5. Which is greater: d or c?
c
Suppose -4 = 3*j - 3*r + 8, 0 = 4*r - 12. Let n be 4/(-14) - 371/245. Which is greater: j or n?
j
Let w = -7451 - -5996. Is -1451 greater than or equal to w?
True
Let t = -2250 - -4515/2. Which is smaller: -61/4 or t?
-61/4
Let x(c) = -2*c + 35. Let w be x(18). Let a be 45/25 - (w + 12/15). Let i be (1 - a)*(-5 + 1) + -3. Which is smaller: i or -3/23?
-3/23
Let p = 121 + -111. Let k be p*4/8 + -3. Which is smaller: 6 or k?
k
Let w = 25 - 25.236. Let f = 122.236 + w. Which is smaller: -1/4 or f?
-1/4
Let s = 2/207 - -5585/414. Let t = 1111/82 - s. Let d = t - -76/123. Which is bigger: d or 1?
1
Let b = -4/42537 + 992678/1573869. Let u = b + -2060/333. Which is greater: -6 or u?
u
Let w = 366 - 364. Suppose 0 = w*h + j + 30, -33 - 19 = 4*h + 4*j. Suppose 29 + 28 = -3*t. Is t equal to h?
False
Let h = 385 + -445. Which is greater: h or 23?
23
Let g(z) = -5*z**3 + 2*z**2 - 7*z + 24. Let x(u) = -u**3 - u**2 - u + 1. Let v(k) = -g(k) + 6*x(k). Let c be v(-8). Do c and -26 have different values?
False
Let l be (-5*(2 + -3))/((-690)/114 - -6). Is -117 smaller than l?
True
Let q(t) = -2*t**2 - 24*t - 26. Let b be q(-11). Let r be (-1)/b - 1/4. Which is greater: r or 1/21?
1/21
Suppose 5*f = g - 2676, 0 = -f - f - 3*g - 1067. Let y = 13215 - 76087/6. Let q = f + y. Which is smaller: -3/2 or q?
-3/2
Let b = 58 + -59. Let o(q) = q**3 + q**2 - q + 1. Let v(x) = 4*x**3 - 3*x**2 - 8*x - 11. Let p(n) = b*v(n) + 3*o(n). Let w be p(7). Which is smaller: w or 7/15?
w
Suppose 3*d = -d - 64. Let h = 220 + -219.75. Let w = 0.35 - h. Is d > w?
False
Let m = 129 + -113.6. Let h = m - -1.6. Let y = h + -2. Which is smaller: y or -0.1?
-0.1
Let d(a) = 20*a + 42. Let s be d(-2). Let o be (-6)/(-2) + -4 + s/(-6). Let l be ((-9)/(-2)*-2)/5. Which is greater: l or o?
o
Let v be (1 - 14)*13 + 1 + -1. Are -1516/9 and v unequal?
True
Let u = 232 + -369. Let p = 133 + u. Let g = 67/423 - -3/47. Is p > g?
False
Let i be (-3)/(-1) - (23 + -9)/2. Let q be 0/(30/20 - (-2)/i). Let l = 7 - 15/2. Which is greater: q or l?
q
Let b(l) = -9*l - 7 + 0*l**2 - 2*l**2 + 2*l - 10*l. Let t be b(-9). Let i be (t - 2) + 3 + -6 - -1. Which is smaller: i or -22?
-22
Suppose 0 = -2*z - 5*b - 11 + 33, 0 = 4*b - 16. Let y be (4/(-8) - -1) + z/(-2). Which is smaller: y or -1/59?
-1/59
Let l = -243478 + 11930830/49. Which is bigger: 7 or l?
l
Let s(v) = -v + 27. Let b be s(-18). Suppose 3*i + 55 = 4*j, 0*i - b = -5*j - i. Is j less than or equal to 9?
False
Let b = 336 + -14785/44. Let m be (2 + 6/(-5))/(132 - 128). Which is bigger: b or m?
m
Let a = -6191/363764 - -13/1724. Is a at most as big as 1/6?
True
Let w = -0.00821 - -542.30821. Let j = w - 542. Which is smaller: 1/168 or j?
1/168
Let h(s) = -37020*s**2 - 330*s - 331. Let a be h(-1). Is a at most -37022?
False
Let l(x) = 19*x**2 + 21*x - 128. Let w be l(5). Let p = w - 1357/3. Is 38 <= p?
False
Suppose -1479 = 17*v - 625 + 1696. Is v less than or equal to -157?
False
Suppose 8*u + 3*l - 14 = 4*u, -3*u + 4*l = 2. Suppose -9*i = -u + 11. Let v = 629/371 - 12/7. Which is bigger: v or i?
v
Let i = 106 + -151. Let k = -3046 - -3000. Is k > i?
False
Let x = -311 + -22. Let m = -332.1 - x. Which is smaller: -7 or m?
-7
Let c be ((-3)/2)/((-12)/8). Suppose 16 = -3*s + 4*h, -s - 2*h = 3*h + 18. Let g be (-1 - (-422)/42) + s/(-12). Which is bigger: g or c?
g
Let u be (19/3 - 6)/((-1015)/(-42)). Let v = -18.2 + 19. Let s = -0.9 + v. Is s smaller than u?
True
Let p be 739/(-42) + 530/(-1590). Which is smaller: p or -17?
p
Let u = 15437/13 + -1188. Let l(w) be the third derivative of w**6/120 - 3*w**5/10 - 5*w**4/6 + 3*w**3 + 5*w**2. Let o be l(19). Which is bigger: u or o?
u
Let b = -508927/912 + 10664/19. Is 2 smaller than b?
True
Let i be (34/(-116))/((-8)/(-212)). Let n = i - -31/4. Which is bigger: -1 or n?
n
Suppose -10 = -4*v - 6. Let r be 0/v - (-2 - 25/(-15)). Is 72 not equal to r?
True
Suppose 9*c = 7*c - 36. Let f = -22 - c. Let k be 3/f