
True
Let t = -51/7 + 146/21. Suppose -5*n - 2*y = -5 + 2, -3*n = -y - 4. Suppose -2*f + a = 2*f - 5, -a = n. Which is greater: f or t?
f
Let g = 2126609/54762 - 3/9127. Is g at least 39?
False
Let k = -0.0639 - -0.0339. Which is greater: k or 149?
149
Let h = 49 - 24. Suppose 0 = 7*c + 80 + h. Is -16 less than or equal to c?
True
Suppose 82 = 103*s - 104*s. Let y be ((-6)/s)/(150/(-12) + 2). Is y at least as big as 1?
False
Let o(r) = r - 19. Let a be o(17). Let f = a + 3. Suppose 3*d - 5 = z - 0, -z - 3*d + f = 0. Which is smaller: 1/3 or z?
z
Let g be 0/((-15)/((-50)/(-10))). Which is smaller: g or -4?
-4
Suppose 3*n = -4*t + 16, -4*t + 5*n = -7 - 9. Let p be (-36)/(-112) + t/(32/(-6)). Which is smaller: p or 1?
p
Let p = -20 + 29. Suppose -2*n - 5 + p = 0. Let u = 2/49 - 16/49. Which is smaller: n or u?
u
Let h be (-1)/3*((-105)/8)/7. Which is bigger: -4 or h?
h
Let c = 9 + -10. Let t(w) = -2*w**2 - w. Let h be t(c). Let p = 0 + -0.1. Which is smaller: h or p?
h
Let v be (-2)/4*(-4)/6. Let d = 322 + -321.8. Is d smaller than v?
True
Suppose 0 = 3*v, v + 69 = 3*b + 2*v. Is b < 93/4?
True
Suppose 10*i = 386 - 36. Is 34 greater than i?
False
Let k = 17/972 + 18967/82620. Let p = k + 6/17. Which is greater: 3 or p?
3
Let f = 110/3 + -37. Let g = 30.985 + 0.015. Let u = g - 30.8. Is u greater than f?
True
Let k be (-4 - -2) + (-9)/(-3). Suppose -1 = -d - w, -2*w - 6 = -3*d - 18. Is k < d?
False
Suppose -2*n + 4*l = 3*l + 2, n + 4*l - 8 = 0. Which is greater: -2/3 or n?
n
Let k = -897 - -1304. Is k <= 405?
False
Suppose 72 = 4*k - 2*b, 28*k + 12 = 29*k + b. Is 14 at most as big as k?
True
Let b be 878/1008 - ((-248)/(-28) - 8). Let h = 119/3 - 39. Which is greater: b or h?
h
Let h(l) = -l**2 + 8. Let c be h(0). Suppose -14 = -4*k - 2*r + c, 0 = -3*k - 2*r + 17. Are 4 and k non-equal?
True
Suppose 20*r + 169 = -311. Is r smaller than -25?
False
Let n = -41 - -62. Is n smaller than 21?
False
Let c = -46.1 - -129.1. Is c < -0.1?
False
Suppose 0*f + 6 = f. Suppose 3*p - 4*p - 3*w = 11, -w = p + 3. Let x be (-2 + 0)*(0 - (p + 2)). Is f at most x?
True
Let b = -32.66 + -3.94. Let f = 38 + b. Suppose 2*s + 0 = -5*a + 7, -5*s = -4*a - 1. Which is smaller: f or a?
a
Let d(x) = 31*x + 17. Let n be d(3). Suppose 5*u + 70 + n = 0. Are -37 and u equal?
False
Let w(n) = 24*n + 3. Let b be w(2). Let h be 4*(b/6 + -4). Are 20 and h unequal?
True
Suppose -273*w = -278*w - 2575. Which is smaller: -516 or w?
-516
Let l be (-136664)/136686 - (0 - 1). Let v = l - -107689/18639. Which is bigger: v or 7?
7
Let z(v) = -24*v**2 + 2*v - 1. Let x be z(1). Suppose -3*j - 4*y = 5, 2*j + 3 = -3*y - 2. Suppose 0 = -5*m - 4*q - q - 120, j*m + 100 = 5*q. Is x equal to m?
False
Let l = -0.7 - -0.86. Let p = -0.56 - -0.7. Let o = l + p. Which is bigger: 2 or o?
2
Let j be (-108)/(-9) - (-3 + 1 + 1). Let u be 48/(-195) + (j/(-5) - -3). Is 1 less than or equal to u?
False
Suppose 5 = -5*j + 3*q, 5*j - 4*q + 5 = -0*j. Let f(t) = -5*t**2 - t - 2. Let s be f(j). Are -7 and s equal?
False
Let n be (-34)/(-119) + (-192022)/(-7). Let a be (-4)/18 + 6/(n/1124). Which is smaller: a or 0?
0
Let u(l) = l**2. Let t be u(4). Suppose -4*k = 2*d + t - 2, 0 = 5*d + 4*k + 17. Let o be -2 - ((-66)/(-15))/(-2). Is d less than o?
True
Let m = -34 - -16. Let j = m + 20. Let w = j + -3. Is w <= -8?
False
Let u be (3/(-6))/(1/(-2)). Suppose 3*d = -16 + u. Let c = -1301/3 - -430. Are d and c nonequal?
True
Let w = 13.1 + -3.1. Let m = w + -10. Which is greater: -9 or m?
m
Suppose 14*g - 17*g = -5*w + 973, -4*g + w - 1269 = 0. Is g less than -315?
True
Let m = 11 + -6. Let b = -41 - -25. Let y = b - -65/4. Which is bigger: m or y?
m
Suppose 4 - 4 = -4*s. Let d be (-7)/21 + ((-4)/(-6) - s). Which is greater: -0.017 or d?
d
Let w = 1488 - 1487.8. Are 555 and w nonequal?
True
Suppose -l - m - 11 = -4*l, -l + 3*m = -17. Suppose 2*y - 20 = 5*x, -l*y + y + 2*x + 8 = 0. Suppose i - 5*i - a - 20 = y, -4*i = -4*a. Is i > -4?
False
Let k = -49 + 52. Suppose -13 = -k*x + 5. Suppose j - 4 - 2 = 0. Is j < x?
False
Let z be (-2 + 6)/((-1)/(-14)). Suppose -152 = -8*w + z. Is 25 equal to w?
False
Let k = -3 - -3.1. Let u = 28.913 - 26.913. Which is smaller: u or k?
k
Let c(q) = -q**3 + 9*q**2 + 9*q + 11. Let j be c(10). Suppose 3*b + 5 = -3*k - 7, 4*k = -b - j. Do 5/34 and k have different values?
True
Let r = 0.7 - 3. Let b = r + 2.1. Which is smaller: b or 0.1?
b
Let l = 26 - 23. Let d be (-5)/(-34) + l/(-6). Is -1 at least d?
False
Let p = -46848/97 - -483. Is 0 < p?
True
Let s(q) = q - 2. Let v be s(4). Let j = -1 - -3. Suppose -4*t + 8 = -3*u + j, -2*t = -5*u + 4. Is u at most as big as v?
True
Let t be 0*(-1)/(-5) - (2 + -1). Which is smaller: 4/407 or t?
t
Let f = -3.1 - -2.62. Suppose 2*h - 2*d = 14, 12*h - 15*h + 11 = -d. Which is greater: h or f?
h
Suppose -5*d - 4*o = 8, 0*d + 2*o = -2*d - 4. Let u = -3692/2575 + 90/103. Which is bigger: u or d?
d
Let a(z) = z**3 - 20*z**2 - 16*z - 109. Let s be a(21). Which is bigger: -26/7 or s?
-26/7
Let l be (-1)/2 + 7425/14826. Which is smaller: l or 0?
0
Let u be -1 - ((-2)/2 - -2). Let n(d) = d**3 + 5*d**2 - 7*d - 9. Let r be n(-6). Let o be (r + 3)/(0 - 1). Is u <= o?
True
Let t = 16 + -19. Let o(p) = -67*p + 1. Let x be o(t). Let n = 4849/24 - x. Is -1 bigger than n?
False
Let z = 28 - 28. Let k = -7 - -7.1. Which is greater: z or k?
k
Suppose 3*p - 5*x - 35 = 0, 0*x - 3*x - 3 = 0. Suppose 0 = 3*t + 4*m - 36, 2*m = -4*t + 17 + 21. Which is smaller: t or p?
t
Let j = -669 + 3342/5. Which is greater: -2 or j?
j
Let d = 11 + -10. Let u be d + -1 - (-1)/(-7). Let c be 0/(1 + -2 + -1). Which is smaller: c or u?
u
Suppose -c - 24 + 9 = 0. Let d(x) = -x**3 - 15*x**2 + 2*x + 22. Let a be d(c). Which is smaller: -5 or a?
a
Let v = 1.87 - -0.03. Let l = 1.8 - v. Which is bigger: -2.9 or l?
l
Let a = -49.806 - 1.194. Which is smaller: -17 or a?
a
Suppose 5*a = 29 - 14. Suppose 43*g = 46*g - a. Let j = 0.2 + -0.2. Is j at most as big as g?
True
Suppose -4*w + 3*p = 2*p - 265, 75 = w - 2*p. Which is smaller: w or 63?
63
Suppose 2*d - 30 = -3*d. Suppose 11*j + 40 = -48. Let k = j + d. Is -1 > k?
True
Let x be ((-90)/(-1635))/((-12)/(-10) + -1). Which is smaller: x or 0?
0
Let y be (45/675)/(2/(-402)). Is -12 != y?
True
Suppose -6*t + 5*t = 4*o + 59, -o + 3*t = 18. Let q be 1 - o/63*-3. Is -1/17 greater than q?
False
Let f(s) be the second derivative of -5*s**3/6 + s**2/2 + 10*s. Suppose -5*j + 21 = -2*j + 5*n, -4 = -5*j + 2*n. Let m be f(j). Is -9 at least m?
True
Let c(j) = j**2 - 11*j - 214. Let u be c(14). Which is greater: u or -518/3?
u
Let a(c) = -c**3 + 6*c**2 + 5*c + 6. Let w be a(7). Let x = w + 0. Let z = 9 + x. Is z > 6/11?
True
Suppose -2*s = -v + 69, 0*v - v - 3*s = -84. Let n be (-2)/12 - v/(-18). Is n at most 6?
True
Let h = -551.77 + 552. Let v = 3.3013 - 0.0713. Let y = v - h. Is y less than 2?
False
Suppose 0 = -5*l - c + 20, -4*l + 0*l - c = -17. Let d be 4/(-60)*l*-4. Which is bigger: d or 2?
2
Let z = -1487 + 2970. Is 1482 > z?
False
Let m be (-1 + 2)/((-1)/(-3)). Suppose -2*o = 1 - m. Let y be 36/(-126) - (25/7 - 4). Is y at least as big as o?
False
Let l be (-18)/(-7)*21/(-213). Which is smaller: -1 or l?
-1
Suppose 2*m - 5*m = -4*a - 4, -m = -a - 2. Suppose -2*n = -7*n + m*l, 4*l = 0. Suppose n*r + 2*r - z = -2, r + 4*z + 1 = 0. Which is greater: 4/9 or r?
4/9
Let p(a) = -a**2 - 16*a - 12. Let s be p(-15). Let c be 0/((4 - s)*-3). Which is bigger: c or 6?
6
Let b be (8/10)/((-2)/(-10)). Let s = 32 - 32. Suppose s = -3*c + c - b. Which is bigger: c or -10/3?
c
Let w = -110 - -112. Which is smaller: w or -17?
-17
Let l = 31.8212 - -0.0788. Let s = 26 - -6. Let j = l - s. Which is smaller: j or 0?
j
Suppose -12 = 4*s - 3*d + 4*d, 2*s = 3*d + 8. Is s < -17/8?
False
Let b(t) = -t**2 + 4*t + 6. Let c be b(5). Let d = -81 - -89. Let u be (d/(-260))/(8/(-5)). Which is greater: u or c?
c
Let l(m) = m**3 - 2*m**2 - 4*m - 7. Let k be l(4). Let f = -6 + k. Let p be (-10)/f - 2/3. Is -4 greater than p?
False
Let q be 20/(-6)*(-3)/(-6)*-6. Suppose -2*c - l = 6, l = -6*c + q*c + 18. Suppose -r + 7*s = 3*s + 2, s = -4*r - 25. Which is greater: c or r?
c
Let h = -879203/1938 - 1/646. Let o = -461 - h. Which is smaller: o or -6?
o
Let p = -29 - -29.9. Let m = -3.1 - p. L