7/(-630)*1396/(-1079). Let j = r - 60/83. Are j and 0 unequal?
True
Suppose 11 = 8*t - 21. Suppose 2*z + t = -2*f, -4*f - 4 = -3*z - 3. Let h be (1 + 1 + -3)/(-23). Which is smaller: f or h?
f
Let i(k) = 101*k + 1196. Let v be i(-17). Do v and -516 have the same value?
False
Let x = -727/2 - -343. Suppose 0 = -2*k - 3*k - f + 10, 0 = 5*k - 3*f - 30. Let j = -17 - k. Which is greater: x or j?
j
Let l = -0.2095 - -0.1364. Let d = l + 0.9731. Which is smaller: 7/2 or d?
d
Suppose 0 = -73*c + 322*c - 249. Let u be ((-1)/3)/(50/24). Is u bigger than c?
False
Let h = -761 - -760. Let q(n) = -n**3 + 7*n**2 - 5*n - 8. Let b be q(6). Let m be (b/17 - h) + -2 + 1. Which is smaller: 1/8 or m?
m
Let q = -531 + 24962/47. Let a = -41/1269 + q. Which is smaller: a or -1.8?
-1.8
Let h = 1.19 - -0.11. Let f = -0.9463103 - 0.0536897. Is h > f?
True
Let s(r) = -r**3 - 11*r**2 - 15*r + 32. Let p be s(-9). Suppose -p*z = -3*x + 12, 2*z - x + 2 + 2 = 0. Are z and 4/167 equal?
False
Let h(w) = 16*w - 134. Let v be h(10). Suppose 2*x = -5*j + 49, 4*x - x = 2*j + 83. Is x smaller than v?
False
Let q = 124.3 - 131.3. Which is smaller: 251 or q?
q
Suppose 0 = 6*p + 9*p + 225. Let w = -19 + -1. Is p at least as big as w?
True
Let f be ((-2)/(-10))/(279825/(-39998) + 7). Let z = 481/23 + f. Which is smaller: z or 71?
z
Let j = 9332 + -9331.9. Is -177.1 smaller than j?
True
Let q = -258.76 - -259.06. Which is smaller: q or 42.14?
q
Let m(v) = v**2 - 24*v + 95. Let l be m(16). Suppose 5*w + 12 - 147 = 0. Suppose o + 6 + w = 0. Is l at most as big as o?
True
Let i = 121 - 114. Let b(s) = s**2 + 2*s + 7. Let g be b(-2). Is g > i?
False
Let p(g) = g**3 - 20*g**2 + 21*g + 38. Let q be p(19). Let l = q - 74. Is -8 at least as big as l?
False
Let b(c) = 1057*c - 834. Let h be b(5). Is h > 4451?
False
Let f = 1911.10822 - 0.10822. Which is smaller: 0.1 or f?
0.1
Let q = 8961 + -31426226/3507. Which is greater: q or 0?
q
Let k be (-578)/90 + (-6)/(-27). Let d = -73 + 80. Suppose 12*l - 17*l + d = -2*z, -14 = 2*z + 2*l. Which is smaller: k or z?
k
Let l = 38.2 + -425.2. Let d = 340.9 + l. Let z = d + 46. Which is bigger: 23 or z?
23
Let y(c) = -c. Let j = 14 + -13. Let r(l) = l**3 - 3*l**2 - 7*l + 4. Let f(u) = j*r(u) - 6*y(u). Let h be f(3). Is h at least as big as -1/3?
True
Let z(q) = -7*q + 246. Let h be z(33). Let x(a) = -a**2 + 13*a + 46. Let r be x(15). Is h <= r?
True
Suppose -77 + 13 = 8*o. Let d = 48 + o. Are d and 40 unequal?
False
Suppose 6*l + 453 = -399. Which is smaller: l or -153?
-153
Let l = -67 + 76. Let r(m) = m**2 - 9*m + 12. Let d be r(l). Let n be 0/((9/6)/(d/(-16))). Does n = -1/4?
False
Suppose -28*p - 540 = -34*p. Let t be 1/6 + p/(-621) + 0. Is -1 at least as big as t?
False
Suppose -f + 4*l - 14 = 0, 0 = -8*f + 3*f - 5*l + 55. Suppose -36*k - f = -30*k. Let v = -1/25 + 6/25. Which is bigger: v or k?
v
Let z be -2*(-1)/2 + 16/(-8). Let o be -1 + (5 + -2)*(-1)/z. Suppose 32 = -o*t + p, p = -0*p. Which is greater: t or -15?
-15
Let n(l) = l**3 + 13*l**2 - 16*l - 64. Let b(z) = -2*z**3 - 27*z**2 + 31*z + 130. Let t(r) = 2*b(r) + 5*n(r). Let q be t(-12). Which is smaller: q or 80/7?
80/7
Let d = 697.2 - 699.2. Are d and -125 nonequal?
True
Let l = 139 + -1253/9. Let z = -1300 - -782. Let s = z + 2073/4. Are l and s equal?
False
Let j = -23769/7 + 3385. Let b be 5 - 17/(51/24). Let t be b + (8 - 10) - 7. Is j at least t?
True
Let o(m) = 21*m - 159. Let b be o(28). Let t be (6/16 + 0)/(b/286). Which is smaller: t or 0?
0
Let v = -4 + 1. Suppose 145 + 20 = 263*d - 98. Is v less than or equal to d?
True
Let n be -11 + ((-3)/(-5) - (-144)/60). Let k be 5*(-12 - -3)/(-3). Suppose 3*x = -g - 31, -g - 2*g = -3*x - k. Which is greater: n or x?
n
Let s = -211 + 214. Suppose 0*p + s*p - 156 = 0. Is p less than 52?
False
Let v be 132678/33453 - 2/(-59). Which is greater: v or 119/39?
v
Let c be (10/6240)/(2435/2434 - 1). Let d = 31/8 - c. Which is smaller: d or 0?
d
Let l = 121 + -103. Let u be (2/l)/((24/(-18))/(-2)). Which is smaller: u or 1?
u
Suppose -y = x - 4, x = -x - 5*y + 5. Suppose -5*r + 20 = 5*k, -2*r - k + 0 = -x. Is r bigger than -3/67?
True
Let f = 1273202/307 + -298448426/51269. Let k = f - -1674. Let j be ((-4)/(-6))/((-10)/(-15)). Are k and j equal?
False
Suppose -224*s + 541*s - 232*s = 85. Which is smaller: 5/2579 or s?
5/2579
Suppose 2610 = 78*p - 136*p. Which is smaller: -30 or p?
p
Suppose 3*o = -4*x - 3, 7*o - 4*o - 12 = x. Let q(j) = 1 - 33*j**o - 5*j + 30*j**3 + j**2 + 1. Let r be q(2). Is r greater than or equal to -29?
True
Let g = 131 - 123. Suppose -19*b + 11 = -g. Do 0 and b have different values?
True
Suppose 0 = 332*l - 380*l + 230832. Do l and 4808 have the same value?
False
Let t = -1.459 - -61.359. Let l = -59.716 + t. Which is smaller: l or -0.2?
-0.2
Let h = -1691 - -1681. Let k = -598/21 - -370/21. Which is smaller: k or h?
k
Let w = -119 - -158. Suppose 42*v = w*v + 27. Which is bigger: v or 15?
15
Let z = -494 - -513. Suppose 4*k + z = 3*l + 37, 2*k = -2*l - 12. Are l and 2 nonequal?
True
Let n be 2 + 3 + -4 + -62. Let m = -456 + 451. Are n and m non-equal?
True
Let x(s) = s**3 + 38*s**2 + 104*s - 26. Let a be x(-35). Suppose 4*i + 4*k = -0*k - 4, -4*k - a = -i. Which is smaller: 2/217 or i?
2/217
Let x be (8 + -16)/8*4/(-4). Is x != 1/1357?
True
Let o be 2/22 - (-300)/(-275). Let s = 725 + -59451/82. Is o at least s?
False
Let p be 10/376*5/50. Let q = 5451/376 + p. Are q and 15 unequal?
True
Let f = -8 - 8. Let h be (-38)/(-6) - f/24. Suppose 2 = 9*l - h*l. Is -2/7 smaller than l?
True
Let x = 55 - 93. Let w = 88 + x. Let j = w + -50. Which is smaller: -2/21 or j?
-2/21
Suppose -2*n - 2*y + 806 = 0, 2*n - 3*y - 57 = 774. Let a = n + -578. Let r be (-16)/40 + (-8)/a. Is 0 at most r?
False
Let p be (-2862)/(-16) + 7 + 385/(-56). Let n = p - 180. Let o = -345 - -9661/28. Which is smaller: n or o?
n
Let h be 2/20 + (594490/100 - 16). Is 5929 greater than or equal to h?
True
Suppose -4*r - 78 = 3*l, -5*l = 4*r - 18 + 100. Let p be ((-42)/r)/(10/72). Let z = p - 17. Which is smaller: 3/4 or z?
z
Let o = 107/6 + -2351/132. Let g be (-45)/(14/4 + -3). Let q = 89 + g. Is o greater than q?
True
Let u = -547 + 512. Suppose 2*t + 2*t - 3464 = 0. Let x = t - 1803/2. Which is greater: x or u?
u
Let p = -11 + -33. Suppose w + 4*a - 98 = -176, -3*w + 2*a - 122 = 0. Which is greater: w or p?
p
Let d be 75/90*(-84)/(-15)*606 - -4. Do d and 2833 have different values?
True
Suppose -5*p - 16 - 19 = 0. Let r = 13/9 - 353/45. Is p bigger than r?
False
Suppose 67*f + 672 = -49*f + 137*f. Suppose -5*h - 31 = -6. Let q = h + 6. Is q > f?
False
Let m = 9 - 10. Let y be (-586)/(-6)*10/300. Let s = y - 16/5. Does m = s?
False
Let r be (69/(-36) + 2)/1 - 267/1068. Which is smaller: 32 or r?
r
Suppose 2*q = -j - 0*q + 157, j + q = 160. Suppose -10*f + j = -687. Which is bigger: f or 83?
f
Let k = -436 + 434. Let y be -1*k/(-120) - 0/5. Which is greater: 0 or y?
0
Let z = -125090 + 125091. Let y be (-1526)/3840 + 6/15. Which is bigger: z or y?
z
Let i = -0.78 + 1. Let g = -0.32 + i. Let t = -1.438 - -0.438. Which is greater: g or t?
g
Suppose 22*w - 17*w - u + 1 = 0, -5*w - 17 = 3*u. Let f = 311/390980 + -3/692. Which is smaller: w or f?
w
Let p = 2021 + -2022. Which is smaller: p or -9?
-9
Suppose -19*l - 31 - 26 = 0. Let d be (294/(-1512))/(2/l). Which is bigger: d or -1?
d
Let c(y) = -y**3 - 12*y**2 - 16*y - 7. Let v be c(-10). Let m = v + 41. Let s = -317/10 + 53/2. Is s greater than m?
True
Let x(t) = 4*t**3 - 2*t**2 - 2*t - 1. Let w be x(-1). Let d(y) = 56*y - 64. Let q be d(20). Let r = 1059 - q. Is w not equal to r?
True
Let h be (-19)/(4/8 - -6). Let p(r) = -15*r - 18. Let c be p(-1). Are h and c non-equal?
True
Let d = -259 + 337. Let z(j) = -2*j**2 - 25*j + 1. Let u be z(-6). Which is smaller: u or d?
d
Let m = -2/511 + 3076/2555. Let x = 294 - 286. Which is smaller: x or m?
m
Let c be -1 - (-2 - (0 - 1)). Let m be (-2)/(-7) - (-123136)/(-364). Let z = -5745/17 - m. Are z and c equal?
False
Let t(f) = -6*f - 179. Suppose -163 = 8*v + 61. Let n be t(v). Is -154/13 != n?
True
Let q be 0 - -1 - ((-18)/9 - 39). Suppose -216*z = -213*z - q. Suppose 0 = h - z - 6. Is 101/5 less than h?
False
Suppose 24*p - 434 = 22. Suppose 0 = -p*y - 45 - 31. Is y e