 Let o = -923/19762 + u. Let r(d) = -d**3 + 5*d**2 + d - 4. Let q be r(5). Which is smaller: q or o?
o
Let o = -7 - -6.91. Let z = o - 3.91. Which is smaller: z or -0.1?
z
Suppose 7*s = 8*s. Is s <= -10/29?
False
Let s(n) = n**2 - 5*n - 8. Let o be s(7). Do o and 6 have the same value?
True
Let b(n) = n**3 - 6*n**2 + 8*n - 6. Let u be b(5). Let y = u - 13. Is -5 <= y?
True
Suppose n + 14 = -n. Let y = n - -6. Let u be y/(-2) + (-14)/20. Which is smaller: u or -1?
-1
Let s = -24.95 + 25. Which is greater: s or 2?
2
Let i = -28 + 30. Let h be 11 - (4/i + -6). Is h at least as big as 14?
True
Let o = 0.32 - 0.32. Suppose -3*j = -j - 4. Let a be (j/12)/(2/6). Which is smaller: a or o?
o
Let v = 51 + -36. Let p be ((-9)/v)/((-2)/(-10)). Which is bigger: p or -1/3?
-1/3
Suppose -52 = -7*i + 53. Is 65/4 at most i?
False
Let q = -0.57 + 3.57. Let f = -12/35 - 2/35. Is f less than or equal to q?
True
Suppose -t = 5 - 3. Let n(f) = -f**2 + 15*f - 1. Let v be n(15). Is v bigger than t?
True
Suppose 5*o - 5*y - 40 = 0, 0 = -2*o - 4*y - 0*y - 8. Let j = 5 - o. Is -1 less than j?
True
Let c = 9 - 10. Is -2 less than or equal to c?
True
Let z = 4 - -1. Suppose z*o = 2*o + 6. Let n be 30/(-9)*3/o. Are -5 and n equal?
True
Let t be (-1)/(-4)*2/12. Which is smaller: t or -1?
-1
Let s = -2 - -2.1. Which is greater: -7 or s?
s
Let s be (-462)/(-4) + -1 + (-95)/(-190). Is s at least as big as 116?
False
Let n be (0 + (5 - 3))/(14/55). Which is greater: n or 8?
8
Let v = 14 + -12. Is v not equal to 2/7?
True
Let j be 8/(-12)*18/(-4). Let z be (12/(-88))/(j/(-32)). Let u = z - 171/110. Is 1 bigger than u?
True
Let c(p) = p**3 - 7*p**2 + p. Let j = -12 - -19. Let v be c(j). Suppose 5*h + v = 2. Are 1/4 and h equal?
False
Let x be 1*(2 + (-118)/58). Let s(p) = 3*p + 14. Let k be s(-5). Are x and k equal?
False
Let y be -1 - (2/1 + 2). Let d be (3/y)/((-6)/(-15)). Which is smaller: -2 or d?
-2
Let n = 7.1 - 15. Let q = -8 - n. Let o = 1/125 - 76/125. Is o bigger than q?
False
Suppose -17 = 3*d - 8. Let y = d + 4. Which is smaller: -3 or y?
-3
Let f = 0 + -3. Let i = -0.6 - -0.5. Is f at most i?
True
Suppose 13*a + 99 = 10*a. Does a = -33?
True
Let a = 178 + -172. Which is greater: 1 or a?
a
Let d(m) = -m**2 - 7*m - 3. Let b be d(-5). Let u be (-90)/20*8/(-6). Which is smaller: u or b?
u
Let d = 65 + -197/3. Is d less than -1?
False
Let p = -3/23 - -35/92. Is p bigger than -7?
True
Let o = 86 - 86.14. Are -0.2 and o non-equal?
True
Let i = -4.02 - -4. Let l = -0.06 - i. Let v = l - 0.16. Which is smaller: v or 2?
v
Let t be (-2)/16*12/6. Suppose w - 2 = -w. Let i be (-2 + -1)*w/3. Is i smaller than t?
True
Let m = -1 - -3. Let o be (-3)/(-2 - 7)*3. Suppose -i = -o + m. Is i less than or equal to 1/7?
True
Let i be ((-4)/(-9))/(228/(-18)*-1). Which is greater: i or -1?
i
Let m = 1 - 0.6. Let t = m + -0.1. Let o = t + -0.3. Is o not equal to 4?
True
Let s = 3/176 - -1569/880. Which is bigger: s or 2?
2
Let q(n) = 2*n + 7. Let r be q(0). Is r at most as big as 7?
True
Suppose -3*o + 4*o - 3 = 4*f, 0 = 4*f - 4*o + 12. Which is greater: f or -2/27?
f
Let u be 1/4 + (-1710)/7160. Which is smaller: 1 or u?
u
Let v = 21 - 62/3. Are 1 and v nonequal?
True
Let w = 0.35 - 0.3. Let i = -0.05 + w. Let u = -1 + 1. Is u at least i?
True
Let i = -6 - -7. Let p be 1 + -1 + i/3. Suppose 6*q = q. Which is smaller: p or q?
q
Let p(l) = -l**2 - 4*l. Let i be p(-3). Let b be (2/((-4)/3))/i. Is -2 at most as big as b?
True
Let p be (-21)/(-14)*116/6. Is p at most as big as 29?
True
Let c(k) = -k**3 - 5*k**2 + 2*k - 2. Let b be c(-5). Let i be (1/(-3))/((-46)/b). Let g = i - 19/46. Which is smaller: g or -2?
-2
Let i = -7 - -1. Let o = 6 + i. Let c = o - 4. Which is smaller: c or -3?
c
Let z be (-220)/5 - (4 + 0). Which is greater: -50 or z?
z
Suppose -o + 2*f + 20 = -f, 4*f + 89 = 5*o. Is o <= 18?
True
Let u(y) = -10*y - 3*y + 4*y. Let n be u(1). Let a be 6/n*(-3)/(-4). Is 0 > a?
True
Suppose -8*a = -4*a + 2*f + 6, -4*f = 5*a + 9. Which is smaller: 4/49 or a?
a
Suppose 0 = -u - 3*u. Suppose -b + 5 = h, 3*b - 21 = -u*h - 5*h. Let y = 1 + -0.9. Which is smaller: b or y?
y
Let a = 0 + 0.2. Let g = -2.723 + -0.277. Which is smaller: g or a?
g
Suppose -t = -3*d - 3, -d = -3*t + 2*d + 27. Let b(o) = -o + 13. Let v be b(0). Which is smaller: v or t?
t
Let v be (-4)/((-12)/21) - 0. Let p be (-7)/3*(-262)/v. Let x = p - 86. Is 0.2 > x?
False
Let v = -0.04 - -0.06. Let a = v + -2.02. Is a > 0.4?
False
Let w = 7/51 + -389/2091. Which is greater: w or -1?
w
Let w be 2/5 - (-51)/(-15). Let b be (0 - (1 - 1))/1. Let h = -3 + b. Is w bigger than h?
False
Let b = 8 - 2. Let r = 8 - b. Is 2 bigger than r?
False
Let k = 12 - 13. Is 7/2 at least as big as k?
True
Let m(u) = -2*u**2 - 1. Let r = 3 + 1. Suppose c = -3*c - r. Let w be m(c). Is -3 >= w?
True
Suppose 38 = -5*t + 2*n, -28 = 3*t - 2*n + 6*n. Is -6 equal to t?
False
Let r = 9 - 10. Let z be r*(-9)/15*-1. Which is greater: z or 1/2?
1/2
Let f be (0/5)/((3 - 2)/(-1)). Let x = -159301/44 - -3620. Let u = 8/11 + x. Which is bigger: f or u?
u
Let x be (1/2)/((-2)/(-4)). Are x and -3 non-equal?
True
Let l be (-2 + 30/21)*1. Let p = 47/98 - -1/49. Is l greater than p?
False
Let c = -13 - -29. Let y = c + -18. Is y >= -1/8?
False
Let u be 64/72 + 1 + -1. Let w = 14/9 - u. Let l = -3 - -2.9. Is l < w?
True
Let k(o) = -o**3 + 5*o**2 - 10*o + 10. Let h be k(3). Which is smaller: h or 0?
h
Let j(i) = -29*i - i**2 - 1 + 0*i**2 + 26*i. Let h be j(-3). Which is smaller: 1/11 or h?
h
Let m(q) = -q + 25. Let i be m(26). Which is smaller: -1/6 or i?
i
Let s = 53 - 52.9. Is 3/19 at most s?
False
Let u be 2/(-3) + (-114)/(-9). Let m = u - 11. Is 2 equal to m?
False
Let f = 11 - 13.8. Let h = f + 3. Let q(s) = -2*s**2 + s. Let o be q(1). Are h and o equal?
False
Let y be -3 - -4 - (-1 - 0). Let c be (-30)/(-5)*1/y. Is 2 greater than or equal to c?
False
Let d be -3*(-1 + 0)*1. Suppose 3*r = -0*r + d. Which is greater: 0 or r?
r
Let o = -3 - -3. Let t(c) = c**2 + 5*c + 2. Let u be t(-5). Suppose u*f = f. Is f greater than or equal to o?
True
Let s(j) = -3*j**2 - 10*j - 11. Let u(z) = -4*z**2 - 15*z - 16. Let a(b) = -7*s(b) + 5*u(b). Let t be a(6). Is t at most as big as 2?
False
Suppose 0 = 2*f - 16 - 8. Let u = -6 - -8. Suppose 0*p + u*p + 12 = -4*g, 0 = 4*p + 4*g + f. Is p less than or equal to -0.3?
False
Suppose -t = 3*t - 20. Let u be ((-3)/(0 - 3))/(-1). Which is smaller: u or t?
u
Suppose -3 - 10 = 5*g - 3*t, -5*t = 4*g + 40. Which is bigger: g or -7?
g
Let g be (-1937588)/(-5715684) + 2/6. Let s = 4/109917 + g. Let j = s - 14/27. Is j greater than 1?
False
Suppose 25 - 21 = -4*v, 5*q + 2*v + 52 = 0. Do -53/5 and q have the same value?
False
Let j = 30 - 269/9. Which is smaller: 2/19 or j?
2/19
Let f = -6 - -5. Let u be -3 - -3*(-21)/(-24). Which is greater: u or f?
u
Let g be 1 - (-186)/39 - 5. Is g greater than or equal to 2?
False
Suppose -2*r + 3*r = -4. Let a(x) = -2*x**2 - 6*x - 3. Let w be a(r). Is -11 < w?
False
Let n = 2.42 - 1.22. Which is greater: n or -1/2?
n
Let s = 2.4 - 0.4. Let m = s + -6. Let h = m - -5. Is h smaller than 1?
False
Suppose 9 = -2*b - 3*m, 4*b + 2*m - m = -3. Is b smaller than -2?
False
Suppose 2*b + 2 = -0*b. Let u = -7 + 9. Which is bigger: u or b?
u
Suppose -15 = d - 3*m, -d = -2*m + 8 + 2. Suppose 0 = x + 4 - 5. Let k = x + d. Which is greater: 0 or k?
k
Suppose 0 = -3*s - g + 185, -3*s + 0*s = -2*g - 197. Is 62 smaller than s?
True
Let z = -5 + 10. Let f be (-3)/(2*z/(-2)). Are 0 and f non-equal?
True
Let l = -1 - 1. Let i(y) = 123*y**3 - y. Let o be i(-1). Let j = o + 362/3. Is l <= j?
True
Let c = 47 + -56. Which is smaller: c or -10?
-10
Let i(k) be the third derivative of -k**6/120 + k**5/20 - k**4/12 + k**3/2 + k**2. Let x be i(2). Which is bigger: -2 or x?
x
Let h = -5 - -9. Suppose 3*n = 16 - h. Suppose n*k + k = 0. Which is greater: -2/7 or k?
k
Suppose 5*w - 4 = 21. Let p(i) = -i - 6. Let t be p(-10). Which is smaller: w or t?
t
Let g be ((-2)/4)/(12/24). Which is greater: g or 0?
0
Suppose -5*d - 25 = -0*l + 3*l, 3*d + l + 15 = 0. Let x(g) = -g - 7. Let w be x(d). Do -3 and w have different values?
True
Let m(b) = -b**2 - 7*b + 1. Suppose y + 5*i = -3*y - 13, 2*y + 11 = -i. Let l be m(y). Which is greater: 0 or l?
l