 4 = 5*k + a. Let g(z) = -2*z**2 + 6*z - 6. Let j be g(4). Which is smaller: k or j?
j
Let w(z) = -z**2 - 8*z. Let d be w(-7). Let g be (1 + 0)/(6/54). Suppose 3*f - 9 = g. Is f smaller than d?
True
Let x = 5 - 3. Let s(l) = 2*l + 1. Let d be s(x). Suppose 5*z + 12 - 2 = d*u, -2*z - 5*u = -17. Is 1 smaller than z?
False
Suppose 15 = 8*v + 23. Is -1/56 != v?
True
Let y = 0.4 - 0.3. Let k = y - 0.2. Let d = 1728 - 1721. Which is smaller: k or d?
k
Let o = -10 + 32. Let y = o + -21.66. Are y and 1 equal?
False
Suppose 2*g - 5*g + 21 = 0. Suppose 12*x - g*x = 20. Is 16/5 less than x?
True
Let u = -2.05 + 0.15. Let o = 0.1 - u. Let h = o + 2. Is 1/5 at least as big as h?
False
Let l = 40531/1113 + -255/7. Suppose 33*m = 13*m - 20. Which is bigger: m or l?
l
Let k = 110 - 107. Suppose 0 + 12 = -p - k*x, 3*p + 2*x = -8. Is 1/57 not equal to p?
True
Suppose -37*i + 1340 = -42*i. Is i less than -268?
False
Let n = -239 + 1191/5. Let s = -1 - -3. Is s less than n?
False
Suppose 0 = k + 73 + 101. Let j be 1*k/5 - 2/10. Does -34 = j?
False
Suppose 2*d - 8 = 0, -3*t + t + 22 = 2*d. Suppose 0 = -6*z + t*z - 3. Which is smaller: z or -0.2?
-0.2
Let a be ((-14)/(-6))/((-10)/(-75)). Let u = 17 - a. Is 1 less than or equal to u?
False
Let c(m) = 17*m**2 - 9*m - 17. Let d be c(-5). Is 452 at most d?
True
Suppose 23*z = -20*z. Is z less than 24/29?
True
Let o = -35 + 94. Let b = o - 73. Are -16 and b equal?
False
Let l be (-6 - -13) + (7 - 4)*-2. Is l bigger than -252/13?
True
Let l be (-36)/9*(-2)/(-22). Is l greater than 7?
False
Let g = 29.42 + 0.58. Let s = -36.9 + g. Let p = s - 2.1. Is p less than or equal to 1?
True
Suppose -6*c + 26 = -10. Let b be 30/(-48)*4*c/5. Is b at most -2?
True
Let u(x) = 3*x**2 - 30*x - 13. Let h be u(14). Which is bigger: 154 or h?
h
Let x(f) = f - 3. Let r be x(4). Let j be -228*4/(-680) + -2. Let c = j + 3/5. Is c at least as big as r?
False
Let t(p) = -p**2 - 7*p. Let a be t(-6). Let m be (-2)/(-7) + (-33)/(-7). Are m and a unequal?
True
Let u = 38 + -37. Let o = 341 - 235. Is o smaller than u?
False
Suppose 15 = 5*l - 0*l. Let a(p) = -p**2 + 4*p - 1. Let o be a(l). Suppose -o*g + 3*g = -2. Is -2 at most as big as g?
True
Let g = -2071 - -2063. Is -37 greater than g?
False
Suppose 5*p = 4*w + 68, -5*w + 19 - 84 = -5*p. Suppose -7*g + p = -3*g. Let l(m) = 3*m**2 + 53*m - 15. Let b be l(-18). Is g greater than or equal to b?
True
Suppose 25*w = 19*w + 6. Is w > -3?
True
Suppose 9*c = c + 2360. Let z be 246/c + (-16)/20. Is -1 <= z?
True
Suppose -159 = -15*a + 201. Let g = a + -22. Which is greater: 7/4 or g?
g
Let d = 14 - 27. Let j be (d/39)/((-4)/6). Let b = -4.9 + -0.1. Which is bigger: b or j?
j
Let v = -1/83 + -72/913. Let r = -117 + 301. Let t = r - 183. Which is smaller: v or t?
v
Let f = -4 - -2. Suppose -3*c - 16 = 5*c. Is c bigger than f?
False
Let x = 0.238 - 6.538. Is -3 greater than or equal to x?
True
Let d = 41 + -50. Let o(t) = -t - 5. Let j be o(-6). Which is smaller: j or d?
d
Let t(z) = 11*z**2 + 2*z + 1. Let v be t(4). Which is smaller: 186 or v?
v
Suppose 14*r = 18*r + 2*n + 786, -5*r + n = 965. Which is greater: -193 or r?
-193
Let b be (6/8)/(4/16). Suppose -w + 2 = -2*v, v - 6 = b*v. Are w and -4 non-equal?
False
Let r be (-85)/(-20) - (15/(-5) + 7). Suppose -s + 1 = 38. Which is greater: r or s?
r
Suppose 5*t + 3*b = 23, -10 = -2*t - b - 0*b. Let j be 2/4 - t/(-14). Which is smaller: 2/57 or j?
2/57
Let t be 2/((-48)/99) + 5. Is 2 less than or equal to t?
False
Suppose 5*g = 10, -2*o - 2*g = -4 + 2. Let x(y) = -4*y**3 + 2*y**2 + y. Let n be x(-1). Suppose -6 = u - 2*r + 3, -5*u + n*r - 30 = 0. Which is smaller: o or u?
u
Let f = -172 + 122. Let c = -50 - f. Are c and -2 nonequal?
True
Let h(f) = 2 + 5*f - 4*f + 2 - 2. Let j be h(5). Suppose -4 = -j*g + 3*g. Which is greater: -3/8 or g?
g
Suppose -12 = -8*p + 9*p. Let a = 31 + p. Let f = a + -17. Does f = 0.2?
False
Suppose 4*j = 12, 7*n - 5*n - 4*j = 0. Which is smaller: n or -2?
-2
Let r = 0.244 - 0.244. Is r >= -39?
True
Let u(o) = -4*o**2 - o + 7. Suppose -15 = l - 6*l. Let a be u(l). Which is greater: -30 or a?
-30
Let c = 5521/9 + -611. Are 1 and c equal?
False
Let b be (56/12 - 4) + 4/3. Let m be b/(-4)*(2 + -2). Is m > 7?
False
Suppose 128 = -2*a + 4*a - 4*i, 5*a - 245 = -5*i. Suppose 3*w = -a + 6. Let x be w/56 - (-4)/14. Which is bigger: x or -1/8?
x
Let o be ((-184)/(-16))/((-1)/(-2)). Suppose -7 = 3*n + o. Let s be (22/n - -2)/(-1). Is 0 != s?
True
Let u = -5.3 + 5.2. Which is bigger: u or 2/81?
2/81
Let o = -262 - -278. Let h = 0.13 + 16.07. Let w = o - h. Is -0.7 bigger than w?
False
Suppose q = -42 + 12. Let k(p) = -2*p**2 - p - 1. Let r be k(-4). Which is smaller: r or q?
q
Let d = -410/15561 - 4/741. Suppose 0 = 2*z + 2*t - 5 - 7, -2*z + 21 = 5*t. Suppose 0 = 10*s - z*s + 7*s. Which is smaller: s or d?
d
Let f be -1 + 6/(-4) + 5610/2240. Is f smaller than -1?
False
Let y(p) = -p**3 + 10*p**2 + 11*p - 3. Let g be y(11). Let r = 6 + g. Let k be (2/r)/((-4)/6). Is -1/9 < k?
False
Let j = -578 - -824. Is 245 at most as big as j?
True
Suppose -2*u + 9*c - 11*c = -8, c + 8 = 2*u. Is u < -1?
False
Let h = 0.0793 - 1.0793. Let i = 8 + -7.84. Let q = i - 8.16. Which is bigger: h or q?
h
Let q be (-2)/(-8) - (-393003)/756. Let y = q - 520. Which is smaller: y or 1?
y
Let c(q) = q**2 - 2*q + 9. Let k be c(-5). Let z = -309/7 + k. Suppose u - 5*i = 14, 0 = -4*u - 3*i - 9 - 4. Is z at most u?
False
Let o = -16 - -33. Let r = -4 + o. Let w = r - 14. Which is smaller: 6/11 or w?
w
Let m(h) = -h**2 + 7*h - 3. Let d = 33 - 31. Suppose -d*z + o = -2*o - 24, -2*z + 32 = -5*o. Let x be m(z). Is x < 7/2?
True
Let l(g) = g**3 + 6*g**2 + 2*g. Let k be l(-5). Suppose -148*t + 787 = -1137. Is k greater than or equal to t?
True
Let n = 2077/9468 + 3/1052. Which is bigger: n or 5/277?
n
Let s(t) = -t**3 - 5*t**2 + 8*t + 9. Let m be s(-6). Let f be (-30)/(2/(8/m)). Let g be 1 + 0 - f/48. Which is bigger: 1 or g?
1
Let s = 10396373/687 - 15133. Let f = s - -1348/8931. Let u be (-60)/135 + 4/72*26. Is f at least as big as u?
False
Let c = -47.22 + 48. Let t = c - 0.88. Which is smaller: -0.39 or t?
-0.39
Let r(w) = w**2 - 9*w + 6. Let x be r(-13). Is 0.1 at least as big as x?
False
Let t = -68 + 67.7. Is 3 greater than or equal to t?
True
Let l = 147 - 146. Is l less than -4/11?
False
Suppose 0 = g + 3*y + 20, 43*y + 80 = -4*g + 39*y. Is -14 <= g?
False
Let m be (55/(-13) + 4)/((-4)/2). Which is bigger: m or -1?
m
Let z = 46.2 + -46. Is z < -3/73?
False
Suppose 2*o = o + 1. Suppose r - o + 0 = 0. Let x = 3 + r. Are x and 3 unequal?
True
Let l = 3/257 - 655/12079. Suppose 2*s - a = 5*s + 5, 3*a = -5*s - 11. Which is smaller: s or l?
s
Let y(o) = 12*o - 1 - 4 - 11*o + o**2 - 21. Let v be y(0). Is 2 greater than v?
True
Let o = 1167 - 1163. Let z = -1 - -1. Suppose 5*p - 14 = -2*h, 3*h - 6*p + 2*p + 2 = z. Which is greater: h or o?
o
Let v = -1849.1 - -1849. Let z be (-42)/(-8) + 2/(-8). Suppose -z*p + p = 0. Which is bigger: p or v?
p
Let r be -6*(-27)/2 + 6. Which is greater: r or 88?
88
Suppose 2*u - 19*s - 58 = -22*s, -s - 88 = -4*u. Which is greater: u or 18?
u
Suppose -3*u = -5*m + 46, u - 28 = -3*m - 6. Suppose 7*w = m*w - 20. Which is greater: 19 or w?
w
Suppose 4*q - a + 6*a = 36, -4*a = 0. Let c be (q/6*6)/(-1). Let y be (-2)/(-4)*(-6)/c. Which is bigger: -2/3 or y?
y
Let h be (1/(-2))/((-6)/(-28)). Let m(g) = -11 + 7*g + 38 + 0*g + 0*g. Let a be m(-4). Is a at least h?
True
Let c = -17 - -12. Let b = 3 + c. Let o(k) = k + 10. Let z be o(-11). Which is greater: z or b?
z
Let k = -0.027 - 0.263. Let s = k + 0.09. Let f = 7.8 - s. Is 1/3 less than f?
True
Suppose 2*o + 4 = -4. Let g be 39/14 + -3 + (-2)/7. Which is smaller: o or g?
o
Suppose -4*s + 20 = -4*x, -5*x = 3*s + 139 - 122. Which is smaller: -26/7 or x?
x
Suppose 1 + 1 = 2*u. Let d be -2 - u - (0 + -6). Suppose -d*o - 9 - 3 = -5*a, -2*a - 4*o = 16. Do -1/17 and a have the same value?
False
Suppose -8*f + 2*b = -4*f - 14, 25 = 5*f + 5*b. Let p(s) = -s**2 - 2*s + 4. Let t be p(f). Is -20 > t?
False
Let o be (-4)/(-14) + 7/((-343)/161). Let d be 17/14*-2 - o. Suppose 0 = 3*r - 4*r. Which is greater: d or r?
d
Let g = -3799/282 + -4/141. Let m = g - -14. Let z = -229 - -217. Which is smaller: m or z?
z