/(-24). Suppose -3*k + 1 + v = 0. Let t be ((-8)/14 - k) + 1. Which is smaller: t or -2?
-2
Suppose 71 = 5*p + 1. Suppose 0 = -4*y - p - 6. Let a be (0 + -2 + 1)/2. Which is smaller: y or a?
y
Let z(k) = k**2 - k - 12. Let t be z(0). Let n be ((-6)/8)/(t/56). Let i = 2 - n. Is -3 at most as big as i?
True
Suppose 256 = 8*y + 56. Are y and 25 non-equal?
False
Let i(v) = -v**3 + 2*v**2 + 8*v + 2. Let l be i(4). Suppose 3 = l*m - 3. Which is greater: 4 or m?
4
Let w be (4/(-10))/((-3)/(-30)). Let k be (-2 + 0)*(-1)/w. Let h = 1.6 + -2. Is k at least as big as h?
False
Suppose -5*v - 1 - 24 = 0. Is v less than -2/5?
True
Let f = 3 + -2. Let i be (2/3)/(-1 - -2). Let a = i - f. Which is smaller: a or 1?
a
Let a be (-10)/75 + (-28)/60. Is a less than 2?
True
Let d = 34156361 + -3791394280/111. Let v = d + 1031/3. Let b = v - 4/37. Is b <= -1?
False
Suppose 0*m - 5*m = 4*a + 8, 2 = -a. Which is smaller: 12/43 or m?
m
Let c(t) = 5*t**2 - 13*t + 12. Let k(f) = -f**2 + f - 1. Let g(z) = -c(z) - 4*k(z). Let m be g(8). Is m bigger than -2/9?
True
Let b = -797/770 - -15/14. Is -1 >= b?
False
Let u = 3/571 - -24535/3426. Let q = -8 + 3/2. Let p = q + u. Which is smaller: 1/4 or p?
1/4
Let s = -10 + 14. Suppose 0 = -2*m - s*n + 1 - 17, -3*n = -2*m + 19. Let y = m + -1. Which is smaller: 2/9 or y?
2/9
Let q be (-3 + 3)/(4 + -3). Let h be (-41)/(-39) - 1/1. Let r = h + 35/78. Which is greater: q or r?
r
Suppose -7 = g - 4*i + 5, 0 = 5*g - 4*i - 4. Suppose 3*q - 3 = g*q. Which is greater: q or -4?
q
Let o be (-4)/(-3)*6/4. Let f = o + -2. Let l be ((-8)/(-14))/(0 + 10/35). Which is bigger: f or l?
l
Let l = -1157/7 + 165. Which is smaller: l or -1?
-1
Suppose 0*k - 3*k + 15 = 0, -5*x - 5 = -k. Let q = 85/266 + -2/19. Is q at least as big as x?
True
Let w = 225456/5 + -2466736/55. Let g = w + -242. Which is greater: 0 or g?
0
Let n(v) = v**3 - 10*v**2 + 8*v + 7. Let g be n(9). Let p be (g/(-4))/(5/2). Is p <= 1?
True
Let p be 1/(0 + (1 - 0)). Which is bigger: -1/64 or p?
p
Suppose n = 2*f + 19, -n + 29 = -3*f - f. Suppose -n*k - 2 = -11*k. Is k greater than or equal to 1?
True
Let w be 348/153 - 2 - 1. Let h = w - -1/17. Is -1 less than or equal to h?
True
Let b be (2/(-8))/(7/(-1148)). Is 43 less than or equal to b?
False
Suppose -o - 7 + 8 = 0. Which is greater: -2 or o?
o
Suppose 3*w + w + 8 = 0. Is w > -3?
True
Let j = 3 - 32. Let w = j - -29.26. Let i = -0.06 + w. Is -2/3 greater than or equal to i?
False
Suppose 3*o = -0*o. Let g(s) be the second derivative of -s**4/12 + 2*s**3 - s**2 + s. Let q be g(12). Are q and o non-equal?
True
Suppose 3*h - 5*z + 19 = 0, 0 = -0*h + 4*h - 4*z + 12. Which is smaller: h or -15?
-15
Suppose -5*d + 5*i = 10, -d - 1 = -4*i + 7. Let y be d/1 - 0 - 0. Let a = -9/7 - -31/35. Are a and y non-equal?
True
Let z(b) = -b**2 + 5*b - 4. Let h be z(3). Suppose -c + 3*i = 4 + h, -2 = c - i. Which is smaller: c or -1?
-1
Let d be 243/(-319) - (-10)/55. Let a = d - -1/29. Which is greater: a or -1?
a
Let m = -12 - 8. Let q be -5 - 5/(m/12). Is q equal to -2?
True
Let v(n) = n**3 - 2*n - 2. Let b be v(2). Are b and 14/11 unequal?
True
Let n be 1*7*-1 + 1. Let j(c) = -2*c - 7. Let f be j(n). Suppose -2*t + 4*t = f*d - 5, -12 = 2*d + 2*t. Is d less than or equal to -2?
False
Let l be (-2)/(-12)*(-104)/78. Suppose -7*h = -2*h + d + 7, d + 2 = 0. Is l not equal to h?
True
Let t be 5 - 3 - (-85)/(-30). Is 0 bigger than t?
True
Let a = -1 - 2. Let p be (-28)/(-42)*a/(-2). Is p > 6/11?
True
Let h = 22 - 13. Let b(z) = -z + 13. Let p be b(h). Which is smaller: p or 5/2?
5/2
Let s = -72 + 74. Is s smaller than -2?
False
Suppose a - 25 = -4*a, -60 = 5*r - a. Let m = r - -35/3. Which is bigger: m or 7?
7
Let q = -3 + 5/2. Let p = 4 + -7.1. Let j = 3 + p. Is q < j?
True
Let d be 18/45 + (-36)/(-10). Let h = d + 0. Suppose -y + 0 + h = 0. Which is greater: y or 2?
y
Let t be 62/(-84) + 3/18. Which is smaller: 2/7 or t?
t
Let a = -12810/37 - -346. Which is bigger: 0 or a?
0
Let j(i) = -2*i**3 + 6*i**2 + 7*i + 2. Let c be j(5). Let n be 18/91 - (-27)/c. Which is smaller: n or 1?
n
Let u = -3/2212 - -159279/11060. Which is smaller: 15 or u?
u
Let p = 95 - 96. Which is smaller: p or 2/49?
p
Let c be (-150)/39 - -6 - (-2)/(-1). Let r = -2 + 3. Which is smaller: r or c?
c
Let i = 4/5 - 107/15. Which is greater: i or -5?
-5
Suppose 0 = 47*f - 45*f. Is f at least as big as 4/33?
False
Let g = 985/7 + -141. Is -1/4 >= g?
True
Let v be 3/9 - (-4)/6. Let r be 1019*1*4/28. Let p = -145 + r. Which is bigger: v or p?
v
Suppose 0 = -0*o + o + 9. Let t = -16 - -27. Suppose 4*j = 2*j - d - t, -3*d - 17 = 4*j. Which is greater: j or o?
j
Let k(z) = 6*z - 1. Let o be k(2). Let q = o + -16. Which is bigger: -7 or q?
q
Suppose -3*w + 6*w + 26 = -d, 0 = d + 4*w + 30. Let x be (2 + 0)*21/d. Is -3 <= x?
True
Let i = -11 + 8. Let p = 8 + -5. Let z = p + i. Is z at most as big as -1/4?
False
Let c = 0.1 + -0.15. Which is bigger: 0 or c?
0
Let n = 102 + -101. Is n bigger than -4?
True
Let b be 5 + (1 + 0)*-1. Suppose 21 = -b*y - 15. Let w be (-1)/(-9) + (-2)/y. Is -1 >= w?
False
Suppose 0 = 3*t - 7 - 23. Are t and 10 non-equal?
False
Let w be (3 + -3)/(-3 - -1). Is -1/26 less than w?
True
Suppose -3*p = 2*p. Suppose 0 = 5*a - 5*t - 30, p = -2*t - 8. Are 1 and a unequal?
True
Suppose m + 3*m = -4. Let y be (-1)/((m*2)/12). Suppose -y*i + 15 = -i. Is 5/2 smaller than i?
True
Let k(g) = 3*g + 24. Let f be k(-8). Which is greater: f or 2/111?
2/111
Let h(z) = -4 + 4 + z**3 - 2*z**2. Let k = -6 + 8. Let i be h(k). Is 0 greater than i?
False
Let m = -256 + 176. Let x = -30430 - -518669/17. Let h = m + x. Which is smaller: h or 0?
h
Let f = 3.8 + -4. Let p be (3/(-129))/(14/(-214)). Let s = p - 3/43. Is f greater than s?
False
Let k be (-1130)/78 - 38/(-247). Is k != -15?
True
Let x = 0.06 - 0.01. Is x < 1?
True
Let o(v) = -4*v - 5. Let x(w) = -5*w - 4. Let s(z) = -4*o(z) + 3*x(z). Let f be s(-8). Which is smaller: f or 3/8?
f
Let s = -3 - -6. Let m(v) = -v**3 - v**2 - v + 5. Let b be m(0). Suppose -s*w = -3*p, -b*p + w = -0*p. Which is smaller: p or 1/2?
p
Suppose 4*r - 26 = -2*g, -7*g + 20 = r - 2*g. Do r and 3 have the same value?
False
Let b = -1 - -1. Suppose -4*s - y = -28, 0 = -s - 3*y + 4*y + 2. Let r be 1 + (b - 8/s). Do 2/7 and r have the same value?
False
Suppose 24 = -k - 4*v, -4*k + 0*v - 36 = v. Is 0 greater than k?
True
Let f = 108 + -107. Which is smaller: -33 or f?
-33
Let n be (0 - 0)*(-4)/(-8). Suppose n = -9*p + 5*p. Which is smaller: 1 or p?
p
Suppose -2*j - b + 3*b - 2 = 0, 5*j - b = 7. Suppose -2*q - 3*g + 8 = 0, 2*q + 4*g = -0*q + 12. Let s = j + q. Is -1 at most s?
True
Let c be 627/(-36) - (-2)/(-8). Let r = c + 365/21. Let w = -1 - 1. Which is bigger: w or r?
r
Let l = -1/60 - -871/60. Which is smaller: 14 or l?
14
Let h = -3 - -4. Which is greater: 0 or h?
h
Suppose 0 = 5*q + 2*m - 7, -2*q + q - 4*m - 13 = 0. Let d(w) = w. Let r(u) = u**3 + 5*u**2 + 4*u + 2. Let k be r(-4). Let s be d(k). Does q = s?
False
Suppose -c - 23 - 42 = -4*j, -69 = -4*j + 5*c. Are j and 16 equal?
True
Suppose 10*q = 5*q - 60. Suppose -4*x - 26 = 14. Is q < x?
True
Let w = -10.5 - -10.7. Let y be -2*(-16)/18 - 2. Is y greater than w?
False
Let k = -2338 - -30410/13. Which is greater: k or 1?
k
Let v be (2 - 4)*10/(-4). Suppose -2 = -4*o - v*l, 0 = -o + 2*l + 7. Let a be 1/o - 4/(-6). Is a less than or equal to 0?
False
Let o(d) = d**2 + 6*d - 2. Let y be o(-6). Is y > -9/4?
True
Let b = -6 - 5. Let v = 4 + b. Is v greater than or equal to -7?
True
Let m(f) = -1. Let z(u) = -u**2 + 7*u + 6. Let c(h) = -4*m(h) - z(h). Let l be c(10). Suppose 0 = -2*p + 4*n - l, -2*n - 2*n = 4*p - 4. Is -3 at most p?
False
Let c(h) = h**2 - 2*h + 1. Let r be c(1). Suppose -3 = 4*j - 2*m - 307, 0 = 5*j + m - 394. Let b = j + -315/4. Is b greater than or equal to r?
False
Let l(p) = p**2 - 7*p - 2. Let b be l(8). Let y = -4 + 9. Is b not equal to y?
True
Suppose 0 = 2*n + 2*k - 4 - 2, 5*n = 3*k + 31. Suppose n*i = -8 - 7. Is i smaller than -4?
False
Let z be ((-3)/2)/((-6)/128). Suppose -2*n + z = -6*n. Is n >= -7?
False
Suppose 6*p - 3*p = -4*s + 17, 5*p - s = -10. Let o = -216/5 - -2818/65. Which is smaller: p or o?
p
Let g = 2 + -4. Is -1/2 greater than or equal to g?
True
Suppose -2*y = -y. Let