et d = -0.5 - -0.9. Which is smaller: u or d?
u
Suppose -2*m = -10*r + 15*r - 100, -3*r - m + 61 = 0. Suppose -1504 = -r*y + 2456. Do 181 and y have different values?
True
Let y be (-2)/(-8) + (-14)/(-8). Suppose 8*s + 2 - y = 0. Suppose -5*d + 13 = l - 23, 2*l - 5*d - 102 = s. Which is smaller: l or -1?
-1
Let r = 120 - 210. Let k be (5/(-75))/(5/r). Which is bigger: k or 2?
2
Suppose -5*z = -4*y - 4*z + 568, 2*z + 564 = 4*y. Suppose -77 - y = 2*v + c, -5*c - 316 = 3*v. Which is smaller: -114 or v?
-114
Let t = -0.1457 + 787.1457. Let z = 787.1 - t. Let s = 59.49 + -59. Are z and s equal?
False
Let n be 3/2 - (-340)/(-8). Let i = 17 + n. Let a be 5/25 + (-237)/10. Which is smaller: i or a?
i
Let j(s) = -10*s + 114. Suppose -4*i + 10 = -4*x - 18, -3*i + 4*x + 17 = 0. Let k be j(i). Does 37/8 = k?
False
Let h = 266 + -139. Let s = h + -197. Let p = s + 70.1. Is p greater than -0.11?
True
Let a(j) = -j**2 - 19*j + 109. Let m be a(-23). Suppose 0 = -12*u - 19 - m. Are u and -43/15 equal?
False
Let w = -294871688/2206523 + -2/200593. Is w less than -135?
False
Let b(q) = -q**2 + 3*q + 46. Let l be b(-11). Suppose -22*z + 26*z + 436 = 0. Is l greater than z?
True
Let a = -11467 - -6512. Let j = a + 5000.06. Let m = j + -45. Which is bigger: m or -3?
m
Suppose -161*b - 14 = -168*b. Suppose 2*c + b = 2. Is c less than -36/31?
False
Let r = -72398/5 - -14480. Which is bigger: 0.1517 or r?
r
Let l be 405/225*8/288. Suppose 5*i + 1 - 6 = 0. Which is smaller: i or l?
l
Let b(y) = -y**3 + y. Let m = 21 - 58. Let r = m - -37. Let c be b(r). Which is smaller: -5/26 or c?
-5/26
Let f = -1781 - -1757. Is -276/11 != f?
True
Suppose -56*s + 61*s - 385 = -2*i, 0 = -3*s + 2*i + 231. Let v = 54 + -47. Which is smaller: v or s?
v
Let o(f) = -16*f**2 - 7*f + 2. Let d be o(1). Let c = 20 + d. Which is smaller: -6/89 or c?
c
Let l = -15003 - -14311. Which is smaller: -696 or l?
-696
Suppose 2*n - 2 = -4*h - 0, 4*h - 37 = 5*n. Suppose 3*s - 304 = -35*s. Suppose s*c = c + h*c. Which is smaller: c or -5/4?
-5/4
Let z be 260/78 + (-8)/3. Let k = -22 - -439/20. Is k bigger than z?
False
Let o = -264 - -266. Suppose 2*c + o*c = 4*j + 16, 5*c = -3*j + 28. Are 48/25 and j unequal?
True
Let q = -70 - -49. Let p be ((-18)/q + -1)*3. Let u = -928.2 + 928. Do p and u have the same value?
False
Suppose 2*c - 6*l = -3*l + 10, -5*c = 5*l. Suppose a + c = -6. Let g = a - -8. Which is bigger: -14/19 or g?
g
Let f be 10/(-6)*1080747/66125. Is -27 bigger than f?
True
Let k = -3296 + 2555. Is k bigger than -742?
True
Suppose 0 = 5*l, 16 - 14 = -2*p - 2*l. Which is bigger: p or 2/44585?
2/44585
Let g = 25613/10 - 2579. Which is smaller: 0.11 or g?
g
Let w = 434380/705253 - -5/9661. Which is bigger: 2 or w?
2
Let g = -8119 - -8120. Do 1/3185 and g have different values?
True
Let o be 15/5*(128/(-12) + 1). Is -722/25 not equal to o?
True
Let u = 92.102 - 0.102. Let m = u - 87.9. Are m and 1 unequal?
True
Let r = -78/209 + 18/11. Let n be (-12)/90 + (-208)/285. Let o = r + n. Which is greater: 29 or o?
29
Suppose 2*s = -c - 147, 5*c + 525 = s - 221. Let g = 165 + c. Suppose q + 0 - 17 = 0. Which is greater: g or q?
q
Let s = 454 - 455. Let o be (s + 0)/((-6)/42*7). Which is smaller: o or -1/169?
-1/169
Let n = -1334.849 - 7.151. Which is smaller: n or -1/2?
n
Let p = 525 - 528. Let y be -34*3/(-48) - (p + 3). Let g be (2/6)/(3/9). Is g at least as big as y?
False
Let d be 16/3*(2*3/(-2) - -12). Which is smaller: d or 389/8?
d
Let c be (-5745)/180*-3*312/(-14)*1. Is c >= -2135?
True
Suppose -13*m - 42 = -16*m. Let g be (4*5/12 - 4)*-6. Is g != m?
False
Let t = 122050 - 79210510/649. Which is smaller: t or -1?
-1
Suppose 2 = -i - i - 5*r, -4 = 4*i - 2*r. Let k = -46 - -30. Let l = k - -25. Which is smaller: i or l?
i
Let g = 715 - 337. Suppose 76*r = 103*r - g. Suppose -4*b - 6 - 2 = 0. Is r bigger than b?
True
Let d = 0 - 0. Let g = -159/19 + 2373/304. Is g smaller than d?
True
Let q = 478 + -556.8. Let m = -78 - q. Which is smaller: m or -2/5?
-2/5
Suppose -2*w + 4*w - 5*q = 44, 2*w = -2*q + 30. Suppose -w*g = 10*g + 459. Is -17 < g?
False
Let y = 188 + -428. Let d = -239.9 - y. Are d and 27/5 nonequal?
True
Let l be ((-429)/(-22))/(531/(-12)). Let x = l - 6308/413. Is -16 less than x?
True
Suppose -10483 = 74*n - 26689. Let a(u) = -218*u**3 - 2*u - 1. Let y be a(-1). Is y smaller than n?
False
Let t = -0.24 - -0.34. Let a = 83 + -57. Which is smaller: a or t?
t
Let v = 29.93481 - -0.06519. Is -28/9 at most v?
True
Let i = 16458 - 17374. Is i != -918?
True
Let b(i) = i**3 + 6*i**2 + i - 92. Let o be b(6). Let t = 377 - o. Is 34 less than t?
False
Let b = -73 - -74. Let t be 185/(-2) - b*(-6)/12. Let a = t + 177/2. Which is bigger: -0.2 or a?
-0.2
Let n = 0.09426 - 0.12426. Which is smaller: n or 42?
n
Suppose 0 = -95*a + 111*a + 96. Let w be a/(-8) - (-8 - 2)/40. Let v = 113/616 + -15/77. Is w at least v?
True
Let a be 13 + 5 + (24/9)/((-33)/99). Are 0.575 and a unequal?
True
Let l = 6703/10 + -13922101/20770. Are l and 0 nonequal?
True
Let x be (-532848)/88 + (-1)/22*-2. Let w be 40/(-6)*((-378)/x)/9. Which is greater: w or -1?
w
Let d(w) = -15*w - 6. Let r be d(2). Let v be r/90 - ((-54)/10 + -1). Let u be 34/100 + (-3)/v. Which is smaller: u or 0?
u
Let c = -130.98 + 131. Which is smaller: c or 15/8?
c
Let a = -0.8 - -1. Let i = -18835 + 18790. Is i != a?
True
Suppose -4*n = -12 - 8, 0 = -m - 5*n. Let c = m + 21. Let q = -26.2 - -30.2. Which is greater: c or q?
q
Let q = 2243 + -2274. Is -22 greater than q?
True
Let a(i) = -i**3 - 7*i**2 - 2*i - 14. Let n be a(-9). Let y be (-1*4)/(20/n). Let k = 204/5 + y. Is 8 > k?
True
Let l(u) = -21*u - 1738. Let s be l(57). Which is bigger: -2936 or s?
s
Let f = 4690 + -3808. Is f less than or equal to 883?
True
Let y(s) = -16*s - 14. Let j be y(15). Let i = j - -766/3. Let p = 0 + 0. Is i > p?
True
Let b(w) = -5*w - 19. Let c be b(-5). Suppose -3*d - 115 = -5*q, 3*d - c - 19 = -2*q. Let a be (-197)/(-10) - (-6)/(-30). Which is bigger: q or a?
q
Suppose k + 30 = 5*i, -2*k - 2*k = 2*i + 10. Suppose 7*s - 2*s = -5*w - 25, -13 = w + 5*s. Let f be (-1 - (-153)/(-30)) + w/(-2). Which is smaller: f or k?
k
Let x be (-2)/5 + (-28)/(-20). Let z be 28/4 + 0 + -2 + -2. Let i be (z/21)/((-3)/15*-1). Which is smaller: i or x?
i
Let i(x) = -20*x + 105. Let z be i(5). Let j = 12 - z. Is 17 at least j?
True
Let u be 4560/(-128) + (-2)/((32/(-3))/(-2)). Which is bigger: -96 or u?
u
Suppose -4*n - 72 = -5*n. Suppose 3*q + 31 = 3*t + 229, -q = -2*t - 62. Which is smaller: q or n?
q
Let z = 271 - 309. Let h be (-224)/z + (-4 - 2). Is h less than 0?
True
Let o = 9464/9 - 1050. Let d = -0.097 - 0.009. Let n = d - -0.206. Is o >= n?
True
Let k = -3132.037 + 3132. Is k less than or equal to -10?
False
Suppose -17*d = -3520 - 2821. Is 2610/7 greater than d?
False
Let m = -47.3 + 43. Let b = m + 4.5. Let w be (-13)/45 - 6/(-15). Which is greater: b or w?
b
Suppose 0 = 2*i - 4*k - 38 + 8, -116 = -4*i - 6*k. Suppose -3*v = 2*o + i, -12 = 4*o + 3*v + 25. Does o = -51/7?
False
Let i = -11446.1 + 11446. Let v = 211 + -2955/14. Which is smaller: v or i?
i
Suppose 4*p + 35*w - 32*w + 295 = 0, -4*p - 292 = 4*w. Which is greater: -16 or p?
-16
Let u = -48.9 + 528.9. Let t = -153 + u. Which is bigger: t or -1/2?
t
Let c = -3029 + 3030. Let z = 7 + -4. Which is smaller: c or z?
c
Let c(n) = 34*n**2 - 66*n + 2. Let o be c(2). Is 175/36 < o?
True
Suppose 2074*m = 2084*m + 54070. Does -5407 = m?
True
Suppose 2*u - 161 = -17. Let g be 303/(-27) + 1 + 16/u. Is -26/3 less than or equal to g?
False
Let o = 4204 - 20949/5. Let x = -42478 + 42493. Which is smaller: x or o?
o
Let r be 230/(-90) + 12/(-27). Are r and -35/23 unequal?
True
Let a(t) = t**2 + 3*t + 4. Let i be a(-1). Suppose -2*x + i*d - 16 = 0, 2*d = -3*x - 10 - 9. Which is smaller: x or -5?
x
Suppose 32*d - 34*d = 2. Let p be (-17 - -14) + (2 - d). Is p less than 14/19?
True
Let g(d) = -d**3 + 10*d**2 - 10*d - 3. Let w be g(5). Suppose -66*r + w*r = 252. Which is bigger: r or 39?
r
Let j = -14 - -8. Suppose 4*r - 2*c = -4*c + 24, 24 = r + 5*c. Suppose -r*l = 6*i - 1 + 25, 2*l - 4*i = 2. Which is smaller: l or j?
j
Let v = -6989357/659 + 10606. Let f = 1163/110712 + v. Is 1 less than f?
False
Let d = -739801/8 - -92591. Is d le