t z be -5*(154/(-140) - (-2)/(-4)). Suppose -t = -5*m + 3, -4*m = -8*m - 2*t + z. Which is smaller: -3/32 or m?
-3/32
Let k = -149 - -163. Suppose -k*d + 17*d = 3. Let c = 9.4 + -11.4. Which is smaller: c or d?
c
Let q(l) = -13*l + 15. Let s be q(-9). Suppose 23*m = 27*m + s. Do m and -97/3 have the same value?
False
Let r(u) = -8*u**2 - 2*u - 3. Let d be r(-2). Let s = 13 - 11. Let a be (-3116)/95 - s/10. Are a and d unequal?
True
Suppose -133*i = -138*i + 10665. Is 3 less than or equal to i?
True
Let h be 2*(-3 - 15/(-6)) + 8 + -6. Is h greater than or equal to -20/1739?
True
Let w = -1016 - -1702. Suppose 25*a + w = -1014. Is -68 smaller than a?
False
Let s be (1 + 318/348*-1)*(-1164)/(-45). Is s at most as big as 3?
True
Suppose -3862 + 15252 = 67*p. Is p smaller than 148?
False
Let g be (-15 - 108256/(-4464)) + -9. Which is smaller: 0 or g?
0
Let t(q) = -2*q**3 - 2*q**2 + 5*q. Let g be t(0). Which is greater: g or 1/3631?
1/3631
Let y = 1 + -1. Let f = -31543/1151990 + 13/490. Let z = f + 9454/58775. Is y greater than z?
False
Suppose -8*q - q + 1089 = 0. Suppose 21*l + q = 20*l. Let z = l + 130. Which is bigger: z or 13?
13
Suppose -3*z + 7*z + 89 = 5*c, -65 = 3*z - 2*c. Let y be ((-12)/(-46))/((-11)/((-616)/z)). Which is smaller: y or 0?
y
Let j(d) = 28*d**2 - 3*d + 7. Let m be j(5). Suppose -4*p - 3*w = m, 5*p = -2*w - 580 - 278. Which is smaller: -171 or p?
-171
Let x be (6/8)/(-7 - (-8466)/672). Let j = -6/19 + x. Is 3/5 smaller than j?
False
Let g be (-4)/(-7) + 20046976/(-32358102). Let f = 2/2967 - g. Let s = 7 + -8. Which is smaller: f or s?
s
Suppose -8*w + 37 = -17*w + 1. Is w >= -63/17?
False
Let k = 28 - 14. Let p = k - 16. Let y = 7 + -3. Is p <= y?
True
Let o be (19920/150)/(2/(-60)) + 2*-1. Is -3985 != o?
True
Let r = 125242/1603 + -547/7. Suppose 5*v = -m - 6, 7*v + 86 - 75 = -4*m. Which is greater: r or v?
r
Let m = -159.32 - -157. Let y = 2.2 + m. Which is bigger: y or -5?
y
Let k = 90 + -89. Let h be ((-262)/655)/(k + (-94)/(-60)). Are h and 1 nonequal?
True
Let h be ((-6)/(-9))/(13/117). Suppose -19*d = -h*d + 195. Do d and -13 have the same value?
False
Let y = -15633 + 15643. Is -273 not equal to y?
True
Suppose 5*b + 21 = 6*b. Suppose m = f - 3, -5*m + b = -f + 2*f. Let u = -582 - -581.9. Is f < u?
False
Suppose 4*o + 14 = l + 17, 5*o = 5*l. Let v be (3/6)/(o + 225/(-230)). Suppose 2*i = 4*h + 7*i - 12, -3*h - 2*i + 2 = 0. Which is smaller: v or h?
h
Let g be 4/22 + 25971/6897. Let k = g - 20081/5092. Is k less than 1?
True
Let a(c) = 2*c - 9. Let v be a(4). Let l = 3/791 - -3023/37177. Does l = v?
False
Suppose -48 - 42 = 10*h. Let v be (-208)/h - 0/((-2)/1). Is 23 != v?
True
Suppose -3*p + 0 = -3. Let v = 3119635/62 - 96165/2. Let z = 2234 - v. Is z at least as big as p?
False
Suppose -8 = 4*d, -11*d + 1286 = -4*j - 14*d. Let m be 3 - 33/9 - 2865/9. Which is bigger: m or j?
m
Suppose 6*u - 2 + 20 = 0. Let w be (u/(-4))/((-44)/8 - -1). Which is smaller: w or -0.14?
w
Suppose 486 = 17*p + 197. Let j be (-2)/p + 12441/9945. Which is smaller: -1 or j?
-1
Let k = -278.05 - 45.95. Is -6 greater than k?
True
Let r = 1925 + -1925.2. Which is bigger: r or 217/19?
217/19
Let i = 32 + -43. Let c = -19 + i. Let d = c - -29. Is -0.42 not equal to d?
True
Suppose 2*q - 5*p = -2*q + 2740, q = 4*p + 685. Which is greater: 1367/2 or q?
q
Let h be (-91)/(-14)*(-4)/(-52) + 42/12. Is h > 329?
False
Let i be (-2)/9 + 7304/(-18). Let l(c) = 27*c**2 - 4843*c + 6179. Let o be l(178). Which is bigger: i or o?
i
Suppose 0 = -12*w - 732 - 168. Let o be ((-21)/14 + 0)/(w/6). Let d = -1 - 0. Does o = d?
False
Let q be -2 + ((-36)/(-62) - -2). Suppose -125*i + 17 = 137*i - 245*i. Is q greater than or equal to i?
False
Let t(q) = -488*q**2 - 8*q + 3. Let z be t(-1). Do -3330/7 and z have the same value?
False
Let j = 25527 + -25538. Let d = -114 - -1028/9. Is d < j?
False
Let w = -26387.4 + 26315. Are -6 and w nonequal?
True
Let k be ((-498)/(-90) - 5) + (-6)/5. Which is smaller: 74/3 or k?
k
Suppose 0 = -2*g - 4*n - 292, -5*g + n - 730 = 3*n. Let a = g + 71. Let k be (-12)/20*(39/(-9) + 5). Which is smaller: k or a?
a
Let b be (-20)/6*378/(-15). Let d be -3 + (-13)/((-234)/b). Let n(q) = q - 3. Let l be n(4). Is d < l?
False
Suppose -41*v + 5*s = -46*v - 10, v + 5*s + 10 = 0. Which is bigger: v or -106/185?
v
Let s(g) = 217*g + 434. Let m be s(-2). Is m smaller than 50?
True
Let t = -0.2 + 0.2. Suppose 2*p - 3*a = 10, -2*p - 2*p + 22 = -5*a. Let w be ((-26)/4)/(p/(-48)). Which is smaller: t or w?
t
Let j be (-590)/940*-16 + 20/(-2). Which is bigger: 531 or j?
531
Let g(j) = -19*j - 16. Suppose 0 = -2*d + 11 - 17. Let u be g(d). Suppose u = n - 2. Which is greater: n or 44?
44
Let p = 4535.1 + -4785. Let o = p + 250. Let i = -0.083 + -34.917. Which is smaller: i or o?
i
Let b = -5804 + 5676. Is b <= 4/9?
True
Let c be -16*(-7)/14*(-297)/2. Is -1188 greater than c?
False
Suppose -10*o + 85*o = -37*o - 34*o. Is o < -4/1297?
False
Let b = -77 - -162. Let t = b - 85. Which is smaller: t or -3/17?
-3/17
Suppose 0 = -2*z + 10, 5*z = -3*u + z + 116. Let f = 8 - u. Let h(t) = 3*t**2 + 33*t - 60. Let x be h(-12). Is f != x?
False
Let s be ((-9)/36)/((-4)/208). Which is smaller: s or 257/19?
s
Suppose -142*v + 15 = -137*v. Let g be 1*6 - (-1 + 3 - v). Let n = -70/3 + 29. Is n less than or equal to g?
True
Let r = 1922/5525 - 15/221. Let p = 83/475 - r. Suppose a = -3*s - 7, 15*a + 5*s + 9 = 16*a. Does p = a?
False
Suppose -14*s = -374340 + 375446. Suppose 2*m - 2*c = -148, 3*c = -5*m + 4*c - 390. Are m and s equal?
True
Let l = -68.79 - -65.5. Let k = l - -3.39. Which is smaller: 0.5 or k?
k
Let c be (-153)/((-2)/(-2)) - (-7 - -4). Let i = -188 - c. Which is greater: -40 or i?
i
Let v be (-415 - 11)/(-3 - -4). Which is bigger: v or -428?
v
Let t = -2393025 - -74196177/31. Let i = -400 + t. Let r = i - 39/124. Is r not equal to 1?
True
Let n(d) = 108*d - 1474. Let c be n(43). Which is greater: 3175 or c?
3175
Let f be (2 - (-12)/9)*27/(-6). Let h be (-5)/(-2)*(384/f)/(-4). Let m be (-3)/(36/h + 0). Which is smaller: m or -1/3?
m
Let y(k) = -k**3 + k**2 - 2*k + 6. Let v be y(0). Suppose v*p - 22 = 20. Suppose 3*i + 4*w - 7 = -2*i, -i - 5*w - p = 0. Does 3/2 = i?
False
Let c be (-1 + 3)*(-11 + -121)/(-11). Let x be (20/(-57))/(c/(-36)). Do x and 2 have the same value?
False
Suppose -222*l + 377914 - 370652 = 883274. Is -3948 less than or equal to l?
True
Let c = 318620 - 573185. Let o = c + 2797309/11. Let p = o + 264. Which is smaller: p or -0.5?
-0.5
Suppose 2*w - 329 = -5*a + 120, -a - 953 = -4*w. Suppose -w = -2*r + 5*m + 22, -426 = -3*r - 5*m. Suppose -8*x + r = -47. Which is greater: 0 or x?
x
Let r(a) = 32*a - 61. Let h be r(15). Suppose -h*b - 250 = -424*b. Does b = 50?
True
Let h(r) = 51*r - 254. Let c be h(5). Does 26/205 = c?
False
Let b be (35/50)/((-1456)/2730). Let d(m) = -m - 6. Let w be d(-4). Is b greater than or equal to w?
True
Let d = 207 + 78. Let b = 284 - d. Let y be 22/(-8) + (1 - 1). Which is bigger: b or y?
b
Let t = 5.91 - -68.49. Let n = t + -111.4. Which is bigger: -0.2 or n?
-0.2
Let t(r) = 6*r - 32. Let f be t(6). Suppose -s + b - 2 = -4*s, 5*b = -f*s + 21. Is s greater than -6/49?
False
Let u be (13 - 1) + (21 - 18). Suppose -u = 6*f - 21. Which is smaller: f or 3?
f
Suppose 1542*x = 1545*x - 666. Let p = 202 - x. Which is greater: p or -146/7?
p
Let x be 352/(-33)*(-27)/(-36) + 26*1. Are x and -57/2 equal?
False
Let h = 2372 - 2387. Which is smaller: h or -0.046?
h
Let g = -20/859 - -69107/3226404. Are -1 and g non-equal?
True
Let v = 85 - 39. Suppose 46 + v = 2*j - 2*w, j + 5*w = 22. Suppose 0 = -6*x + j - 12. Is x at least as big as 7?
False
Let l be (4 + -3)*1/379. Let m = -27919 + 27919. Which is bigger: m or l?
l
Let k = 3665.75 - 3665. Let i = 42.15 - 43. Let t = k + i. Which is greater: t or 0.02?
0.02
Suppose 4*a - t - 12 = -a, -3*a + 3*t = 0. Let g be 27 - (6 + (-18)/((-12)/(-4))). Which is bigger: a or g?
g
Let o = 2672 - 2672. Do 2/2745 and o have different values?
True
Suppose 3*f + 1 = 4. Let j be 3*((-50)/(-75) - -14*(-20)/408). Which is smaller: f or j?
j
Suppose -4 = -2*x - 5*d + 19, 0 = -x + d - 6. Let q be 4/(-14) + (2 - (-214)/(-126)). Which is bigger: x or q?
q
Suppose -5*l + 3*w - 2181 = 153, 4*w =