 -9.6. Do 0.0065 and p have different values?
True
Suppose -l - 2 = 8. Let p be (-4)/l + (-24)/(-40). Let s be 6/p + 2 - 0. Which is bigger: 7 or s?
s
Suppose -3*f - 9 = 0, -7*f = q - 10*f - 8. Is q bigger than -2/1579?
False
Suppose -36*o + 8310 = 2802. Is o greater than 149?
True
Let r be ((4 - 3) + -32)/(-1 - 0). Suppose -8*o + 28 = -6*o - 2*m, 0 = 2*o - m - r. Is 16 greater than o?
False
Let d be 2 + 35/(-15) - -5 - 2. Let s(f) = f**3 - 7*f**2 + 7*f - 3. Let u be s(6). Which is smaller: u or d?
d
Let b(f) = -3*f - 44. Let p be b(-9). Let c(h) = h**2 + 16*h - 18. Let w be c(p). Is 0.2 < w?
False
Let k = -1.37 - -61.37. Let p = k - 63.32. Let g = p + 0.32. Which is bigger: g or 4?
4
Let z(s) = 4*s**3 - s + 1. Let c = 4 + -3. Let j be z(c). Suppose -2*n + 0*d = -4*d - 16, n - 16 = j*d. Is n bigger than -1/3?
True
Let m = -110 - -659/6. Which is bigger: m or -28?
m
Let t(z) = -72*z**2 + 209*z - 4. Let b be t(4). Are -317 and b equal?
False
Suppose -2*s - 6 = 10. Let h = 15 + s. Let x be (-3)/3 - h/(-2). Which is smaller: x or 2?
2
Suppose 66 = 544*k - 533*k. Is 15 equal to k?
False
Suppose 0 = 4*r - 5*r + 5. Suppose 45 = r*j - 35. Let l be 4/(-10) - 174/(-10). Is j greater than or equal to l?
False
Let c be (2 + 0 - -3)*-9. Let o be 0/((-2)/(-6) + (-30)/c). Is o at least as big as 3/71?
False
Let u be 2/(-21)*9/(-294). Is u not equal to 1?
True
Let o = -16 - 33. Let t = -39 - o. Which is greater: t or -2/7?
t
Suppose -698*h = -706*h - 8. Which is bigger: -6/53 or h?
-6/53
Let m = -13.2 - -13. Let q = 23.3 + -23. Are m and q non-equal?
True
Let x(k) be the third derivative of k**5/60 + k**4/3 + k**3/2 - 5*k**2. Let n be x(-8). Suppose 2*t - z = -n, 4*t - 11 = -3*z + 8. Is t bigger than 3?
False
Suppose 0 = 58*t - 49*t - 540. Is t bigger than 61?
False
Let u be 1/(3/((-54)/(-30))). Do u and -35 have the same value?
False
Let c = 644 - 754. Which is smaller: -114 or c?
-114
Let k = 19050 - 1638255/86. Which is smaller: k or 1?
k
Suppose 0 = -0*o - 3*o + 51. Let q = 14 - 31. Let x = o + q. Is x < -1?
False
Let m = 270 - 271. Which is smaller: m or 20/59?
m
Let v(w) = -w**2 + 17*w + 18. Let b be v(18). Let f be 3 + 0 + 0 - 9. Let d be (-4*f/(-4))/13. Which is bigger: d or b?
b
Let o = 69 - 69. Suppose -h - t - 2 = o, 0 = -3*h + 4*t + t + 18. Let r = 8297/20 - 415. Is h not equal to r?
True
Let r = 2086 - 2088. Which is bigger: 787 or r?
787
Let f = -159.3 - -159. Which is smaller: f or 6/5?
f
Let p = -4242/13 + 325. Is -2 != p?
True
Suppose 0 = 14*j + 26*j - 15*j. Is j < 3/2348?
True
Let w = 66 - 60. Let s = 0 + 2. Suppose s = -z + 7. Is w <= z?
False
Suppose -45 = 4*o - v, 3*o + v + 2*v + 15 = 0. Which is smaller: o or -3?
o
Let f = -1.011 + 0.986. Which is smaller: f or -0.1?
-0.1
Let i = 13 - 10. Suppose -10 = -8*v + 3*v. Suppose -h = v*u + 19, h + 43 = -6*u + u. Which is bigger: i or u?
i
Let m = -51 - -21. Let g = 36 + m. Let c be ((-2)/3)/((-4)/g). Which is smaller: c or -2/9?
-2/9
Let k = 4/25 - 9/25. Which is smaller: k or -201?
-201
Let r be 186/(-93)*47/2. Is r smaller than 0.2?
True
Let z = 0.1 - 1.8. Let y = -1001 - -1007.7. Let f = y + z. Which is smaller: 0.2 or f?
0.2
Let n = -126 + 123. Let l be (-1 - 1)/(n + (-55)/(-15)). Which is bigger: -0.05 or l?
-0.05
Let i = 357554283/22695310 - -1/2269531. Let a = i + -170/11. Let d = a + 1/30. Which is smaller: d or -6/11?
-6/11
Let v(b) = 7*b + 189. Let y be v(-13). Which is bigger: 100 or y?
100
Let w = -48 - -76. Let t(i) = 2*i**2 + 6*i + 5. Let o be t(-5). Is w greater than o?
True
Let c be 2 + 1*(0 - 1). Let w be (0 - c) + 23 + 0. Let x be (w/(-165))/((-8)/6). Which is bigger: x or 1/3?
1/3
Let m = 11 - 11. Suppose 5*g + 25 = -2*p - 2*p, m = -5*p - 5*g - 25. Is 9/16 <= p?
False
Let x = 643 - 297. Let u be x/(-238) - (-10)/(-85). Let t = 29/14 + u. Which is greater: 0 or t?
t
Let z = -779 - -778.79. Which is smaller: -1 or z?
-1
Let c be (-3 - -3)/((-5)/(-1)). Let p = -8096/13 + 622. Which is greater: p or c?
c
Let i = -119 + 118. Let a(h) = 1 + 5*h - 3 + 4. Let v be a(i). Is v greater than 1?
False
Let v be ((-308)/(-399))/11*9. Which is greater: v or 0.2?
v
Let y = -461/106680 - -2/2667. Which is greater: 1 or y?
1
Suppose 2*t - 16 = -4. Let w(s) = 2 - 3*s + 7*s - t*s. Let b be w(-8). Which is smaller: b or 17?
17
Let m = 66 + 82. Let p = m - 591/4. Is -6.6 equal to p?
False
Let w(f) = f**3 + 7*f**2 - 15*f + 8. Suppose 7*j - 8*j - 9 = 0. Let s be w(j). Which is smaller: -61/3 or s?
-61/3
Let q be (-86)/(-4) + (-5 - -5). Let b(n) = n**3 - 14*n**2 + 15*n - 5. Let r be b(13). Which is bigger: q or r?
q
Suppose -2*j - 5*w - 100 = 0, -16*j - 210 = -12*j + 5*w. Which is bigger: -58 or j?
j
Suppose -n - 2*u = -5, 16 = -2*n + 3*u - 9. Let x(f) = f**2 + f - 2. Let y be x(2). Let h = y + n. Which is smaller: 1 or h?
h
Let x(q) = -4*q**2 + 26*q - 11. Let w be x(6). Do -11 and w have different values?
True
Let o be -6 - ((-14)/10)/((-6)/(-30)). Is o >= -1/285?
True
Suppose -5*r - 4*z = 159 - 734, 4*r = 3*z + 460. Is r > 115?
False
Let o(h) = -3*h + 7. Let d be o(14). Let y = d + 36. Is 5/11 less than y?
True
Suppose 0 = 2*a - 6, 3*u + 2*a + 0 = -6. Let r = 8 + u. Suppose -x + 0 + 4 = 0. Is x bigger than r?
False
Let h(s) = 7*s - 4*s - 15 + 5*s**2 + 5*s - 4*s**2. Let c be h(-11). Is c bigger than 16?
True
Suppose 2*y - 3*c - 7 = 1, 0 = 3*y - 4*c - 13. Suppose d + 15 - y = 0. Let w be 20/(-65)*(-6)/d. Which is greater: w or 1?
1
Let w(d) = -d**3 + 8*d**2 + 8*d + 10. Let m be w(9). Let p be 4 + (-3 - (m - 2)). Suppose 0 = 4*a + p*t, 0 = a - 2*t - 2 - 3. Which is smaller: -2 or a?
-2
Suppose -51*v = -48*v. Let k = 259/3 + -87. Is v < k?
False
Let h = -17 + 9. Suppose q - 5*s = 3, -3*s - 45 = q + 2*q. Let m = q + 5. Which is bigger: m or h?
m
Let w(a) = 2*a**2 - 11*a + 6. Let d be w(5). Let i be (-15)/(-2820)*(d + 1). Does i = 1?
False
Let l = -0.666 - -0.716. Is l >= 37?
False
Let d be (4 + -9)/(10/4). Is -40/27 at least as big as d?
True
Let a = 5/8 - -7/8. Suppose 2 = -7*f + 9. Suppose 0 = 2*u + f - 5. Is a greater than or equal to u?
False
Suppose 8*s - 69 + 21 = 0. Let i be (-1)/(-2) - 1/s. Which is greater: i or -9?
i
Let g = -108.9 + 103.9. Which is bigger: g or 3?
3
Let o = -6 - -6.6. Let h = 0.639 + -0.609. Which is smaller: o or h?
h
Let c be (-8)/20 - (-18)/(-5). Let p be 358/(-33) - c/22. Is -10 less than or equal to p?
False
Let v = 17.5 + -14. Let o = -3.6 + v. Let g = -0.04 + 0.16. Is o equal to g?
False
Let j(s) be the second derivative of s**3/2 + 19*s**2 - 36*s. Let v be j(-10). Which is smaller: 2/15 or v?
2/15
Suppose 5*g = g + 4. Let k = -1.5 + 1.64. Let p = k - 8.14. Is p less than g?
True
Suppose -2*g - w + 5*w = -60, -3*g + 3*w = -75. Let z(b) = b**3 + 5*b**2 - b - 1. Let o be z(-4). Which is bigger: g or o?
g
Suppose -14*u + 11*u = 54. Let j be (u/(-10))/(62/30 + -2). Is 26 greater than j?
False
Let c = -9 - -4. Let r be 7/c + 6/6. Let m = -0.3 - -2.3. Is m greater than r?
True
Suppose 2*u + 4009 = 21*u. Which is smaller: u or 209?
209
Let r = 0.15 - 0.05. Let b = -1.1 + r. Let p = -28.2 + 28.4. Do p and b have the same value?
False
Let w be (-6)/(2 - -1) + 4. Let f be 4/w*(-6)/18. Let p be 0/(-2*(-1)/(-1)). Is f bigger than p?
False
Suppose l - 83 = -3*r, 9*r - 8*r - 4*l - 32 = 0. Is r greater than or equal to 32?
False
Let x be (0/8)/(3/1). Which is bigger: x or 8/9?
8/9
Suppose 2*q = -4*u - 24, -q - 3 = -4*u - 9. Let n be (-273)/93 - q/2. Is n less than or equal to 1?
True
Let w(n) = -9*n + 5. Let m be w(1). Let t be 4 + (m - (-5 - -4)). Which is bigger: t or 11/3?
11/3
Let w = 0.03 + -0.13. Let g = -13 - -4. Let v = g + 8. Is v at most w?
True
Suppose -5*j = -4*j - 4. Suppose -m + 5*w = 3 + 3, j*m - 24 = -4*w. Suppose 5*b = -2*x + 60, m*x + 4*b - 72 - 24 = 0. Which is smaller: 19 or x?
19
Let m = -26 - -28. Is m >= 346?
False
Let l be (1 + -1)*(-2)/(-2). Let g be 8/(-12)*(-6 + 3). Let m be -2 - (l - g) - 0. Is -4 less than m?
True
Suppose 3*y - 6*y = 117. Let r be 2/5 - (-5 - y/(-90)). Do r and 5 have different values?
True
Let t(d) = 76*d - 369. Let a be t(6). Which is bigger: a or 89?
89
Let l(m) = 9*m + 1. Let a be l(3). Let p be -3*(a/(-6))/(-7). Which is smaller: p or -3?
-3
Let h be ((-2)/(-15))/(12/(-15)). Suppose 0 = -5*b + 4 + 16. Let q(w) = -w**3 + 4*w**2 - 