(h) = -h + 3. Let n be r(3). Let q = 19 - 14. Suppose -3*i + 0 = 2*v - 2, -2*i - q*v + 5 = n. Is -1 not equal to i?
True
Suppose 5*s + 3 = -7. Let y be (-5)/(-15)*(-135)/s. Let p = 23 - y. Is p smaller than 11?
True
Let m = 0.04 + 0.16. Is m equal to 1/3?
False
Let h(a) = a**2 + 7*a - 3. Suppose 0 = -2*l + w - 5*w - 32, 2*l + 5*w + 36 = 0. Let f be h(l). Suppose f*b = 6*b. Which is bigger: 1 or b?
1
Let m(d) = d**3 + 6*d**2 + 10. Let g be m(-6). Let i = g - 13. Let h be 81*i/237 - -1. Which is bigger: 0 or h?
0
Suppose 4*w - 12 = -5*k + 3*k, 2*w - 2*k = 12. Let c be (1/14)/((-2)/w). Which is smaller: c or 1?
c
Let b be 24 + 127 - (-7)/(-1). Which is bigger: b or 145?
145
Let w be (1/(-2))/(2/(-4)). Let u(z) = z**3 - 6*z**2 + z - 4. Let b be u(6). Suppose 0 = b*o - 4. Which is smaller: w or o?
w
Let o = 195 - 276. Is o less than -81?
False
Suppose -3*v + 2*v + 5 = 0. Suppose 2*g - 36 = v*g. Let z = -274 + 263. Is z greater than or equal to g?
True
Let s = -60.25 - -42. Let q = s - -18. Let f = 0.35 + q. Is 1/3 smaller than f?
False
Suppose 17 - 4 = o. Let z = o + -29. Which is smaller: -14 or z?
z
Suppose 2*q + q + 9 = 3*i, -i + 5 = q. Let v be q/9*33 + -4. Is v not equal to 0?
True
Let h(g) = 8*g + 59. Let u be h(-7). Let s be (u + 9/(-3))/(-2). Is s less than -1/213?
False
Let q = -1 + 0. Let j = 17 - 15. Suppose -r - j*r = -9. Which is smaller: r or q?
q
Let z = 1636 + -1651. Let w = -34 - -18. Are w and z equal?
False
Let c be (-67844)/119070 + (-12)/(-21). Which is greater: c or 1?
1
Let h be (-38)/12*-2 + (-2)/(-3). Let z = -4 - -8. Is z not equal to h?
True
Suppose -x = -9 + 6. Suppose x*n = -1 + 4, 2*m = 5*n + 13. Is m at least 1/2?
True
Let j = 486 + -563. Which is smaller: -78 or j?
-78
Let r be (-333)/(-760) + 12/(-32). Is 2 at most r?
False
Let l(u) = u**2 + 11*u + 30. Let o be l(-5). Which is smaller: -54/59 or o?
-54/59
Let s = 2.2 + 0.8. Let h = s - 3. Let a = 1 + h. Which is smaller: a or -8?
-8
Let a be 3425/13860 + 2/(-8). Let p = -23/924 + a. Which is smaller: 0 or p?
p
Let a be (-4254)/(-708) + -4 + -7 - -5. Which is smaller: -1 or a?
-1
Let b = 2.9 - 3. Let o = 111 - 106. Let j be o/(-2) + (8 - 9). Is b smaller than j?
False
Let c(b) = -b**3 + 22*b**2 + 24*b + 26. Let k be c(23). Let h = 47 - k. Which is smaller: h or 1?
h
Let i = 492 - 491.967. Which is smaller: i or 1/7?
i
Let m(t) = t**3 - 5*t**2 - 5*t - 2. Let g be m(6). Suppose 3*h + g*a - 3*a - 9 = 0, 5*h = 2*a + 15. Which is smaller: 1 or h?
1
Suppose -2*t = -p + 22, 3*t + 0*t + 3*p = -42. Let b be 3*(-2)/t + 1. Suppose 2*n = -5*i + 16, 0 = -n - i - 4*i + 13. Which is bigger: n or b?
n
Let y = -9.936 + -0.064. Let w = -25 + 31. Which is smaller: y or w?
y
Let z = 0 - -1. Let j be 0 - 4/(-130)*1. Let x = -191/130 - j. Which is greater: z or x?
z
Let j be (-2 - 1)/(-1)*-1. Let i = -38 - -26. Let l be (i - -6) + 1 + 2. Are l and j non-equal?
False
Suppose -a = c - 28, -2*c + 9*a - 6*a = -56. Suppose c*h - 24*h = 320. Which is smaller: 0.1 or h?
0.1
Let a be (-2)/4*(-4)/(-26). Let r be (3 - 5)*3/((-3)/2). Suppose r*f = -3*f + 7. Which is smaller: f or a?
a
Let o be -2 + (-3 - (-5 - -2)). Suppose 4*p - f = 19, -p - 3*p + 9 = -3*f. Suppose 68*g - 71*g - p = 0. Are o and g unequal?
False
Let b = 7423/64 - 116. Is 0 at most as big as b?
False
Let v = 2667 - 2633. Which is greater: 33 or v?
v
Let r = 1053 + -1012. Which is smaller: r or 39?
39
Let o = -0.0219 + -4.9781. Is o at most -0.9?
True
Let t(c) = -c**3 - 3*c**2 + c - 17. Let g be t(-4). Let s(z) = 10*z + 50. Let q be s(g). Is q at most as big as -18/13?
False
Let k = 8.6 - -0.4. Let p = k - 9. Is p smaller than -0.09?
False
Let c(d) = -8*d + 9. Let b(v) = 6*v - 9. Let n(o) = 5*b(o) + 4*c(o). Suppose 24 = -4*f + f. Let h be n(f). Is 5 at most as big as h?
True
Let a = 1.015 + 0.025. Let v = a + 0.05. Let p = -0.09 + v. Is 14 greater than or equal to p?
True
Let l = 255 + -246. Is l smaller than 9?
False
Let d = -7996 + 87760/11. Is d less than or equal to -19?
False
Suppose -2*s + 5*s = 432. Let o be 2/(-6) + s/27. Let v = o - 3. Is 3 greater than or equal to v?
True
Let d(k) = k**2 + 6*k + 11. Let b be d(-3). Let z be ((-1)/b)/((-156)/24). Which is bigger: z or 0?
z
Let w = -161/2 - -78. Is -4 less than w?
True
Let g(l) = l**3 - 14*l**2 + l + 2. Let d be g(14). Suppose d*x + 13 = 3*x. Is x < 2/129?
True
Let b be (2 - 6)*(-3)/(-4). Let o = b - -4. Let t be o*(-2 + -2 + 3). Is t greater than -3/13?
False
Let x = 305 - 217. Let k = 169/2 - x. Is -5 at least k?
False
Let h = 20 + -22. Let i = -14 + 10. Is i at most h?
True
Suppose 18 = 5*m + 53. Let i be -120*(4 + (m - -4)). Let r be (2/(-4))/((-380)/i). Which is smaller: r or -1?
-1
Suppose -7*p = 2*p + 81. Let r be 6/(-4) + p/(-6) - 1. Let g = -694 - -9017/13. Is g at least as big as r?
True
Let r(u) = 2*u - 34. Let o be r(15). Let h be (-90)/(-12) - (-2)/o. Suppose 0 = -h*b + b + 108. Is 18 less than or equal to b?
True
Let o = 140 + -99. Let m = o - 24. Let a be (m/3 - 4)*1. Which is greater: a or 1?
a
Let s = -6 - -10. Let l be (6/s)/(-10 - -4). Which is bigger: 8 or l?
8
Let f = 168374/31 - 5432. Is -1 greater than f?
False
Let j be ((-3)/((-9)/(-12)) - -3)*-29. Let s = j - -17. Is 46 greater than s?
False
Let z(h) = -2*h + 7 + 5 - 2*h + 5*h. Let t be z(-10). Let x be (-4)/8 + 59/22. Is x greater than t?
True
Let h = 10074234 - 26041893513/2585. Let w = -3/235 - h. Is -2 smaller than w?
True
Let j be 9/(2 - 5)*12. Let x = -6 - j. Let b be 2/5 - 27/x. Is b less than -0.03?
True
Let z = 401 + -422. Is z less than -18?
True
Suppose -4 = -y - 0. Suppose 0 = 3*a + y + 2. Let h be 5/(-10)*(a - -4). Is -2/41 at most as big as h?
False
Let j be 7 + -1 - (-208)/(-20). Are j and -3 non-equal?
True
Let o = 76 + -73. Let j(k) = -2*k**2 + 6. Let c be j(o). Is c not equal to -10?
True
Suppose -12 = -2*b - b. Suppose -2*z - 2*z = -q + 8, 0 = 5*q - 20. Let j be z/(-3*(-4)/(-24)). Are b and j unequal?
True
Let k be 56/98*7 - -6*1. Which is bigger: k or 8?
k
Let t = -170 + 206. Is -0.2 less than t?
True
Let g be (1 + -3)*3/(6/(-1)). Suppose -4 = -2*r - 2*b, -2*r + 5*b = 2*b + 16. Which is smaller: g or r?
r
Let s = -1659 - -1677. Which is smaller: s or -0.009?
-0.009
Let c(b) = -b**2 - b + 161. Let x be c(0). Suppose -3*z = 4*n - n - 477, n = z + x. Let w = -1277/8 + n. Is 1 bigger than w?
True
Let i = -1990 + 1893. Which is bigger: i or 8?
8
Let u be (2 - 1) + -305 + -4. Is u > -309?
True
Suppose 4*u = 3*q + 2*u - 7, 2*q - 2 = 4*u. Let h be 1*((q - 2) + 0). Which is smaller: 2 or h?
h
Let i = 80.3 + -80. Let k = i + -0.29. Which is smaller: -2/9 or k?
-2/9
Suppose -188 = -3*z - 56. Suppose -4*t + 44 + z = 0. Which is bigger: t or 23?
23
Suppose -14 = -4*m + 18. Let u(j) = 3*j**3 - 25*j**2 + 8*j - 2. Let p be u(m). Let h = 14 + -8. Is p != h?
True
Let c be 2/(-4)*(-2 + -24). Let s = 6 - c. Suppose 2*f - 14 = 2*x, -x = -f + 4*f + 7. Is x less than s?
False
Let o(p) = -4*p + 10. Let b be o(2). Let x be (4*(-6)/12)/(b/11). Are x and -7 unequal?
True
Let a = -142 - -67. Let t = a - -74. Suppose -s + 4*s + n - 19 = 0, -2*s + 12 = n. Are t and s nonequal?
True
Let f be 1*(-362)/2 + -3. Let s = -1290/7 - f. Let d be (-4)/10 + (-7)/(-5). Which is bigger: s or d?
d
Let l be 4/8*(45 + -1). Let f be -4*7/84 - 192/(-9). Which is smaller: l or f?
f
Let m = 312 + -474. Let t be 2/m*-3 - 0. Which is bigger: t or 1?
1
Let z be -5*(-9)/45*(0 + -195). Is -195 greater than or equal to z?
True
Let r be 4*(5 + -10 - (-18)/4). Which is smaller: -48/19 or r?
-48/19
Let u be 3/12*(-24700)/(-171) - -5. Is 2/5 less than u?
True
Let s be -4*((-63)/12 + 0). Suppose -4*t = s - 13. Which is smaller: 1/2 or t?
t
Let t(f) = 4*f - 12. Let y be t(5). Let d be 6/y - (-117)/132. Is 2 < d?
False
Suppose a - 4*p = -3*a - 284, -5*p - 156 = 2*a. Is -72 greater than a?
True
Let q(k) = -k**3 - 13*k**2 + 2*k + 30. Let c be q(-13). Suppose 5*w = 3*h - 0*h - 10, -4*h + c*w + 8 = 0. Which is smaller: h or -3/20?
-3/20
Let k be 40/15 - (-1 - 5/(-3)). Is k at least as big as -2?
True
Suppose 4*v - 2*c + 78 = 0, -v = 2*v - 2*c + 60. Let h = 18 + v. Which is smaller: 2/335 or h?
h
Let p = 16 - 29. Let z = p + 15. Let f be -2*z/8*5. Are f and -2 unequal?
True
Let z be 84/(-8)*(-4)/(-6). Let s = -12 - z. Let r be 1 + 22/(-3) + 0.