 h = k - 0.019. Which is smaller: h or 0.1?
0.1
Let w be 72/108*10/(-6). Suppose 11 = 2*v + 3*v + 3*p, -4*v - 2*p + 10 = 0. Suppose 0 = v*s - 6*s. Is w equal to s?
False
Let h = 1678 - 18464/11. Let i be -6 - (0/(-3))/(-1). Let k = i + 4. Is k < h?
True
Let g be 3*(36/6*-1 - -9). Let j = -10 - -39. Suppose -4*s + 53 = s - 2*z, s - j = 5*z. Is s greater than g?
False
Let d = -101/38 - 2439/76. Let v = d - -979/28. Is v bigger than -1?
True
Let c = -25 - -24.94. Let z = 0.28 + c. Let t = z + -0.32. Which is smaller: t or -0.2?
-0.2
Let m be 6 + 1 + (-920)/12. Which is smaller: m or -70?
-70
Let s(p) = -2*p - 2. Let v be s(-7). Let j(r) = 3*r - 14. Let g be j(8). Is v less than g?
False
Suppose -5*j + 1 = 6. Let n = -1/2870 - 2819/146370. Is j greater than or equal to n?
False
Let s be (-10)/(-65) - 120/273. Are s and -143 unequal?
True
Let x(v) = -v**3 - 10*v**2 - 16*v - 17. Let r be x(-10). Let y be (r/30 - (-10)/25)*-1. Is y bigger than -4?
False
Let f(r) = r**3 + 3*r**2 + 2*r. Let p be f(-2). Let h be p*(5/(-15))/(3/(-9)). Which is smaller: h or -10/19?
-10/19
Suppose -5*t = -20 - 55. Let x = 12 - t. Let s be x/(30/16) + 1. Which is bigger: s or -2?
s
Let k(u) = 2*u**2 + u + 1. Let a be k(2). Let q be ((-2)/a)/((-6)/(-9)). Is q >= 1?
False
Suppose 0 = u + 41 - 2. Let l be (1/u)/(8/24). Is 0 bigger than l?
True
Suppose 6*f - 3*f = 5*t + 45, -f - 25 = 5*t. Let y(c) = c**3 + 4*c**2 - 13*c - 9. Let n = -2 + -4. Let u be y(n). Which is smaller: u or t?
t
Let z = -52.8 + 39. Let y = z - 2.2. Let i = -15 - y. Which is bigger: i or -2?
i
Let d = 0.112 + 1.238. Let m = d + -1.25. Which is bigger: -2/31 or m?
m
Suppose 5*t + z + 3 = 0, 4*t + 3 = -0*t - z. Let d be 7/(7/(-2)) - t. Let n be (12/16)/(15/(-10)). Is n != d?
True
Let g(h) = -h**3 + 27*h**2 - 43*h - 147. Let i be g(25). Do 27 and i have different values?
True
Let d = -3/107 - -620/18297. Is d > 1?
False
Let d = -0.329 + 0.3497. Is d < 0?
False
Suppose -3*b = 4*g - 31, 8*g - 3*g - 30 = -2*b. Let n be (22/(-12))/(g/56). Let i = -25 - n. Which is greater: i or 1?
1
Let v = 310/7 + -44. Let y = 1 + 1. Suppose w - 26 = -y*w + 4*r, -4*w + 2*r = -18. Which is greater: w or v?
w
Suppose -100 = 5*t + 5*o, t = 2*t + 4*o + 23. Let h = 193/10 + t. Suppose 0 = -3*c + d - 1, -31*c = -36*c - 2*d + 13. Is c bigger than h?
True
Let x = 1/5332 + 184287/1333. Which is smaller: 138 or x?
138
Let o = -243.1 - -243. Which is greater: o or -0.135?
o
Let m be (-4)/(-3)*(2 - 8). Let n(o) = o**3 + 6*o**2 + 5*o + 24. Let d be n(-6). Let z be (d/m)/(21/112). Are 4 and z equal?
True
Let p be ((-1)/35)/((-3)/((-11205)/(-18))). Which is bigger: 6 or p?
6
Suppose 198*b + 16 = 200*b. Let o(p) = -2*p + 2. Let j be o(-4). Is b greater than or equal to j?
False
Let c = 348 - 179. Let t = c + -94. Is t > 74?
True
Let a = -123 - -112. Which is bigger: a or -0.02?
-0.02
Let r(q) = -13*q - 63. Let m be r(-5). Is m at least as big as 5/4?
True
Suppose -2*x - 24 = -w + 5, 5*x + 2*w = -77. Let s = -30 + 16. Is x != s?
True
Let w be (-2)/6*(-78)/1430. Which is greater: 0 or w?
w
Suppose l - 323 = 3*j - l, 0 = -5*l - 10. Let i = j + 71. Which is smaller: -40 or i?
-40
Let l = 12/203 + -6949/120988. Which is bigger: 1 or l?
1
Let r(l) = -116*l - 2321. Let n be r(-20). Let z be -1 + 1*(-1 + 0). Let y be (z/(-10))/(4/(-10)). Is n greater than y?
False
Let u = 228 - 227.48. Which is bigger: u or -0.3?
u
Let b(r) be the first derivative of -9*r**2/2 + 3*r + 2. Suppose 5*z = 2*o + 21, 2*o + 1 + 5 = 2*z. Let d be b(o). Do d and -15 have the same value?
True
Let f be (-2)/4*(-2 + 2). Let q = 29.945 - -0.055. Let s = 39 - q. Is f >= s?
False
Let q = -11 + 10.6. Let b = q + 0.22. Let n = -0.08 - b. Which is bigger: n or 0.5?
0.5
Suppose k - 9 = -5*x, 2*k + 3*k = -x - 3. Suppose 7*g - 3*g - 12 = 0. Suppose -10*o = -g*o - 42. Is o less than x?
False
Let w be 4 + (-266)/4*-4. Let z be w/(-70) - 1/7. Are 2 and z nonequal?
True
Let q = -852 + 842. Which is smaller: -15 or q?
-15
Let f(h) = h**3 - 15*h**2 + 2*h - 28. Let o be f(15). Let d(i) = -i**2 + 1. Let l(v) = -3*v**2 + 5. Let g(s) = 4*d(s) - l(s). Let q be g(o). Is -6 less than q?
True
Let t(y) = 2*y**3 - 8*y**2 - 3*y + 3. Let j(d) = d**3 - 4*d**2 - d + 2. Let r(g) = -5*j(g) + 2*t(g). Let b be r(3). Let h be (b - 2) + (-2 - 1). Is -3 < h?
False
Let m = 158/3 + -54. Let h = -6 - -10. Suppose -4*u - 8 = -h. Do u and m have the same value?
False
Suppose c - 2*o - 27 = 2*o, 2*c + 5*o = -11. Let h = -0.3 + 0. Is h at least as big as c?
False
Let s = -259.8 + 257.8. Let z = -2 + 1. Is z < s?
False
Let x = 9.07 + -8. Let i = x - 0.07. Which is greater: 8 or i?
8
Let s(h) = 5*h - 4. Let d = 113 - 112. Let b be s(d). Is b <= 1/94?
False
Let p = -1.41 + 1.31. Let z = 15 + -9. Is p less than z?
True
Let y = 3.1 + -3. Let p be (-40)/(-10) - (-1 - 0). Let u = -2 + p. Which is smaller: y or u?
y
Let p = 7754 + -85155/11. Which is bigger: p or 13?
13
Suppose -32*c - 1290 = -47*c. Are c and 86 unequal?
False
Let u be (-8)/24*(1 - 2). Let s(c) = -3*c**2 + 83*c - 139. Let p be s(26). Which is greater: p or u?
u
Let o = -709/7 - -17219/168. Let d be ((-42)/(-40))/(18/15). Let l = o - d. Is l smaller than -2?
False
Suppose 0 = 3*w - 3*y + 6, 2*w + w + 4 = y. Does w = 1/1206?
False
Let w be 25/(-6) + 6 + 0. Let v(b) = b - 2. Let x be v(5). Is x bigger than w?
True
Let a be ((-16)/(-70))/(13244/(-1650) + 8). Is a at least -1?
False
Let c be (4/12)/(2/6) - 1. Let p be (-1)/((-1)/(-3)*-3 - c). Is 3/107 equal to p?
False
Let v = 0.22 + -0.57. Let h = 0.15 + v. Is h <= -0.2?
True
Let u = 469/4 + -1411/12. Is u at most as big as 12?
True
Let p = -179 - -1255/7. Which is bigger: -1169 or p?
p
Let w be ((-2)/4)/((-41)/2132). Which is greater: 28 or w?
28
Let c be 2/(-4)*-14*(-380)/(-70). Which is greater: c or 37?
c
Suppose -21*z = -123 - 24. Are 3 and z equal?
False
Suppose 18 = -t - 11. Let s(z) = -38*z**2 + 9*z - 2. Let p be s(1). Which is smaller: t or p?
p
Let q be 7 + (5 - (-2 - -11)) + -39. Is -1 < q?
False
Let n = -11.9 + 12. Suppose -f - 6*f + 56 = 0. Suppose 6 + f = 2*v. Is n <= v?
True
Suppose 5*y - 18 = -8. Let p = 84767675/63 + -1345553. Let v = p - -256/7. Is v smaller than y?
False
Let z = -143 + 143.91. Let j = -0.81 + z. Is 7 smaller than j?
False
Suppose -8*n + 15 = -5*n. Suppose -n*k - 29 = -4*q, 0*q = 5*q - k - 52. Which is bigger: q or 8?
q
Let r(b) = 4*b - 9. Let z be r(10). Let x(k) = k**3 + 7*k**2 + 4*k - 2. Let q be x(-4). Which is bigger: z or q?
z
Let o = 17345096/1133 - 15309. Which is smaller: 1 or o?
o
Let v = -1709 + 678. Is v bigger than -1032?
True
Suppose 4 = -z - 2*z - 5*o, 4*o = -4*z. Suppose 5*a = 15, -42 = z*n - 3*a - 3. Let y be n/(-14) + (-2)/4. Which is smaller: y or 1?
y
Let r(w) = -w**2 - 5*w + 40. Let q(g) = g**2 + 4*g - 40. Let d(x) = -2*q(x) - 3*r(x). Let k be d(-9). Is -21 bigger than k?
True
Suppose -5*f = 7 - 17. Suppose 25 = 5*i - 3*k + f*k, i + 3*k = 5. Suppose -i*t + 9 = -11. Do t and 3 have the same value?
False
Let i be 1 + (5/2)/(-5). Let p = 76 + -108. Are p and i nonequal?
True
Let l = 348 - 251. Is 98 > l?
True
Suppose -4*u = -2*b - 30, 0 = 5*u + 15 + 5. Which is smaller: 7 or b?
b
Let b(a) = -2*a - 2. Let c be b(-8). Let o(v) = v - 16. Let g be o(c). Which is bigger: g or -3?
g
Let a = -0.3 - -0.2. Let r = 359 + -362.86. Let u = r - 0.14. Which is bigger: u or a?
a
Let d(m) = -7*m - 2. Let g be (-6)/((-12)/10)*-7. Let l(w) = -119*w - 35. Let u(y) = g*d(y) + 2*l(y). Let s be u(-1). Which is bigger: 0.2 or s?
0.2
Let h be (42/7 + -8)*(-2)/4. Let b(m) = 6*m. Let k be b(h). Which is smaller: 46/7 or k?
k
Let p(i) = -2*i**3 - 9*i**2 - 11*i - 2. Let s be p(-3). Let l be (11 - 441/28)/(3/s). Suppose 19 + 16 = -5*u. Which is bigger: u or l?
l
Suppose l - 2*h = h, 0 = -5*l + 5*h. Which is smaller: -4/309 or l?
-4/309
Let p be 1/(-3) - (-123673)/165. Let y = p + -752. Let o be 2/(-14) - (-100)/(-35). Is y less than o?
False
Suppose 0 = 2*i + 3*d - 137 - 31, 4*d = -5*i + 434. Suppose 12*n + i = 7*n. Is -19 greater than or equal to n?
False
Suppose 3*b = -3*f - 15, -3*b - 25 = -b - f. Let i(y) = y**3 + 12*y**2 + 23*y + 1. Let z be i(b). Let v = -67 - -39. Which is smaller: z or v?
z
Let d(z) = -z**2 + 10. Let q be d(3). Suppose -f + q = -2*f. Is 2/5 greater than f?
True
Let