 11 = -5*l. Let q = l - 1. Let v = -496/5 + 100. Is q smaller than v?
False
Let y(r) = -r - 11. Let n be y(-4). Are -7 and n unequal?
False
Let s be -3*(-6)/9 + -2. Let c = -1/5 + -1/20. Which is bigger: s or c?
s
Suppose 4*x + 4*b = -0*b + 24, 4*x - 30 = -b. Let g = x + -6. Is g < 2?
False
Suppose -10 - 10 = -10*c. Are 2 and c equal?
True
Suppose -5*q + 134 - 29 = 0. Let f = -13 + q. Let p be (-27)/(-12) + (-2)/f. Which is bigger: 1 or p?
p
Let q = -54 - -55. Which is bigger: 6/25 or q?
q
Let c be -9 - -10 - (-1 - 11). Which is smaller: c or 12?
12
Let l = 0.02 - -7.98. Let r = 8 - l. Is r bigger than 2?
False
Suppose -2*d - 17 + 3 = 0. Does d = -7?
True
Suppose 0 = -3*p + p + 52. Let x be p/(-40) + 2/8. Suppose -2*d + 5*d = 0. Which is bigger: x or d?
d
Suppose -2*i + 3*s = 25, 2*i - s - 3*s = -30. Let j(q) be the third derivative of -q**6/60 + q**5/30 + q**4/12 - q**2. Let d be j(2). Which is smaller: i or d?
i
Let s = 0 - -2. Let w = s + 2. Let a = w + -4. Is -1 greater than a?
False
Let d be 6/3*2/(-10). Let r = -0.3 - -0.2. Let g = r - -0.2. Is d < g?
True
Let f be (-2)/7 - (-46)/14. Let l(p) = p**3 - 4*p**2 - 4*p. Let z be l(5). Suppose -u - 2*d = -4*u, d - 13 = -z*u. Is f equal to u?
False
Let n = 141 + -139. Is 3/4 less than n?
True
Let f = -16 + 14. Let m = -7 - f. Are -6 and m nonequal?
True
Let g = -441/46 - -19/2. Is 0 < g?
False
Let l be -1 - (-2*3 + -2). Let y be 1/(((-5)/l)/(-5)). Is y at most as big as 7?
True
Let j(p) = p - 1. Let m(c) = -2*c**2 - 3*c + 5. Let v(f) = -3*j(f) - m(f). Let s be v(4). Let r be (-3 - s/(-8))*4. Which is bigger: r or 2?
r
Let c be 1 + 0 + (-1)/(194/190). Is c equal to -1?
False
Suppose 13*l - 9*l = 160. Is l greater than or equal to 41?
False
Let c be -1*(-7 + 1 - -2). Suppose -c = -0*q - 4*q. Let n be (-5)/(-2)*6/15. Is q less than or equal to n?
True
Let m = -451 + 2267/5. Which is smaller: m or 3?
m
Let r = 3461/1060 + -4/265. Which is bigger: 2 or r?
r
Let h be ((-3)/(-4))/((-13)/52). Is h != -3?
False
Suppose -5 = i - 1. Let j be (-8)/7*91/26. Is i less than j?
False
Suppose 0 = 3*a + 5*r - 9 + 1, 2*a + 4*r - 6 = 0. Are a and -16 equal?
False
Let n(h) = -h. Let o(v) = -v**2 - 6*v + 1. Let p(s) = -5*n(s) + o(s). Let k be p(0). Suppose 5*u - k = 14. Is 2 less than u?
True
Let k(o) = -o**3 - 11*o**2 - 9*o + 12. Let x be k(-8). Which is greater: -107 or x?
-107
Let w be (-30)/4*((-36)/40 + 1). Suppose -4*q - 2*o - 8 - 6 = 0, 4*q = 3*o + 1. Which is smaller: q or w?
q
Let z = -0.92 - -0.9. Which is smaller: z or 1/4?
z
Let o be (168/2)/((-4 - -1) + 4). Which is smaller: 85 or o?
o
Let j be 38/168 + (-18)/(-72). Let v be -1 - 0 - (-394)/210. Let l = j - v. Is l at most 1?
True
Let j = -0.2 + 1.2. Let s = 0.06 - -0.34. Let l = s - 0.2. Which is smaller: l or j?
l
Suppose -5*a = -0*a - 105. Is 22 greater than or equal to a?
True
Let k(v) = -1. Let z(t) = -t**2 + 6*t - 4. Let j(o) = k(o) + z(o). Let f be j(6). Let q be ((-2)/(-4))/(f/4). Which is greater: q or -1?
q
Let r = -11 + 16. Suppose -r*j + 5*m = -0*j - 50, -5*m = 2*j + 1. Let o = 8 - j. Which is greater: 1/2 or o?
o
Let z = 595/4 - 149. Is 1/3 less than z?
False
Let a be 45/18*12/10. Which is greater: a or -0.1?
a
Let u = 0.262 - 0.062. Is -1 greater than u?
False
Let y = -4 - -3. Let p = 23.535 + 0.425. Let n = p - 24. Which is greater: n or y?
n
Let f = -49 + 533/11. Which is bigger: f or -2/3?
f
Let p(g) = -5*g - 4*g**2 + 4*g + 3*g**2. Let c be p(-1). Let r(t) = t**3 + 7*t**2 + 4*t - 14. Let q be r(-6). Is c less than q?
False
Let k(p) = p**2 - p - 1. Let f(x) = 2*x + 3. Let n be f(-4). Let u(r) = r**2 + 4*r - 5. Let h be u(n). Let s be k(h). Is 1/3 bigger than s?
True
Let z = -160 - -3359/21. Which is smaller: 0 or z?
z
Suppose -1 - 3 = -v. Which is smaller: v or 3?
3
Suppose 3*a + 19 = -4*u, -a - 2*u + u = 5. Let l = -1009/2 - -5727/10. Let v = l + -68. Is v not equal to a?
True
Suppose p = 5*f + 124, 528 = 19*p - 14*p - 2*f. Which is smaller: p or 2/7?
2/7
Let k = -2 + 0. Is k at most -0.27?
True
Let b be 3*(-6)/198*(2 - 0). Is 1 smaller than b?
False
Let j = -0.7 - -0.6. Let o = j - 0.5. Let s = 0.4 - o. Which is bigger: -4/7 or s?
s
Let o be 3*(-5 - (-144)/27). Let j = -362 + 6152/17. Which is bigger: j or o?
o
Let a be 6/63*(-6)/2. Let b(n) = -n**2 + 9*n - 9. Let l be b(8). Which is smaller: a or l?
l
Let d = 0 + -1. Let l be (2 - 3)*3 + d. Let p be (-1 + 5)*6/(-8). Which is smaller: l or p?
l
Let x(z) = -z**2 - 5*z + 1. Let g be x(-4). Suppose -4*p + p - 2*b = 3, -5*p = -3*b + g. Let t be p/(-7) + 0 + 0. Which is smaller: 0 or t?
0
Suppose 2*u + 16 = 5*v, u = v + 2*v - 9. Let a be ((-87)/(-15) - v) + -4. Suppose -t - 13 = -3*w, 0 = 2*w - 3 - 5. Which is smaller: a or t?
t
Let g(w) = w**3 + 6*w**2 + w + 5. Let m be g(-6). Let o be (-330)/(-27) + 1/3. Let p = o - 37/3. Which is greater: m or p?
p
Let t = 3297643602/205 - 16086110. Let j = t - -218/5. Let n = j - 60/451. Which is smaller: n or -1?
-1
Let r(g) = g + 31. Let y be r(4). Which is greater: -2 or y?
y
Suppose 3*o + 2*k = -15, o + 5*k = 6*k. Let b = 4 + o. Which is bigger: b or -1/6?
b
Let j(n) = -4*n + n**2 + 3 - 4 + 3*n. Let v be j(2). Let l = 1307/28 - 185/4. Is l bigger than v?
False
Let i = 5 + -2. Suppose 0 = -2*a + i*a. Suppose 0 = 3*v - w + 7, 1 = 3*v + w - a*w. Do v and -1/2 have the same value?
False
Let q(i) = -i**3 - 30*i**2 - 28*i + 43. Let r be q(-29). Is 16 bigger than r?
True
Let d = -12 - -19. Let i = -6.9 + d. Is 0.03 at least i?
False
Let m be 15/(-6)*(-12)/(-10). Let c be 2/4 + 1*-1. Which is bigger: c or m?
c
Let r be (-7)/((-7)/(-2)) + 7. Suppose -1 = 5*a + w, 3*a + r*w = -5 - 0. Let v be (-1)/((1 + 1)*1). Is a greater than or equal to v?
True
Suppose 0 = -4*k - 5*t - 23, 3*k + 16 = -5*t. Let m = k + 6. Let s be (7 + m)/(-2 - 0). Is s equal to -1?
False
Suppose 14 = 4*t + 10. Is -2 > t?
False
Let d = -5 - -3. Let i be d + 0 - (3 + -6). Does i = 2?
False
Suppose -4*n = 4*s - 3*n + 18, 4*n = 3*s + 4. Which is smaller: -19/5 or s?
s
Let y(v) = -v + 3. Let h be y(0). Let d = 3 + -3. Let c = h - d. Is 3 greater than or equal to c?
True
Let i = 799/455 - -4/91. Does 1 = i?
False
Let d be 8/38*(-1)/2. Let r(i) = -2*i + 8. Let m be r(6). Let u be m/18 + (-2)/(-9). Is d at most u?
True
Let y = 0.04 + 7.96. Let i = y + -5. Let q be 14/18 - (-8)/36. Is i greater than q?
True
Let q(r) = -2*r**2 - 2*r + 1. Let a be q(-4). Let l be a - (0 + (-3)/3). Is l at least as big as -23?
True
Let w = 139 - 141. Is w greater than 32?
False
Suppose 4*w - w + 30 = 0. Let q = w - -5. Are -3 and q unequal?
True
Let o(z) = -z**2 - 13*z - 6. Let l be o(-12). Is l at most as big as 2?
False
Let v be ((-32)/120)/((-2)/(-5)). Is 6 >= v?
True
Let y(u) = -u**2 + 2*u - 2. Let l be y(0). Is l at least as big as -3?
True
Let h = 154/5 + -2921/95. Which is bigger: 0 or h?
h
Suppose 0 = -5*b - 2*c + 110 - 333, 0 = b + 2*c + 51. Which is smaller: b or -42?
b
Let s = 28 - 26.3. Let o = -1.8 + s. Is o at least as big as -0.05?
False
Let u be 6/(-2)*(-14)/105. Let i be (-1)/(-1*(-3)/9). Let g be i + 1 + (-2)/(-1). Is u smaller than g?
False
Let f be (-1 - 1) + 138/4. Let i = f - 33. Does -2 = i?
False
Suppose 2*t + 160 = -3*t - 2*w, -3*t = -4*w + 70. Let b be (4/(-10))/(3/t). Is 4 > b?
False
Let j = 17 - 17. Let z(f) = -f**3 + f**2 - 2. Let a be z(0). Let g be (-19)/(-45) - a/(-9). Are j and g equal?
False
Suppose -6*s = -2*s - 20. Suppose s*u - 39 = y, y = -2*u - 2*u + 33. Let r(l) = l**3 - 8*l**2 - l + 11. Let p be r(u). Is 5/3 greater than p?
False
Let i = 71/3 + -23. Is -15/11 not equal to i?
True
Let x = 12.3 - 0.3. Which is smaller: -0.2 or x?
-0.2
Let t = 30 + -32. Suppose y - 2*y = 0. Suppose -2 = 2*h - y. Is h < t?
False
Let r be -12 - (-1)/(1 - 2). Let h = -8 - r. Are h and 5 equal?
True
Suppose 3*v - 7*v + 8 = 0. Let u = 7 - v. Suppose 0 = -5*j - 2*p + 40, p - 14 = j - 3*p. Which is smaller: u or j?
u
Suppose 6*y - 4*y + 4 = 0. Let l be y/5 - 392/(-1155). Is 0 < l?
False
Suppose -3*r = 8 - 2. Let m = -2 + 2. Let v be m/r + 9/(-6). Is v greater than or equal to 1/4?
False
Let d(b) = -7*b - 18. Let s be d(-3). Which is smaller: s or 2/19?
2/19
Suppose -2*f + 4*f = 2. Let x be 1/f + 6/(-8). Which is greater: 1 or x?
1
Let g = 252 + -2270/9. Which is smaller: -7 or g?
-7
Let b = -31 + 53