-0.837 + h. Let b = 0.06 - r. Which is smaller: -22 or b?
-22
Let g = -7 - 5. Let v(i) = -2*i**3 - 25*i**2 - 12*i - 12. Let q be v(g). Let d be 3/(-3)*(12 + -1). Is d greater than q?
True
Let l be 5/2*(-4)/(-745). Let w(i) = -i**3 - 12*i**2 + 64*i. Let q be w(-16). Which is greater: l or q?
l
Let f = -1508/3795 + -2/759. Which is smaller: f or 16/17?
f
Let y = -125 - -102. Let m = 21 + y. Is m greater than 1/5?
False
Let b = 12.28 + 3.42. Let s = b + -22. Is 1 greater than s?
True
Suppose -9 = 4*f - 5*w, -4*w - 3 + 21 = -5*f. Suppose -4*r + 6*r + 20 = 0. Let s = r + 4. Is f less than or equal to s?
True
Suppose -22 = 2*j - 30. Suppose j*i = -4*i + 128. Is i at least as big as 33/2?
False
Suppose 4*x - 2 = -v - 3, -5*v = 4*x + 21. Let t = -303/10 + 18443/610. Which is bigger: x or t?
x
Let y be 1/2 - 50/(-4). Let b = 17 - y. Suppose b*h + m = 21, 3*h = 5*m + 2 + 8. Is h greater than 4?
True
Suppose -s - 2*s = 5*v + 156, 0 = -4*v + 5*s - 110. Let m = -66 - -65. Which is greater: v or m?
m
Let y = 14 + -20. Suppose 3*l - 16 = -1. Let z = y - l. Which is smaller: -12 or z?
-12
Suppose 0 = -19*h + 4*h + 60. Suppose 2*p + h*l = p + 20, 0 = 5*l - 25. Which is bigger: 2/149 or p?
2/149
Let z = 0.42 - -0.74. Let p = 1.06 - z. Does 5 = p?
False
Let k(d) = -d**3 - 10*d**2 - 5*d - 8. Let v be k(-11). Which is bigger: 1 or v?
v
Suppose 2*o + 2 = 4*i - 3*i, -5*o - 4*i = -8. Suppose -3*s + 4*s - 68 = o. Suppose 4*k + 4*d - s = 0, k + k - 31 = d. Is k less than 15?
False
Suppose 0 = 3*r + 3*j, -2*r + 3*j + 4 = -1. Let o be 1*r*(0 + -1). Which is smaller: 0.11 or o?
o
Let x be (-2)/(-18)*(12 - 4210). Let i = -466 - x. Is 1 smaller than i?
False
Suppose -10 = 2*c - 7*c. Let d(w) = 5*w - 12. Let p be d(c). Which is smaller: p or -24/11?
-24/11
Let b be (-43)/(-9) - 1*(-10)/45. Let p = -3 + 8. Suppose -3*w - b = -3*f + 4*f, -p*w = 3*f + 7. Which is greater: -2/65 or f?
f
Suppose -8 = 2*r, v + 9*r = 6*r - 131. Are -118 and v non-equal?
True
Suppose -15 = -3*n, -v - 3*n + 26 = 2*n. Let k(j) = -44*j**2 + 3*j - 1. Let o be k(v). Are -83/2 and o non-equal?
True
Let d = -1981 - -1358. Let c = d + 4369/7. Is c less than or equal to 2?
True
Let u be ((-34)/(-72) + 4/(-18))*2. Let d be 4 + 12/(-9)*3. Which is greater: d or u?
u
Suppose -13 = -13*k + 52. Suppose 12*m - 189 = k*m. Which is smaller: m or 24?
24
Let f(c) = -c + 6. Let k be f(5). Suppose 23*d - 19*d = 0. Suppose -y + d*y = g, 4*y - 4*g = 0. Which is greater: k or y?
k
Let v = -378 - -12095/32. Are -1 and v equal?
False
Let m be 35*(-16)/24*(-6)/10. Let f be (-6)/m - 153/(-63). Is f > 13/6?
False
Suppose 3*r - 9 = n, n = -n - 2*r - 2. Let u = n - -4. Let z(k) = -k**3 - k. Let o be z(1). Which is smaller: u or o?
o
Let f be -4*((-1267)/210 - -6). Let y = 20 - 9. Which is greater: f or y?
y
Let y be (-25)/(-15)*2*(-192)/40. Which is bigger: -148/9 or y?
y
Let l = -23 - -16. Let z(f) = -f**3 - f**2 + 10*f + 24. Let i be z(-2). Is l not equal to i?
True
Let x(l) = l**2 + l - 4. Let o be x(-3). Let n be -21*((-16)/(-12))/4. Let i be (-2)/(-8)*(-4 - n). Which is bigger: o or i?
o
Let n(o) = 3*o**2 - 84*o + 152. Let z be n(35). Which is bigger: 886 or z?
z
Let h = 23 - 32. Let j be (-2)/9 + (-2)/h. Are -1/23 and j equal?
False
Let u(c) = -c**3 + 64*c**2 - 68*c + 316. Let i be u(63). Let l = -29847/10 - -18043/6. Let a = l - 67/3. Which is bigger: i or a?
i
Suppose 0 = u - 2*u + 3. Suppose -3*n + 36 = 2*w, -n - u*w + 22 = w. Suppose 2*v - 14 = 4. Is n at least v?
True
Let n(f) = -f**3 - 12*f**2 - 13*f + 4. Let b be n(-10). Let m = b - -46. Let z be (6/m)/(9/(-12)). Is z greater than or equal to -2/11?
True
Let f(i) be the first derivative of -i**4/24 + 3*i**3/2 + 2*i**2 + 6. Let q(o) be the second derivative of f(o). Let u be q(6). Which is greater: u or 2?
u
Let a = 6 + -11. Suppose -14*q + 8 = -16*q. Let t be -2 + 1 - 0/q. Is a at most as big as t?
True
Let a = 12 - -6. Let i be a/(-4)*72/27. Let o = i - -14. Is o at most 14/9?
False
Let f be (6 + 91/(-16))/(3/(-84)). Which is smaller: f or -9?
-9
Suppose 3*u + 0*h + 12 = h, -5*h = u + 4. Let z be (u - -4) + -3 + 6. Let t be (-1)/(z + 26/(-4)). Is -17 at least t?
False
Let q = 266 - 260. Let i be (6 + -4)/((-13)/(-1)). Is q at most i?
False
Let m = -67 - -66. Let h = m - 25. Is -2 at least h?
True
Let y = -0.324 - 0.066. Let z = 0.4 + y. Let t be (-9)/12*8/(-15). Is z at least t?
False
Let a = -764 - -758. Which is bigger: -2/11 or a?
-2/11
Suppose 1 + 35 = x. Let t be (x/90)/(2/30). Suppose -2*q = -t*q. Which is greater: 8/9 or q?
8/9
Let f be (8/(-12))/(20/30). Is f bigger than 1/11?
False
Let c be (310 + 5/1)/(3/2). Let j be (-60)/c*(-1 - (-14)/8). Which is bigger: -1 or j?
j
Let n be 216/(-5) + 2/10. Let b be (-5)/(-10) - n/(-78). Let y be (4/(-20))/((-7)/(-35)). Are b and y equal?
False
Let l = -233 - -13051/56. Let d = -9575 - -9575. Which is greater: d or l?
l
Let b = -18.3 - -171.3. Let z = b - 155. Is 25 at least as big as z?
True
Let f be (-70)/(((-10)/70)/(6/(-7))). Let h be (f/(-207) + -2)*9. Which is smaller: 1 or h?
h
Let i = 2 - -1. Let v = 1902 - 1896. Which is bigger: v or i?
v
Let y = -20.524 + 20.4. Are y and 6 unequal?
True
Suppose 26*i - 24*i - 94 = 0. Suppose 275 + 54 = 7*o. Are i and o equal?
True
Let s = -16.894 + 0.894. Is 0.29 equal to s?
False
Let j = 241516 - 259629738/1075. Let m = -8/129 - j. Which is greater: 0 or m?
0
Suppose 4 = j + 1. Suppose 2*i = -5*a - 17, -4*a = 3*i + 5 + j. Let s be (-2)/(-5*i/(-30)). Do s and -5/2 have the same value?
False
Suppose -4*t = 5*j + 288, 40 = -2*t + 4*j - 130. Which is smaller: -75 or t?
t
Let b be (-213)/(-391) - 0/19. Let o = b - 10/17. Let z = -61/33 - -24/11. Is z greater than o?
True
Let g be ((-4)/10)/((-1)/(-30)). Let n(b) = 3*b + 26. Let p be n(g). Which is smaller: -9 or p?
p
Suppose 3*p - 27 = 2*n, -3*p - 2*n - n = -27. Suppose -35 = 2*r - p. Is -16 smaller than r?
True
Let g be (-17)/(850/(-20))*(-3)/(-14). Is g equal to 0?
False
Let g(n) = n**3 + 2*n + 1. Let h be g(-2). Let x = -9 - h. Suppose -x*r - 1 = -3. Which is bigger: 1/7 or r?
r
Let k be (3 + -1 + -2)/1. Let c be (15/10)/(153/12). Is k smaller than c?
True
Suppose 4*w = -4*f - 16, 2*w + 9 = f - 4*f. Let t = 11.9 + -14. Let i = -11.1 - t. Which is greater: i or f?
f
Suppose -3*s - 516 = -v, -5*s - v = 2*v + 860. Are -171 and s nonequal?
True
Suppose 2*s = 4*f + 1 - 5, 0 = 3*s - 6. Is f >= 40/21?
True
Let s be -2*((-27)/6 - -2). Suppose -s*l - 329 = 81. Are -81 and l unequal?
True
Let j(l) = l**2 - 5*l + 3. Let r be j(5). Suppose 5*s + 3*w - 31 = 0, 5*s - 15 = w + 4*w. Which is bigger: s or r?
s
Suppose 3707 + 2359 = 3*d. Suppose n - 5*a = -350, 5*n + d = -3*a + 216. Let c be (-4)/5 - 258/n. Is 0 bigger than c?
True
Suppose -3*m + 6*m = 2*c - 32, c = 4*m + 16. Let a be (c/(-24))/((-6)/(-99)). Suppose 4*h = -h - 60. Which is greater: h or a?
a
Let u = -1670.1 + 1747. Let d = -73 + u. Let i = 4 - d. Which is smaller: i or -2?
-2
Suppose 3*i = i + 5*j - 2, j = -4*i - 4. Suppose r + 59 = -13. Let b be 2 - (-4 + (-435)/r). Is i < b?
True
Let b = 468 - 1155. Let l = -31601/46 - b. Is 1 at most as big as l?
False
Let o be (-2)/((16/(-12))/4). Suppose 9*g = 15*g - o. Is 1 at least as big as g?
True
Let b = -1231 - -1231. Which is smaller: -1/56 or b?
-1/56
Suppose -o + 0*k = 2*k - 35, 0 = -3*k - 3. Suppose -3*f + q - o = -3*q, q + 10 = -2*f. Is -8 smaller than f?
True
Let h be 705 - (-186)/(-124)*14/(-3). Which is greater: h or -0.1?
h
Let v = -9 - -14. Suppose -z - 2*k = 3, -k - 9 - 5 = -2*z. Let r be ((-133)/(-35))/(0 - (-3)/z). Which is smaller: r or v?
v
Let z be 2 + 3 + (344 - 9). Is z bigger than 341?
False
Let t = -387 + 267. Let r be t/81*(-27)/(-36). Is r bigger than -2?
True
Let j = 4.76 + -2.76. Let d = 7.7 + 1.3. Is d smaller than j?
False
Let t = 1167 + -958. Does 211 = t?
False
Suppose -14*s + 113 = -13. Is s at most as big as 5?
False
Suppose 5*r - 5 = -h - 14, -7 = -h + 3*r. Let f(p) = -h + 5*p**2 - 1 + 3 - 2*p - 4*p**2. Let y be f(2). Is 1 < y?
False
Suppose 0 = -3*f + f + 6. Suppose -y + p - 20 = f*p, 2*p = 4*y + 70. Let v be ((-1)/(-2))/(3/y). Which is smaller: -1 or v?
v
Suppose 2*g = -g. Suppose 0 = 5*r + 25 - 45. Let w be (2/(-116))/(0 - r/16). Is g >= w?
False
Suppose 4*p + 3*w = -8, 2*w = 5*p - w + 10. Let v b