.05. Let j = -3 - v. Let o = j - 1.9. Is -2/5 greater than o?
False
Let h(x) = -5*x - 6. Let i = 8 + -12. Let d be h(i). Let l be (-11)/d - (-2)/4. Is l greater than or equal to -12?
True
Suppose 6*r - 12 = 3*r. Suppose r - 9 = -b. Suppose -5*a + 9 = -2*a. Which is greater: b or a?
b
Suppose 2*g = -4*o - 130, -3*o - 90 = 2*g + 37. Let u = g + 28. Which is greater: u or 0.1?
0.1
Let i = -1.1 - -1. Let o = 0.4 - i. Let x = 28.8 + -28.9. Which is smaller: x or o?
x
Let t = -23.89 - -24. Suppose 5*d - 7*f = -2*f + 65, -1 = -f. Let a = d - 16. Which is bigger: t or a?
t
Let h = 23238/16031 - -20/697. Which is bigger: 0 or h?
h
Let v(u) = u**2 + 5*u + 6. Let z be v(-6). Let o = -15 - -20. Let c = z + o. Which is smaller: c or 16?
16
Suppose 519 = 3*b + 5*p, -3 = -4*p - 15. Is 178 at least b?
True
Suppose -12 = -5*p + 3. Let z be 3/((-6)/(-10)) - (536 + -535). Which is smaller: z or p?
p
Let m be (-28)/(-1484)*(1 - -6). Is -1 smaller than m?
True
Let s(m) be the first derivative of -m**3/3 - 5*m**2/2 + 2*m + 4. Let g be s(-5). Suppose -g*y - 3*p = p + 6, -4*y + 3*p = 56. Which is bigger: -10 or y?
-10
Suppose d = -5*z - 22, 9 = 3*d - z - 5. Suppose -4*y = p - 83, -p + 4*y = d*y - 88. Let w be p/42 + -3 + 1. Is w >= -1?
True
Let j = 78 - 77. Let l(r) = r**3 - 3*r + 2. Let h be l(3). Suppose 0*c = -5*c + h. Is j at most c?
True
Let d(j) = -j**2 - j + 6. Let b be d(-3). Let n be (-5 - b)*14/5. Let h = -17 - n. Which is greater: -2 or h?
-2
Suppose 0 = 21*d - 17*d - 156. Which is bigger: d or 40?
40
Let g = 60 + -105. Let j = g - -44.58. Let x = j - -0.4. Are -1/2 and x equal?
False
Let x = -151 - -152.94. Let i = x + 0.06. Are -1 and i equal?
False
Let d = -0.2 + -0.3. Let j = -0.5 + d. Let g = 398.2 + -398. Which is smaller: j or g?
j
Let l = 19297 - 96173/5. Which is greater: 61 or l?
l
Let v(r) = -2*r**3 + 21*r**2 - 13*r + 31. Let w be v(10). Which is greater: 131 or w?
131
Let i be -2*(2 - 0) - 1. Let r be i/(10/(-4)) + -5. Let x be (r/6)/((-5)/10). Is x equal to -1/23?
False
Let q(g) = -18*g - 8. Let z be q(-3). Let f = z - 47. Let d = 0.2 - 0.19. Are f and d nonequal?
True
Suppose 5 = 2*v - 2*c - 19, 3 = 3*c. Let x = v + -13. Let w = 106/341 - 4/31. Which is greater: x or w?
w
Let w = -36 - -41. Suppose 0*p + 2*p - 2 = 0. Let k(j) = 4*j. Let h be k(p). Which is bigger: h or w?
w
Let h be (-2 - 25/(-12))*-7. Suppose -2*z + 2*p + 2 = 0, 5*z + 11*p = 8*p - 11. Is h equal to z?
False
Suppose -3*a + 5*d - 81 = -572, -5 = 5*d. Let g = -1299/8 + a. Let h be 8/6 - (-2)/(-6). Is g < h?
True
Let s(i) = i**3 + 13*i**2 - 28*i + 13. Let v be s(-16). Which is smaller: -306 or v?
v
Suppose 100 = 57*q + 43. Which is smaller: -2/225 or q?
-2/225
Let z be -7 + (-2 - (4 - 5)). Is -9 less than z?
True
Let h(i) = -9*i**3 - 2*i**2 - i. Let p be h(-1). Let f = 9 - p. Let k be 2/9 - 1786/(-1197). Are f and k non-equal?
True
Let s be ((-9)/6)/((-1)/2). Let y be (-156)/(-91) - 2/(-7) - 29. Let p be 2/s + 18/y. Is p < 6?
True
Let x = 0.05 + 125.95. Let t = 109 - x. Which is bigger: t or 0?
0
Let b = 101/174 + -12/29. Which is smaller: 0 or b?
0
Suppose -5*h + 2*j + 642 = -403, -2*j + 1025 = 5*h. Is h greater than or equal to -1?
True
Suppose -4*n - n = 0. Suppose s - 2*s + 5 = n. Suppose 4*k - 23 = -3*c, -2*c + s*k - 27 = -4*c. Which is greater: 3/4 or c?
c
Suppose 12*z + 49 - 1 = 0. Let v be 1/1 - (14 + 1). Let c be (z + v/(-4))*0. Is 3/14 smaller than c?
False
Let r = -42485/3 - -14401. Let c = r - 242. Is -4 less than or equal to c?
True
Let z(y) = -6*y - 4. Let q be z(-2). Let u be (-6 + q)/(1*-1). Are u and -1 equal?
False
Suppose 0 = 5*k - 2*k. Let r(d) = -d**3 - 7*d**2 - 2*d + 10. Let h be r(-7). Let u be ((-6)/h)/((-2)/(-6)). Is u <= k?
True
Let l = 9 + -7. Suppose -2*z + 4 = l*z. Let v be 18/(z*(-3 + 5)). Is 9 smaller than v?
False
Let u be (25/6850)/(52/16). Which is bigger: 1 or u?
1
Let o(l) = -l + 6. Let z be o(5). Let r be -1 + z + (-6)/(-9). Let p = -50.46 - -50.3. Is r greater than or equal to p?
True
Let w(p) = p + 9. Let g be w(-9). Let b be (2 - 1 - g)/1. Let r = -92/7 + 2031/154. Is b < r?
False
Let r = 7.11 - 7. Let a be 110/72 + (-6)/(-27). Let h = a - 27/20. Which is greater: h or r?
h
Let t be (37/(-74))/(2/280). Is -71 > t?
False
Let f = 3/358 - -12849/4654. Do f and 4 have the same value?
False
Let d(g) = -g**2 + 18*g - 11. Let o be d(17). Suppose 5*z - o = -a + 4*z, -16 = -4*z. Is a >= -0.031?
True
Let s be ((-228)/(-1330))/(3/10). Which is smaller: s or -136?
-136
Let f(q) = -40*q + 1755. Let k be f(44). Let b = 835 - 1491. Let g = 2607/4 + b. Is k at least as big as g?
False
Let m = -2.98 + 5.98. Let h = -1 + 4. Let p = m - h. Which is smaller: 2/9 or p?
p
Let z be 3/(-90)*2 + 0. Let m = 33.1 - 33.1. Is m less than z?
False
Let n = -863 + 865. Which is smaller: n or 4.1?
n
Suppose -4*f - 39 = -2*b + 1199, -5*f - 3*b - 1542 = 0. Let z = 1861/6 + f. Let k = -11 - -45/4. Which is greater: k or z?
z
Let n = 8.91 + 0.09. Let y = 8.8 - n. Let v be ((-6)/8)/((-84)/32). Which is bigger: v or y?
v
Let v = -623/2280 - -1/152. Is -0.03 equal to v?
False
Let d be ((-20)/4 - -10) + 0. Suppose 0 = d*y - 2*y - 6, 3*o - 4*y = -122. Are o and -39 equal?
False
Let q = 0.4 - 0.33. Let j = -0.93 - q. Let a = j - 0. Which is greater: 0.2 or a?
0.2
Let s(t) = 3*t**2 - 30*t + 20. Let l be s(10). Which is smaller: 19 or l?
19
Let x be ((-2)/4)/((-34)/(-12)). Let i be (-2)/(-3) - (460/15 - 0). Let l = 31 + i. Are x and l unequal?
True
Let s = 0.187 - -6.573. Let x = s + 0.24. Which is bigger: 0.2 or x?
x
Suppose 0 = -3*q - 4*l - 10, -3*q = 2*q - l + 9. Let u be (-1)/q - ((-380)/8 - 1). Is u at least 49?
True
Let s be (-10)/4 + (-9)/18. Let j(y) = -6*y**2 - 4*y. Let x be j(s). Let m be 98/x*(2 - 1). Is -2 at most as big as m?
False
Let g be 11/(-33) - 2/(-5). Suppose 0 = o - 1 - 10. Let b = -11 + o. Which is greater: b or g?
g
Let i = 258.9 + -259. Is i <= -99?
False
Let j = -0.126 + -0.179. Let c = 0.105 + j. Is 38 at least c?
True
Let d = -103/5 - -21. Let c = 3744 + -134771/36. Let b = c + -1/9. Which is smaller: b or d?
b
Let b(g) = g**2 + 20*g + 39. Let y be b(-12). Suppose 0*a - 4*d + 158 = -3*a, -5*a - 2*d - 298 = 0. Which is bigger: y or a?
y
Let a = 1.2 + -1.1. Let m = a + -1.6. Let r = m - -2.5. Which is bigger: r or -12?
r
Let u = -294 + 1213/4. Does u = 10?
False
Suppose -4*l - 14 = x - 0*l, 3*x - 26 = 5*l. Suppose 0 = -3*r - 4*f - 27, 3*r + 27 - 3 = -3*f. Let n be (-13)/r + 4/10. Which is bigger: n or x?
n
Let t be 34/4 - 5*(-36)/120. Let w(g) = -10*g. Let o be w(-1). Is t < o?
False
Suppose -610 = 4*t + 2*u, 7*u - 2*u + 157 = -t. Let i = 89 + t. Which is smaller: -62 or i?
i
Suppose 6*h + 3*y = 2*h + 352, -4*h - 2*y + 348 = 0. Suppose -5*z - h = -35. Which is smaller: -9 or z?
z
Let z = -4.22 + 4.12. Is z at least 273?
False
Let u(q) = -q**2 - 17*q + 24. Let p be u(-18). Suppose -d = 11 - p. Is -4 less than or equal to d?
False
Let m be 24/8 + 5 + (-116)/14. Let u = 35.023 - 0.023. Are m and u nonequal?
True
Let j = -982 - -980. Which is smaller: -6/23 or j?
j
Let o be (-6)/(-8)*1/3. Let y(u) = u**2 - 11*u. Let r be y(11). Is r >= o?
False
Let y = -5.7 - -7.08. Let f = -1.4 + y. Let m = -0.38 + f. Do 1 and m have the same value?
False
Let f = -1774 - -10645/6. Is 244 at most f?
False
Let t be 1*(66/10)/3. Suppose -65*a + 193 + 24 - 22 = 0. Which is greater: a or t?
a
Let t be (-2)/7 + (-30205)/(-245). Is 123 bigger than t?
False
Let t be ((-4)/(-1) - 5)*(1 - 0). Which is smaller: t or 8/29?
t
Let p = 0.03 + 0.17. Let i = 0 + p. Let m(t) = t**3 + 4*t**2 + 4*t + 4. Let a be m(-3). Which is smaller: a or i?
i
Suppose -168 = -4*s - 4. Let g = s - 25. Let p be 1/((-1)/1) + 17. Is p <= g?
True
Suppose -5 - 10 = -3*g. Let r(u) = -5*u**2 + 4*u - 3. Let t be r(g). Let w be (-3)/(-4)*(-32)/t. Which is smaller: -1 or w?
-1
Suppose -20*p + 17*p + l + 1290 = 0, 3*p - 1284 = -l. Is 430 smaller than p?
False
Let y be 0 + -3 + (-16 - -17). Let j be 2*(y/(-8)*2 + -1). Let n = 1 + -1. Are j and n non-equal?
True
Let j = 2715 + -2715. Suppose -c = 2*c + 6. Is c at least as big as j?
False
Let t = -57774 + 233301/4. Which is smaller: t or 551?
551
Suppose 2 = -4*w + 5*w. Let a be -1 - w*2/(-4). Let d = 18459/13 + -1420. Which is bigger: a or d?
a
Let y = -0.0417 + 0.0417.