19*r + 4. Let u be n(3). Let o be (c + u)*4/(-104). Is 0 <= o?
True
Let d = -17 + 11. Let i(z) = -z**3 - 6*z**2 + 1. Let a be i(d). Let r = -5/31 + 97/217. Is a at most r?
False
Suppose -6*r + 80 + 16 = 0. Which is smaller: r or -3?
-3
Let n = 43.1 - 79. Let a = 36 + n. Is 1.6 greater than a?
True
Let n = -18729/440 - 91/88. Let d = n + 2844/65. Which is greater: 0 or d?
d
Let t = 424 - 9327/22. Let w = 0 - 0.1. Which is smaller: w or t?
w
Let u be 3/(12/(-20)) + 6 + -2. Let j = -352/285 - -6/5. Do j and u have the same value?
False
Let g = 49 - 48. Let s = g - 0.91. Which is bigger: 0.2 or s?
0.2
Let r be -1*(-35 - (-7 + 5)). Is r at most 9?
False
Let z be (220/(-176))/(119/8). Which is bigger: z or -0.1?
z
Let t = 1 + 0. Let p = -2.18 - -2.1. Which is greater: p or t?
t
Let n be (-3)/(1/8 - 1610/13328). Is n <= -716?
False
Suppose -2*t - 150 = -160. Do t and 14 have different values?
True
Let v be (12/10)/(8/20) - 3. Are v and 26 equal?
False
Let t be 216/(-434)*35/(-10). Does 1 = t?
False
Let c be (-65)/((-25)/40*4). Which is smaller: c or 18?
18
Suppose 4*z + 6 = 14. Suppose 0 = -z*r - 2*r. Suppose -2 = -3*l - 5*n + 3, l + 5*n - 5 = 0. Is r >= l?
True
Let c = 1.19 - 1.88. Let z = -1.09 - c. Which is bigger: -3/4 or z?
z
Let k = 1517/3 - 583. Let s = -78 - k. Is s greater than -2?
True
Let k(l) = 51*l**2 + 17*l + 37. Let m be k(-2). Which is greater: m or 206?
m
Let s(l) = l**2 - l + 5. Let h be s(0). Suppose 0 = -3*t + 3*d + 9, h*t = -5*d - 11 - 4. Let o be (t - 36/(-44)) + -1. Is 3 > o?
True
Let n = -116.1 - -140.5. Do 1 and n have the same value?
False
Let t = 0.1111 - -676.8889. Which is smaller: 1 or t?
1
Let q be 8/(-24)*-18 + -7. Is q bigger than -19?
True
Let m be 2592/5312 - 1*(-2)/(-4). Let u = -208631 - -121214770/581. Let l = m - u. Is -0.04 less than l?
False
Let f be (-1)/5 + ((-990)/50 - -21). Is 3/215 greater than or equal to f?
False
Let h(d) = d**3 - 7*d**2 - 15*d + 51. Let z be h(8). Which is bigger: -2 or z?
-2
Let c be (-6 + (-96)/(-6))*(1 + 0). Let j be (-735)/25 - ((-4)/c + 0). Is -29 less than j?
False
Suppose -2*d + 4 = 0, 0*d = -k - 5*d + 6. Let b = 45 + -35. Let q be 3/6 + b/(-36). Which is smaller: q or k?
k
Suppose 4*o - 29*o - 1775 = 0. Suppose y + 2*y = -210. Which is greater: y or o?
y
Let x be (3/12)/((-100)/(-4320)). Is 11 at least x?
True
Let y(u) be the first derivative of u**3/3 + u**2/2 - 14*u + 7. Let h be y(0). Let x be 14/7*h/4. Is -3 less than x?
False
Let l = -0.07 + 0.09. Let b = 15.98 + l. Let i = b - 16. Which is bigger: i or 4?
4
Let j = -7.7 - 12.3. Let b = 2 + -1. Let g = 1.1 - b. Which is smaller: j or g?
j
Let w = 169.5 - 169.6. Let f = -22.42 + -0.58. Which is smaller: f or w?
f
Let v = 17.5 - 17. Let l = v - -5.5. Let t be (-6)/8 - 9/(-36). Is t bigger than l?
False
Let x = -172 - -152. Are -37/2 and x equal?
False
Let w = 2098 - 2139. Is w at most as big as -43?
False
Suppose -i = 6*i - 6*i. Which is greater: i or -7/30?
i
Suppose -2*l - 2*c = -26, -3*c = -l + 1 + 4. Suppose -8 = -2*u + 3*p, 3*u - l - 2 = 4*p. Which is bigger: -1 or u?
u
Let f be 56 + 4*(-2)/4. Let o = 56 - f. Are o and -2/3 unequal?
True
Suppose 3 = -3*w - 6, -2*r + 32 = -4*w. Let i be 2/r - (-36)/20. Suppose 5*a = i*a + 6. Is a <= 6/5?
False
Let g = -197 + 197. Which is smaller: 4.3 or g?
g
Let o = -12/23 + 119/184. Which is greater: 5/3 or o?
5/3
Let t be -7 + (-13)/(1859/(-975)). Is t not equal to 2/11?
True
Suppose 0 = 25*t - 629 - 96. Does 26 = t?
False
Let g be (344/(-6))/(2/6). Is -691/4 greater than g?
False
Let q be (-2 - (4 - 6)) + 45. Let t = 54 - q. Which is bigger: 8 or t?
t
Suppose -7*m + 465 = 409. Which is greater: 85/11 or m?
m
Let r = -2.2 + 0.2. Let s = 0.02 + 0.06. Let o = 0.22 + s. Are r and o non-equal?
True
Suppose 0*a + 12 = 5*a - 3*d, 5*a + 2*d + 8 = 0. Which is smaller: 24 or a?
a
Suppose -y = -3*j - 0*y - 5, j + 5*y - 9 = 0. Let v(t) = 2*t - t + t + 0 + 1 - 7*t**2. Let w be v(j). Which is smaller: -9 or w?
-9
Let t = -5 - 8. Let k = t + 14. Is k != 3/8?
True
Let s(l) = -7*l**3 + 5*l**2 - 8*l + 16. Let d be s(3). Which is bigger: d or -153?
d
Let b be 4/14 - (-416)/112. Suppose m + 2*m + 15 = -b*d, 0 = 4*d + 2*m + 10. Do d and -4/7 have different values?
True
Let w = -84.67 + 85. Let l = w - -2.67. Let y = -8 + 7.7. Which is bigger: y or l?
l
Let n = 24 - 24.026. Let o = 2.34 + -2.44. Which is bigger: n or o?
n
Let i = 796.846 - 797. Is i at least 2/7?
False
Let c(v) = -2*v - 16. Let y be c(-10). Suppose -2*d = -k + 11, -y*d + d = -k + 16. Are k and 2/127 non-equal?
True
Let n(p) = -2*p**2 + 11*p - 8. Let s(y) = -y**2 + y + 1. Let i = -1 - -2. Let g(h) = i*s(h) - n(h). Let b be g(9). Which is smaller: b or -2/7?
-2/7
Let s = -2 - 10. Let h = 12 + 6. Let q = h + s. Is 2/3 <= q?
True
Let o = 26543161/4947744 + -6/51539. Let h = o + -16/3. Is h > 1?
False
Let x = 32480120 + -102994461412/3171. Let u = x - 2/453. Which is smaller: 2 or u?
u
Let u be (369/5436)/(2/16). Let n = 589940/1359 - u. Let h = n - 434. Which is smaller: h or -1?
-1
Let j(u) = 3*u - 4. Let d be j(-6). Let r = d - -17. Let v(p) = 4*p - 1. Let h be v(-1). Is r smaller than h?
False
Let k = -0.1 + -1.2. Let u = 1 + k. Let f = -0.7 + u. Is f < -1?
False
Suppose 7*x - 2*x + 3133 = -4*n, x = 3*n - 638. Let y = x + 33339/53. Is y less than 1?
True
Suppose -5*g + 50 = 5*i, 2*g + 4*i - 26 - 4 = 0. Suppose 3*k + 44 = -k - 4*w, 0 = g*k + 3*w + 63. Which is bigger: -13 or k?
-13
Let h = -0.565 - -20.505. Let l = -20.105 + 0.105. Let d = h + l. Is d less than 2?
True
Let h = 371 - 295. Which is bigger: h or -0.1?
h
Let m = -2211 - -2210.96. Is 24 smaller than m?
False
Let m be 4 + (-3 - 1) - 1. Let p be (-1*(-3)/(-18))/(m/(-5)). Which is greater: p or -2?
p
Suppose 3*m = -4*o + 2*m + 24, -5*m = o - 6. Let l(z) = z**2 + 3*z + 2. Let y be l(-3). Let x be (2/3)/(y/9). Which is greater: o or x?
o
Let g = -65174/365 + 893/5. Which is smaller: -1 or g?
-1
Let c = 56 - 23. Let t = 33 - c. Which is smaller: t or 2/161?
t
Let q = -3.1 + 2.4. Let y = 17.7 + q. Let g = 17 - y. Which is smaller: g or 2/9?
g
Suppose -5*n + 24 = -41. Let y be (30/20 - n/6)/(-4). Which is smaller: y or 0.1?
0.1
Suppose 9*p = 5*p + 188. Let n = 28 - p. Let x = n + 20. Are -4/21 and x nonequal?
True
Suppose -4*b = 5*t - 95, -5*b + 139 = 2*t + 33. Suppose 0 = -2*l + 4*z + b, -25 = -l - 2*l + z. Is 2/7 < l?
True
Let y be (-1 - (-25)/15)/((-6)/(-9)). Is -1.29 at most y?
True
Suppose 0*q = -2*q + 3*z + 6, -q = -z - 3. Suppose -q*t = 3*k + 19 - 1, -2*t - 3*k - 10 = 0. Which is greater: t or -15/2?
-15/2
Let n = 4 - 8. Let d = -1 - n. Let q = -4 + d. Which is smaller: 1/3 or q?
q
Let t(w) = -w**2 + 4*w + 1. Let m be t(-1). Let v be 20/102*(49/(-14) - m). Which is smaller: -1 or v?
-1
Suppose 2*y = 4*g + 42, 4*y + 33 = -g - 4*g. Suppose -9 = 3*n, -2*k = -0*k + n + 23. Is k greater than g?
False
Let v = -889 - -457. Let f = v + 2168/5. Which is bigger: 3 or f?
3
Suppose 14 - 110 = 12*i. Let v be (-2)/i + 291/(-12). Is v smaller than -24?
False
Suppose -5*u = 20, f + 12 = -u - 4*u. Let y = 4.26 - 0.26. Is f less than or equal to y?
False
Let f(y) = -y**3 - 13*y**2 - 11*y - 16. Let l be f(-12). Let v be (18/(-21))/(2/l). Let s be (v/(-5))/((-6)/20). Is 2 >= s?
False
Suppose 4*s - 3*s = 0. Suppose -4*i = -5*d - i + 13, 0 = 5*d - 2*i - 12. Let m be (-1 + d - 3) + (-60)/(-20). Which is bigger: m or s?
m
Let d = -112 - -117. Suppose -6*n + 3*n = -18. Is n at least d?
True
Let c be 159/465 - 6/10. Let l = -11/403 - c. Is l bigger than -2/3?
True
Let r be 13 + -15 + (-3482)/8. Let m = 435 + r. Is 3/4 > m?
True
Let y = -2006 + 1127. Is -880 at least as big as y?
False
Let t = 610 - 609. Is -2/241 equal to t?
False
Let m = -100/3 + 491/15. Which is bigger: m or -30?
m
Suppose 94*p - 76*p = 0. Is -44/41 equal to p?
False
Let o be -30*((-4)/10)/(-1). Let i be (-2)/(-34) + o/(-102). Is i less than or equal to 0?
False
Suppose 5*l - k - 7 = 3, 3*k = -4*l + 8. Let w(a) = 2*a**3 + a**2 - 4*a + 2. Let z be w(l). Which is bigger: z or 9?
z
Let m = -9.85 - -5.85. Which is smaller: m or 77?
m
Let j be 2/6 - (-350)/(-50778)*48. Is j less than -1?
False
Let j = 111 + -87. Suppose -j*y + 28*y = 8. Suppose -2 = -2*s - 3*k, 4 = -s + 5*k + 5. Which is greater: s or y?
y
Let k(y) = -198*y - 138. Let p