r = 13 + -18. Let d = -4.8 - r. Is d <= o?
False
Let a = -8.2 + 45.2. Let q = a + -37.04. Let u = 0.4 + 2.6. Which is smaller: u or q?
q
Suppose 5*l = 2*l + 24. Let h(r) be the third derivative of r**4/24 - 3*r**3/2 + 6*r**2. Let a be h(l). Is -1/3 at least as big as a?
True
Suppose -2*k + 3 = 5*f, 3*f + 0 + 18 = k. Suppose y + 1 = t + 5, k = -3*y - 4*t. Is y smaller than -2/61?
False
Let o = -15914/7 - -2266. Which is bigger: 1/3 or o?
1/3
Let b = 0.1118 + 50.8882. Is b equal to -1?
False
Let y = 49 + -52. Suppose 0 = 6*p - 3*p - 12. Let q(m) = -m**3 + 5*m**2 - 6*m + 5. Let j be q(p). Is j smaller than y?
False
Let a be ((-64)/14)/(690/(-207)). Which is bigger: a or 2?
2
Suppose -3*u - 5*p = -15 - 4, 4 = 2*p. Suppose 5*v = u*v. Let s be (-36)/(-21) + -2 + v. Is -1 > s?
False
Let z = -469.95 + 470. Which is smaller: z or -1/3?
-1/3
Suppose 4*t + 2*x - 6 = 0, -2*t + 4*x - 14 = -42. Let k be (t - 3142/930) + (-6)/10. Which is bigger: 1 or k?
1
Let d be (154/70)/((-180)/(-200)). Let i(m) = m**3 - m**2 + m + 3. Let o be i(0). Is d smaller than o?
True
Suppose 0 = v - 4*d + 1603, 3*d + 3218 = -2*v - d. Which is smaller: v or -1608?
-1608
Suppose s - 4*s = 0, -i - 5 = -4*s. Let t be i - -5*(-5)/25. Do t and -7 have the same value?
False
Let l = -1089 - -1088. Is l greater than or equal to -281?
True
Suppose 0 = -3*c - 0*c. Suppose i - 13 = 3*d, c = -d + i - 3. Let p be (24/14)/((-92)/322). Is d at most as big as p?
False
Let a = -2236/27 + 382/27. Which is bigger: -68 or a?
-68
Let i be 0/(-83) - (-1 + -163). Is i less than or equal to 166?
True
Let r = -11 + 16. Suppose 0 = -4*k + t + 61, 34 = 3*k - 4*t - 28. Let g be k/(-3)*-1 - 4. Which is greater: r or g?
r
Suppose 0 = -3*c + 6 + 36. Let h = 10 + c. Suppose 0*u + 6*u = -h. Do -1 and u have the same value?
False
Suppose 2*w = -3*w - k - 2, 3*w = 4*k + 8. Is w < -2/517?
False
Suppose 23*l = 26*l + 3. Let g be (1 + l)/2 - 1. Do g and -10/13 have different values?
True
Suppose -3*l = -3, 2*q - 85 = 3*l - 4*l. Let t = q - 38. Is t > 3?
True
Let x = 2.469 - 2.334. Which is smaller: x or 0?
0
Let z = -66 - -43. Do z and 0.9 have the same value?
False
Suppose 3*z + 1 = -i + z, 5*i + 3*z - 16 = 0. Let c be ((-676)/140 + 5)/((-4)/i). Which is smaller: c or 0?
c
Let g be (-221)/(-51) - (-1)/(-3). Suppose -l = 2*n, -5*n + 2*l + g = -5. Is n greater than -1/10?
True
Suppose -4*t = -4*u + 5*u - 18, 15 = 3*u - t. Let o be u/(-4) - 2 - -4. Suppose -f + 3*k - 5 = 0, -4*f + f = -5*k + 7. Is o at least f?
False
Let a = -55 - -57. Which is greater: -2 or a?
a
Let o = -44459/7 + 6366. Let m = o - 15. Let h = -271 + 1089/4. Is h greater than m?
True
Let n = 23 - 22. Let k = 16 - 17.8. Which is smaller: n or k?
k
Let b = 0.0053 - 0.1053. Which is smaller: b or 121.7?
b
Suppose -5*t - 3 = -18. Let w be 12/(-13)*(t - 66/18). Which is greater: -2/7 or w?
w
Let d = -36 + 21. Let u be (d/185)/((-3)/(-2)). Is 1 equal to u?
False
Suppose -13 = -0*p - p. Let k = p - 14. Which is greater: 2/21 or k?
2/21
Suppose 14 = 2*p - 2*n - 8, -3*p - 2*n + 23 = 0. Let u be (-3)/(-2)*(-3)/((-36)/544). Let v = -58 + u. Which is greater: p or v?
v
Suppose y - 2*r + 2 = 0, 5*y - 6 = -3*r + 5*r. Suppose -4*l + 7 - 111 = y*f, 0 = -4*l - 3*f - 104. Which is smaller: -76/3 or l?
l
Suppose 146 - 34 = 7*b. Which is greater: b or -3?
b
Let q be (-1 - 19)*(-14)/(-35). Let j be (-10)/4 + (-60)/8. Which is smaller: q or j?
j
Suppose -16*u = -20*u + 4. Let y = -1/29 + -23/174. Which is greater: u or y?
u
Let g = -22.7 + 43.7. Is -0.2 != g?
True
Let t = -15 + 43. Suppose -t = 3*n + 5. Which is smaller: -6 or n?
n
Let h(i) = i**3 + 7*i**2 + 6*i. Let u be h(-1). Is -93 <= u?
True
Let v(y) = y + 12. Let n(r) = r**3 + 7*r**2 + 7*r - 5. Let p be n(-6). Let s be v(p). Is s at least -10?
True
Let i be 160/25 - 0 - 4/10. Let z(a) be the third derivative of a**5/30 - 5*a**4/24 + a**3/2 - 3*a**2. Let v be z(3). Is v > i?
False
Let t be 14/10 + (-6)/15. Let v = -227801/99 - -2301. Is t > v?
True
Let q(g) = 3*g + 57. Let h be q(-24). Which is smaller: -14 or h?
h
Let p be (-6)/(-16) - (-5340)/15456. Let a = p + -10/23. Is -2/217 less than a?
True
Let p(g) = -2*g + 20. Let i be p(8). Let f be (-2)/i*12/4. Which is smaller: f or -0.2?
f
Suppose -4*n - 5*m - 30 = 0, 3*n - 7*n - 22 = m. Suppose 3*x = -0*x - 18. Is x != n?
True
Let p = 330 + -986/3. Is -0.06 at least p?
False
Let m be (327*3/(-21))/1. Is m >= -47?
True
Suppose 1147 = 5*d - 0*x + x, -908 = -4*d - 4*x. Let g be -1 + 1 - d/(-10). Let c = g + -13. Which is bigger: c or -1?
c
Let r be (-1650)/690 - (3 - 8). Is 2 < r?
True
Suppose -3*g + 3*z + 4 = 2*z, 0 = -4*g + 2*z + 8. Which is greater: -4 or g?
g
Let p(g) = -216*g - 2155. Let d be p(-10). Let q = -2 - 3. Let j = 12 + q. Is j greater than or equal to d?
True
Let m = -0.08 + 0.17. Is 1 equal to m?
False
Let z be -29 - (0 + 1 - 2). Let o = -29 - z. Is -2/29 at least as big as o?
True
Let t = -7 - -11. Let w = 26 + -36. Let p be (6/9)/(w/(-6)). Is t less than p?
False
Suppose -7 = -2*k - 3*y, -5*k - 3*y + 30 = 2*y. Suppose 2*h - 4*w - k = 3, -2*w = 8. Let t be 66/(-10) - (4 + -10). Which is smaller: h or t?
h
Let w be (30/(-225))/((-3)/(-15))*-3. Are w and 26/47 equal?
False
Let c be -1 + (-1 - 0) - -1. Let q be 1 - (7 - 1) - c. Which is smaller: -0.2 or q?
q
Let f(c) = -3*c + 5. Let m be f(4). Let q = m - -16. Let u = 5 - q. Is -4 not equal to u?
False
Suppose -v - 6 = s, 4*v - 2*s + 10 = 4. Let c be v/(-4) + 3464/32. Is 109 greater than or equal to c?
True
Let z = 359 + -353. Which is smaller: 2 or z?
2
Let i = 13 + 39. Let c = i - 50. Which is smaller: 4/7 or c?
4/7
Let g(o) = -o**3 - o**2 - 13*o - 57. Let c be g(-6). Is c greater than or equal to 203?
False
Suppose -6*h + 4 = -4*d - 3*h, -3*h = -12. Suppose d*f + 26 = -11*f. Which is bigger: f or 0.2?
0.2
Let g(o) = o**2 - 3*o - 3. Let v be g(3). Let k(d) = -d**2 - 2*d + 3. Let u be k(v). Let w be u + (-3)/(-2 + -31). Which is greater: 1 or w?
1
Suppose 5*f - 3*l = 36, -8 = -l + 5*l. Let q(j) = j**3 - 6*j**2 + j + 2. Let b be q(f). Which is greater: b or 9?
9
Let w = 15 + -8. Suppose -w*a = -6*a + 14. Which is bigger: a or -15?
a
Let r(j) = -7*j**3 + 7. Let d(p) = -4*p**3 + 3. Let q(g) = -5*d(g) + 2*r(g). Let y be q(-1). Let x = -6 - y. Which is smaller: x or 6?
x
Let n = 1.27 + -2.93. Let z = -0.06 - n. Which is smaller: 0 or z?
0
Let g be (-15 - (-88)/11) + -11. Let f = -0.3 + 0.6. Is g != f?
True
Suppose -216 = -17*d + 11*d. Suppose d = -7*w - 13. Is -6 != w?
True
Let b(u) = -u**2 - 8*u - 7. Let m be b(-2). Suppose 6 = -m*r + p, r + 4 = -2*p + 5. Is r less than or equal to -22/9?
False
Suppose 12 + 4 = 4*c. Suppose 8 = -0*p + 2*p. Suppose -8 = -p*k, 4*k = -4*i + 5*k + 10. Which is greater: c or i?
c
Let o = 22 + -22.18. Let u = 28 + -28.48. Let i = u - o. Which is smaller: -6 or i?
-6
Let y be (-6 + 0)*1/2. Suppose 1116 - 1116 = -13*v. Is v >= y?
True
Let k = 0.2 + 0.8. Let c = k + -0.92. Let r = -1.08 + c. Which is bigger: 3/2 or r?
3/2
Suppose 5*z = -2*u - 14, 2*u + 3*z = -3*u + 3. Suppose 0 = -6*w - 15 + u. Which is smaller: -3 or w?
-3
Let h = -0.644 + -0.056. Let n = h + 2.7. Which is smaller: -0.6 or n?
-0.6
Let h(a) = 18*a - 6. Suppose 0 = 4*m - 82 + 78. Let w be h(m). Let o = -6 + 17. Which is greater: w or o?
w
Suppose 4*w - 1 = -9, 4*w = -5*a + 2. Suppose 2 = a*d - 0. Suppose 4*o = 7 - 3. Is d less than or equal to o?
True
Let b = -39 + 39. Let a = b + 0.7. Let j = -0.1 - a. Do j and 1 have the same value?
False
Let w = -126 + 93. Let b = 26 + w. Let k(h) = -h**2 - 8. Let d be k(0). Which is smaller: d or b?
d
Let h be 24/25 - (-6)/(-6)*1. Let x = -49 + 50. Is h bigger than x?
False
Let f = 570 + -8554/15. Let n be ((-2)/(-3))/(19/(-513)*-18). Is f not equal to n?
True
Let g be (-5 - -1) + (2 - -1). Let j be 0 + (28/(-30) - g). Suppose -5*r + 2*m + 1 = -1, -3*r = 5*m + 5. Is r < j?
True
Let b = 397 - 394. Which is greater: 2 or b?
b
Let b = -0.02 - -0.02. Let g = b - -0.08. Let m = g - 1.08. Which is greater: m or 0.1?
0.1
Let p = 120 - 1318/11. Let l = 14323172/175 - 81847. Let h = l + 4/25. Is h > p?
False
Let v = 1087 - 1062. Which is greater: -7 or v?
v
Suppose 0 = v - 2*v + 9. Let m = v - 0. Is 10 >= m?
True
Let s = -2 + 1. Let y be (0 + -4 - -3)/(3 + -8). Is y not equal to s?
True
S