e -6*k + 3*k = 4*p - 18, 0 = 5*k - r. Suppose -5*h - 9 = p*s, h = -5*s - 4 - 11. Are h and -0.01 equal?
False
Let d = 1518 - 1540. Let r = -28.6 + 3.6. Let c = d - r. Which is smaller: c or 1/13?
1/13
Let y = -1.03552 + 0.02632. Let z = y - -0.0092. Which is bigger: z or 0.3?
0.3
Let r be 2/(-2 + 28/(-8) - -5). Let u(d) = -3*d**3 - 13*d**2 - 1. Let w be u(r). Is -45 bigger than w?
False
Let q = -2369 - -2534. Which is greater: 143 or q?
q
Let l = -39363 + 38231. Is -1131 greater than l?
True
Let i(u) = -2*u**2 + 35*u - 12. Let k be i(17). Suppose 3*a = -f + 24, 2*f + 0*a = k*a + 59. Which is smaller: 26 or f?
26
Let y = -22 + 24. Let p be y - 3*(-3)/9. Suppose -3*l - 15 = 3*i + i, -i = p*l + 15. Is i smaller than -2/13?
False
Let m be (5/(-15)*-2)/(2/390). Let a = m + -152. Is -106/5 <= a?
False
Suppose 4*l + 19 = -4*p - 69, 0 = 4*p - l + 83. Let r be (p/6)/(6/(-12)). Which is smaller: 15 or r?
r
Let t(d) = -2*d + 9. Let f be t(4). Suppose -8*w - f = -9. Let n = 283/5 - 17268/305. Is n > w?
False
Suppose -4*r - r = -5. Let d be (26 - 15)*(-44)/(-1628). Is d at least as big as r?
False
Let t be (236/10)/((-6)/(-15)). Let j = 63 - t. Do j and -4 have different values?
True
Let a = 0.138 + -0.198. Let l = -42.94 + a. Which is smaller: 0.3 or l?
l
Let q = -3 - -3.1. Let b = 13492 - 67514/5. Is b bigger than q?
False
Let k = -10 - -10. Let o = -20 + k. Let r be (2/(-3))/((-102)/(-3060)). Are o and r unequal?
False
Suppose -99*q - 5742 = -81*q. Let j = 302/9 + -353. Let m = j - q. Is m greater than or equal to 2/5?
False
Let a = -41.48319 - 0.46581. Let y = a - 0.051. Which is smaller: 0.3 or y?
y
Suppose -5*o + 3 = 18. Let c be (-72)/48*(-1)/o*-2. Let y be (-8)/12*(-63)/c + 0. Is y bigger than 41?
True
Let i(o) = 203*o**2 + 10*o + 2. Let d be i(-1). Are d and 182 unequal?
True
Let g = 119 + -831/7. Let v(f) be the third derivative of f**5/60 + f**4/3 - 17*f**3/3 + 6*f**2 - 4*f. Let c be v(-11). Which is smaller: c or g?
c
Let b = 230 + -328. Let v = -106 - b. Which is greater: v or 6?
6
Let k be 14717/22080 + -24*(-34)/(-1224). Do k and 0 have the same value?
False
Suppose f + 22 = 2*d, -5*f - 85 = 4*d - 9*d. Let r = f + -232. Is -244 != r?
False
Let u = 130828/7 - 18680. Which is greater: -43 or u?
u
Let a(v) = -v**3 + 34*v**2 + 36*v - 12. Let q be a(35). Suppose 0 = 6*f - 28 - 2. Is q greater than f?
True
Let f be (-1 - -13)/((4 - 6)/2). Let k be 0 + f/(-21) + 2160/(-3976). Which is bigger: k or 1?
1
Let n be 548/(-14) - (-112)/98. Do -57 and n have different values?
True
Let g(x) = x**3 + x. Let b(w) = -5*w**3 - 14*w**2 - 18*w - 41. Let o(l) = -b(l) - 6*g(l). Let i be o(15). Let u = 904/3 + -305. Is i > u?
False
Suppose 2*y - 13 = -i, -485*i - 27 = -487*i - 5*y. Is i >= 128/13?
True
Let m be (35/(-10) + -2)/((-346)/(-4)). Are -1 and m non-equal?
True
Let j = 0.6 + -0.7. Let u(g) = -2*g**2 - 8*g + 52. Let c be u(-26). Let n = c - -7656/7. Which is smaller: j or n?
j
Let y(u) = 31*u**2 + 33*u - 3. Let t be y(-2). Suppose 62*c - t*c = -469. Is c less than -65?
True
Let z be (189/6)/((-1)/(-558)). Let x = z - 13516709/769. Let k = x + -32350/9997. Which is greater: k or -4?
k
Let q(n) = -n - 24. Let c be q(-12). Let d be (-1)/(-2)*(c + 22). Suppose 0 = 2*r - d - 21. Which is greater: r or 12?
r
Let v be (44/(-144))/(4*7/32). Let d = v - -1/63. Which is smaller: d or 0?
d
Suppose 0 = 5*l - 2*h - 36, -l + 5*h = -15 - 6. Suppose -4 = -c - 2*p - 0, p = -c + 2. Suppose -l*z + z = c. Does z = 16?
False
Let b(n) = -n + 28. Let w be b(13). Suppose w = -5*v + 5*g, 0*v + v = -2*g + 6. Let r be 12/(-9)*(5 + v). Which is smaller: -7 or r?
-7
Let r = -9641.1 - -8861. Let f = 780 + r. Let n be 2/76*6 + 0. Is f at least n?
False
Let d(m) = m**2 - 4*m - 7. Let s be d(5). Let y(r) = r**3 - 14*r**2 - 14*r - 16. Suppose -30 = -46*n + 44*n. Let b be y(n). Is s equal to b?
False
Suppose 4*g - 26 = 2*i, -3*i = -2*g + 15 + 4. Let s = 35 - g. Suppose -5*r - 131 = 4*o, 4*o = -0*r + 2*r + s. Is r at most as big as -22?
True
Let v be (2704/32)/((-1)/2). Is v less than -2192/13?
True
Let q = -64 - -68. Suppose -2*w = q*j - 8 - 0, 5*w + 2*j - 4 = 0. Which is bigger: 2/1121 or w?
2/1121
Let b = 6045 - 205515/34. Let h = b - 109/170. Which is smaller: h or 2/9?
h
Suppose -16*p = 52*p - 33*p - 29260. Are 835 and p equal?
False
Let b = 62 - 43. Let z be ((-1)/3)/(b/(-114)). Suppose 3*o - z*g - 3 + 17 = 0, -5*o - 17 = 3*g. Is -3 greater than or equal to o?
True
Suppose 14 = -5*n + 24. Let y be 27/27*(1 + 1)/n. Are y and -1/99 non-equal?
True
Let m = -0.3514 - -0.3018. Which is smaller: m or 2/5?
m
Let y be 1 + 4 - (6 + -2). Let w be 3 + 14/(-1 - 1). Let h be 4 + 1 + -4 + w. Which is bigger: h or y?
y
Let w be ((-51)/(-3) - 6) + -110. Let y be (-96)/(-27) - 4 - w/243. Let q = 2 - 1. Is q less than or equal to y?
False
Let i be ((66/(-4))/11)/(1/2). Let z(v) = 21*v + 3. Let u be z(i). Is u smaller than -62?
False
Let x = 14 - 7. Suppose 0 = -4*w - 3 + x. Let f be (-7)/(-7)*-4 + 4 - -3. Which is smaller: w or f?
w
Suppose -28 - 2 = -3*z. Suppose -3*i = -i + z. Let b be (3 - (2 - i)) + -4. Is -15/2 less than or equal to b?
False
Let j = 73224/133 + -10542/19. Let n(z) = 4*z - 1. Let c be n(-1). Do c and j have the same value?
False
Suppose -2 = v - 2*v. Let o be v*(-22)/4*-1. Let m = -180580 - -180579.8. Is m greater than o?
False
Let t = 292.6 - 287.6. Which is smaller: t or 21.4?
t
Let n = -0.692 - 0.108. Is n at least as big as 0.34?
False
Let q = -1320 - -2484. Is q at least as big as -2?
True
Let i = -0.1074 + -71.9926. Let o = -1171 + 1099. Let s = i - o. Which is smaller: s or -0.043?
s
Suppose -4*j = -5*j. Which is bigger: 2/2121 or j?
2/2121
Let q = -216 + 351. Let x be 10/80 + q/8. Suppose w + 4*g = 2*g + 6, -4*w + x = g. Which is greater: 3 or w?
w
Let d(z) = -8*z**2 - 15*z + 8. Let w be d(-7). Let t = w - -2513/9. Let q be ((-1)/1)/(2/(-22)). Is q less than t?
False
Let x be (-1)/2*-2*-1. Let g(a) = a**2 + 15*a + 70. Let y be g(-6). Let s be (14 - y)*1/6. Which is smaller: s or x?
x
Let q be (-67)/(14/105 - (-103)/240). Suppose -h - 4*r = -r + 110, -4*h = -2*r + 482. Let u = h - q. Which is bigger: -1 or u?
u
Let b = -86 + 89. Suppose 0 = -b*k - 3*y + 12, 2*k - y + 4 = -3. Let z be ((k/(-1))/1)/((-20)/(-8)). Do -21 and z have different values?
True
Let s = 6749/4502 - -2/2251. Which is greater: s or -20/91?
s
Suppose -5*d - 3*j + 5*j = 257, 3*d - 3*j = -156. Let o = 85 + d. Let k be 1*-1 - o/51. Is -6 smaller than k?
True
Let u(m) = -26*m - 1. Let l be u(2). Suppose -4*x - 3*y = -212, -70 - 34 = -2*x - 2*y. Let i = x + l. Which is smaller: 1 or i?
1
Let l = 62992/153 - 3698/9. Suppose i - 2*i = 0. Which is greater: l or i?
l
Suppose 117*u + 5446 = -5536 - 1186. Let a(o) = -o**2 - 105. Let v be a(0). Which is smaller: v or u?
v
Suppose -500 = 228*l - 728. Let c be 2/((-76)/(-58)) - 1. Is c bigger than l?
False
Let s be (-2 + 8)*2/(8/(-26)). Let a be -3 - -6*(-147)/24. Let j = s - a. Is j at most 2?
True
Let c = 13.035 - 431.355. Let b = c + 421. Is b less than -1/3?
False
Let n(g) = g**2 - g - 29. Let k be n(-6). Which is smaller: 74 or k?
k
Let m(k) = -5*k**3 - k**2 + 3*k - 1. Let j be m(2). Let b = j - -6. Let q(t) = 548*t + 1613. Let y be q(-3). Which is bigger: b or y?
y
Suppose 159 = -4*k + 5*x, x = -2 + 1. Let d = -39 - k. Let z = 1990/531 - 90/59. Is d >= z?
False
Let i(c) = -c**2 - 5*c + 2. Suppose 7 - 42 = 7*z. Let r be i(z). Let a be (14/(-8))/(r/(-8)). Which is greater: 1/4 or a?
a
Suppose -2*x + 4*x = -c - 3167, c = 2*x + 3161. Let p = x + 18965/12. Is -0.1 greater than or equal to p?
True
Suppose 21*k = 5673 + 8943. Which is smaller: 693 or k?
693
Let a = 11 + -53. Which is bigger: a or -79?
a
Let i = -86 + 83. Let b be -168 + i*9/27. Do b and -171 have different values?
True
Suppose -5*i = -10*i + k - 230, 3*k = -2*i - 109. Let o be 145 - 2/4*(-1 - 3). Suppose 1 - 7 = -3*v, 0 = 3*u - 3*v + o. Is u at most as big as i?
True
Let w = 7073 - 7065. Which is smaller: -315 or w?
-315
Suppose -n + 5*q - 2 = 7, 0 = 5*n - 3*q - 65. Suppose 0 = 4*p - 12*p + n. Let y be 153/(-60)*-4 - p/10. Which is bigger: y or -2?
y
Let r be 7/(-33 + 19) + ((-406)/(-5) - 0). Is r equal to 80?
False
Let p(x) = -x**2 - 40*x - 112. Let w be p(-37). Let a = w + 192. Is a less than 191?
F