n + 0*n = 145, 0 = 5*r - h*n - 145. Is r <= u?
True
Suppose -44*i + 674 = -42*i. Suppose -d + 2*m - i = -35, 5*d - 4*m = -1486. Let t = -3824/13 - d. Is t smaller than 1?
True
Suppose 10706 = -5*o - 2*m, -32 = -16*m + 20*m. Does o = -2139?
False
Let g be (3/9 + 0)/(1/363). Let w be 75/(-27) - -3 - g/99. Which is bigger: -8/9 or w?
-8/9
Let i be (-1)/(-4) + 62510/(-152). Are i and -1643/4 nonequal?
True
Let d be ((-42)/10)/((-6)/30). Suppose -2*x - d = -s + 167, -4*s + 380 = -4*x. Do x and -94 have the same value?
False
Let f = 2.861 - 25.861. Is f equal to 0.21?
False
Suppose 0 = i - 3*a + 2*a - 44, -188 = -5*i - 3*a. Suppose -i = -k - 3*f, -4*k = -7*f + 9*f - 130. Is 63/2 equal to k?
False
Let g = -3.61 - 2.16. Let d = g + 5.5. Is 4 less than d?
False
Suppose 37*g - 170 = -133*g. Are g and 6/3481 equal?
False
Let b = 977 + -977.4. Is 281 at most b?
False
Let p be (182/39)/(2 + 16/(-6)). Let k be p + 6*(-205)/(-50). Is 18 greater than or equal to k?
True
Suppose -236*m - 8189 = -401. Suppose -4*v + 11 = s, -5 = 4*s + 5*v - 16. Let l be 3*-1*10 + s. Which is greater: m or l?
l
Let l be (2067/(-477))/((-1)/202). Which is bigger: 874 or l?
l
Let q(t) = -2*t + 6. Let y be q(1). Suppose -2*h - 4*x = -50, x - y*x - 50 = -2*h. Suppose -4*d + 3*d + 24 = 0. Which is bigger: h or d?
h
Let l be (0 - 4)*(-14)/48. Let z(a) = 10*a + 184. Let m(w) = -3*w + 2. Let t(f) = -m(f) + z(f). Let q be t(-14). Which is smaller: q or l?
q
Suppose -h + 389 + 160 = 3*d, 4*h - 540 = -3*d. Suppose d*c = 180*c + 2232. Is 559 bigger than c?
True
Let i be (-2*2/10)/(17*(-19)/676685). Which is smaller: 843 or i?
i
Let d be (-4)/((-3360)/3773) + -3 + -2. Let r = 3/10 + d. Suppose -h + 2 = h. Which is greater: r or h?
h
Let v = 0.098 - 0.179. Let x = 1.919 - v. Is -2/107 >= x?
False
Suppose 38 = -g + i, -87*i + 30 = -82*i. Which is smaller: g or -457/14?
-457/14
Let v be (-76)/(-95)*35/2. Suppose v = 18*s - 17*s. Suppose 2*y - 3*y + 15 = 0. Which is smaller: s or y?
s
Suppose 222 = -3*k - 4*t - 242, 3*t = k + 159. Which is greater: -154 or k?
-154
Let x(g) = -g**2 + 28*g + 29. Let l be x(29). Suppose 0 = 3*b + 2*v + 5, 5*b + v + 6 = -l*v. Is b greater than 10/31?
False
Let g = -1988/5 - -398. Let b = 0.48 + 29.52. Let v = 9 + b. Which is smaller: g or v?
g
Let w be 18/2016*14 + (3 - 71/(-8)). Which is smaller: w or 4.46?
4.46
Let y = 0.07 - -0.13. Let n = y + -0.7. Let s be (-112)/20 + (-23)/(161/(-42)). Which is bigger: n or s?
s
Let i = -23.3 - 11.7. Let o = 44 + i. Which is greater: -0.3 or o?
o
Let r = 19.4 - 0.6. Let f = r - 106.8. Suppose -u + 4*u = 4*k + 9, 9 = -k + 3*u. Which is smaller: k or f?
f
Suppose -16*j - 1160 = -21*j. Let a = -13 - -12. Let g be 4 + j/(-56) + a/(-7). Which is smaller: -2/65 or g?
-2/65
Let s(i) be the second derivative of 11*i**4/12 + i**3/6 - 5*i**2/2 - 3*i - 2. Let p be s(-2). Do p and 37 have the same value?
True
Let p(n) = 62*n + 1669. Let t be p(-24). Which is smaller: t or 186?
t
Let a be (6/5)/(39/130). Suppose 121 = a*l + 45. Suppose -l = h - 50. Which is smaller: 30 or h?
30
Suppose o - 7 = -u, 71*u - 73*u - 5*o + 35 = 0. Is 34/155 less than u?
False
Suppose -6*f - q + 6 = -8*f, -2*f - 4*q = 26. Is -6 at most as big as f?
True
Let d = -3080 - -3226. Let l = -345 + 494. Let w = d - l. Which is bigger: -0.03 or w?
-0.03
Let w(t) = t**2 - 12*t + 2. Let j be w(10). Let h be (168/j)/((-1)/(-3)). Let k = h + 33. Which is greater: 1/5 or k?
k
Let j = 185 - 73. Suppose 308 = 6*a - j. Let d = a - 70. Which is smaller: 2/7 or d?
d
Let h = 653.14 + -653.58. Let g = 0 - 0.08. Which is greater: h or g?
g
Suppose -3 = -0*t + t. Let b be 50/(-35) + t/42*-6. Let r = 1 - 0. Is r less than b?
False
Let g = -1171/17 - -1139077/16541. Which is smaller: g or 0?
g
Let z = -43769 - -393923/9. Which is greater: z or -5731?
z
Let w = 586/155 - 513574/134695. Is w smaller than -1?
False
Let p(z) = -z**3 - 6*z**2 - 12*z - 10. Let a be p(-10). Is a <= 514?
True
Let o = 884 - 566.8. Let v = -345 + o. Let l = -28 - v. Are l and -3/11 equal?
False
Let r = 870.21 + -914.6. Let k = r + 44. Let g = 24.61 - k. Do -2 and g have the same value?
False
Let n = 556.322 - 557. Let g = n + 0.62. Let m = 2/5 + -3/20. Is m greater than or equal to g?
True
Let r = -126 + 177. Suppose 6*p = -0*p + 318. Are r and p equal?
False
Let z(f) = -f**3 - 12*f**2 - 3. Let x be z(-12). Let v be ((-5138)/30)/(4 + x). Let w = v - -171. Which is greater: 1 or w?
1
Let m(r) = r**3 - 8*r**2 + 10*r - 23. Let p be m(7). Let w be p*(-2 + -5) - (-12)/3. Which is bigger: -4 or w?
w
Suppose 4*u + u = 2245. Let d = -34887 + 35336. Are d and u unequal?
False
Let i be 2/26 - (-51)/(-78)*-2164. Are 1414 and i equal?
False
Let x(l) = -91*l + 1674. Let m be x(74). Are m and -5059 equal?
False
Let p be 79860/212025 - (-4)/(-10). Is 0 at least p?
True
Let c(m) = m**2 + 7*m + 1. Let p be c(-9). Suppose 70 = 3*z - 2. Let i = p - z. Which is smaller: i or -7?
-7
Let o(n) = -56*n - 29. Suppose 63 = -9*f - 27. Let t be o(f). Let u = t - 2673/5. Which is smaller: u or -4?
-4
Suppose 85 = 2*v - 5*h - 920, v - 502 = 2*h. Suppose -2029 = -4*i - 3*d, -92*d + 94*d = -i + 521. Which is greater: i or v?
v
Suppose 374*a - 190*a = 199*a + 465. Is 243 < a?
False
Let d = 41286 - 17914. Do 23371 and d have different values?
True
Let r(l) = l**3 + l**2 + 9*l - 111. Let q be r(0). Let h = -2069.3 + 2069. Is h at least as big as q?
True
Suppose -4*a + 14 = -6. Let g(k) = -k**3 - 45*k**2 + 90*k - 183. Let d be g(-47). Suppose -6 = -h + d*l, -a*h + 4*l - 11 = 1. Which is greater: h or -8/3?
-8/3
Let x = 867/3548 - -5/887. Are x and 140 equal?
False
Let a = 0.2 - 0.3. Suppose -1111 + 19 = -273*f. Which is smaller: f or a?
a
Let w = -6115051/251736 + -3/20978. Let v = w - -216389/8904. Which is bigger: 0 or v?
v
Suppose 2*s = 3*s - 4. Let m(b) = b**3 + b**2 + 13*b**2 + 29*b - 3*b**2 - 10 + 6*b**2. Let a be m(-15). Which is smaller: a or s?
s
Let k = 140 - 142. Let o be k/(-3)*((-27)/6)/3. Which is smaller: -6/133 or o?
o
Suppose t - 4 = -4*p + 2*t, -4*t - 16 = 4*p. Suppose 696 = -p*v - 4*v. Let s = -8001/46 - v. Which is smaller: s or -1?
-1
Suppose -3*y = -y + 28. Suppose -428*f = -5*w - 431*f - 48, -4*f = 5*w + 54. Let j be (-3)/w*7/y. Is j at most 5?
True
Let h(s) = -s**2 + 37*s - 240. Let f be h(9). Let t be (-1 - -7) + -1 + 2. Which is greater: f or t?
f
Let b(v) = 519*v - 6748. Let h be b(13). Let x be 4 - (-2 - 3060/(-507)). Which is bigger: x or h?
x
Let s = -0.1985 + -0.0125. Let h = -0.129 + s. Do h and 2 have the same value?
False
Let v = 22 - 40. Let i = -952 + 971. Let u = v + i. Which is bigger: 7 or u?
7
Let r = 0.442834 + -0.042834. Let z be (-2)/6*(2 - 8). Suppose -x = -0*x + z. Is r equal to x?
False
Let y(k) = 5*k**3 - 6*k**2 + 6*k + 2. Let s be y(4). Let g = s - 9251/37. Do -0.3 and g have different values?
True
Suppose -3*t = 2*x - 9269, 2*t - 6175 = -1772*x + 1775*x. Which is bigger: t or 3088?
t
Let o = 142.12 + -200.43. Are 0.4 and o unequal?
True
Let g = 5509/6 + -106831/114. Is -20 equal to g?
False
Let z = -645 + 454. Let r = z - -190. Does r = -2/97?
False
Let x = -14195.966 - 24.034. Are x and -0.1 unequal?
True
Let t = -187.006 + 0.206. Which is smaller: 0.2 or t?
t
Let q be ((165/(-18))/(-11))/(225/60). Which is greater: -0.0714 or q?
q
Let s = -959 - -503. Let w be (-247)/s + 6/(-16). Which is smaller: -0.2 or w?
-0.2
Let v = 7274 - 7523. Is v smaller than -250?
False
Let h = 262161439/12472 + -21020. Which is greater: h or 0?
0
Let s = -7783/17 + 458. Suppose -3*o - 1 = -22. Suppose -2 = -o*d - 9. Is s less than d?
False
Let w(g) = 2*g**2 - 10*g - 52. Let c be w(14). Suppose 40 = 5*y + c. Which is bigger: y or -31?
-31
Let g be 5 - (-1 - (-22718)/(-3496))/((-60)/40). Which is smaller: g or 0?
0
Let t = 127 - 254. Let z = 120 + t. Which is bigger: -9 or z?
z
Let w(u) = 2*u**3 - u**2 - 2*u + 1. Let d be w(-5). Suppose 3150 = -23*l + 8*l. Let b be 10/(-4)*d/l. Is -2 greater than or equal to b?
True
Let g be (-4 - (-168182)/42049) + (0 - 0). Which is greater: g or -0.4?
g
Let c = -0.498 + -0.502. Let w = -4 + 11. Let j = 16 - w. Which is smaller: j or c?
c
Let r be (7/4)/(6/(-13872)). Let c be (-7)/63*-2 + r/(-18). Suppose -c = 5*w - 5*a, 3*w = -4*a - 47 - 88. Which is smaller: w or -44?
w
Let t be 1*-