5*s - 4 = 59*s. Let q be s/(-6) - ((-1099)/966 + 4). Is -4 smaller than q?
True
Let p = -551 - -849. Let a = 285 - p. Which is smaller: -5 or a?
a
Let m be 132/3*3/(-2). Let r = -24929 - -24865. Is m at most r?
True
Let u be -1 - (-5)/(-5)*-4. Suppose 10*w = 7*w - u*w. Which is smaller: w or 2/217?
w
Let q be 8/(0 - -2) + 9452/10. Let f = q - 940. Which is bigger: 2 or f?
f
Suppose 0 = 9*d - 2012 + 6476. Which is smaller: -497 or d?
-497
Suppose -32*y + 21*y = 331 + 32. Is -66 >= y?
False
Let k be 4/6*(-115749)/(-225). Let a = k - 343. Which is bigger: 0 or a?
0
Suppose 99 = 2*t + 109, -t = -5*i + 16455. Is i less than 2?
False
Let o = 772 - 770. Let i(f) = f**2 - 2*f. Suppose -2*v + k + 6 = 0, -v - 6 = -2*k - 3*k. Let t be i(v). Is o >= t?
False
Let c be 0 - (4/26 - (-2885000)/(-260)). Let h = c - 121951/11. Is 11 at most as big as h?
False
Suppose 12*i - 32 = -64*i - 108. Which is greater: -3/985 or i?
-3/985
Let s = 9047/2 - 4798. Which is bigger: s or -274?
-274
Let x = -6.38393 - -355.36693. Let m = -349 + x. Which is greater: -9 or m?
m
Suppose -8400 = 72*t + 195288. Which is bigger: t or -2830?
t
Let h = -0.96 + -0.68. Let a = h + 1.34. Which is smaller: a or 3/5?
a
Suppose -11*k + 2*k + 1908 = 0. Let b be (12 + k/(-18))/(2/12). Which is smaller: b or -1/7?
-1/7
Let j be (5/2)/((-25)/(-100)). Suppose j*p - 5 = -5. Which is greater: p or 1/281?
1/281
Suppose -4*i - 4*k - 40 = 0, 4*k + 7 + 27 = -3*i. Let j be 76/(-48)*5 + 38/(-456). Is j equal to i?
False
Suppose 2*b - 27116 = -3*c + 6*b, 8 = 2*b. Suppose -16*d - c = 18*d. Which is bigger: d or -267?
d
Suppose -36570 = -l - 34075. Is 2498 <= l?
False
Let i = 101/952 + 5/136. Which is smaller: i or -9/7?
-9/7
Suppose -4*v - 20685 = y - 70452, -v + 2*y + 12444 = 0. Is v at least 12444?
False
Let u = -13965 + 13925. Is u less than -74?
False
Suppose -52*j + 108 - 142 = -69*j. Let v = -347 + 351.94. Let s = v + -5. Is s < j?
True
Suppose -4*k + 395 + 207 = -b, -2*k + 300 = -b. Which is smaller: 1944/13 or k?
1944/13
Let n be (-17)/17 + (-518)/2. Let x = 154 + n. Let r = -83 - x. Which is smaller: r or 24?
r
Let k be (880/11)/5 + -13. Let f = 20 - 27. Which is smaller: f or k?
f
Let k = -3103 - -3102. Which is smaller: -9/32 or k?
k
Let y = 8/7 + -10/7. Suppose -a - 84 = -83. Is a equal to y?
False
Let c = -0.1 + 1.1. Let b = -18619.14 - -18412. Let d = -207 - b. Which is smaller: c or d?
d
Suppose -494 = -2*z + 50. Let o = 312 - z. Is o equal to 1/2?
False
Let h = -0.46 - 10.54. Let q = -18696 + 18691. Which is smaller: q or h?
h
Suppose q - 65 = -4*u - 4*q, 4*u - 57 = 3*q. Let v(n) = -n + 24. Let y be v(u). Let j be (-4 - (-106)/12)*y. Is j smaller than 44?
True
Suppose 337 = 6*r + 319. Suppose -2*j - 8 = 0, 18*j = -r*a + 15*j - 147. Is -41 at least a?
True
Let b = -360 + 6122/17. Suppose -2*j = -31*j - 25*j. Which is greater: j or b?
b
Let p = -8 - -8.3. Let g = 0.69 - p. Let v = 266.344 + -266.144. Is g <= v?
False
Let l = -1168 - -1123. Is -42 at least l?
True
Let a be 2*(-4461)/54*1. Let m = a + 165. Let y = -132 - -132. Is m smaller than y?
True
Let w be (-2 + 5 + -2)*1. Let f = 143 - 177. Which is smaller: f or w?
f
Let b = -1.7218 - -4.8218. Which is smaller: -33 or b?
-33
Let m(b) = 8*b - 40. Let t = -126 - -130. Let o be m(t). Which is greater: 7 or o?
7
Suppose -3*r - 4*j - 7 = -0*r, 3*r = j - 2. Suppose -2*v + 2 - 1 = a, 6*a - 3*v - 51 = 0. Let g = r + a. Which is smaller: g or 10?
g
Let q = 40 - 10. Let b be (-1147)/(-74) + (-209)/14. Which is bigger: q or b?
q
Let v(u) = u**2 - 8*u - 6. Let b be v(8). Suppose 5*h = 4*p + 10 - 36, 4*p = -h - 10. Let a be h/(-423)*b/4. Is a greater than -1?
True
Suppose -5*k + 4*w + 49 = -43, -3*w - 9 = 0. Suppose -61*l = -14*l + 799. Let m = k + l. Which is smaller: m or 1.3?
m
Let v be -176 + -2 + 0 + -2. Let f = v - -955. Let z = 24021/31 - f. Are z and 1 equal?
False
Let y be (4/9)/(-2)*(1985 + -308). Let v = y + 372. Is 15 equal to v?
False
Suppose 46*x - 307 = 35297. Suppose 15*k - x = -1884. Are k and -72 equal?
False
Let z(b) = 9*b + 14. Let h be z(-6). Let k be 2 - 49 - ((-6)/(-3) + -5 - 1). Which is smaller: h or k?
k
Let h = 2651.01 - 2651. Is h less than 0.926?
True
Let i be 8/2 + (-21)/(4935/1060). Is -0.7 > i?
False
Suppose 0 = 5*j + 4*d - 620 + 92, 4*j - 429 = -d. Let m = -661.1 - -661. Is j <= m?
False
Suppose 102 = 3*q + 249. Are q and -0.27 nonequal?
True
Let k = -62 - -60. Let i = -391/2 - -1949/10. Which is greater: k or i?
i
Let c = -88 - -21. Let t = c - -72. Do -9 and t have different values?
True
Let u(k) = 369*k - 42. Let c be u(-7). Which is smaller: c or -2626?
-2626
Suppose 3*g - g - 62 = 0. Let s = -142 + 174. Let w = s - g. Is 9/5 less than or equal to w?
False
Suppose 20*d = -14*d + 10*d - 33576. Which is smaller: -1401 or d?
-1401
Let f = -28795 + 28793. Which is bigger: -204/169 or f?
-204/169
Let t be (-583)/(-33) + (-8)/12. Let o be 12/112*t/(408/16). Let h = 0 + 1. Which is bigger: h or o?
h
Let l be -16*(-85)/(-119)*35/(-2). Which is bigger: 1790/9 or l?
l
Let y = -11 - -9. Let x be 3/(-2)*45/(810/276). Is x >= y?
False
Suppose 0 = r - 4*z + 2 + 1, 0 = -4*z + 4. Suppose -30*g = -34*g + 8. Suppose 66 = -5*t - f, 2 - 31 = g*t + 3*f. Which is greater: r or t?
r
Let f(t) = -35*t + 2*t**2 - 16 + 2*t - 4. Let d be f(17). Do d and -8 have the same value?
False
Let w(f) = 6*f - 25. Let s be w(12). Suppose 9 = -44*o + s*o. Suppose -k - 4*k - 2*m = -6, 0 = m - o. Is k <= 4/35?
True
Suppose 2*b = 5*l - 3*b - 125, -2*b - 4 = 0. Suppose -2*s + o = 7, l = -3*s + 3*o + o. Let n be (3 + (-3 - 2) - s)*6. Which is bigger: n or -8?
n
Let f = -7276 - -7127. Let p be -151 + 5 + (-6)/3. Which is greater: f or p?
p
Let o be (-7)/(30261/(-12975)) + -3. Let p = -194 - -193. Is p less than or equal to o?
True
Let y = 0.588 - -0.002. Let j = -0.29 + y. Which is greater: j or 8?
8
Let i = -1/793 + -1467/94367. Suppose -8*o + 4 = -4*o. Which is smaller: o or i?
i
Let t = 192 + -202.2. Let q = t - -9.86. Is -2/9 at least q?
True
Let s be 7903/39 - ((-12)/108)/((-8)/24). Is 203 bigger than s?
True
Let b be -5 - (5 + 1557/(-164)). Let w = -10/41 + b. Is w smaller than 0?
True
Let n be (-1)/4 - 5/4. Let k = -693 + 701. Suppose -f - y = -2 + k, 5*y + 21 = 4*f. Does f = n?
False
Let g = 22 + -37. Let q = 193 + -30. Let x = 163 - q. Is g at most x?
True
Suppose 8 = -4*l, -l - 4*l = p + 7. Suppose -p*t + t + 2*i = 0, -3*i - 4 = -t. Let o be (3/t)/(2/36). Are -27 and o equal?
True
Let r be 2/(-14) + (-38420)/(-268156). Let f = r + 679735/555466. Let t = 5/87 - f. Which is smaller: t or 1?
t
Let v(d) = d - 7. Let z be v(18). Suppose -3*f = -5 + z. Is -1 >= f?
True
Let h = 11123 - 11049. Which is greater: h or 62?
h
Let f = 1826/6575 - -3/1315. Is f at least 1?
False
Suppose 588 = 16*w - 52. Suppose -11*r - w = 4. Which is bigger: 10 or r?
10
Let t = -7195.2 + 7195. Which is greater: 51.9 or t?
51.9
Let a = 3372 + -3372.01. Is -334 less than or equal to a?
True
Let r be (-1)/(1*(-6)/2). Let m = -5064/6305 + 4/1261. Which is smaller: r or m?
m
Let z(b) = 2*b**3 + 20*b**2 - 41*b - 13. Let x be z(-12). Which is smaller: x or 2?
x
Suppose 0 = 2*a - 3*r + 806, -60*r + 55*r = 2*a + 838. Is -409 greater than a?
False
Let y = -418.3 - -408. Let f = y - -11.3. Is -4/9 at least f?
False
Suppose 0 = 2*a + n + 196, -4*a - 5*n + 89 - 487 = 0. Suppose 153 = -7*z - 44*z. Which is greater: a or z?
z
Let m = -56989/3 - -18996. Let r = 4.04 - 0.04. Let h = r + -4.07. Is m greater than or equal to h?
False
Let c(y) = -91*y**2 - 1732*y - 23. Let o be c(6). Is o greater than -13692?
True
Let r(f) = 4*f - 72. Let o be r(19). Suppose 3*n = -o*u + 7*n, -4*n = u + 20. Let d be 16 - (-4 - u - -5). Is d less than -1?
False
Let u be 9/27*(1 + 2). Let n be ((-3 - 12) + u)*(-18)/4. Let c be 88/14 - 18/n. Which is greater: -1/6 or c?
c
Suppose 66 = 2*i + 68. Let h = i - -3/2. Is 2 at most as big as h?
False
Let p = 0.0276 + -0.002. Let g = -67.0256 + p. Which is bigger: g or -1/2?
-1/2
Let x = 246 - 225. Let i = -30.59 + 29. Let j = 0.59 + i. Is j at least as big as x?
False
Let k be (((-6)/4)/(69/(-460)))/((-8)/860). Which is greater: -1069 or k?
-1069
Let r = -1.24653 - 125.31547. Let g = 126 + r. Which is smaller: g or -0.1?
g
Suppose 0 = -11*c - 1815 + 616. Which is great