0 - 20). Suppose 7*o + 4 = d*o. Let l be (-9)/18 + 75/142. Is o != l?
True
Let m = -47581 - -27576. Is -20004 > m?
True
Suppose 60*u = 22*u + 38. Which is smaller: 10/7 or u?
u
Let v = -454645181/4032970 + 92279/830. Let l = v + 66/43. Let g = -319/1130 + l. Is 0 >= g?
True
Let y = -1314 - -1336. Let u = -0.07 - -22.17. Let x = u - y. Is 14 equal to x?
False
Suppose -20*t - 4*b + 1780 = -16*t, -2*b = -5*t + 2260. Which is smaller: t or 447?
447
Let r = 56 - -252. Let v = -130 + r. Is 178 >= v?
True
Let r be 66/528*(-1 + (-9)/(-1)). Which is bigger: r or 5/1352?
r
Let l = -88172 - -169113901/1918. Which is greater: 0 or l?
l
Let r = 16211/5 + -3242. Let l(j) be the first derivative of j**4/4 + 7*j**3/3 - 9*j**2/2 - 7*j + 1. Let p be l(-8). Is r equal to p?
False
Let w(n) = -n - 18. Let v be w(-9). Let u be (4/(-2))/((-21)/(-42)). Let o be 4*(u - (-2 + 4/16)). Is o equal to v?
True
Let h = 0.16319 - 0.76019. Is h bigger than -8?
True
Let p be ((-14)/(-98))/(965/(-20)). Is p at most -1?
False
Let c(x) = x**3 + 2*x**2 - 1. Let p(k) = k**3 + 2*k**2 + 2*k + 1. Let d be p(-2). Let z be d/12 - 3/4. Let v be c(z). Which is smaller: 11/13 or v?
v
Suppose 8*i - 4*i - 24 = 0. Suppose 2*p - 5 + 0 = -x, -4*x = p - i. Suppose p*o - 7*o = 30. Which is greater: o or -4?
-4
Let h = -3394 + 3391.4. Which is greater: -1 or h?
-1
Let v(h) = h + 8. Let r be v(-4). Suppose -2*b - 466 = -r*a, 10*b = 3*a + 6*b - 342. Which is bigger: a or 117?
a
Let w = -100 + 100.61. Let o = 0.62 - w. Let q = 1.2 + -1. Do o and q have the same value?
False
Let o = -0.01551 - -512.01551. Which is bigger: 3 or o?
o
Let c be (-16)/20 - (-6539)/8205. Which is bigger: -1 or c?
c
Let s be ((-45)/(-80)*3/(-9))/(162/360). Suppose -13 = 2*k + 7*m - 4*m, -2*k - 2*m = 8. Let q = k - 1. Is q not equal to s?
True
Let y = -0.409 + 202.409. Let b = 0.6437 - 0.6437. Which is bigger: b or y?
y
Suppose -18 - 7 = 5*f, 2*d - f - 1 = 0. Let a be d/(-2)*1 - (-67)/(-134). Are 169 and a nonequal?
True
Let j be (48/(-88))/3 - 31/11. Let i be 2/((-6)/j) - 2. Which is bigger: i or -42/17?
i
Let c be (-54)/(-30)*(2 - 2/(-6)). Let i = 11.8 + -11.9. Do c and i have different values?
True
Let z be 36/396 - (-13132)/22. Which is smaller: 2/3 or z?
2/3
Let q = -18/89 - -8367/445. Let y be (-76)/(-6)*(-27)/(-18). Is q less than or equal to y?
True
Suppose 28*v - 30*v = -6. Suppose -g = g + v*g. Which is bigger: g or 1/450?
1/450
Let f = -672.69 + -1.31. Let d = f + 668.26. Let w = 0.26 - d. Is w less than -3?
False
Let q(u) = 314*u - 6909. Let s be q(22). Do 28/221 and s have different values?
True
Suppose -62*k + 59*k = -18. Suppose -i = -3, -5*h + 1 = -3*i - 5. Suppose -3 = h*m - 15. Which is greater: k or m?
k
Let c(q) = -12*q**2 + 4*q - 6. Let h be c(6). Suppose 0 = 143*k - 3808 - 7586 + 70596. Is h >= k?
True
Suppose 3*f + 20 = 5*m, -5*m - 6*f + 5*f = 0. Which is bigger: -5/848 or m?
m
Let j be ((-12)/12)/((2 + -3)/(-1)). Let a be (-4)/(-18) - (j - 1496/9). Let u = 167 - a. Is 5 greater than or equal to u?
True
Let q = -7 + 2. Let s be 5126/(-8) - 11/(22/(-8)). Let h = -643 - s. Is h bigger than q?
False
Suppose 23*o = -4*k + 21*o + 1332, -5*o + 20 = 0. Let p = 352 - k. Is 108/5 less than p?
False
Let a(l) = 6*l**2 + l - 6. Let y be a(2). Let n be 4/(-2) + 34 + y/(-4). Let f be (-58)/n + 4 + -2. Which is greater: 0 or f?
0
Suppose -3*o = -3*t - 927, 0 = t + 2*o - 43 + 337. Let k = t - -184. Let n = 4202/35 + k. Do n and 0.1 have the same value?
False
Let f = 0.158674 - 66.145674. Let c = f + -0.013. Let l = c + 65.8. Is l greater than or equal to -2/23?
False
Let n = 3690 + -3690. Are n and -1/171 nonequal?
True
Let a(c) = -150*c + 1090. Let f be a(0). Which is bigger: f or 1089?
f
Let f be (4/(-2))/(14/15). Let o(v) = v**3 + 2*v**2 - 3*v - 410. Let d be o(0). Let k = d - -407. Which is smaller: k or f?
k
Let t = -218 - -90. Let b = t + 138. Suppose 4*g - 24 = -15*u + b*u, 0 = -4*u + 16. Do 28/13 and g have the same value?
False
Let q = -1.8 - -2. Let r = -292.8 + 295. Let a = r - q. Which is greater: a or 0.12?
a
Let w = -515645451/637 - -5666498/7. Let m = w - 120/13. Suppose q - 10 = 4*r + 10, -5*q - r - 5 = 0. Which is bigger: m or q?
q
Let f = 53381 - 107150. Let p = -106731467/1985 - f. Which is smaller: 0 or p?
p
Let r = 19563 + -19654.01. Let l = -4.71 - r. Let p = l - 86. Are p and 0.17 non-equal?
True
Let t = -6.476 + 6.5. Let i = 0.024 - t. Which is smaller: i or 26?
i
Let x = 22.2 - 20.7. Let q = 1.52 - x. Let s(d) = d**2 + 6*d - 6. Let g be s(-6). Is g at least q?
False
Let f = -0.333 + 154.333. Let n = -154.071 + f. Which is smaller: 2 or n?
n
Let m be 8/3 + (-6)/(-18). Suppose 18 = -0*z + 4*z + 2*t, 0 = m*z - 2*t - 3. Let y = 3965.1 + -3964. Which is bigger: z or y?
z
Let a(z) = 51*z - 75. Let l be a(2). Is 42 smaller than l?
False
Let k = 616 + -616. Let d = 114/11 + -2291/220. Which is bigger: d or k?
k
Suppose 4*i + 9 = -3, 3*p = -i - 3. Suppose p = 4*z + 27*z + 7130. Is -231 at most as big as z?
True
Let u = 762.2 + -786. Which is greater: 0.09 or u?
0.09
Let c = 3445 - 3444.99. Let q = 36/7 + -223/42. Is q equal to c?
False
Let n = 133 + -101. Let u = 33 - n. Is -0.35 at least as big as u?
False
Let i = 156 - 152.37. Let j = -40.63 + i. Let f = 2.6 + -0.6. Which is smaller: j or f?
j
Let u = -2/24359 + -3970473/535898. Which is greater: -6 or u?
-6
Let q = 12671/36 - 352. Let l(m) be the first derivative of 11*m**3/3 + 9*m**2/2 - 2*m + 378. Let w be l(-1). Is w greater than q?
True
Suppose 0 = -2*o - 5*n + 818, 818 = 2*o - 107*n + 110*n. Are o and 413 nonequal?
True
Let n(c) = -17*c - 747. Let x be n(-44). Is -3/377 >= x?
False
Suppose -w + 4*j + 9 = 35, -6*j + 42 = -3*w. Is w less than -80/47?
True
Let u = -43 + 36. Let f = -3 - u. Suppose -b = f*b. Is -4 >= b?
False
Let f be -1 + 2 + 10 - 28/(-4). Which is smaller: f or -151?
-151
Let d = 605260 - 605270. Let n be (1/1)/((-2)/(-6)). Suppose -b - 56 = n*b. Is d <= b?
False
Let l be (-2)/(-8) - (-7)/4. Let z be (l/6)/(14/(-28)). Let w be ((-301)/(-7) - 6)*-1. Which is bigger: z or w?
z
Let g(s) = 194*s + 1165. Let z be g(-6). Which is smaller: 92/189 or z?
92/189
Suppose -3*l - 171 = -5*z, -391*l + 393*l - 4*z + 110 = 0. Is l greater than or equal to -94?
True
Let q = 65 - 8. Let c = q + -46.3. Let a = -10.78 + c. Is a less than -3?
False
Let n = 721/66 + -80/33. Let d = 12 + -6. Let u = d + 3. Is n at most as big as u?
True
Let y be (-47)/2068*-16*(-138)/(-22). Which is smaller: 1 or y?
1
Let z = -111.185 - -5.845. Let w = z - -106. Let i = w + -10.66. Is 2/5 smaller than i?
False
Let b(n) = -n**2 + 14*n - 31. Let m be b(14). Let y(s) = -s**3 - 5*s**2 + s - 9. Let t be y(-3). Which is smaller: m or t?
m
Suppose -3*w = -5*w - 52. Let u = 542 + -545. Are u and w unequal?
True
Suppose 3 + 6 = -r. Let z(a) = 11*a**2 + 1385*a + 1230. Let b be z(-125). Is b at most r?
True
Let k = -9 - -19. Let l(r) be the third derivative of -r**6/120 - r**5/60 + 13*r**4/24 + 7*r**3/3 + 50*r**2. Let d be l(-4). Does k = d?
True
Let b = -1102 - -1187. Let s = 36 + -31. Suppose 3*j = 4*d - 0*d - 350, 3*d = s*j + 268. Which is smaller: d or b?
b
Let h = -699 + 713. Suppose 4*o + f + 707 = 0, -4*o - h = -5*f + 675. Is -178 bigger than o?
False
Suppose -5*g - 4*x + 15 = 0, -3*g + 2*x + 28 = -3. Let h(y) = y**3 - 9*y**2 + 5*y + 62. Let c be h(g). Is -1/127 <= c?
False
Let j = 3919 - 3216. Which is smaller: j or 698?
698
Suppose -10*g - k - 21 = -5*g, 2*k - 23 = 3*g. Let i be (-3)/40*-58 + g/1. Is -2 equal to i?
False
Let a(s) = 520*s - 21820. Let l be a(42). Let d = -5 - -23. Which is greater: d or l?
l
Let h(s) = -267*s + 131*s + 7 + 9*s**2 + 159*s. Let a be h(-3). Let k(t) = -t**3 - 8*t**2 - 10*t - 6. Let c be k(-7). Is a smaller than c?
False
Let g = -17837 + 17817. Which is smaller: g or 203/5?
g
Suppose -11 = -y - 4. Suppose -18*f + 235 = -13*f. Suppose f = 5*w + 3*g, -3*w = -2*g - 2 - 30. Which is smaller: y or w?
y
Let u = -58571/8561 - 19/1223. Which is smaller: -2/13 or u?
u
Suppose 4*f + 1076 = a + 1128, 65 = 5*f. Let g be (4/(-6))/((-20)/33). Which is smaller: g or a?
a
Let s = 20781/56 + -2591/7. Which is greater: 2 or s?
2
Let a = -26 - -37. Let w = -10.9 + a. Let m = 25196/51 - 494. Which is bigger: m or w?
w
Let h = 193 - -15. Let v = h + -207.9. Wh