 be t(l). Let v = 10 - x. Is v at most 4/3?
True
Suppose 0 = 3*k - 1 - 83. Let y = -28 + k. Let r = -1963/7 + 281. Which is bigger: y or r?
r
Let a be 21/(-3)*(-2)/(-2). Let l = a - -7. Let r be 2/(-5) + (-116)/435. Which is bigger: r or l?
l
Let m be (-8)/12*9/(-6). Let q(f) = f + 55 - 57 - 3*f. Let h be q(-2). Is m bigger than h?
False
Let y(a) = -3*a**2 + 12*a - 3. Let d be y(4). Let x be (-21)/(-14)*d/(-2*297). Is 1 at most x?
False
Let z(l) = l**3 - 22*l**2 + 2*l - 1. Let m be z(22). Suppose 50*h + 21 = m*h. Which is greater: h or -17/4?
h
Suppose -208*h = -g - 203*h - 500, 0 = -3*g - 2*h - 1432. Is g less than -478?
True
Suppose -v - 10 = 3*o, -5*v + 2*o = -25 + 7. Is v at most 33/23?
False
Let j = -39 + 47.8. Let t = -1.8 + j. Is 0.5 at least t?
False
Let h be (-2 - (-8)/6)*-3. Suppose 0 = -2*p - h*p + 5*z, 4*p + 5*z = 0. Which is bigger: p or 2/111?
2/111
Let s = -1.34 - 0.06. Let u = 0.4 + s. Let l = 12.1 + -12.3. Is u > l?
False
Let f be -4 - (-4 - 48/376). Which is smaller: 1 or f?
f
Let g = -49 - -32. Let r = -3.3 + 17.3. Let y = r + g. Which is bigger: 1/4 or y?
1/4
Let d(g) be the third derivative of -g**5/60 - 3*g**4/4 - 5*g**3/3 - 13*g**2. Let i be d(-18). Which is smaller: i or -8?
i
Let h = 49 + -47.92. Let o = h + -0.41. Let s = o + -0.27. Which is bigger: -4 or s?
s
Let s be (-4)/30 - 76/114. Let d(z) = z + 2. Let f be d(-2). Is s at least f?
False
Suppose -26 = -o - 25. Let a = -2797 + 808331/289. Which is smaller: o or a?
a
Let v be 1/(-2 + (-100)/(-52)). Let w = 18 + v. Which is smaller: w or -3?
-3
Let x be -3 - (-440)/28 - 4/(-14). Let l be (16/8)/(1/7). Is l != x?
True
Let k = -175675 + 35647. Let p = -1546088/11 - k. Let f = -526 - p. Which is greater: f or -2?
f
Let g = -0.4 + 0.1. Let h = g - -0.2. Let a = -134 + 139. Which is greater: a or h?
a
Let y be 3 - 4/(3 + 1). Let o = y - -2. Let m = -1/39 - 73/195. Which is smaller: o or m?
m
Let t be ((-658)/(-98))/((-6)/(-7)). Let m = 137/18 - t. Let j be 7 - 4 - (-10)/(-4). Which is smaller: j or m?
m
Let h = 0.116 - -0.884. Let a(j) = -j**2 + 3*j - 4. Let w(d) = 2*d**2 - 6*d + 8. Let r(t) = -5*a(t) - 3*w(t). Let s be r(3). Are s and h unequal?
True
Let a be 2/7 - 46/14. Let m(t) = 11*t - 9 + 11*t - 23*t. Let n be m(-6). Is a at least n?
True
Let t = 1765/4 - 441. Do t and -2/225 have the same value?
False
Let v be ((-2)/110)/(32/(-2840)). Let f = v + -26/11. Does 0.1 = f?
False
Let w = -11013 + 11010. Let d = -2 + 4. Suppose d*y = y - 2. Is y <= w?
False
Suppose 3*m - 2 = 7. Suppose m*k + 6 - 3 = 0. Let f = -338/207 + 12/23. Which is smaller: f or k?
f
Suppose 2*j = -j. Suppose j*w = -5*w + 150. Let q = 16 - w. Is -13 greater than or equal to q?
True
Let t(m) = -8*m - 84. Let z be t(-11). Are -3 and z non-equal?
True
Let u be 18/63 + (-156)/7 + 2. Is -22 <= u?
True
Let u(h) be the second derivative of h**4/12 + h**3/3 - 15*h. Let r be u(-2). Is -8/15 bigger than r?
False
Let h be ((-54)/4)/(19/(-38)). Let l = 245/9 - h. Is l not equal to 0?
True
Suppose -3 = 8*n - 323. Which is smaller: 2 or n?
2
Suppose 29*j - 34*j + 5 = -2*o, -3*j + 3 = 0. Let p = 0 + 0. Is p less than o?
False
Let u be (-16)/2 - (0 - 0). Let d be (1250/u)/(1/4). Let l = d - -15627/25. Is 0.1 less than or equal to l?
False
Let d = 84 + -82.57. Let b = 1.4 - d. Suppose -3*w - 1 = -7, -5*w = 3*q - 16. Is q less than b?
False
Let o = -136/3 - -46. Let y = 553/12 - 133/3. Which is smaller: y or o?
o
Let f be 9 - -1 - (-18117)/(-495). Suppose 135 = -2*v - 3*v. Is v greater than f?
False
Let i be (-4)/13*43/2494. Which is bigger: i or 0?
0
Suppose -5*i = -2*b - 11 - 7, -2*b = -i + 10. Suppose -5*l + 58 = -i. Suppose -a - 2*t = l, t + 0 = 3*a + 1. Which is bigger: -3/4 or a?
-3/4
Let o = 652 - 689. Which is smaller: o or -36?
o
Suppose 4*i - t - 212 = 3*t, -59 = -i + 3*t. Which is smaller: 244/5 or i?
244/5
Suppose 5*a + 25 = -2*r, -6*a - 4*r = -3*a + 15. Is -8 at least a?
False
Let t be (-8)/4*(1026/(-12))/(-19). Suppose 0*z + 45 = -5*z. Is z less than or equal to t?
True
Let s(n) = -n**2 + 7*n + 8. Let o be s(0). Let i(j) be the second derivative of j**4/12 - j**3/6 + j**2 - j. Let z be i(3). Is o less than or equal to z?
True
Let d be 6/(18/(-12) - (-1)/(-2)). Suppose w + 5 = 2. Let z = w - d. Are z and -1 equal?
False
Let h(v) = -2*v**3 - 2*v**2 - 6*v - 4. Let t be h(0). Does t = -8?
False
Let u = 0.1 + 0.9. Let r = -0.669 - -0.059. Let f = -0.41 - r. Which is bigger: u or f?
u
Let n(o) = -4*o**2 - 4*o + 1. Let c be n(-1). Which is greater: 1/446 or c?
c
Suppose 47*w - 13 + 42 = 170. Let d be (-35)/(-44) + 1/(-4). Is w less than or equal to d?
False
Let k = 89 + -90. Which is smaller: k or 1/30?
k
Let m(z) = -7*z**2 + z + 1. Let v be m(-1). Let b = 142 - 147. Is v less than b?
True
Suppose 0 = 4*v - 18 + 2. Let o be ((-2664)/165)/(-4) - v. Which is greater: -1 or o?
o
Let o = 1056 + -1057. Which is greater: 1/2161 or o?
1/2161
Let g = 47 + -213. Let p be g/(-4)*7/1449. Let h = p + 1/46. Which is bigger: h or -0.1?
h
Suppose 0*k - 2*k + 2 = 0. Let h = -2827/93 - -91/3. Is k bigger than h?
True
Let h(d) = 2*d + 11. Let u be h(-4). Suppose u*c = -11 + 35. Is 4 bigger than c?
False
Let m be ((-6)/2)/(-2*730/(-120)). Do -1 and m have different values?
True
Let b be ((-4)/(-14) - -1) + -1. Let h = -30 - -33. Suppose 8*f = -5 - h. Which is smaller: f or b?
f
Let c = 0 - 0. Let g = -13 + 36. Let z = g + -22. Is z less than or equal to c?
False
Let w = -14.191 - -13.89. Which is smaller: w or 0.2?
w
Let m(j) = 4*j + 11. Suppose -3*a = -0*a + 9. Let o be m(a). Which is smaller: o or 2/107?
o
Let p = -41 - -21. Let x = p + 19.6. Which is smaller: x or -1/6?
x
Suppose 0 = 5*n - 6 + 81. Which is smaller: -171/11 or n?
-171/11
Let r = 76 + -72. Let x be 3 - (r - -3) - -12*2. Are x and 20 nonequal?
False
Suppose 23*a - 27*a = 152. Which is bigger: -41 or a?
a
Let c(t) = -t - 2. Let v be c(-1). Let u be 26/18 - -2*(-4)/(-32). Let m = 5/4 - u. Is v greater than or equal to m?
False
Let i = 14 - 12.76. Let k = -0.24 + i. Which is greater: -0.07 or k?
k
Suppose -5*c - 8 + 0 = -2*p, 4*c = 0. Let d be -2 - -4*(p + -2). Suppose n = 5*v - 4, 2*v - 20 = d*n - n. Is v greater than 1/2?
False
Let a(h) = h**3 + 7*h**2 + 3*h - 13. Let r(s) = -s**3 + 21*s**2 - 21*s + 14. Let k be r(20). Let i be a(k). Which is smaller: i or 14/3?
14/3
Let n(q) = 39*q**2 - 3*q - 6. Let m be n(-3). Are 354 and m equal?
True
Let p be 128/(-3) + 2/(-6). Suppose 40*j - 87 = -1847. Which is smaller: p or j?
j
Let s = -92.83 - -93. Let m = 0.2 - 0. Which is smaller: m or s?
s
Let a(n) = -n**2 - 7*n - 3. Suppose -h + 6 = -4*l, -5*l - 27 = 4*h - 2*h. Let o be a(h). Suppose 4*t + 2*u + 34 = 0, -12 = 3*u - o. Is -7 greater than t?
False
Let h = 0.05 - -0.05. Let r = 0.9 + -0.87. Which is greater: r or h?
h
Suppose 3 + 25 = 4*b. Suppose -4*w + f - 69 = 0, -b*w + 3*f = -2*w + 81. Let q be (-4)/16 - 3/w. Is -1 at least as big as q?
False
Let j = 2.57 - 2.2. Let i = -0.57 + j. Which is smaller: i or -15?
-15
Let a(k) = 4*k**3 + 5*k**2 + 11*k + 9. Let o(p) = p**3 + 1. Let b(s) = a(s) - 5*o(s). Let x be b(7). Are -20 and x equal?
False
Let g = -4 - -7. Let x = g + -3. Let k = 339/4 - 675/8. Do x and k have different values?
True
Let b be 3/7 + (-192)/56. Let a = 0.7 + -0.68. Let t = a + 0.08. Which is bigger: t or b?
t
Suppose -4*h - 35 - 16 = -5*q, -q + 12 = -h. Which is greater: h or -19/2?
h
Let z = -1580 + 1562. Is -50 >= z?
False
Let s = 2 - 5. Let f = 21 - s. Let d be 4/(f/(-9)) - -2. Which is smaller: -3/4 or d?
-3/4
Let v(s) be the second derivative of -1/2*s**2 + 1/2*s**3 + 1/4*s**4 - 7*s - 1/20*s**5 + 0. Let h be v(3). Which is greater: h or 6?
h
Suppose 0 = 4*j + 8, -55*q + 51*q + 5*j + 282 = 0. Which is smaller: q or 72?
q
Suppose 0*v = 5*v - 10. Let a be (-4 - 0)/(v/(-2)). Suppose -a*t + 3*t = 1. Which is greater: 2/11 or t?
2/11
Let p = 0.1795 + 0.0205. Which is bigger: p or 161/4?
161/4
Suppose 4*d = -2*r - 654, 483 = -3*d - 6*r + 2*r. Let t be (7 + d/9)/((-4)/(-18)). Are -52 and t unequal?
True
Suppose 0 = -5*s + o + 11, 4*s - 3*o = o + 12. Which is smaller: -0.07 or s?
-0.07
Suppose 3*m + 4*r - 98 = 0, 7*r + 58 = 3*m + 3*r. Which is bigger: m or 24?
m
Let b = -3.967 - -4. Let i = -6.767 - b. Let l = 7 + i. Is 3 equal to l?
False
Let s be 1/((