*r + 5*y - 5. Which is bigger: r or d?
r
Let l = -1 + 2. Let n be (2 - 0) + 0/l. Let r be -1 + 1 - 1/2. Is n at least as big as r?
True
Let l = -0.1 - -0.1. Let s = -1.1 + 1. Which is bigger: s or l?
l
Let n = -279 + 7531/27. Is n < -3?
False
Let h(l) = 14*l**3 - 3*l**2 - 3*l + 20. Let n(d) = -5*d**3 + d**2 + d - 7. Let j(m) = -6*h(m) - 17*n(m). Let t be j(0). Is t equal to 2/67?
False
Let n(y) = -y**3 + 12*y**2 - 11*y + 2. Suppose 4*o - 114 = -2. Suppose -2*d - u + 14 = -4, -4*d - 4*u = -o. Let r be n(d). Is r bigger than 2?
False
Let g = 0.3 + -0.1. Let a = -0.5 - -0.5. Which is smaller: g or a?
a
Let l be ((-56)/21)/(2/(-618)). Let f = l + -2425/3. Let b = f - 17. Is b < 0?
True
Let y(u) = -u + 1. Let f be y(3). Let p be 2 + (-1)/(f + 3). Let l = -3 + p. Is -1 > l?
True
Let q be (-4)/1 + (-24)/(-5). Let w = q - 11/20. Which is smaller: w or 0.5?
w
Let b = 802/14601 + -12/157. Does 1 = b?
False
Let p = 5 - 2. Suppose 0 = -4*h + 13 + p. Which is smaller: h or 1?
1
Let r = -0.19 + 0.11. Let j = 4 - 3.82. Let c = j + r. Are c and 7 equal?
False
Let y = 3.31 + -0.61. Let n = 0.3 + y. Let m = -5 + n. Is m not equal to 0.1?
True
Let t be -15*((-24)/(-10) + -2). Is t greater than or equal to -7?
True
Let h be (2 - (-45123)/(-11097)) + 2. Let w = 4/137 + h. Which is smaller: w or 1?
w
Let i = -4.7 + 5. Let q = i - -0.6. Let f = q - -0.1. Which is greater: f or -0.2?
f
Suppose 191 = 10*j - 9. Which is smaller: j or 19?
19
Let v be -2 + -1 - 1 - -1. Is v != -1?
True
Let d be (12/(-15))/(2/(-20)). Let g(p) = p**3 - 8*p**2 + 9*p - 5. Let b be g(7). Does d = b?
False
Suppose 5*g = -11 + 1. Let s be ((-6)/21)/(g/3). Let y = s - 13/63. Which is bigger: y or 1?
1
Let c = -4 - -11. Let o be c/2 + (-27)/18. Is o smaller than 1/2?
False
Suppose 0 = 5*q + 25 + 15. Is 0 at most q?
False
Let i = 27 - 44. Let d = i + 71/4. Let f = d - 1/4. Is f less than 0?
False
Suppose -5*a = 451 - 151. Let w be a/8 - 9/(-6). Which is smaller: w or -7?
-7
Suppose -2 = x - 11. Are 10 and x equal?
False
Let h be (-12 - -4)*(1 + 15/(-12)). Are -2 and h nonequal?
True
Suppose -2*l - 11*l = -1482. Is 115 greater than or equal to l?
True
Suppose 0 = d + 2, 3*j - 2*d = 5*j + 2. Is 12/19 at least j?
False
Suppose -11 = 4*v + 2*m + 29, 4*v + 5*m + 52 = 0. Let t(r) = -r**3 - 8*r**2 - r - 9. Let i be t(v). Which is smaller: i or 1?
i
Let y = -69/5 - -2977/215. Suppose 0*z - 4*z = 0. Is y at most z?
False
Suppose 5*o - 6*o = -4*p + 5, 2*p - 20 = 4*o. Suppose p = -5*j + 2*v + 3, -5*j + 15 = -4*v - v. Let h = -108 - -863/8. Is h > j?
True
Let z = -17 - -69/4. Are 0 and z non-equal?
True
Let u = 4 + -3.97. Let j = 1.97 + u. Is j bigger than -1?
True
Let u = 3.4 + -5.5. Let q = 2.03 + u. Is q not equal to 1?
True
Suppose 0 = -0*y + y. Let s = 65/292 - -2/73. Which is bigger: y or s?
s
Let o(t) = 2*t + 7. Let n be o(-3). Is -1/3 at most n?
True
Suppose -m - 445 = 5*z, 2*z = 5*z + 5*m + 289. Let g be (4/10)/(z/(-20)). Is -1 smaller than g?
True
Suppose -12 = 18*n - 15*n. Suppose 0 = -b - 2*o + 24, b + 5*o + 9 = 48. Suppose 5*h - 7 - 14 = -w, w + b = 2*h. Is w >= n?
True
Let j = 18 + -31. Are 0.2 and j nonequal?
True
Let g(w) = 5*w + 4. Let j(d) = -4*d - 3. Let v(h) = 3*g(h) + 4*j(h). Let y be v(-1). Suppose -4*z = -2*n + z + 1, -n - 3*z + 6 = 0. Is y bigger than n?
False
Let r be -2*4/(3 + -1). Let i be (2/(-4))/((-19)/r). Let s = 0.5 + -0.4. Is i greater than or equal to s?
False
Let m = 35.22 + -3.42. Let v = m + -32. Let h = 0 + 0. Which is greater: v or h?
h
Let m be ((-40)/3 + 3)/(1/(-3)). Which is smaller: m or 30?
30
Let s(g) = g**3 + 5*g**2 + 5*g + 4. Let q be 40/(-15)*6/4. Let t be s(q). Is t at most as big as -1/8?
False
Suppose -12 = -3*q - 0. Suppose -6 = q*n - 2*n. Let k be (-1)/8*(3 - n). Is k less than -1?
False
Suppose 0 = 7*b + b + 8. Are b and -1/164 non-equal?
True
Let p(c) = c**3 - 6*c**2 - 7*c. Let m be p(7). Let k = -249.03 - -246. Let x = 0.03 + k. Is x != m?
True
Suppose -4*w = 5*i - w + 2, -i = -w + 2. Let t be -3*4*i/(-12). Which is smaller: 2 or t?
t
Let c(w) = -w**3 + 8*w**2 + 13*w - 10. Let z be c(9). Which is smaller: z or 0?
0
Suppose -a + 3*a = 3*t + 5, -7 = -3*a + 4*t. Let u(s) = -s + 1. Let z be u(a). Which is bigger: -2/5 or z?
z
Suppose -4 = y + c - 3*c, -2*y + 3*c = 8. Let j(q) = -q**2 + 9*q + 18. Let g be j(11). Is y at least as big as g?
True
Let w be 2/24*(-10)/35. Let k = -79/210 + w. Is 0 smaller than k?
False
Suppose -5*d + 4*p + 10 = -p, -2*d = 5*p - 39. Let b(y) = -2*y - 6. Let n be b(-6). Which is greater: d or n?
d
Let h be 664/224 + 2/7. Which is smaller: 3 or h?
3
Let z = -11 + 10. Let t = -1.5 - -3.5. Is t at most z?
False
Let l be 7/(35/(-24))*5. Let s be 2/(2 - l/(-10)). Suppose -6 = 2*m + 2*q - 0, 4*m = -5*q - 14. Is s < m?
True
Let q = 1/1075 + -4311/11825. Suppose 0 = 3*j - j. Is q at least as big as j?
False
Let v be 0 + (1 - (-2)/2). Let o = -130.1 + 124. Let q = 6 + o. Which is bigger: q or v?
v
Let j = -4 - -3. Let l = 4 + j. Let x = -7 + 8. Is l greater than x?
True
Let l be (-5)/(-7) + 6/21. Is 7/6 at least as big as l?
True
Let h(d) = -d - 12. Let m be h(-5). Is m > -7?
False
Let j(k) = -k**2 - 5*k + 5. Let d be j(3). Which is smaller: d or -17?
d
Suppose 0 = 3*j - 2*l - 2*l + 22, 5*j = -3*l + 2. Let d be (-8)/(j - (2 + -2)). Which is smaller: 3 or d?
3
Let g(k) = k**3 - 3*k**2 - k + 4. Let i be g(4). Suppose 0*y = -5*p - y - 8, 0 = -3*p + 5*y - i. Let q(s) = -s**3 - 3*s**2 - 2*s - 2. Let r be q(-2). Is p <= r?
True
Suppose -2*r = -2*x + 8 + 4, -3*r = -5*x + 26. Suppose 3*z = x*w - 8, -4*z + 9*z = 2*w - 18. Which is smaller: w or -2/3?
w
Let z = 9 - 10. Is z > 1/3?
False
Let g(k) = k**3 + k**2 + 4. Let y be g(0). Let h be (1 - -2)*1*1. Is h >= y?
False
Suppose 3*d = 18 - 12. Which is smaller: 11 or d?
d
Suppose -w = 4*a + 1, 5*a + 0*w + 2*w + 2 = 0. Let y(v) = v**2 - 5*v - 2. Let t be y(4). Let u be (-6)/45*(t + 1). Which is bigger: a or u?
u
Let u be (-6)/(-4) + (-4)/8. Let r be -1 - (1 + (-26)/10). Which is greater: r or u?
u
Let g = 6/1603 - -47988/27251. Which is greater: g or 1?
g
Suppose -2 = -m - z, -4*m + 4*z = m + 8. Let t = -14/41 + 263/410. Which is smaller: t or m?
m
Let w(j) = j**3 + 8*j**2 + 6*j - 8. Let y be w(-7). Let u be (-4)/60*1*y. Which is smaller: u or -1?
-1
Let x be ((-13)/22)/((-18)/2676). Let h = x - 263/3. Which is smaller: h or -1?
-1
Let v be (2/(-8))/(5/30). Let u = -19/10 - v. Is u less than or equal to 0?
True
Let d = 1 + 1. Let m = d + -4. Let y(v) = v**2 - 4*v. Let n be y(3). Is m >= n?
True
Let v(h) be the first derivative of h**3/3 - 5*h**2/2 + 8*h + 1. Let b be v(5). Is b > 8?
False
Suppose 5*w = -5*a - 60, 3*w = 2*w - 2*a - 12. Let d = w - -17. Which is greater: d or 4?
d
Let p = -6.15 - -0.15. Let z = 0.033 + 6.067. Let j = z + p. Which is greater: 0 or j?
j
Suppose -14*p = -11*p - 30. Let g = p + -7. Let l be 6/4*16/6. Which is smaller: g or l?
g
Suppose -4*u = -3*l + 11, 2*l - 12 = -2*u - 0*l. Let f be 5 + -3 + -1*u. Is f bigger than 5/6?
True
Suppose d - 22 = 5*l, -2*l + 2*d = -0*d + 12. Suppose 0 = -22*y + 19*y - 12. Is y greater than l?
False
Let u = -7 + 5. Which is smaller: 4 or u?
u
Let p = -0.19 + 0.09. Let j = p - 0. Which is bigger: 8 or j?
8
Let c be (1 - 3) + 1 - -10. Do c and 9 have different values?
False
Let z = 7 - 7. Which is bigger: z or 4/21?
4/21
Suppose -3*u = -0*u + 9. Let x be 2/(3/(u/2)). Which is greater: x or -2?
x
Suppose 2*c - 9 + 3 = 0. Is 0.2 not equal to c?
True
Let t be (-4 - (6 - 13)) + 0. Suppose 0 = 4*b + 7 - 23. Is t <= b?
True
Let c be (16/(-4) - -5)*-6. Which is bigger: -2 or c?
-2
Suppose -5*o - 3 = -0*o + 4*d, -4*o + d = -6. Let h be (-14)/6 + (-4)/6. Let z = h + o. Which is bigger: -1 or z?
-1
Suppose -4*i - 13 = -5*h - 4, 0 = h - 1. Let a be 1/((-26)/i)*4. Let c(d) = -d**3 + d. Let y be c(-1). Which is bigger: y or a?
a
Let n(w) = -4*w - 2 - 3*w + 2*w + 4*w. Suppose 0 = -9*a + 4*a - 5. Let s be n(a). Are -2/15 and s equal?
False
Let l = -11.992 + -0.008. Is l equal to 2/7?
False
Suppose -4*r - 25 + 1 = 4*g, -18 = -g + 5*r. Let n = 4 + g. Suppose n*o = -3*o. Which is greater: o or -0.3?
o
Let p = 14 - 11. Suppose -p*z + 2 = -4. Do 5 and z have the same value?
False
Suppose a + 33 = v, -2*a + a = 4*v - 132. Which is greater: v or 32?
v
Suppose 78 = -d 