ller than -1?
True
Suppose -4892 = -10*l - 6892. Which is bigger: -201 or l?
l
Let t = 6 - 19. Let c(r) = r**2 + 10*r - 472. Let v be c(-27). Is t <= v?
True
Let r be (-6 + 5 + 1)/2. Which is bigger: 2/575 or r?
2/575
Let r(b) = -b**3 + 6*b**2 + 12*b - 14. Let x be r(7). Is x at least 99/5?
True
Let f be 1*64/31 - 4/2. Let r = 85/124 + f. Which is smaller: 0 or r?
0
Let r = 15897849 - 5675473787/357. Let y = r + 530/51. Let m = -174 + y. Which is smaller: m or -1?
-1
Let r = -181 - -155. Let w be -27*(0 - (0 + -1)). Is r smaller than w?
False
Suppose 0 = 10*m - m - 1269. Which is greater: m or -1?
m
Suppose -8 = -4*m + 4. Suppose -d = -v - m - 3, -d + 18 = -5*v. Let t be (-3)/(-15)*(-6)/d. Is 7 at least as big as t?
True
Suppose 3*k + 564 = 5*v, 3*v - 188 = k + 4*v. Is k greater than -188?
False
Let c(x) = -7*x + 39. Let r be c(9). Let o be (-6)/9 - (r/18 + 0). Suppose -z - 4*z + 75 = 0. Which is smaller: o or z?
o
Let t = -54 + 86. Let r = t + -35. Is r at least 0.4?
False
Let r = 0.453 - 2.443. Let m = r + 1.89. Let k = 15 - 10. Which is smaller: k or m?
m
Let s = 0.15 + -0.25. Let z = s + -3.9. Is z < -2/7?
True
Let y = -44.3 + 44.52. Which is smaller: y or -11?
-11
Suppose 2*q + 0 - 10 = 0. Suppose -15 = -5*n + q. Let x be ((-232)/(-18))/n - 3. Is x less than or equal to -1?
False
Let u be 3/(-6) + 15/24. Suppose -5*m = -5*p, -5*p - m - m = 0. Suppose -4*g + p = -3*q + 1, -8 = 3*q + 5*g. Are q and u equal?
False
Let q = -1718 + 1711. Which is smaller: q or 40?
q
Suppose 0*a - 12 = a. Let u be 16/a + (-10)/6. Is u greater than 3?
False
Let b be (-52)/(-14) + (-2)/(-7). Let o = 14729 + -14732. Is o != b?
True
Let z(b) = 2*b**3 - 45*b**2 + 46*b - 55. Let d be z(21). Which is smaller: d or -414?
-414
Let n = 0.1 + -0.12. Let t = 2.22 + -2.2. Let i = t + n. Are i and 11 equal?
False
Suppose 6*d + 5 = -1. Let w be d + (-6)/(-5) + 408/85. Which is smaller: -0.3 or w?
-0.3
Let m be 20/8 + (-15)/(-10). Suppose -3*r = m*r. Let y be (-18)/15*20/(-18). Which is greater: r or y?
y
Let t be 8/10 + 327/(-15). Let q(i) = -31*i + 1. Let b be q(-1). Let d = 11 - b. Is t >= d?
True
Let t = 13 - 11. Let j be ((-4)/t)/(36/(-90)). Is 2 != j?
True
Suppose 0 = 4*v + 27 + 1. Let d be (-1)/v - 114850/595. Let s = d + 193. Which is bigger: -0.2 or s?
s
Let m(o) = -o - 4. Let n(w) = 5. Let r(g) = 3*m(g) + 2*n(g). Let k be -1 - ((-34)/8 + (-2)/(-8)). Let h be r(k). Which is greater: h or -12?
h
Suppose 3*l + 17 = w, -2*l - 1 = 1. Suppose -8*b = -w*b - 18. Do -10 and b have different values?
True
Let b be (-5 - 85/(-15))/((-6)/117). Is -13 at least as big as b?
True
Suppose -4 = -2*j, j - 2 = -3*v - 2*v. Suppose 1 = -v*i - i. Let h = -12174/13 - -936. Is h at most as big as i?
False
Suppose -3*d - 6 = -c + 15, -4*d - 38 = -3*c. Suppose 0 = -7*x + 10*x + c. Let t = -3 - x. Which is greater: 1/15 or t?
1/15
Let i = -95 + 94. Which is greater: i or 15?
15
Let y = 28 + -47. Let f = 45.1 + -45. Which is smaller: f or y?
y
Let g(c) = -c**3 + 7*c**2 + 8*c + 5. Let t be g(8). Suppose -3*s + 8 + 3 = 4*f, -5*s = -t. Let b be -6*2/32*f. Which is smaller: -2 or b?
-2
Suppose 5*r = -3*n + 27, -2*r = -2*n - n + 6. Suppose -n*o = -2*q + 5*q - 19, -3*q = 2*o - 17. Which is smaller: -10 or o?
-10
Let z = -16 + 32. Let j = 17 - z. Which is greater: j or -2/113?
j
Let d be (245/(-65))/(-5 + (-42)/(-9)). Is 10 greater than d?
False
Let j = -224 - -714. Is j greater than 490?
False
Suppose 114*g - 43*g + 71 = 0. Is 1/2089 != g?
True
Let b = -2913/377 - 57/29. Is -11 < b?
True
Suppose -4*y + 17*y - 117 = 0. Let s(m) = m - 1. Let d be s(2). Suppose q - d = -y. Is -9 less than or equal to q?
True
Suppose 3*t = -838 - 350. Is t at most as big as -396?
True
Let s be (-4 + (-80)/(-12))*-3. Let g be 2/(-4) + (-4)/s. Which is smaller: 5/13 or g?
g
Let l(n) = -n - 37. Let s be l(-42). Let w(b) = b**2 - b + 5. Let a be w(0). Suppose 4*u + g - 40 = 5*g, 5*g = -a*u. Is s < u?
False
Let i(m) = 124*m + 626. Let q be i(-5). Is q less than 51/8?
True
Let a = -1853 + 1577. Is a greater than -272?
False
Suppose 3*z - 350 = -11*z. Is 22 at least as big as z?
False
Let b = 87 + -345/4. Let r = 1 + -5. Let a be ((-1)/((-2)/r))/(-21 + 13). Is a bigger than b?
False
Let q be ((-3)/(-6))/((-2)/8). Let s(o) = o**3 + 2*o**2 - 4*o - 6. Let u be s(-3). Let w(t) = t**3 + 4*t**2 + 4*t + 1. Let b be w(u). Are q and b unequal?
False
Suppose -3*c - 4 = -0*c - 5*l, 0 = -5*c - 5*l - 20. Is c at least -22/9?
False
Let m be (8/20)/((-30)/(-2)). Let y = -32/75 + m. Which is bigger: y or -4?
y
Suppose 0 = -4*x + l + 18 + 3, -5*x + 15 = -5*l. Suppose 2*p + 5*i + 47 = 0, 2*i + 149 = -x*p + p. Is -31 smaller than p?
False
Let a be (717/(-6) - -4)*(-24)/(-90). Which is bigger: a or -31?
a
Suppose 210 = -0*k + 5*k. Let p be (24/k)/(6/7). Let n = -23 - -22.5. Is p less than or equal to n?
False
Suppose -f - f - 4 = 0, -2*f - 3 = h. Suppose 0 = 3*n + 8 + 4, -n = 5*c - h. Which is smaller: -4/11 or c?
-4/11
Let z(a) = -a**3 + a + 6. Let q be z(0). Suppose q*l - 2*l = 16. Suppose -u - 2*r = l + 6, r = 5*u - 5. Which is smaller: -5/7 or u?
-5/7
Let o be (5/10)/((-1)/(-40)). Let k = -92/3 + 30. Which is bigger: o or k?
o
Let i be (-9)/(-45) + (-54)/(-5). Suppose 5*d + i = -9. Let c = -15 - -9. Which is bigger: d or c?
d
Let h(i) = -i**2 + 8*i - 6. Let k be h(7). Is k at least as big as 5?
False
Let r = -35 - -32. Let t be (-2)/(2/(-48)*r). Is t at most as big as -17?
False
Let u = 4.31 - 3.61. Which is bigger: -0.3 or u?
u
Suppose -2*z = -210 - 90. Let n = 73 - z. Do -77 and n have the same value?
True
Let c = 12.19 + -0.19. Let h = -15 + c. Which is greater: -2/9 or h?
-2/9
Let j be ((6/25)/(-3))/(170/(-850)). Are j and -77.2 equal?
False
Suppose 0 = 25*d - 23*d - 2. Is 2 >= d?
True
Let h(q) = -q**3 - 53*q**2 + 58*q + 95. Let c be h(-54). Is -842/7 bigger than c?
True
Let k = -49 - -48.6. Let n = -1.5 + 2. Let p = n - -0.5. Is k at most as big as p?
True
Let p = -41221/39 + 1057. Suppose -n + 3*s = -9 - 3, 4*n = -2*s + 6. Suppose 2*t = -n*y, 2*t + 3*t + 5*y = 0. Which is greater: t or p?
p
Let b = -1332 - -4067/3. Which is greater: 24 or b?
24
Let b(w) = -w**2 - 2*w - 1. Let p be b(-2). Let i = 1 + p. Let r = 3.34 + -7.34. Is r at least as big as i?
False
Let g = -175 - -144. Which is smaller: -33 or g?
-33
Let l = 1162815065/546 - 2129697. Let f be 1661/858 - 2*1. Let h = l + f. Which is greater: 2 or h?
2
Suppose -4*k + 0*k + 3*n + 16 = 0, 0 = -k - 3*n + 4. Suppose k*r + r = 0. Which is bigger: r or -3?
r
Suppose -5 = 5*l + 5. Let x = -507/95 + 71/19. Which is smaller: l or x?
l
Let m = 10 - 7. Let s be 24/6 - 15/m. Which is smaller: s or -2?
-2
Let z be ((-35307)/(-130))/(14/(-35)). Let c = z + 679. Is 0 at most as big as c?
True
Suppose 2*i - 216 = 2*v, -8*i + 11*i + 342 = -3*v. Is -115 != v?
True
Let i(z) = 2*z - 49. Let p be i(24). Is 2/57 at most as big as p?
False
Let t = -17.3 - -1.3. Let d = -16.12 - t. Is 0.2 smaller than d?
False
Suppose 0 = -2*b + 4, 5*b = -i + 8*b - 9. Is i > 1?
False
Let q = 10 - 18. Let t(w) be the first derivative of w**3/3 - 4*w**2 - 7*w + 4. Let n be t(8). Which is smaller: n or q?
q
Let q = -0.8394 - 0.0606. Is q equal to -3/92?
False
Let v = 9.3 - 9.3. Is v not equal to 0.09?
True
Let l = 179883/16 - 11235. Is l >= 9?
False
Let q = 75.03 + -75. Let n = -0.31 + q. Which is smaller: n or -0.1?
n
Let u(i) = i + 10. Let t = -14 - -2. Let g(q) = q + 2. Let r be g(t). Let f be u(r). Is -2/5 < f?
True
Let q = 126 - 82. Let g = -60 + q. Does -1 = g?
False
Let b = 23 + 1. Let s = b + -22. Which is smaller: 3 or s?
s
Let m = 8 + 5. Let t = m - 3. Let w be 209/22 + (-2)/(-4). Is w at most t?
True
Suppose 3*o = -4*z + 19 + 16, 0 = -2*o + 3*z - 5. Let h(u) = u**3 + 5*u**2 + u + 7. Let d be h(-5). Let p = d - -5. Do p and o have the same value?
False
Suppose 4*f + k = -3, 0 = k + 2*k + 9. Suppose -9*q - 198 + 0 = f. Which is smaller: q or -23?
-23
Let l(j) = 42*j + 394. Let f be l(-15). Do -236 and f have the same value?
True
Suppose 0 = 2*u - 4*u. Let j be 6/936*3*2*4. Is j > u?
True
Suppose 3*z + 2 = 5. Suppose 3*j + 2*j + 10 = 0, 4*j + 28 = -4*w. Let v be -4 + 2*(-13)/w. Is z bigger than v?
False
Let n(r) be the third derivative of -r**5/60 - 5*r**4/12 - 10*r**3/3 - 12*r**2. Let d be n(-8). Let w = d + 17/