 m**2 - m + 9. Let v be q(-8). Is v at most as big as 80?
False
Let r = -25 - -25. Is r <= 6/7?
True
Suppose -2*m - 6 - 8 = 4*s, -4*m = -4*s + 4. Let n = -3 - s. Let w = n - 0. Which is bigger: w or -4/3?
w
Suppose 4*j + 3*k = 12, 0 = j - 6*j - 3*k + 12. Suppose 0 = -j*l + l - 3. Suppose l*b + 7 + 5 = 0. Do b and -5 have different values?
True
Let l = -20 - -14. Let c be 2/(-6) + l/9. Is -2 smaller than c?
True
Let t be -2 - 3 - 2 - -1. Let h be t/15 - 74/(-60). Which is smaller: 1 or h?
h
Let v be 4/6*12/(-8). Suppose 30 = 3*o + 2*o. Suppose -5*g + 4*z - o = 0, 3 = -3*g + z - 2. Is v < g?
False
Let k = -1 + 1. Let d(o) = -o + 3. Let i be d(-4). Which is bigger: k or i?
i
Let d = 8 + -6. Are 5 and d nonequal?
True
Let n = -476 - -9998/21. Let h(a) = a + 12. Let o be h(-10). Suppose 5*y + o = 3*y. Which is greater: n or y?
n
Let v = -3 + 6. Let i = v - 3. Which is bigger: i or 0.4?
0.4
Let d = -949/186 - -31/6. Suppose 2 - 6 = 2*l - 4*p, 3 = 2*l + 3*p. Is d smaller than l?
False
Let f = -5.9 - -6. Let d = -5 + 7. Which is smaller: d or f?
f
Let j = 33 + -23. Suppose j*r - 5*r - 5 = 0. Is -1/8 greater than r?
False
Suppose -6*d + 100 = -4*l - 2*d, -2*l = d + 41. Is l != -23?
True
Let l be (-3)/(-18) + 2 + -3. Is -1 < l?
True
Suppose 47 = 2*w + l, -4*w = l - 63 - 28. Let t = 31 - w. Let i = 62/7 - t. Which is smaller: -0.1 or i?
i
Let s(q) = -q + 10. Let l be s(10). Let n = -1 + l. Let c = 84.2 - 84. Which is greater: n or c?
c
Let s = 165 - 105. Which is smaller: s or 61?
s
Let z(j) = j**3 - 2*j**2 - 3*j + 3. Let v be z(4). Which is smaller: v or 22?
22
Let f be -1 - ((-10)/(-6) - -2). Let s = -1541/366 - -8/183. Let m = s - f. Is m at least as big as 1?
False
Let c = -0.7 + 0.6. Which is smaller: 27 or c?
c
Let p = 154 - 294. Which is bigger: -141 or p?
p
Let k = 0 + -6. Let z be (-20)/k - 5/15. Suppose z*n - j = -0*j - 5, -5*n = j + 19. Which is bigger: n or -1/4?
-1/4
Let m(y) = y**2 + 8*y + 4. Let p be m(-6). Is -3 at least as big as p?
True
Let j = 10 + -9. Is 4/3 at most j?
False
Let a = -0.6 + 1.6. Let t = a + -1. Which is bigger: -1 or t?
t
Let t = 9 + -6. Let q = -1.15 - -0.15. Is q bigger than t?
False
Suppose -8 + 2 = -2*y. Is 2 at least y?
False
Suppose 2*z = -2*z + 96. Suppose 4*s = 124 - z. Suppose 3*y = y - 3*o + s, 5 = o. Is 4 smaller than y?
True
Let u = 82 - 412/5. Is -1 greater than or equal to u?
False
Let f = 1 + -0.99. Let l = -1.01 + f. Which is bigger: l or 1/3?
1/3
Let c = -3 - -5. Let j be -5*c/14 + 1. Is j at least -3?
True
Suppose 5*k + 193 - 13 = 4*n, 3*n + 5*k - 100 = 0. Which is bigger: n or 0.1?
n
Let h = -49/3 - -242/15. Do 0 and h have the same value?
False
Suppose 2*h = -2*v + 32, -v + 0*v - 3*h = -18. Suppose 4*w = w - v. Which is greater: -4 or w?
-4
Let o = -4 - -4. Let b = -16.8 + 17. Are b and o unequal?
True
Let b be ((-39)/18 + 2)*1. Let d = 1/6 - b. Which is smaller: -1 or d?
-1
Suppose -4*a = -a. Suppose -5*c + 5 + a = 0. Let z be 13/(-9) - (c - 2). Which is smaller: 0 or z?
z
Let y be (-132)/108 + 4/18. Is y <= 1/37?
True
Suppose h + 0*h = 0. Suppose 0*y + 4*y + 12 = h. Suppose -2*d + 2 - 6 = 0. Are d and y unequal?
True
Let o = -8 - -4. Let u be (-18)/10 - o/(-20). Is 1 <= u?
False
Suppose 7*q - 3*q = 24. Let p be (q/(-15))/(12/(-30)). Let x be (-34)/72 + (-1)/(-4). Which is greater: p or x?
p
Suppose -6*f - 152 = -14*f. Is 18 greater than or equal to f?
False
Let b = 96107/5 + -19342. Let h = b - -121. Which is smaller: -0.1 or h?
-0.1
Let f(d) = -d - 9. Let h be f(-7). Let j be h/10 + 3/(-15). Which is bigger: 2/17 or j?
2/17
Suppose c + 3*n + 5 = 0, c - n = 4*n + 11. Let v be 1/(0 - 0 - -1). Suppose 2 + v = -3*y. Which is smaller: y or c?
y
Suppose -q = 4*r + 2*q - 43, 4*q - 54 = -5*r. Suppose -5*g + 0*g = r. Is -2 <= g?
True
Let l = -68 + 73. Is 4 at least as big as l?
False
Let q = -189 + 189.1. Which is greater: -0.69 or q?
q
Let t = 248/225 + -22/25. Is t less than or equal to 0?
False
Let d(n) = -n**3 + 3*n**2 + 2*n - 2. Let p be d(2). Suppose s - p = 3*s. Which is bigger: -1 or s?
-1
Let f = -2.11 - -0.11. Does -0.4 = f?
False
Let o = 800453/765 - -9368/85. Let q = 1155 - o. Let n = q + 17/9. Is n not equal to 0?
True
Let x(b) = -b**2 + b + 3. Let j be x(0). Let z be 3 - j/4*4. Let h be (-2)/(-33)*(4 + -1). Which is bigger: h or z?
h
Let o = 1 - 1.04. Let b = o - 1.96. Let m = 4 - 3. Is b less than m?
True
Suppose 5*r + 1 = 21. Suppose 3*h = r*h. Let o = -48 + 241/5. Are h and o unequal?
True
Let i = -95 + 97. Suppose 3 = 3*n - 12. Suppose 2 = -3*q + n. Is q at least i?
False
Let i = -1.2 + 0.2. Let k = -4 - 3. Let b = k + 10. Is b bigger than i?
True
Let q be 1 - (-24)/33 - 3. Is 0 not equal to q?
True
Let n = -84.066 + 84. Is -2/3 > n?
False
Let i be 0 - (-1 - 10 - -3). Do 8 and i have different values?
False
Let p be -12 - 0 - 1 - 3. Let n = p - -34. Let i be (-1)/18 + 4/n. Which is bigger: i or -1?
i
Let j(v) = -v**2 - 13*v - 12. Let f be j(-9). Suppose -f = 4*s - 0*s. Let l be (10/6)/(-5)*s. Which is smaller: -1 or l?
-1
Let q be (0 - (4 + -4))/(-3). Are 1/37 and q equal?
False
Let k(t) = t. Let l be k(-2). Let m = 0.04 - 0.04. Is m at least as big as l?
True
Let s = 0.7 - 0.8. Let l be (-1)/1 + (-12)/(-20). Is s <= l?
False
Let w(r) = r - 5. Let j = 11 + -2. Let y be w(j). Suppose -y*o = o. Is 1/7 at most o?
False
Let g be (-14)/((3/(-3))/(-2)). Let c = -19 - g. Suppose 0 = -3*q + c, -2*f = -f + 4*q - 12. Which is smaller: 2 or f?
f
Suppose -t - 7 = 3*t + 3*p, 0 = -3*t + 3*p. Let k be (-3)/(-1 + 4)*t. Let q be (0 - 0 - -2) + k. Is q != 3?
False
Let v be (-1)/(4 + 21/(-6)). Is 1 greater than or equal to v?
True
Let t be 0/(-3) + 0 + 0. Let g be (t - -1) + 4/4. Suppose 0 = -g*k + k. Does -2/15 = k?
False
Suppose 3*k - 3*f = -54, 8*f - 3*f - 48 = 2*k. Let s be (-4)/k + (-102)/210. Which is smaller: 1 or s?
s
Let r = -69 + 151. Which is bigger: r or 81?
r
Let g be 2/(-25)*((-30)/2 + 0). Let s be 4 + (-6 - (2 - 5)). Which is greater: s or g?
g
Let m be 20/(-255)*(-9)/(-114). Which is bigger: 0 or m?
0
Suppose 0 = -5*m + 2*m. Let c(d) = 7*d**2 - 1. Let q be c(-1). Let p be (-3)/(-5) + q/15. Which is smaller: m or p?
m
Suppose 0 = -5*k + 166 - 6. Suppose -4*f = -96 + k. Let p = f - 35/2. Which is smaller: p or -3?
-3
Let h = 114 - 62. Suppose 0 = 4*z - 0*z - h. Which is greater: z or 12?
z
Let d = 49 + -48. Is d less than or equal to 0.17?
False
Let u = -31 - -29. Which is bigger: -17/5 or u?
u
Let r(s) be the second derivative of s**4/12 - 7*s**3/6 + s**2/2 + 2*s. Let l be r(7). Suppose z + 3*c + 13 = -0*c, -2*z - c = 1. Which is smaller: l or z?
l
Suppose 10 = -4*l - 2. Let z = l - -5. Is 0 < z?
True
Suppose -a + 8 = s, -a - 4*s + 8 = -12. Suppose h = a*h. Let m be 4/1 - (-100)/(-24). Which is bigger: m or h?
h
Let v(z) = -z**2 + 5*z - 7. Let c be v(5). Are -5 and c unequal?
True
Suppose 4*g + v = -0*v + 49, -4*v = 5*g - 53. Let a = 10 - g. Which is smaller: -2 or a?
a
Let v be ((-3)/(-2))/(35/(-14)). Let t be 10/8 - (-1 + 3). Are t and v nonequal?
True
Let k = 11 - 21. Suppose -2*m + r - 14 = -3*r, -3*r = -2*m - 16. Are k and m nonequal?
True
Let v = 83 - 77. Which is smaller: 5 or v?
5
Let x = 3797/18 - 211. Let d = -1 - -1. Which is greater: d or x?
d
Let k = 28 - 20. Which is greater: k or 6?
k
Let p = 66 + -66. Which is smaller: p or 3?
p
Let v = 2.3 + -0.3. Is v less than or equal to -7?
False
Let u be (-10)/25*(2 + 298/(-154)). Are 0 and u equal?
False
Suppose 4*a + 0 - 4 = 0. Let s be (2/4)/(a/2). Suppose -5 = -3*n + s. Is 2 at least n?
True
Suppose 0*n + 2*n + 2*i - 8 = 0, 5*n - 2*i - 6 = 0. Suppose n*q + 0 - 4 = 0. Let l(t) = 2*t - 8. Let g be l(6). Is q at least g?
False
Let h be ((-3)/2)/((-6)/48). Is h != 12?
False
Suppose 2*o + 0*n - 47 = -n, 2*o - 3*n - 27 = 0. Let v be (27 + 0)/3 + -3. Suppose 3*p + o = -q + v*q, -p + 4 = 2*q. Is -1 != p?
True
Let c be 1 + (-501)/83*8/48. Is c <= -1?
False
Let a = 729 - 273. Let w = a + -2289/5. Is w < -3?
False
Let f be 0/(1/(-4)*-4). Which is greater: -4 or f?
f
Suppose -w + 2*w = -1. Suppose 4*m + 7 = -3*r - 13, -5*r - 4*m = 20. Which is bigger: w or r?
r
Let k(u) = u**2 - 6*u - 6. Suppose 3*w - 5 = -4*g + 20, 4*w + 18 = 2*g. Let j be k(g). Let c be j/(-3)*5 + 2. Do c and -2/13 have the same value?
False
Suppose -h - 1 = -2. Let a be