). Is 17 less than or equal to o?
False
Let g be (2/(-316))/((-2)/16). Let k(s) = s**2 + 1460*s + 123300. Let v be k(-90). Which is greater: g or v?
g
Let r = -12900 - -12800.1. Which is greater: 3 or r?
3
Let q = -5852 + 4616. Is q >= -1234?
False
Let h = -8901 + 8701. Are -596/3 and h equal?
False
Let q(d) = 2*d**2 + 10*d - 67. Let v be q(4). Is v < -39?
False
Let r = 532 + -4251/8. Let u(q) = -4*q**3 + 79*q**2 + 18*q + 42. Let j be u(20). Which is smaller: r or j?
r
Let g be (6 + 44/(-8))/((-294)/(-588)). Let a(j) = 2*j**2 - j + 4. Let c be a(3). Is c equal to g?
False
Suppose v + 2 = 2*o, -3*v - o + 12 = 2*o. Suppose v*k + 16*k = 0. Suppose 2*d + 2*f + 10 = k, 0*f - 4*f - 20 = -d. Which is smaller: 9/14 or d?
d
Suppose -x = z - 7, -4 = 3*x - z - 1. Which is greater: 11/293 or x?
x
Let n be 8/2 - 27417/6604. Let q = n - -123471/1016. Let y = -121 + q. Is 0 at most y?
True
Let a = 45 - -11. Suppose -7 = -d + 50. Which is greater: a or d?
d
Let u(r) = -r + 65 - 4*r + 4*r - 12*r**2 + 4*r + r**3. Let p be u(10). Are p and -106 non-equal?
True
Let h be 18/(-13)*13800/(-2484). Which is smaller: h or 7?
7
Let m = -117.2 - -117.5. Does 21.4 = m?
False
Let v = 20/2629 + -28959/5258. Which is bigger: v or 33?
33
Let z = 10735/42972 + 2/10743. Which is smaller: z or -1028?
-1028
Let b = -1115/7 + 159. Let g be ((-352)/(-55) - 4) + -2 + 0. Is g >= b?
True
Suppose 1039*m = 1067*m - 1819 - 8009. Which is bigger: m or 1057/3?
1057/3
Let z be 1 - (-6)/(-1 + -2). Let o be 2/22*52 - (-2 + 7). Is z less than o?
True
Suppose -p - 2*l + 16 = 0, -2*p - 12 = -5*l + 10. Is p >= -21?
True
Let l = 5956 - 6391. Do 0.2 and l have different values?
True
Suppose -29*r + 81*r = 34*r - 990. Which is smaller: r or -149?
-149
Suppose -7*h = -3*h + 128. Suppose 9*v - 16 = 5*v. Let b = v + -35. Which is greater: b or h?
b
Let u = 275.3022 - 0.5822. Let m = -2.72 + u. Which is smaller: m or 0.2?
0.2
Let b = 12199 + -11644. Are 546 and b equal?
False
Let h(x) = -x**2 + 19*x - 32. Let r be h(2). Is r less than 124/191?
False
Let k(z) = -z**2 - 9*z + 19. Let l be k(-7). Suppose -l*t = -34*t + 2. Let o be ((-168)/45)/t*(-10)/(-2). Is -9 less than or equal to o?
False
Suppose 12*u = -5*u + 2278. Suppose 4*p = -12, -p = -4*h + 2*h + 271. Are h and u non-equal?
False
Suppose -4*p + 23 = -s, 4*s - 4*p - 69 = 7*s. Suppose 26 = -3*t + 2*t. Which is greater: t or s?
s
Let k = 3504 - 2603. Do k and 903 have different values?
True
Let w(o) = -2*o**3 - 3*o**2 - 3*o + 4. Suppose -6 - 2 = 2*n. Let r be w(n). Let k be (-86)/(-56) + (-24)/r. Is k less than or equal to 1?
False
Let o = -11.453 - -11.4. Let l = -3351 - -3350.953. Let u = o + l. Is u less than -1.6?
False
Let o be ((-10)/3)/((-7)/(-203)). Let s = o - -98. Let j be 2*4/8*1. Which is bigger: s or j?
s
Let w(q) = -22*q - 1913. Let m be w(-87). Which is smaller: -1/940 or m?
-1/940
Let m be (-81)/(-2484)*((-9)/(-2) + -4). Which is greater: m or 0?
m
Let m = 3934 + -3942. Suppose 5*s + 23 + 22 = 0. Is s >= m?
False
Let a = -51 + 57. Suppose a*x = 3 + 15. Do x and 5 have the same value?
False
Suppose 256 = 629*q - 633*q. Which is bigger: q or -63?
-63
Let n = -4778287/17 - -280946. Which is bigger: -130 or n?
n
Suppose 7240 = 70*y - 110*y. Are -1262/7 and y unequal?
True
Suppose -3*p - 569 = -5*v, -6*v + 462 = -2*v + p. Is 109 greater than v?
False
Let m = -407 - -333. Let w = m + 287. Which is greater: w or 212?
w
Let j = 15 - 4. Suppose 4166 = -z + 4184. Which is greater: j or z?
z
Let k = 34753 + -382001/11. Is 27 less than k?
False
Let x = -863 + 1283. Let t be -3*4772/x - 4/(-14). Is t > -34?
True
Suppose -29165*a + 29164*a + 8 = 0. Does -204 = a?
False
Suppose -1 = 3*h + 5*a - 0*a, -2*h - 5*a = -1. Let b(z) = 2*z + 4. Let g be b(h). Which is smaller: g or -15/31?
-15/31
Suppose 0 = -38*j - 2206 + 2. Let x be (-5 + 7)/(3/j)*6. Is -232 at most x?
True
Let i = 19 - 16. Suppose 2*k = 3*t - 12, -k - i*k + 4 = t. Let l be (4/4 - 4)/(-10 - -2). Is k less than l?
True
Let t be 9/27*(-6)/(-31). Let z(c) = 2*c + 16. Let n be z(-8). Is n smaller than t?
True
Let a = -164.9 + 206.9. Let z = 192.4 + -234.36. Let q = z + a. Which is bigger: 6 or q?
6
Let m(w) = -2*w**3 - 79*w**2 - 29*w + 214. Let r be m(-38). Is -3016 less than r?
False
Suppose -12*b = 10*b + 176. Let c be b/(-3)*2/((-24)/(-9)). Which is smaller: c or 2/3?
2/3
Let q = 486 - 484. Let d = -2833 - -53845/19. Which is smaller: q or d?
d
Let d be ((-8)/(-45))/((-2)/20). Let w = -125.664 + 132.664. Do w and d have the same value?
False
Let t = 465.685 + -462. Let a = t - -0.415. Which is smaller: a or 2/9?
2/9
Let r = 203 - 190. Let g be (-122)/r - (-7 - 2). Is g bigger than 2?
False
Let s = -289.71 - -2.71. Let h = s - -295.2. Which is greater: -0.2 or h?
h
Let m = 7 + -6.93. Let g = -0.97 + m. Let i = 858.5 - 859.5. Is g at least as big as i?
True
Let z(q) = -163*q**3 + 9*q**2 - 5*q - 4. Let m(d) = 110*d**3 - 6*d**2 + 3*d + 3. Let b(n) = -7*m(n) - 5*z(n). Let y be b(1). Is 5 < y?
True
Let v be 8/54*-3*141/(-2). Let c = v + -2911/93. Let r = -345/124 + c. Which is greater: r or -4?
r
Suppose 0 = -3*i + 4*v + 698, -176*v + 175*v = i - 242. Is 13 at most as big as i?
True
Let r(x) = -x - 5. Let q(h) = -5*h + 1. Let m be q(1). Let u be r(m). Let s = 35709 + -35713. Which is smaller: s or u?
s
Let o(s) = s**2 - 26*s + 1. Let p be (-4)/10 - 666/(-90). Suppose 0 = f + p - 33. Let j be o(f). Is 1/40 >= j?
False
Let w = 56 + -55. Let h be ((-20)/(-48))/5*198/(-176). Which is smaller: h or w?
h
Let q(c) = c**2 - 23*c + 26. Let g be q(22). Suppose g*o = 9*o + 105. Let k be 30/o*126/33. Which is smaller: k or -4?
k
Let p be ((-10)/4 - -3)/((-3793)/312 + 12). Which is greater: -2/7 or p?
-2/7
Let o be -1*0/(-6)*-1. Suppose 3*f = 5*h + 108, 4*f + h - 62 - 59 = o. Which is smaller: 29 or f?
29
Let d be (-968)/24 + (-5)/3. Suppose 20 = -3*l + 8*l. Let o be (-9)/d*l/3. Which is greater: 4 or o?
4
Let j(i) = 2*i**2 + 28*i + 9. Let o be j(-14). Suppose 0 = 3*d + o - 12. Which is bigger: -1/7 or d?
d
Let a be (-4)/6 + 10/6. Let q = -25680325 + 16717880594/651. Let h = -118/7 - q. Which is smaller: h or a?
h
Let n = -0.03398 - -215.33398. Let z = -212.291 + n. Let h = 0.009 - z. Is h less than -6?
False
Suppose -10679 = -j + 16*z - 19*z, -4*j + 42695 = 5*z. Suppose -41*q + 6878 = -j. Is q at least 427?
True
Let d be 0/(-2) - -4 - 4. Suppose 0 = 27*j - 31*j - 56. Let a = j - -10. Is a > d?
False
Let x = -2839/10 + 14031/40. Let a = 89369/1336 - x. Is 0 not equal to a?
True
Suppose 0 = -z + 5*w + 18, -2*z + 0*w - 4*w - 20 = 0. Let n be z + 5/((-5)/(-2)). Let u be ((-2)/(-9)*(-42)/(-140))/((-242)/(-2904)). Is n greater than u?
False
Let c = -4151 - -37361/9. Is c less than 2/1095?
False
Suppose 114 = 2*b + 2*x, -3*b + 4*x + 72 + 64 = 0. Let g = 316 - 313. Suppose -g*k - 11 = b. Are -20 and k nonequal?
True
Let i(u) = u**3 + 5*u**2 - 6*u - 6. Let t be i(-6). Let m be (-314)/1*(-1)/t. Which is bigger: -52 or m?
-52
Let f = 1323 + -1319. Which is bigger: 0.01 or f?
f
Let d = 15462 + -15297. Which is greater: 146 or d?
d
Let h = 86327 + -641582267/7432. Is -1 at least h?
False
Let o be (-9)/4*664/34113. Is o >= 0.9?
False
Let s be -20*(-4 + 0)*45/(-10). Let z be 18/22 - (s/44 + 8). Which is smaller: z or -1/4?
-1/4
Let n(a) = -a**2 + 9*a - 8. Let j(z) = -z**3 + z**2 + 9*z. Let h be j(3). Let f = h - 1. Let v be n(f). Is 2/27 less than v?
False
Suppose -19*t = -21*t + 86. Let h = 45 - t. Let u be ((-1)/3)/(3/(-6)). Which is smaller: h or u?
u
Suppose 0 = -2*g + 2*a - 3770, -3*g + 45*a - 5675 = 47*a. Which is smaller: g or -1888?
g
Let o = -77/2 + 227/6. Which is greater: o or 207?
207
Let t = -497 - -1159. Let y = 661 - t. Which is smaller: y or 121?
y
Let n be 33/(-99)*12/52*(426 + 0). Which is smaller: n or -33?
-33
Suppose 5*t + 24 = -4*v + 85, -t + 1 = 0. Let f = 15 - v. Suppose -m - f + 2 = 0, 5*m = 5*p. Which is bigger: -2/13 or p?
p
Let f(r) = -r + 40. Let o(x) = 4*x - 119. Let w(m) = -8*f(m) - 3*o(m). Let d be w(8). Let s be ((-6)/d)/(0 + (-12)/(-30)). Does -0.14 = s?
False
Let b be (-12)/(-78) - ((-507295)/715 - (-45)/165). Is b <= 708?
False
Let v = 41249 - 41248. Suppose -178 - 410 = -4*n. Is n greater than or equal to v?
True
Let d(f) = -2*f**2 - 54*f + 575. Let o be d(8). Which is smaller: -4