-60)/275)/(2/(-5)). Which is smaller: u or v?
u
Suppose -2 + 15 = -2*v - 5*k, -5*v + 2*k = -11. Is 5/12 less than or equal to v?
True
Let o = 0.092 - 34.092. Is 0.1 greater than or equal to o?
True
Let j = -45 - -404/9. Let f = 12 + -13. Which is smaller: j or f?
f
Suppose -p = -5*g + 14, -4*g + 4 = -2*p - 6. Let r = 82/105 + -4/35. Let m = 8/21 - r. Do p and m have different values?
True
Suppose 5*v - 3*p + 42 = 0, -5*v = 8*p - 3*p + 10. Let z(k) = k**3 + 6*k**2 + 3*k + 9. Let x be z(v). Which is greater: -17/2 or x?
-17/2
Let a = -4/7 - -23/77. Is a at least as big as 0?
False
Let i = 3.04 + -0.04. Let x = 4 - i. Let b = -1 - -2. Are b and x non-equal?
False
Suppose -5*i + 10 + 15 = 0. Let u be 8/i - 2/(-5). Is u less than 1?
False
Let c(b) = 2*b - 3. Let y be c(4). Are y and 5 non-equal?
False
Let k = -728/11 + 66. Suppose 9 = -t - 1. Let i be 2/4 - (-5)/t. Which is bigger: k or i?
i
Let u be (-2)/(-3) - 62/84. Is 1 equal to u?
False
Let z(q) = q**3 + 10*q**2. Let b be z(-10). Suppose x + b + 2 = 0. Is -1/4 bigger than x?
True
Let h be (-2)/(-1) + (-12)/9. Which is bigger: -3/22 or h?
h
Suppose -7*j = -4*j. Let r = 0.1 - 2.1. Let i = r + 1. Which is greater: i or j?
j
Let p be (0 + 1)*(-21 - -12). Which is smaller: -7 or p?
p
Suppose 0 = -4*c + u - 0*u - 5, 5*c + 5*u = 0. Is 1/10 at most as big as c?
False
Suppose -2*i + 3*n + 8 = 0, -2*n = -4*i - 4*n. Let r be 2/2*(0 + 1). Let l = 1 - r. Which is smaller: i or l?
l
Let o = 1.02 - 1. Let y = -0.32 + o. Which is smaller: y or 0?
y
Let a(p) be the first derivative of 3*p**2 + 3*p - 1. Let m be a(-3). Let q be (3/(-10))/((-6)/m). Is 0 >= q?
True
Let r be (48/20)/(6/20). Let n(s) = s + 1. Let u be n(r). Let j be 96/10 - (-4)/10. Are u and j equal?
False
Let o = 3 + -2. Let m be ((-3)/(-2) - o)/(-1). Let u = 0.2 - 0.2. Is m less than u?
True
Let t(k) = -k + 2. Let a be t(-4). Suppose 35 = -a*n + 2*n + w, 5*w = -4*n - 17. Let u be 0/2*(-4)/n. Do -2 and u have the same value?
False
Let y = -1.48 + 1.18. Which is smaller: y or 34?
y
Let u be 2/(-1)*(-77)/22. Let l = 8 - u. Is -1/12 less than l?
True
Suppose 5*w + 2*h - 4*h = -96, 0 = w - h + 21. Let p be 4/w - (-48)/(-27). Are -2 and p unequal?
False
Suppose n = -4*v - 4*n - 15, -4*v = -3*n - 9. Which is smaller: -1/5 or v?
-1/5
Let t(z) = -2*z**2 + 3. Let n be t(-1). Which is bigger: -3/49 or n?
n
Suppose 3*r + 536 - 353 = 0. Which is bigger: -62 or r?
r
Let u be (0 + 2)/2 + -2. Let t = 2/23 + 28/207. Which is greater: t or u?
t
Suppose -1 = k - 3*z, -4*z = -4*k + z + 10. Which is bigger: 9/2 or k?
k
Let q be (-4)/6 - 7/(-3). Which is smaller: q or 3?
q
Let m = -0.05 - -0.02. Which is bigger: m or -2/3?
m
Let s be (3 + 0)*(-4)/(-6). Let v be ((-3)/(-14))/((-3)/(-8)). Let g = v + 13/14. Is s greater than g?
True
Let f(x) = x**2 - 5*x - 29. Let s be f(9). Which is smaller: 36/5 or s?
s
Let r = 2 + -2. Let x = r + 0. Let g = x - 0. Is 5 < g?
False
Suppose 10 + 2 = 3*v. Let m = v + -4. Let r = -17/36 + 2/9. Is m greater than r?
True
Let q = 474/151 + -186091/1510. Let r = q - -120. Are r and 1 equal?
False
Let l = 8 + 1. Let t be l/21*1/1. Let q(z) = -z**3 + 6*z**2. Let s be q(6). Is t at least s?
True
Let y = 2/44853 + -2885609/1480149. Let r = y - -5245/2871. Let c = 10/29 + r. Is 0 at most c?
True
Let z be ((-2)/(-1))/(2/3). Suppose -m + 3 = s, 8*s - 3*m = z*s - 17. Which is greater: s or -1/5?
-1/5
Suppose -5*n + 6 = -3*u - 15, u = -5*n + 13. Is u equal to -13/5?
False
Suppose 0 = 2*m - 4*g - 10, m + g - 3 = 2. Let d be (-4)/m*(-5)/2. Suppose 0 = -d*u - 0*u. Is -2/13 not equal to u?
True
Let i be 117/15*-1 + 2/(-10). Is 4 greater than or equal to i?
True
Let c be 18*2*3/(-12). Let a be (-1)/2*(-7 - c). Is -3/17 > a?
True
Suppose 3*n - 2*o = -3*o, -4*n = 3*o - 5. Let g = -251/38 + 13/2. Which is bigger: g or n?
g
Let n be (-16)/(-6)*72/32. Which is bigger: 5 or n?
n
Suppose -7*h + 155 = -10*h + 2*z, -2*h - 90 = 2*z. Is -50 at most h?
True
Let u be 1/5 - (-24)/5. Which is smaller: u or 6?
u
Let r(p) = -3 + 2 + p - p**2 + 3. Let x be r(2). Is x != -1/8?
True
Suppose 5*n - 5*k - 10 = 0, -3*k - 1 = 2*n + 5. Let y = n + 2. Suppose 6 = l + 2*l. Are y and l equal?
True
Suppose -5*i + 14 + 1 = 0. Let g be (i + -1 - 2)/1. Is -1/19 smaller than g?
True
Let u = -12.5 + 1.5. Let o = 10 + u. Is -0.2 < o?
False
Let g(b) = -b - 4. Let k be g(-9). Suppose -n - 3*n + 2 = -5*y, -5*y = k*n + 20. Let o be 17/(-11) + -1 + 2. Do n and o have the same value?
False
Let f = -4 + 9. Which is smaller: f or 4?
4
Let t be (6/4)/(-3)*0. Let k be (-6)/(-4) - 2/2 - 1. Are k and t non-equal?
True
Suppose -4*q - 2*l - 8 = -0*l, l = -4*q - 4. Suppose q = 4*z - 0*z - 8. Suppose -4*u = 6 + z. Is u greater than 1?
False
Let h(v) = 7*v - 3. Let i(a) = -8*a + 4. Let r(p) = -4*h(p) - 3*i(p). Let m be r(-2). Suppose 0 = 3*l + 2*t + 20, l = 3*l - 4*t - m. Is l greater than 1?
False
Suppose 3 = -j + 2. Let r be ((-38)/(-3))/(-2 + -1). Let o = r - -172/45. Is o smaller than j?
False
Let b be (0 + 1)*(-1)/2. Let u = -2 + 2. Do u and b have the same value?
False
Let k = 38 + -104/3. Are 4 and k nonequal?
True
Let x = -2 - -4. Suppose x*p + c = 2*c - 3, -27 = 5*p + 4*c. Does p = -3?
True
Let g = -18/5 + 7/2. Which is greater: 1 or g?
1
Let u = -7 - -5. Let w be 0 - u - (1 - 3). Suppose -1 = -3*q - w. Is 1 greater than q?
True
Let z(u) = -2*u**2 - 8*u + 3. Let y be z(-4). Suppose y*t = -t. Which is bigger: -1/3 or t?
t
Let a be (1/(-6))/((-8)/(-32)). Does a = -27/5?
False
Let w = -81 - -165/2. Which is bigger: 11 or w?
11
Suppose -2*x - 1 - 1 = -4*v, 0 = -2*x - v + 8. Let i = 2 - x. Let n = -181 + 1627/9. Which is greater: i or n?
n
Let c be 6/45*3/(-489773). Let j = c + 364195204/1469319. Let w = j - 248. Which is smaller: w or -1?
-1
Let n = 0.3 - 0.2. Let m = -0.18 + -0.22. Let d = m + 0.8. Which is bigger: d or n?
d
Let u = 2.1 - 2.1. Which is smaller: -1 or u?
-1
Let a = -920546/3 + 300816. Let c = 615161/102 + a. Let g = -3/17 - c. Which is smaller: 3 or g?
g
Let f be -3 + (-4 - (-13)/2). Let l be 2 + ((-6)/8 - -2). Let p = l + -3. Which is smaller: f or p?
f
Let r be (-2)/(-7) - (-198)/42. Suppose 48 = -8*x + r*x. Which is bigger: -15 or x?
-15
Let k be (-2)/(-2) + (-5664)/33. Let x = k + 171. Which is smaller: x or -1?
-1
Let q be 10/(-15) - (-52)/(-30). Is q <= -3?
False
Suppose 2*h + 0*h = v - 4, -4 = 2*h. Suppose -8 = -u - v*u. Is u <= 7?
False
Let f be (-5 - 55/(-15))*2/(-4). Which is greater: 1 or f?
1
Let a = -7 - -4. Let k = -1 - a. Let y be k + 1/(-2) + -1. Which is smaller: 2 or y?
y
Suppose 6*n = n + 365. Is 73 not equal to n?
False
Let t be (-1)/((-1)/5) + -1. Suppose t*u - 5 = -1. Suppose 3*q + 11 = 14*q. Is u at most as big as q?
True
Suppose 0 = 3*p + 5*n - 48, p + 5*n = 3*p - 57. Is 18 equal to p?
False
Suppose 0*w + 2*q = w - 32, -4*w + 118 = 2*q. Let x = -207/7 + w. Which is smaller: 0 or x?
0
Let r(b) be the first derivative of b**3/3 - 11*b**2/2 - 13*b - 1. Let t be r(12). Do t and -3 have the same value?
False
Let d = -5 + 8. Suppose -a + 2 = 1, -d*a + 1 = 2*w. Is w smaller than -1?
False
Suppose 0*i - 2*i - 5*g = 8, -3*i - 4*g - 5 = 0. Which is smaller: i or 3/8?
3/8
Let w = 4.579 + 0.021. Let t = -0.4 - w. Let r = -4 - t. Is r greater than -2?
True
Let r be 2/4*24/2. Let a be -1*(r + (-3 - -2)). Let d be (-5)/(-3) + a + 3. Is 0 greater than or equal to d?
True
Let t = -155 - -469/3. Let o = -66 - -68. Which is smaller: o or t?
t
Suppose a = 2*a - 2. Let k be 0/(-2*1/2). Suppose -4*m - 7 = 3*q - k, 0 = -2*q + 3*m + 18. Which is bigger: q or a?
q
Suppose -2*w = -5*a + 4, 0 = w - 5*a + 2 + 5. Suppose -3*o = -4*o + w. Are 3 and o equal?
True
Let l(p) = -2*p - 3. Let o be l(-2). Suppose 0*a = 3*r + 2*a - 6, 0 = a. Suppose -z + r = z. Are o and z nonequal?
False
Let g = -19.6 + 22. Let j = -0.4 + g. Let o be 0/4 + (-1)/(-2). Are o and j equal?
False
Let y be -2 - 2 - (-15 + (-1 - 3)). Which is smaller: y or 3?
3
Suppose -3*p - 15 = 0, -2*g + 1 = -g - 3*p. Let z be (-2 - -3)*4/g. Do z and 1 have the same value?
False
Let q = 17 + -16. Which is greater: 4 or q?
4
Let f be -2*((-63)/1029)/((-2)/7). Is -1/6 smaller than f?
False
Let b = 1.8 - 2. Let k = 0.19 - -0.01. Let d = k + b. Which is smaller: 1/6 or d?
d
Suppose -10 = -5*j, -2*x + 6 = -5*j + j. Suppose -8 = -4*q - 