= -684 - -695. Suppose -15 = 5*x, 4*l - s*x - 244 = -15*x. Which is greater: l or h?
l
Let u = -109 - -107.6. Let w = u - -1.35. Let k be 1 + (-34)/12 - -2. Is k at least w?
True
Let x = -0.5 + -16.5. Let t = x - -65. Let i be 4 - ((-8)/(-5))/((-22)/(-55)). Are i and t equal?
False
Let i(y) be the third derivative of y**6/120 - y**5/12 + y**4/24 + y**3/6 + 3*y**2. Let a be i(4). Let t be (-2)/((4/2)/(7 - 9)). Is t <= a?
False
Suppose 26 + 51 = -7*m. Let g be m*7/2*(-6)/3. Are g and 76 equal?
False
Suppose 2*s - 377 = 1527. Let d be 1869/s + -6 - 4/(-1). Which is smaller: d or 1?
d
Let g = -287 - -174. Let j = g + 114.17. Let d = -1.17 + j. Is d less than or equal to 0.1?
True
Let w = -19911/116 + -1482/29. Which is bigger: -223 or w?
w
Suppose -3*n = -21*s - 378, 50 = -11*n + 10*n - 4*s. Let k be (191/(-5))/((-36)/(-10)). Let r = 37/18 - k. Which is greater: r or n?
n
Suppose 0 = -5*q - 0*z + z - 279, 2*q - 5*z = -107. Let s be ((-4)/(-10))/((-31)/(-6975)). Let a be q/s - (68/18 + -4). Which is smaller: a or -0.2?
a
Let j be (-714)/153*6/52. Suppose -4*u = -7*u + 9. Suppose o + o = -2*s + 6, u*s - 3*o = -9. Which is smaller: s or j?
j
Let u be (12/14)/((-2)/(-84)). Let g = 38 - u. Suppose -18 = -g*z + 78. Is z < 48?
False
Let l be 8/(-32)*8*15/6 + 6. Which is greater: -16/181 or l?
l
Suppose 0 = -3*o - 243 + 618. Let u be 5 + 0 - (-3075)/o. Which is smaller: u or 29?
29
Let d = -263 + 299. Let u = 36 - d. Which is greater: -102 or u?
u
Let z = 1768 - 943. Let l = z + -824. Is l > -219?
True
Let q = 11.2 - 8.2. Let i = 0.053 - 0.183. Which is smaller: q or i?
i
Let u be (229 - 1/1 - 0)/(-1). Let h = 165 + u. Is -63 greater than or equal to h?
True
Let m be 62/24 + 1 + 6 + (-1712)/321. Is -11 != m?
True
Let j(r) = 10*r**2 + 9*r - 6. Let n(l) = l - 12. Let p be n(6). Let y be j(p). Let a be (y/(-16))/((-9)/24). Which is greater: a or 0.1?
a
Let l = 44 + -1. Suppose k = -3*k - 5*u + l, 4*k + u - 31 = 0. Suppose -10*b - 3 = k. Which is bigger: 5 or b?
5
Suppose 1612 = 4*m + 4*z, 0 = -4*m + 2*z + 254 + 1394. Which is bigger: 410 or m?
410
Let y(b) = -b**3 + 7*b**2 - 2*b + 2. Let j be y(5). Let c = -60 + j. Let l = c - -18. Which is smaller: 2/39 or l?
l
Let k be 216390/(-1800)*2*(0 - 2)*-3. Do -1443 and k have different values?
True
Let c = 30.4 - 30.5. Which is bigger: -3345 or c?
c
Suppose w + 6164 = 5*y, 5*w + 585*y - 581*y = -30762. Does -6154 = w?
True
Suppose -c + 179 = 4*j, -26*j + 5 = -31*j. Which is smaller: c or 184?
c
Let x = -10002 + 10070. Which is smaller: x or -0.11?
-0.11
Let n be (72 - 73)*(-120 + -5). Is n < 102?
False
Suppose -2*p = 5*k + 133 - 128, k = 3*p + 16. Which is smaller: k or 176.6?
k
Let x(t) = -t**2 - 7. Let n be x(0). Let c = 4063/4 + -1023. Is c greater than or equal to n?
False
Let l be (5282/(-8) - 42/56)*-1. Is l bigger than 1985/3?
False
Let r = -2333/7 + 333. Is -362 > r?
False
Suppose -5*k - 3250 = -5*q, -3*k + 4*q - 3255 = 2*k. Let n be (8 + k/80)*(-4)/6. Which is bigger: n or 0?
n
Let r be (1 - 2)*1014/(-2 + -11). Is r bigger than 384/5?
True
Let l = 69.71 + -71. Let j = -1.57 + 1.28. Let v = j - l. Which is smaller: v or 3/11?
3/11
Let o(j) = 56*j + 1820. Let q be o(-20). Which is greater: -2/17 or q?
q
Suppose -3*z = 3*z - 1272. Let t = -28 - z. Are -241 and t nonequal?
True
Suppose -686 = -0*n - 14*n. Let y = n + -108. Is y > -57?
False
Let y be ((-615)/10)/((-128)/(-152) - 1). Is y smaller than 391?
True
Suppose -4*c + 4*y + 28 = 0, 41*c - 43*c + 4*y + 24 = 0. Suppose -4 = -c*r - 2. Are r and 3/166 unequal?
True
Let g(b) = b**3 - 2*b**2 + 28*b + 1. Let n be g(0). Which is smaller: n or -12.65?
-12.65
Suppose 22 = 5*g - 8. Let d = 66605 - 66604.69. Is g less than d?
False
Let s = -152 + 890. Do 1 and s have the same value?
False
Let u = -4919 + 4613. Which is smaller: -613/2 or u?
-613/2
Let g = -0.425 + 0.525. Is g less than -698?
False
Let k = -11414 - -11394. Is -0.014 less than k?
False
Let g = 13370 + -13370. Which is bigger: g or -1/10201?
g
Let t = -5668/1874739 - -2/7779. Let s = 1201/1446 - t. Which is bigger: -0.2 or s?
s
Let j = 436939774841/93843729 + 247/2536317. Let v = j - 4656. Is 0 > v?
False
Suppose 9*y + 395 - 197 = 0. Let b = 8 + y. Is b at least as big as -16?
True
Let s(c) = c**2 - 8*c + 6. Suppose -3*x = -4*p + 40, -3*x = -p + 7 + 12. Let n be s(p). Let l be n + ((-23)/2)/((-10)/(-60)). Is -70 greater than l?
False
Let g be (-279)/7 + (-720)/(-105) + -7. Is -867/22 <= g?
False
Let a = -58 + 291/5. Suppose 112*d + 2 = 42*d + 2. Which is smaller: d or a?
d
Suppose -70*h + 17951 - 47627 = 23104. Is h at least as big as -754?
True
Let k be (-2)/(-4) + 82/(-4). Suppose -4*s - 3*n + 14 = 130, -2*s - 5*n = 100. Do s and k have the same value?
True
Suppose -7102 = -23*y - 111*y. Which is smaller: y or 263/5?
263/5
Let o = 8850 + -8849. Which is greater: -80/59 or o?
o
Let b = -841 + 773. Let l = 7 + -15. Let f = -76 - l. Are b and f nonequal?
False
Suppose 3*j + 0*b + 2*b - 4 = 0, -5*b = -5*j - 10. Let g = -28081163/5100 + 66007/12. Let x = 96/17 + g. Is j greater than x?
False
Let c be ((-24)/6)/(14/(-889)). Suppose 5*h = -c + 49. Is h greater than -4?
False
Let m = 51 + -44. Let h be 65 - -7 - 1*(-2 + m). Are 68 and h nonequal?
True
Let j = 0.255 + 0.145. Let i = 73.735 - -0.265. Which is bigger: j or i?
i
Suppose -4*a + 5*c + 22 = -0*a, -2*c - 1 = a. Let l be (3 + 82 + a)/(-1). Is l > -87?
False
Suppose 4*h + 548 = -2*v, h + 137 = -0*h + 3*v. Let t = h - -117. Let b be 1155/6*2/(-20). Which is smaller: b or t?
t
Let j = 41/586 - 7741/1758. Let l = 0.2 + -0.1. Does l = j?
False
Let o be 14713119914/(-845) - -1*3. Let c = -17411976 - o. Let t = 1/845 + c. Which is greater: -3 or t?
t
Let j = -35.902 - -0.842. Let k = j - -35. Is -1 at least as big as k?
False
Suppose 0 = -7*c + 4*c + 27. Let w = 78237 - 78253. Which is bigger: c or w?
c
Suppose m - 3*m + 4 = 0. Suppose 1 + m = k. Suppose k*p - n - 96 = -5*n, 0 = 5*p + 4*n - 168. Which is greater: p or 38?
38
Let v be -1 - (2 + 3 - 818). Suppose -28*q - q - v = 0. Is 0 smaller than q?
False
Let n = 3746 + -1216. Suppose 2*x + n = -9*x. Is -230 equal to x?
True
Let w(c) = c**3 + 14*c**2 + 21*c + 104. Let b be w(-13). Suppose 10*n + 337 - 837 = b. Suppose 0 = -0*p - 4*p. Which is smaller: p or n?
p
Suppose -12*o + 16*o = 36. Suppose r = -4*w - 2, r + 5*w - 3 = -o. Let h = 21/11 + -9/22. Which is smaller: r or h?
h
Let k = 0.3 + -0.26. Let d = -31143 - -31160. Is d at most as big as k?
False
Let y = -932 - -90402/97. Let g = 71 + -123. Let l = -53 - g. Which is smaller: y or l?
l
Suppose -18*d = -23*d - 3*r + 47, 5*d + 5*r = 55. Let o be (-96)/(-1512) - (6/d)/3. Is 1/13 smaller than o?
False
Let z = -137 + 215. Let b = z - 104. Is b <= -137/5?
False
Suppose 5*b + 3*w = -85, 2*b - 2*w + 8 = -10. Let l = -27 - -13. Is l <= b?
True
Let u(k) = 4*k**3 + 70*k**2 + 39*k + 83. Let s be u(-17). Let a(i) = -i**2 - 6*i - 6. Let d be a(-4). Suppose -4*l - 18 = f, -d*l - 8 = l - 2*f. Is s > l?
True
Let y = 0 + 0. Let t = 1.738 + -1.8806. Let b = t - 0.8574. Which is bigger: y or b?
y
Suppose a = -4*b - 17646, -6*b - 14*a - 26460 = -11*a. Is -4413 greater than or equal to b?
True
Suppose -6*l + 2*l = -96. Suppose -5*i - 41 = l. Let n(r) = 4*r**2 + 21*r + 6. Let u be n(-4). Is u not equal to i?
True
Let k = 283 - 284.3. Is k at least 1/56?
False
Suppose -17756 = -13*x - 1389. Is 1258 > x?
False
Suppose n = -i + 3*n - 7, -2*i - 3*n + 7 = 0. Let a be -4*10/4*i/9. Do -1.1 and a have different values?
True
Suppose 259*b - 295*b = 113 + 283. Does -10 = b?
False
Let d be ((-42)/(-1414))/(3/(-2)). Let l = d - 196/303. Let i(z) = -z**3 + 2*z**2 + 5*z - 7. Let u be i(3). Is u > l?
False
Let j = 885.7 + -887.4. Let q = -1.99 - 0.01. Which is smaller: j or q?
q
Suppose -4*o + 4*p - 18 + 138 = 0, p = -3*o + 82. Which is smaller: 36 or o?
o
Suppose -185*g = -154*g + 961. Let q(z) = -z - 8. Let f be q(0). Let w = f + g. Which is smaller: w or -40?
-40
Let h = 16.984 - -0.216. Let c = 15.2 - h. Are c and -48 equal?
False
Suppose -131*s + 128*s = 4*l - 22, l - 7 = -s. Which is smaller: 7/18 or l?
7/18
Let t = 608 + -44. Let q = t - 563.9. Is -169 greater than q?
False
Let t be 6/(-4)*(650/60*-14 - 9). Let r be 0/1 + (-1 - -240). Is r not equal to t?
True
Let d = -145/10