= -2/1837 + 18388/16533. Which is bigger: i or l?
i
Let s = 85 + -88.1. Let d = s - -2.9. Let i = -1.8 - -2. Does d = i?
False
Suppose -50*u + 480 = -45*u. Suppose 0 = -d - 31*d - u. Do -13 and d have the same value?
False
Let l = -1505 - -1503. Which is bigger: l or 436?
436
Let p be 3 - (12/2 - ((-35235)/3910)/(-3)). Is p at most as big as 0?
False
Let f(q) = q**3 - 22*q**2 - 75*q + 2506. Let l be f(19). Is l less than or equal to 0.1935?
True
Suppose -9*f + 20 = 74. Let n be (6216/623 - 7) + f/2. Let x be 0/(2 + (2 - 2)). Do x and n have different values?
True
Suppose -4*w + 2*z - 6 = -9*w, -12 = -4*z. Let o = -4 - w. Suppose -g + 8 = -2*i - 5, 0 = i + 4*g + 2. Is i greater than or equal to o?
False
Let u(i) = -8*i - 52. Let d(t) = 12*t + 79. Let g(o) = 5*d(o) + 7*u(o). Let v be g(-6). Let a = -6 - -13. Is v not equal to a?
False
Suppose 3*s + 4 = 4*v, -v + 8 = v - 3*s. Let t be v - -1 - 2*-133. Is t smaller than 266?
True
Let y(c) = 47*c - 940. Let r be y(14). Do -282 and r have different values?
False
Let c(i) = 240*i**3 + 30*i**2 - 10*i - 14. Let u be c(-2). Do -1798 and u have the same value?
False
Let y = 1633 - 1149. Let u = y - 484. Is u greater than 20/69?
False
Suppose 2*l + 4*f - 1234 = 0, 102*f - 104*f = 2*l - 1224. Which is greater: l or 0.1?
l
Let t = 1780 - 2403. Is -624 >= t?
False
Let l(n) = 3*n**3 - 7*n**2 - 10*n + 23. Let y be l(6). Let a = y + -334. Which is greater: a or 103/4?
103/4
Let p = -193/10 + 893/50. Is -2 less than or equal to p?
True
Let g = 12/28049 - 52535837/140245. Is g < -374?
True
Let b(w) = w**3 + 43*w**2 - 3*w - 128. Let p be b(-43). Is 48/137 less than p?
True
Let v be (-27 + 31)*1/(-5)*(-38150)/20. Is v greater than 1523?
True
Let q be 1*6/(-18) + (-5)/(-15). Let s be (6/15 - 0)/(352/30). Is s at most as big as q?
False
Let h(d) = -13*d**2 - 35*d + 117. Let v(j) = -16*j**2 - 36*j + 119. Let y(f) = -6*h(f) + 5*v(f). Let w be y(6). Which is bigger: w or -13/45?
w
Let q(b) = -22*b + 825. Let y be q(37). Let v = 210/13 - 227/39. Is y greater than v?
True
Let k = -6.3 + 1.3. Let c = 140.5 - 138.5. Do k and c have the same value?
False
Let c = 6.1 - 6.08. Let w = c + -0.02. Which is smaller: 15/7 or w?
w
Let l(t) = -t**3 - 15*t**2 - 5*t + 7*t**2 - 2*t - 5. Let i be l(-7). Let f be 1 + (i - -3) + 26/1. Which is smaller: f or 26?
f
Suppose 0 = 4*y - 1662 + 2302. Which is smaller: -156 or y?
y
Let h(x) = x**2 - 31*x + 234. Let j be h(13). Let u be ((-70)/21 + j)*(-48)/(-10). Suppose -14 - 14 = 2*q. Is q equal to u?
False
Let s be ((-124)/2)/(-1 - 1). Suppose 11*u - 356 + 102 = 76. Which is greater: s or u?
s
Suppose -5*r = 4*v + 37765, -2*r + 16*v - 15139 = 11*v. Is r at most -7557?
True
Let f = -33172 - -33204. Are f and -1/5 non-equal?
True
Let k(i) = -48*i + 384. Let l be k(8). Which is bigger: l or -1216?
l
Let o = -5444 - -5446.1. Does -2/5 = o?
False
Let t = -139925/61617 + 157/69. Which is smaller: t or 0?
0
Let v = 147631/295270 - -2/147635. Is -2995/11 smaller than v?
True
Let h be 3/((1 - -1) + -13). Let c(b) = b**2 - 8*b + 11. Let p be c(7). Suppose p*x - y - 3 = -2, -5*y = 25. Is x less than h?
True
Let x = 74 + -89. Let j be (-4 - x/3)*14. Suppose 19*h = j*h - 260. Which is bigger: h or -53?
h
Let k = -485 - -487. Suppose 113 = -g + k*a, 5*a - 3*a = 2. Which is smaller: g or -113?
-113
Let y = 133.76 + -135. Let w = y + -61.76. Let c = -81 - w. Which is greater: c or -3?
-3
Suppose -12 = 9*a - 7*a + 2*p, -4*p - 4 = -a. Let l be (1 + -1)/(-7 - a). Which is greater: -7/9 or l?
l
Let p be 5/(3210/36 - 15). Is p not equal to -1?
True
Let s = 16 - -8. Suppose 4*v - o = 103, 3*v + o - 51 = 21. Is s smaller than v?
True
Let f = 12.61 - 19.18. Let w = -1.43 + f. Is -0.03 smaller than w?
False
Let c be 3/15*(-110)/44. Is 705 != c?
True
Let d = 38 + -26. Let f be (-151)/7 - d*4/112. Which is greater: f or -24?
f
Suppose 3*p = -4*p + 84. Let f(b) = -2*b**2 - 29 - 3*b**2 + 4*b**2 + p*b. Let d be f(10). Which is greater: d or 3?
3
Let q = 49 - 35. Suppose 2*n - 14 = -4*z, 5*z - 3*n - 48 = -q. Suppose 98 = -5*d + 118. Which is smaller: d or z?
d
Let b be 590/(-105)*3 + (-15)/105. Is b at least -5?
False
Let u = -73 + 18. Let r be 2/((u/(-100))/11). Let x = r - 34. Is x >= 6?
True
Let a = 151.89 - 152. Let t = 0.15 - a. Is t greater than or equal to 1/3?
False
Let c be ((-36)/50)/(-2)*(-4823)/(-1113). Is 2 >= c?
True
Let a be (-38)/(-1976)*52*42/(-653). Is 1 < a?
False
Suppose 4*s + 4*d = -5712, 7*d = -3*s + 12*d - 4276. Which is smaller: -1428 or s?
-1428
Let z(l) = 145*l**2 - 10*l + 8. Let q be z(2). Let k = q - 566. Let f = -1.75 - -2. Which is smaller: f or k?
f
Let s be ((9/(-21))/(220/(-14)))/((-8)/5). Is 0 >= s?
True
Let c be (1/3)/((-2)/(-18)). Suppose -5*x = -2*z - 21 + c, -3*x = -12. Suppose z - 5 = 4*a + d, -5*d + 4 = -4*a. Is -2/47 bigger than a?
True
Let f be -110 + 11 - 2/1. Let i = f - -177. Let x be (-46)/i + (-3)/(-6). Is 2 > x?
True
Let g = 1.98 + 35.82. Let r = 7.2 + g. Are r and 1/5 equal?
False
Let v = -0.473 + 0.907. Let f = -0.334 + v. Is 6/73 smaller than f?
True
Let d be 5 + -2 + 1 - -52. Let g = d + -54. Let w be ((-60)/(-28) - 4) + g - 0. Is -0.11 equal to w?
False
Suppose -19*b + 6*b - 2184 = 0. Let v be (-126)/b*(-56)/(-6). Is -12 at least as big as v?
False
Suppose 0 = 286*p - 310*p - 6600. Is -272 greater than or equal to p?
True
Let o = 84 - 65. Let t = 28 - o. Suppose 0 = u - t*u - 848. Is -105 smaller than u?
False
Let y be (-667191)/(-441) - 12/(-126) - 2*-2. Is y less than 10618/7?
False
Suppose 49 - 13 = 9*w. Suppose 7*n - 4*n - 3 = 0, -2*n + 38 = w*o. Let u be 12/o + 2/(-6). Is u less than 1?
False
Let u = 42443 + -42442.51. Is u at most as big as 4.4?
True
Let r(l) = 1580*l - 576. Let s be r(1). Which is greater: 9046/9 or s?
9046/9
Suppose -5*s - 3*m + 148 = m, 3*s - 2*m - 102 = 0. Suppose 3*j = -3*z - 57, -z + 4*j + 94 = -6*z. Let r be 2/(-4) - 567/z. Is s less than r?
False
Let p be (-1)/(-3) + (2240/6)/(-4). Is -117 greater than or equal to p?
False
Suppose 12389 = -9*d + i, 5*d - 5*i - 1244 + 8109 = 0. Is -0.1 >= d?
True
Let y = -514 + 527. Suppose 2163 = -y*o - 1724. Which is smaller: -297 or o?
o
Let l(k) = -18*k**3 + 5*k**2 - 7*k - 4. Let n(y) = -18*y**3 + 4*y**2 - 6*y - 3. Let p(q) = 5*l(q) - 6*n(q). Let r be p(1). Is r equal to 0?
False
Let o = 1195.76 - 642.95. Let v = o - 553. Are 0 and v non-equal?
True
Let a = 1.3 + -3.3. Let l = 61.48 - 1.98. Let g = l + -61. Is a at least g?
False
Suppose 96*r = 98*r - 8. Suppose -2*o - 2 = -r*c + 2, 5*o = 0. Which is smaller: c or -3?
-3
Let u be (5*-1 + (-160)/(-32))/6. Are 4/203 and u non-equal?
True
Let s = 8564 + -8563. Which is smaller: s or 2/14221?
2/14221
Let m = -0.048 + 24.048. Let n = -9 + m. Let r be (-5 - -1)*(-5)/120*-4. Which is bigger: n or r?
n
Let u = 2.2 + -2.86. Let i = -0.14 + -0.22. Let g = i - u. Which is bigger: -1/9 or g?
g
Let d(f) = 3*f**2 - 4*f - 7. Let u be d(9). Suppose -31*h + 17*h = 11*h - 4975. Which is smaller: u or h?
h
Let j(r) = 5*r + 3. Let c be j(1). Suppose -4*i - t = -5*t, 0 = 3*i + 5*t + c. Which is bigger: -2/251 or i?
-2/251
Let o = -42.27143 + 0.00143. Let l = 0.73 - o. Let a = l - 42.99. Which is smaller: a or -3/7?
-3/7
Let x(h) be the first derivative of 2*h**2 + 34*h + 1. Let c be x(10). Is c <= 73?
False
Let r(s) = s**2 - 129*s + 2621. Let a be r(25). Which is bigger: a or -20/3?
a
Let s = 565 + -568. Let t be 5 - (2/(-6) + (-4)/s). Are t and 0 equal?
False
Let o = -404 - -413. Suppose -o = -f + 5*p + 5, -3*p = -3*f + 30. Which is smaller: f or -2?
-2
Let a(z) = z**3 - 11*z**2 + 3*z + 13. Let y be a(10). Let l = y - -23. Let q = 1574 - 1609. Is q <= l?
True
Suppose -3508 = -10*u + 2102. Let k = 454 - u. Which is smaller: -3 or k?
k
Suppose 2*l + 10 = 4*t, -60*l + 55*l + 5*t - 15 = 0. Which is smaller: l or -9/1984?
l
Let x be 140/30 + 4/(-6). Suppose -x*y + y = -i + 27, -i = 3*y - 57. Let p = i + -43. Which is smaller: -7/11 or p?
p
Let g(s) = s**3 - 10*s**2 + 19*s - 22. Let p be g(8). Suppose -p*x + d + 2 = -x, -5*x = 2*d - 3. Which is greater: x or 3/188?
x
Let r be (114 + -14)/(-10) - -14. Let n(f) = -f**3 + 14*f**2 + 3*f - 46. Let v be n(14). Which is greater: v or r?
r
Suppose 3 - 10 = 7*f. Let x = -124.3 - -123.795. Which is greater: f or x?
x
Let n = -952102/23 