5*d - 129, 5*w = -d - 382. Suppose 324 = -2*a - 2*a. Which is bigger: w or a?
w
Let s = 71 + -66.36. Let m = s - 0.64. Which is greater: 14 or m?
14
Let o(a) = -250 + 474 - 240 + 4*a. Let d be o(3). Which is smaller: d or -0.4?
d
Let m be 4/7 - (30 + (-8446)/287). Let c be -1 + -1 - 56/(-26). Do m and c have different values?
True
Suppose -f + 3*a = -15, -2*f + 3*f + 10 = -2*a. Suppose -15 = -y - f*y - k, 0 = -2*y + 5*k + 37. Which is bigger: y or 31/2?
y
Let l = -1588 - -1577.153. Let a = -0.153 + l. Is a greater than -0.4?
False
Let d be 25/(-15)*3 + 1 + 2. Let v be 120/55 - d/(-11). Let y = -89/6 + 16. Which is bigger: v or y?
v
Let w = -47.81 + 47. Let h = 0.13247 - -4.67753. Let u = h + w. Is u at most as big as -0.03?
False
Let g = 72 + -33. Let a be 225458/5677 - (-4)/14. Is a >= g?
True
Let f be -5*504/140 + -803. Which is greater: -836 or f?
f
Let f be ((-12)/(-84))/(12/210)*84/(-10). Which is smaller: -20 or f?
f
Let u = -348.5 + 345.9. Is u less than or equal to -8/27?
True
Let x(j) = -32*j - 119. Let n be x(-5). Suppose -n*o + 99 = -30*o. Suppose 0*w + 41 = 4*w + 3*u, 2*w + 3*u = 25. Which is greater: o or w?
o
Let d = -310 - 108. Let o be -1*838/10*5. Which is smaller: d or o?
o
Let p = 669 - 669.2. Let n(d) = -4*d**2 + 21*d - 77. Let z be n(7). Which is greater: p or z?
p
Let w be -2 - 1045/84 - ((-1012)/(-48) + -21). Is w smaller than -15?
False
Let l(b) be the second derivative of b**4/12 + 5*b**3/6 - 49*b**2/2 - 71*b. Let t be l(5). Are t and -4 unequal?
True
Let j be (-4)/18 - (-32)/(-18). Let s = -85/7 + 879/77. Which is bigger: s or j?
s
Let g = 0.066 + 10.194. Let m = -564 + 553.7. Let h = g + m. Is 0.06 greater than h?
True
Let w = 11 + 4. Let s be 9/w - 21/(-15). Suppose 0 = -0*k + s*k + 2. Which is smaller: k or -2/7?
k
Suppose 5*p + 34 = -76. Let h(w) = 1271*w - 8916. Let c be h(7). Which is bigger: p or c?
c
Suppose 63*x + 55*x + 2 = 120*x. Which is bigger: x or 1/1789?
x
Suppose -4*t = 5*s + 5 + 46, -16 = 4*t. Let j be -9 + (-5)/(-6 - s). Let n(g) = -g**3 - 6*g**2 - g + 5. Let y be n(-5). Which is greater: y or j?
j
Let x(g) = g**3 - 36*g**2 - 37*g + 5. Let n be x(37). Suppose -2*b = -n*w + 35, -2*w - 5 = 3*w. Which is bigger: 2 or b?
2
Let q = 632 - 624. Suppose -q*w - 3204 = -17*w. Is w equal to 356?
True
Let g = -12925 + 12543. Is g equal to -389?
False
Let i = -0.024 - -0.06. Let g = -0.964 - i. Let f = -27 + 82/3. Which is smaller: g or f?
g
Let q(l) = -1309*l. Let r be q(1). Suppose 93 = 5*d + 4*p, 0 = 2*d - 9*p + 4*p - 24. Let z be d/r + -1 + 1. Which is greater: 1 or z?
1
Let x = 27478799 + -35777401831/1302. Let d = -100/31 - x. Let a = -5/14 + d. Which is smaller: a or -22?
-22
Let o = 82 - 153. Let u = o - -76. Let v = 0.1 - 1.1. Is v less than u?
True
Let f = 10976 - 450010/41. Which is greater: -1 or f?
f
Suppose -2*v + 7*d + 1091 = 2*d, 2*d = v - 543. Let s = 523 - v. Which is greater: s or -18?
s
Let b be (-4)/(-12)*22*(-54)/(-6). Let j be (-74)/(-3)*b/(-44). Which is smaller: j or -41?
-41
Let h be ((-608)/56)/2 + -2. Let o be 6 + (46/(-4) - 19/38). Is o < h?
False
Let o(u) = 24 - 11 - 16*u + 19*u. Let w be o(-4). Let j be ((-2)/(-4))/w*-3. Does j = 0.9?
False
Let y = 606.8 - 532. Let c = 75 - y. Is c greater than or equal to -20/3?
True
Let t = 524 - 580.75. Let p = 57 + t. Let n = -2.12 - -0.12. Is p != n?
True
Let j(y) = 7*y + 2*y**2 - y - 6*y - y + 9*y**3. Let p be j(1). Suppose -5*s - 20 = -r + 7, -5*r + p = 0. Which is bigger: 1 or s?
1
Let n be 0 + -4 + (-3 + 9 - -378). Let f = -413 + n. Is f at least as big as -158/5?
False
Let y = -11 + 16. Let d(w) be the third derivative of w**6/120 - 7*w**5/60 + 13*w**4/24 - 5*w**3/6 - 2*w**2 + 14*w. Let r be d(y). Is r at most as big as 8?
False
Let r be (-3 - -3)*(-3)/(-6). Let t be (-106)/13 - (r + (-2)/13). Let h = t + 0. Which is smaller: -37/5 or h?
h
Let c(l) = 10*l**3 + 40*l**2 + l. Let w be c(-4). Is -4 smaller than w?
False
Let x = 12042 - 12050. Is x at most as big as 328?
True
Let p = -0.95 + 0.6. Let y = p - -0.18. Let i = 10144 + -10143.9. Is i <= y?
False
Suppose 5*s = 7*s - 330. Let m be s/385 - 163/511. Do -1 and m have different values?
True
Suppose 12393*y = 12408*y + 4530. Which is greater: -291 or y?
-291
Let m = 190 - 177. Suppose -7*k + 270 = -m*k. Which is bigger: k or -47?
k
Let a = -13 - -46. Let m = a + 6. Let f be 54/(-13) - (-6)/m. Which is bigger: -5/2 or f?
-5/2
Let p(y) = 62*y - 19. Let a be p(2). Suppose -5*r - 30 = -5*d - a, 4*r = -d + 40. Is r at most as big as 35/3?
True
Let k = 17286 - 16752. Which is greater: k or 532?
k
Let y = 483 - 485. Let o be (65/(-195))/(y/(-714)). Which is bigger: -120 or o?
o
Let d = 147883 - 147883.4. Let a be ((-1)/(-15))/((-2)/(-35)). Is a at least as big as d?
True
Suppose y = 4*c - 236, 11*c - 12*c + 56 = -y. Which is bigger: 5 or c?
c
Suppose 0 = 5*m + 20, 2*y - 2*m - 2880 = -416. Which is smaller: y or 1230?
y
Let w = 1.92942 - 0.02942. Which is greater: 157 or w?
157
Let z be ((-54)/57)/(48 - (-39302)/(-817)). Let f = -2003/5 - -18437/45. Is z bigger than f?
False
Let v be 4/(-12)*(-1 - -16). Let l = 2494 - 18020/7. Let d = l - -80. Is v greater than d?
False
Suppose -q + 4*s - 8 = 0, -4*q + 12 - 22 = -5*s. Is -11/2812 < q?
True
Let y be (-5)/2 - 5/(20/(-6)). Let h be (-2*(-5)/130*2)/y. Let g = -6 - -6. Which is smaller: h or g?
h
Let b be -6*((-5)/(-3) - 2). Suppose -6*s + b*s + 116 = 0. Let g(v) = -121*v - 5174. Let y be g(-43). Does y = s?
True
Let h(u) = u**3 - 7*u**2 + 4*u + 13. Let m(b) = 6*b - 60. Let a be m(11). Suppose -2*r = -a*r + 24. Let p be h(r). Which is smaller: 5/3 or p?
p
Suppose -29*p = -47 + 18. Let o = -29.928 + -0.072. Let w = o + 28.3. Which is greater: p or w?
p
Let o be ((-168)/(-112))/(1 - (-1 + -142)). Suppose -9*p + 31 = 40. Is p bigger than o?
False
Let j(z) = -z**3 + 5*z**2 + z - 5. Let r be j(4). Suppose -5*g + 0*b + 11 = -3*b, 3*g - r = -b. Suppose 5*y = -g*y - 27. Does y = 1?
False
Suppose -4*g - 288 = -4*l, -6*g + g + 320 = 5*l. Suppose -8 = q + 5*p - p, 4*q - l = 4*p. Let w = q + -4. Is w < 7?
False
Let h be (582/48)/(-3 + -1 - (-44)/12). Is -37 bigger than h?
False
Let m = 626 - 88. Let z = m + -544. Which is bigger: 12 or z?
12
Let p = -11168/143241 + 40/399. Is p < -1?
False
Let a be (-25)/(-9) + 10/45. Suppose r = -0*r + a*j - 1, -4*r = 3*j + 19. Is 4 greater than or equal to r?
True
Let b be 6/((-72)/(-4))*15 - -258. Which is smaller: 268 or b?
b
Let z(a) = 3*a - 3*a + 0*a - 48 - 4*a. Let m be z(-12). Is m != -4/157?
True
Let g = -313817/932 - 17/466. Let f = 339 + g. Let c = f - 47/28. Is -1 greater than c?
False
Let p = 1396 + -1856. Is -5074/11 < p?
True
Let j(u) = -20*u - 123. Let x be j(-6). Let r be (-2)/2*3 - x. Which is greater: r or -2/43?
r
Let l = -3132 - -2625. Which is smaller: -508 or l?
-508
Let z = 188 - 183. Let s be (-1 - -20)*3/((-15)/z). Is s greater than -20?
True
Let t be 1*12*2569/(-28). Is t >= -1102?
True
Let z = 217 + -222. Suppose 7*n = 6*n + 3. Suppose 0 = n*m + m + 44. Which is smaller: m or z?
m
Let k be 7/((-42)/(-24)) + (5 - -2). Suppose -4*w + k*w + 28 = 0. Suppose 3*h = -0*h - b - 2, -b = -h - 6. Is w at most as big as h?
True
Suppose 22*a - 25*a + 1743 = -6*l, 0 = 3*a + 2*l - 1703. Which is smaller: 0.4 or a?
0.4
Let n = -2992 - -2993.43. Which is smaller: n or 2?
n
Let o be 42/(-28) - 1/2. Let z be (-5)/(-10)*((0 - o) + -2). Suppose z*t + 13 = -5*t - 4*v, -v = 2. Which is smaller: -11 or t?
-11
Let u = 7504 + -7482. Which is smaller: u or -46?
-46
Let h(n) = n + 6. Let z be h(-9). Let g be z/(-72)*-2 - (-9)/(-36). Let c = -637 + 1297/2. Are c and g nonequal?
True
Let i = -308.746 + 309. Let d = -0.354 + i. Let z = -6.08 + 6. Which is smaller: z or d?
d
Let w = -139.99 - -139.1. Suppose -x + 3 = -0. Suppose m = x*m. Which is smaller: w or m?
w
Let g = -944/5 - -3781/20. Is -250/7 greater than g?
False
Let p(v) = 5*v - 22. Let h be p(4). Let f be (-2 - 3)*(-1 - (h + 2)). Suppose 10*k = 2*b + f*k + 69, -k = -3. Is b greater than or equal to -27?
True
Let c = -221 + 29. Let t be (-3)/(24/1420)*(-11 + 302/25). Let a = t - c. Which is greater: -1 or a?
a
Suppose -35167 - 895 = 38*r. Is -953 <= r?
True
Let m = -82675 - -7027191/85. Which is greater: m or -1?
-1
Let t = -80.5 - -24.2. Let x = -111 + 56. Let j = t 