 be (2/(-4))/((-3)/42*-7). Which is bigger: r or -8/15?
-8/15
Let h = 15 - 17. Let m be 2/8 - 66/24. Which is smaller: m or h?
m
Let y = 4 + -2. Let r = y - 1. Let a be r/(-3)*0 - 2. Which is bigger: -3/2 or a?
-3/2
Let p be (2 + 1)/9*6. Is p not equal to 5/3?
True
Let a be 1 + 2 + -4*1. Let g be (-693)/10 - (-5)/(-25). Let i = g + 68. Which is smaller: i or a?
i
Let b = 31 + -34. Is 11 equal to b?
False
Suppose -8 = -t + 4*m, -34 + 11 = -2*t + m. Let j = t + -6. Let h be (-2)/(-4) - 2/j. Which is greater: 2/7 or h?
2/7
Let t be (-8)/(-6)*(-1)/2. Let i be (-1)/(-2)*(-2 + 6). Suppose -5*f = -i*f. Is f > t?
True
Let q(c) = -c**3 + 2*c**2 + 2*c. Let n be q(2). Suppose 3*h - 5*h - n = 0. Which is bigger: h or -1/2?
-1/2
Let b = -12 + 14. Let j be (-19 - -20)*b/(-14). Which is bigger: j or 1/4?
1/4
Let t = -139 + 139.6. Let h = -0.9 - 0.1. Which is smaller: t or h?
h
Let f = -0.093 + 2.093. Are -1 and f equal?
False
Let a(j) = -j**3 + 8*j**2 - 6*j - 8. Let g be a(7). Let d = -4/17 - -54/85. Is d >= g?
True
Let y(g) = g**2 + 6*g. Let u be y(-6). Let r = -12 - -8. Let m = -3 - r. Which is smaller: u or m?
u
Let m = -0.15 + 0.19. Let b = -0.04 - m. Which is smaller: b or 0?
b
Suppose 0 = -3*u - 4*q + 114, u + 4*q + 138 = 4*u. Does 0 = u?
False
Suppose -5*c = -5*k - 30, 4*k = -2*c - c - 10. Suppose -6*d + 4*d = 0, b + c*d = -8. Which is smaller: -7 or b?
b
Let u(n) = n**3 - 3*n**2 + 4*n - 2. Let l be u(2). Let a(w) = 3*w - w**l - 4*w + 3 + 3*w. Let x be a(-2). Is x bigger than -5?
False
Let t = -16 - -9. Let c be (-2)/t - 240/(-42). Let p(o) = o**2 - 5*o - 2. Let r be p(c). Is r < -1?
False
Let g = 5 + -3. Let b be 0/((-1)/2*g). Suppose b - 4 = 2*h. Does h = -1?
False
Let g = -0.6 - -0.52. Let h = g + 4.08. Let o = 3.7 - h. Is o > 1/2?
False
Let v(x) = x**2 + x. Let b be v(0). Which is greater: b or -10?
b
Suppose 3*u - y = -275, -226 - 219 = 5*u + y. Which is greater: -91 or u?
u
Let p(f) = -f**3 + 3*f**2 - 3*f + 1. Let l be p(2). Do l and 5 have the same value?
False
Let r = -14/41 - -892/451. Which is bigger: r or 1?
r
Let j = 9/40 - -1/40. Let g(v) = -v - 4. Let s be g(-5). Let u(z) = -z**3 + z**2 - 1. Let r be u(s). Which is smaller: j or r?
r
Suppose -x - 4 = 32. Let d = x + 21. Let z be 2/(-8) + d/(-28). Are z and 0.3 equal?
False
Let f = 1 - -2. Suppose 4*j = 2*l - 12, 4*j + f*l - 14 = 6*j. Let y = 1024/7 - 146. Is j less than y?
True
Suppose 5*r - 10 = 5*l, 0 = -8*r + 3*r + l - 2. Let i be r + 1 + (-8)/(-18). Is -1 greater than or equal to i?
False
Let h = -52 + 207/4. Suppose -2*t + 5*t = 12. Let j = t - 4. Is j >= h?
True
Let y be -4 + 14252/(-25) + 1. Let w = 573 + y. Is w at least 1/4?
False
Suppose j = -4*j - 10. Let z be j/4 - 52/(-8). Let h be z/4 - (-8)/8. Is h greater than 3?
False
Let g be (-93)/33 + 1 + 2. Suppose w - k = -3*w - 1, w = -5*k + 5. Is w != g?
True
Let l = -902/1115 - -2/223. Which is greater: l or -2?
l
Suppose 0 = -x - 2. Let k be (-2)/4*(0 - -2). Which is greater: x or k?
k
Let a = -0.1 + 0.1. Let k = a - -0.1. Which is smaller: 2 or k?
k
Let p(w) = -5*w + 3. Let g be p(2). Suppose -c - 2*y - 8 = -0*c, -y - 32 = 4*c. Does c = g?
False
Let y = 2 + -1. Let k be 5/(-20) + y/4. Is k greater than -1/4?
True
Let d = 312/31 + -72415/7192. Is 0 > d?
True
Let v = 32.2 + -32. Is -3 not equal to v?
True
Let o(f) be the third derivative of f**6/120 - f**5/15 - f**4/4 + 7*f**3/6 + 2*f**2. Let c be o(5). Which is greater: c or 1?
c
Let k = -5 + 4. Let v = 1.9 - 0.7. Let i = v + k. Which is smaller: i or -2?
-2
Suppose 0 = 4*q - 0*q. Let j = -2157197/60 + 35952. Let s = j + -1/20. Which is bigger: q or s?
q
Let r = -17/27 - 1/27. Let j = 6/67 + -164/335. Which is smaller: r or j?
r
Let i(k) = k - 21. Let l be i(6). Which is smaller: l or -1?
l
Let h = 8 - 4. Let m = -18 - -13. Let k = m + h. Which is greater: k or 1?
1
Let l be 7/2 - (-4)/(-8). Suppose -6 = 2*t + d, -2*t - 3*t + 2*d + 3 = 0. Let k be (4 + t)/l + 1. Which is greater: 1/2 or k?
k
Let m be (-6)/4 + 1/(-2). Let f be (-134)/(-5) + (-7)/(-35). Let a be (3*(-6)/f)/m. Which is bigger: -1 or a?
a
Let f = -0.56 + 0.55. Which is smaller: 4/5 or f?
f
Suppose 4 = k + 3*k + 3*n, 0 = -5*k + 4*n + 5. Let j be 3 + 0 + (-116)/39. Let d = -14/39 + j. Is k less than or equal to d?
False
Suppose -2*p - 4*d + 106 = 0, p - 26 = d + 18. Which is bigger: 0 or p?
p
Suppose -3*q + 97 + 23 = 0. Let t = 64 - 61. Let v be t - 1 - q/22. Is v at least -1?
True
Let n be 0 + ((-495)/(-399) - 2). Let c = -9/19 - n. Are 0.1 and c nonequal?
True
Let l be 1 + 6/(-8)*4. Is -20/13 at least as big as l?
True
Suppose 4*c + 5 - 1 = -4*j, 4 = -c - 4*j. Let y = 2 + -1.9. Is y less than c?
False
Let v be 16/6 - (-1 - -2). Let j(a) = -a**2 - a + 44. Let i be j(6). Is i at least as big as v?
True
Suppose 2*i = 2 + 2. Let f be i + -2 + (-2 - -1). Which is bigger: -2/5 or f?
-2/5
Suppose 0 = 2*l + l - 6. Let f be 0 - (2*-1 - 0). Suppose l*y = -f*y. Which is greater: y or 1?
1
Let k(o) = 5*o**3 + 2*o**2 - 1. Let i be 3/(-5) - 16/(-10). Let z be k(i). Let j be (-14)/z - (-1 + -1). Which is greater: 1 or j?
1
Suppose -4*b - 2*u + 8 = 0, 5*u - u = 0. Suppose -5*r = -3 - 42. Suppose 2*m - 5 = -r. Which is smaller: b or m?
m
Let z = -28 + 25. Do z and -2 have the same value?
False
Suppose 18 - 3 = -5*z - 5*f, 4*f + 12 = 5*z. Let p = 1.33 + -0.13. Let h = -0.9 + p. Which is smaller: h or z?
z
Let u = 2/9 - 1/3. Which is bigger: 0 or u?
0
Let h = -0.97 + 1.07. Let l(v) = -v**2 - 4*v + 5. Let f be l(-4). Suppose 2*q + f*r - 16 = 0, -r - 5 - 2 = -3*q. Is h at least q?
False
Let a be (1 + -2)*1 + 4. Suppose 4*l = 5*p - 2, 5*l + 3*p + 9 = 25. Suppose 0 = -a*z + 2*o + 4, -l = -3*z - o + 5*o. Is 2 > z?
False
Suppose 5*j - 9 = 1. Suppose 0*q = -j*q - 2. Which is greater: q or -2?
q
Let r = 5.3 + -5. Which is smaller: r or -0.4?
-0.4
Let b = -56 + 614/11. Which is smaller: 1 or b?
b
Let x be (-230)/(-45)*(-3)/(-1). Do 2/7 and x have the same value?
False
Let q be (-6)/(-44)*28/(-3). Which is greater: q or 0?
0
Let z be ((-18)/(-5))/2 + 3/15. Which is smaller: -6 or z?
-6
Let b = 235/2 - 122. Are -5 and b equal?
False
Let y = 53 + -373/7. Which is smaller: y or -4.1?
-4.1
Let q = -0.46 - -0.5. Let h = q + -0.03. Do h and 0.1 have different values?
True
Let x be (20/10)/(2 + 4). Let s be 21/(6*(-1)/(-4)). Let l be 10/s - 4/(-14). Which is greater: x or l?
l
Let q be (18/5)/((-6)/(-20)). Suppose -q = -5*l + 3. Let k be 6/10*5/1. Is l <= k?
True
Suppose -3*g = -2*k + 11, 5*g - 4*k - k = -25. Let r be -3 - (-1)/((-4)/(-19)). Let t = r - 2. Which is smaller: g or t?
g
Let c = 5 + -5. Let o be c*(0 + 2 + -1). Which is bigger: 0.1 or o?
0.1
Suppose -2*c + 6 = -3*c. Let r be 5*(-2)/(-2)*-1. Is c equal to r?
False
Let r = 7.9 + -5.9. Let l = 2 + -1.9. Is r at least l?
True
Let v = 94 + -127. Are -31 and v equal?
False
Suppose 0*u - u = 0. Suppose -9 = -3*j - u. Is j <= 11/5?
False
Let a = 1.25 + -2. Let y = a - 0.24. Let d = y - 0.01. Which is smaller: -2 or d?
-2
Let v be ((-8)/6)/(2/6). Let c = 41/5 - 163/15. Are v and c nonequal?
True
Let i be (-2 - (-165)/78)*2. Let h = i - -11/65. Which is bigger: 1 or h?
1
Let r = 7 + -3. Let l(p) = p**2 - 4*p. Let q be l(r). Is q greater than or equal to 2?
False
Let b = 2.8 - 2.9. Which is bigger: 1.3 or b?
1.3
Suppose 0 = a - 3*a + 2. Is 3/10 less than a?
True
Let p = -7 + 4. Let x be p*-2*2/12. Let o = -3.2 + 3. Is o smaller than x?
True
Suppose w - 3 = -0. Suppose w*c - 3*k = -9, 0*c - 5*k - 6 = 2*c. Is c smaller than -3?
False
Let q(r) = -r**2 - 2*r + 7. Let z be q(-3). Let i be z*(4/8 + 0). Which is smaller: 7/3 or i?
i
Let z be 2 + 3/(-6)*10. Is z at least as big as 1?
False
Let l = -7.8 - -7.9. Which is bigger: 5.7 or l?
5.7
Let c = -45428/77 + 590. Which is bigger: c or -1?
c
Suppose -n = d - 4, -n = -3*n - 3*d + 12. Let b = 3 + n. Suppose 3*q - 4 = 5*q, 2*v - 5*q = 12. Is v < b?
True
Let y(h) = h - 10. Let a be y(16). Suppose 0 = -4*x - 12, -5*x = 3*o - a*x - 33. Which is bigger: o or 9?
o
Let g be 2130/(-21) - (-6)/14. Which is bigger: -100 or g?
-100
Let j(k) = k**3 - 5*k**2 - k + 5. Let o be -3 + 4 + 5 + -1. Let v be j(o). Is 0 != v?
False
Let w = -0.1 - -0.6. Let z(m) = m**3 - 2*m**2 + 2. Let n be z(2). Is w at least n?
False
Suppose h + 3*g = -6, 3*h - 3*g - 14 = -4*g. Which is s