 + 0.0555. Let z = 100 + s. Do z and -2/9 have different values?
True
Let m be -64*(2 - (-5)/(-2))*-2. Let s = 63 + m. Let l be (s/3)/((-15)/(-180)). Which is bigger: 3 or l?
3
Suppose -66 = -3*i + 2*g, i - 4*i + g + 63 = 0. Let z = 0.9502 - -0.0498. Which is smaller: i or z?
z
Suppose 4*c + 4*k + 16 = 0, 0 = -3*c + k - 3*k - 8. Suppose 8*q + 75 = 3*q. Let b be (-81)/q + (-2 - (-2 + 6)). Is c greater than or equal to b?
True
Let s = -35105 + 141257/4. Which is smaller: s or 208?
208
Let g = -22.7 - 4.3. Let c be (-3)/120 + 1/(-24)*-3. Let f = c - -2/5. Which is bigger: f or g?
f
Let c = 375/7 + -11639/217. Let g = -80.7 + 137.6. Let i = g - 57. Is c smaller than i?
False
Let u = -0.01218 - -156.06218. Let z = u - 156. Is -0.8 greater than or equal to z?
False
Let c = -229 - -217. Let p be c/((-30)/(-5)) + 26/14. Suppose 0 = -3*t - 6, 2*m + 7 = -3*t - 7. Is p > m?
True
Let u = -0.0269 + -0.4731. Do 0.251 and u have the same value?
False
Let u = -0.8019 + -0.0681. Let n = 3.273 - 0.403. Let q = n + u. Is 6 smaller than q?
False
Suppose 0 = -5*c - 15. Let s = 115 + -546. Let v = 2138/5 + s. Is v < c?
True
Suppose 11*o + 2461 = 3253. Is o at least as big as 71?
True
Suppose -532*p + 536*p = 8. Let i be 4764/(-360) + p/5. Which is smaller: -3 or i?
i
Suppose 0*y - 3*y + u = 44, y + 3*u = -18. Let p be (y/10)/((-75)/(-20)). Which is smaller: 1 or p?
p
Let f = -5.6 - -7.6. Which is bigger: 0.0354 or f?
f
Let w = 113 - -428. Let a = 541 - w. Which is bigger: 7/106 or a?
7/106
Suppose i = -8*i + 1854. Let n = -42 + i. Let a = 3117/19 - n. Which is bigger: -1 or a?
a
Let k be (-12)/207*2/(-12). Let t = 7896 - 7895. Which is smaller: k or t?
k
Let r = -3.641 - -676.641. Which is bigger: r or -3?
r
Let m = -8.0755 + 0.0755. Let y = -648.9 + 616. Let b = 33 + y. Is m >= b?
False
Let y be (-4)/8 - 119472/96. Which is bigger: y or -1246?
y
Let i be (-6)/(-21) - (60016/(-56) + -4). Is i bigger than 1?
True
Let b be (-99)/11 - (-1902537)/211380. Do 1 and b have different values?
True
Suppose -9 = 4*p - 21. Suppose -p*n = 5*b - 10*b - 22, -3*n + 2*b + 7 = 0. Which is smaller: 2/481 or n?
n
Suppose -2*w = 2*f + 2, -3*w + 15 = -14*f + 11*f. Let s be ((-1928)/376 - -5)*(-2 - f). Is s greater than 1?
False
Let l(u) = -10*u**2 - 94*u + 6. Let g be l(5). Which is bigger: g or -712?
-712
Let v = 362 + -305. Let k = -57.07 + v. Which is smaller: 3 or k?
k
Suppose -121 + 243 - 122 = -29*r. Which is bigger: r or -1/17599?
r
Suppose 5*b - 364 = 5*q + 31, -1 = -b. Suppose 15*c = 544782 - 544797. Is c != q?
True
Let k = -20/603 + -2072/10251. Is k at least as big as 8.3?
False
Let v = -315 + 34019/108. Suppose 5*w - w + w = 0. Are w and v nonequal?
True
Let w(b) = 2*b**2 + 164*b + 165. Let v be w(-81). Which is smaller: 23/12 or v?
23/12
Let p(t) = 3*t**3 + 30*t**2 + 21*t - 17. Let l(a) = -2*a**3 - 28*a**2 - 22*a + 14. Let y(w) = -4*l(w) - 3*p(w). Let f be y(23). Which is bigger: 291/7 or f?
291/7
Suppose b - 21 - 20 = 0. Let q = 46 - b. Let x = 3 - q. Is -1/2 < x?
False
Suppose 2*t = -5*c - 0*t - 4, 17 = -c + 5*t. Suppose 4*m + m - 126 = -2*s, -4*s + 18 = m. Suppose m - 19 = -7*r. Which is greater: r or c?
r
Let s = 19 - 15.45. Let o = s + -1.55. Is o greater than or equal to 7.3?
False
Let f = 9/1097 - 26110/3316231. Which is smaller: f or -4?
-4
Suppose -j - 4*p - 1577 = 0, 6*j + 4*p + 3178 = 4*j. Which is bigger: j or -1600?
-1600
Suppose 0 = t + q + 19, -5*t - 77 = -4*q - 0*q. Let n = 19 + t. Suppose 3*b - 7 = n*k, -4*b + 9 = k - 15. Is k at most as big as 4?
True
Suppose 107*i + 16356 - 3076 = -15717. Which is greater: i or -256?
-256
Suppose -90*r + 56*r = -44*r + 1710. Is r < 16?
False
Suppose 0 = 7*u + 199 - 570. Let j = -10 + u. Let i = 53 - j. Is 1 not equal to i?
True
Let m = 994 - 1000.75. Let g = 6.45 + m. Which is smaller: 53 or g?
g
Let l be (-976)/(-610) + 61/10. Which is bigger: 7 or l?
l
Suppose -12*k - 12*k - 79 = -391. Let g be (-45)/((-2)/(-4)*-3). Let c be (-52)/k - g/(-1). Which is bigger: c or 27?
27
Let w be (-2 - 0)/(-12 - -13). Let c(g) = g**3 + 4*g**2 + 5*g + 4. Let v be c(w). Suppose 5*r + v*r - 7 = 0. Is r at most as big as 1/43?
False
Let j = 2492 + -2502. Is 0.34 at least as big as j?
True
Let v be 1 + (-158)/(-1080)*-2. Let r = -11/27 + v. Suppose -43*w + 10 = -24*w - 9. Which is bigger: w or r?
w
Suppose 8*p + 22 = -19*p + 38*p. Is p <= 57/46?
False
Let v = 28 - 39. Let p = 444 - 442. Suppose p*n + 4*y = -28, -12*y = -15*y + 3. Which is smaller: v or n?
n
Suppose 2*q = 3*q. Let a be (-7)/(1/((-4)/(-148))). Is q at most as big as a?
False
Let s = 20.54 + -21. Let t = s + 122.86. Let m = -121 + t. Which is smaller: m or -3/8?
-3/8
Let l = 34 - 32. Let b be l/(-12) + 285/(-18) + -1. Let a be b*3/54 - (-2 + 1). Which is smaller: a or 1?
a
Let p = 1821 + -1823. Which is bigger: 1643 or p?
1643
Let d be 0 + (-7)/((-14)/52). Suppose -d - 74 = -5*i. Let v be (0/2)/((-5)/(i/8)). Is -1/5 less than or equal to v?
True
Let o = -284653224 - -89665846846/315. Let a = -2324/9 + o. Suppose 6*q - q + 5 = 0. Is q <= a?
True
Let f(i) = 2*i**2 + i + 10. Let n be f(-10). Suppose 4*c - n = -5*r, -18*r = -13*r. Is 49 at least c?
False
Let o be 3 - (8 - (-741)/(-91) - 3708/14). Is o >= 249?
True
Let s = 8/3 + -2. Suppose 3*w - 8 = -y, 6*w + 11 = y + 12. Which is smaller: s or w?
s
Suppose -6*t = 2*t - 5885 - 6907. Is t <= 1599?
True
Let b = -499 - -558. Let m = b - 59.1. Is m < 68/9?
True
Suppose 400*s - 386*s = -392. Are 7 and s unequal?
True
Suppose 0*d - 3*i = 3*d + 357, 4*i + 238 = -2*d. Suppose 0 = -6*y - 594 - 126. Which is bigger: d or y?
d
Suppose 4*c + 61 = -3*t, -t + 5*c = -2*t - 2. Is t > -180/7?
False
Let k be 6*(-6 + (-48)/(-9)). Let l be -1*(-9)/2118*k/(-3). Which is smaller: l or -1?
-1
Let f(u) = 148*u + 0*u**3 - 151*u - u**3 + 5. Let i be f(0). Suppose -j + 4 = 4*r, 2*r - i = -3*j - 3. Is r smaller than 1/7?
False
Let f(x) = -4*x**2 - 13 + 25*x + x**3 + 29*x**2 + 3*x. Let u be f(-11). Let k = u + -42577/31. Which is smaller: -1 or k?
-1
Suppose -5*o = 4*k - 48, -5*k + 45 = 29*o - 24*o. Let r be ((-18)/(-108))/((-2)/o). Which is smaller: -7/4 or r?
-7/4
Suppose -8*v = -4*x - 4*v - 780, 2*v = -2*x - 410. Let u = -15108/691 + -5045390/28331. Let g = u - x. Is g less than 1?
True
Let h be 1925/(-8052) - 1/(-4). Let d = -1242 - -1241. Is d bigger than h?
False
Let n(j) = j**2 - 6*j + 6. Let l be n(5). Let p = 101/36 + -1405/504. Is p not equal to l?
True
Let a be (28 + -80)*(-2)/((-8)/(-34)). Let q = -442 + a. Is q > 1/73?
False
Let q be ((-25392)/(-108))/(-23) - 10. Which is greater: -21 or q?
q
Suppose 0 = v + 2 - 1. Let r be 3/9*(20 + 1 + -6). Let t be -4 + r*(-58)/(-85). Which is bigger: v or t?
t
Let k be 1/4 + 3084/16. Let d = 136 - k. Suppose 0 = -3*v + 39*v + 2052. Are d and v nonequal?
False
Let p = -336.3 + 49.3. Let n = -296.05 - p. Let u = 9 + n. Is u at least -5?
True
Let z be -1 + (-162)/((-24)/4). Suppose -z*u + 95 = 121. Is u != -2/1127?
True
Let f be ((-6)/10)/((-13)/130). Let p be 8/(-45) - f/27. Let u = 49 - 59. Which is smaller: p or u?
u
Suppose -26 = -3*w + t - 2*t, 4*w - 40 = -4*t. Let r be ((-7)/w)/((-1)/(-3)). Let z = 124075 - 124077. Is r less than z?
True
Let d be -44*(4719/(-338) + 14). Which is greater: 11 or d?
11
Let v = -69821062/1223 + 57090. Is 1 less than or equal to v?
False
Suppose -1980 = 70*n + 3270. Is n at least -94?
True
Let l = 19/476 - 148987/11900. Let y = l + 11534/175. Is 53 < y?
True
Let d be 722/114 + 14/(-6). Suppose -2*j - 4*w - 73 = -3*j, -d*j + 292 = -2*w. Which is bigger: 69 or j?
j
Let b = -38.4 + 35. Let t = 61.3 + -24.3. Let q = -37.1 + t. Is q != b?
True
Suppose -29 - 139 = -8*x. Let i be 2/(-4)*(-1 + x). Let l be 13/1 - 2*5/i. Do 2 and l have the same value?
False
Suppose 0 = 44*y - 89*y - 131*y + 401104. Is y greater than or equal to 2280?
False
Let i = -1.256 + 1.3. Let d = -29.044 + i. Let k = 44 + d. Is 0.2 less than or equal to k?
True
Suppose 4*u + 52 + 532 = 0. Let w be ((-8)/(-16))/(1/u). Is w >= -3?
False
Let y(g) = 3*g**2 + 5*g - 5. Let o be y(1). Let d be -3*(2 + 24/(-9)) - 1. Let h(r) = 9*r - 1. Let w be h(d). Which is smaller: w or o?
o
Let s be 1*(-4 + 6 - 1). Suppose -20*h - 321 = -941. Suppose -h = -5*c - s. Does c = 6?
True
Let t = 482 - 852. Let m = -347 - t. Which is bi