*k - 469 + 532. Which is smaller: k or -6?
k
Let n = 776 - 775. Is n at least 13/7?
False
Let n = 15 - 11.2. Let w = -4 + n. Let j be (-1*2)/((-187)/11). Are w and j equal?
False
Let d(q) = 2*q - 18. Let m be d(8). Let u be (-39)/m - (-2)/(-4). Suppose -u = 5*z - 2*w, -17 = -z + 6*z - w. Which is smaller: z or -1?
z
Let b = 2585/9 + -287. Which is smaller: 13 or b?
b
Let a(p) = p + 4. Let j be a(7). Suppose 5*m + n + j = -14, n = -2*m - 13. Which is bigger: -2 or m?
-2
Let m be 8/(-10) + (-22)/(-115). Is m >= -1?
True
Let j(s) = -s**2 + 11*s + 26. Let p be j(13). Let n be (-627)/1716 - ((-2)/(-8) - p). Is n >= -1?
True
Let x be (-18836)/(-51)*6/4. Suppose 5*i - 3*c + x = -7*c, -2*i = -5*c + 215. Which is greater: -109 or i?
-109
Let x = 524 - 523.9. Are x and 2/441 unequal?
True
Suppose -5 = 4*t - i - 13, 4*i = 3*t + 7. Suppose 4 = 3*r + 1, p - r - 7 = 0. Suppose -4*g + t = 4*c - 5, -p = -c - 4*g. Is -2/15 less than or equal to c?
True
Suppose -4*f = 2*v + 50 - 42, -5*v = -5*f + 35. Let p be (-38)/(-3)*(-3)/6. Which is smaller: p or v?
p
Let r(c) = c**2 + 32*c + 134. Let b be r(-27). Which is greater: -6/269 or b?
-6/269
Let h = 204 + -195. Which is smaller: h or -2/9?
-2/9
Let g = 22.64 + 0.36. Let v = 23.22 - g. Let k = v + 1.78. Which is smaller: k or -2/9?
-2/9
Let u = 18 + -32. Let g = u + 13.9. Let d = -18 + 91/5. Is d at least g?
True
Let d = 36.956 - 37. Let b = d - 2.276. Let h = b + 0.32. Are 4 and h unequal?
True
Let h be -25 + 19 + 7 - 1237/7. Is h > -175?
False
Let r = 44 + -35. Suppose 0 = -5*y + p + 50, 2*y + 3*p - 70 = -3*y. Which is bigger: r or y?
y
Let t = -12.94 + 6.94. Which is smaller: t or -24?
-24
Let u = 460 + -529. Which is smaller: u or -486/7?
-486/7
Suppose 2*r = 2*y, -r - y - 18 = 4*y. Let m = 6.07 - 6.07. Which is bigger: m or r?
m
Let u be (3/(-18))/(2/(-26))*6. Let z = -1961/3 + 667. Which is bigger: u or z?
z
Let h(l) = 37*l - 437. Let x be h(-8). Is -732 != x?
True
Let s = 11.52 - 10.52. Which is greater: 0.0756 or s?
s
Let z = -9 + -16. Let m = -36 - -16. Let q = z - m. Is q > -1/2?
False
Let n = -19.19 - -19.09. Which is smaller: 189 or n?
n
Suppose -t = t - 62. Suppose 0 = -14*d + 374 + 60. Is d equal to t?
True
Let z be (-30)/8*48/(-9). Suppose 0 = -19*u + z*u. Is 5/18 <= u?
False
Let m = 375.5 + -52.5. Are -1 and m unequal?
True
Let d = 74 + 322. Are 395 and d nonequal?
True
Suppose -3*r + 17 = v, -7*r + v - 24 = -11*r. Let x = -10274/5 - -2062. Is x at most r?
False
Let z be (((-510)/(-8))/(-15))/(-2). Which is bigger: z or 1?
z
Let t be 2 + (-3 - (-2055)/455). Let n = t + -42/13. Which is greater: n or -9?
n
Let y = 46 - 26. Do 12 and y have the same value?
False
Let f = -139 - -83. Let m = f - -32. Let z = -22 - m. Is 6 != z?
True
Suppose -4*b + 26 = 5*x, -2 = b - 0*b - 3*x. Suppose 7 - b = g. Suppose 0 = -5*m - 4*v + 14, v - 5 = -m - 2. Which is bigger: m or g?
g
Let j(b) = b - 2. Let f(o) = o**2 + 14*o - 19*o + 12 - 10*o. Let h be f(14). Let w be j(h). Is -4 bigger than w?
False
Suppose 70 = 2*b - 5*k - 148, -5*k = -b + 104. Which is smaller: b or 113?
113
Let c(k) = k + 60. Let x be c(6). Is 67 bigger than x?
True
Let x = -382 + 1148/3. Let v = -10.78 - 0.22. Is x smaller than v?
False
Let y = 2 - 1.8. Let n = 8 - 1. Suppose -3 = n*s + 18. Which is smaller: y or s?
s
Let w(d) = -d**3 - 8*d**2 - 8*d - 3. Let v be w(-7). Suppose v - 3 = -u. Let t = 1013/2744 + 2/343. Is t at most as big as u?
False
Let o be (-876)/2280 - (-3)/(-18)*-3. Are o and 0 unequal?
True
Let h(c) = -c - 2. Suppose -4*q = -q + 6. Let x be h(q). Let m = 4/13 + -3/52. Which is bigger: m or x?
m
Let i(c) = c**2 - 3*c + 21. Let w be i(0). Suppose -4*t = -w*t - 85. Which is smaller: t or -3?
t
Let y(u) = -2*u**3 - 3*u**2 - 5*u - 2. Let c be y(-1). Let m = 0.9 - 0.6. Let b = m + 0.7. Is b bigger than c?
False
Let p(d) = -9*d + 7. Let o be p(2). Let t = o - -16. Suppose k = -5*x - 3*k + 11, -14 = -t*x - k. Does 4 = x?
False
Suppose 134 = -6*k - 34. Which is bigger: -1 or k?
-1
Suppose 3*u + 12 = 0, 5*b = u - 5*u - 1. Let g(w) = -1 - 103*w**b + 104*w**3 + 25 - 20*w**2 + 18*w. Let a be g(19). Is a <= -3?
False
Let g(m) = -2*m - 1. Let a(y) = -y**2 + y + 8. Let f be a(4). Let o be g(f). Suppose o*q + 7 - 70 = 0. Do q and 11 have different values?
True
Suppose 3*n = -2*n - 15, -12 = -2*g + 2*n. Suppose -g*u + 2*u = 2*u. Let l = 861 + -40465/47. Which is smaller: u or l?
u
Let v be 2 - 3402/20 - (-117)/1170. Which is bigger: -166 or v?
-166
Suppose i = -3 + 5. Suppose -b = i*b. Suppose 2*s + 3 + 3 = b. Is -3 bigger than s?
False
Let a = -10 + 9.8. Which is smaller: -168 or a?
-168
Let w(v) = 2*v + 12. Let k = 2 - 17. Let c be w(k). Which is bigger: c or -17?
-17
Suppose 3*j + 2*q + 2 = 0, q + 1 = -0. Let c be 39*(0 + (j - -1)). Which is smaller: c or 40?
c
Let o = 551/3 - 183. Are -25.7 and o equal?
False
Let a be 4/64*4 - (-77)/(-28). Is 2 less than or equal to a?
False
Let u = -4154 - -91411/22. Is 0 > u?
False
Suppose 2*z + 4*v = -22, -2*v + v = 4*z + 30. Suppose 8*t - 84 = 5*t. Suppose 6*r - 2*r + t = 0. Are z and r nonequal?
False
Let s be (5 + 4)*29/(-87). Let a be (-3)/5*10/4. Which is smaller: a or s?
s
Let m(o) = o**2 - 15*o - 128. Let d be m(18). Do d and -74 have the same value?
True
Let h = -40 - -48. Let q = h - 3. Which is greater: 27/5 or q?
27/5
Let y = 28/149 - 13196/447. Which is smaller: y or -30?
-30
Let l = -11 + 11. Suppose 0 = -l*t - 5*t. Suppose t = v - 2*v + 1. Which is smaller: 2/11 or v?
2/11
Let z = -61 + 48. Suppose 3*j + 15 = -2*j + 5*k, -10 = 2*j + 2*k. Let n be 2*1/j*26. Is z >= n?
True
Suppose 0 = 2*j + 5*v - 35, -2*j + 9 = 4*v - 21. Suppose -5*h + j*q - 20 = 0, h = -h + 4*q - 16. Let k be 4 + -2 - 2/3. Does h = k?
False
Suppose -24 = -5*n + 3*z, 2*n + 0*n = 5*z + 2. Let q be n*7/(-6)*3. Is q bigger than -20?
False
Let w = 870 - 869.948. Which is bigger: w or 12?
12
Let k = -0.3 + 1.3. Let z = -1.1 + k. Let p be (-34)/(-24) - (-2)/(-3). Is p at most z?
False
Let m = 171 + -120.8. Let w = m + -50. Let k be 38/9 + (-4)/18. Are k and w unequal?
True
Let x = 27 - 18. Let y be ((-20)/195)/(6/x). Is 2 at most y?
False
Let h be (-2)/(-1) - (0 - -1). Let i be 1 - (-117)/(-77) - 45/(-105). Let m = 45/253 + i. Which is smaller: m or h?
m
Let z = -246 - -310. Suppose 456 = 7*k + 8. Is k smaller than z?
False
Let u(c) = c**3 - 3*c**2 - 2*c - 2. Let m be u(5). Let x be (-2)/(-5) + m/(-20). Let a(t) = -t**2 - 3*t - 3. Let s be a(-3). Do s and x have different values?
True
Let l be (-840)/252*(-18)/15. Is l at most 4?
True
Let w be 14/(-4)*6/(-9). Suppose 3*k + 5 - 20 = 4*m, k = 3*m + 5. Suppose m = -7*q - 3*q + 30. Does w = q?
False
Suppose -3*n = -4*y - 24, y - 3*n + 6 = -6*n. Let f = 2 - y. Let t be (-435)/(-84) + f/14. Which is smaller: 6 or t?
t
Let r be (-2)/(23/25 + -1). Let w be -1 - 4/((-44)/r). Let d = 386 + -386. Are w and d equal?
False
Let y(v) = -4*v - v**3 + 2*v - 9 + 7*v + 7*v**2 + 4*v. Suppose -4*m = -h - 1 + 9, -24 = -3*h + 2*m. Let z be y(h). Which is greater: z or -2/13?
-2/13
Let o = -2.19 + -1.11. Let z = o - -3.3. Which is bigger: z or 11/3?
11/3
Let i = 42.15 + -44.2. Is i at least as big as 0?
False
Suppose -5*j + 3*b + 3 = 0, -3*j + 8*j + 3*b + 3 = 0. Do -451 and j have different values?
True
Suppose 102 = -3*j - m + 5*m, 2*m - 70 = 2*j. Let p = j + 35. Which is smaller: p or -7?
-7
Let k = 39 - 60. Let g(l) = -25*l**3 - 2*l**2 + 5*l - 2. Let u be g(1). Is k smaller than u?
False
Let r = -406 - -501. Is 95 != r?
False
Let i = -400 - -310. Is -89 at most i?
False
Let k be (3 - 3)/(1 - 0). Let t = -36 + 33. Which is smaller: t or k?
t
Let u = 1177 - 1177. Let f = 64/3 + -20. Which is smaller: f or u?
u
Let d(g) = -g**2 + 14*g - 22. Let n be d(12). Let k be (-116)/(-200) - 1/n. Is 0 at most k?
True
Suppose 0*x + 5*b - 24 = 4*x, 3*x - 2*b + 11 = 0. Is x not equal to -1/68?
True
Let x(h) = -26*h - 60. Let w(g) = -9*g - 20. Let u(t) = -17*w(t) + 6*x(t). Let q be u(-7). Which is greater: 2/73 or q?
q
Let o = -21952 + 21955. Suppose -m + 3*n - 21 = -6*m, -m + 9 = 3*n. Suppose 0 = -2*s + d + 6 - 0, -4*s + 22 = m*d. Which is bigger: o or s?
s
Suppose -53*g - 8 = 98. Is -59 at most g?
True
Suppose -11*f + 5 = 115. Let y(h) = -3*h + 11 - 3*h - 3*h - h**2. Let m be y(f). Is m bigger than -2?
True
Let j b