o = -2/241 - -2179/1205. Let r = -0.2 - 1.8. Which is smaller: r or o?
r
Let g = 124 - 129.01. Let f = 32 + -31.99. Let p = g + f. Is p less than or equal to -1/2?
True
Let x(h) = -2*h**2 - 37*h + 46. Let t be x(-28). Which is bigger: t or -487?
t
Let s be 2/31 + (-19942)/296608. Which is smaller: s or 0?
s
Suppose -70 = 3*w - 268. Let j = -55 + w. Is j less than 14?
True
Let v = 108 - 108. Which is smaller: -3/68 or v?
-3/68
Suppose 0*g + 15 = -g. Let p = g - -31. Is 16 greater than or equal to p?
True
Let o = -598 - -586. Is o at most as big as -12?
True
Let y be -3 + -275 + (-4 - 1)/(-5). Is y > -277?
False
Suppose 0*b = -5*b. Suppose 3 = -3*t + 3*a, t + 3*t + 2*a + 4 = b. Let k = -4/73 + 121/876. Are t and k equal?
False
Let x = 106 - 532/5. Let o = -2.33 + 0.54. Let q = o - -0.79. Is x at least q?
True
Let t = -2.15 + 0.15. Let n = t + 3. Let g = n + -0.8. Are 3 and g nonequal?
True
Let s = 95 + -94.2. Suppose -15 = -2*b + 5*b. Let a = b - -4. Is a smaller than s?
True
Let p = 31 - 25. Let r be ((-120)/(-36))/((-4)/p). Which is bigger: -7 or r?
r
Let n be ((-148)/6)/((-678)/(-54) + -13). Are n and 56 non-equal?
True
Let f(p) = p**3 - 3*p**2 + p + 1. Let j = -5 + 8. Let h be f(j). Let n be (4/(-72))/((-1)/4). Is h at least n?
True
Let r = -5 + -3. Let w be (4/r)/(-1)*-2. Which is greater: w or -1/11?
-1/11
Let s(y) = -y - 9. Let r be s(5). Let l be 143/91 + (-6)/r. Is l < -1?
False
Let h(l) = l - 9. Let r be h(6). Let o = 5 + -1. Let s = o + -8. Which is smaller: s or r?
s
Let l = 11 - 52. Let j be 1 + (-3)/(-6) - 255/6. Is l not equal to j?
False
Let s(j) = -j + 9 + 21 - 43. Let u be s(-11). Which is bigger: -25/9 or u?
u
Let q(a) = -2*a - 1. Let w = -14 - -5. Let o be q(w). Is 18 > o?
True
Let j = -650 - -653. Is j at most -255?
False
Let x = 272 + -166. Which is bigger: 107 or x?
107
Let r be ((-754)/(-195))/(2 + (-14)/10). Let u = r - 20/3. Is u less than 1?
True
Suppose 2*m = -8*m + 80. Is m at least 3?
True
Let z = -0.076 - 0.924. Which is smaller: -42 or z?
-42
Let h = -578.08 + 578. Let t = 1.82 - -0.18. Is t equal to h?
False
Let o be (-9)/(-24) + (-419)/8. Let a be (o/39)/((-2)/3). Suppose -7 = -m + 5*n - n, 0 = -a*n. Is 6 smaller than m?
True
Let z(v) = -3*v + 3. Let d(s) = 7*s - 6. Let n(w) = w + 3. Let y be n(6). Let b(g) = y*z(g) + 4*d(g). Let q be b(-7). Which is bigger: -3 or q?
-3
Suppose 5*y - 47 = y + 3*a, -27 = -4*y - a. Let f = -5 + y. Let t = 261 - 263. Which is smaller: t or f?
t
Let z = 130 - 10. Suppose 4*f = 7*f + z. Let y be 3/f*(-8)/(-18). Which is smaller: y or 1?
y
Suppose 0 = 4*z + 18*z + 1232. Is z <= -55?
True
Let d(l) = l**3 + 6*l**2 + l + 11. Let m be d(-6). Suppose -2*u - 14 = m*u. Let y = 1 - 2. Which is bigger: u or y?
y
Suppose -g - 3*w = 12, 0 = -3*g + 5*g - w - 4. Suppose 4*d - 23 = 3*n, g*d + 4*d = 2*n + 22. Suppose 4*p + 6 = -3*k, 0 = -d*k - 6 - 4. Are 0 and p nonequal?
False
Let j be 20/296*84/35. Does 4/9 = j?
False
Let i(y) = 309*y**3 - 310*y**3 - 3*y - 12*y**2 + 4*y. Let n be i(-12). Is -12 at least n?
True
Let o be (-1 + 0)*85/(-121295). Which is smaller: 1 or o?
o
Suppose 5*n = 2*d - 240, -n - 2*d + 7 = 43. Let l = n + 44. Is -3/2 greater than l?
True
Suppose 0 = -21*s - 398 + 377. Which is bigger: s or 32/83?
32/83
Suppose -l + 5 = -0*l. Suppose 2*b = l*x + 200, -3*b - 225 = -0*x + 5*x. Are -41 and x non-equal?
True
Suppose -3*n = -2*u - 75, -u - 3*n - 24 = -0*n. Let g be 7/(-4) + 1 + u/(-132). Which is smaller: g or -2/11?
g
Let z be (-1)/((-308)/(-63) - 5). Is 16 <= z?
False
Let v be 1*(-3)/1338*6. Let q = 175/3568 - v. Let d(g) = -2*g**3 - g**2 - 9*g - 1. Let p be d(0). Which is greater: p or q?
q
Let c(j) = 4*j + 95. Let n be c(-18). Is n less than 23?
False
Let i be 4/(-24)*(4 - 5 - 1). Which is bigger: 61 or i?
61
Suppose -52*m + 19 = 227. Suppose 5*v - t - 2*t = -6, 0 = 4*v - 4*t. Is m != v?
True
Suppose -89*o - 163 = -90*o. Let s = -132 + o. Is 31 greater than s?
False
Suppose -40 = 5*z - 0*z. Let m = z + 8. Suppose -6 = 2*j + 3*f, 0 = 2*f - m + 8. Which is bigger: 1 or j?
j
Let d(i) = -44*i - 395. Let f be d(-9). Which is greater: f or 36/79?
f
Let l(b) = -b**3 + 47*b**2 - 45*b + 67. Let t be l(46). Is t != 112?
True
Suppose 28*w = 40*w - 504. Which is smaller: w or 540/13?
540/13
Let v(l) = l**2 + 7*l - 19. Let x be v(-9). Suppose -3*f - m + 152 = -107, m - 344 = -4*f. Let q = -767/9 + f. Which is greater: q or x?
q
Let v = -119 - -597/5. Let n = 2 - 1. Suppose n = 2*m - 7. Is m >= v?
True
Let t be 6/10 - (-4052)/(-700). Let f = 2/175 - t. Is f >= 5?
True
Let w = 13.25 - -3.56. Let a = w + 0.19. Let m = 16.95 - a. Are 0 and m unequal?
True
Let s be (-87)/(-108) - ((-15)/(-20))/3. Suppose 2 = -0*h + 2*h. Is h less than or equal to s?
False
Let r = 9 + -25/3. Let o(w) be the third derivative of w**5/60 + w**4/4 + w**3/2 - 2*w**2. Let s be o(-5). Which is smaller: s or r?
s
Let k = 7 + -5. Let m = -21 - k. Let p = m - -24. Does p = 1/4?
False
Let u be 10/5 + (-99)/(-399)*-8. Let t = u - -99/2261. Is t >= -1?
True
Suppose -20 = 4*k - 9*k. Suppose 0 = 3*s + k*y - 12, 4*y + 1 = -s + 5. Let h = 714 + -711. Which is smaller: s or h?
h
Let q be 4 - 294/(-18) - (0 - 3). Which is smaller: q or 23?
23
Let r = -1.3 + -11.7. Let d be (-130)/312*8/(-5). Which is greater: r or d?
d
Suppose -1195 + 796 = 7*n. Is n less than -56?
True
Let n = 50 - 21. Let z = n - 29. Suppose 3*f + 4 - 19 = z. Is f greater than or equal to 3?
True
Let c(u) = -u - 10. Let v(d) = d + 11. Let r(t) = -5*c(t) - 4*v(t). Let q be r(-7). Let s = 1 + q. Is s less than or equal to 1/9?
True
Let t = 305 + -305. Which is greater: 1/25 or t?
1/25
Let n be -1 + -319 - (-24 - -32). Is -330 bigger than n?
False
Suppose 0 = -13*j + 7*j + 1170. Is j <= 195?
True
Let t = 9 + -16. Let r be (-10)/5 - -1*28. Suppose -2 = -3*p - r. Which is smaller: t or p?
p
Let j be 4/2 + 0 - 1*-666. Which is smaller: j or 667?
667
Let g = 4.4 - 2.4. Suppose -3*k = 3*c, 3*c + 16 = 4. Which is smaller: g or k?
g
Suppose 5*f + 2*b - 44 = 7*f, -2*f = -5*b + 56. Is -243/13 greater than or equal to f?
False
Suppose 4*s = 5*s - 2. Let v = -3 + s. Let q be 12/10 + 1 - 2. Do v and q have different values?
True
Let i(c) = -62*c - 253. Let p be i(-4). Suppose -55 = 5*f - 5*w, -3*f - 1 = 2*w + 7. Which is smaller: p or f?
f
Let w(d) = -52*d + 267. Let c be w(9). Is -203 >= c?
False
Let a = -0.019 + -39.981. Let r = a - -39.7. Let d = -239/308 + 2/77. Are r and d equal?
False
Let n = 254 + -252. Is -0.048 less than n?
True
Suppose 2*l + 8 = 2*z + 3*z, -32 = -2*l - 5*z. Let k be 1/l + (-562)/(-12) + -1. Which is smaller: k or 48?
k
Let c be (5*(-2)/(-10))/((-24)/15). Is c smaller than 0?
True
Let o = 11 + -12. Which is bigger: 2.01 or o?
2.01
Suppose -15 = t - 0*t. Let l = -50 + 52. Let v = -11 - l. Which is greater: v or t?
v
Let s = 47 - 315. Is -267 bigger than s?
True
Let v = -120 + 121. Which is smaller: 6/191 or v?
6/191
Let q be (46/(-24))/(21/(-56)). Is 5 less than or equal to q?
True
Let u be (0/(-2) - 1)/(-1). Let c(p) = 21*p**3 - p**2. Let j be c(u). Suppose -3*n + 11 - 36 = -5*t, -2*n = -4*t + j. Is -1/2 smaller than n?
True
Let o(y) = 4*y**2 + 3*y - 1. Let w be o(2). Suppose 0 = b + 2*b + 3*l - w, -l + 22 = 4*b. Suppose -5*n = 35 - b. Is n at most -5?
True
Let d = -444 + 445. Let m = -81/46 - -10195/5842. Which is greater: m or d?
d
Let z be (-78946)/910 - (-6)/39. Is z at most as big as -86?
True
Let v be ((-2)/8)/(3/8). Let m = 4.91 + -3.865. Let s = m + -0.045. Is s at most as big as v?
False
Let i(v) = v**2 - v. Let y be i(4). Let w be (-17)/3 - 1 - 4/y. Which is greater: w or -1/6?
-1/6
Let y be -10 + -7*(-101)/7. Is 87 bigger than y?
False
Suppose -4*q = s - 4065, -5*q = 6*s - 7*s - 5088. Is 1017 greater than or equal to q?
True
Let z = -12131/13008 + -4/813. Which is bigger: 0 or z?
0
Let m = -1226 + 1465. Which is smaller: m or 235?
235
Suppose -13*n + 7 = -162. Which is bigger: 14 or n?
14
Let i = -192 + 405. Let l = 113 - i. Is -99 at most l?
False
Let l = -8 + -8. Let t = l - -19. Is t smaller than 1?
False
Suppose -x - 3*l = 13, 0 = -3*x - 8*l + 9*l - 49. Which is smaller: -121/7 or x?
-121/7
Let p = 0 - 6. Let x = p + 6. Let r be 4/2*1/1. Is r != x?
True
Let b(l) = 6*l - 8 + 12 - 5. Let j be b(4). Let d = -27 + j. Which is smaller: d o