 Let p(w) = w + 11. Let m be p(-7). Let v be 2/m*24/(-21). Which is greater: v or r?
v
Let v(s) = 2*s - 3. Let k be v(6). Let a(i) = 5*i + 20. Let r(f) = -f - 1. Let q(x) = a(x) + 6*r(x). Let l be q(k). Do l and 4 have the same value?
False
Let t be (0 + 0)*(-3)/6. Suppose 2*b = -2, 2*a - 2*b = -6*b - 6. Which is greater: a or t?
t
Suppose 3*b = 7*b. Are -1/10 and b equal?
False
Let r = -15.07 - -0.07. Which is smaller: 3/4 or r?
r
Let l = 2 + -2.08. Let r = 0.22 - l. Which is smaller: -2 or r?
-2
Suppose 8*u - 15*u - 266 = 0. Is u greater than or equal to -38?
True
Let m be ((-14)/(-4))/(105/(-406)). Let h = 40/3 + m. Which is smaller: h or 0?
h
Let h(n) = 10*n**2 - 1. Let a be h(1). Suppose -2*c - c - 5*w = 7, 3*c - 3*w = a. Is -6 less than or equal to c?
True
Suppose 3*w = 2*w + 1. Suppose 0*h = h + w. Which is smaller: -1/6 or h?
h
Let y be 6/9 + (0 - 5/3). Suppose 2*i - g - 3 = -4, 4 = -i - 3*g. Is y smaller than i?
False
Let a = 3 - 2.93. Let y = a - 0.77. Which is greater: 0.1 or y?
0.1
Let l be 88/(-78) + (-4)/(-6). Let i be 2*(-2)/(-6)*(-12)/(-8). Do i and l have different values?
True
Suppose 10 = 4*d - 14. Suppose 0 = -d*r - 2 - 4. Which is greater: r or -2/39?
-2/39
Suppose -5*v = 2*p + 10, 5*p - 6 = 3*v + 31. Let x be (-8)/(-2) + (-8)/(-4). Which is greater: x or p?
x
Suppose r + 4*r = -c + 30, 0 = 5*r - 4*c - 5. Suppose 0 = -5*w - 3*l - 10, -2*w + 4*l - 3 = r*l. Do w and 7/3 have different values?
True
Let p be (20/(-15))/(2/12). Is -8 smaller than p?
False
Let h(i) = -i**3 + 7*i**2 + 3*i + 8. Let l be h(7). Let v = -86/3 + l. Do -1 and v have different values?
True
Let n = 41 - 41.2. Let s be 2/(-6) - (-254)/(-6). Let t = -43 - s. Which is smaller: t or n?
t
Let z = 4/11 - 5/44. Is 9 != z?
True
Let m = -66 - -297/4. Which is greater: m or 9?
9
Let l be (3 + 10/(-6))*6. Let n(h) = -h**2 + 8*h - 3. Let m be n(l). Which is bigger: -15/4 or m?
m
Suppose c = -3 + 2. Suppose -5*x - 2*m - 493 = 0, 0 = 2*x + 2*m - 5*m + 201. Let q be (-2)/(-8) - x/(-108). Which is smaller: q or c?
c
Let n = 1.31 - 0.31. Let b be 0 + 0 - (-42)/(-5). Let x = -8 - b. Is x > n?
False
Let m = 13 - 13. Let d(x) = -2*x - 2. Let c be d(-4). Suppose -3*t + m*t - c = 0. Is -4/5 bigger than t?
True
Let u be (-4)/14 + (-22)/(-28). Let q = -289/12 + 75/4. Let h = -46/9 - q. Is h at least as big as u?
False
Let f be 0 - (0/1 + -1). Which is smaller: f or -2/37?
-2/37
Let d be (-1)/((-38)/12 - -3). Let c be (d/9)/((-2)/3). Which is smaller: 2/15 or c?
c
Suppose 3 = n - 2*n. Is n < -4?
False
Let r = 0.4 + 1.6. Let i = -2 + r. Are -1 and i equal?
False
Suppose s = 4*y - 18, 3*s + 3*y - 5 = 1. Suppose 4*q - 8 = z + 2, 50 = -5*z + 4*q. Let i = z + 7. Which is bigger: s or i?
s
Suppose -y - 12 = y. Is -3 less than y?
False
Let v be (-10)/35 - 26/(-238). Which is smaller: 0 or v?
v
Suppose 0 = -4*u, -6*z + 3*u - 652 = -2*z. Let q = 484/3 + z. Let o = 31/15 + q. Is 0 > o?
False
Suppose -4 = -4*j + 6*j. Let a be (-41)/(-28) - j/8. Which is smaller: -1/4 or a?
-1/4
Let f(l) = 0 + 0*l - l - 6. Let p be f(-6). Let o be (-30)/528*4*(-8)/(-10). Which is smaller: p or o?
o
Let z be 42/(-70)*5/7. Let m(b) = 2*b**2 + b + 1 + b + 0*b**3 + b**3. Let j be m(-1). Which is smaller: z or j?
z
Let c(k) = k**2 + k - 2. Let d be c(-2). Which is smaller: d or 1/13?
d
Let z be 62/31*(-1)/(-8). Which is smaller: 1/90 or z?
1/90
Let d be 62/92 - (-4)/(-8). Is d at most as big as 1?
True
Let u = -2 - -2. Let a = u - -1. Let k = 10 - 6. Is a greater than or equal to k?
False
Let i be (-1 - (-2)/4)*1. Suppose -4*h = -0*h - 2*m + 10, -2*h = 4*m + 20. Let g be (-19)/(-3) + h/12. Which is smaller: i or g?
i
Let j be ((-1)/2)/((-4)/(-8)). Let c be (-23)/(-65) + 3/(-15). Is j >= c?
False
Let a = -10 - -12. Let j = -289/8 - -36. Is a less than j?
False
Suppose k - 21 = o + 5*k, 2*o = -4*k - 22. Let v = 3 + -1. Suppose -4*d - h = -3*h - 8, -5*d - v*h + 1 = 0. Which is greater: o or d?
d
Let a be (-2)/1*1/2. Which is greater: a or 0?
0
Let x be 7/(0 - (-1)/(-2)). Which is smaller: -13 or x?
x
Let y = 1.96 - 1.6. Let f = y - -0.04. Let b = f + -0.2. Are -1 and b equal?
False
Let i be -4*(-316)/(-154) + 1. Let w = 84/11 + i. Let y be (-2 - 0)*7/14. Is w at least y?
True
Let h = -1 + -28. Let a = 405/14 + h. Let d be (360/16 - 22)*(-1 + 1). Which is greater: d or a?
d
Suppose 3*j - 45 = 3. Let p be (j/(-32))/(1/6). Suppose 5*s + 13 = 3. Which is smaller: s or p?
p
Suppose 0 = 2*c - 6, 0 = 5*u - 3*c + 2 + 2. Suppose -2*w = 5*d - u, -4*w + 5 + 4 = 3*d. Which is bigger: -2/15 or d?
-2/15
Let a be ((-12)/8)/(9/(-12)). Suppose -3*k = -a*k. Which is greater: k or 1/2?
1/2
Let o(p) = 3*p**2 + 5*p + 5. Let f(l) = 5*l**2 - 2*l**2 - 2*l**2 - l + 3*l + 2. Let j(a) = 11*f(a) - 4*o(a). Let i be j(3). Are -1 and i nonequal?
False
Let m be (2 - (1 - 1))*(-1)/(-2). Which is bigger: -5/11 or m?
m
Suppose 38 - 11 = -3*w. Let x(b) = -b**3 + 7*b**2 - 9. Let v be x(7). Let c = v - w. Which is smaller: c or -4/11?
-4/11
Let w(u) = u**3 + 4*u**2 - 4*u + 3. Let d be w(-5). Let z = 14 - -7. Suppose -5*q + 2*q = 2*m + z, 0 = 5*m + 4*q + 35. Are d and m unequal?
True
Let y = -394/4851 + 4/99. Do y and -1 have the same value?
False
Let a be 10/6*(-18)/(-20). Which is smaller: a or -0.2?
-0.2
Suppose 0 = 3*j + 3*y + 24, -4*y = j - 0*y + 17. Is j greater than or equal to 2?
False
Suppose -3*t = -4*t + 7. Suppose 4*p + 1 - t = 2*q, 5*q - 5*p - 5 = 0. Suppose -q*i = 25, 9*l + 3*i + 30 = 4*l. Which is bigger: l or -4?
l
Suppose 2*n - 2*p = 3*p - 51, 3*n = -2*p - 29. Which is greater: n or -14?
n
Let y = -0.3 + 0.3. Let x = 3.8 - 0.8. Let j = x - y. Which is bigger: -2/3 or j?
j
Suppose 2*d + 13 = -a, -4*a + 25 = -8*a + d. Let w be (3/a)/(9/6). Do w and -3/2 have the same value?
False
Suppose 5*f + 4 = -n, 6*n - 2*n - 9 = 5*f. Let m = 8439 - 33939/4. Let o = m + 46. Which is bigger: f or o?
o
Let v = -5 + 11. Suppose -4*h + v = -h. Suppose 22 = -h*s - 4*i, -5*s + 2 - 27 = 4*i. Which is bigger: s or 0?
0
Let u = -8 - -9. Is u at least as big as -0.4?
True
Let u = 11.1 + 12.7. Let w = -22 + u. Let s = w + -0.8. Is 0 smaller than s?
True
Suppose 3*a - 4 - 5 = 0. Which is bigger: -1/4 or a?
a
Let t(f) = 2*f**2 - f - 1. Let w be t(2). Suppose 0 = -11*c + 6*c + 15. Suppose w*u + c*v + 0*v = -2, -3*u - v = 2. Is -1 greater than or equal to u?
True
Let i be 1*3*(-6)/(-3). Suppose -304 = -32*w - 6*w. Is w greater than or equal to i?
True
Let u = -1 + 1.4. Which is greater: u or -0.1?
u
Let k(f) be the third derivative of f**5/60 + 5*f**4/24 + 2*f**3/3 - 3*f**2. Let m be k(-3). Which is smaller: m or -3?
-3
Let r = 903/2 - 147193/326. Does r = -1?
False
Let c = 7 + -3. Let t = -5 + c. Let z = t + 3. Which is smaller: -2/11 or z?
-2/11
Suppose 0 = 3*v + 3*v - 6. Which is smaller: 4/39 or v?
4/39
Suppose -3*c - 3 = -5*x, c - 3*x + 2 = -c. Let k = 5 + -7. Let j be (k - (-5 + 3)) + -1. Is c smaller than j?
False
Let n be (2 + -2)/(1*-2). Let q = -1.1 + 0.9. Is q at most n?
True
Let t(p) = -p**2 - 9*p - 14. Let w be t(-2). Is -6/7 < w?
True
Let i be 2 + (1 + -1)/(-2). Suppose 2*j + 4 = -i*j. Is j equal to 1/4?
False
Let u = 15 + -17. Let i be 5/u + 2 - 0. Is -2 bigger than i?
False
Let s be (5 + -1)/(2/4). Let f(y) = y**3 - 8*y**2. Let c be f(s). Suppose c*k + 8 = 4*k. Which is smaller: 1 or k?
1
Let t be (38/(-6))/(42/549). Let j = 83 + t. Is j >= -1?
True
Let g(h) = h**3 + 7*h**2 + 6*h - 2. Let b be g(-6). Let m(s) = -s**3 + 3*s**2 + 6*s - 6. Let v be m(4). Let a = v - 2. Which is greater: b or a?
a
Let i be 1/(((-2)/(-5))/((-108)/(-30))). Do 17/2 and i have different values?
True
Let p be ((-10)/(-6))/(3/9). Suppose -2*w - 5 = -4*g + 1, -3*g - 15 = p*w. Is w < -3?
False
Let o be (-2)/5 + 8*2/40. Let w = -4 + 7. Is o at least w?
False
Let x be (3756/(-192))/(1/(-7)). Let m = x - 137. Is m at most as big as 1?
True
Let n = -39/2 - -20. Let a = -2 - -5. Is n <= a?
True
Let t be (-2 + 24/5)*5. Suppose 5*i - t = 1. Let c = i + 2. Which is smaller: c or 6?
c
Let x = -2 + 5. Suppose -5*k + 18 = -x*k. Which is smaller: 10 or k?
k
Let g be ((-4)/(-6) - 0)*-20. Let m = g - -13. Which is smaller: 1 or m?
m
Let w be 1/(-2)*0/(-13). Which is bigger: -4/25 or w?
w
Suppose -4*f - 71 = 17. Let p = f + 19. Which is smaller: p or -1?
p
Let u = 20 + -18. Suppose -3*f +