+ 62. Let k be d(-14). Let m = -113 - k. Which is smaller: 13 or m?
m
Let y be (161/21 - 3)/((-7140)/693). Which is smaller: 0 or y?
y
Let b be (22/88)/(12/208*-1). Is -201 at least as big as b?
False
Let c = -171 - -321. Let w = c + -165. Is w greater than -13?
False
Let f = 6286 + -18845/3. Are 0.3 and f equal?
False
Suppose 6*w = 17*w - 1100. Let a(u) = 80*u + 7 - w*u - 1. Let y be a(-1). Which is smaller: y or 24?
24
Let r = 5251/1396 - 4/349. Let m = -8 - -13. Which is smaller: m or r?
r
Let k be 15/((-75)/320) - 14. Is -57 less than k?
False
Suppose -6*a + 2*a = -2*f - 252, 4*a - 252 = -2*f. Let c be ((-6)/a)/(-1*(-7)/(-861)). Are c and 13 non-equal?
True
Suppose -4015 = s - 9*y, y + 6232 + 10087 = -4*s. Which is smaller: -4081 or s?
-4081
Let y be (-2*(-6)/24)/((-15)/62). Let p = y - -8417/4080. Which is bigger: -1 or p?
p
Suppose -11194 - 7396 = -125*g - 4590. Which is bigger: g or 106?
g
Let j(w) = -w**3 - 41*w**2 + w + 41. Let z be j(-41). Which is bigger: z or 96/151?
96/151
Let c(n) = n**2 - 21*n + 101. Let l be c(13). Is -35/11 not equal to l?
True
Let p = -3008/9 - -335. Let x(s) = s**2 - 2*s - 62. Let q be x(9). Which is greater: q or p?
q
Let m be (-5 - -2)*((-23)/3 - -2). Let r = -9 + m. Suppose -4*l - 2*g = r, -5*l - 13 = -0*g + 4*g. Which is greater: l or -0.02?
-0.02
Let j be (2/4*(-3 + 1))/((-4285)/10965315). Do 2556 and j have the same value?
False
Let d = -160736 + 160868. Let m = 0.1 - 0. Is m <= d?
True
Let m = 3366 - 3366. Which is greater: -11/41 or m?
m
Let k = -3884 - -3928. Is 53 at most as big as k?
False
Suppose -w = -3*w + 100. Let l = -0.11274 + 0.21274. Are l and w unequal?
True
Let r = 11 + 59. Let f = r - 69. Suppose -20 = -5*c + 7*c. Which is bigger: c or f?
f
Let b = -701 - -700. Let h(s) = -146*s**2 - 2*s + 2. Let p be h(b). Is -146 at least as big as p?
False
Let a be (-268)/3224 + (-37)/1147. Is -461 >= a?
False
Let x = 2905 + -3266. Is 2/9 > x?
True
Let s be (0 - -9) + 2 + 3 + -8. Suppose 0 = 2*v + 8, -s*v + 4*v = -2*r + 56. Let c = r + -41. Is c less than -17?
False
Let o be ((-23320)/(-132))/(14/(-21)). Does o = -258?
False
Suppose 0 = 3*t - 1 - 8. Let v be (2 - 4)/(-2) - (2 - t). Let n = v + 3. Is 5 <= n?
True
Let f = -166 - -278. Let z be 94/10*(-1 + f/12). Let o = 78 - z. Which is smaller: o or 2.3?
o
Let p(k) = 2*k**3 - 306*k**2 + 304*k - 295. Let s be p(152). Is -274 <= s?
False
Let k = 901/87 - -38/29. Let r be (-172)/(-24) - (51 - 44). Is k at least r?
True
Suppose -6 + 3 = -s. Let c(j) = j**2 - 7*j + 19. Let i be c(s). Let v be ((-77)/(-55))/(-1 + (-12)/(-10)). Is v smaller than i?
False
Let b = -1615 + 1618. Do b and -337 have different values?
True
Let l be (-99)/(-15) + -12 + 7. Let j = 12 + -11. Is l < j?
False
Suppose 0 = -8*x - 3*x + 154. Let j be 2/x - 528/(-77). Suppose -6*z - 35 = j. Is z less than -8?
False
Let q be 9/(-6)*2*1. Let t be -7 - ((-87)/58)/((-9)/66). Which is smaller: q or t?
t
Let r be (0 - (-3 + 2))/1. Let k be 5906*r/(-4434) - (1 + 2). Let c = 1/739 - k. Is 4 equal to c?
False
Let x = 83 - 79. Suppose -2*d + 9 = 2*t + 3, 0 = -2*t + x*d. Suppose -5*w + 10 = -0*w, t*n = w + 12. Which is smaller: -3 or n?
-3
Let b = 9461 + -12752. Is 0.1 at most b?
False
Let w be (-222)/(-15)*-32 - (-3 + -5)/(-40). Do w and -473 have the same value?
False
Suppose -5*k + k = -2*v - 234, 4*v = -4*k - 468. Let n = v + 1523/13. Which is greater: n or -0.1?
n
Let d = -88 + 110. Let s(r) = -r**2 + 2*r + 9. Let n be s(6). Let v be ((-12)/n)/(6/165). Is v at least d?
True
Let r(t) = 6*t**2 + 42*t + 176. Let a be r(-5). Is a > 18?
True
Let j = 2958 - 2957. Does j = -3/1094?
False
Let f(d) = 4*d + 83. Let z be f(-20). Suppose -11 = -n + z. Let w(b) = -3*b + 9. Let y be w(0). Is y greater than or equal to n?
False
Let t be (-3)/(-6)*(260/(-50) + 6). Which is smaller: -195 or t?
-195
Let n = -6869 - -8023. Is n at least 1150?
True
Let g(x) = -x + 22. Let j be g(7). Let r(v) = -4*v - 7. Let w be r(-6). Let q = j - w. Do -5/6 and q have the same value?
False
Let l(u) = 44*u - 2189. Let t be l(11). Is -1703 less than or equal to t?
False
Let h be 2 + 4922/(-2652) - ((-350)/60)/(-35). Which is bigger: -0.2 or h?
h
Let o = -1 + 0. Let j be (93/6)/((0 + o)/2). Let c = j - -31. Which is bigger: c or -8/13?
c
Let a(z) = 4 + 3 + 225*z - 223*z. Let p be a(-4). Which is greater: -1/11 or p?
-1/11
Let i be -2 + -1 + (-44)/(-6). Let a(l) = -5*l + 60. Let r be a(-13). Let o = 130 - r. Is i at least as big as o?
False
Let s = -6212 + 6213. Is 299 at most as big as s?
False
Let h be (-3012)/(-45) - ((-8)/3 + 2). Let t(l) = 87*l - 18. Let a be t(1). Is a less than h?
False
Let j = 1196 + -1203. Let q(p) be the first derivative of p**2/2 + 5*p + 1. Let f be q(j). Which is smaller: f or 8?
f
Let v = 2605 - 575707/221. Which is smaller: v or 17?
v
Let w = 11267.2 - 8.2. Is -1/2 >= w?
False
Suppose 2*w - 210 = 4*c, -3*w + 2*c + 336 = 3*c. Which is smaller: w or 105?
105
Let z be 52/(-28) + (-24)/21 + 1. Suppose -2*k + 4*u - u = -14, 3*k + 4*u - 4 = 0. Suppose 5*w + k = 14. Is z < w?
True
Let b be (-714)/3806 - (4 - (-184)/(-44)). Let c = b + -3283/692. Is 1 bigger than c?
True
Let x = -11666/5 - -2333. Which is greater: x or -3508?
x
Let y(u) = -u**3 - 5*u**2 - 6*u + 6. Let a be y(-6). Suppose 2*x - 166 = -2*n, -3*n = 3*x + 2*n - 259. Is a at least as big as x?
True
Let z(f) = f**3 + 4*f**2 - 8*f - 9. Let i be z(-5). Let v be ((-18)/60)/((-12)/190). Which is greater: v or i?
i
Let c be (8 + -3)/30 + (-119281)/42. Let i = c + 2834. Is -7 at least as big as i?
False
Let u = -404080/27 + 14966. Let c(z) = 4 - z - 1 + 1. Let o be c(3). Are u and o unequal?
True
Let m = -4972 + 4973. Let t = -12245/84212 - -21/148. Is t greater than m?
False
Suppose -30*b = -38*b - 528. Let m be 16*(4/16)/(3/b). Which is smaller: -260/3 or m?
m
Let j = 0.14211 + -0.11211. Which is smaller: 34/121 or j?
j
Let s = -25 + 22. Let a be (s/(-7))/((-9)/(-222)). Does a = 11?
False
Suppose -4*w - 2*n - 56 = -92, 3*w + 4*n = 42. Which is smaller: 17 or w?
w
Let g = -163 + 150. Let y(h) = -17*h - 199. Let x be y(-12). Which is smaller: g or x?
g
Let f = -116.71 + -0.29. Let n = f - -212. Let j = n + -94.4. Which is smaller: 0.2 or j?
0.2
Let g = 1204 - 847. Is g smaller than 358?
True
Let o = 113.88 - -80.12. Which is smaller: 0.04 or o?
0.04
Let g be (89 - 84)*(1278/5 + -3). Is g at least 1263?
True
Let t = 1/15094 - -29717/7109274. Which is smaller: t or 2/87?
t
Let b = 0.696 + -0.6884. Let x = 0.3924 + b. Let t = -223/35 + 39/7. Which is smaller: x or t?
t
Let l be (-35 + -1)*(-63)/(-84). Let x = l - -67. Let b be (2/x)/((-40)/(-100)). Which is smaller: b or 0?
0
Let n be ((-8)/10 + (-21)/(-20))*0. Is n at least 9/5330?
False
Let j = -231 - -124. Let r = j - -40. Let w = -68 - r. Is 2/31 at least as big as w?
True
Suppose 0*y = -4*g + 2*y - 22, -3*y = -g - 13. Let q = g - 9. Let r be ((-585)/(-39))/((-2)/(-2 - -4)). Is q at most as big as r?
False
Let w(s) = -502*s**3 - 10*s**2 - 1. Let h be w(2). Is h smaller than -4057?
False
Suppose 45 = 5*o - 5*y, -3*o + 35 = 4*y - 5*y. Let r = 64 + o. Suppose 0 = h + 6*h + r. Which is smaller: -10 or h?
h
Suppose -2 + 42 = k. Suppose -d - k = 2*c + 80, -365 = 3*d + 5*c. Which is smaller: d or -129?
d
Let n be (3/3 - 3) + -25. Let a(x) = -4*x. Let b be (-30 - -23)/(-2 - -1). Let v be a(b). Is v >= n?
False
Let f be 3/(-9)*(-9)/(-24). Let i = 11808 - 11795. Which is greater: f or i?
i
Let g = 57519 - 3163671/55. Is g >= 1?
False
Let d = -6570 - -6569. Suppose -j + 102 = 611. Is j not equal to d?
True
Let n(z) = 9*z + 4. Let x be n(1). Suppose -j + c = -3*c + 2, -5*j = 2*c - 34. Let q = j - -8. Which is smaller: x or q?
x
Let p(b) = -2*b**2 - 6*b + 5. Let f be p(-4). Let j = -38.36 + 38. Let r = j + 0.38. Do f and r have different values?
True
Suppose 19*t - 747 = 2350. Which is greater: t or 167?
167
Suppose -376 = -17*i + 100. Let w be 8/i - 76*(-3)/(-1974). Which is smaller: -1 or w?
-1
Suppose 5*q - 15 = 2*y, -16 = -5*q - 1. Let d be (-48)/36 + (-312)/36. Let i = y + d. Is -9 smaller than i?
False
Suppose -4*c + 7*c - k - 25 = 0, 5*c - k = 45. Let f be (-11)/440*(-2025)/c. Is 4 at least f?
False
Suppose 285*m - 5 = h + 286*m, -5*h = -m - 17. Let u be 97/32 - (1 - -1). Is h > u?
True
Suppose -182*h - 351