6*z - 178 = 2*z, -5*h + 400 = z. Is u less than or equal to h?
True
Let n = -9 - -12. Suppose 0 = -5*t - c + 1, -n*c - c = -2*t - 4. Suppose t = 4*q - 7*q. Which is smaller: q or -2/185?
-2/185
Let t(y) = -y - 7. Let n be t(-8). Let l = -6582567/817 - -8057. Which is greater: l or n?
n
Let q = -0.113 + -0.749. Are 0.1 and q unequal?
True
Let l be ((-2591)/199 - -13)/(4/(-14)). Is l less than or equal to 1?
True
Let j = -1.743 + 1.7. Let x = 52.043 + j. Let t = 53 - x. Is t equal to -9?
False
Let v = 406 - 429.9. Let y = v - -23.6. Is y bigger than 3?
False
Suppose -14 - 4 = -d - 4*c, -5*d + 3*c + 67 = 0. Suppose 0*m - 126 = -7*m. Suppose d - m = v. Is -8 less than v?
True
Let o = -13749 + 15808. Which is bigger: o or 2058?
o
Let u be ((-6)/4)/((-2)/12). Let g = -76 + 68.46. Let z = g - -7.24. Is z at least u?
False
Let f(j) = 31*j**2 - 137*j + 69. Let p be f(8). Which is bigger: 7647/8 or p?
p
Suppose -3 + 17 = 2*b. Let g be (240/(-90))/((-1)/(-3)). Let h = g + b. Do -0.7 and h have the same value?
False
Let x be 4/16 + 7/4. Let q = x - 3. Let l be (-22)/(-66) - ((-2)/2)/(-1). Which is smaller: l or q?
q
Let p be ((-2)/(-9))/(518/504 + -1). Is p < -9?
False
Let c = 0.5 + -0.7. Let z = -2197/51 - -670/17. Which is bigger: c or z?
c
Suppose -14*u + 10*u - 16 = 0, -3*p - 5*u = 278. Which is smaller: p or -100?
-100
Let j = 37.838 + -38.52. Is j equal to 5?
False
Suppose -6*r = -13*r - 1463. Let x = r - -8359/40. Let n = -10 + 9. Which is smaller: x or n?
n
Suppose x = 18 - 7. Suppose -4*a = 4*n - 12, -48*n + 627 = -14*n - a. Is n at most x?
False
Let b(g) = g**2 + 283*g - 8. Let p be b(0). Which is greater: -13 or p?
p
Let k be (-16)/24*3*3/(-6). Which is greater: -19/738 or k?
k
Let t = -151.85 + 152.57. Let q be (-5 + 2 - -5)/1. Let z be (3/12)/(q/(-4)). Which is smaller: t or z?
z
Let h = -501 - 37. Let x = 539 + h. Which is smaller: x or 115?
x
Suppose -165*q + 169*q - 20 = 0. Suppose -3*o + 213 = 3*g, 0 = -q*o + o - 2*g + 280. Which is smaller: 211/3 or o?
o
Suppose 26*a = 11161 - 11083. Which is smaller: -288 or a?
-288
Let d = 511166 + -48050191/94. Let i = d - -25/4. Which is greater: i or -1?
i
Let p = 192.627 - -0.173. Let q = -193 + p. Which is bigger: 13 or q?
13
Let b = 4047 + -4050.316. Which is smaller: 0.1 or b?
b
Let u be (-324)/243*(-3)/2. Suppose 4*k - 8 = -5*i - 0*k, 3*i - u = -k. Which is smaller: i or 2/721?
i
Let s(p) = p**3 + 12*p**2 + 33*p - 7. Let t(b) = 4*b + 12. Let y be t(-5). Let h be s(y). Is h < -2?
True
Let z = 107 + -104. Let l(v) be the first derivative of -v**3/3 + v**2 + 2*v - 1. Let p be l(z). Are p and 8 nonequal?
True
Let m = -34 + 34. Suppose 0 = 3*b - 5*i - 402, -5*b - i - 2*i + 704 = m. Which is smaller: b or 140?
b
Let u = -11015 + 11016. Is -8/2593 at least u?
False
Let j = -7257 + 7290. Which is greater: j or -126?
j
Let v = 50 + -43.2. Let t = 8.2 + v. Let m = t - 14. Which is smaller: -0.06 or m?
-0.06
Let a(b) = -19*b + 306. Let x be a(13). Is 54 less than x?
True
Let z = 16053 - 16052. Which is smaller: z or -0.0128?
-0.0128
Let q be (0 - 925) + 114 + -106 + -1*2. Which is bigger: q or -915?
-915
Suppose 18*p + 678 = 5*t - 750, p - 4*t = -124. Let k(g) = -76*g + 1. Let x be k(1). Is x at least p?
True
Let v be (-1558)/26 - (9 + ((-3712)/104)/4). Which is bigger: -218 or v?
v
Let k be 0 + -4 - (-678744)/169785. Is -1 greater than k?
False
Suppose -5*l = -5*a - 60, -9 - 6 = -l + 2*a. Which is bigger: -5/42 or l?
l
Suppose -9054 + 2942 = -16*a. Which is smaller: 379 or a?
379
Suppose 35 = 277*p - 312*p. Which is greater: 77 or p?
77
Suppose -14*b + 43 = 7 - 6. Let w = -30 - -60. Suppose 3*k = 8*k - w. Is b at least as big as k?
False
Suppose -74*x + 8887 = 1413. Which is greater: x or 1017/10?
1017/10
Let a = 3.4 - 4.06. Let o = 26.798 - 26.898. Which is bigger: a or o?
o
Let s(q) = -5*q - 161. Let d be s(5). Let x = 186 + d. Is x < -2/205?
False
Suppose 4*q + 60 = 19*q. Let n be q*(-8)/80*60. Which is bigger: -26 or n?
n
Let p = -277 + 279. Let r = 4.581 - -0.019. Let l = -0.6 + r. Is p at most l?
True
Let a = 13637 - -1680. Is a <= 15316?
False
Let s = -14077597821107/11046 + 2548904085/2. Let y = s + -2/1841. Is -51 less than y?
True
Let p be (-424)/(-144) + (-10)/4 + (-50)/72. Let q be 0 - -1 - (1 - -2). Let o be (-66 + -3)*q/(-3). Which is smaller: o or p?
o
Let c(b) = -66*b - 365. Let y be c(-6). Suppose -2*r - 112 = -4*a - 0*r, r - 4 = 0. Do a and y have different values?
True
Let p = 0.8 + -4.8. Let f = 4.16 + p. Let h = -0.147 + -0.853. Which is greater: f or h?
f
Let h be -2*(45/(-30) - (-2)/4). Suppose 0 = 9*r - 5*r - h*x, -r + x = 2. Let q = -4/123 - -340/369. Which is smaller: q or r?
q
Let g(k) = k - 21. Let j be g(26). Suppose 0 = 4*v + 5*a, -4*v - 4*a = -j*a. Suppose 3 = m - 2*h, 8*m - 3*m = -2*h - 9. Is m greater than v?
False
Let s be -28*(-4)/64 + 2/8. Let v(c) = -8*c - 104. Let a be v(-19). Let d be 3/s*(-64)/a. Which is smaller: d or -16/9?
d
Let s = -3.186 - -3.186. Are s and -3751 equal?
False
Suppose 0 = 21*b - 24*b, 0 = 4*n + 5*b - 23432. Is 5856 greater than n?
False
Let l be 0 + (-6)/(-21) + (-18)/14. Let s be (-1 - l)*(-10 - -9). Suppose -4*f - g + 15 = -0*g, s = 4*f + 2*g - 18. Which is greater: 13/7 or f?
f
Let l be (-8)/6*(-7)/((-14)/3). Let i be (-3)/15*l - 6588/45. Does i = -144?
False
Suppose -6*p + 6 = -9*p. Let s = 99.41 + -98. Let n = s - -0.49. Is n bigger than p?
True
Suppose 4*i = 39*l - 32*l + 592, -3*i + l + 427 = 0. Which is greater: i or 79?
i
Let t(x) = -x**3 - 14*x**2 - 18*x - 41. Let k be t(-13). Suppose 36*h = 39*h - k. Let q be 7/2 - 3/6. Which is smaller: h or q?
q
Let l be (25 - 6) + -338 + 71. Do 46 and l have different values?
True
Let t(s) = s**3 + 15*s**2 + 13*s - 14. Let u be t(-13). Suppose 5*w + u = 5*d, -5*d + 171 = 7*w - 4*w. Is d less than or equal to 32?
False
Let q = -258.07 - -258. Let r(s) = -s - 4. Let b be r(6). Do q and b have the same value?
False
Let i = -421/3 + 4655/33. Let f be 24/228 - 112/(-19). Let k be (87/29)/(f/4). Is i less than or equal to k?
True
Let q = 785834/56239025 - 14/27025. Which is smaller: -1 or q?
-1
Let b be 1 + -2 - 16/(2 + 2). Let o be 3/(-3*b/20). Suppose s + 14 = -o*q - 0, 5*s + 5*q + 55 = 0. Which is greater: s or -2/3?
-2/3
Let w be (-1 - 1/(2 + -1))/(1042/521). Let q be ((-1)/325)/((-2)/(-3)). Let l = q - -1783/104650. Which is smaller: w or l?
w
Let q = 9792 + -3241124/331. Which is smaller: -1 or q?
-1
Suppose -r + 0*t - t = 43, 5*t - 93 = 2*r. Let l be (-363)/r + (-12)/3. Suppose v = 4*x - 8, 1 - 4 = 3*x - 3*v. Is l bigger than x?
True
Let w = 1630 + -1301. Which is smaller: 2968/9 or w?
w
Let d(h) = 5*h**2 + 5*h - 5. Let l be d(1). Suppose 0*j - 310 = l*r - 5*j, 3*j - 120 = 2*r. Which is smaller: r or -65?
r
Let x(p) = -1779*p - 37. Let d be x(-1). Is 3481/2 bigger than d?
False
Suppose -3*h - 2 = -2*c, -5*h - 4*c - 25 = -7. Let d be 5 - h*71/(-2). Is d greater than or equal to -1?
False
Suppose 8*w - 13*w = 750. Let k = -180 - w. Is k less than -30?
False
Suppose -2*p + 16 = 2*s, 3*s - s + 3*p = 20. Suppose -s*u = -2*g - 0*g - 14, 13 = -4*g + 5*u. Suppose 5*o - 67 - 13 = 5*k, k + 24 = g*o. Is -8 < k?
False
Let f = -1013 - -1040. Suppose 0*b - 3*b = 78. Let d = f + b. Which is greater: d or 6/5?
6/5
Let x = 3.74015 + 0.15985. Let w = 135 - 277/2. Is x <= w?
False
Let f = -4211.087 + 4211. Is -10/11 != f?
True
Let a(l) = -l**2 + 2*l - 135. Let d be a(-25). Let x be d/(-315) + (-8)/14. Which is bigger: 38/33 or x?
x
Suppose -3*d + 2*d - 1 = 0. Suppose -4*u + 9*c - 36 = 4*c, 0 = -4*u + 2*c - 24. Let k be -15 - (-8)/u*d. Is -5 != k?
True
Suppose 87*g + 1071 = 70*g - 1479. Is -135 less than g?
False
Let m be (((-5)/50)/(9/(-36)))/(1/970). Which is greater: m or 392?
392
Let c = -62.68 + 58. Let w = 5 + c. Let q = w - 17.32. Does q = 1?
False
Let c = 30 + -28. Suppose 5 = 3*w - 4*t, -4*w + 2*w = -2*t - c. Do -2/235 and w have different values?
True
Let s be (13/(-65))/((-14)/70). Is 1/21574 equal to s?
False
Let q be 197/((-5)/(340/(-44))) + (-180)/(-330). Is 305 >= q?
True
Suppose -5*q = -4*p + 6, 0 = -5*q + p - 2 + 8. Is 58/55 > q?
False
Let z(q) = -58*q - 35. Let v be z(-6). Let s = 310 - v. Is s > -33/17?
False
Let x(p) = p**2 - p - 17. Let l be x(4). Which is smaller: l or 0.007?
l
Let n be 1/