Let t = v + 36. Which is greater: -6/5 or t?
t
Suppose -2*g = g + 12. Let n = 5 + g. Let u be n/(2*6)*2. Which is greater: 1 or u?
1
Suppose 3*h - 12 = 5*h - 4*u, 20 = 5*u. Let f(p) = 5*p + 102. Let t be f(-20). Suppose -6 = -t*k - 4*w, 2*w = h*k - 0*w - 30. Is 10 >= k?
False
Suppose 4*y - 3 = a, -8*a - 2*y + 5 = -5*a. Let c be ((-15)/(-6))/(2/8). Let b = c - 39/4. Is b < a?
True
Let l = 14.5 + 152.5. Which is greater: l or -4?
l
Suppose -2*c - 18 = 4*n, -4*c - 5*n = 52 - 16. Suppose 0 = -2*o + 4*y - 8, 53 = -4*o + 2*y + 25. Is c > o?
False
Let b = 9 - -11. Let m = b - 25. Suppose -5*o + 16 = -3*i, -2*i - 16 = -2*o - 4. Which is smaller: m or i?
i
Let i be ((-1130)/380 + 9 + -6)/(-1). Which is smaller: 1.1 or i?
i
Suppose -2*u - u + 5*c = 0, 5*u - 4*c - 13 = 0. Suppose -u*g + 4*g - 35 = 0. Which is smaller: -34 or g?
g
Let w = 196 + -251. Is -49 at most as big as w?
False
Let r = 295 - 295. Which is smaller: -5 or r?
-5
Let z be (32/24)/(2/6). Suppose -z*j - 4 = -4*y, -y - j - 2*j - 15 = 0. Which is smaller: y or -5?
-5
Let f be (136/(-12))/(2/(-3)). Which is bigger: 12 or f?
f
Suppose -24*d + 2*d = 44. Is d less than or equal to 264?
True
Suppose 0 = p - f - 2, -6 = 5*p + 5*f + 4. Let b(m) = m + 6. Let w be b(-4). Let v be w/3 + 5/(-3). Is v greater than p?
False
Suppose 3*k - x + 9 - 2 = 0, 0 = -3*k - x + 1. Let l(z) = -2*z + 1. Let y be l(k). Suppose 2*u = -u - y. Which is smaller: u or 3/10?
u
Suppose 3*d = -w + 276, 3*w = 7*w. Let z be 2/(d/84 + -1). Which is smaller: z or 20?
20
Let j = 1271 + -1272. Is 1/1808 bigger than j?
True
Let g = 0.1 + -3.3. Let v = g - -19.2. Let h be 6/15 + (-1 - -1). Which is greater: h or v?
v
Let b be 6 + 0 - 8/4. Suppose -3 = -w - b. Let a be (-5)/(-11)*(-4)/10*1. Do w and a have different values?
True
Let n = 851 - 850.5. Suppose -2*t - 5 = 3*q, -q = -3*q + 4*t + 2. Let b be (0 - q) + (-27)/33. Do n and b have the same value?
False
Let h(d) = d**2 - 7*d + 12. Let q be h(7). Let r(u) = u**3 + 5*u**2 - 2*u - 4. Let w be r(-5). Which is bigger: q or w?
q
Suppose 0 = 2*f + 36 - 14. Suppose 2*p = 4, -5*y - 2*p + 16 - 42 = 0. Is f bigger than y?
False
Let l = -603 - -606.57. Let w = l - -0.43. Which is smaller: -0.03 or w?
-0.03
Let p be (3/9)/(2/4). Let l = 9.09 - 9. Let j = l + -0.09. Which is greater: p or j?
p
Let u be (6/(-65))/(3/15). Let q(v) = v**2 + 5*v - 5. Let p be (-8)/10*(-60)/(-8). Let z be q(p). Which is greater: z or u?
z
Let b be (-4 + 0 + -3)*-4. Let u = b + -14. Let d = u - 13. Which is smaller: -1 or d?
-1
Let m = -23.4 + 26.4. Which is smaller: -62 or m?
-62
Suppose -i - 34 = 3*z, 2*i = -2*z - 18 - 10. Which is bigger: 0.1 or z?
0.1
Let w = -2 + 2. Let i = 2414 + -2414. Is i at most as big as w?
True
Let c = -987.92 - -990. Is -0.3 not equal to c?
True
Let m be 14482/1001 - (8/(-14))/(-2). Which is greater: 13 or m?
m
Let y = -11.27 + 0.27. Let s = -11 - y. Which is smaller: -3 or s?
-3
Suppose 3*n + 3*b - 21 = 0, 2*n - 24 = -b + 4*b. Suppose n = -4*o - 15. Are -6 and o nonequal?
False
Let k be (-2)/((3/2)/(-3 - 0)). Suppose k*q - 28 = -68. Is q <= -28/3?
True
Let k = -19 - -24. Suppose 15*p - 14*p - k = 0. Does p = 7?
False
Let w = 4912/9 + -546. Is w != 3.83?
True
Let r = 46 + -45. Suppose -2*j + 1140 = -4*j. Let x = j - -27928/49. Is x bigger than r?
False
Suppose -f = -4*z - 17, -4*f + 4*z - 17 = -73. Suppose -4*s + 58 = 2*b, 3*b + 12 = s + b. Are s and f nonequal?
True
Let b be (-1)/(-6) + 150/300. Which is smaller: b or 60?
b
Let y = -488/5 + 98. Let v = -3 - -1.2. Let d = v + -2.2. Which is bigger: d or y?
y
Let w(y) = 43*y - 43. Let r be w(1). Which is greater: r or -2/71?
r
Let r be (-382)/(-4)*286/(-297). Let d = -92 - r. Are -1 and d equal?
False
Let o be (-4240)/(-10850) + (-24)/10 + 2. Is -1 greater than o?
False
Let p = -23 + 22. Let z(i) = i**3 + 3*i**2 - i - 3. Let n(k) = -k + 4. Let c be n(7). Let r be z(c). Is r > p?
True
Suppose 14*j - 30 = 8*j. Let u = -13 + 19. Are j and u non-equal?
True
Suppose 0 = -4*h + 2*f + 2, 53*f - 48*f - 7 = -2*h. Which is greater: -22 or h?
h
Let m(w) = -30*w - 153. Let i be m(-5). Is -9 at most i?
True
Suppose -93*z + 98*z - 15 = 0. Suppose 0*u = -4*u + 5*m, 0 = -2*u + 3*m - 2. Suppose 12 = -2*l + u*p, -l + 5*p + z - 14 = 0. Which is bigger: l or -0.02?
-0.02
Let y be ((-4)/7)/((-84)/1666). Which is greater: 11 or y?
y
Suppose -5*x = 4*a + 60, x - 3*a = -3*x - 48. Let n = -12/695 - 1749/139. Which is bigger: x or n?
x
Let z be 586*6/(-360) + (-2)/(-12). Is z at most as big as -9?
True
Let d = -0.9 - -1. Let p = -109/92 - 3/46. Which is greater: d or p?
d
Suppose l = -4*l - 15. Let q be 46/(-8) - 56/224. Is l at most q?
False
Suppose -13*o + 8*o + 6 = -b, -o + 5*b + 6 = 0. Is o > 1/274?
True
Let k be (6 - 0) + 10 + (-1750)/110. Let r(n) = -n - 6. Let q be r(-6). Is q at most k?
True
Let h = 61 + -133. Which is smaller: -1 or h?
h
Suppose 3*q + 5 = -1, -2*m = -2*q - 26. Let o(a) = m*a - 15*a + 5*a + 0 - 3. Let g be o(2). Which is smaller: -3 or g?
-3
Let b = -34 - -5. Let q = b + 20. Let v = 9 + q. Is -3 > v?
False
Let f = 16.15 + -4.15. Let x = 35/2 + -18. Which is smaller: x or f?
x
Suppose -2*i + 64 = 3*l + 314, 0 = -5*l + i - 395. Let z be (-3880)/48 - (-15 - (-819)/54). Which is bigger: l or z?
l
Suppose 2*j + 2 = -14. Let z be (-5 + 5)*(-4)/j. Which is smaller: z or -1/42?
-1/42
Let t = -43 - -83. Let z be 6/(-5)*t/6. Let p(l) = 2*l**3 - 16*l**2 + 30*l - 110. Let n be p(7). Is n <= z?
False
Suppose 2*a = 2*n - 6, 3*a + 3 - 26 = -5*n. Let d be 1 + (-3 - (-5 + a)). Which is greater: d or 9/7?
d
Suppose -3*c = 3, -4*f + 14 = -2*c + 4*c. Suppose 4*w = f*y + w - 31, 43 = 4*y + w. Let m(v) = -v**2 - 28*v - 171. Let x be m(-10). Which is smaller: x or y?
x
Let f = 325 - 351. Does -26 = f?
True
Suppose -1170 = -8*l - 1202. Which is greater: -21 or l?
l
Let m = 340 - 6462/19. Let s = 3 + -2. Is s bigger than m?
True
Let q(n) = 19*n - 212. Let m be q(22). Which is smaller: 411/2 or m?
411/2
Let k = -1521 + 1532. Is 68/7 at least k?
False
Let f be 11711/245 + (-1)/(-5)*1. Let t be (64/f)/((-46)/3). Is t at least 2?
False
Let a be 1/(-4) + (-15735)/20. Let t = a + 27547/35. Which is smaller: t or 1?
t
Let p be (-12)/(132/(-4367)) + (0 - 5). Do 392 and p have the same value?
True
Let s(y) = y**2 - 15*y + 11. Let a be s(14). Let j be -3 - a/(-6)*-8. Let d = 2 - j. Which is bigger: d or -1?
d
Let x be 88/(-10) - 1/5. Let n be (-3)/(-5) + x/(-15). Which is greater: n or 1?
n
Let i = 0.572 + 1.428. Is 1/25 >= i?
False
Suppose 3*d + 0*d - 4*f - 98 = 0, f = -5*d + 125. Suppose -33 = 5*m - 0*m + 3*y, -2*m = -2*y + d. Suppose 35 - 3 = -4*k. Which is greater: m or k?
k
Let d be ((-81)/15 - 4/(-10))/(-259 - -254). Let f = 1689/68 + -97/4. Which is smaller: f or d?
f
Let b = 1.152 - -50.848. Do -1 and b have different values?
True
Suppose -o - 5*n = 34, -o - 4*n + n - 28 = 0. Which is smaller: o or -23?
-23
Suppose 0 = -4*g + y + 4, g - 3*y = 2*y + 20. Suppose -2*i + i = -5*p + 11, 0 = -i - 2*p + 10. Let t be -1*1*i/(-8). Which is bigger: t or g?
t
Let n(i) = i**2 - 17*i + 25. Let t be n(12). Is -32 > t?
True
Suppose 5*a - 1969 + 4 = 0. Which is bigger: a or 394?
394
Suppose -5*y - 12 + 4 = o, 3*o - 56 = 5*y. Let l = -28 + o. Which is smaller: l or -15?
l
Let z(o) = -9*o**2 - o + 1. Let l be z(2). Let q = -47 - l. Suppose -g + 55 = -6*g. Are q and g equal?
False
Let w = -169/38 - -21649/4902. Is w smaller than -1?
False
Let k be 35796/266 + 8/(-14). Which is greater: 136 or k?
136
Let f be -3 + 2 + -5 + -55. Are f and 3 equal?
False
Let y(a) = -10*a - 3 + 3 + 36*a. Let m be y(8). Let w be 20/m*8/20. Which is smaller: w or 1?
w
Let o(s) = -s**2 - 3*s - 6. Let v be o(-5). Let z = -16 - v. Let t = -4/7 - -6/7. Is z != t?
True
Let i = -17619.894 + 17642. Let a = i + -0.106. Which is greater: a or -2/3?
a
Let i = 565.08 + -565. Which is greater: i or 0.03?
i
Let v(d) = 2*d - 26. Let y be v(14). Let b(m) = -m**3 - m**2 - 2*m - 1. Let z(x) = x**3 + x + 1. Let r(t) = 2*b(t) + 3*z(t). Let u be r(y). Is 2/47 < u?
False
Let m(i) = i. Let r(p) = -7*p + 8. Let n(l) = 6*m(l) + r(l). Let w be n(8). Let c be ((-82)/42 - w) + 2. Does c = 0?
False
Let m = 131917/194 + -680. Is 1 greater than or equal to m?
True
Suppose -m + 10*l - 6*l = 78, 4*m + 2*l = -258. Let f = m - -66. 