 = 46 + -68. Let v = c + 112/5. Is v less than 1?
True
Let b be 52/140 + (-12)/21. Suppose 0*p = 3*p + 6, p - 3 = 5*d. Which is smaller: d or b?
d
Let g be ((-8)/100)/((-2)/10). Which is bigger: -0.4 or g?
g
Let t = -5/462 + 3/154. Let x = t - -452/1155. Is x < 1?
True
Let r = 0.09 - -5.91. Let f = 6.1 - r. Let q = f - 0.07. Is -1 greater than q?
False
Let y = 78/19 - 276/95. Suppose -3*o = -3*h - 5*o - 4, -5*h + 2*o + 4 = 0. Which is bigger: h or y?
y
Let z be 4/(-15)*-3*(-5)/18. Suppose 6*h - 4*h = 0. Which is greater: z or h?
h
Let j be (-4)/(-3) - (-132)/(-108). Do j and 1 have the same value?
False
Let m(n) be the third derivative of -n**4/24 - n**3/3 + 3*n**2. Let x be m(9). Is -10 <= x?
False
Let p = -2.5 + -1.3. Let o = p - -5. Let x = 1 - o. Which is bigger: x or -1?
x
Let q = 43 - 43. Let s be 21/(-15) - 4/(-2). Which is bigger: q or s?
s
Suppose 3*v - 5*g + 25 = 3, 2*v - 4*g + 16 = 0. Suppose -4*f - 5*t - 11 = 0, -3*f = 4*t + 10 - 2. Is v equal to f?
True
Let w = -4 - 5. Let b = w + 10. Is b less than 0.7?
False
Let f be 8/(-2) - (2 - 6)*1. Which is bigger: f or -5/7?
f
Let x be (12/16*4)/(-1). Does x = -13/6?
False
Let w = 4.96 - -0.04. Let q = -4.9 + w. Let i = 0.3 + 5.7. Is q at least as big as i?
False
Let k be -2*(2/15 + (-156)/2520). Is k < 0.03?
True
Let a be 6/4 + (-153)/18. Which is greater: a or -15/2?
a
Let b be ((-24)/(-36) - (-86)/(-48))/(-6). Is b < 2?
True
Let j be 4 - (3*(-3)/(-9))/(-1). Which is smaller: 4 or j?
4
Let z = 17 + -18. Which is bigger: z or -3?
z
Let b = -7.4 - -6.4. Which is greater: 2 or b?
2
Let r = -16 + 19. Suppose -2*t = r*t - 20. Let w be (0 + -4)*(-1)/1. Is w at least t?
True
Let c = 15 + -28. Is c smaller than -14?
False
Let n = 248/225 - 11/9. Is n less than or equal to 0?
True
Let g(k) = 2*k + 2. Let c be g(2). Let b be c/9 + (-16)/33. Which is bigger: 0 or b?
b
Let q = 6 - 3. Suppose -q*o + 4*m = -4, o = -4*o + 2*m + 2. Let y be (-16)/(-16)*4/14. Which is smaller: y or o?
o
Let q(a) = a**3 + 8*a**2 - 2*a - 3. Let h be q(-8). Let p = 7 - h. Let y be (2 - (p - -3)) + -2. Which is smaller: 0 or y?
0
Let c be (-1)/6 - (-2)/4. Let l = -0.52 + 1.46. Let n = 0.06 + l. Which is smaller: n or c?
c
Let t be 1 + 2 + (1 - 20). Which is smaller: -17 or t?
-17
Let k be 0/((-8)/48 - 11/6). Is 4.4 less than or equal to k?
False
Let k(q) = 3*q - 5. Let g be k(4). Let n(y) = 2*y + 19. Let i(l) = -3*l - 28. Let o(j) = g*n(j) + 5*i(j). Let v be o(-8). Which is bigger: 2 or v?
2
Let w(x) = -x - 5. Let l be w(-5). Let i = l + 2. Suppose -k + 3 = i*k. Is k bigger than -1/8?
True
Let h(a) = a + 7. Let w be h(-7). Which is bigger: w or -8/11?
w
Let f = -2 - -1. Let a(j) = j - 1. Let c(x) = x - 1. Let h(k) = 2*a(k) - c(k). Let u be h(f). Is u < -3?
False
Let q be (-4)/(48/7) + (-2)/(-6). Which is greater: -2 or q?
q
Let k be (-2 - -2)*(-3 + 4). Suppose -m - 2*c - 7 = 0, k*c = 3*m + c - 4. Let v be 1/((-3)/(-4))*3. Is v greater than or equal to m?
True
Let l(z) = -z**3 - z**2 + 3*z - 3. Let c be l(-3). Suppose -2*x - c = 0, 3*j + x + 4 = 4*j. Let g = 3 + -2.6. Which is smaller: j or g?
g
Let w be 5/(-4) + 1 - (-161)/868. Is -0.1 greater than w?
False
Let k be 7 + 5/(-10)*6. Are k and 2 nonequal?
True
Suppose -94 - 26 = 4*f + 4*g, 2*f = -g - 58. Which is smaller: -29 or f?
-29
Let y(u) = 2*u + 3. Let a be y(0). Suppose a*t + 5 = c, -2*t + 0*t - 5 = c. Is -1/17 greater than or equal to c?
True
Let d(l) = 2*l + 1. Let v be d(2). Which is smaller: 7 or v?
v
Let z = -1117/55 - -102/5. Which is bigger: z or 1?
1
Suppose 4*m = -6 + 26. Suppose -54 - 1 = -m*y. Which is greater: 10 or y?
y
Let c = 3 - 1. Suppose -i + 12 + 4 = 5*j, -2*i = -2. Which is greater: c or j?
j
Suppose 4*u - 3 = a + 3, 2*u - a = 2. Is u at most as big as 16/15?
False
Let d = -6/5 - -9/5. Let j = d - 1/10. Are j and 0.2 equal?
False
Let f be (4 + -3)*2/2. Do f and 1/34 have the same value?
False
Let s = 0.4 - -5.6. Let o = s + -1. Let l = 7 - o. Is l less than or equal to 0.1?
False
Let o = -4 - -3. Suppose -a = -6*a + 5. Is a at least o?
True
Let c = -2 - -4. Let z(s) = s**2 + 4*s**2 - s**3 + 2 - 1. Let i be z(5). Which is bigger: c or i?
c
Let b = 0.176 - -0.824. Is b < 4/13?
False
Let v be (-4)/6 - (-4)/(-12). Suppose -4 = -41*z + 45*z. Is v bigger than z?
False
Let t = -240 + 2164/9. Which is smaller: 1 or t?
t
Let k be ((-28)/(-42))/((-13)/6). Which is bigger: 0 or k?
0
Let c = 18 - 45. Let d be ((-4)/(-6))/((-6)/c). Suppose o = -2*o + d. Which is smaller: o or 1/6?
1/6
Let o = -0.27 + -0.06. Let x = o - -0.4. Which is greater: x or -0.1?
x
Let j be 2/(1 - -3 - 2). Let x be (-121)/(-170) + (-3)/(-6). Let q = x + -24/17. Which is smaller: j or q?
q
Let w be (-8)/6*(-3)/(-2). Suppose 0 = -b - 0 + 3. Suppose 0 = -b*p + u + 3, 3*u - 4 = -2*p - 13. Is w equal to p?
False
Suppose 0 = -4*k + k + 12. Suppose 2*z = 7*c - 3*c - 12, -2*c - k*z = 14. Is 1 bigger than c?
False
Let m be (24/(-20))/(4/(-10)). Let n be 10/m*(-7)/(-105). Which is smaller: 1 or n?
n
Let h(v) = 2*v - 4. Let d be h(3). Suppose -5*r = -0*r - 2*p - 5, 5*r - 5 = -d*p. Is r >= 2?
False
Let c(w) = w**2 - 9*w + 10. Let h be c(8). Let t = -5 + h. Let q be -5 - t - (-1 - -1). Is q equal to 0?
False
Let q = 25.1 - 27. Let m = -0.9 - q. Does -0.4 = m?
False
Let c = -1922/7 + 274. Let h = 9.2 + -9. Is h less than or equal to c?
False
Let u be (-6)/(-3) + 43/(-28). Let d = u + -5/28. Which is smaller: 0 or d?
0
Let t(u) = -2*u**2 - 2*u + 21. Let h be t(0). Which is smaller: h or 23?
h
Let u(k) = k**3 - 3*k**2 - 3*k - 3. Let c be u(4). Is 2/109 smaller than c?
True
Let i(q) = -q**3 - 7*q**2 - 8*q + 7. Let f be i(-5). Which is bigger: f or -18/5?
f
Let u = -3 - -5. Suppose 3*z + 6 = 2*q, 5*z - u*q + 4 + 2 = 0. Which is smaller: z or 2/7?
z
Let w = -0.8 + 0.7. Let m = 4.1 + w. Which is smaller: m or -2/11?
-2/11
Let i = -6 + 5.2. Let f = i - -0.9. Which is smaller: f or 1?
f
Let d = -4 + 0. Let s be 4/(-26) + 148/(-52). Let t be s*(32/(-6))/(-4). Are d and t nonequal?
False
Let p(h) = h + 12. Let a be p(-5). Is a <= 1?
False
Let m(h) = 2*h**2 + 21*h + 22. Let k be m(-9). Which is bigger: -32/7 or k?
-32/7
Let s = 4 - 1. Let j be 6*-1*s/12. Are j and -1/3 equal?
False
Let f(k) = k**3 - 9*k**2 + k - 18. Let b be f(9). Let i = -6 + -3. Is b at most as big as i?
True
Let j be (4 + (-1077)/270)/(2/(-5)). Is j less than -1?
False
Let f = -146/55 - 2/165. Let o be (-4)/(2 - 4 - -3). Is f smaller than o?
False
Suppose -w = 4*u + 8, 2*w + 3*u + 6 = w. Let o = 3284/425 - 130/17. Are o and w non-equal?
True
Let q(y) = -y**2 - 4*y + 20. Let x be q(-7). Which is bigger: x or 2/29?
2/29
Let c be (-18)/(-12)*4/(-21). Suppose -4*a - 20 = 0, 0*a - 20 = -3*w + 4*a. Suppose w = -0*g + 2*g. Is g smaller than c?
False
Let u = 8/85 + 2/1785. Suppose 3*j = 4*j + y - 1, 2*y - 2 = -5*j. Does j = u?
False
Let q(h) = -h**2 + 9*h + 1. Let u be -2 - (-6)/(0 + 3). Suppose -s + 2*s - 9 = u. Let y be q(s). Is 1 equal to y?
True
Let w(d) be the second derivative of d**3/6 + d**2 - 2*d. Let a be w(-10). Let i = -8 - a. Is i greater than 0?
False
Let z = -4 + 6. Let s be (2/(-5))/(z/10). Suppose 3*u + 7 = h, 5*u - 3*h + 9 + 8 = 0. Does s = u?
False
Suppose -5*q + 3 - 9 = 2*n, -n - 6 = 4*q. Let d = -8 - -37/5. Do d and q have the same value?
False
Suppose -16 = -l - l + 2*a, 0 = 4*a - 8. Which is bigger: 11 or l?
11
Let a = -3 + 0. Let l = -322 - -322. Which is bigger: l or a?
l
Let z = -0.95 + 0.85. Do -2/21 and z have the same value?
False
Let z be 7*(-1)/(-10)*(-495)/22. Is z at most as big as -17?
False
Suppose 2*j - 5*c + 0 = -1, -5*j = c - 11. Let g = 11/2 + -5. Which is bigger: g or j?
j
Let i(z) = 0*z - 4 + 0 - z. Let p be i(-4). Let y be p/((-3)/(-1*3)). Are y and -1 unequal?
True
Let r(n) = n**2 - 3*n. Let h = 11 + -7. Let p be r(h). Suppose -2*l - 5*j + 15 = 0, -p*l + j - 3 = -l. Is l at most as big as -1?
False
Suppose k = m + 3 - 0, -m - 5 = k. Let d be (-9)/6 - (-17)/(-2). Let j = d + 9. Do j and k have the same value?
True
Let s be (-7)/21*(-3)/(-2). Which is smaller: s or -14?
-14
Let r = -1 + 1.1. Let d = 0.4 - r. Which is greater: -1 or d?
d
Suppose 4*m + 3 = -5. Let w be (-15)/(-4) + m + -1. Is w not equal to 2?
True
Let n(p) = -p**3 - 4*p**2 - 5*p - 7. Let b be n(-3). Let l be (1 + 5)*(-42)/(-8). Let a = l - 3