 + 407 = -3*z + 59. Is -120 at most z?
True
Suppose 238*t - 242*t - 16 = 0. Which is smaller: -98/31 or t?
t
Suppose 26381 = -15*i + 46*i. Is i at most 851?
True
Let f be (-3075)/20 - (4 - (0 - -4)). Let w = f - -153. Let c be -1 - (-1 + 4/2). Which is smaller: w or c?
c
Let v = -81671/166661 + 68/139. Is -1 <= v?
True
Suppose -5*n - 18 = 2*k - n, -4*k + 3*n + 8 = 0. Which is bigger: -4/139 or k?
-4/139
Suppose 0 = -34*r - 30*r + 61*r. Are 1/1368 and r non-equal?
True
Let d = 0.2 + 1.1. Let r = -0.5 - d. Let k = -1.6 - r. Is 12 bigger than k?
True
Let g be ((-2)/(-148))/(3/6). Let v be (-50)/36*(-9)/(-222). Let x = g - v. Which is greater: x or 0?
x
Let n be (-1)/(76/(-140)*-1). Let o = n - 31/76. Suppose -r + 0*r + 24 = 5*v, 0 = 3*r - 4*v + 23. Are r and o equal?
False
Let d = 2.1 + 13.9. Let j = -15 + d. Let t = 39 + -36. Which is greater: t or j?
t
Suppose 174*m = 153*m + 1092. Which is smaller: m or 53?
m
Suppose 45*a + 2 = -43. Which is smaller: -14/13 or a?
-14/13
Suppose 3*z = -6, 4*f + 3*z - 148 = 5*z. Suppose 4*c = -0*c + f. Suppose -2*q + n + n + 4 = 0, -c = 3*q + 2*n. Is q less than or equal to 1/4?
True
Let c(r) = -r**2 + 2*r - 105. Let h be c(0). Are h and -106 non-equal?
True
Suppose 8 = 4*i + 4, -3*f + 4*i = -11. Let h be 16/4 + (0 - -1). Suppose 0 = -f*k - h*n, -3*k - n = -3*n. Which is bigger: 1/4 or k?
1/4
Let o be (10/(-6))/((-50)/180). Suppose g + 5 = o. Does 1 = g?
True
Let g = -45.86 - -46. Is 2 smaller than g?
False
Let v = -890588/5947747 - 4/11159. Let o = -30449/369 + 742/9. Let g = v - o. Which is greater: -1 or g?
g
Let x be 120/9 - (-4)/(-12). Suppose -4*n + 2*z = -8, -6*n + 3*n = -5*z - x. Which is greater: n or 2/83?
n
Suppose 8*l = 49 - 1489. Is -181 >= l?
False
Suppose -17400 = -31*o - 27*o. Is 301 bigger than o?
True
Let f(n) = n**3 + 2*n**2 - n + 1. Let o be f(-2). Suppose 0 = -o*s + 2 + 1. Let i = 2/101 + 1101/505. Is i at least as big as s?
True
Suppose 2*t = 7*t + 190. Is -8 < t?
False
Let o = -20 + 19.89. Let r = -20.11 - o. Let q = -17 - r. Is -2 < q?
True
Suppose 2*z + 299 = 2*y - 171, 0 = 3*z + 4*y + 698. Is z less than -232?
True
Let g = -1614 - -1614. Is g at most as big as -1/194?
False
Let s = 66 - 45. Is s <= 8?
False
Let k(l) = l**2 + 2*l + 1. Let f be k(-1). Suppose f = 4*q - 29 + 9. Which is greater: q or -1/4?
q
Let r = -35/253 + 2/11. Let o = -75 + 76. Which is bigger: o or r?
o
Let d = 8.5 - 8.2. Is d less than -8?
False
Let r = 2/3021 + 2911/166155. Suppose -7*y = -2*y + 2*b - 1, 0 = 4*y - b - 6. Is r at most as big as y?
True
Suppose 13 = -5*r - 2. Let o be (-84)/(-8) - r/(-6). Is 11 < o?
False
Let t(q) = -43*q + 390. Let m be t(9). Let n = 21 - 12. Do n and m have the same value?
False
Let y be (-92)/6*(-5211)/36. Let j = y - 2175. Let b = j - 46. Which is greater: b or -3?
b
Let y = 225 + -172. Is 53 smaller than y?
False
Let k be 8/34*((-808)/400 - -2). Which is greater: k or 1?
1
Let u(i) be the second derivative of -i**5/30 - i**2 - 4*i. Let o(y) be the first derivative of u(y). Let c be o(1). Is -4/7 != c?
True
Suppose 5*x - 302 = 158. Which is smaller: x or 0?
0
Let y = -0.2581 + 3.1561. Let u = 0.002 + y. Do 0 and u have the same value?
False
Let a(r) be the second derivative of -r**3/6 - r**2/2 - r. Let x be a(-5). Let y be 2*(x/8 - -1). Which is smaller: 2 or y?
2
Let t be (-98)/(-120) + 8/(-20). Suppose 8*h + 15*h + 2*h = 0. Is t >= h?
True
Let f be (-2)/(-2)*(3 - 0). Let d(g) be the second derivative of 2*g**3/3 - 3*g**2/2 + 51*g - 2. Let h be d(f). Which is greater: h or 10?
10
Let f = 983 - 2890/3. Which is smaller: 19 or f?
19
Let b = 0 - -2. Let j be 1 - (-8 - 54/(-6)). Suppose -y + 2*y + 4*n = 20, -3*y + b*n - 10 = j. Are -1/2 and y nonequal?
True
Let w(b) = 10*b - 34. Let c(r) = 3*r - 11. Let u(a) = -16*c(a) + 5*w(a). Let o be u(-3). Which is bigger: -3 or o?
o
Let k = 6 + -3. Suppose 18 = k*v + 6. Let o(f) = -13*f**2 - 288*f - 42. Let q be o(-22). Do v and q have different values?
True
Let n = 133 + -38. Which is smaller: n or 97?
n
Let x be (-3)/(-6) + (-470)/(-20). Which is bigger: 25 or x?
25
Let z be 219/13 + (-4)/(-26). Let j = z + -12. Suppose 40 = -5*y + 3*x + 2*x, -j*x - 50 = 4*y. Are y and -10 nonequal?
False
Let d(l) = -9*l + 10. Let y be d(1). Let v = -1/1687 + -275/723. Is v at most as big as y?
True
Let p = 7 - 10. Let r = 464/63 - 220/21. Is r bigger than p?
False
Let k = -436 + 440. Let o(t) = t**3 + 7*t**2 + 5*t - 5. Let w be o(-6). Let d be (k/8)/(w/2). Is 1 != d?
False
Let o(h) = 2*h**2 - 7*h - 1. Let x be o(6). Let d = x - 51. Is d smaller than -21?
True
Suppose 39 = 4*b - 3*q, -2*b - 3 = 3*q - 0*q. Let s = b - 1. Suppose -i = -s - 0. Which is bigger: 6 or i?
6
Suppose 80*a - 4140 = -5*a - 30*a. Let o = 112 + -75. Is o less than or equal to a?
False
Let b = 0.387 + 8.613. Do 0 and b have different values?
True
Suppose -12 = -z + 17. Which is greater: -2/5 or z?
z
Let p be 1*((-7)/(-7) + -2). Which is smaller: p or 29?
p
Suppose -4*p + 18*p + 168 = 0. Let s = -1/2 - 12. Which is smaller: s or p?
s
Suppose 95*o = 98*o - 339. Are 113 and o unequal?
False
Let h(g) = g**2 + 8*g - 38. Let b be h(-13). Suppose 4*p - 22 = -2*z, -5*p + 8*p = -5*z + b. Is 4 not equal to z?
True
Let i = 66 + -125. Let v = i + 83. Are v and 0 unequal?
True
Let w = -41383/89 - -465. Let v = 1 - 0. Is v bigger than w?
True
Let u be ((-1)/2)/(5/(-30)). Suppose 0 = -3*s - u*s + 96. Is s greater than or equal to 17?
False
Let m be (126/(-147))/((-3)/14). Suppose 0 = 8*o + m*o. Which is greater: -3/70 or o?
o
Let g be (5/(-70)*-8)/((-2)/(-3)). Let b(p) = -p**2 + 6*p + 2. Let d be b(6). Is d at most as big as g?
False
Suppose -3*j + 18 + 3 = 0. Suppose -3*p - 2*d - d + 9 = 0, -p + 2*d + 12 = 0. Is p at least as big as j?
False
Let y be (-4)/26 - (-176)/(-208). Let x = 33451311/6659972 + -2/151363. Let n = 19/4 - x. Is y != n?
True
Let b = 53 + -43. Let c(p) = -4*p + 23. Let f be c(b). Is f at most -15?
True
Let p = 1601/1140 - 1/228. Let n(j) = j**2 - 10*j. Let x be n(10). Which is smaller: x or p?
x
Let t = -3/206 - 1/7004. Is t bigger than 1?
False
Suppose 4*i + u = -3*u - 4, 3*u = 0. Which is bigger: i or -3/2?
i
Let x = 0.03 - -3.17. Let d = x + -3. Let g = 0.149 + 2.851. Which is smaller: d or g?
d
Suppose 0 = -4*i - 0*i - 3*m + 4, 2*m = 3*i - 3. Let s = -1231 - -9855/8. Which is bigger: s or i?
i
Let s = -19693/3 + 6624. Let b = s - 59. Let n = -3 + 5. Do n and b have the same value?
False
Suppose -2*v - 356 = -3*d - 146, v = d - 106. Which is greater: v or -109?
v
Let x = 19.9 - 20. Which is smaller: x or -374?
-374
Let u = -374927/584 - -642. Which is greater: u or 0?
u
Let u be 3/(-3)*1*-2. Let x be (u - 4)/(1 - 3). Suppose 2*y + y - y = 0. Which is smaller: x or y?
y
Let g(v) = -5*v - 10. Let o be g(-8). Let z = -49 + o. Is -18 >= z?
True
Let r = -135 - -136. Is 0.197 at most as big as r?
True
Suppose 33*d = -189 + 717. Is d < 188/11?
True
Let o(l) = -l**2 - 9*l + 6. Let w be o(-10). Let s(u) = 6*u**3 - u**2 - 3*u - 2. Let q be s(-1). Which is smaller: w or q?
q
Let i be (20/15)/2*3. Let k be i*5/10 + -2. Are k and 2/121 equal?
False
Let v be ((-20)/(-8))/(15/6). Let l be (-26)/(-42) - v*(-6)/(-18). Let c be (-1 + 2)/((-2)/2). Which is bigger: l or c?
l
Let u be (-2)/4 + (-23)/(-10). Let n be 28/(-3)*(-33)/22. Let h = -11 + n. Which is greater: h or u?
h
Let s = -0.09 - 0.93. Let v = 0.9 + s. Which is bigger: -0.1 or v?
-0.1
Suppose 4*d = -0*d + 60. Suppose 4*r + d - 63 = 0. Which is greater: 14 or r?
14
Let y(d) = 30*d + 4 - d**3 + 23*d - 67*d + 19*d + 6*d**2. Let c be y(6). Is c less than -0.1?
False
Let w(r) = -r**2 - 7*r - 1. Let m be w(-7). Let q be 70/(-100)*(-4)/(-3). Is m <= q?
True
Let r be (0 - 0)/(-3 + 1). Let t be (-1748)/(-8)*(-24)/(-33). Let x = -159 + t. Which is smaller: r or x?
x
Let u = 88 + -88.6. Let q = 13 - 17. Let v = q - -3. Is u bigger than v?
True
Let m = 33.1 + -0.1. Let f = 32.7981 - -0.0019. Let j = f - m. Which is smaller: j or -1/3?
-1/3
Let z = -187/168 + -3/56. Suppose i - 4 = 5*i. Is i > z?
True
Suppose 5*d - u - 5 = 0, -5*d - u - 25 + 30 = 0. Let y be (0 - (-2 + 2))/(-1). Let c be y - (-3)/(-14 - 1). Which is smaller: c or d?
c
Suppose 55 = -3*k - 56. Let q = k - -109/3. Which is smaller: q or -0.09?
q
Let a = -16 - -7. Let u = 17 + a. Le