f + 30. Let g be (1/f*-4)/3. Which is smaller: g or -1?
-1
Let k be 5/(-6)*2*-3. Let p be (-56)/(-90) + (-2)/k. Let a(j) = j**2 - 7*j - 9. Let z be a(8). Which is smaller: z or p?
z
Let h = 87 + -85.04. Let y = 0.04 + h. Let l = y + -3. Which is smaller: l or 0?
l
Let u be 1*(-4)/((-16)/116). Let h = u + -35. Which is greater: -7 or h?
h
Let g = -74 - -72. Let l(f) = 6*f - 3. Let c be l(2). Let m be (-2)/(-3) - 15/c. Which is greater: g or m?
m
Let f(c) = -c**3 - 5*c**2 + 6*c - 1. Let d be f(-6). Let a = -15/19 - -48/133. Which is greater: d or a?
a
Suppose 3 = 2*l + 2*n - 3, 5*n = 5*l - 5. Is 7 at least l?
True
Let h = 119 + -115. Suppose -3*g + 3*f = 4*f - 4, -40 = -5*g + 5*f. Suppose 3 = -g*u - 0. Is h >= u?
True
Let h = 71 + -92. Is -21 >= h?
True
Let j = -0.142 + -33.858. Which is greater: -2 or j?
-2
Let y be (-9)/36*-1*67 - 0. Are y and 17 unequal?
True
Let u = 0.93 + -1.03. Let q(b) = -b**2 - 2. Let k be q(6). Let l = k + 113/3. Is l < u?
True
Let u be (-3)/1 - 40/(-12). Does u = 1?
False
Suppose -8 + 4 = -b. Suppose 0*w + b*w - 4 = 0. Is w != -1?
True
Let t = -0.32 - 0.18. Is t >= -0.3?
False
Let t = -1250702/11 + 113606. Let o = 94 + t. Which is smaller: 0 or o?
o
Let j = 100 + -99. Which is smaller: j or 2/63?
2/63
Let y(u) be the third derivative of -u**4/24 + 2*u**2. Let q be y(0). Let d = -100/3 + 33. Which is greater: d or q?
q
Let g(y) be the second derivative of y**5/10 + y**4/12 + y**3/6 + y**2/2 + 3*y. Let l be g(-1). Is l not equal to -1?
False
Let u(w) = -w**3 - 6*w**2 - 2. Let b be u(-6). Suppose -2*d + 4*d = 2*v - 50, -3*d + v - 79 = 0. Let t be d/45*(6 - 1). Which is greater: b or t?
b
Suppose m - 1 = -0. Let o = 40 - 159/4. Is o equal to m?
False
Let x = -63/68 + 3/17. Let a be (3 - 4)/((-1)/2). Let t be a/2 + 16/(-8). Are t and x non-equal?
True
Suppose 2 = -0*s - s. Let x = s + 7/3. Which is smaller: 0 or x?
0
Suppose 3*y = -y + 4. Let k = 2/489 - 1004/6357. Which is smaller: k or y?
k
Let u be (-111)/(-2)*-1*(-16)/(-6). Are u and -149 nonequal?
True
Let j = -5.32 + -5.68. Let s = 2 + -1. Which is smaller: j or s?
j
Let x be (-3)/3 - (-12)/16. Which is greater: x or -0.2?
-0.2
Let a = -1281/2 - -673. Let w = a + -32. Suppose f = 5*f - 8. Is w less than f?
True
Let q = -35183/41 - -858. Is 1 less than q?
False
Let q(u) = -2*u**2 - 13*u + 9. Let t(v) = v**2 + 6*v - 4. Let k(c) = 6*q(c) + 13*t(c). Let m be k(-2). Let z be 51/(-135) + m/(-27). Is z at least 1?
False
Suppose -42 - 18 = 3*r. Is r smaller than -62/3?
False
Let a = -35 + 11. Are -24 and a nonequal?
False
Let c = -0.7 - 0.3. Let h = 7.7 - -1.3. Let b = h + -8. Is c less than b?
True
Let s = 12 - 9. Which is smaller: 4 or s?
s
Let o = 2 + -3. Let l(w) = w - 1. Let v be l(1). Let i = v + o. Which is smaller: -2/9 or i?
i
Let c be (1 - 2) + -2 + 1. Let j be ((-9)/(-2))/(1 - c). Suppose -3*k + 9 = -0. Which is smaller: k or j?
j
Let r = -7 + 11. Let s be (52/39)/(r/6). Is s at least 3/5?
True
Let l = 1.6 - 1.7. Which is bigger: -0.06 or l?
-0.06
Suppose 4 = 2*g + 2. Let o be -3 - -2 - 2*g. Suppose 3*x + 6 = x. Is x smaller than o?
False
Let g be ((-10)/6 + 3)*-3. Let y be -1 + (g/5)/2. Is 0 at least as big as y?
True
Let i(c) = 4*c + 2. Let w be i(-1). Which is smaller: -7/5 or w?
w
Suppose 3*b = -a + 29, a = 6*a + 2*b - 106. Is a greater than or equal to 19?
True
Let q be (-39)/15 - (-4)/6. Let r = q - -13/5. Let t = -0.08 - -3.08. Is r less than or equal to t?
True
Let d(x) = -x + 4. Let i be d(0). Suppose 4*w + 3 = 7, 5*h = -i*w - 1. Let v be (2/25)/(1/5). Does h = v?
False
Let n = -0.04 + 0.04. Let s = 0.3 + n. Let c be -1*(1/4 - 0). Which is smaller: c or s?
c
Let l = -47 - -189/4. Let g(v) = -v**2 - v. Let t be g(5). Let d be 2/14 + t/(-35). Which is greater: d or l?
d
Suppose 5*d = 2*d. Let t(f) = f**3 + 5*f**2 + 4*f - 3. Let m be t(-4). Let b = -3 - m. Is d at least b?
True
Suppose 7*v + 3*j + 5 = 2*v, 9 = -3*v - 3*j. Suppose 3 = v*o - 1. Which is bigger: -1/3 or o?
o
Let b(v) = v. Let k be b(1). Let d = -4964 - -223397/45. Let n = d - 7/45. Do k and n have the same value?
False
Suppose -y - 4*r = -46, -3*y + 110 = -0*y + 5*r. Is 28 smaller than y?
True
Let m be (3 - 2) + 2 + -2 + -2. Which is greater: -1/49 or m?
-1/49
Let w = -4107/8 + 514. Is 0 equal to w?
False
Let f = 46 - 47. Let n(t) = -t**3 - 2*t**2 + 4*t + 3. Let r be n(-3). Which is smaller: r or f?
f
Suppose -m + 3*m = 0. Let o be (21/(-14))/(-1 - 2). Which is bigger: m or o?
o
Let u(a) = -a**3 - 5*a**2 - 5*a - 6. Suppose p + 0*p + 4*b + 8 = 0, 4*p + 2*b = -18. Let r be u(p). Which is smaller: r or -3?
-3
Let z be (2/6)/((-1)/3). Which is smaller: -2/147 or z?
z
Let q = -1 - -0.8. Let t = -0.1 - 0.1. Let a = t - q. Which is greater: -1/3 or a?
a
Let p(g) = -g**2 - 2*g + 2. Let y be p(-2). Let u(j) = -2*j**2 + 2*j + 3. Let f be u(4). Let s = 43/2 + f. Which is bigger: s or y?
y
Let z = 1.2 - 1.6. Let c = z - -0.3. Is c at least as big as 2/17?
False
Suppose 2 = i - 0*i. Suppose 0 = u + i*u. Which is smaller: u or -3/7?
-3/7
Let l = 1.9 - 2.2. Is 2/3 at least l?
True
Suppose -v + 2*z + 14 = -3*v, 2*z = -6. Let b = v + 6. Suppose -i - 2*i = -3. Is i greater than b?
False
Let y = -10 + 9. Do y and 3/13 have the same value?
False
Let t = 0 - -1. Let v be 4*(426/84 - 5). Is t <= v?
False
Let l(q) = -q**3 - 10*q**2 - 8*q - 1. Let d be l(-9). Let j be ((-16)/100)/(4/d). Which is bigger: 0 or j?
j
Let y(z) = -3*z + 2*z - 2*z - 1. Let x be y(-2). Let g = -6 + x. Are g and 1/5 equal?
False
Suppose -6*q - 15 = 9. Suppose 4*c - c + 3 = 0. Is c less than or equal to q?
False
Let o = 10 + -6. Does o = -1?
False
Suppose -3*o = 2*v - 0*v - 25, 20 = 4*o. Let d = v + -8. Suppose -n = -0*n + 3. Is n bigger than d?
False
Let s(z) = -z**2 - z + 5. Let o be s(0). Suppose 0 = 3*w + 3*u, 8 = o*w + u - 4*u. Are w and 2 non-equal?
True
Let a = -32/51 + -2/51. Which is smaller: -156 or a?
-156
Suppose -2*i + 3*d - 2 = 14, 10 = 5*d. Is -5 <= i?
True
Let m = 35/69 + -4/23. Is m > -0.2?
True
Let o be (-4)/6 + (-1)/(-6). Suppose d - y = 2*d - 21, -3*y - 77 = -4*d. Let c be d/(-8)*(-4)/(-5). Which is smaller: c or o?
c
Suppose -7*y = 2*l - 5*y, 3*y = l + 4. Let r be ((-6)/15)/((-414)/10). Let w = -400/1449 - r. Which is bigger: l or w?
w
Let w(z) = -2*z**2 + 3*z - 1. Let s(x) = x**3 + 13*x**2 + 11*x - 9. Let q be s(-12). Let c be w(q). Is c > 2/7?
False
Let m be 8/(-20) - (-2)/5. Let z = 4 + m. Is z != 4?
False
Let r be (2/(-3))/(14/(-6)). Let f = 20.3 - 19.3. Which is smaller: f or r?
r
Let a = -5 + 22. Do 16 and a have different values?
True
Suppose 14 = -3*q + 4*q. Suppose -6*j + q = -4*j. Is j at least 6?
True
Let l = -1 + 0. Let h(z) = z**2 + 1. Let t(r) = -4*r**2 - 7*r + 6. Let x(v) = -3*h(v) - t(v). Let a be x(-8). Is l > a?
False
Let s = 4 - 10. Let k = -127/3 + 43. Which is greater: k or s?
k
Let m = 1323 - 4067/3. Is m at most -34?
False
Let y be ((-8)/(-6))/(-4)*3. Let l be (-8)/36 + (-446)/180. Let r = l + 11/5. Do r and y have the same value?
False
Let b = -5.7 + 7.7. Which is bigger: b or -19?
b
Let l be -5 - -2 - 954/7. Let x = -139 - l. Which is smaller: -1 or x?
-1
Suppose q - 43 = 3*r + 6*q, 2*r + 2 = 2*q. Let n = -5 - r. Let k = 3521/13 + -271. Is k > n?
False
Let m = -67/3 - -22. Are -0.1 and m unequal?
True
Let d = -0.26 + 6.26. Let l = 7 + -5. Is l at most d?
True
Suppose 0 = h - 3*h - 2. Suppose 5*y + 4*g + 40 = 0, 0*y + 4*g = 4*y - 4. Let s be ((-8)/4)/(y - 1). Is s < h?
False
Let q = 2.6 - 2. Let r = -0.8 + q. Which is smaller: r or 5?
r
Suppose 4*w + 4 = -4*t, 5*w - 3 = -t - 0*w. Do t and -15/11 have different values?
True
Let h = -8 + 4. Let j be h/(-12) + 2/3. Is 2/37 >= j?
False
Suppose -r + 5 = 3*a - 3*r, -3*r + 15 = 0. Suppose -33 = -5*c + 2*j, -c = -0*c - 2*j - 13. Is a at most as big as c?
True
Let z = 1/2198 - -62641/4396. Let m be (-4)/14 + (-192)/14. Let k = m + z. Is k greater than -1?
True
Let j(n) = -n**3 + n**2 - 1. Let s be 0*(0 + 2)/(-4). Let a be j(s). Is -3/4 smaller than a?
False
Let z = -3 + 8. Let m(q) = q**2 + q - 1. Let g be m(-3). Suppose -l - 2*l + 9 = 3*r, 5*l - 5*r = -g. Which is smaller: l or z?
l
Let a(r) = r**3 + 7*r**2 + r + 4. Let t be a(-7). Are t and -2 equal?
False
Let k be ((-52)/(-10))/((-2)/(-5)). Is 17 greater than k?
True
Let f = 84/115 - 3/23. Is 0.3 > f?
