162/4 - (-62)/124. Let h be 3*1/(6/(-80)). Let m = h - s. Which is greater: m or -11?
m
Suppose r = k + 12, -17*r + 20*r - 24 = k. Which is smaller: -142 or k?
-142
Let a = -254 - -218. Let r be (-640)/a + (0 - 6/(-27)). Is r greater than 20?
False
Let i be 5727/(-1907) - (7 + -10). Let k = i + 5519/1148014. Which is bigger: k or 1?
1
Let a be (0 - (-5)/10) + 161890/4. Let w be (a/480)/(-9) + 4. Let x = -1/32 + w. Which is smaller: x or -4?
x
Let v(h) = -2659*h + 13 - 98 + 2673*h. Let s be v(6). Which is smaller: s or 54?
s
Suppose 18*t + 19*t = -5*t. Let f = 1 + -5. Let z be 2/(t - ((-2)/f)/1). Do z and -8 have the same value?
False
Let j = -307 - -306. Let d = -29 - -32. Let t be (d + 1)*(-4)/(-104). Which is smaller: t or j?
j
Let z = 0.12 + -0.1. Let x = 17.2129 + -19.5129. Is x not equal to z?
True
Let k(b) = b**3 + 24*b**2 + 11*b - 161. Let v be k(-23). Which is bigger: 125 or v?
125
Let n be (-3 + (0 - -15))/1. Suppose 3*q + n - 24 = 0. Let d be q + -1 + -35 + 5. Is -26 smaller than d?
False
Let t(i) = -66*i - 15. Let x be t(-7). Suppose -x = -4*u - 5*d, u - 5*u = -4*d - 420. Suppose u = -23*p + 27*p. Which is smaller: 26 or p?
26
Suppose 2*z + 5*i + 0 + 5 = 0, -4*z + 5*i = -5. Suppose 3*n = -4*w - z*w - 13, 9 = -3*n - 3*w. Is n greater than 22/29?
True
Let g = -26483 + 26481. Is g at least 2916?
False
Suppose 0 = 3*k + 4*y + 151, k - y = 2*y - 33. Let l be 315/(-30)*5/(k/(-6)). Which is greater: l or -8?
l
Let b be ((7/42*0)/14)/(-6). Let j = 22/5 - 296/65. Which is greater: b or j?
b
Suppose 5*n = 4*h + 71, -24*n + 26*n = -h + 31. Let y = -11 - -21. Which is smaller: y or n?
y
Let c be 4858/(-32) - (-57)/(-304). Is -156 less than or equal to c?
True
Let i be 2/18 - (-580)/(-522). Let j = 77898/79 + -986. Which is greater: j or i?
j
Suppose 811 = 60*j + 751. Is -1/65 less than or equal to j?
True
Let q be (-1)/3 - (-14)/(-48). Suppose f + 4*c + 156 = 0, c + 17 - 18 = 0. Let z = f + 163. Which is smaller: z or q?
q
Let d = 43/5 - 124/15. Let w = 1113/5 - 3334/15. Is w greater than d?
False
Suppose 0 = 23*k - 19 + 42. Let x be (-1)/(k + 2) - (-6480)/(-81). Is x greater than -2?
False
Let v(r) = 188*r - 580. Let f be v(-5). Is -1520 at most f?
True
Suppose -30 = 4*p - 9*p. Suppose -4 = 59*m + 232. Does m = p?
False
Suppose -3*j = -21, 4*i - 4*j = 12 - 44. Which is greater: 2/14275 or i?
2/14275
Suppose 21902*l + 956 = 21868*l + 38. Let f be 550/(-21) - (-2)/(-3). Is l bigger than f?
False
Let m(d) = 50*d + 10. Let o be m(5). Let z be (-16)/(-20)*50/o. Are z and 8/5 non-equal?
True
Suppose 2*u + 0*u = 2. Let q be u*(-10)/195*(-13647)/(-4). Let i = q - -175. Which is bigger: i or 0?
i
Let b = 437 - 432. Suppose -2 + 1 = -3*c + b*p, -3 = -c + p. Let x be -9*(-3)/(-48)*-12. Is x at most c?
True
Suppose 0 = 11*n + 5*n + 98 + 430. Which is smaller: -94 or n?
-94
Let a(h) = h**2 + 9*h + 13. Let b be a(-7). Let z be (-1)/18*b*(-12 - -8). Is z at least as big as 1?
False
Suppose -5*q - t + 2*t + 39208 = 0, 4*q = 4*t + 31360. Let z = q + -54697/7. Let v = 185/7 - z. Does v = -3?
False
Suppose 5*a - 23 = 2*a + 5*u, -3*a - 3*u - 9 = 0. Let i = 47923 + -10111754/211. Which is smaller: i or a?
i
Suppose -4*w - g - 208 = 0, 0*g = -2*g - 8. Let j = w + 79. Suppose 0 = 4*r - 2*n + 56, -2*r = n + 2*n + j. Is -13 not equal to r?
True
Suppose 0 = -5*x + 28 + 52. Let g = 28 - 16. Suppose 15*c = g*c + 51. Which is smaller: c or x?
x
Let k = 28256/29415 - 194/185. Is -1 greater than or equal to k?
False
Suppose -q + 2*b + 43 = -0*q, 4*q = 5*b + 169. Suppose 14 = s - 3*s. Let o be (-296)/s - (-4)/(-14). Which is smaller: q or o?
q
Let o be 1/(2/(-1) + 1). Let x be (184/(-2438))/(20 + -2). Is x at most o?
False
Let l = 2921/12 - 6809/28. Are -0.2 and l equal?
False
Let v be 9/(25 + -7) + (-1497)/(-6). Let p = 250 - v. Is -2/1835 greater than p?
False
Let o be (0/(-2) + (-124)/(-372))*16471*3. Which is greater: 16470 or o?
o
Suppose 369*d - 25744 = 151*d - 70434. Which is greater: d or 2/23?
2/23
Let l be 37 + 4*(-8 - -3)/5. Let c be 4/(-6) + 1456/42. Is l greater than or equal to c?
False
Let m = 13795 + -13640.06. Let q = m - 155. Let g = -12/17 + -3/68. Which is smaller: g or q?
g
Suppose -z - 3*z = -3*o - 12, 8 = -2*o. Let k be (7 + -9)/((-2)/4). Let m(h) = h**2 - 2*h - 5. Let q be m(k). Is q <= z?
False
Suppose -11*g - 41838 = 21073 + 1483. Is g at least as big as -5854?
True
Let a = -145/3 - -49. Is a <= 6.97?
True
Let w = 225 + -217. Let m be (-4 + -2)*w/16. Is 5/2 greater than or equal to m?
True
Let l = 42 - -869. Let k = l + -954. Which is smaller: -44 or k?
-44
Let g = -8209750775/3159 + 7796534/3. Let q = g - 1/243. Which is greater: 1 or q?
1
Let a = -637 + 545. Which is bigger: -103 or a?
a
Let s be 4/30 + 566920/600. Suppose -2*f - 127 + s = 2*n, f = 4*n + 409. Is f smaller than -0.1?
False
Suppose -4*d - v = 1093, 0 = 2*d + 22*v - 26*v + 542. Which is bigger: -274 or d?
d
Let h be (((-70)/7)/(-10))/((-4)/20). Let n = 12 - 12. Suppose -3*b - b = n. Does h = b?
False
Let s = 3664 - 3016. Which is greater: s or 647?
s
Let p = 5029.8 - 5030. Which is smaller: 0.056 or p?
p
Let q be 3/2*136/(-51) + (-29064)/9. Is -3234 at least q?
False
Let a(g) = 8*g - 4. Let x be a(2). Let m be (x/60)/((-1)/(-5)). Let c be (m - 0 - 0)/(22 - 21). Is c at most -19?
False
Let r = -3 - -2.9. Let y = 0.19 + -0.37. Let l = y + 2.58. Which is greater: r or l?
l
Let w(d) = 14*d - 152. Let i be w(-12). Suppose -317 = h - 2*g, 0 = -29*g + 31*g + 2. Are i and h unequal?
True
Suppose 22*w = 18*w + 8. Suppose 2*k - 5*f = 86, 3*f - w*f - 242 = -5*k. Suppose 3*p - 15 = k. Which is greater: 20 or p?
p
Let t be (1/(-4) + 5038/88)*1. Let v be (-760)/t*12/(-25). Which is bigger: v or 0.1?
v
Suppose -17 = -35*d + 12*d + 6*d. Is d equal to 1/785?
False
Let d = 229835/14 + -110328/7. Let x = d + -690. Let q = x - -34. Is q <= -1?
False
Let i be (-6)/(-4) - (32721/17010 + 0). Let n = i + -2/405. Let s = n + 2/21. Is 12 greater than s?
True
Let j = -284494339/3071 + 92639. Is j < -1?
False
Let z = 7337 - 80805/11. Is -18 less than or equal to z?
True
Let w be 5*(0 - (-2)/(-42)). Let y = -409/1806 - w. Let t = 100 + -101. Is y <= t?
False
Suppose 0 = -4*w - 2*o - 78, 112 = -5*w - 5*o + 12. Suppose 21 = -k - 0*k. Which is smaller: k or w?
k
Let w(p) = -p**2 + 32*p + 4. Let l be w(32). Suppose -u - l = 0, -4*m - 5*u = -2*m + 30. Let h = 2926/5 + -589. Is h at least m?
True
Suppose -17 = -10*t - 27. Which is greater: -23/98 or t?
-23/98
Let x(y) be the third derivative of -y**5/60 - 17*y**4/24 - 61*y**3/6 + 60*y**2. Let j be x(-12). Is 2/391 less than or equal to j?
False
Let b = -1175 - -953.1. Let z = -222 - b. Which is bigger: -1/1036 or z?
-1/1036
Let k(g) = 7*g**3 - 6*g**2 + 13*g + 15. Let b be k(7). Suppose 4*h = -5*n - b, -433 = n + 5*h - 9*h. Let u be 1/(-3)*n/(-168). Which is bigger: 0 or u?
0
Let a = -28696/7 - -143424/35. Let d = 17.8 - -1.2. Is a bigger than d?
False
Let g(y) = -y**3 - 20*y**2 - 3*y - 55. Let q be g(-20). Let v be (66/(-9))/(q - (-460)/(-90)). Which is smaller: 64 or v?
64
Suppose 751 = -7*r - 236. Let d = 9157/65 + r. Which is smaller: -1 or d?
-1
Let j = 22 - 20. Suppose m = -q + 13, 5*q + j*m = 12 + 44. Let f be q/288 - (-14)/(-63). Is f > 1?
False
Suppose -2*a = 2*p - 3358, 2*p - 81*a - 3362 = -84*a. Do 1675 and p have the same value?
True
Suppose -58 = 2*u + 3*z - 1, -5*u = -3*z + 195. Let y be 48/u*(-2)/316. Is -1 >= y?
False
Let b = 127.947 - 128. Let m = b + 0.033. Let u be 0/(-5)*(-3)/9. Is u at least as big as m?
True
Let o = 2021/6 + -613/6. Which is smaller: 234 or o?
234
Let l be ((-110)/(-312) + 3/(-9))*(-2 - 1). Which is smaller: l or 0?
l
Let i be 24/10*(-1850)/(-1110). Is 38 < i?
False
Let d be (1 + -3)*4/(-1152)*(-4)/3. Is d not equal to 1?
True
Suppose -3*v = -9 - 9. Let s be 1/(-1)*v*4/8. Let q be 3/s + -2 - -3. Which is bigger: -2/133 or q?
q
Let a be (-12)/(-78) + 2043/(-13). Let l = -1139 - -981. Which is bigger: a or l?
a
Let a(u) = -u**3 + 2*u**2 + 15*u - 17. Let z be a(1). Which is greater: -1220 or z?
z
Suppose -h - 400 = h. Let i(u) = -6*u**2 + 28*u - 107. Let v be i(5). Let q = h - v. Which is smaller: -84 or q?
-84
Let q = -120/29 - -1105/232. Is 1 at least as big as q?
True
Let h = -132.1 + 72.9. Let t = 192 + -133. Let m = t + h. 