 Suppose -4*b - 83 = -k, -4*k - b - b = -260. Suppose 0*z = z + k. Is t greater than or equal to z?
True
Suppose 51*p = p - 200. Let t be 2/((-5)/40*p). Is 29/10 equal to t?
False
Suppose -r = 4*t - 11, 4*t - 16 = 11*r - 7*r. Is -1/19337 bigger than r?
True
Let n = -4 + 20. Suppose -l + 6 + n = 0. Suppose 22 = 2*c - 3*z, 2*c - 2*z + 5*z - l = 0. Which is bigger: 2 or c?
c
Suppose -5*z + 0*d - 3*d - 25 = 0, 0 = 4*d. Let x be (-3 + 4 + -1)/((-5)/z). Which is greater: x or 1/38?
1/38
Let r = 3664.93 - 3687. Which is smaller: -1 or r?
r
Let n(c) = 67*c**2 + 25*c - 41. Let x(m) = m**2. Let b(i) = -n(i) + 2*x(i). Let j be b(2). Is -269 bigger than j?
False
Let q = 2863853677/5291611290 + -20/1434041. Let s = 26/45 - q. Is s smaller than 0?
False
Let u(p) = -57*p**3 + 3*p + 2. Let o be u(-1). Let g = 42 - o. Let j(a) = a**3 + 5*a**2 + 2*a - 6. Let i be j(-5). Is i smaller than g?
True
Suppose 223*h - 166*h + 2736 = 0. Which is smaller: h or -50?
-50
Let m be (-51)/(-7) + (-10)/35. Suppose -m*j + 0*j + 21 = 0. Let k be j + 0 + 16/(-4). Which is smaller: k or -2/17?
k
Suppose -58*i + 992 = -13*i + 227. Which is bigger: i or 19?
19
Let j(s) = 32*s**2 - 85*s + 144. Let d(h) = 6*h**2 - 17*h + 29. Let f(z) = -11*d(z) + 2*j(z). Let l be f(6). Is 1/406 less than l?
False
Let a = 749 + -3418. Which is greater: a or -2668?
-2668
Let d = -702 - -695. Let s be d + 1 - -2*5/2. Is 3/320 >= s?
True
Let l(w) = -w - 5. Let k be l(-5). Let u be ((-7)/((-42)/(-12)))/(1 + k). Let y be (u/(-36))/(12/(-192)). Is -3 at least y?
False
Let f(h) = 10*h**2 + 2*h - 3. Let z be f(1). Let c be (-1)/z + 86*3/702. Does -1 = c?
False
Let r = -473 - -475. Let y = -145 - -173. Which is smaller: r or y?
r
Let w = -298096/45 + 6625. Is w less than 1?
True
Suppose 0 = 4*s + 3*t + 35, -s + t - 5 - 2 = 0. Let r = 3 - 2.8. Let z = r - 0. Is z <= s?
False
Let j be 6*(-449878)/(-23712) + (-5)/8 + 1. Is 113 less than j?
True
Suppose -3 = 42*f + 27 - 30. Is 32/877 at most as big as f?
False
Let u be (84/(-6))/(-1) - (10 - 1). Which is smaller: u or -322?
-322
Suppose 2*x + 219*c - 217*c = -4184, -6306 = 3*x - 2*c. Are x and -2097 non-equal?
True
Let j be (-155)/50 + 1/10. Let u be j*(-10)/(-180) - (-1)/6. Which is smaller: u or 26/21?
u
Let r be 3 + ((-3)/4 - 29229/180). Let s = 160 + r. Is s at most as big as 2/51?
True
Suppose f = 3*z - 66, -z + 0*z + 209 = -4*f. Let m be (-190)/3060 + (-6)/f. Suppose -3*y - 3 + 6 = 0. Is y greater than or equal to m?
True
Let p(x) = -7*x**3 + 8*x**3 + 2*x + 1 + 4*x**2 + 0*x**2. Let g be p(-2). Suppose 2 = 4*c + 3*s - s, -2*s + 3 = g*c. Which is bigger: 2/165 or c?
c
Suppose -1504 - 13366 = 46*t + 40698. Are t and -1210 equal?
False
Let s = -4857 - -4856.8. Which is bigger: -73/24 or s?
s
Let a = -50 - -62. Suppose 0 = m - 14 + a. Suppose m*r + 2*r - 44 = 0. Are 1 and r equal?
False
Let k be (16/3)/(-5 + 153/27). Suppose -9*b = -k*b. Suppose 0 = -5*h - 3 + 108. Do h and b have the same value?
False
Let x = 15 - 125. Let f = -983 + 875.8. Let y = f - x. Which is bigger: y or -0.2?
y
Let w(x) = x**3 + 12*x**2 - x - 7. Let c be w(-12). Suppose v = 4*z - 1 - 14, -c*z = 4*v - 3. Suppose 0 = z*s + 9. Is s at most as big as -2?
True
Suppose 5*g - 6 = -2*v + 39, -5*g = -25. Let s = 6 - 10. Let x = v + s. Which is smaller: 8 or x?
x
Let h = 0.1 + -0.8. Let v = -38946 - -38937. Do v and h have the same value?
False
Let o be -1 - -6 - 6*7/21. Let q(n) be the first derivative of -n**4/4 + 2*n**3 + 5*n**2 - 15*n + 7. Let f be q(7). Is f smaller than o?
False
Let d = 5.6 + -4. Suppose 5*z + 5 = 0, -7*u - 6 = -6*u - z. Which is bigger: u or d?
d
Let a = 0.014 + 24.986. Let z = -61 + a. Let g = z + 39. Which is greater: -14 or g?
g
Let r be 10/((-720)/315 - 4/(-14)). Is -3/34 at least r?
True
Let k be (-7)/(12*(-12)/(-5328)). Suppose -39*s = -42*s - 780. Which is smaller: s or k?
s
Let i = -13.39 + 12.39. Suppose -12 = 3*v, 0*v = 2*n - 2*v. Let c be (1/(-21))/((-2)/n). Is c smaller than i?
False
Suppose -2*j - 1 = 1. Let i be 14/2 + 21/(2184/(-872)). Which is greater: j or i?
j
Let q(t) = -t**2 - 7*t + 5. Let m be q(-6). Suppose -9 - m = 2*a. Suppose -2*f - 476 + 483 = p, -4*f = p - 23. Is a less than or equal to p?
True
Suppose 4*u + 8 = 0, u - 3837 = 5*p + 1961. Is -1160 != p?
False
Let f be 133/(-76) - (-4)/2. Let i = 2192.43 + -2192. Is f greater than or equal to i?
False
Let y = 24 - 68. Let d = 52170 + -52212. Which is smaller: y or d?
y
Suppose 0 = -7*w + 750 - 1485. Which is smaller: w or -106?
-106
Let l = 52 - 57. Let p be -3 - 1*(l - -3). Is p > 9/14?
False
Let u = 4079 + -1403. Is u greater than 2676?
False
Suppose 33*d - 1310 = 23*d. Let k be (-740)/111*1/(10/(-196)). Is k greater than d?
False
Let y = -296.6 + 306. Let p = 70.4 + -64. Let v = p - y. Which is smaller: v or -5?
-5
Let y be 1/(-2)*96/(-16). Let p be (-1030)/(-60) - y/18. Which is smaller: 18 or p?
p
Let h = -42675.02 - -42675. Which is smaller: h or -2/1321?
h
Let r be (-72)/6 + 7353/516. Let y be ((-4)/(-55))/(4/(-10)). Which is smaller: y or r?
y
Let f be (-2545947)/726*(4 + (-128)/36). Let j = f - -4676/3. Is 0 at most j?
True
Let g be 24/(-14) + (-10)/35. Suppose n + 47*q = 46*q - 4, 5*n + 3*q = -10. Let j be (-3575)/3549 - (g + n). Is 0 less than j?
False
Let t = -755827/27 - -27965. Does t = -30?
False
Suppose 5*k - 21 = 2*c, -3*k = 3*c - 4*c - 12. Suppose -16 = -764*u + 762*u. Are u and k nonequal?
True
Suppose 525*v - 528*v = -12. Suppose 3*p + 1512 = 4*w, v*w - 2*p + 59 - 1571 = 0. Is w greater than or equal to 378?
True
Let i = 116 + -583/5. Let l = -7/18 + 19/18. Is i < l?
True
Suppose 13*d - 14*d - 4*m = 11, -2*d - 4*m - 10 = 0. Is -3/2360 smaller than d?
True
Let h = 2006.6 + -2032.6. Is h <= 52?
True
Let r be (3*1*130/39)/(4/(-8306)). Which is greater: r or -20766?
r
Let w(h) = h**2 - 3*h + 6. Let t be w(2). Let u be (-3)/(t/(-30) - 517/(-165)). Are -3/2 and u equal?
False
Let b = 11545 + -11526. Which is bigger: b or 5?
b
Let h = 1517.3 + -1652. Let l = h - -135. Which is smaller: 48 or l?
l
Let d be ((-42)/6 - 583/(-66)) + (-2)/(-3). Is d >= -853?
True
Let x be 2/(-11) - 838*6/(-66). Suppose 62*i + 70 = x*i. Which is smaller: 0 or i?
0
Let d(t) = t**3 - 78*t**2 + 142*t - 140. Let q be d(75). Is q smaller than -6366?
False
Let i = 664 - 669. Do i and -304/7 have the same value?
False
Let b be 1086510/(-67905) - (-14 - 2). Is b at least -1?
True
Suppose -1 = 5*t + 9, -2*b + 3*t - 52 = 0. Let h be b/12 - (-20)/(-15). Is h smaller than -4?
False
Let f be (156 - 153) + 2342/(-12). Which is smaller: -193 or f?
-193
Let f be ((-15)/(-50))/(((-6)/12)/(-2 - -5)). Let t = -12 + 15.4. Which is greater: f or t?
t
Let u be 14*(2 - 1) - 1. Let k = 257 - 474. Let f = k - -227. Is f greater than u?
False
Let b be (210/36 - 6)*(-2)/(-14). Let w(n) = -n**2 - 22*n - 79. Let o be w(-5). Is b less than o?
True
Let t = 162 + -168. Let i be ((-9)/t + 1)*12. Which is bigger: 3 or i?
i
Let i(m) = 2*m**3 - 100*m**2 - 213*m + 269. Let h be i(52). Is 148 > h?
True
Let x = -7661/22965 + 2/7655. Let m = 6301 + -6235.46. Let g = m - 65. Is x >= g?
False
Let g = -10.755 + -5.245. Let k be 24/(-10) + (2 - 0). Is g less than or equal to k?
True
Suppose -12*d + 9*d + 6 = 0. Suppose 8*k + 2 = d. Let p = -83 + 1081/13. Which is greater: p or k?
p
Let m = -3233 - -74338/23. Let x = 181/299 + m. Which is greater: x or 2?
2
Let u = -35 - -70. Let v be (-1911)/(-384) + u/(-7). Which is smaller: v or 1?
v
Let v = -4948/33 - -451/3. Let y = v + 496/165. Suppose 2*x + 21 = 3*o + 5*x, 2*o - 5*x = -7. Does y = o?
False
Let q(h) = -3*h**2 + 3*h + 29. Suppose -57*k + 51*k - 60 = 0. Let x be q(k). Which is smaller: x or -300?
x
Let d = 271.9 + -297. Let z = 27.1 + d. Which is smaller: z or -85?
-85
Let k = 100670/34887 - 253/87. Which is smaller: k or 1?
k
Let p be (12/93340)/((-57)/190). Is 0 less than p?
False
Let b(i) = -i**2 - 18*i + 2. Let t be b(-18). Let x be 1276/32 - t/(-16). Let g = 43 - x. Does g = -8?
False
Let v = 2/37 - 158/185. Let l(u) = 2342*u + 23420. Let m be l(-10). Which is smaller: v or m?
v
Let t be -2 - (1036/12 + 1)/(-42). Let a = 73/126 - t. Do 74 and a have the same value?
False
Let d(n) = -5*n**3 + 5*n**2 - 30*n - 21. Let v be d(11). Let y = 83261/13 + v. Which is smaller: 3 or y?
3
Let n(u) = u**