 and m equal?
False
Let p = -1.62 + 1.42. Let r = 0 + p. Let b = 5.05 - 0.05. Is r less than b?
True
Let z = 0.734 - -2.266. Do 3.4 and z have the same value?
False
Let s = 16/749 - -1823783/1498. Is 1218 < s?
False
Let l = 604 - -21. Let y = l - -71. Let s be (-36)/126 - y/14. Which is greater: -49 or s?
-49
Let m = 1485 + -1471. Which is smaller: -136 or m?
-136
Let t be (-1)/(20/3) + (-2)/(-5). Suppose 5*l - 4*h = 21, 2*l + h = 4*l - 9. Suppose -6*m - 33 = -l*m. Which is smaller: t or m?
m
Let n(v) = v + 182. Let x be n(14). Which is smaller: 237 or x?
x
Let d = 7.62 + -7.42. Which is smaller: d or 1237?
d
Suppose -5*x + 23*x + 108 = 0. Let u be x/4*30/(-360). Which is bigger: u or 0?
u
Let v(w) = -44*w**2 - 10*w - 24. Let p be v(-6). Let r be 10/(-18)*(-4 - p/30). Which is smaller: r or -25?
r
Suppose -42 = -2*i - i. Let n(w) = 7*w - 66. Let v be n(17). Let r = 70 - v. Which is smaller: i or r?
i
Let g = -109 - -51. Let c = 60 + g. Suppose -17 = 4*a + 5*v, -c*a + 0*v = -v - 9. Which is smaller: a or 4?
a
Suppose -7*g + 5*u - 20767 = -4980, 3*g - u + 6759 = 0. Which is bigger: g or 4?
4
Let o = -18807 - -39508. Is -2 less than o?
True
Let t = 154/13 + -1231/26. Is t at least -1/4?
False
Let x be 0/(2*(-5)/5). Let r be (-218)/2158 - 4/(-52). Is r != x?
True
Let w(f) be the first derivative of f**3/3 + 37*f**2/2 + 183*f - 98. Let q be w(-31). Which is smaller: q or 141?
q
Let a be 1344/225 + -8 + 2. Let q be -4 - (5 - 10) - (-1 - -1). Is a greater than q?
False
Let i be (1662/(-5))/((-8)/30)*(-1)/(-6). Which is smaller: i or 209?
i
Let j be (0 + 1/89)*(-9 + (-4 - -14)). Suppose -44*t + 46*t = -2. Which is bigger: t or j?
j
Let g = 90 - 55. Let f = 45 - g. Suppose 14 + 13 = 3*c. Are f and c nonequal?
True
Suppose -d - d - 100 = 2*x, 0 = 3*x + 2*d + 145. Let p be (22/(-6))/(15/x). Is p less than 6?
False
Let o = -214.1332 + 1.1332. Which is greater: o or -12/7?
-12/7
Suppose -4584241 + 787847 = -373*t. Is t < 10178?
False
Let n = -1/870 - -11369/51330. Which is greater: n or 0?
n
Let q be 12/9 + ((-654)/3)/1. Let r = -208 - q. Which is smaller: 9 or r?
r
Suppose -2*d = -0*d + 2. Let w be 4/(d - -5) + -2. Let c = -4/297 + -875/1188. Which is smaller: c or w?
w
Suppose x - 32 = -b, 27 = 2*b + 4*x - 25. Which is smaller: b or 40?
b
Let b = 0.3107 + 0.2893. Let k be 1 - (-3 - -2) - 6. Let x be (k + 28/8)*1. Which is greater: b or x?
b
Let g be (36/(-4))/(7/56*-4). Let y be (4 - 1) + 6*g/(-27). Which is greater: y or -4?
y
Let q = 230 - 227. Suppose 2*u - 563 = 3*p + 4*u, -p + q*u = 184. Is p less than or equal to -187?
True
Let k = -1156/29 + 85142/2117. Let j = k + -2969/8541. Which is smaller: 1 or j?
j
Let u be ((-2)/(-11))/(7/154). Suppose 0*q + u*q = -q. Which is smaller: 7/103 or q?
q
Let w be (-54 - 0) + (-702)/(-54). Suppose 5*i = -3*c + 6*c - 16, c - 4*i - 10 = 0. Let k be -3 - (-148)/(-4) - c. Which is bigger: w or k?
w
Suppose -w - 5*c = 68, -335*w - 4*c = -330*w + 340. Is -84 smaller than w?
True
Let x be 122/(-42) - (-44)/(-462). Let w be x + 2 - (-336)/338. Which is greater: 1 or w?
1
Let s(b) = -2*b**3 + 45*b**2 + 24*b - 21. Let o be s(23). Suppose 5*m - 8 = 2*j, -4*m = -3*j + o - 7. Do 6/31 and j have the same value?
False
Let j = 0.618 - -585.382. Let t = 585 - j. Is 0.41 less than or equal to t?
False
Suppose 164*y - 64*y = -7129 - 5271. Which is smaller: y or -93?
y
Suppose 29*s = 31*s. Is -2/3401 >= s?
False
Let f = 63 - 30. Let u be (11/f)/((14/(-12))/(-7)). Let z = 395/2 - 1569/8. Which is bigger: z or u?
u
Let k = 21062 - 21061. Is k greater than 2/30921?
True
Let b = -409189623/4081 + 100267. Which is greater: -1 or b?
b
Let x = -2039 + 1336. Let m = x + 17572/25. Which is greater: -1 or m?
m
Let x = 107 + -92. Let i be ((-93)/x + 6)/(1/17). Let t(u) = u**3 + 2*u**2 - 3*u - 3. Let z be t(-3). Is i greater than z?
False
Let f be (9/(-180))/((-5)/(-4)). Suppose 0 = -5*h + p - 4*p + 40, 0 = h - 4*p + 15. Suppose -3*k = -5*g + h, 2*k + 1 + 0 = g. Is f > k?
False
Let l = -268 - -268. Suppose 3*p + 2*h + 52 = l, -p + 2*h - 6*h - 4 = 0. Which is smaller: 0 or p?
p
Suppose -4*a - 14 = -2*p - 7*a, 0 = p - 4*a - 18. Is p > 4?
True
Suppose 13*t - 17*t = -24. Suppose 12 = 3*y + 2*r - t*r, -15 = -y + 5*r. Is 2/379 < y?
False
Let p be 4038/24 - 5/20. Suppose -14*o - p = -28. Let d be (-1 - -9)/(-2 + 1). Which is greater: d or o?
d
Let v(c) = -12*c - 9. Let j be 3/(-5) - (-16060)/100. Suppose j = 3*h + 166. Let q be v(h). Is 18 smaller than q?
False
Suppose 0 = -h + 4 - 0. Suppose h*n = -8, -2*n - 3*n = -f + 7. Let l be ((-9)/(-4))/(60/(-64)). Which is smaller: f or l?
f
Suppose 0 = 4*p + 5*v + 1050, -6*v + 2*v = -5*p - 1333. Let q = p - -262. Is -2 smaller than q?
False
Let k(u) = -u**2 - 181*u - 535. Let d be k(-3). Is d at most as big as 4/627?
True
Let q = -1256 - -1160. Is q <= -93?
True
Let h = 0.0295 - -0.0705. Which is greater: 3/1048 or h?
h
Let g be 4/1 + (-646425)/(-225). Is g at most as big as 2878?
True
Let j = 0.076 + 0.014. Let g = 2.09 - j. Which is smaller: 0.14 or g?
0.14
Let a = 1.011 + -1.191. Let l = 0.52 + -0.5. Let b = l - a. Which is smaller: b or 3?
b
Let p = -36198310/1861 + 19451. Is p smaller than 0?
False
Let a = -1567651/15 + 104510. Let o = 2/4405 - -8668/312755. Let d = o + -148/213. Which is bigger: a or d?
a
Let b = 17.834 - -0.986. Let n = b - 1.82. Which is greater: n or 1/10?
n
Let p(u) = -8*u + 4. Let v be p(-6). Let o = 300 - 298. Suppose d + 2*i = 58, -o*d - 2*i + 54 = -56. Is d smaller than v?
False
Let d = 85.26 + -1.26. Let g = 84.06 - d. Which is bigger: g or -0.07?
g
Let p = 22.7 - 20.93. Let z = -3.23 - p. Which is smaller: 19/4 or z?
z
Let o(v) = -3*v - 16. Let q be o(-13). Let k = q - 21. Suppose -4*i = -2*i - k. Do 4/5 and i have different values?
True
Let c(r) = -r + 4. Let w be c(5). Let f = 849803/18728 - 5/4682. Let a = -45 + f. Does w = a?
False
Let b be 88/10 + (-2)/(-10). Let u(q) = q**3 - 10*q**2 + q. Let x be u(10). Suppose -x*w + 50 = -5*w. Is w less than b?
False
Suppose 2*r - 4*j + 1024 = 0, r + 3*j = -235 - 287. Let g be 2 - (r/8 - 7). Which is smaller: 0 or g?
0
Suppose -12*t = 1081 + 1439. Let f = t - -331. Which is smaller: 124 or f?
f
Let z = -14030.1 + 14030. Which is smaller: z or -2/7525?
z
Let s = 1011 - 564. Which is smaller: 448 or s?
s
Suppose -3*v + 42 = -0*v. Let f be (22/4)/((-7)/(-11 + -3)). Which is smaller: f or v?
f
Suppose 44*y + 4*y = 96. Suppose -3*v + 38 = -o, 2*v = 7*v - 2*o - 64. Which is smaller: y or v?
y
Let c(n) = n**2 - 8*n - 59. Let j be c(-5). Let q be (-1 - (-8 + (j - 1)))/2. Which is greater: q or -1/282?
q
Let f = -3215 + 529. Is -0.1 bigger than f?
True
Let a = -321 + -295. Let w = -265 - a. Is w at most as big as 351?
True
Suppose 228*s = 236*s + 7832. Let b = 990 + s. Let f = 0.46 + -0.06. Which is greater: b or f?
b
Let w(g) = -2*g**2 + 25*g - 40. Let n(i) = 2*i**2 - 24*i + 42. Let m(b) = 2*n(b) + 3*w(b). Let s be m(12). Is s at least 21/52?
False
Let y be 362/8 - 0/2. Let x be (-47 - -52)/((-2)/(-54)*3). Is x at least y?
False
Let f = 8960 - 8871. Which is greater: 3 or f?
f
Let u = 16 - 13. Suppose u*f = f - 88. Suppose 77 = -6*z - 181. Is z less than or equal to f?
False
Suppose 2*z - 22 = f, 17*f - z - 13 = 18*f. Let r(o) = o**2 - 13*o + 4. Let t be r(13). Suppose -k + t*k = -48. Does k = f?
True
Let f be -5 + (4 - (-10 - -5)). Suppose -f*z + 82079 - 26935 = 0. Let w = 124204/9 - z. Is 15 <= w?
False
Suppose 0 = 339*h - 337*h + t + 471, -4*h = 4*t + 956. Does h = -2/27?
False
Let q(k) = -94 - 80 - 25*k + k**2 + 187. Let r be q(9). Is -132 greater than or equal to r?
False
Let t = 5231 - 5230.85. Is -97 >= t?
False
Let z be 20/44 - (-35)/(2695/42). Which is bigger: z or -8/761?
z
Let k = 183 + -163. Let l be (-826)/(-418) + k/110 - 2. Is l smaller than 0?
False
Let b = -60 + 66.8. Let v = b + -6.81. Which is smaller: -5 or v?
-5
Suppose -2166*a = -2163*a - 1272. Do 424 and a have the same value?
True
Let c(q) = q + 2. Let f(i) = i + 6. Let b be f(-6). Let o be c(b). Let r = 96839/10 + -9683. Is r at most o?
True
Let g(n) = 3*n**3 - 329*n**2 - 109*n + 224. Let y be g(110). Which is smaller: 2346/7 or y?
y
Let n be (113/(-5876))/(57*2/(-16)). Let p = n + 33311/12597. Is 3 at least as big as p?
True
Let z = -10646 - -10646. Is 162/173 a