c = -4*x + 19, 4*x = 3*c + 13. Let k = 4 - x. Let q be (-1)/2 - k/(-12). Which is smaller: q or -2?
-2
Let z be 3/36*16/10. Suppose -5*r + 4 = -1. Which is bigger: z or r?
r
Let p(a) = -4*a - 3 - 2*a - 6 + a**2 - 1. Let r be p(8). Let y be 2/r + (-1)/(-15). Is 1 > y?
True
Let k(g) = -g**2 - 6*g - 11. Let f be k(-4). Suppose 2*z = -2*v - 6, 2*z - 15 = -3*z. Which is smaller: v or f?
v
Suppose 8*l = 4*l + 48. Is 11 smaller than l?
True
Suppose 43 = 5*g - 52. Suppose 4*x - 7 + g = 0. Is x less than -4?
False
Suppose -76 = 2*w + 2*p, -263 + 70 = 5*w + 4*p. Let r be w/13 - (-5 - -2). Is r at least as big as -0.1?
False
Let v = 0 - 3. Let t be 60/9 + 2/v. Let g be (4/t)/((-2)/(-6)). Is g at least as big as 2?
True
Let m = -130/63 - -16/9. Which is smaller: m or 3?
m
Let p(z) = -z**2 - 15*z + 10. Let o be p(-10). Let b be 2/2 - o/(-10). Which is bigger: 8 or b?
8
Let r(i) = -3*i**3 + 4*i**2 - 2*i. Let l be r(2). Suppose -4 = 2*n - 14. Let y be n*(l/(-15) + 0). Which is smaller: 3 or y?
3
Let n = 32 - 12. Suppose -3*u - w + 2 = 0, -4*w + n = -0*w. Let i = 2/107 + 196/963. Which is greater: u or i?
i
Suppose 4*t = -4*n + 108, 0 = -2*n + 2 + 4. Is 23 bigger than t?
False
Suppose 3*f = 2*f + 4. Let w = f + -4. Which is greater: w or -3/7?
w
Let m be (-9)/84 + (-2)/(-8). Suppose 0 = 5*b - 19 - 6. Let n be -2*(5/(-2))/b. Which is bigger: n or m?
n
Let c = -35 - -55. Let r = -23.9 + c. Let n = -4 - r. Which is smaller: n or 1?
n
Let v be 2/(-3) - (-12)/(-9). Let k be v/(-5)*(-5)/(-8). Is k smaller than 1?
True
Let z = -276 - -1926/7. Which is bigger: z or -2?
z
Let c be ((-2)/7)/((450/(-35))/(-2)). Is -2/3 at most as big as c?
True
Let g be -1*(3 - (-10)/(-4)). Let n be (4/(-20))/(2/(-15)). Is n < g?
False
Let w = 1/116 + -15/58. Let v be (0 + 1)*(3 + -3). Does v = w?
False
Suppose 5*b + 18 = r + 2*r, -b = 5*r - 2. Does b = -3?
True
Let p = -0.5 + 0.6. Is p <= 4?
True
Suppose 0 = 2*q - 7 - 1. Let o be (-2)/6 - (-20)/6. Which is bigger: o or q?
q
Let u be (6/(24/58))/(1/(-2)). Is u < -29?
False
Let y = 1 + 0. Let s be (-4)/(-3) + (-51)/(-9) + -6. Is s at most as big as y?
True
Let v be (-2 - (-15)/9)*-5. Let b(q) = q**3 - 4*q**2 - 2*q + 1. Let t be b(5). Suppose -3*x + 7 = w + 5, 0 = 4*x - 2*w - t. Which is smaller: v or x?
v
Let v(o) = 7*o - 15*o**2 + 0 + 0 + 2 + 16*o**2. Let h be v(-5). Which is smaller: h or -10?
-10
Let m(z) = -z**3 + 6*z**2 + 2*z - 9. Suppose -2*j - 3*j = -30. Let u be m(j). Is u < 1?
False
Let s = -180/11 + 182/11. Is -6 less than s?
True
Let a be 0 - ((-26)/(-8) + -2). Let g(n) = n**2 + 7*n - 18. Let h be g(-9). Are a and h equal?
False
Suppose -2 = -3*t - 14. Which is bigger: t or -1?
-1
Let i be ((-8)/138)/(6/(-18)). Which is bigger: 0 or i?
i
Let u = 1 + 1. Let p = -1 + u. Let l be (p + -1)*2/4. Is l smaller than 3/4?
True
Let k = -0.6 - 0. Let x = k + 0.2. Let t = 1.9 - 0.9. Is x bigger than t?
False
Let d be (-3)/((-2)/(-4)*-3). Suppose d*y + 0 + 2 = 0. Let v be (-1 + y)*1/(-2). Does v = 2?
False
Let w = -10.6 + 10.5. Does w = -71?
False
Let p be 1/(-3)*(-10 - -8). Let h(c) = -c. Let t be h(0). Is t at most as big as p?
True
Let a = 0.17 + -0.07. Let y = 6 - 4. Let c = 2 - y. Which is greater: c or a?
a
Suppose -5*s = -s + 40. Let n be (-2)/(-5)*s/(-8). Does n = -3?
False
Suppose -23 = 5*t - 23. Is t greater than or equal to 3/11?
False
Let w(k) = k**2 + 10*k - 3. Let x be w(-10). Let b be -5 - -1 - (x + 5). Let y = b + 2. Is -4 < y?
False
Let q = 5.9 - 6.9. Which is smaller: -0.08 or q?
q
Let n = -4 - -6. Suppose -4*b + z = -4, b + n*z + 9 - 1 = 0. Let x be (b/3)/((-6)/(-3)). Which is smaller: -1 or x?
-1
Suppose -3*o - 41 = 5*i, 2*i + 4*o + 1 = 3*i. Let h be (-7)/i*1/(-1). Let u = -0.1 + -0.9. Is u smaller than h?
False
Let t = -18 + 17. Which is greater: t or 2/3?
2/3
Suppose 0 = -5*t - 193 - 107. Let w = -182/3 - t. Which is greater: 0 or w?
0
Let q = -0.3 - -0.1. Let f = 1 - 1. Let d be (1 + f)/(7/(-2)). Is d != q?
True
Suppose -u - 9 = -24. Let l be ((-5)/u)/((-1)/24). Is l at most 10?
True
Let m(q) = q - 17. Let l be m(5). Is -12 less than or equal to l?
True
Suppose -5*p = 5*g - p - 310, 2*p = -g + 56. Let w be 40/22 + 12/g. Is w smaller than 0?
False
Let c = -4563902206/15 + 304397307. Let k = c + -137097. Let m = k - 187/3. Which is smaller: m or 0?
0
Suppose -3 = -2*l + 3. Suppose -5*q = -2*x - 13 - 2, 9 = 3*q + 5*x. Is q less than l?
False
Suppose 5*b + 87 = 4*n, 0 = -2*b - b + 15. Is 28 bigger than n?
False
Let m = -10 - -14. Which is greater: m or 0.1?
m
Let x be (-6)/3 - -1 - 5. Let d(y) = -y**3 - 6*y**2 - y - 5. Let r be d(x). Which is greater: r or 3/4?
r
Let v(g) = g**3 - 4*g**2 - 13*g + 5. Let r be v(6). Which is bigger: 2 or r?
2
Suppose 0 = -3*h + 4*u - 190, 3*u + 38 + 187 = -3*h. Let r be (-1)/(-7)*h/(-20). Do 0.1 and r have the same value?
False
Let q = 239 + -76. Let k = q + -26. Let v = k - 687/5. Which is greater: v or -1?
v
Let p = -22/21 + 8/21. Suppose 0 = -4*t + 5*o - 20, -4*t - o = t - 4. Is p less than or equal to t?
True
Let f = -154/13 - -10613/897. Which is smaller: 0 or f?
f
Let u be 2/4 + (-6)/4. Let d be (1/(-1))/(u/(-4)). Which is greater: d or -5?
d
Let k be (-9 - (4 - 1)) + -1. Is k > -4?
False
Let p = -5 + -0.9. Let d = p + 6. Let u = -1.3 - -0.3. Is u smaller than d?
True
Let p(w) = w - 2. Let d be p(5). Suppose 0*o = -d*o. Is o at most 2/25?
True
Let y = -79.1 - -84. Let f = -12 + y. Let x = 7 + f. Are x and 0.6 equal?
False
Let c(a) = a**3 + a**2 - 3. Let n be c(0). Let d(w) = w**3 - 3*w**2 - w - 2. Let h be d(3). Which is smaller: h or n?
h
Let n(j) = -j**2 - 2*j - 2. Let b be n(-2). Let y be 0 + 0 - 0 - b. Let c = 2 - y. Is 1/9 at most c?
False
Let o be 2/7 - 156/(-42). Let c = o + -5. Which is greater: -3 or c?
c
Let j(s) = s. Let w be j(-4). Is w >= -5/2?
False
Let h = -0.032 + 0.492. Let w = -0.06 + h. Let c = w + -0.4. Is -1/3 at least as big as c?
False
Let l be 3/(-9) - (-15)/(-9). Let d = l + 1. Let x be 16/(-6) + (-1 - -3). Which is smaller: d or x?
d
Suppose 58 = 4*p - 2*b, -b = -p - 0*b + 14. Let t be p/9 + (-6)/9. Are 1 and t nonequal?
False
Let a(w) = w**3 - 14*w**2 - 6*w + 8. Let z(t) = t**3 - 15*t**2 - 7*t + 8. Let r(l) = -6*a(l) + 5*z(l). Let q be r(9). Is 1 not equal to q?
False
Suppose -4 = f - x + 1, 0 = 4*f - 5*x + 24. Let q = f + 2. Let p = -0.13 + 0.03. Which is bigger: q or p?
q
Suppose 4*d - 2*d + 22 = 0. Let t = d - -6. Let v(i) = i**2 + 4*i - 6. Let o be v(t). Is o not equal to -3?
True
Let j(b) = b + 11. Let k be 168/(-18) - 2/(-6). Let w be j(k). Suppose -10 = -y + 2*a - 5, -5*y + w*a + 9 = 0. Is 2/5 at least as big as y?
False
Let w = 0.223 + 0.767. Let r = w - -0.01. Which is smaller: r or 5?
r
Let c = 1/117 - -697/585. Let l = 0 + 0. Which is bigger: l or c?
c
Suppose 11 = -y - 3*k, 2*y - 1 = -2*k - 7. Let j be (-12)/54 + (-22)/(-18). Are j and y nonequal?
False
Let w(y) = 2*y - 7. Let i be w(6). Suppose -d + 1 = 0, -2*d + 14 = 3*r - 0. Which is bigger: i or r?
i
Let v = 121 - 51. Which is smaller: 69 or v?
69
Let m be (-6)/39 + (-1070)/(-26). Is 39 >= m?
False
Let w = -2.048 + -0.052. Let g = -2 - w. Is 1/2 greater than g?
True
Let x = -1/2491 + -4917/161915. Is x < 1?
True
Let x(k) = -k**2 - k + 1. Let v be x(-2). Let j(w) = w**2 - 4*w - 3. Let b be j(-2). Let s = -10 + b. Are s and v non-equal?
False
Let s(z) = -2*z - 9. Let b be s(-5). Which is greater: b or -8/7?
b
Let q = 250 - 2748/11. Let j(a) = a**3 - 3*a**2. Let n be j(3). Which is greater: n or q?
q
Let r(y) = -y**2 - 5*y - 2. Let u be 1 + -3 + 0 + -1. Let i be r(u). Let k = i + -2. Does 1 = k?
False
Let q = -34 - -61. Suppose -k + 4*k = -q. Which is bigger: k or -10?
k
Suppose 0 = 2*y - 3*c - 5, 8*y - 3*y - 25 = -5*c. Suppose y*a + 20 = 0, 3*h - 5*a - 29 = -h. Is h at least 1/14?
True
Suppose -5*o = 37 + 48. Which is greater: o or -16?
-16
Let t = -226/693 + 4/99. Let q = -5 + 7. Which is smaller: t or q?
t
Let p = 88 + -128. Let i = p + 202/5. Which is bigger: i or 0?
i
Let x = -38 + 35. Suppose 2*q + 6 = -q. Which is bigger: x or q?
q
Let q = -79.8 + 80. Let d = -4 + 7. Which is smaller: d or q?
q
Let p = -45.08 - -42. Let u = -0.08 - p. Let q = u - 3. Is 0 smaller than q?
False
Let s = 0.6 - 0.6. Let k = -1.9 - -2. Let a = k - s. Is a not equal to -1?
True
Let k = -380 + 787/2. Let r 