 Which is bigger: d or r?
d
Let d(l) = l**2 + 11*l - 10. Let w be d(-12). Suppose 4*k - v = 11, w*v = 4*k + 7*v - 41. Let a = 7 - 4. Is a <= k?
True
Suppose -4*o + 4 = -2*w, 5*w = 4*w - 5*o - 16. Let y be 1/((-1)/w)*1. Let n be (-20)/y*(-3)/(-6). Is n not equal to 1?
True
Let b = -17 + 18. Is b smaller than -2/51?
False
Let h(c) = -c**2 + 19*c + 20. Let n be h(20). Which is greater: n or 34?
34
Let j = -1/8633 + -1061854/43165. Let r = 25 + j. Is 2/9 at least as big as r?
False
Suppose -117 = -5*v + 108. Is 44 <= v?
True
Suppose -d = -3*d. Let g = 188 - 946/5. Are g and d non-equal?
True
Let y = -36/5 - -242/35. Which is greater: 0.1 or y?
0.1
Let h be 56/(-140) + 0 + 57/5. Is h bigger than 7?
True
Suppose -51*z = -56*z + 20. Let i = 1 + -2. Let n = 4 + i. Is n greater than z?
False
Let n be (25/15)/(8/6). Is 2 greater than n?
True
Let g(h) = -h**2 + 10*h - 11. Let o be g(9). Let r be -1 + (o/2 - -1). Which is greater: -0.5 or r?
-0.5
Let z = 2442/13 + -188. Let j = 11 - 18. Let a be 12/j + 4/(-14). Which is greater: a or z?
z
Let i = 0.08 + 0.16. Let u = -0.04 + i. Let g be (4/(-6))/2*1. Which is bigger: g or u?
u
Let q = 4 - 2. Suppose 3*n + 5 = -q*n. Which is smaller: n or 2/7?
n
Let m = -1520 - -13696/9. Is m <= 1?
False
Let o = -13 - -9. Let h be 0 + o/(-1) + -2. Is 2 less than h?
False
Let y be (-2)/(-9) + (-235)/45. Let g(t) = t**2 + t - 5. Let h be g(y). Suppose 2*s - h = 7*s + 5*l, 3*s = 4*l + 19. Which is smaller: s or -1/6?
-1/6
Suppose -4*j = 2*c - 5*j + 13, -3*j = -4*c - 29. Let g be (-3)/6*4 + 22. Let w = g - 25. Is c < w?
False
Let p = -0.01 + 5.01. Let i = 5.3 - p. Is i < 0.1?
False
Suppose 12 = 7*j - 3*j. Suppose -j*i + 12 = -0*i. Let y be (i/170)/(11/55). Is 1 at least y?
True
Let q(l) = -l + 2. Let n be q(0). Suppose n*y = y + 2*u - 6, -4*y + 31 = 3*u. Suppose 2*x + 20 = -y*g, -4*x - 16 + 4 = 4*g. Is g at least as big as -7?
True
Let n = -1 + 0. Let h = n + 0.7. Let p = -0.2 - h. Which is smaller: p or -1/4?
-1/4
Let o be 3*2/(-12) - (-150)/(-4). Which is greater: -37 or o?
-37
Let q(b) = -b**2 - b + 14. Let p be q(-4). Which is smaller: 27 or p?
p
Suppose 16 = -3*d - f, 2*d = -0*d + f - 4. Let g = -11/3 - d. Let q = -3/11 - 7/55. Which is bigger: g or q?
g
Suppose u = 0, -25 = 7*m - 2*m - 4*u. Let b be m*(1 - 24/15). Let n be ((-1)/b)/((-4)/12). Is 0 greater than n?
False
Let u(c) = -c**2 - 2*c**2 + 2*c**2 + 4 + 2 + 12*c. Let l be u(12). Which is smaller: l or 5?
5
Let n = 61 - 60. Let i be 1/1*10/4. Which is bigger: i or n?
i
Let f = 11.15 - 0.25. Let r = 11 - f. Is 2 greater than r?
True
Let g be 7/35 + (-2)/10. Let t(m) = m. Let j be t(4). Suppose -j*v + 0 + 4 = g. Which is bigger: 1/4 or v?
v
Suppose 0*r + r + 1 = 2*z, 5*z - 5 = 3*r. Let i(k) = -k**2 + 5*k - 3. Let g be i(5). Let q = z - g. Is q smaller than 3?
True
Let n = 477122/7 - 68346. Let d = n - -186. Are d and -1 nonequal?
True
Let o = -13935 - -418001/30. Let a = o - -2/15. Which is smaller: -1 or a?
a
Let c = 152 + -1062/7. Let o = -160.9 + 161. Are o and c unequal?
True
Suppose -3*b - 3 = -k, 0*k + 3*k + 5*b - 37 = 0. Suppose 3*l - k = 0, 3 = 5*c + l - 30. Let f = 6 - c. Is f equal to 0?
True
Let o be 22/15*3*-5. Let a be 31/11 - 4/o. Which is smaller: 4 or a?
a
Let m = -0.68 - 0.22. Let s = m + 0. Let h = 1 + s. Which is greater: -2 or h?
h
Suppose -9*c + 3 = -8*c. Which is bigger: 1 or c?
c
Let s be (-1)/(-2) + 5/(-2). Let m be ((-8)/(-12))/(s/3). Is m at most -1?
True
Suppose 7*a - 2*a = 155. Let s = a + -57/2. Which is smaller: s or 3?
s
Suppose 3*h - 87 = 5*p, -4*p - 15 = p. Which is smaller: 23 or h?
23
Suppose -5*q + 0*p - 2 = 4*p, -2*p + 4 = 5*q. Let d be 280/(-28)*(-4)/70. Which is smaller: d or q?
d
Let c(z) be the second derivative of z**5/20 + 3*z**4/4 + 7*z**3/6 + 2*z**2 + 3*z. Let d be c(-8). Let v be (-30)/8 - (-3)/d. Is v <= -4?
False
Let f be -7*(-2)/6*6. Suppose 2*y - 22 = -4*t, 0 = y + 2*t - 5*t + f. Which is smaller: y or 2/3?
2/3
Let c(o) = -3*o**2 + 3*o + 1. Let t be c(3). Is t equal to -17?
True
Let a be ((-2)/(-6))/(50/180). Is 0 >= a?
False
Suppose -5*q = -18 - 12. Let j be 1/(-4 - q/4). Which is bigger: 1 or j?
1
Suppose -a = 5 + 2. Let p be ((-4 - -1) + a)/(-2). Do 3 and p have different values?
True
Let m(p) = -3*p**3 + 1. Let z be m(1). Let n = 0.4 + -0.8. Which is bigger: n or z?
n
Let s = 18.7 + -18.1. Let l = 6 + -4. Are l and s non-equal?
True
Let g = 4.2 - -4.6. Let x = 9 - g. Is 1 < x?
False
Let r = 0 - -1. Let c be 2/r - 17/7. Is -1 less than or equal to c?
True
Let n = 143/120 + -7/24. Which is smaller: 1 or n?
n
Let x be (-4)/(-18) + (-224)/36. Let d be (2/3)/(x/(-18)). Suppose -14 = -g - 2*r - 5, 2*g + 3*r = 14. Is g > d?
False
Let t be (-10)/35 + 27/21 + -1. Which is smaller: t or -5/6?
-5/6
Let i = 0.35 - 0.15. Does -0.04 = i?
False
Let v = 6 + 23. Let i = -143/5 + v. Let m be -1*2 + 6 + -1. Which is smaller: i or m?
i
Let s(p) = p**2 + 8*p + 7. Let h be s(-7). Which is greater: 1/10 or h?
1/10
Let p = -997/9 + 111. Is -1 less than p?
True
Let x = 674/3 - 224. Let h = -7 + 20/3. Is x > h?
True
Suppose c - 1 = 3*l - 38, l = 2*c + 19. Which is greater: l or 4?
l
Let d be 2*(3 + (-1 - -1)). Let l be (2 - d/3)/2. Let r = -1 + l. Which is bigger: r or 2/3?
2/3
Let n(r) = r**3 + 4*r**2 + 2*r - 3. Let m be n(-3). Let q = 9.2 - 9. Which is smaller: m or q?
m
Let l be 2/(-42)*(4 - 1). Suppose -8*p + 9 = -3*p + 4*n, p + n - 2 = 0. Does l = p?
False
Let o be (-68)/30 + -9*(-4)/60. Which is greater: -1/3 or o?
-1/3
Suppose -5*p - f - 22 = 0, -4*p = -5*f + 2 + 4. Let w = p - -3. Let b = -22 - -20. Which is bigger: w or b?
w
Let d be (4/(-104))/((-6)/48). Which is bigger: 1 or d?
1
Let h = 1 + 3. Suppose -f = -k - h, 3*f + 3*k = -f - 12. Is f < -2/17?
False
Let b = -207 - -150. Which is greater: -58 or b?
b
Let t = -9 - -7. Let c be ((-4)/6)/((-6)/(-9)). Which is greater: t or c?
c
Let c be (-3)/12 - 15/4. Let k be c/((-4 - -2)*1). Is 4 bigger than k?
True
Let y(s) = s**2 - 2*s - 5. Let i be y(4). Let x be 0/(-2) + (10 - 6). Suppose -n - i = -x. Is 1 >= n?
True
Let l be 10/12*3/10. Let o = 27 - 18. Let a(u) = u**2 - 10*u + 8. Let s be a(o). Which is smaller: s or l?
s
Let l be (-5 + 4)/(258/4). Let o = l - -413/1677. Is -1 at most as big as o?
True
Let v be 980/6237 + 0 + (-2)/11. Which is smaller: v or -1/4?
-1/4
Suppose -2*q + 5*q - 3 = 3*p, 4*p + 6 = 2*q. Let k be ((-33)/22)/((-3)/(-4)). Is p <= k?
True
Let b be ((-3)/9)/((-2)/6). Let z = b - 1. Suppose 4*j = 8, 2*q = j - z + 2. Do q and 2 have the same value?
True
Let x = 15 + -3. Let h = x + -26. Is 0 > h?
True
Let k(c) = c**3 + 2*c**2. Let w be k(-2). Let f be w - 2/(-3 + 1). Let b = -9.34 + 11.34. Which is smaller: b or f?
f
Let m be 1*(1 + (-1 - -1)). Let j = -2.6 + 2.86. Let s = -0.06 + j. Which is greater: m or s?
m
Suppose -1 = y, -3*i + y - 1 = 2*y. Are -2/23 and i nonequal?
True
Let b be 1/(-2) - 2/4. Let u(h) = -h**3 - 5*h**2 + 5*h - 8. Let n be u(-6). Which is greater: b or n?
b
Let y be 12/(-18) - 60/(-27). Which is smaller: 3 or y?
y
Let x be (7/3 - 2)*21. Which is smaller: 3 or x?
3
Let s = -0.08 - -3.08. Let x = 4 - s. Is x smaller than 1/2?
False
Let o = -68 - -68. Is o <= 4?
True
Let w = -3 + 3. Let p be w + 2 + -4 + 2. Suppose 0 = -9*h + 5*h. Is p > h?
False
Let n(f) = -2*f - 2*f - 3 + 5*f. Let p be n(4). Suppose 0*o = 5*o - 16*o. Which is smaller: p or o?
o
Let p(h) = -h + 4. Suppose g + 8*s + 18 = 3*s, -3*s = 12. Let z be p(g). Which is smaller: 3 or z?
z
Let j = 9 + -6. Let o(x) = x - 6. Suppose 5*f = 2*s + 40, 5 = -0*f + f - s. Let n be o(f). Which is smaller: j or n?
j
Let t = -2 + 0. Which is smaller: -1 or t?
t
Suppose 3*d - 3 = 18. Let y(o) = o**2 + 12*o - 4. Let t be y(-13). Is d equal to t?
False
Let k be (-45)/(-10)*4/6. Let v be (1/k)/(-2 - -1). Let p = -4 - -6. Are p and v unequal?
True
Let q be (-4)/(-10) + 4/(-10). Which is smaller: q or -0.05?
-0.05
Let j = -81/4 - -20. Is 0.8 < j?
False
Let z(x) = -x**3 + 3*x - 1. Let p be z(2). Let y(a) = -a - 2. Let s be y(0). Is s at most as big as p?
False
Let x = 24 - 23. Is x at most as big as 9/4?
True
Let w = -0.0602 + 0.0502. Let y be -1 + (-2)/10*-3. Is w < y?
False
Let d = 5/2 + -5/4. Is 0 at most d?
True
Let s = -5 + 5. Suppose -t - 17 = 4*u, -5*u - 31 = -s*u - 2*t. Let x = u + 3. Is x <= -4/5