18)/40 - ((-220)/(-25) + -9). Let r = 148.9 + -159. Let i = 1.9 - r. Which is smaller: i or y?
y
Let y = 47 + -94. Let n = 23 - 9. Let k = n + y. Does 2/5 = k?
False
Let w = 132507262182737/16701 - 7934091507. Let g = w + 4/879. Which is greater: g or -6?
g
Let a be ((-5)/546)/(-5)*6007581/162. Let o = a - 815/12. Which is smaller: o or 1?
o
Let c be (-4)/(-6)*15*(20 + -24). Suppose 36*w = 42*w + 234. Is w > c?
True
Let h = 20932 - 20933. Which is greater: 18/2399 or h?
18/2399
Let k(i) = 6*i + 69. Suppose 165 = -4*x - 11*x. Let q be k(x). Is q > -118?
True
Let r(v) = -v**3 - 11*v**2 + 27*v - 26. Let l be r(-13). Suppose f = -5*m - 26, -62 = 4*f - 5*m + 67. Let y = f - l. Which is bigger: y or 9?
9
Let h be (2 + -1 - 18) + (-1)/(-1). Suppose -5*j - 31 = 19. Let p be -4 + 1 + j + -4. Is p != h?
True
Let q = -904341041/8270 + 109352. Which is smaller: 1 or q?
q
Let u = -316 + 252. Let y = -69/4 + 337/20. Is u at least as big as y?
False
Let c be (26/(-195))/(2/(-15)). Is c greater than 12/1649?
True
Let b = -195 + -219. Let y be -7 + (b - 0) - (-2 - 0). Which is smaller: y or -418?
y
Let y = 1479.2 + 3686.8. Which is smaller: y or -0.1?
-0.1
Let p be 0*7/(-49) + (-64)/(-26). Let n(h) = h - 12. Let y(l) = l - 1. Let j(k) = n(k) - 4*y(k). Let q be j(-3). Is q equal to p?
False
Let g = -220 + 244. Suppose -3*z + z - g = -4*d, d - 12 = 2*z. Which is bigger: z or -27/7?
-27/7
Let o = -21 - -24.6. Let p = o + -3.4. Let q = -0.2 + p. Is -2 smaller than q?
True
Let s be (-12)/(-15)*(-75)/6. Let a be (2 + 1)/(5 - (-52)/s). Let g be 1/a*11 - (-6)/15. Which is smaller: 1 or g?
g
Suppose 11*i = 5*u + 662 + 804, -556 = -4*i - 2*u. Which is smaller: i or 130?
130
Suppose 1159 = -w + 4*z, -2*w - 88*z = -84*z + 2342. Which is greater: -1170 or w?
w
Let q = 0.099 + 49.901. Let y = q - 115. Let p = -64 - y. Are -3/2 and p non-equal?
True
Let r(j) = -j + 3. Let w be r(4). Let c be ((8/(-126))/2)/(37 - (72 + -38)). Which is greater: w or c?
c
Let y = -6.6 + -40.4. Let r = y + 45. Suppose -3*o + o + 6 = 0. Which is greater: o or r?
o
Let r be 10*3*58/(-145). Let p = 10 + r. Let q = 7 - 7. Which is bigger: q or p?
q
Let a(b) = -3*b - 6. Let u be a(-4). Suppose -5*c - 21 + u = 0. Let l be (-12 - 84/35) + 12. Is l < c?
False
Let i = -193680303/707231 + 6/101033. Does -275 = i?
False
Let k be ((-45)/(-10566))/((-5)/(-6)). Which is greater: -2/5 or k?
k
Suppose 4*f + v = -v, -22 = -3*f + 4*v. Let y be 120/96*f/(-305). Is 1 > y?
True
Let r be (-38232)/65436 + 48/84. Which is smaller: 0 or r?
r
Suppose 1251 = -5*g + w, 3*w = -19*g + 23*g + 1014. Does -248 = g?
False
Let r = 1952/41895 - 2/931. Let x(l) = -l**3 + 3*l**2 - 3*l + 3. Let n be x(2). Let s = n + 0. Is r less than s?
True
Let r(n) = -5*n - 104. Let t be r(-19). Let u be 6/(((-54)/(-8))/t) + 4. Is u smaller than 3.8?
True
Let z = -17753 - -17427. Is -322 > z?
True
Suppose -5*v - 2*m + 105 = -3*m, 2*m = 5*v - 100. Let t = 24 - v. Let u be (-1)/t*-2*(-3)/15. Are u and -1 non-equal?
True
Let j(p) = -2*p**3 - 24*p**2 + 96*p + 90. Let y be j(-15). Which is greater: -23/172 or y?
y
Let x = -355/3 + 1769/15. Let p = -0.27 - -1.52. Are x and p nonequal?
True
Let a(d) = d**3 + 19*d**2 + 20*d + 40. Let o be a(-18). Suppose 0 = 2*s, 2*s - 20 = -o*k - 16. Are 6 and k unequal?
True
Let z = 690 - 690.32. Is z at least as big as 55?
False
Let w = -419 + 3761/9. Let s = -10 + 23. Let j(i) = i**3 - 15*i**2 + 25*i + 11. Let k be j(s). Is w less than k?
False
Let k(l) = l**2 - l - 3. Let j be k(-2). Suppose -j*z + 65 = 5*i + 2*z, 4*i = -2*z + 52. Suppose -1 = -14*s + i*s. Which is greater: -1/9 or s?
s
Let p(b) = 2*b**2 + 11*b + 1. Let c be ((100/15)/5)/(2/(-15)). Let z be p(c). Is z bigger than 91?
False
Let a = -9637/2247 + 1/321. Let x = -1 + -2. Which is smaller: x or a?
a
Let m(x) = -x**3 + 47*x - 115. Let k be m(3). Which is smaller: k or 14?
k
Let q = 3 - 1. Let l be (2 - 0)/(1/19). Suppose 0 = 4*n + 14 - l. Are q and n equal?
False
Let j(v) = 2*v + 8. Let p be j(-3). Let f(d) = -p*d + 112 - 3*d - 130. Let a be f(-14). Is 52 > a?
False
Let a be (87/(-6) - -14)*(90/(-43) + 2). Does 0.0481 = a?
False
Let u = -13966/5 - -265351/95. Is 58 smaller than u?
False
Let u be (2/(-5))/(6/(-69)). Let h be (22/(-4))/(10*(-19)/8740). Let a = 259 - h. Is u smaller than a?
True
Let g = 0.4 + -0.4. Let b = g + -1. Let m = 63464 + -63464.14. Which is bigger: b or m?
m
Suppose q + 2937 = -z, -3*q + 10*z = 5*z + 8819. Are -2 and q equal?
False
Suppose -4793 = 2*n + 5*t, 25*t = -n + 26*t - 2407. Is n >= -2404?
True
Let n = 111 + -14. Suppose 5*z + 144 - 131 = -2*k, 2*z - 3*k - 29 = 0. Which is smaller: n or z?
z
Suppose 2 + 7 = -3*r. Let z(k) = 11*k**2 + 2. Let u(d) = -8*d**2 - d - 1. Let c(x) = 6*u(x) + 4*z(x). Let n be c(r). Is n >= -13?
False
Let h = -8586 + 231908/27. Which is greater: h or 2?
h
Suppose 4757 + 2293 = 5*z. Suppose 0 = -p - 5*m + 2*m + 484, 3*p = 5*m + z. Suppose -9*b - 101 = p. Which is smaller: b or -65?
-65
Let v(t) = -40*t + 85. Let a(u) = -38*u + 85. Let n(g) = 3*a(g) - 4*v(g). Let k be n(4). Is k at most 101?
True
Let o be -1*(2256 + -2 + -1 - 3). Which is smaller: o or -2249?
o
Suppose 153 = 3*m - 360. Let x = 1547/9 - m. Do x and -1/4 have different values?
True
Suppose 12*q - 2*q - 325 + 335 = 0. Let p be (-12)/26*1/2. Which is smaller: p or q?
q
Let l(n) = 100*n + 643. Let m be l(-44). Is -3758 > m?
False
Let i(j) = j**3 + 2*j**2 - 14*j + 6. Let l be i(-5). Let k be (-6 + 15/(-5))/(-771*(-6)/12). Which is smaller: k or l?
k
Let i = 3674 - 342. Which is smaller: i or 3330?
3330
Suppose 0 = -3*a + 999 + 315. Let v be 6 + (-4 - 864/a). Which is smaller: 0 or v?
0
Suppose 50*h - 17224 - 17476 = 0. Which is greater: h or 696?
696
Let h(n) = n**2 - 20*n + 477. Let s be h(40). Is 1277 >= s?
True
Let y be 1*(10/(-5))/((-2)/5). Suppose y*v + 12 = 2*d, 5*v + 9 = 11*d - 12*d. Which is smaller: -5/23 or d?
-5/23
Suppose -36797 - 25253 = 2*h + 4*j, 3*j + 62056 = -2*h. Are -1 and h unequal?
True
Let y be (-8 - -5 - (-6 + 2))*-1412. Which is greater: y or -1414?
y
Let b be (0/((-204)/(-12)))/(7/(7/2)). Let w = 192/13 + -4247/299. Which is greater: w or b?
w
Let z = -7038289651/1605 + 21926129/5. Let g = -1/321 + z. Let l(k) = -13*k - 80. Let w be l(-6). Which is smaller: w or g?
w
Let x = 5430 + -3739. Is x < 2/3?
False
Let t be (-50 - 5)*(-5 - 369/(-45)). Is -1234/7 greater than t?
False
Suppose 0*z + 5*m - 13 = -z, -2*z + 4*m + 12 = 0. Suppose 0*l = z*l. Which is greater: l or -15/19?
l
Suppose -9*l = 72*l - 3308 - 26095. Does 372 = l?
False
Let h = -2 + 3. Let p = -428069/224 - -1911. Let c = 77/32 - p. Is h > c?
False
Let g = -162 - -106. Let a = g + 45. Let r = a + -7. Which is smaller: 2 or r?
r
Let k be -1 + (2 - 46/22). Let y be (720 + 4)/(-4) - 5. Let i = y - -185. Is k less than i?
True
Let p be (48/(-32904))/((-4)/18). Let i = -6133 - -6132. Is p < i?
False
Let f = -1110 - -1697. Is f at most -1?
False
Let z = 3593 - 3512. Which is greater: z or -1/14?
z
Let j be (-3)/(10/20*-6)*-5561. Is -5561 at most j?
True
Let i be 2/(-7) + (-241165)/14574. Is i at most as big as -17?
False
Suppose -2*d - x = 0, -x - 2 = 2. Let s be (1 - (-1 - -2))/d. Let w = 5872/19 + -309. Which is bigger: s or w?
w
Let v = 7/279 + -8461/3627. Let y = -133/52 - v. Let f be (0 - -10)*(555/(-525))/(-37). Is f bigger than y?
True
Let g be ((-3)/(-2))/(-3)*38. Let f(w) = 2*w**2 + 84*w + 418. Let k be f(-6). Which is greater: k or g?
k
Suppose 0*b + 36 = -6*b. Let a be 3740/(-66)*b/4. Which is smaller: a or 83?
83
Suppose -5*g + 2*d + 34 + 28 = 0, 0 = -4*g + 4*d + 52. Let q be 2886/(-296)*2/g. Which is smaller: q or -1?
q
Suppose -36*s + 4247 = 22679. Which is bigger: -510 or s?
-510
Let z(h) = -h. Let i = -40 + 37. Let a be z(i). Suppose -4 = 2*y, a*k - 3 = 3*y + 9. Which is smaller: 1 or k?
1
Let g(n) = n**3 - 8*n**2 - 194*n + 10. Let m be g(-11). Is m > -1090/7?
True
Let z = 1740499/55 - 31641. Which is smaller: z or 4?
4
Let t(h) = 40*h**2 - 9*h + 65. Let x(j) = -21*j**2 + 5*j - 32. Let m(w) = 6*t(w) + 11*x(w). Let o be m(7). Is o at least 486?
True
Let y be (-2 - -2)/2*-1. Let k = 93410 + -5417775/58. Is k >= y?
True
Let p be (6 - -2) + -4 + -1 + 7. Suppose 212 = p*t + 282. Suppose 4*a + 0 = -36. Is t at least a?
True
Let v be (12/(-7))/((-3)/2