(-20) + 0 + -7 + 33/5. Is -5070 not equal to x?
True
Let w be 8 + 6/24 + (-11625)/20. Do w and -1723/3 have different values?
True
Let r = 39 + -34. Suppose -1 - 3 = -r*y + 4*c, 4*y - 2*c - 2 = 0. Suppose 4*g - 4 = -y*g. Is -3 equal to g?
False
Let v be (-5 - -8 - 324)*(-70)/30. Which is smaller: 748 or v?
748
Let j = 0.0915 + -0.0915. Is j greater than 1169.7?
False
Let n be (170/(-30))/((-200)/(-156)). Is n at least as big as -3?
False
Suppose 3*m + 2*z - 110 = 18, 3*m + 5*z = 131. Let y = m - 30. Suppose y = 5*n + 17. Which is smaller: 1 or n?
n
Suppose 8 = m - 5*m. Let k be m - 1*(-2)/4*2. Let j = -123/1111 - -2/101. Is j at least k?
True
Let v be 24/(-4)*6/(-9). Suppose -3*m - 74 = -3*x - 5*m, 3*x = -v*m + 64. Let n be (9/(-6))/(3/x). Is n less than -14?
False
Suppose 203*d = 4*v + 205*d - 2, -5 = 5*v - 5*d. Which is bigger: 2/8193 or v?
2/8193
Let r(q) = -4*q**3 + 2*q + 1. Let y be r(-1). Suppose -4 = 4*b, 2*a - y*a - 4*b - 3 = 0. Let n = a + 7. Which is greater: n or 7?
n
Let p = 5040.581 + -5039. Is p at least -0.1?
True
Let s = 23.8 + 5.2. Let u = s - 28. Let v = 13.967 + 0.033. Is u greater than or equal to v?
False
Let d(k) = -691*k + 593. Let a be d(1). Let m(g) = -g**3 + 5*g**2 - g + 7. Let s be m(7). Is a greater than s?
False
Let o(g) = -135*g - 740. Let u be o(-4). Which is smaller: 0.04 or u?
u
Let a = -16975348108/105 + 161668314. Let h = a + 1668. Let n be 1/(1 + (1 - 1)). Which is greater: h or n?
n
Let l(q) = -2*q**3 - 20*q**2 - 11*q + 2. Let x be l(-9). Let j = x - -63. Suppose 2 = -j*n - 0. Which is smaller: n or -6/79?
n
Suppose 2 - 52 = -25*c. Suppose -4*d - 2*u = -122, 50*d + c*u = 47*d + 90. Suppose 6*p - 2*p - 128 = 0. Is p not equal to d?
False
Let g be 149514/(-78) - (-2)/(-13) - (7 + -1). Are -1925 and g nonequal?
True
Let f(w) = -w**2 - 19*w - 78. Let v be f(-14). Let j be v*5 + 105/35. Which is smaller: j or -32?
j
Let r be 3*(-8)/9*-174. Let o be (-1)/2 - r/(-32). Are -0.3 and o unequal?
True
Let f = -401/5 + 81. Let q = -69.85 - -69.65. Which is greater: q or f?
f
Let s(i) = -5*i**3 + 4*i**2 - 11*i - 8. Let z(d) = 6*d**3 - 4*d**2 + 13*d + 9. Let j(o) = -5*s(o) - 4*z(o). Let m be j(3). Which is smaller: m or 6?
m
Let p be (0*(-5)/(-15))/(-1). Let h be (-3)/(-10)*11/((-18249)/28). Is h not equal to p?
True
Let m(f) = -f**3 - 10*f**2 - f - 2. Let l be m(-10). Let x = -6764 - -6775. Which is smaller: l or x?
l
Suppose -c - 3*s + 3 = 0, s - 19 = -5*c + 10. Suppose -5*z - 25 = 0, -c*z + 15 = -2*t - 11*z. Suppose 0 = -4*b - 6 + 18. Is b >= t?
False
Let o = 19785/4 - 378267/76. Which is smaller: -31 or o?
-31
Suppose 3*o = -2*u - 121, u - 57 = 4*o - 156. Suppose -2*m + 216 = -k - 2*k, m = 0. Which is smaller: k or u?
k
Let x be 2/(-15144)*((-36)/15)/(152/570). Is 0 <= x?
True
Let m be ((-3)/6)/((-2)/(-8)). Suppose 0 = 4*y + 8*z - 36, -5*y - 27 = 66*z - 68*z. Do m and y have the same value?
False
Let b = -218/3 - -11335/156. Which is bigger: b or 0.7?
0.7
Let t = 10 - -1. Let o(g) = 2*g**3 - 69*g**2 - 107*g - 26. Let a be o(36). Which is smaller: t or a?
a
Let m = -637 + 625. Let z be ((-29)/6 + 5)/((-8)/m). Is -0.52 > z?
False
Let f(s) = 7*s**3 - 60*s**2 - 18*s - 9. Let w be f(7). Are -672 and w unequal?
True
Let h be 9/(-60)*(-16115)/99. Let c be 841/(-28) + 4/14. Let q = c + h. Is q < -4?
True
Let u = -528 + 1202. Let l = u - 747.7. Let t = 74 + l. Does 2 = t?
False
Let h(y) = 2*y**3 - 5*y**2 + 9*y - 7. Let m(l) = -2*l**3 + 5*l**2 - 11*l + 7. Let g(o) = 3*h(o) + 2*m(o). Let k be g(2). Which is bigger: k or -1/129?
-1/129
Let w = 18849 + -18880. Which is smaller: w or -2.94?
w
Let y be (1/(-4))/(2/(-8)). Let d = 681578/13 - 52456. Let g = -33237/1235 - d. Is y at most g?
False
Suppose 897*j - 895*j = -24. Let t = -13 - 6. Let i = j - t. Which is smaller: -0.1 or i?
-0.1
Let s = 1.93445 + -1.91445. Let m be 2 + (-3)/(3/4). Is s <= m?
False
Let z = 46.086 - 0.086. Let v be ((-116)/(-261))/(40/(-36)). Which is bigger: z or v?
z
Suppose 0 = 165*k + 10958 + 7852. Which is smaller: k or -120?
-120
Let k = -29 + -80. Let w be -1 + k/(-186) + (-14)/84. Which is smaller: 0 or w?
w
Let t = -181 + 48. Suppose 0 = -70*g + 57*g - 1742. Is t <= g?
False
Let u = -6566 + 6567. Let n = -21.9 + -6.1. Which is smaller: u or n?
n
Let o(b) = -2498*b + 15536. Let k be o(6). Are k and 6042/11 non-equal?
True
Let h = -108.9 + 100. Let j = 8.04 + h. Let x = j - -3.86. Which is greater: x or 2/65?
x
Let z = -5539 - -5541. Which is greater: z or -1171?
z
Suppose 0 = p - 2*p. Suppose -2*i - x + 1 = p, -6 = -i + 4*i + 3*x. Suppose -2*h + 2*d = 6*d + 22, i*h = -5*d - 28. Is h >= -2/29?
False
Let u(g) = 35*g - 113. Let a be 68/18 + -4 + 38/9. Let s be u(a). Is s at most as big as -1/3?
False
Let b be (-10)/(-55) - 202/22. Let i = -8836/3 - -2935. Which is smaller: b or i?
i
Let t be ((-1000622)/(-51))/(-39 + 27). Let n = t + 1635. Which is smaller: 0 or n?
n
Suppose -4 = r - 7. Suppose u = -f + 1, -r*u + 4*f = -48 + 10. Let n be u/(-171)*-15*(-6)/(-10). Is -1 > n?
False
Suppose r - 4*a = -r - 26, 40 = -5*r + 5*a. Let n be (42/4)/r*-71. Let h = 254 - n. Is h > 0?
True
Let w be 62/(-279) - 23346/(-81). Does 330 = w?
False
Let y(p) = -p**2 + 18*p - 39. Let k be y(12). Let r be (-22)/k + 653/408. Let w = r + -7/8. Is w equal to 1?
False
Let l be (-266)/935 + ((-669)/(-33) - 20). Which is bigger: 42 or l?
42
Suppose -5*p - v + 3189 = 0, -3*p - 4*v = -6*p + 1918. Let k = p + -822. Does k = -184?
True
Suppose 2*j + 110 = 22. Suppose 15*t - 21*t + 48 = 0. Suppose -7*x + 44 = -t*x. Is x greater than or equal to j?
True
Suppose 0 = y + 3*y. Let u be ((-6)/9)/(102/27 - 4). Let b be (u*(-8)/36)/(6/(-11)). Is y greater than b?
False
Let j be (-4)/14 - (-31)/(1736/240). Suppose -9 = -3*u, 4*u + j = 2*a - 4. Is 21/2 less than a?
False
Let f = -10254 + 10424. Suppose g + 2*s + 344 = 3*g, -5*s + 337 = 2*g. Is f greater than or equal to g?
False
Suppose 0 = -50*g + 59*g - 2475. Suppose 279 = -4*n + g. Which is smaller: -28/29 or n?
n
Let t(j) = -24*j - 191. Let s be t(-7). Which is smaller: -293/12 or s?
-293/12
Let j = -5002 + 30019/6. Which is smaller: j or 264?
j
Let k(s) = 6*s + 22. Let u be k(-5). Let t = 52 + -58. Is u at least t?
False
Let w(h) = -2*h - 24. Let a be w(-13). Let i be (a + 237/(-3))/1. Let f be 819/14*(-8)/6. Which is greater: f or i?
i
Let l = -1162/155 - -251/31. Which is bigger: -18.12 or l?
l
Let z = -665 - -699. Which is smaller: z or 41?
z
Let c = -6537 + 6536.9. Are c and 1817 unequal?
True
Let a be (-224)/2 + -1 + (-12 + -5 - -21). Is a greater than 0.07?
False
Let n = 0.0443 - 70.0443. Let u = n - -70.2. Which is smaller: 6 or u?
u
Let u be -7315 - 0 - 1600/400. Are -7318 and u equal?
False
Suppose 240 = 2*x + 3*x. Let z be (0 - (-49)/(-5))/(23/(-115)). Is x >= z?
False
Suppose 0 = 2*c - 5*c - 45. Let x be (-110)/(-88) + 28/(-112). Which is smaller: x or c?
c
Let g(h) = -h**2 + 6*h + 3. Let w be g(6). Suppose 2*o = -w*o. Let n be 1/(o + 3/(-3)). Is n less than 1?
True
Let j = 201 - 203. Let f be j/(-12) - (-15)/18. Do 0 and f have the same value?
False
Suppose w = 3*n - 52, -6*n + n = 2*w - 94. Let p be (-4)/n + (-14)/18. Let o = -281282/539 - -5740/11. Which is bigger: o or p?
o
Suppose -4*n = -0*n - 2*r - 16, 4 = n - r. Let v be -6*(-45)/12 - (-2)/n. Is 22 equal to v?
False
Let d = 1101 + -2935. Is d >= -1835?
True
Let c = 19 + -17. Suppose 3 + 2 = -5*f - 5*n, -2*f + c = -2*n. Is -20 > f?
False
Suppose -5*l + 1427 = 4*h, -5*l - 260 = 2*h - 1681. Suppose 285*o = l*o. Which is smaller: o or 3/46?
o
Let b = 221431/790 - -807/158. Which is bigger: 286 or b?
286
Let w = -8776/207 - -380/9. Let j = w - -2/23. Let y = 24 - 25. Which is smaller: j or y?
y
Let a be (344/(-1580) - 0)*(-148)/(-44). Let j = 2/395 + a. Do -2 and j have different values?
True
Suppose -5*h + 455 = -l - 3*h, 1820 = -4*l - 2*h. Let i be 126/l - (-1)/5. Let g = -5 + 6. Is i greater than g?
False
Suppose 3*x = 4*h - 3227 + 402, -2*h + 1415 = x. Is 3534/5 at least as big as h?
False
Let d = 1837.5 - 1838. Suppose -5*a = -3*y - 50, 3*y - 12 = -a - 2. Which is smaller: d or a?
d
Let r = -2037/5 - 844. Let j = 1208 + r. Which is bigger: j or -42?
-42
Let q(m) = -21 - 2*m**2 + 34*m + 0*m**2 - 72*m + 21*m. Let j be q(-12). Let r = 326/3 + j. Is r < -0.1?
False
Let g =