 + 6 = 2*h, 5*h - 18 = -3*m + 10. Let p = 2 - m. Is 1/175 equal to p?
False
Suppose -412 = -2*b + 4*u - 432, -4*b + 5*u = 40. Do -0.0113 and b have the same value?
False
Let m(p) be the second derivative of -p**3/3 + 25*p**2/2 + 26*p. Let d be m(7). Let i(f) = -f**2 - 10*f + 9. Let h be i(-10). Is h greater than d?
False
Suppose -39*f = -29*f - 29*f + 11818. Is -0.06 not equal to f?
True
Suppose 18*o + 6863 - 2561 = 0. Let a = -249 - o. Let v(f) = 3*f - 1. Let u be v(-2). Which is greater: a or u?
u
Let m(q) = -q**3 + 6*q**2 + 3*q - 3. Let f be m(6). Let r = -15.7 - -15.762. Let i = -0.238 - r. Which is smaller: f or i?
i
Let c = 5337 - 5344. Which is greater: c or 282?
282
Let q = -611.756 - -0.756. Let f = q + 611. Is -26 != f?
True
Suppose -10*f = 2*p - 5*f + 24, 2*f + 24 = -2*p. Let n be (-24)/60 - 22/(-5). Suppose -n*o - 78 = 2*o. Is p bigger than o?
True
Let n = -217.103 - -1.103. Is 0.7 greater than n?
True
Let m(o) = o**2 - 19*o + 31. Let q be m(14). Let t be 1 - ((-6)/q + 992/(-26)). Which is smaller: 44 or t?
t
Let o(x) = -2*x**2 + 128*x + 5395. Let i be o(93). Let g be -1*(-2)/172*-12. Which is bigger: g or i?
i
Let t(d) = 38*d - 979. Let j be t(26). Is j less than or equal to 10?
True
Let w = 7899/14 + -564. Let x = -0.132 - -11.832. Let u = x + -9.7. Which is smaller: u or w?
w
Let l = 1739 - 1791. Are -51 and l nonequal?
True
Let g be (12/10)/((-6)/(-15)). Let a be g + 1 - (7 - 6). Suppose -3*f - 26 = 5*w, 4*w + a*f - 2*f = -18. Do w and -6 have the same value?
False
Suppose -32*j = -8551 + 55335. Which is smaller: j or -2/15?
j
Let l = -53 - -65. Suppose -3*f + l*f + 18 = 0. Let v be (0*2/(0 - -6))/f. Which is smaller: v or 2/5?
v
Let s = -263244542866/1337 - -196891912. Let v = s + 296/7. Which is smaller: -1 or v?
-1
Let j = 1324.1 + -1325.1. Let w = -330.2 + 19.2. Which is greater: w or j?
j
Suppose -4*f + 379 = -629. Suppose -4*j - 252 = 5*p, 4*j = -0*p + 3*p - f. Do -63 and j have the same value?
True
Let a = 2 + 1. Let l(m) = -m**3 + 20*m**2 - 17*m - 41. Let u be l(19). Let c be (10/100)/(4/(-15)*u). Is c not equal to a?
True
Let c = -1/4316 + -21911/4316. Let f be -8 - (0/2 + -2). Is c greater than f?
True
Let s = -1886005/7 + 271271. Are 1842 and s unequal?
True
Let o = -257 - -583. Suppose p = 5*t - 132, 5*t + o = -3*p - 10. Which is bigger: -116 or p?
-116
Let u = -17115/13 - -1311. Let r be 4 + -4 + -1 + -4. Which is smaller: r or u?
u
Suppose 0 = -3276*c + 3294*c. Is 12/1075 > c?
True
Let l be ((-812)/(-83454))/(-29)*(-1 - -4). Which is smaller: l or -1?
-1
Let y(v) = 36*v + 110. Let p be y(-4). Suppose 2*o + 21 = -45. Which is smaller: p or o?
p
Let b = -13338811039134079319331025/189621916 - -70344247756330441. Let f = 3/282596 + b. Let a = 7/122 + f. Which is smaller: 1 or a?
a
Let j(x) = 2*x**2 - 154*x + 41. Let f be j(13). Is -1623 bigger than f?
False
Let h(z) = -112*z + 114. Let i be h(1). Which is smaller: -388 or i?
-388
Let k = -12228 - -12231. Do k and 4022 have the same value?
False
Let q = -50357.927 + 50322. Let j = 0.221 + -0.294. Let o = q + j. Which is bigger: 0 or o?
0
Let a be 5 + 11 + -19 - 332. Which is smaller: a or -326?
a
Let l be ((-7291)/4121)/(2/(-50)). Is l less than or equal to -3?
False
Let m(k) = -k**3 + 28*k**2 - 2*k + 55. Let s(l) = 3*l**3 - 84*l**2 + 6*l - 164. Let j(v) = -7*m(v) - 2*s(v). Let c be j(28). Which is smaller: c or 8/41?
c
Let l = 41068 - 41067.9. Let k = -4.909 + 5. Let i = -54.909 - k. Which is smaller: l or i?
i
Let c = -0.3006 + -6.6994. Let z = 18 - 17.88. Let f = 0.12 - z. Is c <= f?
True
Let l(w) = 9*w**3 + w**2 - w + 1. Let h be l(1). Let z = -9052/35 + 1346/5. Is h greater than z?
False
Suppose 9*y + 8650 = 25246. Suppose y = 5*x - w, 8*x - 6*x - 2*w = 736. Which is greater: 370 or x?
370
Let x be (-476)/(-12) - (-21)/63. Which is bigger: x or 44?
44
Let w = 152 - 151.9. Which is greater: w or -2114?
w
Let f = -219509/1263 + -2/6315. Which is bigger: -175 or f?
f
Let d = -505 + 365. Let y be (-1 - 161/d)*(-16)/(-6). Which is smaller: y or -8.6?
-8.6
Let o = 373.9907 - 0.3907. Let z = 374 - o. Which is smaller: -0.08 or z?
-0.08
Suppose 5*f = 3*n - 18443, 0 = 3*n + 39*f - 42*f - 18453. Do 6158 and n have the same value?
False
Suppose -2 = -1321*k + 1322*k, u + 5*k = 525. Which is smaller: 1069/2 or u?
1069/2
Let r(a) = -10*a**2 + 244*a - 96. Let b be r(24). Which is smaller: b or -3/2608?
-3/2608
Suppose -60 + 92 = 4*b. Let x be ((2 - 9) + b)/(-167). Which is bigger: 1 or x?
1
Suppose -y + 18 = -16. Suppose 4*v + y = 166. Are v and 0.2 unequal?
True
Let l(n) = -28*n + 7*n + 15*n + 6. Let a be l(1). Suppose 106 = -3*g - 2*j + 42, a = 4*g - 2*j + 76. Which is smaller: -22 or g?
-22
Let g be (4674/456)/((-1)/4). Which is bigger: -530/13 or g?
-530/13
Suppose 0 = 730*u - 676*u. Suppose 0*k - 188 = -4*k. Is k not equal to u?
True
Let f be (-1)/6 - (-6645)/180 - 1/(-4). Which is greater: f or 406/11?
f
Let q(x) be the first derivative of 11*x**3/3 + 20*x**2 + 40*x + 212. Let k be q(-1). Let j = 14 - 8. Are k and j equal?
False
Suppose 0 = -2*o - 2*p + 5478, 2*p = -902*o + 904*o - 5502. Which is smaller: o or 2746?
o
Let d be (4/8)/(23/(-30820)). Let a = d + 645. Suppose g - 4*o + 36 = -0*g, 2*g + o = -45. Which is smaller: a or g?
a
Let i = 3694 - 2762. Which is bigger: 930 or i?
i
Suppose 4662*l - 4639*l - 53705 = 0. Is 9345/4 at least l?
True
Let h be 1792/(-88) - (-32)/88. Which is greater: -103 or h?
h
Let v be (-14)/((68/(-238))/((-6)/7)). Which is smaller: -776/19 or v?
v
Let p = 13559 - 41267/3. Which is bigger: -196 or p?
-196
Let d = -69532 - -622538/9. Is d > -361?
False
Let h = -33519/5780 - 1/1156. Which is smaller: h or 64?
h
Let d be (19 + -1)/3 - 11. Let i be (d - -2)/((-546)/520). Is i >= 0?
True
Let h(d) = -2*d - 17*d + 1 + 2 - 4. Let u be h(1). Is u at most -21?
False
Let o = -36617 + 36616. Which is smaller: -3/8539 or o?
o
Let n(m) = -m**2 - 2*m + 1. Let s be n(-2). Suppose s = 5*l - 4. Let u be (1 + 1088/(-1080))/(13/(26 + -13)). Which is smaller: u or l?
u
Let k(a) = 31*a + 10. Let q be k(3). Let t be 2/6 - (-10)/(-50)*(-6088)/12. Is q > t?
True
Let d = -3322/235 + 44/47. Is d > -12?
False
Let j be (-2 - (-2571)/168) + (-27)/(-216). Which is smaller: 13 or j?
13
Let u be 51/6 + 4/(4 + 4). Let r be 1/(124/14 - u). Is 0.048 at most as big as r?
False
Let l = 2518 + -2507. Are -48 and l nonequal?
True
Let t = 6.2 - 6.88. Let m = 269.32 - 277. Let d = m - t. Which is bigger: d or -8?
d
Suppose 11*s - 1695 + 342 = 0. Let w be ((-1220)/30)/(2*2/(-12)). Which is smaller: s or w?
w
Let k be (-112)/(-98)*-72 + 9. Is -72 < k?
False
Let u = -39/14 + 227/84. Is u at most as big as 0.193?
True
Let d be (-2)/5 + 9160/25. Let i = d - 2201/6. Let q = 0.041 + -0.041. Which is greater: q or i?
q
Let c = 5092 + -4224. Is c greater than -1/3?
True
Let m = 44 - 45. Let f be -13 - 1160/(-50) - (-1)/(-5). Is f at most m?
False
Let q be (4 - 1)*36/594 - 8/528. Is -0.023 greater than or equal to q?
False
Let m be -15 + -3 + (1 - -4). Let r = 22321 + -22317.8. Are m and r equal?
False
Let w = -45262 - -45525. Let v = -0.1 - 0.1. Which is smaller: v or w?
v
Suppose 0 = f - 5*t - 75, t - 97 - 200 = -5*f. Let o be 3/6 - (-6 + f/8). Is o >= -2/705?
False
Suppose 0 = t, 7*t = -5*d + 3*t + 54 - 49. Are 6/173 and d non-equal?
True
Let s(j) = 3*j**2 - 2*j - 1. Let z be s(3). Let b(v) = 291*v + 15150. Let m be b(-52). Is m at least z?
False
Let i be (8 - 324/40)*2/(-6). Is i at least -1/2?
True
Let u = 1101.27 - 1159.2. Let c = 207 - 265. Let l = u - c. Is l greater than -0.3?
True
Let b = -1.5356 + 1.7356. Suppose -5*h = 8*c - 3*c + 105, -3*c = -5*h + 23. Which is bigger: c or b?
b
Suppose 3*g = -2*g - 90. Let a be (-1032)/(-192) - (-3)/(-8). Let h be (a/(10/19))/((-3)/6). Which is greater: h or g?
g
Suppose -a - 100 = -2*k, -14 - 36 = -k - 4*a. Let g be 729/15 - (-2 - 32/(-20)). Which is greater: k or g?
k
Suppose -374 = -q - 76. Let h = -555 + q. Is h bigger than -258?
True
Suppose -6*a = -2*a - 2*d - 742, -5*a = 4*d - 921. Let f = 184 - a. Which is bigger: -8 or f?
f
Suppose 5*u = f - 91, 13*u + 168 = 2*f + 10*u. Let g = 2485/31 - f. Which is bigger: g or 0?
0
Let b = 2 + -2.3. Let z = 0.2 + b. Suppose 0 = 740*r - 735*r - y - 113, 5*y = -4*r + 131. Which is smaller: z or r