 2/(-10). Let n = -118 + 122. Which is smaller: n or r?
n
Let a(t) = 6*t - 5. Let q be a(5). Let m be q/20 + (-2)/8. Let v be (19 + 0)*m/(-4). Is -5 bigger than v?
False
Let l(p) = 4*p**2 + 30*p - 23. Let x be l(-8). Which is bigger: -8 or x?
x
Suppose -50*v = -49*v + 1. Let k be -3 + v/(3/(-6)). Which is smaller: -2 or k?
-2
Let s be (48/9 + 1)*4. Let f = -25 + s. Let j = -7/18 - -1/18. Which is smaller: f or j?
j
Let d = -12.78 - -13. Let j(o) = o**3 + 3*o**2 - o - 3. Let b be j(-3). Which is greater: d or b?
d
Let y = 4269/494 - 112/13. Suppose 10*u = 7 + 43. Let l be (-6)/9 - u/(-3). Is l greater than y?
True
Let x = 5.227 - 0.227. Which is greater: -15 or x?
x
Let t = 35/2 + -873/50. Is 0 at least as big as t?
False
Let d = -1647/5 + 393623/1195. Is 1 not equal to d?
True
Let t = -44 + 43. Let s be (-1206)/27*(-1 + -2). Which is smaller: t or s?
t
Let m = 31 - 26. Suppose -2*k + 6 = 5*f, m*k = 3*f - 4*f - 8. Suppose 2*l + 24 = -3*p - 3*l, -2*p = -l + 3. Which is smaller: p or k?
p
Let p = 0.0943 + 0.1057. Is p smaller than 23/6?
True
Suppose -4*h = 6 + 2, 0 = -4*t - 2*h. Let u = 40183558/29 - 1385234. Let g = u - 406. Does t = g?
False
Let f(m) = m**3 - 7*m**2 + 13*m - 7. Let t be f(5). Suppose -17 = t*l - 9*l. Let z = l - 17. Which is smaller: -2/11 or z?
-2/11
Let q = -15.92 + -0.08. Let x = 13 + q. Let w = -0.34 - 0.06. Which is smaller: w or x?
x
Let a be 40 - (-4 + 0 + 1). Let j = -55 + a. Let o be (54/(-15))/((-6)/(-20)). Is j bigger than o?
False
Let m(h) = -h**2 - 15*h + 48. Let w be m(7). Is w bigger than -106?
False
Let q(z) = -6*z**2 + 2*z + 7. Let j be q(-2). Is j <= -19?
True
Let q be (-16)/(-27)*126/(-84). Is -2 at most as big as q?
True
Suppose 0 = -2*w + 4*w. Let x be 1/(w + (-3)/6). Let t be -3 + 38/14 - 2. Is x less than t?
False
Let r(j) be the second derivative of j**5/20 - j**4/3 + 5*j**3/6 - j**2 - 5*j. Let w be r(2). Let g(c) = -c + 7. Let d be g(17). Is d less than w?
True
Let y = -5/4 - -11/12. Which is bigger: 20 or y?
20
Let n = 5.3 - 22.3. Let i = n - -18. Which is smaller: i or -19?
-19
Suppose -b = 2*b, 5*p = b + 85. Are 308/19 and p unequal?
True
Suppose 2 = -2*t, -t + 62 = -2*k + 157. Is k at most as big as 49?
True
Let c = 40/43 - -9091/258. Which is bigger: 36 or c?
c
Suppose -4*k = 4*j + 40, 0 = 2*k - 7*k + 4*j - 50. Which is smaller: -11 or k?
-11
Suppose w = -4*q + 56, 15*w = 18*w + 12. Is q < 37?
True
Suppose 5*y + 41 + 69 = 0. Let n = y - -41. Let h = 26 - n. Which is smaller: 5 or h?
5
Suppose -38 = -17*p + 18*p. Let k = 38 + p. Which is smaller: 3.5 or k?
k
Let h(n) = -11*n + 2. Let r be h(1). Let f = r - 4. Is f < -14?
False
Let j = 1200/11 + -108. Suppose -4*a = -0*a + 8. Does j = a?
False
Let i(f) = 2*f**2 + 7*f - 6. Let s be (-15)/8 - -2 - 30/(-16). Let w be i(s). Which is greater: w or 18?
18
Let f = 7 - 6. Let g = f - 1.2. Are g and 0.02 non-equal?
True
Let x = -140/11 + -151/110. Which is greater: -14 or x?
-14
Let t be (-12)/270*(-12 - -7). Suppose 15 = d - 3*x, 3*d + x + 20 = -3*x. Suppose c = -d*c. Which is smaller: c or t?
c
Let a be ((-2)/(-5))/((-26)/10). Let j = -26 + 25.74. Let t = j + 0.06. Which is smaller: a or t?
t
Let p = 47 - 8. Suppose 36*g + 3 = p*g. Is g greater than -1/44?
True
Let b be 13 + -13 + ((-1302)/(-10))/(-3). Let j = b - -1903/45. Which is smaller: j or -2?
-2
Let x = 1061/28 - 123/4. Which is greater: -1/4 or x?
x
Let g be (12/(-54))/((-1)/3). Let t be 1 + 1 + (-90)/3. Let m be 27/(-45)*10/t. Which is greater: m or g?
g
Let w(b) = b**3 - 5*b**2 - 4*b - 7. Let m be w(6). Suppose 0 = o + 3, -495 = -m*c - 0*o + 5*o. Let p be 156/c - 2/16. Are p and -0.2 unequal?
True
Suppose 0*x = 3*x - 84. Let m = -22 + x. Let z be 4/m + (-10)/20. Is z greater than 3?
False
Let b be (4 + (-5)/2)*-30. Let w be (-2)/9 + (-235)/b + 2. Which is smaller: -2 or w?
-2
Let n = -89 - -93. Suppose -i + 4 = 4*c, n*c - 5*i + 8 = -3*i. Which is bigger: c or 0.09?
0.09
Let r = 8 - -3. Let n = 0 + r. Let t be 0 - (-3 - (-34)/n). Is -2/5 bigger than t?
False
Let l(a) = a**2 - 4*a - 4. Let c be l(4). Let u be -3 + (14 - (c - -3)). Suppose -3*d + 3 = -u. Which is smaller: d or 3?
3
Suppose 5*z + 68 = 3*c + 23, 0 = -4*c - 5*z + 25. Let i be (-202)/50 + (14 - c). Is 1 at most i?
False
Let d = 11/2 + -43/9. Let c = 2/9 - d. Are c and 26 non-equal?
True
Let n(b) = -b**3 - 4*b**2 + 7*b + 9. Let m be n(-8). Does 209 = m?
True
Let z be 0/(-7 - -2 - -2). Is 0 > z?
False
Let q = -77.8 + 76.6. Which is smaller: q or -4/17?
q
Let d be (-7 - (5 - 9)) + 8/2. Is d at least -3/110?
True
Suppose -5*f = -5 + 35. Suppose -3*c - 33 = 4*z, 4*z + 30 = -5*c - 9. Is z at most as big as f?
True
Let m be 5/25 - 470/(-25). Which is smaller: 17 or m?
17
Suppose 0*b - 4*b = -68. Suppose -13*t = -201 - 20. Let z = b - t. Which is bigger: z or 2?
2
Let g = 42.77 + 4.63. Let a = g - 3.4. Which is bigger: -0.1 or a?
a
Suppose 4*h - h - 3*c = 21, 0 = -2*c - 10. Let u = -16 + 22. Let x(l) = -l**2 + 7*l - 5. Let j be x(u). Is j >= h?
False
Let k = -5 + 627. Is 621 greater than k?
False
Suppose k + 3*k + 2*r = 30, 3*k - 21 = -2*r. Suppose 11*h - 12 = k*h. Is 6 bigger than h?
False
Let o(w) = -w**2 + 25*w + 21. Let p be o(20). Are p and 124 equal?
False
Let t = -0.98 - -1.08. Is -106 bigger than t?
False
Let z(b) = -b**2 - 4*b + 2. Let q be z(-3). Suppose n + j = -3 + 6, -2*n + 13 = -q*j. Which is smaller: n or 26/5?
n
Let x(m) be the second derivative of -m**3/2 + 17*m**2/2 + 6*m. Let c be x(14). Is -25 at least c?
True
Let u = -55816 + 555953/10. Let w = 221 + u. Let n = 0.1 - 0. Does n = w?
False
Suppose 2*v + 107 - 45 = 0. Let w = v - -10. Do -21 and w have the same value?
True
Let r be -3*1 - (-227619048)/54202902. Let f = r - 12/40877. Let b = -23/17 + f. Is b at least 1?
False
Let d be -89 + (-288)/(-63) + (-8)/14. Is -88 less than d?
True
Let o(d) = 3*d - 24. Let w be o(8). Is w greater than 3?
False
Let a = 18 + -13. Suppose -b - c + 8 = 4*c, -5*c + 20 = a*b. Let s(f) = f**2 - 8*f + 13. Let o be s(5). Is b >= o?
True
Let u = -465.9 + 466. Is -1199 bigger than u?
False
Let x(g) = -2*g. Let j be x(1). Let c be 8*(j + 6 + -1). Is c smaller than 24?
False
Suppose o = -2*b - 1, -5*b - 5 = -3*o - 3*b. Which is bigger: o or -2/139?
o
Let f = -0.42 - -0.22. Let x = f - -1.2. Which is smaller: x or -1/4?
-1/4
Let r(c) = c**3 + 6*c**2 - 8*c - 6. Let n be r(-7). Suppose -5*j + 17 = 7. Let f be j + 4*40/(-76). Which is smaller: n or f?
f
Let w(j) = -j**3 - 8*j**2 - 8*j - 17. Suppose -7 = 2*a + 7. Let y be w(a). Which is bigger: -8 or y?
-8
Suppose -20 = -4*m - m. Suppose c = 5*c + m. Let r = -133 - -135. Which is smaller: c or r?
c
Let p be ((-2)/4)/((-1)/8). Let n be 2*2*1/p. Let m = 47481 - 237407/5. Is n >= m?
True
Let t(p) = -p**3 - 5*p**2 + 6*p - 1. Let j be t(-6). Suppose -14*q = -13*q. Which is smaller: j or q?
j
Let k be -2 + 9*1/2. Let u = -50 + 45. Let j be 0 + 0 + (-2 + u - -9). Which is bigger: j or k?
k
Let a be 1/1 + 20/(-28). Let k(o) be the first derivative of o**3/3 - o**2 - 7*o + 3. Let f be k(4). Is a at least f?
False
Suppose 0 = -3*m - m - 5*t - 1, -m - 5*t + 11 = 0. Let q = 1 + 25. Suppose 6*u + q = u - i, 3*u - 2*i + 26 = 0. Which is greater: u or m?
m
Let k = 0.237 - -0.13. Which is smaller: 1/4 or k?
1/4
Let v = -5.4 + 0.4. Let d = 5 + v. Let o = -0.096 - -2.096. Is d less than or equal to o?
True
Let m = -43592/7 + 6200. Which is bigger: -26 or m?
-26
Let j be 3/(-21) - (-319)/616. Let a = 10 - 6. Suppose -r = -a*r + 3*v - 6, -3*r + 15 = 4*v. Is r greater than j?
True
Let i = 3.5 + -0.5. Let n = -3.54 + 0.44. Let z = n + i. Is 0.05 smaller than z?
False
Let v = -39083545/21 + 1860768. Let h = v + 353. Which is bigger: 0 or h?
0
Let j = 39 + -4. Suppose 2*b - 7*b + j = 0. Let s be (b/(-98))/(1/2). Is s != 0?
True
Suppose -4*c - 5*i - 27 = 0, c - 6 = 2*i + i. Let h be 2*((-96)/c)/(-4). Let b = 17 + h. Which is greater: b or 1/4?
b
Let n = -169 - -160. Let r(l) = -4*l**2 - 10*l - 14. Let d(i) = 3*i**2 + 9*i + 14. Let p(b) = -3*d(b) - 2*r(b). Let z be p(n). Does z = -32?
True
Let n = -71/3 - -24. Let x = -0.4692 - 0.3308. Which is smaller: x or n?
x
Suppose 4*b + 150 = -b. Let g = b - -92/3. Is g greater than -3/7?
True
Let j = -0.086 + 0.106. Are j and -25/4 nonequal?
True
Suppose 0 = 3*y - y. Suppose -4*g - 42