-5)/((-210)/p) - -5. Which is smaller: 1 or f?
1
Suppose 4567 + 28059 = -58*q - 124264. Are q and -2706 non-equal?
True
Let p = -13166 - -13161.5. Is p > 45?
False
Let w(u) = u**3 - 33*u**2 - 68*u - 70. Let a be (280/12)/(0 - (-6)/9). Let b be w(a). Let t be -1*1 + (-3)/(-2). Which is smaller: b or t?
b
Let s = 1226 - 684. Let g = s + -506. Is -0.1 bigger than g?
False
Suppose 0 = -3*m - 3 - 27. Let y be (-4)/m*(9 + -4). Let v(z) = z**2 - 7*z + 3. Let i be v(7). Which is greater: y or i?
i
Let d(i) = 20*i - 181. Let g be d(9). Is g bigger than -1/1040?
False
Let j = 27 - 27. Suppose -3*c + 2*c = -j*c. Suppose 1 = w - c*w. Is 2/3 at most w?
True
Let b = 1.98 - 1.9413. Is b < -5?
False
Let c be (-4412)/14 + (-17)/(-119). Let q be 18/(-30) - 264/c. Which is bigger: 0.1 or q?
q
Let w = -16 + 16.34. Let o = 35.66 + w. Let p = o - 28. Which is greater: p or -1?
p
Suppose 4*x - 20 = -4. Let m be (x + (2 - 0))*2. Let v be ((-2)/(-6))/((-2)/(-78)). Is v <= m?
False
Let v = 45280.4 + -45280.2. Let k = 19 + -10. Let u be (k/(-40))/(12/(-10)). Which is smaller: u or v?
u
Let m = 257 - 257.09. Let o = m + 0.12. Let b = -782/5 + 157. Are b and o nonequal?
True
Let k = 136705/3294 - 2/1647. Let x be (-742)/(-18) + 4/(-18). Which is smaller: k or x?
x
Let z(j) = -j + 5. Let y be z(12). Let t = -6 - y. Suppose -2*s = -5*b - 34, 3*s + 3*b = 24 - 36. Is s not equal to t?
True
Let v = 111 + -67. Suppose -7*k = -9*k + v. Suppose y + y = -k. Is y greater than or equal to -1?
False
Let x be 193973/(-1388) - (-28)/16. Let j be (-547)/4 - (-1)/(-4). Which is greater: j or x?
j
Let i = -0.23 - 996.77. Let f = i - -998.884. Let w = -0.116 - f. Which is bigger: w or 10/9?
10/9
Let d = 1672 + -224049/134. Which is greater: 1 or d?
1
Let i = 8280 - 8223. Let r = 29 + -30. Which is smaller: r or i?
r
Suppose 2*n - 8720 = 5*x, 3474 = -326*x + 324*x - 2*n. Are x and -1739 equal?
False
Let n = -22 + 21. Let g be 19/(14/(-16) + 1). Suppose -g + 2 = 5*u + 4*p, 63 = -2*u - p. Do u and n have different values?
True
Let u = 12/341 - -1184/5115. Suppose 0*s = 4*o + 5*s + 27, -5*s = -5*o. Are o and u equal?
False
Suppose 4*x + 39 = 7. Let l = 34986 + -34992. Is x at least l?
False
Let k be 0 - (-378)/2*1. Let i = k - 189. Let c = 362 - 21356/59. Which is smaller: i or c?
i
Let t be 200/9 + -1 + 20/(-90). Let c be 301/t - 6/(-9). Suppose -12 = 12*a - c*a. Is a < 4?
False
Let d be 1*((-2 - 0)/(-2) - 1). Suppose -42 = 3*l + 72. Let c = l - -33. Which is smaller: d or c?
c
Let z be 5 - (-3 + 9)/3. Let s be (2 - (-12)/z) + (-640)/(-5). Which is smaller: 132 or s?
132
Let f be 1 - ((-36)/(-8) + 2). Let s = 1548 - 1554. Which is bigger: f or s?
f
Let v(g) = -8*g**2 + 109*g - 66. Let d be v(13). Let j = 17 - 12. Which is smaller: d or j?
d
Let z(q) = 1 - 5 - 5*q**2 + q**3 + 2*q**2 - 9*q + 5*q**2. Let a be z(-5). Let j(h) = -4*h**2 + h - 1. Let p be j(3). Are p and a equal?
True
Let l = -306 - -303. Let a be l + 8 + (-54)/9. Which is smaller: a or -11/27?
a
Let a(w) = w - 5. Let z be a(6). Let x be 20*((-8)/(-20))/z. Suppose -2*g = -30 + x. Is g bigger than 11?
False
Let l = 421.4 + -340. Let d = 82 - l. Let j = -0.06 + -2.94. Is d greater than j?
True
Let z(a) = -2*a**2 - 48*a + 49. Let x be z(-25). Let g be ((-2)/840*-8)/(x/50). Are g and -2 non-equal?
True
Let h = 1860 + 840. Let x = h + -272690/101. Is -1 bigger than x?
False
Suppose -504 + 45 = 3*s. Suppose -2*p + 3*l - 309 = 0, 5*p + 5*l - 2*l + 762 = 0. Does s = p?
True
Suppose 40719 - 52126 = 17*w. Which is bigger: w or -5361/8?
-5361/8
Suppose -4*w - v = -7, -9*w + 16 = -8*w + 5*v. Is w < -1/10596?
False
Let n = -1407 + 1339. Let o = 72 - 141. Is o equal to n?
False
Let b = -100.5 - -103.5. Is 18 less than b?
False
Let a be (-1)/(-13) + 2 + 316580/286. Which is bigger: 1111 or a?
1111
Let d = -86/271 + -508508/1355. Is d greater than or equal to -375?
False
Suppose 15*n = 8*n - 21. Let l be (8/n + 2)/(18/(-162)). Let x be l + -5 - 2 - 0. Which is smaller: 2/57 or x?
x
Let t = -776 + 776. Is t greater than or equal to 215?
False
Suppose 7*o = -3*o + 840. Let v = -88 + o. Let z be (-10)/104 - v/(-26). Which is bigger: z or -0.22?
-0.22
Let k be (((-2)/(-4))/(-1))/(-43 + 261/6). Is k > 0.2853?
False
Let d = 5 - 2. Suppose -4*x = -13*x - 2*x + 22. Which is smaller: x or d?
x
Let j = 1128 - 760. Let m = 361.3 - j. Which is smaller: -0.2 or m?
m
Let d = -1.2 + -4.8. Suppose 3*j - 17 = l, -4*l - j = 25 - 9. Let h be 0/(-3) + -2*l/(-30). Which is bigger: d or h?
h
Let t = 3321.1 - 3317. Is -2 less than t?
True
Let u = 0.023 + 5.477. Let d = 6.9 - u. Let f be (1 - 2)*(-17 + 17). Is f != d?
True
Let k be 5 + (-84)/35 + 3/(-5). Let c be k/5 + (-3)/(-5). Which is smaller: -2 or c?
-2
Let v = -94 + 94. Suppose v = -26*t + 30*t + 280. Is t at most -70?
True
Let l be ((4/(-3))/(-4))/12. Let b be (584/24)/((-1)/6) - -4. Let d = 143 + b. Is l bigger than d?
False
Suppose 3*k = 3*j - 8619, 0 = -4*j - 2*k + 7109 + 4353. Which is bigger: j or 0.1?
j
Suppose 4*o + z - 4*z = 12, -2*o + 6 = -5*z. Suppose -o*h + 6*h - 6 = -3*j, 3*h - 5 = -4*j. Let p be ((-9)/(-60))/(6/2). Are p and j unequal?
True
Suppose 5*o + 128 + 347 = 0. Let f be (-4)/(-2) + 185/2. Let a = f + o. Which is smaller: a or -13?
-13
Let b = -2251 - -2272. Do b and 29 have the same value?
False
Suppose z + 10*i = 11*i - 108, 2*z = -4*i - 234. Is z smaller than -10?
True
Let h be (-88)/((3 + 5 + 0)*(-4)/16). Which is bigger: h or -21?
h
Let c = -0.023 + -1.707. Let k = 0.73 + c. Which is bigger: k or -40?
k
Let x = 0.05 - 0.18. Let g = 59.5 - 54.37. Let h = x + g. Is h != 0.1?
True
Let w = 382 + -241. Let b = w + -140. Let q = -6/265 - 97/7420. Is q bigger than b?
False
Let w(s) = 26*s**2 + 99*s + 4. Let v be w(-4). Is v >= 19?
True
Let q = -982.8 - -982.5. Which is smaller: q or 1365?
q
Suppose -5*i = -4*b + 4364, 12*i - 864 = 13*i - 3*b. Is -876 at least as big as i?
True
Let t be 18/(-3)*(-80)/(-9360). Let f be 15/(-6)*4/(-5). Suppose -5*q + f*g - 3*g = -2, -3*q = -5*g + 10. Are q and t unequal?
True
Let w = 106 - 57. Let n = 2.42 + -2.62. Is n bigger than w?
False
Suppose 5*a + 7 = i, -4*i = -0*i + 3*a - 5. Suppose -22 - i = -8*m. Let o = -3 + 7. Which is bigger: m or o?
o
Let q be (45/27 - 3)*(-513)/16812. Which is smaller: -1 or q?
-1
Suppose -2*u = 8, 0 = -a + u - 6*u - 17. Suppose -106 + 403 = a*j. Let q = -56 + j. Is 0 greater than q?
False
Let u = 2086.6 + -109.6. Is 1 less than or equal to u?
True
Suppose 0 = u - 27*c + 28*c - 23561, c = -4*u + 94235. Let v = -683262/29 + u. Is -4 less than or equal to v?
True
Let w = -7114 - -7110. Which is smaller: -787 or w?
-787
Let r be 3/((-45)/(-8335)) - (-2)/(-3). Let k = 2205/4 - r. Which is smaller: k or -3?
k
Suppose 50*m - 46*m - 1034 = 2*c, 0 = 2*m + c - 523. Is m at least as big as 265?
False
Let u be (-1036)/(-1295) - (-2 + 3366/1195). Let z be 1/(-1) + 2/2. Which is bigger: u or z?
z
Let m = -1.54 + 4.54. Let j = -18 - -10. Let b be 10/(-35) + j/(-14). Which is bigger: b or m?
m
Suppose -g + 4*g + 5*w + 67 = 0, -5*g - 90 = 4*w. Suppose -6*n + 1254 - 450 = 0. Let t be 2/((-24)/n) - (-15)/90. Is t at most as big as g?
False
Let x = 274/7 - 85200/2177. Is x greater than 0.2?
False
Suppose -4*c - 785 = -g, -8*g = -8*c + 11*c + 650. Is -192 less than c?
False
Let m be ((-12)/9)/((-100)/375). Suppose m*h - 7*h - 5*c = -163, -3*c = -h + 76. Which is bigger: h or 77?
h
Let l = -91.384 + 2.384. Is l < 1.04?
True
Suppose t = -6*l + l + 6132, -3*l - 18396 = -3*t. Suppose 1865 - t = 17*x. Is x at least -251?
True
Let z be (-18)/135 - 159920/2100. Which is bigger: z or -75?
-75
Let g be (-132)/(-110) + 8/(-10). Let x = 120 - 120.163. Let k = -0.17 - x. Which is greater: k or g?
g
Let b = 2817 + -2824. Which is smaller: 167 or b?
b
Let q = -384 - -97. Let b = -504 - q. Is b greater than or equal to -216?
False
Let d(c) = c**2 - 1. Let z(w) = -2*w**2 - 10*w - 182. Let o(q) = 4*d(q) + z(q). Let x be o(-12). Is 223 at least x?
True
Suppose 8*n - 10*n = -10. Suppose 0 = n*w + 4*v - 65, 0 = -2*w - 0*w + 2*v + 44. Let l = -17 + w. Which is smaller: -1/14 or l?
-1/14
Let a be -1 + ((-9)/(-6))/((-69)/(-92)). Is -3/4277 <= a?
True
Let r be (-20)/(-8)*(-6)/(-15). Let x be 0/(-3*(0 - -1)). Suppose x = -p - 4*n, 2*n - 7 + 15 = -p. Which is bigger: p or 