4, -4 - 20 = -2*w - 5*l. Let p = w - 1. Let h = -9.42 - -10.72. Does h = p?
False
Let c = 0.714 + -0.564. Let l = -1 - -7. Which is bigger: l or c?
l
Let r be 383/((-264 - -3) + 3). Let y = -2/129 + r. Let p be (5 - 11)*2/4. Which is smaller: p or y?
p
Let i be 115/(-100)*-2 - 1. Let h = i + -127/90. Which is smaller: h or -2?
-2
Let i = -4.1 + 4.17. Let q = i - 0.77. Which is smaller: q or 4?
q
Let p = -30 + 13. Let t be 2/(-5)*-2*15/(-24). Which is smaller: t or p?
p
Let p be (-26)/(-91) + 16/(-7). Suppose 2*k - k - 1 = 0. Let h be 0 + k + (-1 - 1). Is h greater than or equal to p?
True
Suppose 29*u - 23*u = 60. Suppose 4*v - 10 - u = 0, 2*q + 5*v - 23 = 0. Is q > 1/4?
False
Let j = 3 + 2. Suppose -2*y = j*k - 22 + 6, -4*k = -8. Suppose 2*z - u = -2*z, 1 = y*z - u. Which is smaller: -3/4 or z?
z
Suppose 232*i = 224*i + 40. Is 3 >= i?
False
Let w be (-11)/((-33)/(-9)) + (-682)/(-230). Is -1 at least as big as w?
False
Let x = 1196 + -1283. Which is smaller: x or -88?
-88
Let d be ((-72)/(-114) + -1)*1 - -1*1. Suppose 0 = c + c. Are c and d unequal?
True
Let p be -4 - -10 - (6 + -12)*-1. Is 12 greater than p?
True
Let b = -114 - -117. Is b bigger than -4?
True
Let f(k) = k**2 + 21*k - 339. Let n be f(-32). Which is smaller: 6 or n?
6
Let h(y) = y**2 - 8*y + 6. Let g be h(6). Let n = 9 - 5. Suppose n*j = -3*t - 2 - 5, -3*j - 5*t - 8 = 0. Which is smaller: g or j?
g
Let u = 35 - 33. Let t(j) = -5*j + 9. Let h be t(u). Which is smaller: 2/31 or h?
h
Let l = 54 - 54. Suppose l = -8*i + i + 7. Are i and 1/49 unequal?
True
Suppose -2*t = 14 - 24. Suppose j + 2*j + 14 = -t*r, 5*r - 1 = 2*j. Let f be 3/7 + (-1 - -1). Which is smaller: f or r?
r
Let z(d) = d**3 + 4*d**2 - 12*d + 3. Let c be z(-6). Is 10 equal to c?
False
Let h be 132/560 + 54/(-189). Let o be 2/(-6) + 2/(-3). Is o > h?
False
Let g = -211 - -246. Do 35 and g have the same value?
True
Let k be (1 - 2)/(1/2). Let j be (4 - 132/30)/(8/90*8). Which is smaller: k or j?
k
Suppose 5*b + 2 = -4*k - 7, -32 = -3*k + 4*b. Suppose -20 = -5*q, 18 = -s + 5*q - k. Let w be (-9)/2 + 2 + 2. Is s equal to w?
False
Let f = -730 + 725. Do -5 and f have different values?
False
Let z = 2016 + -2047.94. Let x = -57 + 25. Let p = x - z. Is p bigger than 2/5?
False
Let s(d) = -3*d - 2*d - d - 4*d - 9. Let x be s(-7). Is x not equal to 61?
False
Let i be (4/1 + -8)*134/(-8). Let x = 68 - i. Do 20/11 and x have the same value?
False
Let a = 0.37 + -0.17. Let h = 55.7 - 57. Which is smaller: h or a?
h
Let k be (1 - 6)*(-26 + 25). Suppose 0*n + 3*n = 3*d, 4*n = 5*d - k. Let f be 62*(1 - n/6). Which is smaller: f or 11?
f
Let d(g) = 1467*g**2 + 68*g + 68. Let h be d(-1). Which is greater: 1468 or h?
1468
Let p(l) be the third derivative of -l**6/120 - 11*l**5/60 - l**4/2 + l**3 + 6*l**2. Let z be p(-10). Suppose -z*f + 27*f - 25 = 0. Are 1 and f equal?
False
Let j be -2*3/12*0. Suppose j = 4*o - 24 - 76. Let w be 6/12 + o/2. Is -1 equal to w?
False
Let v = 143 + -143. Which is smaller: -1/7 or v?
-1/7
Suppose 100*d + 6 = 6. Let m be (-1 - (-64)/66)*4. Is d at least m?
True
Suppose -2*j = 248 - 228. Is j >= -14?
True
Suppose -5*t = 0, 0 = -h - 12*t + 15*t + 56. Are -2/3 and h nonequal?
True
Suppose 2*v - 2*n = -4, -n = 4*v - 4*n + 3. Let f(d) = -d - 5. Suppose 7 = -2*b - 9. Let r be f(b). Is v greater than r?
False
Suppose 286*a - 281*a = 785. Is 158 at most as big as a?
False
Let f = 196.1 - 193. Which is smaller: f or -0.2?
-0.2
Let m = -368 + 367. Are -9/23 and m equal?
False
Suppose 4*y = 8 - 0. Let p = 7 + 1. Suppose -u + 9 = 4*q, -4*q - p = -4*u + 8. Which is greater: q or y?
y
Let g = 23.9 - 25.61. Let q = g + 0.21. Let z = q + 1.4. Which is greater: -2/9 or z?
z
Suppose k - 22 - 19 = 0. Suppose -k = -4*r - 5*w, -2*r + 3*r + w = 9. Let p = 6 + -4. Is r less than p?
False
Suppose 0*q = 3*q - 12. Let r be (-5 + q)*(-3 + 0). Let v(u) = u**3 - 9*u**2 + 7*u + 11. Let i be v(8). Is i smaller than r?
False
Let q = -1.98 - 2.02. Let j = -1/3 + 0. Are j and q unequal?
True
Let o = -1/1382 + 35939/9674. Let h be (-26)/(-26) - 12/(-3)*1. Is o != h?
True
Suppose -49*v = -v - 23*v. Let p be (-4)/(-17)*2/(-4). Which is bigger: v or p?
v
Let y be (4057 + -5)/((-3)/((-12)/(-10))). Let d = y + 1628. Do 8 and d have different values?
True
Suppose -5*u + 14 = -4*y - 27, 0 = -4*u + 2*y + 28. Let b(g) = -u*g**3 + 2*g**2 + 1 + 0*g**3 + g**3 - 2*g + 3*g**3. Let a be b(1). Is 7/6 at most as big as a?
False
Let o be ((-470)/1410)/(2 + (0 - 1)). Which is greater: -97/4 or o?
o
Let w(l) be the first derivative of l**4/4 + 17*l**3/3 + l**2/2 + 17*l - 3. Let d be w(-17). Let g be 2/(-8) + 6/(-40). Are g and d unequal?
True
Suppose -2*d + 180 = -4*f, -4*f = -4*d + 3*d + 176. Let w = 2455 + -2456. Is w at least f?
True
Suppose 5*r + r = -6. Let l be 26 + -2 + 3 + r. Which is smaller: 25 or l?
25
Let h(w) = -w**2 - 23*w - 7. Let z be h(-10). Is z <= 367/3?
False
Suppose 2*o - 1 - 17 = 0. Suppose 5*k + 17 = -2*u, 3*k = 4*k - 1. Let r = o + u. Is -5 != r?
True
Let d(q) = -q**3 + 19*q**2 - 33*q - 18. Let r be d(17). Does 0.109 = r?
False
Suppose 4*x + 1 = p - 6, -15 = -5*p. Let a be 3 + (3/x - 1). Is a at most as big as -1?
True
Suppose 0 = c - 3*b + 3, -b + 5*b = -2*c - 16. Let p = c - -8. Suppose 1 = 5*w + 5*k - 2*k, -2*k - 4 = w. Is p less than or equal to w?
True
Let m be (-12)/(-27)*9 - (-70)/(-18). Which is smaller: -9 or m?
-9
Let f be (0 + 3 - 2)/(5/5). Let q(g) = g**3 - g + 1. Let d be q(f). Which is bigger: 3/7 or d?
d
Let z = 0.139 - 5.139. Let m = z - -37. Is 0.2 >= m?
False
Let z(n) = 6*n + 34. Let u be z(-7). Which is smaller: -7 or u?
u
Suppose -5 = -5*s - 10. Let k(v) = -v**2 - 9*v - 3. Let y be k(-8). Let z be 18/(-24) + y/8. Is s bigger than z?
False
Let g(c) = -c**3 - 8*c**2 - 2*c + 3. Let y be g(-7). Let l = 50 + y. Is l at least as big as 17?
True
Suppose 4*x = 8*x. Let c be 8/(x + 2) - -1. Let k be (-8)/4 + 11/5. Is c less than k?
False
Let w = 147 - 148. Is w >= -11/10?
True
Let n = -89 + 89.67. Which is bigger: -0.1 or n?
n
Let c = 37 - 26. Let o = c - 4. Let t = -800 + 800.1. Is t less than o?
True
Suppose -4*o - 5*q - 117 = -2*q, -3 = -3*q. Let d be (2/(-1))/(o/(-15)). Is 4/29 bigger than d?
True
Let g(x) = -5*x - 24. Let o be g(-5). Let z = 6 - 4. Let h be z/2 + (-39)/33. Is o != h?
True
Let w = 1555/27 + -105898/189. Let d = w - -501. Let c be -1*2 - (24 - 24). Does c = d?
False
Let y be (14/16)/((-59)/(-1298)). Suppose 90 = 4*k + k. Is k < y?
True
Let k be (3/(-2))/(1/(-2)). Suppose -3*t - k*u = -0*t - 3, -t + 1 = 4*u. Is -2/37 less than t?
True
Let t = -266 + 248. Which is smaller: t or -14?
t
Let l = 2255/3 - 778. Let x = l + 26. Is -6 <= x?
True
Suppose 2*t + 3*f - 39 = 0, -54 = 29*t - 32*t - 3*f. Is 122/9 equal to t?
False
Let h be (-8)/(-36) + 315445/(-9). Let f = -35190 - h. Let k = f + 141. Which is greater: k or 0?
k
Let n = 294/29 + 2271/145. Is n >= 25?
True
Let c be -2*(-2)/(-10)*30/(-48). Which is smaller: c or -88?
-88
Let r = 354 + -1066/3. Let m(s) = -2*s - 6. Let u be m(-5). Let j = u - 5. Are j and r non-equal?
True
Suppose 4*v = -2 + 14. Suppose -v + 9 = -3*k, 3*k + 20 = -2*s. Is s < 0?
True
Let d = 1023107 + -58315547/57. Let o = -82/3 + d. Which is greater: 0 or o?
0
Let j = -5583 - -13494. Let l = j + -7879.17. Let v = -32 + l. Which is greater: v or 1?
1
Suppose 0 = -2*c - c + 18. Let m = 110 - 209/2. Which is smaller: m or c?
m
Let q = -192 - -193.98. Let t = q + 0.02. Let o = 179 - 178.4. Is t < o?
False
Suppose 4*f + 4*s = -28, -3*f - 31 = -3*s - 4. Let h = 1 + f. Is h smaller than -7?
False
Let w(o) = o**3 + 15*o**2 - 35*o + 64. Let t be w(-17). Which is bigger: 82 or t?
82
Let r = -1756 - -1791. Let h(t) = -t**2 - 13*t - 4. Let o be h(-5). Is r bigger than o?
False
Let k = -57313/33 + 1737. Let f = k - -1/11. Is f < -0.37?
False
Let j = -197 - -144. Is j smaller than -3/7?
True
Let v = 368 + -338. Which is smaller: v or -0.1?
-0.1
Let a be (-42086)/319 - (-4)/(-58). Is -130 bigger than a?
True
Let v be 10/2*(-3 - 376/(-40)). Is v bigger than 0?
True
Let q = 1656 + -1658.3. Suppose 0 = -5*i + i - 4. Is i at most q?
False
Suppose 13*h + 4 = 12*h. Let p be h*(18/4 + -4). Does p = 0.2?
False
Let g(a) = -61*a**2 - 4*a + 6. Let o be g(2). Let s = o - -1731/7. Which is smaller: s or 1?
1
Let