+ 8*p - 12. Let b be w(-8). Let a be (125/20)/(9/b). Let c = 9 + a. Which is smaller: c or 5/7?
c
Let i be 1 + 3 + 1 + 7. Let m be (25/6*-4)/((-8)/i). Is m equal to 25?
True
Suppose 46 = -5*w + 2*q, -w - 4 = -2*q - q. Let h = w - 0. Let t be 2 - 2 - 8/h. Is 1 less than or equal to t?
False
Let m(i) = 4*i + 118. Let y be m(-30). Let g be y/(-14)*(-165)/275. Which is smaller: g or 0?
g
Let j = -13.38 + 12.54. Do 0.06 and j have different values?
True
Let f be 284 + -294 - (382 - 0). Which is smaller: f or -5082/13?
f
Let m = -3319 - -3319. Which is smaller: 1213 or m?
m
Suppose 1950888 = -173*h - 59*h. Is -8410 at least h?
False
Let p = -3329 - -3466. Is p at most 129?
False
Let b(d) = 24*d**3 - 5*d - 5. Let q be b(-1). Let u = -23 - q. Suppose -4*f = -v + f - 9, 2*f + u = 5*v. Are 0 and v nonequal?
True
Let t = -13036 + 12614. Which is greater: t or -396?
-396
Let v(k) = -16*k - 222. Let r be v(-14). Let m(s) = -s**3 + 2*s**2 + 5*s + 3. Let c be m(4). Let d be c/3 + (r - -12). Is 11 less than or equal to d?
True
Let q(c) = 1512*c - 80. Let r be q(-2). Which is smaller: -3105 or r?
-3105
Suppose y + 0 = -7. Let z be 1/((-4)/(-5394)*(-99)/66). Let f be z/186 - (-1)/(-6). Is y greater than f?
False
Let g be 192/(-320) + 504/(-10) + 1. Let i be 225/g*16/(-42). Let o = -3 + 5. Is i bigger than o?
False
Suppose 145 + 0 = 5*g. Suppose 211 = 4*h - g. Is 4 equal to h?
False
Suppose -19*t + 24*t - d + 2 = 0, 0 = -2*t - 3*d - 11. Which is bigger: t or -1/5503?
-1/5503
Let m be 53/11 - 2/(-11). Let h(k) = 2*k + 6. Let i be h(m). Suppose -93*v = 242*v + 137*v - 7552. Is i smaller than v?
False
Let m = 2693/516 + -228/43. Which is smaller: m or 1/18?
m
Let y be (25 + -2 + 2)/1. Let j = -7354 + 7373. Which is bigger: j or y?
y
Let y be -1 + (-952)/77 + 156/12. Which is smaller: -1/265 or y?
y
Let v = -0.034 + 30.034. Let n = -31.94 + -0.06. Let u = n + v. Which is smaller: 1 or u?
u
Let r(l) = -3*l - 7. Let b(j) = -7*j - 14. Let x(f) = 2*b(f) - 5*r(f). Let k be x(-17). Which is smaller: -19 or k?
-19
Suppose 0 = 9*g - 40 + 49. Let f(w) = -24*w - 4. Let y be f(g). Is 0.2 at most y?
True
Let p = -28.1 - -28. Let h = -4.87874 + -0.12126. Is h > p?
False
Let g(a) = -25*a**2 - 12*a - 1. Let k be g(0). Are 5/5979 and k unequal?
True
Let b(j) = 10*j**3 + 51*j**2 - 18*j - 25. Let f be b(-6). Let p(z) = -119*z - 1. Let h be p(2). Which is greater: f or h?
h
Suppose 16 = 2*k, -31*n + 27*n + k = 188. Let l = -89 - -48. Which is greater: l or n?
l
Let n = 125 + -117. Let v be (10/n)/((-81)/40 + 2). Let y be 9/(-18) - v/116. Which is bigger: y or -1?
y
Suppose 4*g - 3*q = -12146, 5*g + 11*q = 16*q - 15190. Which is smaller: -3033 or g?
-3033
Let r be (-267)/(-24) - 1/8. Let s = -24 - -29. Suppose -1 = s*t - 41. Which is greater: r or t?
r
Suppose 0*f - 1244 = -2*f - 2*k, 2*f - 1216 = 5*k. Let r = -14212/23 + f. Let t = 112 - 111. Which is bigger: r or t?
t
Let a(d) = -d + 1. Let v be a(4). Let q be 578*v/570 - -3. Let n = q - 154/855. Which is greater: n or -1?
n
Let y(c) = -21*c - 10. Let o be y(-6). Let p = o + -123. Which is greater: -9 or p?
p
Suppose 5*l + o - 201 = 0, 3*l - 121 = -4*o + 3*o. Suppose q - l = 2*g + 5*q, 2*q - 50 = 4*g. Let b = 49 + -48. Is b at least as big as g?
True
Suppose 262*n - 264*n = -96. Let b be 150/9 - 8*4/n. Which is smaller: 87/5 or b?
b
Let d = -17137332073/725 - -23637706. Let a = d + -147/29. Is a equal to 2?
False
Suppose -z = 3, 4*z = -3*i + 2*z - 3. Let b = 201.35 + -197. Let p = -0.35 + b. Which is smaller: i or p?
i
Suppose 972 = 3*d + 3666. Let a be 12/(-8) + d/(-604). Are 1 and a nonequal?
True
Suppose 0*p + 16 = -4*p. Let w be (-23)/p*4*1. Is 43/2 at most as big as w?
True
Let w(p) = p**2 + 26*p. Let k be w(-26). Suppose -2*d = -4*b - 8, k = 4*d - 5*b - 5 - 5. Suppose 2*q - 8 = -d*s + 3*s, s - q = -3. Is s at most as big as 0?
True
Let m = 6 - 5.957. Let z = m - -37.957. Let b = -0.03435 - 0.06565. Which is bigger: b or z?
z
Let w be -3*5/15*-40. Suppose -7*v = -11*v - w. Let g be 5/v*(4 - 0) - 1. Which is bigger: -1 or g?
-1
Suppose 0 = 37518*z - 37520*z + 348. Which is smaller: 2 or z?
2
Suppose 177 = -1369*g + 1368*g + 1570. Is g smaller than -5?
False
Let k = 30 + -45. Let c = k - -25. Let u be 6/10*c/4*-6. Is u bigger than 1?
False
Suppose 4*r = 2*u - 18, 6*u - 2*u = -5*r - 16. Let v be (-3 + (-320)/(-35))/u - 2. Which is smaller: v or 4?
4
Let h be (1 - (-42)/(-54))*(-25)/(-10). Which is smaller: h or 2?
h
Let v(f) = f**2 - f. Let n be v(-1). Let d be (6 + 0 - 5)*-1. Let l be -7 + (-1)/d + 5. Which is smaller: n or l?
l
Let m(w) = -3*w + 4. Let u be m(8). Let o = 20 + u. Suppose -d + 0*k - 4 = -5*k, o = 2*d + 3*k - 5. Which is bigger: d or 1/40?
d
Let o be ((3/(-8))/((-9)/318))/(1/(-4)). Let h = -502/3 - -113. Is o >= h?
True
Let t be 2 + 0 + -3 - 4. Let l be 56/9*48/(-56). Are l and t unequal?
True
Let f = -14 + -222. Let n = -267 - f. Is n > -32?
True
Let x(u) = 153*u**2 - 227*u + 1464. Let b be x(6). Which is smaller: b or 5608?
5608
Let c(a) = -3*a**3 - 40*a**2 - 25*a + 21. Let h be c(-13). Is h greater than or equal to -3/10?
True
Let j be (-200500)/272 - -1 - 14/119. Let p = j + 20791/28. Is 7 at least p?
True
Let g(y) = 19*y + 4. Let x be 3 + 1 + -1 - 0 - -1. Suppose 4*t = -t - 4*w - 3, 2*t - x = w. Let i be g(t). Which is bigger: i or 24?
24
Let h(c) = 319*c + 37. Let z be h(-1). Is -848/3 < z?
True
Suppose 3*d - d = 0. Let w = 490 + -410. Suppose w*v = 73*v. Is d at least v?
True
Let m = -6133 - -7249. Which is smaller: 0.4 or m?
0.4
Let g(d) = -2*d**3 + 20*d**2 - 17*d - 8. Let o = -224 + 233. Let r be g(o). Let f = -607/1287 - 12/143. Is f at least as big as r?
False
Let x be 2/((-1)/((-3)/(-6))). Let f = -43 - 31. Let u = 77 + f. Are u and x non-equal?
True
Let m be (-9)/39*(-88)/396. Which is smaller: -0.43 or m?
-0.43
Let i = 1744/3157 + -2/287. Suppose -5*p + 2*b - 18 - 34 = 0, -b = -3*p - 31. Let l = p - -12. Is l greater than i?
True
Suppose 0 = 3*n + 3*p - 45798, -15*n + 17*n + 5*p = 30535. Let d = -9555893/626 + n. Which is bigger: d or -1?
d
Let m = -3719 - -3564. Which is smaller: m or -311/2?
-311/2
Let m = -29367 + 29336.5. Do m and 1/8 have the same value?
False
Let s be (720 - (-2 + 4))*(-123 + 119). Is -2872 at most as big as s?
True
Suppose -4*k - 4 = -4*u, -4 = -2*k - 2. Suppose -2*p + 238 = -u*g - g, -g - 5*p = 85. Let m be ((-534)/g)/(-3) + 2/(-5). Is m < -3?
False
Let t be (6 - -1 - (-205)/(-7))*(-21)/2. Is 282 < t?
False
Suppose 4*c = -228 + 400. Let a = 192 - 150. Is a at most c?
True
Suppose 3*v - 3*u = -6342, 26*u - 21*u = -8*v - 16834. Is v greater than or equal to -2108?
True
Let d(v) = 2*v**3 - 70*v**2 + 42*v - 1463. Let r be d(35). Which is smaller: 239 or r?
r
Suppose 80 = 3*r - 8*r. Let p = r - -49. Let v be p/55 + (-3)/5. Which is smaller: -2/25 or v?
-2/25
Let n = -50526 - -1262938/25. Is -8 <= n?
False
Let q = 59 - 54. Suppose 9*v - 8*v + q*v = 0. Which is bigger: v or 4/33?
4/33
Let l = 22.62 - 20.8. Let h = l - 1.5. Let j = -18.68 - h. Which is greater: j or 2/3?
2/3
Let t be (-140)/(-735)*(1597/2 - 1). Let h(z) = 39*z**2 + z - 2. Let r be h(-2). Let a = r - t. Which is bigger: -1 or a?
a
Let w = 80 - 84. Let x = 54 - 53.33. Let p = x - -0.33. Which is smaller: p or w?
w
Let c(u) = 14*u. Let k be c(-3). Let v(n) = 391*n + 73. Let g be v(-1). Let b be g/k + 4/(-2). Which is greater: b or 6?
6
Let k be (-4)/28 + (-54012201)/5796. Let o = k - -9319. Let f = 36959/1380 - o. Is 27 smaller than f?
False
Let b be (-4632)/(-9200) + -1*(-7)/(-14). Which is smaller: b or -1?
-1
Let k(d) = d**2 + 9*d + 8. Let u be k(-9). Suppose 4*x - u*x = -20. Suppose 5*c - 7 = -x*o + 3*c, c = o. Which is bigger: o or -2/31?
o
Suppose 66*h = 11427 - 58089. Which is smaller: h or -709?
-709
Suppose 657383 = 360*j + 148508 - 458445. Which is bigger: j or 2685?
j
Suppose 132*h - 136*h = -1540. Which is smaller: h or 2317/6?
h
Suppose -4*u = 4*y - 116, 4*y - 127 = -3*u - 14. Suppose -22*x = -y*x. Which is smaller: 9/11 or x?
x
Let y be ((-2)/4)/(8*1 + 945/(-126)). Let r be (2/(-436))/(2/12). Is y at least as big as r?
False
Suppose 25 = 4*t + 13. Let y be t - (-80)/(-5)*-18. Suppose y = -4*b + 3*u, 2*b = 5*u - 63 - 100. Is b not equal to -68?
True
Let s = 238 + -282.4. Let x = 41 + s. Let y = x + -21.6