42*w = h. Is w smaller than 116?
False
Let q(l) = l**2 - 7*l + 8. Let c be q(6). Let v = -2.9267 - -3.3267. Which is smaller: c or v?
v
Let y = 14173 + -11239. Which is greater: 2933 or y?
y
Suppose w + 4*w = -4*c - 32, 3*c - w + 24 = 0. Let o(g) = -5*g - 48. Let t be o(c). Suppose 2*l = 3*m - 4*m - 17, l = -2*m - 10. Is l at least t?
True
Let l be 2436/1632 + 2/(-17) + -2. Which is smaller: l or 0?
l
Suppose 8124 - 1005 = -3*u. Is -2374 <= u?
True
Suppose -33*v = -2*v - 372. Suppose 129 - 33 = -v*l. Is l not equal to -33/4?
True
Let y be (268/(-3) - (-18 + 19))/(9/27). Which is bigger: y or -2179/8?
y
Let a = -261.07 - -257.17. Which is bigger: -15 or a?
a
Let o(l) = 4*l**2 - 193*l + 1487. Let w be o(8). Are w and 217 non-equal?
True
Let a be (6/24)/(1/52). Let x = -2 + a. Is 10 at least x?
False
Let j(c) = 3*c**2 - 36*c + 4. Let l be j(12). Let v be 5/(-5)*l + 21. Is v at most as big as 15?
False
Let p = 135 + -136. Let g be (-2 - (-9)/12)*(-13)/325. Is p at most as big as g?
True
Let x(r) = 70*r - 203. Let h be x(3). Let t be -1*6*(-4)/8. Let k be (2 - (-2)/2) + t. Is k not equal to h?
True
Let q be (14/17976*3)/(1/(-6)). Which is smaller: q or -1?
-1
Suppose 261 = -2*h + 3*f, 3*f - 9 + 393 = -3*h. Which is smaller: -131 or h?
-131
Suppose -3*k - 8 = -3*a - 2, 0 = -4*a + 5*k + 5. Suppose i - j - 2*j - 22 = 0, 5*j = -a*i + 70. Let n be (2/(-66))/(8/i). Is 1 > n?
True
Let z = 21427/44 + -487. Let i = -166 - -155. Let t be 20/(-110) - 13/i. Is z less than or equal to t?
True
Let d be (-12 - (-5642)/476)*(-4 + -1). Let s = 165/34 - d. Is s greater than 4?
True
Let v = -23272 + 23966. Which is smaller: v or 703?
v
Let g be (0 + 3/(-111516))*(-1568)/1176. Is g equal to -1?
False
Let k = -818.93 + 819.3. Is k > 2/9?
True
Let n = 504 + -5123. Let w = 36891/8 + n. Are w and -9 unequal?
True
Suppose -3*g = -g - 2. Let j = -34984 + 3323479/95. Which is smaller: j or g?
j
Let f be (-15)/18*(-972)/202743. Is f at most 0?
False
Let n(f) = f**3 + 21*f**2 - 47*f - 23. Let w = -156 - -133. Let p be n(w). Which is smaller: p or 25?
p
Let k(j) = -j - 95. Let x be k(-24). Let f(n) = 2*n - 1. Let y be f(2). Let h be y + (-1 - 3) + -69. Is h not equal to x?
True
Suppose 7*f + 9*f = 32. Suppose -24 = -4*p + 2*o, -13*p + f*o + 12 = -12*p. Suppose 15 = -p*c + 9*c. Is c not equal to -0.06?
True
Let z = 6467 + -6450. Which is greater: -15.7 or z?
z
Let u be (2 - 6)*(-3)/(-4). Suppose 13*m - 8*m + 15 = 0. Let r be (u/(-1))/(-19 - m). Which is bigger: r or -1?
r
Let j = -2895 - -141899/49. Which is greater: j or 2?
2
Let o = -4886 + 5967. Which is smaller: o or 1080?
1080
Let x be (-6 + (-16)/(-2) + 2)*-39. Is -162 != x?
True
Let z = -2030 + 1695.1. Let i = 321 + z. Let o = i + 3.9. Which is bigger: o or -0.2?
-0.2
Let v = -62 - -61.68. Let t = v + -3.18. Let o = t + -0.5. Is o at least as big as -8?
True
Let v be -2 + 0 + 108/39. Let z be (-34)/8 + (-1666)/(-392). Which is bigger: v or z?
v
Let j = 0.186 + 0.014. Let m = 219 - 338. Is j at least as big as m?
True
Let q = -4 + 80. Let z = q - 72. Let j = z - 4.1. Which is bigger: j or -40/7?
j
Let r = -799 + 803. Which is greater: 27 or r?
27
Suppose 5*z + v = -80, 2*v = 5*z - 3*z + 20. Let q = -504 - -509. Suppose 3*f + 2*k + 37 = 0, -1 + 36 = -f + q*k. Is z greater than f?
False
Suppose -161 + 701 = 6*q. Let x be (q/(-243))/(-5)*1/2. Which is smaller: -1 or x?
-1
Suppose 4 = -4*c + 4*f, 0 = -4*c - 2*f + 4*f + 2. Suppose -c*j + 22 = 2*x + 6, -4*j = -3*x + 38. Let p(u) = u**3 + 7*u**2 - 2*u - 7. Let l be p(-7). Does l = x?
False
Let h(l) = -3*l**2 - 1. Let p be h(1). Let b be 0 + p*789/6. Let k be 12/20 - b/(-10). Which is smaller: -51 or k?
k
Let y(r) = r**3 + 6*r**2 + 31*r + 131. Let b be y(-5). Is 140/107 != b?
True
Let a be -19 + 1/(18640/354192). Which is smaller: 1.3 or a?
a
Let h be (-1)/(3/9*1). Let n(q) = -q - 3. Let g be n(h). Which is smaller: g or -2/169?
-2/169
Let p = 334 + -521. Let n = p - -186.896. Which is greater: -2/7 or n?
n
Let z = -7.7 + 7.652. Let m = -37.748 - -38. Let i = m - z. Which is greater: 2/17 or i?
i
Let h(u) = 2*u + 27 - u + 11*u + 62. Let t be h(-7). Suppose -t*o = 0, -4*d + 3*o - 14 - 34 = 0. Is d equal to -15?
False
Let u be (-21)/(-84) - (-38)/8. Suppose 4*g = -5*q - g + 65, 0 = -u*q + 5*g + 55. Which is smaller: 10 or q?
10
Suppose -10*t + 28*t - 1755 - 4275 = 0. Which is smaller: t or 332?
332
Let q be (-28)/6 - 10/(-15). Let d = -108 - -111. Suppose 4*r + d = 4*w + 15, -w + 3*r - 3 = 0. Which is smaller: q or w?
q
Let s be 56/112*2*359. Let b = -355 + s. Is 9 at most as big as b?
False
Let k be -4 - 0 - (1225/30 + 22). Let j = 114 - 47. Let u = j + k. Which is greater: -0.1 or u?
u
Suppose -3*s + 2 = -2*l - 11, l + 3*s = 16. Let y be (-1)/(-9) + (-37383)/328185. Which is greater: l or y?
l
Suppose 4*a = 5*q - 12, 9*a - 10*a = -2*q + 6. Is 268 at least as big as q?
True
Suppose -3*a = -2*a - 3*i, -4*i - 4 = -a. Let f be a/42 - 432/(-140). Which is smaller: f or 4?
f
Suppose 41 = 5*l - 3*y, 1 = -5*l - 3*y + 60. Let m be (-5)/l + (-422)/12. Let h = m - -37. Which is bigger: h or 0?
h
Let z(n) = 1812*n - 1561. Let p be z(3). Which is smaller: 3879 or p?
p
Suppose 0 = 4*j + 4*l - 220, 3*j - 130 = -2*l + 6*l. Let q = 52 - j. Suppose 0*c - c = -q*c. Do c and 1/16 have the same value?
False
Let l be -4*(-3)/30 - (-8071)/(-140). Let t(f) = 56*f + 1. Let h be t(1). Let o = h + l. Which is bigger: 20 or o?
20
Let b = -4777 - -4778. Is -1912 greater than b?
False
Let l = 204 - -98. Let b = 301 - l. Let u = -5 - 0.4. Are b and u nonequal?
True
Suppose w - 1 = 2*b, -6 + 4 = 2*w - 2*b. Let x = 3 + w. Let c be 126/(-268) + 1/10*5. Is c at least x?
True
Let c = 7879 + -7878.972. Is c less than or equal to 4?
True
Let d = 2414 - 926. Is d less than or equal to -0.1?
False
Let w be -1*((-3714)/(-4))/(-1) - -4. Let u = -961 + w. Let a = 60 + -90. Which is greater: u or a?
u
Let w = 7 - 88. Let k = w - -71. Which is greater: k or -11?
k
Let n(w) = -6*w**2 - 16*w - 225. Let j be n(-21). Let z = j - -27924/11. Which is greater: 5 or z?
5
Let l(k) = 3*k**3 - 30*k**2 - 15*k + 15. Let o be l(11). Suppose 5*p - o = -3*b - b, -4*p + 3*b + 158 = 0. Let t = 81 + -40. Is t bigger than p?
False
Let m(w) = w**3 - 12*w**2 - 15*w + 4. Suppose n = -5*y + 63, 4*y - 4*n = -5*n + 50. Let o be m(y). Let s be 3/o*10/(-45). Which is bigger: 0 or s?
s
Let y = -365.45 + 535.4. Let o = y + -169. Is o at most 0.2?
False
Suppose -3*x = -8 - 40. Suppose 7*r - x = 12. Suppose 2*w + 8 = -4*q + 2*q, r*w + 7 = 5*q. Is -14 smaller than q?
True
Let l be (-95)/57*-1*3. Suppose -2*t + 3 = d + 11, l*d = -10. Let p be 456/18*(-1)/8. Which is bigger: p or t?
t
Let h = -3559 - -2032. Which is smaller: h or -1530?
-1530
Suppose 66*t - 65*t = -3*g + 2, 0 = -3*g - 3. Suppose 3*s = 9, -4*k - s = -5*k - t. Is 68 != k?
True
Suppose 8*f + 626 = 11*f + p, -f = 2*p - 212. Let o be 110/f + (-66)/176. Which is bigger: -27 or o?
o
Suppose -28*w + 29*w - 35 = -5*h, 3*w = 3*h - 3. Let s be (-232)/h*(-54)/(-12). Is -174 greater than s?
False
Let g(x) = -5*x - 7. Let w be g(-3). Let f be (-1 + 12/w)*0. Suppose f = -2*z - z + 6. Is z bigger than 2?
False
Let z be 5*(-3)/(45/(-6)). Suppose 3*r - 3 = z*k, 0 = 2*k + 2*r - 0*r - 12. Suppose 4*x = -q - 26, 0 = -4*q + x + k*x - 4. Is q greater than -0.01?
False
Let i = -60/1309 - -167198/3590587. Which is smaller: 2/5 or i?
i
Suppose 28*s - 20*s + 875 = 33*s. Let k = 1 + 1. Suppose 0 = -k*q - 7 + 81. Which is smaller: s or q?
s
Let s(m) = -71*m - 3378. Let g be s(-61). Are 956 and g equal?
False
Let v be 15*3/(11 - 218). Let r = 3 + 1. Suppose -3*i + r = i. Which is smaller: v or i?
v
Suppose 0 = -15*k + 12*k - 477. Let f = -184 - k. Are -23 and f non-equal?
True
Let f be 1/(2 + (-9)/5). Suppose -5*h = -0*h - f. Let c be (-28)/(-30)*(-20)/40 + 1. Which is bigger: c or h?
h
Let r be 6/(-57)*6/36. Suppose 7*l - 5 = 16. Suppose 3*g = -6*t + 3*t + l, 0 = -5*t + g - 1. Which is bigger: t or r?
t
Let d be 137806*3/62 - (23 - 26). Let b = 6672 - d. Is 1 greater than b?
True
Suppose 5 = -5*d, 4*d = 2*k + d - 3. Suppose -16*g + 14*g + 10 = k. Suppose -5*h + 108 = 4*n - h, 5*n = g*h + 85. Which is smaller: 62/3 or n?
62/3
Let o = 0.92691 - -0.07309. Which is smaller: o or 43.22?
o
Let b = -42 - -6. Let q = -40 - 