l**2 - 48*l + 15 - 2*l**2. Let h be r(23). Suppose v = 6*v + 55. Which is smaller: v or h?
h
Let x = 224 + -227. Let j(p) = p**3 + 5*p**2 + 4*p. Let k = -11 + 7. Let l be j(k). Which is smaller: l or x?
x
Let c be ((189/(-48))/(-7))/(21/(-28)). Which is smaller: c or -1.1?
-1.1
Let p be -2 - 65*5/5. Let b = 68 + p. Is b at least as big as 1?
True
Let y(g) be the second derivative of g**3/3 + g**2/2 + 6*g. Let z be y(17). Let i be ((-7)/z)/((-3)/(-5)). Are -1 and i non-equal?
True
Let g be 1/(-4)*8/2*6. Let r be (-3)/36*-9 - g/(-8). Which is smaller: r or -2/39?
-2/39
Let s(q) = -10*q + 6. Let o(n) = 7*n - 4. Let d(h) = -7*o(h) - 5*s(h). Let v be d(-2). Let t be v/26 + 77/(-91). Is t < 2?
True
Let a = 13.7 - 13. Let t = 50 - 50.4. Which is smaller: t or a?
t
Let h(c) = c - 41. Let a be h(-12). Which is smaller: -54 or a?
-54
Let c(b) = -31*b - 1. Let g be c(-1). Let f = g + -215/7. Suppose -117 = -3*d - 123. Which is greater: f or d?
f
Let u(t) = -2*t - 1. Let h be u(2). Let g be 34/(-10) + (-2)/h. Let x be 132/(-70) - (-176)/616. Which is smaller: g or x?
g
Let q(a) = a**2 - a - 10. Let w be q(-3). Suppose 5*j - 5*j = -w*j. Is j less than -0.33?
False
Suppose 3*j - 9 = i, 2*j - 12 = -2*j - i. Let y(r) = r**2 + 14*r - 2. Let m be y(-15). Let q = 15 - m. Is q less than j?
True
Let t be (-35)/(-70)*(-112)/2. Is t equal to -468/17?
False
Let t = 0.2961 - -310.7039. Is 3 != t?
True
Let p = -27 - -39. Let c = 14.7 - p. Let y = c - 3. Which is greater: -1/4 or y?
-1/4
Let b = 0.0137 - 0.1137. Which is smaller: b or -16?
-16
Let o(u) = -u - 11. Let m(i) = 2*i + 11. Let s(d) = 5*m(d) + 6*o(d). Let n be s(-6). Let g be (-2)/6 - n/42. Which is greater: g or 2?
2
Let x be 86/(-42) + 4/(-14). Let t be 14/70 + 2/10. Is t not equal to x?
True
Let m = -3 - -11. Suppose -2*n = -5*n - 6. Let g be (-60)/m - 3/n. Which is smaller: 2/7 or g?
g
Let i = -0.0777 + 0.5877. Which is greater: i or 0.2?
i
Let p = 2.1 + -19. Let t = -17 - p. Which is bigger: 5 or t?
5
Let k = 0.116 + -0.396. Is k < 1?
True
Let t(a) = 2*a**3 - 10*a**2 + 60*a + 404. Let f be t(-6). Which is smaller: f or -749?
-749
Let v be ((-1)/2)/(((-8)/(-18))/((-96)/18)). Let j(h) = -5*h + 2. Let q be j(5). Let y be 2/(-7) - q/7. Is v >= y?
True
Let l(f) = -f**3 - 4*f**2 + 8*f + 38. Let t be l(-6). Is 61 less than t?
True
Suppose 5 = 21*d - 26*d. Which is smaller: -18/11 or d?
-18/11
Suppose 0 = t + 5 - 3. Let b be -9*15*(-2)/t. Let k = -545/4 - b. Does -0.1 = k?
False
Let r(i) = -11 + 8 - 3*i + 4*i + 0*i. Let z = -7 + 9. Let g be r(z). Is -1/19 bigger than g?
True
Let u = -457 + 10497/23. Let t be ((-40)/(-46))/(25/((-1250)/60)). Let d = t + u. Which is smaller: d or -2?
-2
Let u be 2/10 - (-16)/5. Let v = 12 - 8. Which is smaller: v or u?
u
Suppose 0 = 30*p - 69 + 99. Which is bigger: p or -114?
p
Let b be (-1854)/(-8) - 133/(-532). Which is greater: b or -1?
b
Let h(s) = s**2 + 2. Let k(j) = -8*j + 14. Let d(a) = -h(a) + k(a). Let f be d(-6). Which is smaller: 47/2 or f?
47/2
Let d(p) = 1. Let z(c) = c**2 + 8*c + 5. Let b(x) = 3*d(x) + z(x). Let g be b(-6). Let f = -27576 - -137863/5. Is f greater than g?
True
Let g = 419 + -396. Is 27 at least as big as g?
True
Let d(p) = 2*p + 24. Let q = -81 + 66. Let n be d(q). Which is greater: -13/2 or n?
n
Suppose 0 = 5*n - 0*n - 15. Suppose 0 = 3*b + 3*m - 3, -1 = n*b + 5*m + 4. Suppose 3*d - 29 = -0*f - f, 5 = d + b*f. Is 10 >= d?
True
Let r = 62 - 56. Let k = 62 + -22. Let a = k + -119/3. Are a and r unequal?
True
Let b(v) = v + 11. Let w be b(-10). Which is smaller: w or 6/11?
6/11
Let a = 1055 - 1080. Which is smaller: a or -2/9?
a
Let z = -0.59 + 0.69. Let d = 9.8 + -12. Let o = 7.8 - d. Are z and o unequal?
True
Let v = -6 + 7. Let g = -8800/17 + 518. Is v less than g?
False
Suppose -4*z + 4*p + 4 = 0, 5*p - 138 = -5*z - 83. Which is bigger: 17 or z?
17
Suppose -5*f - 12 = -2*t, 0 = t + 2*f - 9 + 12. Is t bigger than -460?
True
Suppose 0 = -5*d - 2 - 3. Suppose 9*w + 112 = 5*w. Let z be (-2)/54*4/(w/7). Do d and z have the same value?
False
Suppose 13 + 11 = 8*w. Suppose 4*f + w + 13 = 0. Let u = -6 + 3. Which is greater: u or f?
u
Suppose -2*s + 6 + 6 = 0. Let t be (0*3/s)/3. Suppose t = 3*w - 0 - 12. Which is smaller: w or 6?
w
Let z = -10 + 16. Suppose -11*c - z = -13*c. Is 7 >= c?
True
Let v = -7 - -15. Let l = 9.02 - 8.02. Is l equal to v?
False
Suppose 0 = 2*o - 4, 5*o + 1 - 11 = 2*q. Let d = 1604/63 - 233/9. Which is smaller: d or q?
d
Let h be 4/(-14) - 36/(-77). Let x = 7 + -10. Let o = 2 + x. Is h greater than o?
True
Let z(o) = -o**2 + 7*o - 9. Let g be z(7). Let i be ((-2)/1)/(-2)*50. Suppose 3*m + i = -2*m. Do m and g have different values?
True
Let w(x) = -x**2 + 23*x - 114. Let z be w(15). Which is bigger: 13 or z?
13
Let v(b) = -5*b**2 - 17*b + 3. Let i be v(-5). Is -40 bigger than i?
False
Suppose 3*c = 4*c - 5*a + 14, -10 = 5*c - 5*a. Let g = c - 0. Let u be (4/10)/((-2)/(-2)). Do g and u have different values?
True
Let t = 284 + -281.44. Is t less than -1/4?
False
Suppose -5*b - 15 = 0, 0 = -2*s + 2*b + 36 - 28. Are s and -6/55 unequal?
True
Let r = -47 - -10. Let w = 35 + r. Which is greater: -3/14 or w?
-3/14
Let y(t) = -77*t**3 - t**2 - 3*t - 1. Let z be y(-1). Suppose 2*o + 0*a = 3*a - z, -2*a + 41 = -o. Is o > -34?
True
Let y = 2 - 2. Suppose -13*z = -14*z. Suppose -35*t + 40*t - 10 = z. Is y >= t?
False
Suppose q - z + 2 = 0, -5*q - 5*z - 13 = 47. Let h = -8324 + 8319. Which is bigger: q or h?
h
Let r = -2/39 - 35/78. Suppose -34 = -d - 4*c, 2*d - 87 = -d + 3*c. Let w = d + -29. Which is smaller: r or w?
r
Let z(p) = 21*p + 225. Let a be z(-7). Is 78 at most as big as a?
True
Let q(d) = 2*d**2 - 15*d + 1. Let x be q(8). Suppose 24 + 30 = x*z. Which is smaller: 19/4 or z?
19/4
Let h(i) = 1. Let u(k) = -8*k - 2. Let g(t) = 3*h(t) - u(t). Let w be g(-2). Is w equal to -11?
True
Let p = 0.336 - 15.936. Which is smaller: 1 or p?
p
Let o = 4 + -1. Suppose -o*c = 4*x - 8*c + 3854, 5*c + 3874 = -4*x. Let r = 45400/47 + x. Does 1 = r?
False
Let k(h) = 1 - 2 - 1 + 2*h - 1. Let y be k(-7). Is y greater than -15?
False
Let o(k) = -2*k - 29. Let n be o(9). Let c = 49 + n. Which is bigger: -3 or c?
c
Let y(s) = -5*s - 19. Let u(j) = 2*j + 9. Let t(v) = 14*u(v) + 6*y(v). Let n be t(5). Suppose -6 = n*z + 2. Which is bigger: 2 or z?
2
Let n = -1.14 - 0.66. Is 7 at most n?
False
Let r be (-2 - -1 - -2) + (-3065)/3075. Is 1 <= r?
False
Let w be -7 + -2*(-2 - (-3)/6). Suppose -16 = 5*v - 3*z + 14, 5*v = -4*z + 5. Which is smaller: w or v?
w
Let v(a) = -59*a - 54. Let g be v(6). Let k be (-132)/g*(-1 - 3) + 2. Is 2 < k?
False
Let c = 19/3874 + 308793/2599454. Let t = -570 - -34768/61. Let g = t + c. Which is bigger: -1 or g?
g
Let w = -678/209 + 72/19. Let m(n) = 4*n + 25. Let f be m(-6). Let x be (-8 - -10) + (f - 9/3). Which is greater: w or x?
w
Let t be 6*(1 - 5/30). Suppose t*x + 6 - 1 = 0. Let g be 15/(6 + x) - 3. Is g at most -1/12?
False
Let s(i) = i**2 + 9*i + 22. Let o be s(-9). Let y = -1 - -0.1. Let x = -0.1 + y. Which is smaller: o or x?
x
Let w be (6 - 2) + (-2792)/696. Is w less than or equal to 1?
True
Let p = 32.1 - 20. Let d = -12 + p. Which is smaller: d or -0.32?
-0.32
Suppose t + 0 - 2 = 2*p, 0 = 3*t. Suppose 3*g + 0*g = 3. Let s be g*(4/(-7) - 0). Which is greater: p or s?
s
Let p = -4 + 3. Suppose -4 - 2 = u. Let x(n) = 4*n + 20. Let f be x(u). Is p > f?
True
Let d = -87 + 144. Suppose -5*c + 18 = -d. Suppose -3*j = -8*j - c. Which is smaller: -8 or j?
-8
Let o(j) = 2*j**2 - 5*j - 20. Let s be o(5). Suppose -8 = -s*y - 13. Which is greater: 2/143 or y?
2/143
Let t(o) = -6*o**3 - 3*o**2 + 27*o - 4. Let d be t(6). Is d at least as big as -1247?
True
Suppose 280*r - 274*r = -3354. Is r at least as big as 1?
False
Let j = -7 + 12. Suppose -j*t = -2*h + 5*h + 4, -4 = -t. Let k(q) = -2*q**2 - 2*q + 15. Let r be k(-4). Is h greater than r?
True
Let l = -65/47 + 3907/2961. Which is smaller: 1/4 or l?
l
Let j = 127/765 + -7/90. Let o = 67/374 - j. Which is greater: o or 0?
o
Suppose 4*w - 154 = s, 47 = -10*w + 11*w + 4*s. Which is smaller: 41 or w?
w
Let g = -140 - -178. Do -2/3 and g have different values?
True
Let a(r) = 6*r + 150. Let j be a(-22). Is j less than or equal to 5?
False
Let z(a) = -a**3 - 2*a**2 + 7*a. Let u be z(