d be 10/40 + 158/136. Suppose -16*z + 11*z = 0. Is z less than d?
True
Suppose -4*w = -3 + 11. Let c = 48 + -30. Let n(o) = o**2 - 18*o + 1. Let l be n(c). Is l not equal to w?
True
Let n be (114/133)/((-78)/(-14)). Let u be (1/(-3))/((-1)/(-3)). Which is smaller: n or u?
u
Let m be -2*(14/4 - 3). Let o = 10361/91675 + -21/193. Let q = 184/1425 + o. Are q and m equal?
False
Let q(t) = 44*t**2 + t - 7. Let s be q(-2). Does s = 167?
True
Let v(q) = -q**2 + 12*q + 27. Let h be v(14). Which is smaller: -19/70 or h?
h
Let f = -2 + -41. Suppose 172 = -8*d + 4*d. Is f equal to d?
True
Let g = -8 - -8. Suppose 4*o - 18 = -j, o - 3 = -j - g*o. Which is greater: j or -12/11?
-12/11
Let y(m) = 3*m**2 - m - 59. Let x be y(8). Which is bigger: 124 or x?
x
Let n be 2*2/(-28)*(35 + -27). Let x be -7 + 2*(-1)/(-2). Let y = 4 + x. Is y less than or equal to n?
True
Let f = 0 - 1. Let x = 3241/2822 - 88/83. Which is greater: f or x?
x
Let a be (-1)/2 + 1449/266 + -6. Which is greater: a or 0?
0
Suppose -21 = g - 169. Let a = g - 161. Is a >= -14?
True
Let c be (7 - 10)/(9 + 1). Suppose -3*p + 2 = 8. Let j = -1 - p. Is c not equal to j?
True
Let r = -4 - -4. Let o be (2 + 2)*(-6)/232. Do r and o have the same value?
False
Let x(b) = -3*b**3 + 5*b**2 - 7*b + 22. Let a be x(5). Which is smaller: 2/5 or a?
a
Let n = 3663/2821 + -17/13. Which is smaller: n or 2?
n
Let p be (2/4)/(2/188). Let d = -140/3 + p. Let v be (3/(-5))/((-114)/665 + (-6)/14). Which is bigger: d or v?
v
Let r(b) = 8*b - 22. Let t be r(5). Let d = -22 + t. Is -4 > d?
False
Let p be 10/(-10) + 3*1. Let f be p/(-8) - 90/(-8). Let n = f + -11. Are 0 and n nonequal?
False
Let c be ((-18)/(-5))/(26/195). Is 2 smaller than c?
True
Let m = -71501379/26 - -2749683. Let c = m + 370. Is 0 at most c?
False
Let d = 0.2 - -0.73. Let y = d + -0.56. Is y less than 0?
False
Suppose 2*g = q - 9, -3*q - 4*g - 25 = 2*q. Is 57 smaller than q?
False
Let b = -5 + 3. Let f = 73 + -56. Suppose 3 = -z + 2*v + 8, 3*z + 2*v = -f. Which is greater: b or z?
b
Let l = -11874826/547 + 21709. Is l < -1?
False
Suppose -2*w + 119 = 543. Is w greater than -212?
False
Let g = 0.22 + -106.22. Let m = 93 + g. Is -0.3 bigger than m?
True
Suppose -1 = s - 7. Suppose 5*w = -5*v + 20, 4*v - 18 = w - 3*w. Let z be w/3*126/(-7). Does s = z?
True
Let u = -578 + 578. Which is bigger: u or -2/105?
u
Let a = 29.529 + -0.769. Let c = 28 - a. Let f = -0.8 - c. Is f < 1?
True
Suppose 128 = -0*h - h - 5*x, -5*h = -5*x + 490. Is h >= 1?
False
Suppose -2*b + 3*i + 181 = 0, 8*b - 2*i - 358 = 4*b. Let a = 88 - b. Which is smaller: a or -1/25?
a
Let k(l) = -l**3 + 19*l**2 - 21*l + 48. Let c be k(18). Let i = -1 + 4. Suppose -6*m + i*m = 15. Is m greater than or equal to c?
True
Let d be (-3)/(-72)*4 - (-2575)/210. Is d at most as big as 1?
False
Let k(i) = -i**2 + 0*i + 1 - 3*i + 0*i. Suppose 3*q = -q - 4, 3*a + 6 = 3*q. Let s be k(a). Which is smaller: s or 2?
s
Let d = 165 + -339/2. Is 2/11 at most d?
False
Let o = -2387 - -2259. Which is greater: o or -4?
-4
Let v be 28/(-35)*(-10)/(-1). Let u be 0 - 1 - (v + -11). Let k = 24 - u. Which is greater: 5 or k?
k
Let o = -57 + 283/5. Suppose -8 = 4*b + 3*t, -129 = b + 2*t - 122. Which is bigger: o or b?
b
Let u = 29.047 + -0.047. Let x = -41 + u. Which is greater: x or 0?
0
Suppose -3*w - 2*s = 13, -4*s + 0 = 3*w + 23. Let y = -6/365 - -473/6570. Does y = w?
False
Let n = 0.033 - 82.033. Let k = 82 + n. Which is greater: k or -9?
k
Let n = -532 - -532. Is -1/354 <= n?
True
Let x be -6 - ((-1)/3 - (-44640)/(-7884)). Which is greater: x or 0.1?
0.1
Suppose -4*x + 14 = 6. Suppose -3*f - 5*p + 70 = -p, x*f - 4*p = 40. Is f less than or equal to 22?
True
Let f be (-118)/(-2)*(-22 + 21). Let j(s) = 29*s. Let n be j(-2). Is n at least as big as f?
True
Let q(p) be the second derivative of p**4/12 - 3*p**3/2 - 11*p**2 + p. Let z be q(11). Let n be (-9)/558*(z - -2). Is n less than 0?
True
Let v(h) = -h**2 + 3*h - 2. Let d be v(2). Suppose 5*m - 10 = d, -4*s + 1 = -5*m - 1. Are 7 and s unequal?
True
Suppose -20 = 4*v, -q - 2*v + v = -54. Is q greater than 59?
False
Let u be ((-4)/(-10))/(27/(-15) - -1). Let w = 273/5 + -55. Which is smaller: u or w?
u
Let a = 0.154 + -14.854. Let c = a - -14. Let j = c - -0.7. Which is smaller: -1/26 or j?
-1/26
Let z(c) = -c + 5. Let f be (-32)/(-10) - (-4)/(-20). Let t be z(f). Suppose 5*r - 6*r + 1 = 0. Is t at least r?
True
Let w = -0.023 + -26.777. Let a = w + 27. Which is smaller: -1/8 or a?
-1/8
Suppose 2*b - 74 = 106. Is b smaller than 94?
True
Let y be 1/8*4*136. Suppose 0 = 2*a + 5*h - 30, 0 = 2*a - h - y + 26. Let p = 19 - a. Is p less than or equal to -1?
True
Suppose 3*f + 2*p = p + 3, 2*p = 4*f + 6. Suppose f = w + 4*w - 2*w. Let i = 37/57 + 1/57. Which is smaller: i or w?
w
Suppose 7 + 1 = -4*w, -2*w = -3*c - 26. Let d be 15/c*-6*2. Is 17 at least as big as d?
False
Let k = -19.3 + 15.8. Which is smaller: k or 2/7?
k
Suppose -g - 73 = -5*s - 0*g, 5*g + 43 = 2*s. Let b be ((-4)/6)/(s/(-105)). Is b at most 5?
True
Let b = -82.6 + 82.8. Which is bigger: 7/69 or b?
b
Let n be (-928)/522 + -1 + (-7)/(-9). Is n > -132?
True
Let h = -212 + 203. Is h at most -0.07?
True
Suppose 2*o = -3*j, 20*j - 3*o = 17*j. Which is bigger: 10/123 or j?
10/123
Suppose j - 15 = -15. Which is bigger: j or 10/81?
10/81
Let b(t) = -t - 4. Let a = -12 - -17. Suppose -c = -0 - a. Let w be b(c). Which is greater: w or -8?
-8
Suppose 2*z - 20 = -3*n + 4*n, z + 1 = 0. Let x = n - -60. Do x and 1 have the same value?
False
Suppose 0 = 12*f - 25*f + 767. Are f and 62 nonequal?
True
Let f be ((-1)/3)/((-1)/24). Suppose -35 = f*g + 29. Let k(p) = p**3 + p**2 + 2*p + 2. Let u be k(-2). Which is greater: u or g?
u
Let r = 80 + -119. Let f be (-4)/6 + (-41)/r. Is f greater than -1?
True
Let h be (30 + 6)/4 - 15. Which is smaller: h or -1/135?
h
Let p = 159.8 + -158. Let b = 5.5 - -0.3. Let y = p - b. Which is smaller: 0 or y?
y
Let f = 54 + -50. Let z be (7/(-2) - -4)/(2/f). Is z != 2/63?
True
Let j = -16.039 - -0.039. Let a = j - -15. Is -7/3 not equal to a?
True
Let u = -879 - -878. Are u and -0.121 non-equal?
True
Let p = -172 - -166. Which is greater: p or 14?
14
Let p = 90 - 80. Suppose -p - 4 = d. Is d > -15?
True
Let d(r) = r**2 + r + 1. Suppose 1 - 7 = -c. Let p(k) = 13*k**2 + 6*k + 7. Let x(h) = c*d(h) - p(h). Let o be x(-1). Are o and -8 equal?
True
Let m be (-4 - (2 - 2911/291)) + -4. Which is smaller: 0.1 or m?
m
Let l = 296 - 189. Which is greater: l or 105?
l
Let d(k) = k**2 + 5*k + 7. Let h be d(-3). Are 3/34 and h equal?
False
Let z = 1671 + -2904. Does -1 = z?
False
Suppose -43 = -m - 0*g + 5*g, 3*m - 75 = -3*g. Let p = 28 - m. Is p at least 2/17?
False
Let n = 41 + -41. Let p be (-6)/3 - (n + 3 + -4). Let k be (-6)/(-14)*10/(-3). Is k greater than or equal to p?
False
Let j be (4/5)/((-4)/10). Suppose -2*g - z - 4 = 0, -2*g = -6*g - 5*z + 4. Does g = j?
False
Let x = 9.64 - 0.74. Let r = 9.1 - x. Are 37 and r nonequal?
True
Let a be (-31)/11 + (-6)/33. Let f be (-32)/(-18) - 16/(-72). Suppose b + w + 8 - f = 0, -b + 2 = -3*w. Which is bigger: b or a?
a
Let x be 1338/12*(-2)/(-4). Let i = x - 56. Which is greater: i or 1/7?
1/7
Let i(s) = 7*s**2 - 6*s - 15. Let j be (-56)/9 + (-16)/(-72). Let x(u) = 6*u**2 - 7*u - 14. Let v(d) = j*x(d) + 5*i(d). Let c be v(14). Is c at most -20?
False
Let a = 1953/62194 - 24/257. Which is bigger: a or -1?
a
Let a = -1.792 - -2.203. Which is bigger: 0 or a?
a
Let c be 4/(-26) + (-9824)/(-312). Let f = c + -2356/75. Are 0 and f unequal?
True
Let m be ((-7)/56*6)/((-53)/4). Which is smaller: m or 1?
m
Let g = -3.54 + 2.27. Let u = g + 1.2. Let m = -4.07 - u. Are 0.1 and m equal?
False
Let d = -4.79 + -0.21. Let u = 3.82 + d. Let l = u - -0.18. Which is greater: l or -0.12?
-0.12
Let w be (7/(-2) - -1) + 57/38. Which is bigger: -2/29 or w?
-2/29
Suppose -2 = g - 1. Is g > 1/36?
False
Let z be (3 + (-84)/6)*9. Which is smaller: z or -98?
z
Let b be (-35)/60*1 - 18/(-12). Let n = 5 + -3. Which is smaller: n or b?
b
Suppose -11*t = -69 - 10 - 64. Let a = 38 + -26. Which is bigger: t or a?
t
Suppose -w + 3*g = g - 18, 5*w + 5*g - 105 = 0. Let s be (w/4)/25*-3. Is 0.4 at least s?
True
Let g(x) = -x + 109. Let v be g(23). Is 86 greater than v?
False
Let n = 