b = 1926 + -1911. Which is smaller: -102 or b?
-102
Let r = 507 - -4158. Is r at least as big as 4665?
True
Let g = -1.29 + 0.09. Let p = -0.43234 - 5.56766. Are g and p non-equal?
True
Let j be 15/9 - (-2 - 44/(-12)). Which is bigger: j or 2/15553?
2/15553
Let m = 14360 + -14359. Are -3/2131 and m non-equal?
True
Let d = -165608/111 + 1492. Let r(i) = -6*i**2 + 40*i + 14. Let q be r(7). Which is greater: d or q?
d
Suppose -4*u - 7 + 2 = 5*z, 2*z = 4*u - 30. Suppose 0 = -u*o + 58 - 18. Is 13 at most as big as o?
False
Let s = 3.531 - -0.469. Let t = -51.7 + 2.7. Is s less than or equal to t?
False
Let g = -352 - -412. Let h = g - 62. Are -11 and h nonequal?
True
Let l be -10 + (-15 - (-11106)/(-42)). Which is smaller: l or -289?
l
Let u be (36/8 - 5)/(5/300). Let s(i) = -2*i**3 - 59*i**2 + 34*i - 105. Let v be s(u). Is -225 <= v?
True
Suppose 28*y + 36*y - 4224 = 0. Let r = -5 - -10. Suppose -r*p = -31 + y. Which is smaller: -6 or p?
p
Let o(w) = 236*w + 6608. Let v be o(-28). Which is bigger: -1/956 or v?
v
Let y = 384 + 7658. Let x = 8009.23 - y. Let i = -33 - x. Which is smaller: -1/3 or i?
-1/3
Let h(m) = -m**3 + 4*m - 3. Let n be h(3). Suppose -20*x - 140 = -27*x. Let k be 7 - (-6)/((-24)/x). Which is smaller: n or k?
n
Let v be -3 - 5*(-9597)/(-315). Is v equal to -0.1?
False
Let w be 14/(-35) - 521/3. Let b = -174 - w. Let p(x) = x**2 - 14*x + 25. Let f be p(12). Which is greater: f or b?
f
Suppose -10*a = 20*a - 18*a. Let i be 5118/14 - 4/7. Let q be (-4)/18 - i/(-225). Which is smaller: q or a?
a
Suppose 12*q - 34*q + 44 = 0. Suppose 0 = 3*i - 5*i - q*y - 68, 4*i + 128 = -2*y. Is i bigger than -29?
False
Let n be (10/4)/((-4)/(-8)). Let l be n/(-2) - (-1950)/940. Which is smaller: l or 1?
l
Let k = 14432 - 14440. Let a = 28506/7 - 4080. Are k and a nonequal?
True
Let d(f) = 77*f + 1332. Let a be d(-17). Which is greater: 130/7 or a?
a
Suppose 12*t = 372 + 2136. Suppose -t = -2*x - 0*x + 5*v, -5*v - 25 = 0. Let o be (3/6)/(0 + 2/x). Is 23 != o?
False
Suppose z - 4*z - 36 = 0. Let f(j) = 2*j - 7. Let g be f(6). Suppose g*m = -83 + 23. Is m <= z?
True
Let g be (-1*183)/(522 + -519). Suppose 2*x = -2*x - 244. Are g and x unequal?
False
Suppose 3*d - 9 = 3*z, 46*d + 2 = 49*d + 4*z. Let r be ((d - 3)/3)/((-57)/(-684)). Suppose 4*b - b + 18 = 0. Which is smaller: r or b?
b
Let z = 871 - 869. Suppose z*o = 3*h + 232, o + 2 = 7. Which is bigger: -145/2 or h?
-145/2
Let p be -6 + (-1)/((-4)/1452). Let k = p + -330. Is k smaller than 22?
False
Suppose -2*o - 5*u = -177 + 7, -79 = -o - 4*u. Do o and 85 have the same value?
False
Suppose 1502216 = 215*v + 427431. Which is smaller: v or 4998?
4998
Let o(l) = 129*l + 120*l - 244*l + 9 + 1. Let r be 4/(-6)*(6 - 0). Let x be o(r). Which is greater: 1 or x?
1
Let m = -79.867 + 79. Let q = m + 0.727. Which is smaller: q or 3?
q
Let y = 0.848 + -0.068. Let p = y - 0.35. Let h = 1.43 - p. Is -1/5 greater than or equal to h?
False
Let f = -39848 + 77559/2. Let q = f + 11251/10. Is q greater than or equal to 58?
False
Let g be (-22)/(-3) + -8 + (-2)/6. Let m be (13 + 957/44)/(g/(-4)). Is m != 140?
True
Let n = -0.2336 + 0.0336. Are n and 15.15 unequal?
True
Let i = -1399.1 - -1399.3. Which is bigger: 18/301 or i?
i
Suppose -5*k - 12 = -k. Let l(u) = 10*u - 644. Let q be l(65). Is q smaller than k?
False
Let w(k) = 16*k**2 + k**3 + 23*k + 15 + 11 + 19*k**2 - 60*k**2. Let r be w(24). Which is greater: r or 34/21?
r
Let z(p) = p - 41 - 5*p + 0*p. Suppose -22*k = 405 - 163. Let j be z(k). Are 13/5 and j unequal?
True
Let v be (-5)/(-3)*(-2)/(-10). Let i = 58 - -12. Let s = 66 - i. Is s at most as big as v?
True
Let a = 158 - 156. Suppose 8*g + 19 = m + 4*g, -2*g = a*m + 12. Which is bigger: -2/103 or m?
-2/103
Let d = -378 - -384. Let h = -15 - 28. Let i = -43.06 - h. Is d at least as big as i?
True
Let i = -7 + 19. Suppose -5*p - j = -4, 2*j - i = 3*p - j. Suppose p = -8*t - 3 + 11. Which is smaller: -1/51 or t?
-1/51
Let v = -87 - -88. Let g = 23821373/1471 - 16194. Which is greater: v or g?
v
Let i = -1920 - -1688. Is i smaller than -233?
False
Let n be (-5 - -3) + 7*85/560. Let r = -481/5 - -96. Which is greater: r or n?
r
Suppose 0 = 4*q + 3*k + 2*k + 42, 4*q + 2*k = -36. Let g = -28266 - -28295. Which is smaller: g or q?
q
Suppose 333*r - 69*r - 97745 + 1543937 = 0. Is r at most as big as -5480?
False
Let j be (100/92 - 1)*-5. Suppose -2*h - 3*h - 2*k - 9 = 0, 0 = 4*h - k + 2. Which is smaller: h or j?
h
Let k = 211 + -218. Let s be k + (4 - 2) + (-57)/(-11). Is -14 smaller than s?
True
Let v be (1*-3)/((-60466)/(-10073) - 6). Let t = 1092209/1012 + v. Which is smaller: -1 or t?
-1
Let u be (2/10 + 0)*(-94)/(-9212). Which is greater: -1 or u?
u
Let h = 3.8 + -5. Let g = -187.022 - -0.022. Let c = g - -186.9. Which is greater: h or c?
c
Let y(u) = -u**2 + 47*u + 439. Let m be y(-8). Which is smaller: -3/22 or m?
m
Let s be 6/32 - (-155394)/65184. Is s > 0.04?
True
Let o be 66286/(-46) + (4 - -1) - (7 - 0). Which is greater: -1446 or o?
o
Let c be (1/2)/((-19)/(-38)). Suppose -3*y = -5 - c, -8 = b + 5*y. Let m be (-19 - b) + -1 + 8/3. Is 0 not equal to m?
True
Suppose 31*o + 12*o + 946 = 0. Let n be (o - -1 - 0)*200/15. Do -280 and n have different values?
False
Suppose -1 = a - 1. Suppose 5*u - 4*v + 4 = a, -u - 3*v = 3*u + 28. Let q be (-1 - -3)/((24/(-3))/u). Which is smaller: q or 2/9?
2/9
Let d = -335 + 5355/16. Suppose 3 = 5*s - 4*c, -3*s + 2*c + 13 = 12. Which is bigger: d or s?
d
Let o = -355597383/5644 + 126009/2. Let q = o - -1/83. Is q >= 0?
True
Let p = -21611 - -21308. Is 0.04 equal to p?
False
Let q be ((-128)/10)/(2*(-1)/35). Suppose 5*i + 2 = 4*i, 0 = -5*d + 2*i + q. Is d at most 45?
True
Let r be (-3 - 30)*44/(-6). Let f = r - 144. Which is smaller: f or 97?
97
Let w = -29.34 - 37.34. Let b = -0.68 - w. Let f = b - 76. Is f less than or equal to -3?
True
Let b = -53 + 38. Suppose -2 + 4 = 2*v. Let f be ((-1)/v)/((-2)/(-26)) + -3. Which is smaller: b or f?
f
Suppose 2*x = 20*y - 16*y + 1046, -10*y = -3*x + 2633. Suppose -s + 5*k = k + 278, 9 = 3*k. Is s bigger than y?
False
Let i(d) = -3*d**2 - 8*d + 22. Let j(t) = -t**3 - 12*t**2 - 13*t - 17. Let v be j(-11). Let s be i(v). Is 1 > s?
True
Let c = -46.907 - 0.093. Let b = c + 46.8. Let r = 22 - 8. Is r smaller than b?
False
Let u be 92/(-420) - 4/(-14). Let m be (-2)/11 + -1 + 1685/11. Let g = -151 + m. Is g bigger than u?
True
Let t be (-19)/(-95) + (15368/(-40) - 2). Which is smaller: t or -372?
t
Let a = 11.17 - 175.17. Is a less than -1/6?
True
Let x be 8*((-3346)/4 - 256/(-32)). Which is bigger: x or -6630?
x
Let d = -4772 + 5091. Which is bigger: d or 318?
d
Let i = 29 + -46. Let z = -3081 - -3066. Which is smaller: i or z?
i
Let x be (-44)/(-330) - 37804/(-195). Is 6 less than x?
True
Let p be 9918/2 + 11 + (-319)/22. Which is smaller: 4955 or p?
4955
Let z = 224 + -222. Suppose 5*l = 3*c + 212 - 68, 6 = -z*c. Is l > 27?
False
Suppose 4*i + 4*u = 8*i - 128, -i - u + 38 = 0. Let a be 12*3 + -4 + 2. Is i at least as big as a?
True
Let p(b) = -3*b - 23. Let z be p(-11). Suppose 5*n + 23 = k + 2*k, 0 = -3*n - 2*k - z. Let v be (0/8)/((-5)/(10/n)). Which is smaller: v or -8?
-8
Let n be (12*(-2)/15)/(19/380). Is -98/3 smaller than n?
True
Let s = -195 - -187. Let x be (1396/(-36) - 3) + s/36. Which is greater: -43 or x?
x
Let c be (-686)/3570 + 6/45. Let d(m) be the second derivative of -m**5/20 + 3*m**4/4 + 11*m**3/3 - m**2/2 - 4*m. Let p be d(11). Which is greater: c or p?
c
Let w be ((-2)/(-1))/(-14) - (-243150)/525. Let a = -463 + w. Is 3/92 not equal to a?
True
Let f(x) = x**3 - 142 + 59 + 56 - 22*x**2 + 22*x. Let o be f(21). Let k be 1*o/(2*108). Which is greater: 2 or k?
2
Let u be 4/(-10) + ((-749)/(-35) - 5). Suppose u = -0*m - m. Let d = 17 + m. Which is bigger: 0 or d?
d
Suppose 4*z + 164 = 2*z. Let m = 157 + z. Suppose 0*n = -4*v - 3*n + 57, 5*v - m = -3*n. Do v and 18 have the same value?
True
Let q(r) = 2*r**2 - r + 21. Let z be q(-20). Suppose 2*j + 1010 = -5*u, 4*u - 10*j + z = -5*j. Which is smaller: u or -203?
u
Let r be ((-1)/(-1))/(9/36). Let d be (0 + r - 15)*1. Let y = -64 + 54. Is d less than or equal to y?
True
Let c(m) = 487*m - 10. Let a be c(-6). Let b = -11801/4 - a. Which is greater: -19 or b?
b
Suppose 44