4*z**2 - 5*z - 1. Let q be b(5). Is w smaller than q?
False
Let l(i) = -34*i**2 - i + 1. Let h = -27 + 30. Let b be l(h). Let k be (-4)/10 + 3/(15/b). Which is bigger: k or -1?
-1
Let k(h) = -h**3 - 22*h**2 + 57*h - 11. Let v be k(-24). Let u = -108 - v. Is u > 120?
False
Let b = -3528 + 10564/3. Suppose -5*g + 36 = 6. Let t be (-1 - g)*1/1. Which is bigger: b or t?
b
Let d = -18.2 + 209.2. Let x = -190.9 + d. Is x >= -626?
True
Suppose -2884 = -27*d + 37*d + 1266. Which is smaller: -417 or d?
-417
Suppose -5*c = -7 - 3. Let v(u) = 6 - c*u + u + 13 - 10. Let q be v(3). Is q equal to 7?
False
Suppose -4*b + 4*h - 3412 = 0, 124*b - 120*b + 3394 = -2*h. Which is bigger: -852 or b?
b
Suppose 8*f - 4101 + 2061 = 0. Is f != 299?
True
Suppose 147*c = -22281 - 210567. Is -1585 less than c?
True
Let n(l) = -7*l - 17. Let a be n(-31). Let p = a - 196. Is -3 greater than p?
False
Suppose -150683*w + 150696*w - 178789 = 0. Is 13752 less than or equal to w?
True
Let f = 13/222 + -313/1554. Are 92 and f nonequal?
True
Let f be (1/2)/(2/(-84)). Let s(c) = -13*c - 44. Let y be ((-20)/3)/(-4) + (-1012)/276. Let m be s(y). Is m at least as big as f?
True
Let k = 1778 - 5335/3. Is k at least 0.21?
False
Suppose -5*b = 5*s - 50, -s = b - 5*b + 20. Suppose -b*g = -12*g + 66. Suppose -112 = 3*w - g*w. Which is smaller: 0.1 or w?
0.1
Let j be (-723)/5*205/(-492). Which is bigger: j or 61?
61
Let l(k) = -15 - 16 - 11*k + 3*k. Let u be l(-5). Suppose -4*b = u*b + 104. Which is smaller: -3 or b?
b
Let x = 63 - 57. Suppose 3*l - x = 3*g - l, -5*g - 5*l = 45. Let b be (-90)/315 + 1 + g/8. Are 0.1 and b nonequal?
True
Suppose -5 = -3*c + 2*c, -4*c = -5*y - 85. Let v be (0 - (-3 + 2)) + 1. Let b = v + y. Is -11 <= b?
True
Suppose -u = 31 + 38 - 17. Is u bigger than -413/8?
False
Let y be ((-19)/(-152))/(1/(-3023)). Let x = y - -375. Is x greater than 5?
False
Suppose 3*k + 2*r - 23 = 3*r, -38 = -5*k + 2*r. Let d be (-3 - 4)/(k - 2). Let x be (0/(-4 + (-54)/(-6)))/(-2). Which is smaller: x or d?
d
Let x(q) = -q**3 + 10*q**2 + 5*q + 172. Let a be x(13). Let c = -2089651/11 + 189698. Let y = c - a. Which is greater: -0.1 or y?
-0.1
Let p = 14616 - 14618. Is p smaller than 324?
True
Suppose -61 = -3*d - 22. Let s be d/5 + 0 - (5 + -3). Which is smaller: 0 or s?
0
Let h be 592/2 - 69/184*16. Does 282 = h?
False
Suppose 0 = 2*m - 4*m + 12. Let j be (-2)/m + ((-40)/15 - -3). Suppose -5*b + 3*w = -206, j = -4*b + 2*b + 3*w + 86. Are b and 39 unequal?
True
Let p be (301/(-21) - -7)*(-402)/737. Suppose -5*a = -2*j - 21, -2*j + 2 = -3*a + 17. Is p less than j?
False
Let r be (-129)/(-18) - (-6)/(-36). Let b be 97/(-21) + (-2)/(-6). Let p = -29/7 - b. Is r >= p?
True
Suppose -20610 = 137*o + 18435. Do -3720/13 and o have different values?
True
Let v = -221 - -130. Let m = -91 - v. Which is smaller: m or -2/241?
-2/241
Let q(v) = 2*v**2 - 2*v - 24. Let x be q(-3). Which is smaller: x or 1/4340?
x
Let n = 0.34 - 0.26. Let c = 38.08 - n. Let z = c - 49. Is -1 less than z?
False
Let f = 2887 + -2886.937. Which is bigger: f or 1.8?
1.8
Let z be ((-10551)/(-9))/(92/(-276)). Which is smaller: -3518 or z?
-3518
Suppose -4*q - 345 = o, -2*o - 618 = -q - 3*q. Which is greater: -328 or o?
o
Let i = -74284/9 - -1128596785/136737. Is 0 at least as big as i?
True
Let h(m) = 3*m - 12. Let g be h(5). Suppose c = g*q - 0*c + 61, -4*c = -16. Suppose -28*v = -27*v + 20. Which is smaller: q or v?
v
Suppose 5*y = 3*h - 44 + 1, -2*h + 26 = -4*y. Let g = -57 + h. Let a = g - -36. Are 3.3 and a equal?
False
Let r = 311 - 310.678. Let t = r + -0.122. Is t at least as big as 14?
False
Suppose 14*n - 759 = 3*n. Suppose n = 3*u + 246. Let y = -59 - u. Which is smaller: -36 or y?
-36
Let s = 154 - 34. Let m = -0.49 - 103.51. Let n = s + m. Which is smaller: n or -3?
-3
Suppose 1 = -40*n + 1. Which is smaller: -3/1097 or n?
-3/1097
Let m be ((-8)/(-61))/((-2)/10). Let d = m + -14499/122. Does d = -119?
False
Let g = -185 + 230.2. Let x = 97.3 - g. Let k = 52 - x. Which is smaller: 1.3 or k?
k
Let u = -2968603765/13073 + 227079. Which is greater: u or 1?
1
Suppose -y = -81 + 79. Suppose -3*x - y = -71. Suppose -x*a + 4 = -27*a. Is -1/6 greater than or equal to a?
True
Let j = 4506/19 + -239. Let o = j - -5861/3192. Which is smaller: 0.1 or o?
o
Let b = 2/1651 - 23148/28067. Let s be 460/45 + (-6)/27. Suppose -6*u + 11*u = -s. Is b at most as big as u?
False
Let a = -420353 - -420394. Let i be ((-112)/(-12))/((-2)/21). Let c = -56 - i. Which is smaller: a or c?
a
Let s = -2052/749 + 18/107. Let x = -0.5549 + 1.5549. Is s at most as big as x?
True
Let m be (116/112 + (-21)/28)/(19/57). Is m <= -205?
False
Let m(q) = -q**3 - 3*q**2 + 4*q - 10. Let s be m(-5). Let w(l) = -l**2 + 14*l + 24. Let h be w(s). Which is smaller: -95 or h?
h
Let p = 180321/29 + -6217. Let d be 2/(-20) + (-27582)/(-22620). Let n = d - p. Which is greater: 0 or n?
n
Let q be (918312/(-765310))/3 + -36*(-13)/1170. Which is smaller: 0 or q?
0
Let k = -144/13 - -1451/104. Let p = 1771 + -1769. Is p < k?
True
Suppose 0 = 35*c - 23*c - 420. Suppose 44*p - c*p = 72. Are p and -18 nonequal?
True
Let y = 128.43 - -513.57. Are 3 and y non-equal?
True
Let w be ((3 - 0) + -30)*10/(-30)*1. Which is smaller: 53/6 or w?
53/6
Let s = -17 - -20. Suppose s*k - 9 = -4*j, 0*k - 3 = -k. Let n be (-1 - (-2 + 1)) + (-2 - j). Is -3 greater than n?
False
Suppose -331*h - 615283 + 633566 = -1124329. Is h at most as big as 3452?
True
Suppose 3*j = -162 + 216. Let t be 60/j*-8*(-4)/260. Which is greater: t or -1?
t
Let z = 0.10632 + -3.10632. Is z <= 340?
True
Suppose 42*i + 247650 = 14634. Are i and -5549 equal?
False
Let d = -483 - -174. Let f = d - -312. Is f > 2/131?
True
Suppose 3 = -4*t + 5*i + 4, -3*t + i = -9. Suppose 0 = 10*l - t*l - 84. Let s be ((-21)/l - 0)/(3/8). Is -4 != s?
False
Let k be 2 + (-7746)/21 - (-24)/(-168). Let l = k - -366. Is l at most as big as -486?
False
Let o(n) = 223*n + 3301. Let i be o(-34). Is i less than -4282?
False
Let p = -4192/332181 + 6/1367. Let k = p - -29/243. Let w be (-1*1)/(3 - 2). Does k = w?
False
Let v = -4855 - -4857. Is v at least 895/6?
False
Let m be (-32)/1632*(-6)/14. Let z = 10 + -10. Do m and z have the same value?
False
Let i = -48 - -48. Suppose -2*c = -i*n + 2*n - 44, 2*n = 3*c - 86. Suppose 4*o - 75 = o. Which is bigger: o or c?
c
Suppose -4*o - 36 = -o. Let s be (-9)/(702/12) - 1540/130. Is s bigger than o?
False
Let g be (6/18)/(1/117). Let x = -8 + 49. Are x and g nonequal?
True
Let y be 4*5/20 + 29. Suppose y + 6 = 6*c. Suppose -c*p = -2*p. Is 2/27 at least as big as p?
True
Let m = -108 - -104. Let z be m/(-6)*((-10)/4 - -1). Are z and -15/14 non-equal?
True
Let c = 7270 - 7270. Which is smaller: -1/846 or c?
-1/846
Let i = -0.05 + 0.03. Let v(u) be the first derivative of u**4/4 - 9*u**3 + u**2/2 - 25*u - 21. Let s be v(27). Which is smaller: s or i?
i
Let q = 532 - 531. Let d be q/(-5) - 1302/35*-1. Is d smaller than 37?
False
Let w be ((-8679)/15 - 30) + 3/5. Are 1/10 and w nonequal?
True
Let g be ((-238)/476)/((-111)/(-6)). Let b = -1 + 2. Which is bigger: g or b?
b
Suppose -2*d = 2790 - 224. Does d = -1281?
False
Let c = 21923 + -21926. Is 554 < c?
False
Let w(l) = 13*l + 13 - 19*l - 13*l**2 + 14*l + 10*l - 2*l**3. Let v be w(-8). Let g(a) = 16*a**2 - 2*a + 1. Let r be g(2). Is r bigger than v?
False
Suppose 92 = 425*x - 421*x. Suppose 4*y = 5*y + x. Is y at least -24?
True
Let m be (-35061)/(-23686) - (-5)/((-40)/12). Is 1 less than or equal to m?
False
Suppose 13 = 5*s + 2*n - 30, -3*s + 2*n = -13. Suppose 187 = -2*d + s. Let a = d - -72. Is -18 equal to a?
True
Let f = 6038374/289 + -20894. Are 1 and f non-equal?
True
Suppose -33 = 4*t - 3*l, 4*t + 15 = -2*l - l. Let p = 909 + -905. Suppose -3*s = p*d - 7*d + 27, -4*d = 3*s - 8. Is t < s?
True
Let h = 2/531 - 15677/4209237. Is h smaller than -1?
False
Let t = 34993/2076 - 76/173. Which is greater: t or 15?
t
Suppose 62*s + 35 = 66*s - 5*b, 5*s - 10 = -5*b. Which is smaller: -43/9 or s?
-43/9
Let p be (-2)/(((-16)/(-20))/(-2)). Suppose -2*d - 12 = 4*w, p*d - 5*w + 23 = -82. Which is bigger: -17 or d?
d
Let d = 230 + -184. Let h be (-16)/184 + 50/d. Is -2/25 less than or equal to h?
True
Let l = 38 + -21. Let q = -38 + l. Let z = 18 + q. Which 