-r, -o - 3*i - 87 = 4*o. Let b = -122 + 101. Which is smaller: b or o?
b
Let u(a) = -6*a + 101. Let h(q) = 3*q**2 - 55*q + 36. Let s be h(18). Let c be u(s). Which is bigger: -13/2 or c?
-13/2
Let h(x) = x**3 + x**2 - 8*x + 6. Suppose 3*a - 84 + 81 = 0. Let m be h(a). Which is smaller: m or -21/26?
-21/26
Let l = 12 + -11. Let y be (-1461)/(-105) - (-77 - -91). Is l equal to y?
False
Let h = -4930.9 + 5668. Let g = 737 - h. Which is smaller: -104 or g?
-104
Suppose -4*h + 68 = q, 2*q - 4*h - 74 = 50. Is q less than 62?
False
Let y be 2/(-10) + 2070/12150. Which is greater: y or 1?
1
Let z = 1387609/6245 - -6/1249. Which is smaller: 223 or z?
z
Suppose 5*c = -2*d + 8309, -2*d + 101*c = 105*c - 8306. Is d <= 1?
False
Let t be 44/(-10)*(-27 - -22). Let m = -122 + 145. Which is smaller: m or t?
t
Let i = 101 - 409/4. Let o be (-1)/(-2)*6/4. Let s = i + o. Is 5/7 equal to s?
False
Suppose 33*y + 18 = -15. Do y and -2/22463 have the same value?
False
Let d = -2 - -3. Let u = 2096 - 266190/127. Which is greater: u or d?
d
Let m be 19 + 3 + (14 - -1)/(-3). Let r = m - -15. Suppose l - 9*w = -8*w + 8, 4*l + 5*w = r. Which is greater: l or 9?
9
Let x be 3 - 5 - (0/(-2) - -7403). Let t = 4169 + x. Let b = t + 430386/133. Which is greater: b or 0.1?
0.1
Let o = -14397 + 14495. Let v = 173 - 271.1. Let c = v + o. Which is bigger: -10/9 or c?
c
Let d = -78 + 540. Suppose -14*y = -0*y + d. Does y = -95/3?
False
Suppose 79 + 157 = -59*t. Let n(k) = 7*k**3 + k**2 - k - 3. Let j be n(-1). Is t equal to j?
False
Suppose -289*t + 271*t + 10206 = 0. Which is greater: t or 568?
568
Let c be (-4)/(-16) + 65/(-52). Do 9/43 and c have different values?
True
Let v(s) = -s**3 + 5*s**2 + 3*s - 6. Let b be v(4). Suppose 0 = -2*d + 27 - 265. Let f = d + 141. Is b != f?
False
Let b = -15593 + 764055/49. Is b at most 0.097?
True
Let i(g) = g**2 - 25*g + 8. Let x be i(-8). Suppose -1532 - x = -11*l. Is l at most 1?
False
Let n = 28.765 + 0.235. Let g = n - 29.2. Which is greater: 29/2 or g?
29/2
Let k(h) = -7*h**2 + 64*h - 103. Let q be k(7). Which is smaller: q or 115/121?
115/121
Suppose 4 = t, 0 = 2*b - 4*b - t + 400. Let c be 6/27 - (-136)/b. Suppose 0 = 54*g - 51*g - 3. Is c equal to g?
False
Let a = 4563 + -100415/22. Is -1 > a?
True
Suppose 22*c - 21*c = 67. Let k = c - 56. Suppose -5*y + k = 26. Is 0.3 bigger than y?
True
Suppose 33*v + 31*v + 30720 = 0. Which is smaller: v or -482?
-482
Let j = 31/3 + -10. Let a be 1/2 + (-1660)/2184. Let w = a - 1/39. Which is smaller: w or j?
w
Let t(a) = -3*a**2 + 35*a - 36. Let y(p) = -2*p**2 + 23*p - 25. Let b(g) = -5*t(g) + 8*y(g). Let q be b(3). Which is greater: q or -10/13?
-10/13
Let k(g) = 3*g**2 - 20*g - 10. Let p be k(7). Let v be ((-9)/(-6))/p*122. Which is smaller: -542/9 or v?
v
Let p be ((19160/(-84))/5)/(72/(-1188)). Suppose 4*a - 3*a = 757. Let o = p - a. Is o != 0.1?
True
Let q(t) = -4*t + 12. Let j be q(-5). Suppose 2*l + 2*l = -j. Let m = l - -23. Which is bigger: 14 or m?
m
Suppose -9*y = 11*y. Suppose y = 14*h - 9*h - 5. Which is smaller: 4/5 or h?
4/5
Let w be (2 - 5) + (-100)/(-20). Let h be 3/9*(-5 - 0/w). Is -0.4 at most h?
False
Let r(d) = d**3 + 32*d**2 - 67*d + 33. Let a be r(-34). Which is smaller: a or 1/4676?
a
Suppose -4*t + t + 7 = 5*v, -v - t = -1. Suppose 0 = 3*m + v*m + 5*n - 45, -15 = -3*n. Suppose -a + 3*y - 23 = 0, -m*a = 4*y - y + 17. Is a >= -8?
True
Let f be 6560/768*(-20)/21. Let r = -70/9 - f. Which is bigger: r or -2?
r
Let q = -77.7397 + 77.7. Let p = q + -0.0403. Let m = 11 + -16. Is p > m?
True
Let g(f) = 80*f**3. Let y be g(-1). Let o = -1018 - -1084. Let r = y + o. Is r <= -69/5?
True
Suppose -3*l - 4*g + 577 = 0, l - 174 = -8*g + 3*g. Let y = 199 - l. Let q be (-2)/6 - (-22)/(-42). Is q at least y?
False
Let d = -5/1697 - -3409/5091. Is 4013 equal to d?
False
Let c = -9529 - -8866. Is -657 greater than or equal to c?
True
Let s be 1 + 26*8/3*(-9315)/(-1380). Is 468 bigger than s?
False
Suppose -23309*h + 23332*h = 198053. Is 8611 < h?
False
Let k = 0.0435 - -0.1935. Let r = k - 58.237. Which is smaller: -2/3 or r?
r
Let l = 886.9 + -868.9. Which is greater: -2/37 or l?
l
Suppose -179*w + 182*w = 9, 4*g - 4*w = -8. Which is smaller: 13/155 or g?
13/155
Let k = -12262 + 13955. Is k less than 1689?
False
Let r = -15.2 + 2.2. Let x = 24 - 10. Let y = x + r. Which is smaller: y or -0.1?
-0.1
Suppose 0 = -4*t + 8*t. Which is bigger: 14/341 or t?
14/341
Let o = 3867/5 - 768. Let w(i) = -i**2 + 14*i + 5. Let k be w(14). Suppose 20 + 5 = 4*b - k*j, -3*j - 18 = -3*b. Is o <= b?
False
Let l = -1.11992 + 0.11992. Do 7671 and l have different values?
True
Let a = -258 + 265. Let d(t) = -t**2 + 2*t + 6. Let q be d(6). Let g = q + a. Is -10 > g?
True
Let w = 0.003 - -0.047. Let i = 1061 + -1064.9. Is i at most w?
True
Let q(s) = 9*s - 40. Let m be q(-8). Let o = 568/5 + m. Let r(w) = -w + 1. Let k be r(1). Which is smaller: o or k?
k
Suppose -5*m - 5*w = 210, 0 = -m - 0*w - 4*w - 27. Let v = 1749 - 1794. Which is greater: v or m?
v
Let h be 4 + (-5)/(-100)*538. Let n = 1009/35 - h. Let s = 32/7 + n. Which is greater: 3 or s?
3
Let u = -246 - -420. Suppose 5*m + u = 2*b, -m - 30 = -4*b + 12. Which is bigger: -35 or m?
m
Let f = -1 + 1. Let x = -63/82 + -4763/738. Let t = 7 + x. Is f at most as big as t?
False
Let s(d) = -168*d - 6603. Let c be s(-37). Which is smaller: c or 10?
c
Let y = 213221011/8 + -100023226199/3752. Let n = 6016 + y. Is n greater than or equal to 1?
False
Let n = -9410 + 9410.92. Is n <= 39?
True
Let h = -122.9485 + 123. Let r = 0.0485 + h. Let b be 2/8 - (-81)/(-20). Which is smaller: r or b?
b
Let m be (2 - 2) + (15 - 0). Let g be (-9)/27 + -6*(-8)/(-18). Let x be 2/g + 188/12. Is x at most m?
True
Suppose 0 = -m - 26 + 23. Let k be 15/(-108)*(-65 + (-6 - m)). Let o = 2492/261 - k. Which is smaller: 1 or o?
o
Let x = -5 + 19. Let z = 188.766 - -0.234. Let b = z - 188.9. Is x at least b?
True
Let o = 162175 - 162088. Suppose n - 52 = -2*j + 41, -3*j - 165 = -2*n. Is o at least n?
True
Let t = -2.773 + 0.773. Which is bigger: t or -1.179?
-1.179
Let h = 695 + -913. Let s = h - -227.5. Are 2 and s non-equal?
True
Let x be ((-14)/49 - 0) + ((-104100)/91161)/(-4). Which is smaller: 1 or x?
x
Let w = 5530 - 5412. Is 0.08 at least as big as w?
False
Suppose 0 = 15401*b - 15413*b + 36. Suppose 2*p + 81 = -p. Is p > b?
False
Suppose -5*d = 5*c + 20140, 12*c + 8049 = -2*d + 9*c. Is -4035 != d?
False
Let i = -33119 + 33119.2. Is -3370 < i?
True
Let p = -239 - -257. Let v = 15 + p. Which is greater: -3/7 or v?
v
Let l = -0.0505 - 8.9495. Let g = -15 - -27. Let c = l + g. Is c >= 4/7?
True
Suppose 0 = 126*n - 130*n + 320. Let s = n - 253/3. Let z = -19 - -15. Which is bigger: z or s?
z
Let o = -1/768638 - 1785161751/3074552. Is -580 at least o?
True
Let b = 5 - 0. Let l = -1906 - -1912. Which is smaller: l or b?
b
Let p = 10340 - 9672. Which is smaller: 680 or p?
p
Let b = 4817.04 - 4651. Let c = 166 - b. Which is bigger: c or 0.2?
0.2
Let n(j) = -5*j**3 + 4*j**2 - 4. Let y = 13 - 11. Let l be n(y). Let v(i) = -i**2 - 4*i + 4. Let r be v(4). Is r greater than l?
False
Let t(i) = 32*i**2 - 55*i - 426. Let z be t(-7). Are z and 7628/5 equal?
False
Let i(s) = s**3 + 14*s**2 + 68*s + 42. Let p be i(-9). Which is greater: p or -162?
-162
Suppose 3*u + 2*x + 31 = 0, 3 = -2*u - x - 17. Let f be u/6*(-2 - 0). Suppose 2 = -f*k + 5. Which is bigger: k or -1/26?
k
Let u be (-1620)/(-144) - 1/4. Suppose -5*c = -u + 16. Which is smaller: 7/24 or c?
c
Let u = 3488 + -118595/34. Which is smaller: 1 or u?
u
Suppose 0 = p + 5, 2*l - 4*l + 3*p = -13. Let v = 399 + -192. Let y be v/198 + (-6)/4. Is l less than y?
True
Let y(i) = -19*i**3 + 166*i**2 - 12*i + 15. Let z be y(9). Is -495 bigger than z?
True
Let i be 886452/221440 - (0 + 4/1). Is i > 1?
False
Let i = 774 + -387. Let p = -322 + i. Which is greater: p or 0.2?
p
Let a(t) = t**3 - 12*t**2 + 15*t - 16. Suppose 25 = 5*d, 3*d = 5*n + 6*d - 70. Let w be a(n). Let g be (-7)/w*24/(-387). Is -1 less than g?
True
Let v(f) = 5*f + 11. Let p be 4 + (-4 - -2) + 20. Let y = p + -35. Let c be v(y). Which is smaller: -55 or c?
-55
Let t = -2 + 2.05. Let v = 1681.95 + -1681. Let g = t + v. Is 25 equal to g?
False
Suppose -2*k + 4 = 2*u, -24 = -3*u + 4*k - 