?
True
Let c = -8 - -11. Suppose -3*w + 3 = -c. Suppose w*r - 30 = -r. Is r smaller than -1/3?
False
Suppose -q + 6 = 2*i - i, -2*i + 9 = q. Suppose -t = t + q*t. Which is bigger: t or 2/233?
2/233
Let h(u) = -2*u**2 - 10*u**2 + 2 + 13*u**2. Let p be h(0). Are 2 and p unequal?
False
Let r = -1 - 8. Let n be (-3*1)/((-11)/(132/(-18))). Is n greater than r?
True
Let o be 4/14 + 76/28. Suppose -r + 4 - 1 = 0. Suppose r*b = -4*i, -5*i - b + 11 = -0*i. Do o and i have different values?
False
Let i = -25.91 + 24.9. Let k = -1 - i. Let c = 0.09 + k. Which is smaller: c or 3?
c
Let c(t) = 147*t - 550. Let j be c(11). Is j >= 1066?
True
Let a = 27.04 - 27. Let l = a - -0.76. Let r = -0.8 + l. Is 5 at most as big as r?
False
Suppose 6*n - 3*n - 189 = 0. Suppose -18*k = -17*k + b - 65, -3*k + 185 = -2*b. Do k and n have different values?
False
Let d = 13/7 + -33/14. Which is smaller: d or -20?
-20
Let r = 23.2 + -23.2. Which is bigger: r or 5?
5
Let z = -389/5551 - 16/91. Let o be (-115)/25 + 5 + (-2818)/10370. Let b = o + z. Does b = -2/5?
False
Let p = -19 - -18.93. Let q = -13.93 + p. Let a = q + 14.08. Is -2 > a?
False
Let q = 18 - 33. Let c be q/(-25) - (-3)/(-5). Let u be (-2)/4 + (-4)/8. Is c less than or equal to u?
False
Let z = -99 - -97. Let i be (-88)/20 - (-3)/(-5). Is i >= z?
False
Let t = 455 - 351. Which is smaller: 105 or t?
t
Let i be 3 + ((-4 + 4)/5 - -4). Is i > 34/5?
True
Let t be ((-5)/10*-1)/((-4)/(-8)). Is 6/43 bigger than t?
False
Let z(w) = 9*w + 7. Let g be z(-12). Which is smaller: -2/7 or g?
g
Let v = -78.7 + 13.7. Is v != 2?
True
Let h = 110 - 109. Let k be (28/42)/(0/h + 1). Is k <= 7/8?
True
Suppose 9*w + 8 + 37 = 0. Suppose 50 = -l - 3*h + 7*h, -2*h = 3*l + 150. Let a be (-26)/w + 10/l. Is 6 not equal to a?
True
Let s(x) = 4*x - 18. Let l be s(7). Suppose -p - p = 3*w + 11, 5*w = 5*p - l. Is p greater than or equal to 4?
False
Suppose m + 2*w + 3*w = 28, -5*w = -2*m - 19. Suppose -5 = c + m*c - f, -3*f = -15. Suppose 5*b + 4*p - 5 = c, -2*p + 5*p = 0. Is b < 0?
False
Let r be (2 - (-6)/1)*(-12)/40. Which is greater: r or 6/13?
6/13
Let n = -209 + 235. Is n < 24?
False
Let p be (14/35)/((-4)/16). Which is bigger: p or -1?
-1
Let y = -2 + 5. Let m be (1/(-3))/(3/9) - (2 + 3). Is y not equal to m?
True
Let s = 374 + -20. Is s < 353?
False
Let p be 7/(-7) - 22/(-18). Let q be ((-14)/(-42))/((32/(-12))/(-2)). Which is smaller: q or p?
p
Let l = 29849/164 + -182. Let v = 639/2788 + l. Which is smaller: -1 or v?
-1
Let n(c) = -2*c - 1. Suppose 4*y + 28 - 12 = -4*b, 4*y = -2*b - 12. Let t be n(y). Is t >= 4?
False
Let v(m) = m - 3. Let c be v(5). Suppose 2*p - 4 = c. Let j be p - ((2 - 2) + 2). Is 1 less than j?
False
Let h be 1/((-630)/68)*-12. Let v = -234 - -3497/15. Let l = v + h. Which is smaller: 2 or l?
l
Let w = 27 - 8. Let n = 0.9 + -1.1. Is w greater than n?
True
Let p(s) = 13*s + 116. Let u be p(-17). Which is smaller: u or -104?
u
Let x(o) = -5*o**3 - o**2 + 8*o + 19. Let z be x(5). Is -591 less than or equal to z?
True
Let l = -86 + -367. Is -457 <= l?
True
Suppose 0 = -4*r - 8 - 8, 4*j + 4*r - 52 = 0. Suppose 0 = 5*h - j + 22. Which is greater: h or -3?
h
Let v(y) = y**2 - 11*y + 42. Let u be v(6). Suppose u*q = q + 484. Which is greater: 43 or q?
q
Let a = 3388 + -3187.1. Let j = a - 189. Let m = 12 - j. Which is smaller: m or 1/2?
m
Let s = 769 + -406. Which is bigger: s or 362?
s
Suppose 0*z - 120 = 3*m - 4*z, -z + 173 = -4*m. Is m less than or equal to 3?
True
Suppose 0 = -k + r + 30, 0 = -19*k + 21*k - 7*r - 80. Let h(f) = -6*f + 2. Let i be h(-4). Is k equal to i?
True
Let s(r) = -r**2 + 6*r - 5. Let l be s(5). Suppose -4*k + 4*q - 11 = -3, -2*k - 4*q + 2 = l. Let x = -2369/13 - -182. Is x bigger than k?
True
Let s be (7 - 3) + (-1248)/(-12). Which is greater: s or 109?
109
Suppose 44*v = 41*v + 1461. Which is greater: 486 or v?
v
Let h = 0.2 - 1.5. Let o = 1407 - 9846/7. Which is smaller: o or h?
h
Let y = 15.05 + -15. Let t = 0.95 + y. Let b = t + -0.97. Are 1/3 and b equal?
False
Suppose -84*o - 86 = 2*o. Are 12/61 and o non-equal?
True
Suppose 32*c - 2773 = -27*c. Are 483/10 and c unequal?
True
Let h(x) = -x + 20. Let d be h(0). Suppose -2*y = 5*z - z - 256, -3*y = -5*z - 329. Let r = y - 99. Which is smaller: r or d?
r
Let b be ((-6)/(-24))/((-333)/(-27)). Does 0 = b?
False
Let c be (6/((-30)/(-115)))/(-1). Is c bigger than -26?
True
Let l = 17/11 - 669/440. Is l smaller than 1?
True
Let d = 916 + -928.62. Let r = d - 0.28. Let i = r - -12. Which is smaller: 1 or i?
i
Let k(g) = -g**2 - 10*g + 10. Let a be k(-8). Suppose -5*m + 2*c - 1 = -a, -5*c = 2*m + 19. Which is bigger: -0.16 or m?
m
Let t = -3/49 + -114/539. Is -0.07 at least t?
True
Suppose -5*t = -r - 16, -t + 12 = 3*t - r. Let j be ((-2)/(-38))/(t/(-60)*-5). Is 1 > j?
True
Let n = 0.8 - 0.94. Let h = 0.86 - n. Let j = -1.02 + h. Which is smaller: j or 0?
j
Let n(t) = -4*t + 7. Let g be n(2). Let d = 24 - g. Let a = 35 - d. Which is greater: a or 9?
a
Let r(z) = z**3 + 9*z**2 + 8*z + 5. Let b be r(-8). Suppose 0 = -0*j - b*j. Let k = 29 + -181/6. Is k at most as big as j?
True
Let q = 49 + -29. Suppose 0 = -5*n - 2*p + 54, 5*n - 77 + q = -p. Suppose 14*w - 12*w = n. Is 5 smaller than w?
True
Let b be (1/(-2))/((-1)/(-18)). Let i be ((-176)/55)/((-22)/(-55)). Is i at least b?
True
Let m = -22 + 26. Suppose 7 = u - m*b, 0*u - 2*b = 2*u - 4. Is u at least 4?
False
Suppose -4*y + 2*y + 2 = 0. Let i be y*-2*1/4. Let h be (27/(-6))/((-3)/4). Which is bigger: h or i?
h
Let o = -43 - -31. Let j = -11 - 3. Let f = o - j. Is -0.1 equal to f?
False
Let d be ((-8)/(-20))/((-7)/5). Let w be 155/10 + 0 - (-6)/4. Which is greater: w or d?
w
Let j = 0.4133 + -0.1133. Which is smaller: 60 or j?
j
Let b(o) be the third derivative of -o**4/8 - 3*o**3/2 - 3*o**2. Let c be b(-11). Let d = c + -15. Which is greater: d or 8?
d
Let k(b) = 2*b + 23. Let f be k(-7). Suppose 0 - f = -9*s. Which is bigger: 3/34 or s?
s
Let w = 1650 + -1545. Which is greater: w or -3/5?
w
Let z = 0.04 - 2.04. Let d be (-13)/((-325)/(-170)) + 7. Which is greater: z or d?
d
Let u(x) = -x - x + 10 + 4*x. Let v(p) = -4*p + 1. Let i be v(3). Let t be u(i). Which is bigger: -13 or t?
t
Let h = -132/35 + 21/5. Let k(u) = -u**2 + 8*u - 4. Let l be k(3). Let q(r) = -r + 12. Let o be q(l). Do h and o have the same value?
False
Let k(l) = -l**2 - l + 2. Let b be k(-2). Let v = 6 - 6.03. Let x = v - 0.17. Do b and x have different values?
True
Let y = 73.4 - 77.4. Which is smaller: y or -1/155?
y
Let f be (-26)/1*1/2. Let q = f - -13. Which is smaller: -1/37 or q?
-1/37
Let j(r) = r**3 + 8*r**2 + 8*r + 5. Let u be j(-7). Let y be 0*(u/(-2) + -2). Let b = -289/336 - -13/16. Is y < b?
False
Suppose 0 = -15*r + 12*r + 6. Suppose 10 = 5*n, j - 4*n + 11 = r*j. Which is smaller: j or 3/2?
3/2
Let o = -568/85 + 34/5. Let p = 1.2 - 2. Let t = p - -0.6. Which is smaller: o or t?
t
Suppose -45 = 2*o + 3*h, -3*h + 2 = 17. Let t = o + 20. Suppose t*m + 4 = -1. Is m < -3/10?
True
Suppose 0 = 6*m - m + 20. Let t be (m/((-228)/5))/(-3). Let j = t - 991/1197. Which is greater: -2 or j?
j
Let j = -891 + 3597/4. Let v = j + -9. Is 0 not equal to v?
True
Suppose -3*a = 3*a - 6. Let b be 69/(-18) - a/6. Which is smaller: 0.01 or b?
b
Let t(u) = -u**2 - 16*u - 141. Let l be t(-11). Which is smaller: l or -84?
l
Let i be (-4 - (-25)/6)*-10. Let q be (2 - 4)/((-2)/3). Suppose 4 = 3*p + 2*l + 7, 0 = q*l. Which is greater: p or i?
p
Let f = -955.26 - -947. Let v = 5 + -5.26. Let d = f - v. Do -1 and d have the same value?
False
Let w be 9/(-6)*(-2 + (-1490)/(-735)). Are -1 and w equal?
False
Let y = 135 + -84. Let x = y + -51.4. Let v = -1 - 0. Which is greater: v or x?
x
Let c be 22/3 - 4/(-6). Let y be 1 + -11 - (-1067)/97. Which is bigger: c or y?
c
Let g(d) = d**2 + 11*d - 32. Let x be g(-13). Let b = x - -3. Which is smaller: b or -11/5?
b
Let m(o) = -20*o + 2. Let d be m(-1). Let f(a) = a**3 - 6*a**2 + 9*a - 32. Let r be f(6). Is d at most r?
True
Suppose -2*l - 6 + 20 = 0. Let h(w) = -w**2 + 6*w + 6. Let d be h(l). Let m be ((-4)/(-5))/(d/5). Is -2 bigger than m?
True
Suppose 2*m + 1228 = 4*i, 3*m - 5*i = 8*m + 3085. Let q be (10/6 - 1) + m/42. Are -14 and q nonequal?
False
Suppose y - 3*x - x - 20 = 0, -3*y + 5*x = 