(-114)/8. Let a = 21 + -14. Let s(r) = 2*r**2 - 17*r + 7. Let d be s(a). Do d and g have the same value?
True
Suppose -2*x + 45 = -473*m + 476*m, x = m + 30. Which is bigger: 694/25 or x?
694/25
Suppose -b - 4*n + 2*n + 10 = 0, -2*n + 10 = 3*b. Suppose 28*t = -b*t - 14140. Does -506 = t?
False
Let s = -5770689/10 + 576170. Let r = 898 + s. Let z = -16554 + 16553. Is r less than z?
False
Let g be 2/7 - 876/28. Let w be ((-5)/(-2))/((-1308)/18312). Is w < g?
True
Let l = -3516.096 + 13.096. Is l < 0.2?
True
Let z(c) = -c**2 - 96*c - 478. Let w be z(-100). Is -879 at most as big as w?
True
Let t be (-16 - 10)*28/(-4). Let m = -385 + t. Does m = -202?
False
Let v = -3116437/44 + 286415/4. Let y = -782 + v. Is -5 less than or equal to y?
False
Let p(a) = 355*a - 40. Let j be p(4). Suppose 26*q = 31*q + j. Let x be 1*(-2)/q*2/1. Are -1 and x non-equal?
True
Let p be (41 + 285306/(-6930))*((-1)/6 + 0). Is 1/2 at most as big as p?
False
Suppose -3*y = -4*m - 64, 17 + 45 = 3*y - 5*m. Suppose -y*c + 5174 = -10. Is c at least 216?
True
Let q be (-80)/32 - (-183)/78 - (-133167)/(-117). Which is greater: -1139 or q?
q
Let c be ((-63)/(-98))/(-1 + (-69)/(-63)) + -7. Let g(d) = -40*d + 2. Let l be g(-4). Which is greater: l or c?
l
Let t be (6/(-15))/(1/10). Let w(j) = 7*j - 32. Let v be w(-8). Let m = 251/3 + v. Is t bigger than m?
True
Let p = -765 + 402. Let l be (-2)/(-11) + 3333/p. Which is bigger: -8 or l?
-8
Let y be (2/5)/((-3)/15) + (-146)/(-146). Is y greater than or equal to 2/2351?
False
Suppose 5 + 6 = 29*m + 11. Is m > 2/115?
False
Let f = 103.9 - -1.1. Which is bigger: f or 0.9?
f
Suppose -2*o + 397 = -269. Let f = -5321/16 + o. Suppose 1 = 5*z - 4*z. Which is bigger: z or f?
z
Let h be -9 + 13/((-13)/(-144)). Is h greater than or equal to 1470/11?
True
Let l = 0.407 - 2.407. Which is bigger: 0.153 or l?
0.153
Let n(x) = 1138*x**3 + 10*x**2 + 19*x - 2. Let r be n(-2). Which is smaller: -9103 or r?
r
Let c = -20636 + 14952. Are c and 2 equal?
False
Let v be 4*-1*(-11 - -39)/(-7). Let k(z) = z**3 - 9*z**2 + 10*z - 4. Suppose -1 = 2*t - 17. Let c be k(t). Which is greater: c or v?
v
Let p = 2 + -2. Let t = -24763169/957 - -284634/11. Which is greater: t or p?
p
Let d be (-3)/(-1)*(9 - 10755/1269). Which is smaller: 2 or d?
d
Suppose 0 = 5*n - 10, -4*f - 4*n = f - 33. Let c be (f - 0) + -10 - -34. Is 27 > c?
False
Let f(s) = -2*s + 3. Let b be f(-3). Let a be (2/b)/(2/(-3)) - 11. Let c = -12 - a. Is 1 bigger than c?
True
Suppose 5*y = -3*h + 4, -3*h = 15 - 9. Is y at least -617?
True
Suppose 0 = -3*l + 53 + 7. Let b be l/(-30) - (-886)/42. Is b less than or equal to 21?
True
Let o(q) = q**3 - 6*q**2 - 16*q - 16. Let g be o(8). Let m be ((-6)/(-4))/(8/g). Let h = -6 + 3. Is h <= m?
True
Let y = 1 - 0. Let i be ((-5)/9 + 1)/74. Let r = -712/7659 + i. Is y greater than r?
True
Let q(z) = -4*z + 17*z**2 + 7 - z**3 + 0*z - 13*z**2. Let h be q(3). Suppose -2*c + 10 = -h*c. Is c < 2/3?
True
Let c(w) = -108*w - 407. Let b be c(-5). Is 131 at least as big as b?
False
Let m = -21459674/5188991 + 2/87949. Which is smaller: m or -3?
m
Suppose 0 = -44*o + 46*o + 168. Let g = 87 + o. Let s be -2*8 - (g - (-1 + 0)). Is -83/4 < s?
True
Let f = -13580 + 13758. Is f bigger than 184?
False
Let i be (-2 + -1 + -5)*1. Suppose 4*f = 6*f + 14. Let p(h) = h - 1. Let j be p(f). Are i and j equal?
True
Let d = 44 - 39. Suppose -d*i - 5*y - 210 = 0, -4*y + 19 = 7. Let v be ((-2)/(-7))/(i/35 + 3). Is v <= -1?
False
Let p be 5 + 128/60 - (-12)/(-90). Suppose 18*x + 25 = -p*x. Is -2/3 > x?
True
Suppose -4*p + 2 = -2*p. Suppose -3*a = -0*a - 15. Suppose -j + 6 = a*j. Is j equal to p?
True
Let k be (-2)/4 - (-922299)/1844990*1. Let y = k - -1202143036/2503915. Let w = y - 480. Is 0.8 less than w?
False
Let q(b) = 99*b + 5. Let u be q(-7). Let a = 468 + u. Are a and -221 nonequal?
True
Let n = 479 - 382.2. Let l = -346.2 - n. Which is smaller: 0.1 or l?
l
Suppose 0 = 6*j - 2*j. Suppose p + 2*b - 10 = 0, -3*b = -j*p - p - 15. Let c = -118610 - -6404939/54. Is c at least p?
False
Suppose -24 = -4*g + 12. Let o be (-303)/27 - (-2)/g. Suppose 691*u + 5397 + 2204 = 0. Are o and u equal?
True
Let v be 7/((-9)/6 - -2). Let c = -17 + v. Let u be (3/(-5))/(24/120). Is c greater than u?
False
Suppose -2*v + 5*f + 950 = 911, 3*f - 51 = -5*v. Let x = 31 - 13. Is x > v?
True
Suppose -5*p = -5*g - 20, g + 0*p + 2*p = 11. Let z be (-10)/4 - ((-2)/g)/(-4). Is -13/4 less than or equal to z?
True
Let m(c) = c**2 - 52*c - 765. Let l be m(61). Which is bigger: l or -214?
-214
Suppose -8*m + 558 + 1082 = 0. Let k = -142 + m. Are k and 2 non-equal?
True
Suppose 19*q + 215 = -32. Let v = -2.9 - -2.8. Let w = v + 0.2. Do q and w have different values?
True
Let p = -592 - -606. Suppose 0 = p*k + 35*k. Are -352 and k unequal?
True
Let z(j) = j**3 - 5*j**2 + j. Let g be z(5). Suppose 10*i - 225 = g*i. Suppose 0 = 5*h + i - 250. Is h greater than or equal to 41?
True
Let k be (23 + -24)*86*2. Are -160 and k non-equal?
True
Let p = 131.246 - 0.246. Let k = p - 131. Which is smaller: 2 or k?
k
Let h = 78.2 - -89.8. Which is greater: -1 or h?
h
Suppose 12 = 4*y - 2*z, 2 = 2*y - 3*z - 8. Is y at most 76?
True
Let t(o) = 83*o - 77. Let c be t(-10). Let n = -907 - c. Is 29/25 at most n?
False
Suppose 42235 = 3*q - 2*d, -5005 = 5*q + d - 75388. Is 14078 < q?
False
Suppose 5*t - 10*x = -8*x + 22, -t + 5*x + 9 = 0. Suppose -t*q + 190 - 18 = 0. Do -2/9 and q have the same value?
False
Let m = 0 - -1. Let i = -245371 + 1226856/5. Is m != i?
True
Let y = 103976/1166031 + -1/8901. Which is smaller: y or 1?
y
Let q = 1221 + -1203. Let v = 11 + -7. Suppose -v*c = f + 3, c - q = -f - 3*f. Are -1/2 and c nonequal?
True
Let f(j) = -6*j**3 - 46*j**2 + 9*j - 4. Let t be f(-7). Is 3 less than t?
False
Let p be 45 - (2/7 + (-76)/(-28)). Suppose 6 = -p*z + 39*z. Let r = 6 - 2. Is r at most as big as z?
False
Suppose 5*k - 800 = -2*r, 19*r - 14*r = 5*k - 765. Which is greater: k or 157?
k
Suppose 10*c = 1386 - 2706. Is c less than or equal to -131?
True
Let o = -68 + 49. Let j = 19.9 + o. Which is greater: 4 or j?
4
Suppose 0*l = -f + 2*l + 2, 5 = 4*f - 5*l. Let x be (-6)/189*-9 - (-104)/28. Suppose 0 = -4*v - 4*b - 12, -x = 4*b - f*b. Which is bigger: 44 or v?
44
Let t(f) = f**3 - 23*f**2 + f - 17. Let z be t(22). Let u = z - -421. Which is smaller: -59 or u?
-59
Let u be 8/(-9) - (-2046)/4185 - (-4614)/10. Which is bigger: 460 or u?
u
Suppose -6*q + 375 - 21 = 0. Which is smaller: 115/2 or q?
115/2
Let t = 393 + -414. Suppose -16*d = -25*d - 216. Which is smaller: d or t?
d
Let o = 67312193 + -1548545551/23. Let l = o - -15872. Which is greater: -3 or l?
l
Let s = 21016 + -21016. Let m = 16622 - 12549608/755. Which is bigger: m or s?
m
Let a = -7614 - -738549/97. Is a >= 0?
False
Let o be -5 + (16935/25 - 1) - (-4)/(-10). Is o smaller than 3348/5?
False
Let d = -684 + 682. Let w be (4/32*d)/((-25)/(-220)). Is -2 greater than w?
True
Let n = 20942 - 607138/29. Let s = n + -3217/551. Is 0 smaller than s?
True
Let m = -1439.97 - -1456. Let a = m - -0.17. Which is bigger: a or 0.1?
a
Let s be (-5)/20 + 45/20 - 0. Let n be 27 + -30 - s*-2. Does n = 3/2?
False
Let y = -232 - -413. Let k = 215 - y. Is -2 equal to k?
False
Let d be 27517/49*-7 + 13. Which is smaller: d or -3916?
d
Let o = 3110 + -3106. Which is greater: o or 190?
190
Suppose 25 - 41 = -8*v. Suppose 0 = -4*p + v*y, 2*p - 3*y = -4*y. Which is greater: p or -1/86?
p
Let v = -2288322/7 + 325784. Do -1118 and v have the same value?
False
Let j = 2384 - 2382. Is -575 at least as big as j?
False
Suppose 0 = g - 3*b - 0*b - 16, 2*g - 22 = 4*b. Let j = -3/6052 - -8155/4242452. Is j greater than g?
False
Let t(h) = -h + 25. Let w be t(13). Let d be 40/w*(-12)/(-8). Suppose 0*o = o + 4*m + 23, -d*o - 77 = m. Is o less than -15?
False
Let z = -1492.05413 - -0.05413. Which is smaller: 0.1 or z?
z
Suppose -6 - 6 = -3*n, 0 = c - 2*n. Suppose c*i = 6*i + 8. Suppose -2*k = -5*k - f + 2, -f - i = 0. Is 1 > k?
False
Let m(c) be the first derivative of c**4/2 + 7*c**3 + 7*c**2/2 - 30*c - 66. Let k be m(-10). Which is bigger: -1/77 or k?
k
Let s = -21.643 + 21.58. Which is smaller: 1 or s?
s
Let h = 76/759 - 1116416/22011. Which is smaller: h or -51?
-51
Let f = -1172 + 1253.1. Let k =