11/22*(-6)/129. Is 1 at least as big as h?
True
Let m = 72827/84 - 867. Suppose -6*i - 3 - 3 = 0. Which is smaller: m or i?
i
Suppose -3*g = -4*a - 165, -6*a - 5*g - 47 = -5*a. Let q = 66 + a. Let r = 25 - q. Which is bigger: r or -2?
r
Let m be 4677/(-6975) - 58/(-87). Is 0 smaller than m?
False
Let q = 0.3 - -0.52. Let b = q + -0.38. Which is greater: -2/3 or b?
b
Let r = -1427 + 1425.1. Which is smaller: -1.2 or r?
r
Let r be -2*(-14 + (-1 - (-5 - -4))). Which is bigger: 25 or r?
r
Let a = 31/5243 + -5/107. Which is smaller: a or 0?
a
Suppose 0 = -3*m + 4*l - 57 - 34, -5*m + 2*l = 147. Let d be 9 - 135/12 - (-2 + 0). Is m smaller than d?
True
Suppose 3*r + 2*r = -f - 16, -3*r + 3*f - 24 = 0. Let s be (-360)/(-16) - 1/2. Let n be r/s - (-108)/(-495). Is n less than -1?
False
Let h = -14.94 - 0.06. Let a = h + 13. Let d = -1 - -9. Which is smaller: d or a?
a
Let k = -95 - -94. Let t(v) = -2*v + 3. Let j be t(6). Let b be 23/(-14) + j/18. Which is smaller: b or k?
b
Let o = -0.32 + -0.12. Let u = o + 0.54. Let b = 11.3 + -11. Which is greater: b or u?
b
Suppose 3*v = 21 + 9. Let s(n) be the third derivative of n**5/60 - 5*n**4/12 + 2*n**3 + n**2. Let p be s(v). Is 13 != p?
True
Let n = -337 - -339. Is 461 less than or equal to n?
False
Let t(z) = -z**2 + 5*z - 1. Let m(i) = 3*i - 4. Let d be m(3). Let b be t(d). Suppose 1 = -r - 0. Is r less than b?
False
Let o(c) = -c**3 + 4*c**2 + 5*c + 1. Let q be o(-1). Let z(w) = 42*w - 6. Let l be z(q). Which is greater: l or 35?
l
Let h = -6.8 - 1.2. Let z = -8.79 - 1.21. Let b = h - z. Which is greater: b or 0.2?
b
Let q = -376 + 356. Suppose 47 = -2*i + 5. Is i < q?
True
Let c = 331 + -2965/9. Which is smaller: 1/2 or c?
1/2
Let o = -135 + 201. Let a = o - 76. Which is smaller: a or -9?
a
Let q = 0 + 1. Let n = -15.6 - -18.6. Let a = q - n. Is a not equal to -2/7?
True
Suppose -19 + 49 = 5*i. Let b be 88/i - (-10)/30. Suppose w + b = -3*n, 5*w - 15 = -2*n + 5*n. Which is bigger: w or -1/2?
w
Suppose -15*z - 33 = -63. Which is smaller: 147 or z?
z
Let x = -2408 - -4685/2. Let i = 68 + x. Let k = 7 - 5. Is i at most as big as k?
False
Suppose -6*o + 3*o = -t - 9, 15 = 5*o - 5*t. Let z(p) = -p. Let j be z(2). Is j at most as big as o?
True
Suppose 2*r + 8 = -2*r. Let h(n) = n + 4. Let d be h(-8). Let v = -5 - d. Is v greater than r?
True
Let f be 2/8 + (-3)/(-20). Suppose -87*g + 89*g - 716 = 0. Let n = g - 7516/21. Which is bigger: n or f?
f
Suppose -v + 61 = -0*v - 3*w, -2*v - 2*w + 98 = 0. Which is smaller: 53 or v?
v
Let r(a) = -a**3 + a**2 - a - 2. Let s be r(-1). Let w(b) = b - 2. Let l be w(s). Which is smaller: -2/43 or l?
l
Let s(t) = t**3 - t**2 - 3*t + 10. Let h be s(-3). Let b be (-5)/((-30)/(-88)) + -1. Is h < b?
True
Let i be 1 - (5 + -6) - -244. Which is bigger: 245 or i?
i
Suppose -4*n = r + 201, 141 = -3*n - 5*r + r. Let x = 89 + n. Does x = 38?
True
Let p = 251 + -207. Which is greater: 46 or p?
46
Let c = -0.29 - -0.31. Let x(s) = -s. Let j be x(-12). Let o = 12 - j. Is c greater than o?
True
Suppose -q = 5*z + 6 + 9, 4*q = 4*z + 12. Let v be (42/(-4))/(z/(-12)). Let g be (3/107)/(v/(-28)). Is -1 at most as big as g?
True
Let d = -334 - -759. Is d equal to 426?
False
Let d be ((-90)/60)/(50/56 - 1). Is 14 less than d?
False
Suppose -5*u + 0 = 15. Suppose 7 = 4*p - 9. Let r be 4/16*p*-3. Is r greater than or equal to u?
True
Let d = 20 - 15. Is 5 at most d?
True
Let c = 923 + -2768/3. Is c greater than or equal to -2/3?
True
Let s = -1/17 + 29/204. Suppose 43 - 44 = -n. Is s > n?
False
Let h(f) = f**2 - 7*f - 173 + 173. Let w be h(4). Is -12 at most w?
True
Let b(x) = 6*x**2 - 12*x + 6. Let a be b(8). Suppose -4*o = 3*o - a. Suppose -3*y - o = -0*y. Is y < -14?
False
Suppose -5*p - 3*x - 27 = -2*p, 4*x + 1 = p. Let j = p - 1. Which is bigger: -3 or j?
-3
Let s = -32 - -36. Suppose o + 4*o - 25 = -5*q, 0 = 4*q - s*o + 20. Is 7/10 <= q?
False
Let v = -454 + 453.8. Which is smaller: 1/3 or v?
v
Suppose 2*z - 47 + 53 = 0. Let v be ((-25)/(-8 - z))/(2 + -1). Let w(m) = m**3 + 5*m**2 - m. Let o be w(-5). Is o <= v?
True
Let g be (-2)/1*16/(-56). Let c = -1 - -1. Let i be c + 6/(-9)*-3. Is g at most i?
True
Let y = -7/75 - -191/600. Which is smaller: y or -1?
-1
Let c = -26.066 + 0.066. Let g = 80 + -53. Let f = g + c. Is -1 <= f?
True
Let t = -9 + 14. Let h be (1/3)/(t/9). Do 2 and h have the same value?
False
Suppose -4*x + 108 = -9*x - 3*f, -3*x - 60 = 3*f. Let d = x + 29. Are d and 7 equal?
False
Let y(l) = -l**3 + 3*l + 8. Let v be y(0). Let d be 2*((-1)/(-5) + 0). Which is bigger: d or v?
v
Suppose -4*b + 23 + 4 = 3*l, 20 = 4*l. Let x be (6 - 3)*(-38)/b. Is x <= -38?
True
Let g = 2 + -2.05. Let n = -97.35 + 97. Let t = n + g. Is t greater than or equal to 0?
False
Let z = -42.2 + 40.7. Is 0.05 less than z?
False
Let z = 1259 - 3779/3. Is 98 at most as big as z?
False
Let w be 3/((-12)/(-32)) + -7. Is -6/97 equal to w?
False
Let y be 2/(-6)*(-24)/(-4). Let n be -4*y/(-10)*-5. Let k be 2/n - (-13)/2. Is k <= 7?
True
Let a = 2.513 + 0.047. Let z = 2.6 - a. Does z = -2?
False
Suppose 0 = -8*b - 702 - 418. Which is greater: b or -141?
b
Let f be 5 + 1 + (2 - (-126 - -16)). Suppose 4*n - m = 475, 2*m - 112 = -0*n - n. Does n = f?
True
Let w = 519/13 + -2881/65. Suppose 0 = -4*o + l - 18, -o + 5 = -0*o - 5*l. Is w bigger than o?
True
Let o(u) = u**3 + u**2 - 5*u - 5. Let k be o(-1). Is 3 at least as big as k?
True
Let q(g) = g - 39. Let a be q(0). Let f(t) = t**3 + 11*t**2 + 3*t - 7. Let p be f(-11). Is p smaller than a?
True
Let p = -77/104884 - 3647861593/5349084. Let o = -682 - p. Does 1 = o?
False
Let r = 97 - 64. Is r greater than -0.3?
True
Let a be (1 + (-9)/14)*4/5. Is -8.67 >= a?
False
Suppose 0 = 5*r - r + q - 529, -r = 4*q - 151. Is 132 at most as big as r?
False
Let r = 10 + -5. Suppose 4*m - 20 - 12 = 0. Suppose -6*j = -m*j. Is r != j?
True
Let t be -17 - -20 - 2/((-4)/(-10)). Is -1 at least as big as t?
True
Suppose -2*s - 56 = -w, w - 2*s - 53 = -s. Let p be 26/w - (-1 - -2). Is p greater than 1?
False
Suppose -4*v - 296 = -2*x + 370, x - v - 329 = 0. Is 324 greater than x?
False
Let x = -32375643/17 + 1905790. Let l = x - 1341. Is l <= -2?
False
Suppose 5*h - 20 + 5 = 0. Let y = 24 - 28. Are y and h nonequal?
True
Let g = -594 + 1117. Which is smaller: 524 or g?
g
Let a = 315 + -321. Which is smaller: a or -3/23?
a
Suppose 0 = 34*t - 63*t - 29. Which is smaller: t or -2/449?
t
Let i(j) = 12*j - 2 - 3*j**2 - 1 - 6 + 4*j**2. Let t be i(-9). Is t equal to -36?
True
Let k = -1485 + 1479. Do -1.56 and k have the same value?
False
Let y = -317 + 312. Suppose -4*b = -0*b. Is y less than or equal to b?
True
Let z = 0.09 + -6.09. Let o = -22.9 + 23. Let a = o - 0.2. Is a at most as big as z?
False
Let m = 0.126 + -0.126. Is 2/7 less than or equal to m?
False
Let b be (6 - 7)*-1*73. Let a = b + -31. Suppose -73 - a = -5*z. Do 22 and z have different values?
True
Let z be 0 + 2 + (-8)/1. Let p be 33/27 + z/27. Suppose b = -2*b + 3. Is b <= p?
True
Let l(z) = -30*z - 52. Let d be l(-4). Is 64 > d?
False
Let c be (-1)/(-9) + 868/(-252). Is -3 at least as big as c?
True
Suppose 0 = 2*w - 4*s - 20, 7*w = 4*w - 4*s + 10. Let z = 0.67 - -1.33. Do z and w have different values?
True
Let a = -934 - -8272/9. Which is greater: -15 or a?
a
Let i(g) = -g + 2. Let a be i(-3). Suppose a*v - 13 = -3. Suppose c + 5 = 4*c + v*k, 0 = 3*k - 3. Which is greater: c or -1?
c
Let u(w) = 4*w - 20. Let t(f) = f. Let p(s) = -8*t(s) + u(s). Let m be p(-17). Which is smaller: 49 or m?
m
Let i be 5/(380/(-48))*(-4)/(-8). Which is smaller: -1 or i?
-1
Suppose -5*l - 4*h + 5*h = 0, 4*l - h = -1. Let n be l/3 - 4/(-6). Suppose 0 = -4*i + 3 + n. Which is bigger: -0.5 or i?
i
Let v be 2 - 0 - (30/11 - -1). Is v greater than -3?
True
Suppose -2*i + 5*o + 5 = 0, 0*o - o = -i + 7. Suppose -j - i = -45. Let r = j + -27. Is r smaller than 7?
False
Let o = -62 + 35. Let t = o - -26.9. Is t greater than -12?
True
Let u be ((-49)/(-14))/(-7) - (-9)/10. Let j = 60 - 91. Is j less than or equal to u?
True
Let z be 1/2*(3 - 3). Let k = 141 - 138. Suppose -k = -3*q - 9, z = -4*j + 4*q + 8. Is 6/5 at most as big as j?
False
Let m = -0.083 + -7.967. Let k = m - -7.6. Which is greater: k or 2/5?
2/5
Let a = -8 + 18. Let n = a - 16. 