?
False
Let d be 4 - (-3 + 12/2). Let i be 12/30*(0 + d). Let v be (-3 + 1)*(8/(-14))/(-4). Which is greater: v or i?
i
Let n = -44.5 - -18.5. Let z = -30.54 - -0.54. Let f = z - n. Which is bigger: f or 0.01?
0.01
Let n(a) = a**3 - 2*a**2 - 3*a + 26. Let y be n(-7). Is y greater than or equal to -393?
False
Let y = -400 + 400. Is y > 68?
False
Suppose -2*k + 8 = 0, -2*q + 5*k - 6 = k. Suppose -f - 168 = -7*f. Let x = -24 + f. Is q < x?
False
Let u be (67251/(-12) - -4)/(-10). Let g = u - 560. Is g at least as big as 1?
False
Let d = -124 + 123.96. Let y = -1 + -3. Let k = y + 3.9. Is k smaller than d?
True
Let r(g) = -g**2 - 20*g + 22. Let k be r(5). Which is smaller: -310/3 or k?
-310/3
Let q = 917 + -1799/2. Let v = q + -1019/58. Which is greater: 1 or v?
1
Let i = -11 + 15. Let l be 2 + (-4276)/712 + i. Which is bigger: 0 or l?
0
Let n = 0 + 6. Suppose n = u + 6*a - a, -a + 1 = 0. Suppose -2*g - 1 = -d, -g + 2 = 5*d - 14. Is g greater than or equal to u?
True
Suppose 12 = 3*b, m - 11 = -0*m - 2*b. Let h be (-4 + m)/(1 - (3 - 3)). Which is bigger: h or 4/11?
4/11
Let k be 6/5 + (-2)/1. Let d = -2/327 - 644/1635. Let h = d - k. Which is greater: 1 or h?
1
Let t = 0.816 + 0.184. Is 189 greater than or equal to t?
True
Let a(r) be the second derivative of -5*r**4/12 + r**2/2 - r. Let d be a(-1). Is d <= 0.1?
True
Let k be ((-80)/3)/(-2) + 5/(-15). Suppose 0 = -14*n + k*n. Let s be 4/27*3/(-2). Which is smaller: n or s?
s
Suppose 0 = 3*b + 2*b. Suppose -3*r - 3 = b, -r = -j - 9 + 40. Let n = j + -31. Which is smaller: 5 or n?
n
Let z(c) = -4*c + 7. Let b be z(-14). Let v be (3/(-14))/(b/(-336)). Let d be 0/((-1)/1 - -3). Is v bigger than d?
True
Let f be (119/14)/(4 - (-62)/(-8)). Which is smaller: -1 or f?
f
Let m(b) = -b**2 + b + 5. Let l be m(5). Suppose -8*j - 249 = 279. Let k = 51 + j. Is l greater than k?
False
Let o = -27 - -34. Suppose 0 = 3*n - o + 1. Let p be (-36)/10 + n/(-5). Is p equal to -4?
True
Let r be (-606120)/752 - (0 - -3). Let x = r - -809. Is x at least -1?
True
Suppose 0 = -4*i - 0*f - 2*f - 324, -4*i - 5*f - 312 = 0. Let t = i + 80. Which is smaller: t or -1?
t
Let r(v) = v**2 - 5*v + 3. Suppose 2*t + 3 = -0*q + q, 0 = -5*t. Let u be r(q). Let i be 4/(-14) + (-5)/7. Is i at most as big as u?
False
Let v = 1865 + -162263/87. Are 1 and v equal?
False
Suppose -9 = 3*u - 0*u, 3 = -d - 2*u. Suppose -2*m + 5*n = -5, -3*n - 8 = -m - d. Which is smaller: -8 or m?
m
Let i be 10/30*(-3)/62. Is i > 0?
False
Let h = 16 - 19. Let m be 8/(2 + h + 3). Suppose -b + 3*n = -15, -5*b + 23 = -m*b + 5*n. Is 19 at most b?
False
Let t be (-4)/6*((5 - -130) + -3). Let o be (33/t)/((-1)/(4/39)). Suppose -2*m + 0*m = 0. Which is greater: o or m?
o
Let d be (36/(-48))/((-3)/1). Let n = -271/126 - -20/9. Is n smaller than d?
True
Let w = -2247.999 + 2249. Let r = 0.269 + w. Let q = r - 0.27. Is q > 18/7?
False
Let g(i) = i**3 - 6*i**2 - 83*i + 14. Let r be g(-7). Is -42 smaller than r?
False
Let k = -273 + 386. Which is bigger: 114 or k?
114
Suppose -2*v = -2*x + 8, 2*x + 9*v - 6*v + 17 = 0. Suppose 3*b - 2*o - 1 + 0 = 0, 0 = -o + 4. Are b and x non-equal?
True
Let x = 7.86956 - -0.17744. Let b = x + -0.047. Which is smaller: -0.2 or b?
-0.2
Suppose 95*r - 2679 = 38*r. Suppose -4*x = -2*x - 94. Are r and x non-equal?
False
Let m be 10/(-4)*48/(-30). Suppose -m*k + 2*a = -88, -5*k + 113 = -0*k - a. Let w = 15 - k. Which is bigger: w or -7?
-7
Let a be (4/(-2) + 3)*-16. Let f = -8 - a. Which is smaller: f or 7?
7
Suppose 2*p + o + 2 = -11, -2 = -2*p + 2*o. Let s = -33.7 - -36. Let n = -2.1 + s. Which is smaller: n or p?
p
Let l = -0.037 + -21.963. Let k = l + 23. Is k < -3/4?
False
Let n(p) = p**3 + 5*p**2 - 3*p - 6. Let u be n(-5). Let y = 181 + -181. Is y != u?
True
Let v be ((-1)/15)/(-4 - -3). Let m = 947 - 836.8. Let b = -110 + m. Which is greater: b or v?
b
Suppose -d + 4 = 0, -4*z + 6*z + 4*d + 892 = 0. Which is greater: -455 or z?
z
Let z = 53 + -26. Is z at least as big as 28?
False
Let h be ((-8722)/294)/(2*2/(-60)). Is 443 >= h?
False
Let f be (12/8)/((-9)/(-42)). Let h = f - 5. Suppose h*z + 7 = z. Is -6 at most z?
False
Suppose -3*s = 4*b - 4*s - 13, -2*b + 11 = -5*s. Let q be -41 - (b/(-3) + 0). Let i be (-2)/12*q/(-30). Is 1 less than i?
False
Let j = -2 - -2.13. Let a = 0.2 - j. Let g = -0.17 + a. Which is bigger: g or 2/21?
2/21
Let z = 588 + -559. Which is bigger: z or 37?
37
Let o = -2.2998 - -0.2608. Let w = 0.039 + o. Which is smaller: w or 3?
w
Let o = 2939/7 - 421. Suppose 2*c + 670 = -4*j, -4*j - 633 = -3*c + 32. Let t = 166 + j. Is o less than or equal to t?
True
Let j be 0 + (-3 - (-56)/20). Let a = -1 - -3. Let r be a*-2*3/42. Is j > r?
True
Suppose 0 = 2126*l - 2141*l + 3180. Which is bigger: l or 213?
213
Suppose -2*g = 3*o + 15, 13 - 25 = -g + 5*o. Suppose c + 0*d = 2*d - 134, -5*c + 5*d = 650. Let f be (-174)/c + (-1)/g. Which is greater: f or 2?
2
Suppose h = 3*j - 19, j + 3 = -h + 4. Let w(s) = -s**2 - 9*s + 2. Let b be w(h). Let u = b - 16. Which is smaller: u or 8?
u
Suppose -2*o = 3*q + 33, -2*o - o = 9. Let a = -4 - q. Suppose 0*z = 4*z - 16. Is a less than or equal to z?
False
Let l = -155 - -154. Let x be 40/204 - 4/6. Which is greater: l or x?
x
Let d(c) = -3*c + 1. Let w be d(-1). Suppose -5*i = 2*s + 9, 0*i = -2*i + w*s + 6. Let y be (-3 - -1)/((-4)/(-2)). Are i and y unequal?
False
Let y = -3 - -4. Let t = 35387/357 + -694/7. Is y < t?
False
Let g be (-318)/134 - (0 + -6 + 4). Are 1 and g non-equal?
True
Let z(o) = 3*o + 2. Let m(x) = -2*x - 3. Let j(l) = 4*m(l) + 3*z(l). Let p be j(8). Let f = 3 - p. Is -2/57 equal to f?
False
Let y = -70 - -34. Let l = 38.4 + y. Let w = l + -2.4. Which is greater: w or 7?
7
Let l = 16.509 + -0.509. Is 4 != l?
True
Suppose 125 + 135 = -4*t - 5*c, 0 = t + c + 66. Which is greater: -5 or t?
-5
Let u = 179.927 + -180. Let i = u + -0.017. Let m = 1 - 0. Which is greater: i or m?
m
Let f(p) = 4*p + 47. Let r(o) = -3*o - 31. Let a(q) = -5*f(q) - 7*r(q). Let v be a(18). Which is smaller: -8/13 or v?
-8/13
Let w = -52/7 + -1832/21. Let r = -94 - w. Let s be (-4)/(-18) - (-38)/(-90). Is s < r?
True
Let s = -0.28 - -26.28. Let q = s - 25.9. Which is smaller: -0.4 or q?
-0.4
Suppose -24 = -6*m + 3*m. Suppose -5*o + 4*o = -m. Let c(g) = -g**2 + 7*g + 9. Let t be c(o). Do t and -1/7 have the same value?
False
Suppose 0 = -x - 3*x + 76. Suppose 0 = -4*h - 20, 5*h = 2*p - x - 20. Are p and 7 non-equal?
False
Let w(t) = t - 4. Let p be w(4). Let q be (1 + p + 30)/70. Let z = 9/14 - q. Which is smaller: z or 3/2?
z
Let p = 20810791/1638 - 12705. Do 1 and p have the same value?
False
Let g = 7 - 5. Let n be ((-1)/g)/((-9)/(-4)). Is n >= -1?
True
Let h = -181 + 181. Which is bigger: -78 or h?
h
Let f = 11 + -8. Let r(x) = x**3 - 2*x**2 - x - 3. Let n be r(f). Suppose -5 = z - c - 0*c, -z + n = c. Do -4 and z have the same value?
False
Let o(n) = n**2 - 8*n + 1. Let d(v) = v**3 + 7*v**2 - v + 1. Let j be d(-7). Let q be o(j). Let h be (2 - -4)*(-8)/(-6). Which is greater: q or h?
h
Suppose 0*r - 3 = -4*n - r, 2 = -2*r. Let t(g) = g - 4. Let y be t(4). Suppose f + f = y. Is f at least as big as n?
False
Let g = -15 - -28. Let x = -13.6 + g. Which is bigger: x or -0.2?
-0.2
Suppose f = -366 + 370. Which is greater: 8 or f?
8
Suppose -7*g + 14*g = 77. Let c = -8 + g. Is 6 at least as big as c?
True
Suppose 3*u - 8 = 2*u. Let b be (-8)/3*(11 - u). Let a = 5 + b. Are -3 and a non-equal?
False
Suppose -5*h + 2 = 4*t - 4, h = 3*t + 5. Suppose 0*g = -6*g. Let b be (-640)/(-150) - (4 - g). Which is bigger: b or t?
b
Let v = 13 + -8. Suppose 0*i - 10 = c + 3*i, 2 = v*c + 2*i. Suppose c*r = 3*r - 1. Which is smaller: -1 or r?
-1
Let p = 1.28 + -1.29. Is p bigger than -0.16?
True
Let i be 3/5 + 41418/(-21830). Which is smaller: i or -1?
i
Let x = -22257/644 - -242/7. Which is smaller: x or 0?
0
Let o be (-284)/(-497) + 3/7. Which is smaller: o or -1/219?
-1/219
Suppose 3*z = -o - o + 7, 3*z = -3*o + 12. Suppose -4*x + 3 = 11. Which is greater: o or x?
o
Let s = -0.1867 + -155.2133. Let v = 154 + s. Are v and 0.04 nonequal?
True
Let i(v) = v**3 + 20*v**2 + 74*v - 37. Let y be i(-6). Suppose -3*f - 2*l = -74, 2*f + 6*l - 3*l - 56 = 0. Are y and f non-equal?
True
Let f = 0.12 - 0.32. Which is greater: 