 = -d - 3*h + 12, 2*d + 3*h + 12 = 6*h. Suppose d*f - 4 = -2*f. Let n be f*(114/39 - 3). Which is bigger: n or 0?
0
Suppose -3 - 3 = g. Let b be (-40)/g*(-9)/(-6). Let r be (4 - (-35)/5)*1. Is b at most as big as r?
True
Let x = -86/175 + 13/25. Let g be -2*((-105)/154 - 4/(-22)). Are g and x equal?
False
Let s = 3.2569 - 0.5839. Let l = -0.027 - s. Which is greater: l or 0?
0
Let v(m) = 124*m - 505. Let a be v(7). Are a and 363 unequal?
False
Let z = -278.9 - -279. Which is bigger: z or -3/229?
z
Suppose 5*s - 3*q + 4*q - 1726 = 0, 1404 = 4*s - 5*q. Is 347 equal to s?
False
Let h = 127004/555 + -1144/5. Is h at most as big as 1?
True
Let i = -4/111 + 2261/111. Is 19 at least i?
False
Let q be -2 + -14*1/(-2). Suppose -5*n - 5*r - 3 = -n, -2*n + r - q = 0. Which is greater: -5/4 or n?
-5/4
Let k(j) = j**3 + 3*j**2 - 5*j + 2. Let i be k(-4). Let v be (-21)/i + (-1 - -5)/8. Is v smaller than -15/8?
True
Let k be (4 - (-192)/(-60))*(-5)/(-34). Which is bigger: k or -3/8?
k
Suppose 5*x = 2*x + 126. Suppose -2*f + x = -20. Is 31 > f?
False
Let w be ((-2)/4 + 1)*8. Suppose w = m + 5. Let t be (1 + -2)*(-2)/(-2). Is t less than m?
False
Suppose 0 = -3*v + 3*b - 6, -5*b + 45 = -2*v + 41. Which is greater: v or 400?
400
Let x(f) = -5*f**2 - 38*f - 42. Let k be x(-19). Which is smaller: -1126 or k?
-1126
Let i be 204/(-12) - (1 + 1 - -1). Let n be (-222)/11 - (-16)/88. Is n smaller than i?
False
Let h(g) = -3*g**3 - 12*g**2 - 35*g - 7. Let z be h(-3). Which is smaller: 0.3 or z?
0.3
Let s be (-91632)/(-15318) - (5 + 1). Let t be (-45)/36 - (-1)/4. Is s > t?
True
Let w be 8 + -8 + (-10)/2605. Is 1 greater than w?
True
Let p = 210 + -225. Which is greater: 2/3 or p?
2/3
Suppose 2*f - 18 = 3*i, f - 2*i - 3*i - 23 = 0. Let k = -3 + f. Suppose -3*s - 14 - 1 = k. Which is greater: s or -6?
s
Let o = -14987 + 314813/21. Is 3 at least o?
False
Let r be 8*(-2)/(-24)*15. Let k be (r - 12)/(1/4). Is 3 bigger than k?
True
Let l = -38 + 59. Let v = 0 + -2.7. Let w = v - -2.8. Which is smaller: l or w?
w
Let h(i) = -i + 6. Let n be h(6). Let o = -45.6 - -30.3. Let m = o - -14.5. Which is smaller: n or m?
m
Let m = 79 + -29. Suppose -10 = 3*j + m. Is -20 > j?
False
Suppose -3*a - 368 = -5*m - 4*a, -4*a - 8 = 0. Let k = 46 - 81. Let p be m/(-14) - 10/k. Which is smaller: p or -3?
p
Suppose -8 = -5*l - 5*g + 2*g, 4*l = -g + 12. Suppose 3*p = -2*r - 10, -12 = 3*p - l*r + 4. Suppose 8 = -0*v - 2*v. Is v >= p?
True
Suppose -2*o = 2*o - 4. Let j be 4/6 + (5/15 - 2). Let l be o/(-42) - j/(-7). Is l smaller than 1?
True
Suppose 2*w = -w + 3. Let s(c) = -c + 6. Let l be s(7). Let o be (-6)/(-69) + l - -1. Which is greater: w or o?
w
Let a(s) = 304*s + 1518. Let j be a(-5). Let k be 0*(-1 + 1 + 1). Let m = k + -2. Is m less than or equal to j?
True
Suppose l - 12320 = 36*l. Which is smaller: -354 or l?
-354
Suppose -5*l = 2*t + 187, 0 = -5*l - 12*t + 7*t - 175. Let s be ((-9)/(-1128))/(l/12 + 3). Which is greater: s or -1?
s
Let v(k) = -k**2 - 5*k - 4. Let u be v(-3). Suppose 2*j + 3*r = -1, -u*j = 2*j + r + 7. Let f = -2 + j. Which is greater: f or -5?
f
Let f(v) = -v**3 + 58*v**2 - 616*v - 25. Let d be f(14). Let p = -63 + 39. Does d = p?
False
Suppose -211*v + 4 = -207*v. Which is greater: 10/29 or v?
v
Suppose 5*u + 4*j = -21, 15*u - 15 = 14*u + 4*j. Which is smaller: u or 1/294?
u
Suppose 3*p + 616 = -8*p. Which is smaller: p or 0?
p
Let v(b) = b**2 - 11*b - 116. Let n be v(18). Is n != 13?
True
Suppose 2*l - 14 = 2. Let c be 2/(-6) - ((-48)/18)/l. Which is greater: c or 2/71?
2/71
Let k(f) = f**3 + 8*f**2 + 6*f - 9. Let b = 64 + -45. Suppose 4*a = -u + 3*u + 30, -u - b = -3*a. Let m be k(u). Which is bigger: m or -4/5?
-4/5
Let n = 1 - -2. Let v(b) = 117*b + 821. Let i be v(-7). Are i and n nonequal?
True
Let w be -12 + -3 + 14 - -12. Let h = -2 - -11. Which is smaller: h or w?
h
Suppose 11 = 2*o + 3. Suppose -8 = p - 2*n, -2*n + 17 = -o*p + 3*n. Let k be 332/(-56) + 4 + p. Which is greater: k or -1?
k
Let w(k) be the third derivative of 5*k**4/24 - 5*k**3/6 - 5*k**2. Let b be w(2). Suppose 3*y + 4*h = -h - 12, b*y = -h + 2. Which is smaller: -2/21 or y?
-2/21
Let s be (-4)/30*10*6. Let m be (-2)/2 + 1 + -7. Which is smaller: s or m?
s
Let o be (4/50)/(474/170). Let h = 3/79 + o. Are -2/9 and h equal?
False
Let c = -10 + 20. Let p be (-9)/7 + 24/84. Let j be -1 + p*5/10. Which is bigger: c or j?
c
Let i = -26 + 27. Let z = -197 + 2165/11. Which is greater: z or i?
i
Let i(c) = -c**3 + 15*c**2 + 19*c - 62. Let k be i(16). Which is smaller: k or -8?
k
Let w(a) = a - 7. Let u be w(6). Let y = -491/2508 + 9/44. Which is smaller: y or u?
u
Let k(m) = m**3 + 22*m**2 + 57*m - 27. Let h be k(-19). Which is smaller: -30 or h?
-30
Let t = -20969321/182797230 + -2/395665. Let g = t + 1/42. Which is smaller: g or 1?
g
Let s(r) = -166*r - 3327. Let u be s(-20). Let v be (-4)/(-10)*(-20)/(-2). Suppose -v*w + 2 = -2. Which is greater: u or w?
w
Let t = 8.172 - 9.172. Let a be -2 + (-20)/(-114)*12. Is t not equal to a?
True
Suppose -d + 78 = -3*m, d + 4*m - 68 = 10. Which is smaller: 77 or d?
77
Suppose 3*w - 23 = l, -58 = 4*l + 3*w + 4. Let y = 21 + l. Suppose -30*d + 26*d - y = 0. Is d at most as big as -20?
False
Let b = -8493 - -8528.13. Let g = b - 0.13. Let a = g + -34.1. Which is smaller: a or 3/4?
3/4
Suppose 3*x - 10 = 5*d - 2*x, 0 = 5*d - 3*x + 2. Suppose -16 = -3*i + 5*c, 2*c + d = -4*i + 6. Is i at most -6?
False
Let i(z) = -z**3 - z**2 + 3*z - 4. Let c be i(-4). Let s = -29 + c. Which is greater: s or 5?
5
Let m = 28 + -23.8. Let x = m - -2. Let r = -6 + x. Is r bigger than 5?
False
Suppose -1602 = -10*b + b. Is 178 at most b?
True
Let p = 3 + -25. Let b = -22 - p. Is 0.2 <= b?
False
Let p = -0.8 + 0.5. Let x = -0.6 - p. Let k = -299 - -302. Are k and x equal?
False
Let r = -11/567 + -10/81. Which is smaller: -3 or r?
-3
Suppose -4*v - 7 = -g - 20, 0 = 4*v + 3*g + 7. Let k be v/5 + (-948)/(-480). Which is smaller: k or 1?
1
Let j(l) = -l**2 + 2*l. Let o be j(4). Let z = 82 - o. Which is greater: 89 or z?
z
Suppose -3*c - 1 = 8. Let u = 2305/6 + -384. Which is greater: u or c?
u
Let y be (-1)/(-1)*((-18)/(-3) + -6). Let c be 2 - (-3)/(204/(-112)). Are y and c non-equal?
True
Suppose 0 = -3*b + p - 144, 0 = 3*b - 2*b - 2*p + 43. Let a = 50 + b. Is a greater than 2/331?
True
Let i be 10/14*8/(-20). Let m(s) = s - 3. Let h be m(11). Suppose -h = -2*d, 0 = 2*f + 3*d - 5 - 9. Is f <= i?
False
Suppose -38*d - 44 = -42*d. Which is bigger: d or 8?
d
Let w(q) = 4*q. Let f be w(2). Let c be (-241)/(-61) - -1*f/(-2). Which is bigger: 1 or c?
1
Suppose -f = -6*f + 20. Suppose 2*h - f*h = -10. Suppose 4*x + 13 + 12 = h*y, 0 = -3*y - x - 2. Does 1 = y?
True
Suppose 15 = -4*y - 1. Let z be 14/y + 1/2. Let p be (-1 - 2*-1)/((-1)/2). Are p and z equal?
False
Suppose 0*t = -3*x + 4*t - 36, x + 3*t = -25. Let l be x/9 + (-2)/9. Which is bigger: l or -6/11?
-6/11
Let o(u) = -13*u + 39. Let a be o(3). Is -1/107 greater than or equal to a?
False
Let n be 1 + (-20)/(-12) - 2. Let z(o) be the first derivative of -o**3/3 - o**2 - o + 1. Let k be z(-1). Which is greater: k or n?
n
Suppose -50*w - 156 - 244 = 0. Which is greater: w or -84/11?
-84/11
Let j = -769 + 769. Which is smaller: 7/9 or j?
j
Suppose 0 = -5*l + 11 + 4. Suppose l*i = 4*i. Suppose 127*k + 13 = -114. Is k at least i?
False
Let n = -79 + 75.61. Let z = n - 0.61. Let c = 0.23 - -0.07. Is z at most c?
True
Let z be -3 + (-1 - 848/(-266)). Let v = z + 10/19. Let a be 4/10*(-2 + 1). Is a at least as big as v?
False
Let p = -0.92 - -0.32. Let h = p + 0.2. Which is greater: 0 or h?
0
Let j = 555 + -4431/8. Let u be -2 + 7 + -1 + -2. Suppose -2*c - 3*c = -5*r - 5, -u*c + 4*r + 2 = 0. Which is smaller: j or c?
c
Suppose n - 7 = -2*l, -2*n - 24 = 2*n - 5*l. Is -22/25 < n?
False
Let x = -0.0397 - -59.1397. Is x at least 0?
True
Let r be -4 - -37*(-3)/9. Let n be 30/24*(-21 + 9). Which is smaller: n or r?
r
Let k = -0.3 - -1.3. Let o = -35 - -34.43. Let m = 6.43 - o. Is m greater than or equal to k?
True
Let b = 661 + -549. Are b and -1/6 equal?
False
Let x(l) be the second derivative of 9*l**5/4 - l**4/12 - l**3/3 - l**2/2 + 20*l. Let c be x(-1). Does -45 = c?
True
Let r = 835 - 825. Are r and 10 non-equal?
False
Let r(d) = 2*d - 1. Let x