*h + 12*o - 9*o = -118. Suppose -4*y + y - 167 = 5*n, 187 = -3*y + 5*n. Are h and y equal?
True
Suppose 2*g = -3*g - 375. Suppose -873 = 10*f - 123. Is g greater than f?
False
Let t(y) = -2*y**2 + 13*y - 8. Let q be t(5). Suppose a = 2*z, q*z - 4 = 3*z + 4*a. Which is smaller: 2/315 or z?
z
Let u = -469 + 454. Let w = -1.6 - 4.4. Let x = 7 + w. Which is smaller: u or x?
u
Suppose -3*a - 3416 - 7092 = 2*h, 5*h = -3*a - 26252. Which is bigger: h or -5249?
h
Let u = 418.6 - 405.6. Let p be ((0 + -1)/(9/18))/(-41). Is u less than or equal to p?
False
Let i be (2/(-72) - 14/(-56))*-1. Let h be (-262)/(-8) + (-14)/(-56). Suppose -31*s = -h*s. Which is greater: i or s?
s
Suppose 51*l = 32 - 1 + 20. Is l < 10/1999?
False
Let d = 6835 + -4570. Which is bigger: -2 or d?
d
Let j be (20310/(-12) - 0 - 0/1)*-2. Is 3386 less than j?
False
Let j be (1*16 - -1)*(0 - -45). Suppose -5*l = 3*k + 2*k + j, -k - 5*l - 149 = 0. Let z = k - -1697/11. Is z bigger than 0?
True
Let d = 102 - 97. Suppose -d*g - 2 = 4*m + 12, -4*m + 5*g + 6 = 0. Which is smaller: -3/14 or m?
m
Let m(f) = 10*f**3 - 4*f**2 + 2*f + 2. Let u be m(2). Suppose -44 + u = -r. Suppose -130 = 7*d + 45. Which is smaller: d or r?
r
Suppose -298866 = 15*l + 126*l + 102420. Is l < -5691/2?
True
Suppose 2*r - 6 = -h, -6*h + r = -2*h + 3. Suppose h = -2*i - 4*o - 12, -4*o - 12 = -2*i - 0*o. Which is bigger: 33/23 or i?
33/23
Let k(a) = 3*a**2 + 7*a + 19. Let r(n) = -4*n**2 - 7*n - 20. Let c(m) = -3*k(m) - 2*r(m). Let v be c(-10). Let z = v - -77. Which is smaller: z or 1?
1
Suppose -l = 4*l - 35. Suppose y - 30 = l*y. Let z = 32/7 - 227/42. Is y greater than z?
False
Let v be (-12)/(-10) + -2 + (-70312)/170. Is v bigger than -413?
False
Suppose 699 = 143*h - 140*h + 5*f, 0 = f + 3. Is h bigger than 3080/13?
True
Let p = -10.87 - -714.87. Let c = p + -707. Let x = 36 - 182/5. Does x = c?
False
Suppose 0 = 70*j - 86*j + 7407 + 14689. Is j >= 1382?
False
Let x(o) = 2*o**2 - 44*o + 5. Let n be x(22). Suppose -n*f = 90 + 25. Suppose i + 5*z = 17 - 56, -2*i - 42 = -2*z. Which is smaller: f or i?
i
Let w = -38.2 + -13.8. Let d = 48 + w. Which is greater: d or -1.2?
-1.2
Let j be 57/(-20)*(-16 - 27630/(-1728)). Which is greater: 0 or j?
j
Let b = 21302 - 17540. Which is smaller: 3758 or b?
3758
Let m = 14 + -19. Let f = -53.54 + 0.54. Let i = -55 - f. Is m smaller than i?
True
Let x(i) = -i**3 + 2*i**2 + 6*i - 11. Let q be -1 + 1 - 0 - 4/(-1). Let s(r) = r**2 - r - 9. Let v be s(q). Let g be x(v). Is g at most 22?
True
Suppose -20*h = 16*h. Suppose h = -k + 2*c + 79, k + c = 18 + 67. Is 82 bigger than k?
False
Suppose 4*q = -2*z + 48, -3*q - q + 42 = -z. Let l(u) = 342*u - 5123. Let x be l(15). Is q != x?
True
Let x(k) = 10*k**3 + 10*k**2 - 48*k - 44. Let i be x(10). Which is smaller: i or 10477?
i
Let f be (19 - 1)*(-74)/(-6). Let x = f + -159. Is x smaller than 65?
True
Suppose -3*l + l - 2*i + 166 = 0, -4*i = l - 68. Suppose -l = -m - 33. Is 55 > m?
False
Suppose 0 = -58561*n + 58572*n + 10230. Which is greater: n or -929?
-929
Let n = 128 + -111. Let y be n/19 + (-14)/(-133). Which is greater: y or 11/7?
11/7
Let v = -28 - -18. Let x be 2*-3*v/640. Is 1 at most x?
False
Let q(x) = -1405*x**2 + 16*x - 19. Let t be q(2). Let b = -84149/15 - t. Do b and -4 have the same value?
False
Suppose 5*n + 4*h - 59 = 0, h + 6 = 2. Suppose 0 = -23*t - n + 406. Is 180/11 equal to t?
False
Suppose -24*p = -31*p - 14. Let u be p/(1 + -2)*(-14)/700. Which is bigger: u or 1?
1
Suppose -125*m = 260*m + 214 + 171. Is -1/9168 greater than or equal to m?
True
Suppose 0 = -19*j - 31 + 12. Is j greater than 2/3717?
False
Let w be (-102)/(-2 + (9 - 6)). Let c be (w/12 + 8)*(-2 - -2). Is c smaller than 5/6?
True
Let u = -59054 - -1299653/22. Let z = -238/11 + u. Which is smaller: z or 46?
z
Let u be (2 - 130/45)*1*(-6 - 3). Is u bigger than 444?
False
Let g(j) = -3*j**2 - 40*j - 14. Let t be g(-17). Let m be t/(-670)*4/6. Let a be 2/(0 - 1) - -2. Which is smaller: a or m?
a
Let m = 44 + -56. Let c be (44/33)/(2 + 4). Is m greater than c?
False
Let p(v) = -2*v**2 + 28*v + 3. Let c be p(14). Let w be -10*(2 + 144/(-20)). Suppose 25 = -c*o + w. Which is greater: 15/2 or o?
o
Let z be ((-3)/2*(-76)/(-6))/((-2)/(-6)). Which is smaller: -60 or z?
-60
Let n(h) be the first derivative of -2*h**2 + 29*h - 200. Let g be n(7). Which is bigger: 3/638 or g?
g
Let r be (6 - 192684/296) + 0. Let a = r + 645. Which is smaller: a or 1?
a
Let q be ((-5)/((-175)/(-406)) - -11) + 3/5. Which is smaller: q or 1/13897?
q
Suppose -496*j = -546*j - 5650. Is j greater than or equal to -0.61?
False
Let m = 2.35 - 1.9. Let t = m - 0.5. Let r = -3.8 + 4. Are r and t non-equal?
True
Suppose 3*q = -5*j + 201, j = -q + 3*j + 56. Suppose -6*h = 5*f - 3*h - q, 42 = 5*f - 2*h. Suppose 4*r + i = 2*r + 27, 5*i - 58 = -3*r. Is r less than f?
False
Suppose -2023 = 20*j - 3*j. Let i = j + 94. Which is smaller: 0 or i?
i
Suppose 5*d = n - 159, 3*d - 124 = 7*d - 4*n. Let l be ((d/13)/4)/(6 + -8). Which is greater: l or 0?
l
Let q be (-7 - -1)/(4 - 172/40). Suppose -2*t + q = 2*i - 7*t, -20 = 3*i + 5*t. Suppose -4*h - c - 25 = i, -4*c = 4*h - h + 35. Which is greater: 0 or h?
0
Let p = 40 - 74. Let z = 69 + p. Which is greater: z or -2?
z
Let v = 48.1 - -13.14. Is v equal to -1?
False
Let n = -39 - -94. Let u be (-135 + n)/(3*1). Which is smaller: -28 or u?
-28
Suppose 2*l - 11 = -5*r - 35, -3*r + 23 = -l. Let u be (-60)/(-25)*(-30)/(-9). Suppose 131 = -u*n + 3. Is n greater than or equal to l?
True
Let u(v) = -27 - 32 - 5*v - 33 + 93. Let s be u(18). Which is bigger: s or -88?
-88
Suppose 3*t = 5*u - 2891, u - 2312 = -3*u + 2*t. Let b = u + -339. Let z be (-9)/(-21) - (4 - 766/b). Is z > -1?
True
Let f = -611.2 - -611.1. Is f greater than -2275?
True
Let b(s) = -75*s + 1726. Let p be b(23). Which is greater: 6/283 or p?
p
Let f = 9992 - 10151. Which is smaller: -192 or f?
-192
Let u(b) = b + 20. Let m(d) = -58*d**3 + 0 + 71*d**3 + 2*d**2 - 1 - d**2. Let j be m(-1). Let p be u(j). Which is greater: 3 or p?
p
Suppose m - 4 = 0, -2*y - 2*m + 12 = 2*y. Suppose 4*h - 5 = -y. Let z be (h - 2)/(0 + -1). Which is bigger: z or -10?
z
Let f = -43.06 + 7.06. Which is smaller: f or 2?
f
Let y = -6 - 75. Let l = y + 80.8. Which is greater: l or 3?
3
Let l(y) = -2*y**3 + 12*y**2 + 4*y - 12. Let f be l(5). Suppose 60*g - f*g = 340. Is 168 <= g?
True
Let a = -2247.0822 + 0.0822. Are -1/3 and a unequal?
True
Let o = 2/23225 + 556954/5179175. Is -1 smaller than o?
True
Suppose 4*q - 28 = -4*y, -2*y - 3*q + 2*q + 11 = 0. Let r be 3/y*-2 - (-8091)/4578. Let h = r - -2/109. Which is greater: -1 or h?
h
Let k = -223.9 - -37.9. Let u = -185 - k. Is u at least -0.68?
True
Let a be (0*((-20)/8)/(-5))/3. Suppose y + a*y = -2*h + 12, 6 = -3*y. Let t(b) = b**2 + 2*b - 2. Let o be t(2). Are h and o non-equal?
True
Suppose -258*x + 13*x = 2354205. Are 1 and x unequal?
True
Let s be 26 + 2 - (-15770)/(-415). Let c be -1 - -1 - (-21)/(-3). Which is smaller: s or c?
s
Let g(b) = -21*b**2 - 16*b - 19. Let u be g(-2). Let t be -7 + 5/(30/12) - 69. Which is smaller: t or u?
t
Let k = 110 + -110. Suppose 3*o + u = -2*u + 9, k = 3*u - 6. Is 45 bigger than o?
True
Let p(l) = l - 43. Suppose 3*h = -4*u + 54, -5*u = -5*h - 47 + 137. Let t be p(h). Let q = t + 28. Is q != -8?
True
Suppose 4*c = -3*r + 1707, -24*r - 2276 = -28*r + 2*c. Which is smaller: 566 or r?
566
Let l = -4247 + 4248. Which is smaller: l or 164/139?
l
Let b be 11 + 120/36*-3. Let l = 36760/13 - 2826. Which is greater: b or l?
l
Let f be (-4)/(-10) - 153/459. Which is smaller: -1 or f?
-1
Let w = -352 - -494. Let k be (-1 - -3*(-4)/12) + 21. Suppose 1410 = -9*f + k*f. Which is smaller: f or w?
f
Let h be 74 + -31 + (-2)/2 + 1. Let a be 2192/52 + 8/(-52). Which is bigger: h or a?
h
Let a be ((-33)/(-6))/((-14410)/2620) + (-52)/(-54). Let h(t) = 7*t**3 - 2*t**3 + t - 4 - 4*t**2 - 4*t**3. Let n be h(4). Is n at least a?
True
Suppose 149*j = 18*j - 108599. Is j smaller than -836?
False
Let d = -39 + 51. Let r = 18 - d. Suppose -r*o - 2 = 10. Which is greater: 9 or o?
9
Let m(h) = h**3 + 6*h**2 - 4*h - 43. Let y be m(-5). Suppose -4*u - 12 = 0, -u = y*t - 0*u + 5. Which is smaller: t or -1/47?
t
Let m = 7 - -229. Suppose 7 - 19 = 4*p, -4*p = -4*g +