(-26) - (54/(-13) - -4). Let r be z/3*(-126)/(-3738). Which is greater: r or b?
b
Suppose 2 = 4*m - 3*f, -3*m + 3*f - f = -2. Suppose 0 = m*s - 2*c + 594, 5*c - 295 = s + 3*c. Which is smaller: -300 or s?
-300
Let f = 2990.6 - 2997. Which is greater: f or -24?
f
Let x(v) = 8*v - 31. Let j be x(12). Suppose -229 = 6*u + j. Let z(c) = -c**3 + 11*c**2 - 13*c - 18. Let y be z(10). Is u at most as big as y?
True
Let g = 2588 + -12939/5. Let x = 2271/10 - 15949/70. Let f = x - 58/35. Is g at most f?
False
Let r = 14082 - 13335. Is 744 less than r?
True
Let o = 49 + -8. Let s = -1.9357 - -0.9357. Which is greater: o or s?
o
Let p = 2279 - 2520. Which is bigger: -0.02 or p?
-0.02
Let w = -686.9 + 618. Let c = 33.4 - -37.6. Let a = c + w. Which is smaller: a or -0.2?
-0.2
Let p be (8 + 2247/(-282))*-2. Is -47 less than p?
True
Suppose -1697 = -18*t + 2479. Suppose 2*q + 470 = 4*l - 0*l, -t = q - 3*l. Is q at least -242?
True
Suppose 0 = 4*s + 4, -244 - 9 = 3*y - 5*s. Is y bigger than -105?
True
Let x = 0 + 243. Let a = 250 - x. Let p(d) = 2*d**2 - 2*d + 3. Let u be p(2). Are u and a nonequal?
False
Let a = 5725 + -5729. Suppose 4*f = 4*d + 67 - 11, 38 = 2*f - 4*d. Let m be f/(-6) - 2/4. Which is bigger: a or m?
m
Let q = -202 - -206. Let t be 12/168*((-24)/(-17))/q. Which is smaller: -0.1 or t?
-0.1
Suppose -34*z + 67*z = 93 - 1182. Let m be 21/(-6)*(-2 - -6). Let h be (-15)/(-21) + (-4)/m. Which is smaller: z or h?
z
Let p be (-5)/(-2)*(-15 + -41). Let j = 1538/11 + p. Which is smaller: -1 or j?
-1
Let c = -6399 - -6396. Let z be (208/(-10))/(6/(-75)). Let r be ((-3)/8)/((-30)/z). Is c less than or equal to r?
True
Let q be 6/8*2/18*(-10)/5. Is -861 at most as big as q?
True
Suppose 42548 = -20*s + 42448. Does s = 3.64?
False
Let c(m) = 530*m + 994. Let n be c(-3). Is -595 less than n?
False
Suppose 0 = 75*f + 31946 + 14854. Which is bigger: -620 or f?
-620
Let f be (1 + 2/10)/(8/20). Suppose f*j + 3*u = 7*u + 13, 5*j - u - 16 = 0. Suppose y + j*p - 25 = -y, 0 = -4*y + 5*p + 105. Is 20 greater than or equal to y?
True
Suppose 127 = 27*c + 10171. Is c greater than -378?
True
Let r = 15.98851 - -0.09549. Let p = 0.084 - r. Let o = p + 24. Is o bigger than -2?
True
Let n = -1763/150 - -71/6. Suppose 116 = 3*r - 6*r + 2*o, 2*r - 2*o = -80. Let p be 18/r + (-22)/(-20). Is p greater than or equal to n?
True
Let i be (4 + -1 + -2)*-55*4. Let r be 7/((-315)/i) - (-15)/(-3). Which is smaller: r or 12?
r
Let d be 3*((-68)/12 + 4). Let s be (-1)/d + 586/(-5). Let k = 109 + s. Which is greater: k or -31/4?
-31/4
Let n be (-33)/(-2376)*-8*0/6. Let m be (-2)/(-6) + 187/(-543). Which is smaller: n or m?
m
Let n(d) = -169*d + 1305. Let o be n(44). Which is smaller: -6130 or o?
o
Let m be 9 - (445/(-20) + 5). Let x be (-104)/160*(-75)/(-2). Let d = m + x. Which is greater: 3 or d?
3
Let a be (-269875)/(-2975) + (-4)/(-14). Which is bigger: a or 41?
a
Let r be (-4030)/(-999) - -11*(-38)/(-5643). Which is smaller: 3 or r?
3
Suppose -25*q = 11*q - 26*q + 10. Let m be (-10)/(-8)*(-2)/(-32). Are q and m equal?
False
Let u be -1*(-4)/(-12)*3. Let t = -320/7049 + -4/133. Which is bigger: t or u?
t
Let z be (-134822)/5*(-20)/(-18). Let q = z - -29928. Is -31 at least q?
True
Let u be 3/(-15) - 6/70. Let r = 2/21337 + -256066/234707. Which is bigger: u or r?
u
Suppose -5*c = 7*k - 2*k - 285, -3*c = -2*k + 114. Let b be (-282)/6 + -3 - 3. Let j = b + k. Which is greater: 5 or j?
5
Suppose -24*l = -27 - 117. Let a be (30/(-4))/((-9)/l). Which is bigger: 10 or a?
10
Let z = 775 - 17819/23. Let q = 5 - 4. Are z and q unequal?
True
Let m = 10881/5 + -2149. Which is bigger: m or 0?
m
Let j be 2/372*3*88/(-154). Let p(q) = -q**2 - 9*q - 33. Let m(d) = d**2 + 8*d + 34. Let u(s) = -6*m(s) - 7*p(s). Let h be u(-13). Does h = j?
False
Let j = -233139 - -1403419/6. Which is smaller: j or 764?
764
Let g = -0.11 - 6.89. Let w = -71.2 + 64. Let c = w - g. Which is bigger: 3/13 or c?
3/13
Let v be (20/15)/(60/(-45)). Which is greater: -21/11 or v?
v
Suppose 28*y = -11*y - 273. Let w be (y + 2 + (-1140)/35)/1. Which is bigger: -38 or w?
w
Let f(b) be the second derivative of b**4/12 + 13*b**3/6 + 7*b**2/2 + 4*b + 18. Let i be f(-14). Which is bigger: 19 or i?
i
Let a = 2107 + -3034. Is a bigger than -925?
False
Let s be 68100/(-5652) + 4 - -8. Are s and 1 equal?
False
Let k = -10853 + 12193. Which is smaller: 1339 or k?
1339
Suppose -2*q - 15 = -5*q - 2*g, 0 = 2*q - 2*g. Suppose 0*t = -q*t. Let k = 4/777 - -344/259. Is k <= t?
False
Let b be (-9)/3726*7/(141645/17562). Let c = -8/2185 - b. Which is greater: 0 or c?
0
Let g = -27 + 42. Suppose -g = -3*b - 3*i, -2*b + 9*i = 4*i + 11. Suppose -4 = -2*n + b*w, -5*n - w - 3*w = 35. Are 1 and n equal?
False
Let i be 2/(-2)*42/(-7). Let h(k) = -k**3 - 5*k**2 - 4*k - 20. Let u be h(-5). Suppose -3*n = -2*l - u - 2, -3*n + 3*l + i = 0. Which is bigger: n or 1/11?
1/11
Let c = 4311 + -1536. Suppose 0 = -32*w + 233 + c. Is 94 <= w?
True
Let r be (-3)/6 + (-63)/(-6). Let f(d) = -57*d + 117. Let o be f(2). Which is smaller: r or o?
o
Let c = 3.85 - 4.3. Let w be 156/(-273)*(-7)/(-6). Is c smaller than w?
False
Suppose 2*r + 0*r - 34 = 0. Let c be (-1088)/80*5 + -6 + 0. Let m be c/(-6) + -1*(6 + -11). Which is greater: r or m?
m
Suppose -5*w - 15 = 0, 37*w - 222 = 3*d + 42*w. Is -1048/15 at least d?
False
Let z = -25498 + 25505. Is -10 greater than or equal to z?
False
Suppose 5*j + 0*j + 5 = 5*s, 0 = 5*s + j - 11. Let t be s/8 - (-174)/8. Let f = -48 - -70. Is f bigger than t?
False
Let u be (-3638)/970 + 1470/392. Is u at least as big as 0?
False
Let w be (-2 + 96208/20)/((-7)/(-140)*-6). Is -16028 >= w?
True
Suppose 0 = 3*c - 5*g - 165, -4*g - 112 = -2*c - 4. Let l = c - 66. Let d be (3/6)/(l/(-144)). Which is smaller: d or 13?
d
Let u = -0.2517 + -21.7483. Is 61 bigger than u?
True
Suppose -156*d = -153*d - 5 - 10. Which is smaller: d or 74?
d
Let a be 21*(20 - ((-5 - -6) + -1 + -7)). Which is smaller: 0.2 or a?
0.2
Let i be -30*13/(156/8). Let h be (i/(24/(-6)))/(2/105). Which is greater: 263 or h?
263
Let h be (-15 - -16)/(2/6). Let z = 239 + -241. Let y be -2 - (z - 138/33). Is y greater than or equal to h?
True
Let o be ((-196)/(-35))/(-7) - (-4226)/70. Suppose -4*y + 126 = -110. Which is greater: o or y?
o
Let z = -40 - 15. Suppose 0 = -41*i - 2239 + 25. Let a = i - z. Which is smaller: a or 4/15?
4/15
Let n = -3652.82 + 3653. Which is smaller: 74 or n?
n
Let b(h) = -58*h - 1287. Let i be b(-21). Is -68 greater than i?
True
Let h = 638.4 - 11.4. Let u = h + -622.7. Which is bigger: -2 or u?
u
Let w = -8075 - -7795. Which is smaller: w or -2/7?
w
Let w = -157429/7 + 22489. Which is bigger: w or -263?
w
Let d(v) = 59*v**3 - 2*v**2 - v + 2. Let f be d(2). Suppose -10*t - f = -14*t. Suppose 5*c + 3*i + 452 = 0, 0 = -5*c + 5*i + t - 576. Which is bigger: c or -92?
c
Let p = -106 - -174. Let i be p*(1/(-2) - 12/8). Let v = i + 139. Which is smaller: 5 or v?
v
Suppose 198*s = 213*s. Let m(q) = -1 - q + 2 - 3*q**2 + 7 - q**3. Let l be m(s). Which is smaller: l or 9?
l
Let h = -891859/6 - -148989. Which is smaller: h or 345?
345
Let y = 93.94 + -94.04. Which is smaller: 11085 or y?
y
Let h = -0.043 - 46.957. Let m(j) = -4*j - 12*j + 45 + 34. Let f be m(5). Which is bigger: h or f?
f
Let s = -941 + 931. Which is smaller: 93 or s?
s
Let z = -181 - -181. Suppose 0 = -3*x - 4*c - 11, 3*x - 4 + z = -c. Is x not equal to 1?
True
Let p = -53784 - -2312930/43. Which is smaller: p or 6?
p
Suppose 3*z - v - 2*v - 141 = 0, 4*v - 12 = 0. Suppose -z = -14*x + 19*x. Let d be 6/x + 70/(-50). Is -6/7 less than or equal to d?
False
Let o = 138851/15390 + 23/405. Which is smaller: 1 or o?
1
Let m = 76 - 77. Let j be 3/(6/4 - 3). Let c be j/3*(-9)/(-111). Is m bigger than c?
False
Suppose -27*l = 7*l. Is l smaller than 1/4084?
True
Let b(l) = l**2 + 16*l + 13. Let q be b(-7). Let i be (3015/(-63) - (1 + -6)) + -6. Which is smaller: i or q?
q
Let o = -0.406 + 0.4. Let g = -94.994 + o. Let s = -0.6 + 0.7. Do g and s have the same value?
False
Suppose 307*z - 162520 = -64280. Which is smaller: 318 or z?
318
Let s = 10174 - 9897. Is s at most as big as -5?
False
Suppose 9*u - 8 = -2*l + 6*u, 16 = 4*l + 3*u. Suppose -11*k + 14*k + 1 = -l*b, 2*b + 5*k - 3 = 0. Is b less than -