t n = t - b. Is 0.1 <= n?
False
Suppose 0 = 3*g + 5*j - 12, 11*j - 12 = -3*g + 7*j. Let r be g + -1 - -13*(-2)/9. Which is greater: -6 or r?
r
Let d = -2/7185 - 6431/2708745. Let j = 1145/5278 + d. Let k = 155 - 155. Is k at most j?
True
Suppose -60 = 35*m - 38*m. Let w = m - 41. Which is smaller: -19 or w?
w
Let r be (9/(-3))/((-2)/(-14)). Let g = -23 + 32. Suppose 33 = -2*n - g. Is n <= r?
True
Let p be (11 + -13)/(2/37). Let i = 36 + p. Which is smaller: i or 1/15?
i
Suppose 6*c + d - 12 = 3*c, -4*c = -4*d - 32. Let r = 4 - c. Let x(u) = u**3 - 2*u**2 - 4*u + 4. Let t be x(3). Which is smaller: r or t?
r
Let s be 1/(-5)*(-24)/36. Is s at most as big as -1?
False
Let l be (-122)/8 - 10/2. Is l equal to -20?
False
Suppose 0 = a + 2*o - 6, 0*a + 4*o = -a + 16. Let v = 12 - 8. Let m = 0 - v. Is m != a?
False
Suppose 13 = -7*x - 22. Let a be 37/7 + x - 13/28. Which is greater: 0 or a?
0
Suppose 5*h - 10 = 0, -20 = -5*o - 6*h + h. Let y be (-3 - (-17)/o)*-2. Which is bigger: y or -10?
-10
Let v = 15/46 + 4/23. Suppose 3 = -5*d + 3*r, -4*d + 7*d - r = -1. Which is smaller: v or d?
d
Let j = -3511 - -7283/2. Is 132 < j?
False
Let t = -11 - -41. Suppose -2*l - l + t = 0. Suppose 4*c = l*c - 12. Which is smaller: c or 1?
1
Suppose 0*r + 5*r - 2*t + 18 = 0, 0 = -4*r + 2*t - 16. Which is smaller: -0.04 or r?
r
Let r be 8/(-20) - 4/(-10). Let d be ((-30)/21)/((-6)/42). Let i be (-3)/(-6)*d/(-5). Is r greater than or equal to i?
True
Let r(j) = 5*j - 1. Let t be r(-9). Suppose i - 11*z = -8*z - 35, 4*i + 208 = -5*z. Which is smaller: i or t?
i
Suppose -u + 2*j = -2*j, 2*j = 4*u + 14. Let m = u - -11. Let c = -0.324 + 0.424. Is c != m?
True
Let a be 547/12 - -11*5/(-220). Is a bigger than 45?
True
Let h be 138/45*(-3)/(-2). Suppose -2*a - z + 17 = 10, 24 = 3*a - 3*z. Are h and a nonequal?
True
Suppose 150 = -6*j - 120. Which is bigger: j or -47?
j
Suppose -2 = 4*p - 10. Let q = -5952 + 5958. Which is greater: q or p?
q
Suppose 2*r - 6 = 3*r. Let p be 2/(-4)*6*r. Let b = p + -10. Which is bigger: b or 7?
b
Let j = 10 + -6. Let f be ((-2)/5)/(j/(-10)). Which is smaller: -0.21 or f?
-0.21
Suppose -14*y = -16*y + 10, 2*j - 5*y = -23. Let s be -2 - 0 - 34/(-20). Which is smaller: j or s?
s
Let o = 129 - 146. Let z = 19.957 + 0.043. Let f = o + z. Do f and 3 have the same value?
True
Let c be (4/(-2200))/(24/(-288)). Is -0.1 at most as big as c?
True
Let p = -2.067 + -0.033. Let a = 125 + -124.9. Let n = p + a. Is 2/5 bigger than n?
True
Let p be (333/(-5))/((-21)/10). Is 31 < p?
True
Let r = 12423/5 + -2515. Let y = -61 - -30. Let o = y - r. Which is greater: -1 or o?
o
Let j = -2947/6 + 490. Let x = -735 + 733. Is j greater than x?
True
Let v be (9/36)/(((-5)/4)/(-5)). Let s = 41607/32 + -1300. Let h = 193/736 - s. Is v less than or equal to h?
False
Let o be (-530)/(-1113)*7/(-3). Which is bigger: -1 or o?
-1
Let k = -1/532 - -1069/2660. Which is greater: k or 2/1795?
k
Suppose 0 = 5*p + 8*t - 13*t + 5, 3 = 5*p - t. Which is bigger: p or 36/17?
36/17
Let f = -18/23 - -1907/115. Suppose 5*i - 60 = 25. Which is greater: i or f?
i
Let t be -1*7 - 22517/(-3036). Suppose 5 = d - 2*d. Let b(p) = -p**2 - 5*p - 1. Let o be b(d). Which is bigger: t or o?
t
Let x be (6/396)/((-4)/(-18)). Let w = -17/396 - x. Which is smaller: 0 or w?
w
Let c = 3/19682 - -4920473/177138. Let b be (-6)/16 - (-22585)/792. Let d = c - b. Is d smaller than 1?
True
Suppose 247 = z + 2*a - 200, 4*z - 3*a = 1821. Which is smaller: 1 or z?
1
Suppose 3*l - 5*i - 118 = 0, 0 = -3*l - 3*i + 48 + 30. Suppose 3*a + 81 = 3*o + 5*a, -o - 2*a = -l. Is 23 at most as big as o?
True
Let y = -27 + 16. Let m = y + 12. Let r = m + -1. Which is bigger: r or -1/4?
r
Let k be 30/36 + (3/18 - 0). Let j be (2/1 - k)/((-1)/13). Is -12 < j?
False
Let w be (-4)/(-6)*(-161)/(-2) - -2. Let i = -58 + w. Which is greater: i or -2?
-2
Let k = -0.7 + 2.2. Let p = k - 1.66. Let r = p + 0.26. Is 0.07 less than or equal to r?
True
Let k = -27016 - -54923526/2033. Is -1 equal to k?
False
Let t = -146 + 163.9. Let l = -18 + t. Is 1/4 at least as big as l?
True
Let i(j) = 0 - 479*j**2 - j**3 + 1 + 3*j + 482*j**2. Let g be i(-2). Let l be (-49)/g - (-5)/(-15). Which is smaller: l or -3?
l
Suppose 64*x - 59*x = -5*g + 25, 0 = -g - 2*x + 3. Which is bigger: g or 45/7?
g
Let w(x) = x**2 + 17*x - 48. Let g be w(0). Is 0.3 <= g?
False
Let r = 126/101 + -16960/13433. Let a = 3 - 2. Which is smaller: r or a?
r
Let i be (-59)/(-9) + (1 - (-1 - -7)). Which is bigger: i or 2?
2
Let p(f) = -1. Let k(o) = -o - 1. Let h(v) = k(v) + 3*p(v). Let i be h(-7). Suppose -6 = s - 5*a, -3*s + 0*a + 42 = -i*a. Which is bigger: 20 or s?
20
Let b(n) = -n**2 - 3*n + 4. Let y be b(-3). Suppose 2 = 3*w - 4. Suppose -y*z - 5*i + 28 = 0, w*z - 3*i = -2*i. Is 5/3 at least as big as z?
False
Let d(n) = 3*n**3 + 14*n**2 - 5*n + 1. Let c = 17 - 22. Let a be d(c). Is a greater than -1/24?
True
Let s(h) = h + 5. Let l be s(3). Suppose 4*f = 2*f + l. Do 3 and f have the same value?
False
Suppose 8*d = 336 - 104. Which is smaller: 31 or d?
d
Let b(o) = -14*o - 211. Let h be b(-15). Is h not equal to 0.0655?
True
Let n = 175 + -176.03. Let t = n - -1.057. Is t less than 2/5?
True
Suppose 87 = -3*p - p - d, -p - 5*d - 36 = 0. Let f be (6/p)/(12/49). Let k be ((-12)/8)/((-3)/(-4)). Is f less than or equal to k?
False
Let h = -13676 + 232564/17. Which is smaller: h or 4?
4
Let r be (-927)/(-45) + 8/20. Which is smaller: 23 or r?
r
Suppose -7*t - q + 1087 = -560, 0 = 2*t + 3*q - 476. Which is greater: 238 or t?
238
Let q be 10 + (0 - 6/2). Let i(f) = -2 + 23 - f - q - 7. Let p be i(7). Which is bigger: 9/7 or p?
9/7
Suppose -12*x = -7*x + 25. Suppose 3*t + 6 = 2*p - 3*p, -5*t = 5*p + 60. Let l be -5*(33/p + 3). Is x at most l?
True
Let c = -1.9 + 3.9. Let v = 487 - 443. Which is greater: v or c?
v
Let t = -3814/123 - -31. Is -3 at most as big as t?
True
Suppose 0*n = -3*n. Let j(d) = -3*d - 1. Let a be j(n). Which is bigger: a or -1/18?
-1/18
Let v = -18 - -26. Let o = 8 - v. Let z be (8/(-24))/((-21)/(-9)). Is o greater than or equal to z?
True
Let y be (-10 - -10)/(0 - 1). Let v = 14 - y. Let n be 42/9 - v/21. Is n bigger than -4?
True
Let i = -555 + 560. Let z(u) = 5*u**2 - u. Let t be z(-1). Suppose x = -t + i. Is 4 equal to x?
False
Let f = -1340 - -583. Is -758 greater than f?
False
Let g = 43/98 - 1143/539. Let n = 24/11 + g. Which is smaller: n or -3/4?
-3/4
Let y be -2*(-81)/18 - 9. Is y equal to 1/23?
False
Suppose 3*a + g + 4302 = 0, -2*a - 2371 = -g + 492. Do -1432 and a have different values?
True
Let n = 2.5 - 3.66. Let p = 5.16 + n. Which is greater: p or 7/4?
p
Let y(d) = 3*d - 10. Let z = -18 + 22. Let g be y(z). Suppose 2*p = -g*p. Which is smaller: 1/5 or p?
p
Suppose 2 = -2*u + 16. Let p(y) = -y**3 - 14*y**2 + 6. Let l be p(-14). Which is bigger: u or l?
u
Let d(k) = k**2 + 21*k + 109. Let g be d(-9). Is g equal to -12/41?
False
Let x = -16702 + 49330/3. Suppose 3*o = 4*z + 1010 - 241, o = -4*z + 251. Let y = o + x. Which is smaller: y or -3?
y
Let s = -16 - -16. Which is greater: s or 22?
22
Let s = 1042 - 1042.05. Suppose 3*i = -b + 13, 4*i + 0*b - 2*b - 14 = 0. Is s at least as big as i?
False
Suppose 5*t - 1 = 14. Let b(k) = -2*k**2 - 5*k + 3*k + 4*k - t + 3*k. Let o be b(4). Is o >= -15?
True
Let p(n) = -35*n**3 - 2*n + 2. Let y be p(1). Suppose 0 = -21*f + 25*f + 140. Is f <= y?
True
Let g be 2/((-30)/(-25))*36/10. Let c be 1 - (-22)/g - -4. Is 9 greater than c?
True
Let w = 177 + -1241/7. Let i = 3.02 + -0.02. Let s = i + -2.5. Which is smaller: s or w?
w
Suppose 0 = -2*q - 0*q + 8. Suppose u - q - 6 = 0. Let s be 282/30 + (-4)/u. Is 9 <= s?
True
Let x be (-2)/(-5)*(-205)/(-2). Let d be (-5)/(360/16) + x/(-18). Is 3/5 != d?
True
Suppose -16*x + 5 = -11*x. Is x at least 18/17?
False
Suppose 0*j + 2*j - 10 = 0, -w = 4*j - 28. Which is greater: w or 44/5?
44/5
Let l = 34/15 + -2966/1335. Is l < 0?
False
Let n = 0.32 + -0.34. Let q = n + 0.32. Let i = -2 + q. Which is bigger: 1 or i?
1
Let z(r) = 2*r**3 + r**2 - r + 22. Let w be z(0). Let n be (-1)/(-2 - -3)*-22. Are w and n non-equal?
False
Let h = 21.8 - 24. Let x = -3 - h. Is 0.1 > x?
True
Let l be 2/(-16) + (-78024)/(-576). Which is bigger: 135 or l?
l
Let b = -13 + 11. Let v = -3 - b. Let