3 = 0. Let r be 1*(g - -1)*17/(-34). Which is smaller: r or -3/13?
-3/13
Suppose -4*k + 7*q - 9*q + 426 = 0, -3*k + 2*q = -309. Is 104 less than or equal to k?
True
Suppose -15*z = 30*z - 25425. Suppose -3*n - z + 130 = 0. Is -143 greater than n?
True
Let v = -223 - -222. Let t be (-4)/2 - 564/(-292). Which is smaller: t or v?
v
Suppose -2*g = -4*r + 48 + 128, 5*g = 4*r - 170. Suppose d = 4*l + 1151, d + 0*d = l + 287. Let z = l - -335. Is r less than z?
True
Suppose 4*c - 8858 = -2*d, 0 = -2*d + 5*c - 7*c + 8870. Which is smaller: d or 4442?
d
Suppose 2*r - 49 = 2*w + 19, -2*w - 64 = 2*r. Let s be 2/w*-3 - (-98)/66. Is 1 >= s?
False
Let l = 2529/17 + -149. Let h = l + 11/119. Let v(r) = r**3 - 1. Let d be v(1). Is h bigger than d?
False
Let y = -93 + 278. Let g = y + -182. Let s = 4 + -14/3. Is s >= g?
False
Let b be 153582/(-6855) - (-4)/(-20). Let z = b - -113/5. Let k = z + -1790/8683. Which is bigger: k or -1?
k
Let d = 586/15 - 13778/345. Which is smaller: d or 0?
d
Let n = -424678 + 424683. Let a(q) = 2*q - 10. Let j be a(7). Let h be (-2)/(-4)*j*1. Which is smaller: n or h?
h
Suppose 0 = 67*l - 41*l + 468. Is -24 <= l?
True
Suppose 73 = 32*g - 55. Suppose 0 = -7*n + 12*n - 2*v - 33, -g*n + 12 = 2*v. Is n > 17/4?
True
Let j = 190.204 + 0.796. Let v = 107 - j. Which is greater: v or -1/3?
-1/3
Let t = 463 - 459. Let s be (-74)/(-6) + 0 + t/(-12). Which is bigger: s or -6/13?
s
Let g be (-49 + -4 + -2)*166/(-5). Is g bigger than 1826?
False
Let s(c) = -3*c**2 + 12*c + 23. Let q be s(10). Let w = q - -168. Which is smaller: w or 12?
w
Let s(c) = -2*c**2 - 10*c + 16. Let o be s(-6). Suppose -2*m = -o*m + 5*w + 47, 2*m + 4*w = 92. Do m and 35 have the same value?
False
Let h be 2404982/961932 + (-45)/18. Is h < 1?
True
Let x be ((-916)/6)/(515/618). Is x bigger than -183?
False
Let c = 16.82 - 17. Let w be (-42)/12*(-16)/14. Suppose -4*z - 3 - 1 = 4*x, -4*z - w = x. Is c greater than or equal to x?
False
Let o = 526.8 + -374.8. Let x = 147.957 - -0.043. Let a = o - x. Is -13 != a?
True
Let j = -9716 - -10327.1. Is 0 bigger than j?
False
Let f = -25877 + 25876.9. Is -8947 < f?
True
Let z be ((-485)/(-970))/(1/(-2)). Which is smaller: -36/1873 or z?
z
Let f be (3 + 3)*7/(-3). Let d be 24/f*(-4)/3. Let t(v) = 47*v + 1177. Let m be t(-25). Are d and m nonequal?
True
Let f(w) = -w**2 - 16*w - 4. Let z be f(-15). Let s = 1 + z. Let o = 101 - 91. Is o at least s?
False
Let i be -9 + (369/117 - (-2)/(-13)). Let z be (8/(-6))/(i/(-9)). Let d be (-3 + 3)/(z/(-1)*1). Which is bigger: d or -6/55?
d
Suppose p + 22 = 4*l, -5*p + 5 = 2*l + l. Suppose l*k - 46 = 179. Let n = k - 226/5. Which is greater: -0.4 or n?
n
Suppose 1787*k + 7898 = 1798*k. Which is greater: 721 or k?
721
Let g be 125 - 138 - (4015/(-300) - (-1)/(-5)). Suppose -2*s = 2*b, 0 = -2*b - s + 4*s. Is b <= g?
True
Suppose 3*i = -3*x - 30, -5*i - 3*x - 46 = -0*i. Let y = -24 - i. Let l = -70.3 - -69.3. Is l < y?
False
Let b = 69379767/11321660 - 2874/469. Is -1 less than or equal to b?
True
Suppose -36*v = -31*v - 2*r - 318, 0 = 4*v - 2*r - 256. Suppose 2974 = -57*c + v*c - a, 5*a - 5 = 0. Is 596 at most as big as c?
False
Let x be 60/(-203) - (-2)/7. Suppose 4*p + 3*r = -30, 3*p + 2*p - 8*r = 80. Which is greater: p or x?
p
Let v = 508 - 485. Let s be 50/(-125) + v/(-5). Let m = -386/57 + 21/19. Is s at most as big as m?
False
Suppose 2880 + 503 = 5*y - 4*i, -2*y + 1354 = -2*i. Let g = -6083/9 + y. Does -2 = g?
False
Let w = 4212 + -4213. Are -106/65 and w unequal?
True
Let f = -307209932481/271 - -1133612845. Let w = 3142 + f. Is w equal to 0?
False
Suppose 3*w - 13 + 7 = 2*m, 0 = -4*m + 2*w - 4. Which is bigger: m or -26/623?
m
Let j(i) = -38*i - i**2 + 34 + 23*i - 81. Let u be j(-9). Are 54/7 and u equal?
False
Suppose 58*s + 17 = 54*s - 3*y, 2*s + 7*y = -25. Is s smaller than -198.3?
False
Let n = 0.4341 - -0.1189. Let t = n - 1.573. Is t at most as big as -1?
True
Let c = -96.488 + -2.512. Is -0.24 != c?
True
Let m be (13 - 17) + 1232/(-258) + 28/21. Is m at least -8?
True
Suppose -32*m + 27*m = 2640. Let a = m + 760. Let c be (-2)/4 + a/528. Which is greater: c or 0?
0
Suppose 0 = 3*b + 9, -3*p + 111 = -4*b + 2*b. Suppose 39 = -3*r + 3*a, 3*r + 3*a = 2*a - p. Let o be -3 + 5 + -18 - ((-20 - -33) + -18). Is r at least o?
False
Let f = 31.84 + -33.34. Is f equal to -88?
False
Let q = -0.08 - 0.12. Let p = 3.144 - 52.144. Which is greater: q or p?
q
Suppose 0 = -2*b - 2*x - 24, -3*b - 2*x = 17 + 17. Let j be (9 + 91/b)/((-10)/(-25)). Let g(a) = a**3 - 5*a**2 - a - 5. Let w be g(6). Which is smaller: w or j?
j
Let b = 64646 - 19717003/305. Which is greater: -1 or b?
b
Let f be (-194)/(-170) - (-16)/1360*5. Are f and -1.75 non-equal?
True
Let x(h) = -h**3 - 2*h**2 - 14*h + 40. Let z be x(3). Which is greater: z or -114?
z
Let u = 390068 - 7075443454/18139. Which is greater: 0 or u?
0
Let m = 4950 + -5030. Which is smaller: m or -69?
m
Let v = -93469/10050 + 2/5025. Let k = 9 + v. Let t(n) = -n**3 + 5*n**2 + n - 6. Let c be t(5). Which is greater: c or k?
k
Suppose 688 + 2269 = -5*r - t, 0 = 2*r + 2*t + 1178. Let i = 356 + r. Is -234 less than or equal to i?
False
Suppose -l = 835*z - 831*z - 12, -6 = 2*l - 2*z. Are l and -29/273 equal?
False
Let w(k) = k**2 - 14*k - 49. Let p be w(17). Let s be ((-15)/(30/(-4)))/p. Let r = 0.2 + -0.1. Is r smaller than s?
True
Let z be 6/33*-1 + 40/(-22). Let i be (-2 - 10/(-4))*(z - 80). Which is bigger: -39 or i?
-39
Let w(q) = -8 - 16*q**2 - 3*q + 22*q**2 - 4*q - 7*q**2. Let p be w(-6). Is 21 >= p?
True
Suppose 8*r + 4815 = 5*r. Let z = r + 130007/81. Let d be 10/15*(-21)/(-14). Which is greater: d or z?
d
Suppose 5*x + 434 = -2*x. Let i(m) be the first derivative of -21*m**3 + m**2/2 + 2*m - 16. Let a be i(-1). Is x > a?
False
Let h be (-6)/(-27) + 7594/(-1530) + -5 + 10. Which is smaller: 0 or h?
0
Suppose 4*g - 12*q + 1628 = -15*q, 0 = -g + 5*q - 430. Let k = -402 - g. Suppose 5*r = 2 + 18. Which is smaller: r or k?
r
Let r = -8909554687/10936913 - 1/575627. Let u = -815 - r. Which is greater: 0 or u?
0
Let i be (-27444)/26*((-1113)/63 + 18). Which is smaller: i or -351?
i
Let m = -12/113 + 1251/8588. Let l = -15 - -14. Is m smaller than l?
False
Let c(f) = f**2 - 14*f - 28. Let n be c(16). Suppose 5*q + n*a = 3*a + 59, -5*a + 64 = 4*q. Suppose 11 = 2*u + q. Are 0.1 and u unequal?
True
Suppose a + 10681 = -407. Let h be a/(-11109) + (0 - 1). Which is smaller: h or -1?
-1
Let y(w) = -w**2 - 4*w + 4. Suppose 3*l - 2*h = -60, 31 = -l + 2*h - 5*h. Let u = 18 + l. Let p be y(u). Is p at least as big as 19/4?
False
Let i = 0 + 4. Suppose -i*x - 2*l + 8 + 6 = 0, l + 3 = 0. Let h be (1 + 6/(-4))/((-4603)/55236). Which is smaller: h or x?
x
Suppose 0 = -2*m - m + 3, 3*m - 35 = -2*p. Let o(v) = -v**3 - 10*v**2 - 19*v - 12. Let f be o(-8). Let j be f/18*-6 - -16. Is j at most p?
True
Let u = -3090 + 3090.4. Let y = 0 - 1. Let o = y + -3. Which is bigger: u or o?
u
Suppose -333*o + 119 = -214. Is o greater than 110/227?
True
Suppose -27*o - 209 = 1087. Let b be (o/(-1656))/(1/(-9)*-2). Are b and -1 nonequal?
True
Let c be ((-15)/(-6))/((-1)/(-2)) + 37. Suppose 7*y = 378 + c. Is y greater than or equal to 61?
False
Suppose 210*l = -8250 - 15690. Which is smaller: -94 or l?
l
Suppose 0 = 5*i - 4*m - 44922, 2*i + 1232 = 4*m + 19208. Do i and 8981 have different values?
True
Suppose 2*b = -0 - 4. Let p = -1488846 - -16365988/11. Let y = -1030 - p. Do y and b have the same value?
False
Let u = -60 - -41. Let r = -22 - u. Is -3 at most r?
True
Suppose 238 = -2*d + 3*h + 83, 0 = 5*d + h + 396. Let g(n) = -81*n + 1. Let c be g(-1). Let y = d + c. Does y = -4/7?
False
Let b be (-5)/(-20) + 550/8. Let s = b - 12. Let v = 48 - s. Is v smaller than -9?
False
Let s be (0*(-5)/10)/2. Suppose 2*v = 3*g - 39, s = -5*v - 3*g - 35 - 52. Which is smaller: v or -1?
v
Let a = -147 + -477. Let g = 386 + a. Is -237 > g?
True
Let d(f) = 3*f**2 + 4*f - 4. Let z be d(1). Let t be 20/(-24) + (5 - 11/z). Which is smaller: 9 or t?
t
Let h = -266 + 404. Let d = -141 + h. Is 3/2 greater than or equal to d?
True
Suppose -2*q - 16*w = -14*w - 154, -4*q + 5*w + 317 = 0. Suppose -q + 48 = x. Are x and -28 non-equal?
True
Suppose -a + 2*j = 5, 2*j - 3 = 2*a + 1. Let f = -31171/387 - -727/9. I