et w = h - -2/29. Let n = -2 - -3. Does w = n?
False
Let i be -1 + -3*(4 + -3). Is -4 at most as big as i?
True
Let a be (-17)/(-4) - 1/4. Suppose 4*o - 5*m - 5 = 0, a = -4*o - 3*m + 1. Let n be 8/(-18)*1/(-2). Which is smaller: o or n?
o
Let a = -3 - -1. Let v be 1/2*4/a. Suppose k + 3*k + 8 = 0. Which is greater: k or v?
v
Let y = -3 + 16. Are y and 0 unequal?
True
Let b be 58/(-70) - 39/(-91). Let q be 4/(-14) - (-30)/56. Which is smaller: b or q?
b
Suppose -w + 2*k - 4 = 0, 0*w = 5*w - 5*k + 10. Let x = -51/7 + 7. Is w smaller than x?
False
Let n = -4 + 5. Let j be (-9)/(-7) - (0 + n). Let r be 1*(2/5 - 1). Are r and j unequal?
True
Let x be 0*(0 + (-1)/(-3)). Let i be 7*(x + 0 + -1). Is i at least as big as -6?
False
Let r = -16 - -10.8. Let s = r + -0.8. Let q = s + 4. Which is bigger: 1/3 or q?
1/3
Let m be (-2 - 0)/(8/(-112)). Let w be 3/2*m/14. Let h = -1 - -1. Is h greater than or equal to w?
False
Let y(f) = -f**3 - 6*f**2 + f + 6. Let a be y(-6). Let o(u) = -u**2 + 4. Let t be o(9). Let b = t + 387/5. Are b and a equal?
False
Let u = -53 - -34. Is -20 < u?
True
Let p = -2 - 3. Let k = -3 - p. Let u be (-2)/(-3)*3/k. Is u at most as big as 2/9?
False
Let q = -38 - -26. Which is greater: q or -13?
q
Let f be -1 - -1 - -2 - 0. Which is smaller: f or 4?
f
Let w be 10/45*6/4. Which is greater: 0 or w?
w
Suppose 8 = 4*j - 0. Let p be 66/924 + 2/4. Which is bigger: j or p?
j
Let j(h) = -h**3 + 4*h**2 + 5*h - 1. Let i be j(4). Suppose -i = r + 4*u, -r - u = 4*r + 19. Is 0 >= r?
True
Let x(v) be the first derivative of -v**2/2 + 5*v + 3. Let s be x(3). Let c = s - 2. Which is greater: c or 1/4?
1/4
Let w = -715/116 + 12/29. Which is smaller: w or -6?
-6
Let m be (-3)/(-2)*4/9. Suppose 0 = -4*f + 4 + 4. Are m and f non-equal?
True
Let p = -58 - -105. Let o be (-10)/(-45) + p/(-9). Let q = -4 - o. Which is bigger: q or -2/7?
q
Let r be (-24)/(-12) + (-1 - -7). Is 9 < r?
False
Let i be (-24)/90 + 2/3. Which is bigger: 3 or i?
3
Let w = -19/4 - -5. Let k = 1 - 0.8. Do w and k have the same value?
False
Let w be 4/(-16) - (-23)/60. Which is smaller: w or -16?
-16
Let c be (0*3/15)/(-1). Which is smaller: c or 5/11?
c
Let n be 1/(-3) + (-14)/(-78). Let p be 12/(-10) + 1/5. Which is smaller: p or n?
p
Let c = 0.3 + 0. Let t = 1.2 - 1. Which is smaller: t or c?
t
Let g = 38 - 38. Is g > 1/22?
False
Suppose 2*x + 4 + 2 = -5*p, 0 = x + 3. Which is greater: p or -2/23?
p
Let w = -6 - -10. Suppose -q = w*j + 11, 3*q = -q + j + 7. Is q > 2?
False
Let u = -3034/3 + 1002. Let w = u - -538/57. Which is smaller: w or 0?
0
Let c = -33 + 167/5. Is -2.7 equal to c?
False
Suppose -20 = 4*c - 6*c + 4*n, -c - 2*n = 10. Is c < 11?
True
Let o be 2/(2/3) - 2. Suppose -2*u + 9 - 3 = 0. Suppose -m = u*m. Are o and m non-equal?
True
Let t be (-1 + 1)*1/(6 - 3). Which is greater: 1/54 or t?
1/54
Let m be 162/14 + 90/210. Which is greater: 0 or m?
m
Let p = 8 + -14. Let o = p - -6. Is o bigger than 1/11?
False
Let r = 7 + -6.2. Let x = -14 - -14.7. Let z = r - x. Is 2/15 < z?
False
Suppose 0 = -0*q + q - 375. Let b be (q/(-378) + 1)*4. Which is greater: 0 or b?
b
Let p = -5 - -8. Let i be p/(-2)*(-2)/3. Let o be ((-15)/(-10))/((-6)/(-8)). Which is bigger: i or o?
o
Let h = 13 - 8. Suppose 28 = 5*u + 2*c, -2*u - 3*c = -h*u + 21. Suppose 4*a = 2 - u. Do a and -2/5 have the same value?
False
Let u = 1 - -1. Let w be u + 3*2/3. Let x = w + -4. Which is greater: -1/4 or x?
x
Let v(y) = 2*y**2 + y - 1. Let u be v(-2). Let d be 22/(-4)*(u - 7). Are d and 11 nonequal?
False
Let u = 59 + -20. Suppose 2*a = 3*o + 14 - u, 4*o - a = 30. Suppose o = 3*d + 1. Which is smaller: d or 1?
1
Let d = 2.29 - 2.2. Let h = d + 0.91. Is h >= -1/4?
True
Let u be (1*3)/(1 + 0). Let d be ((-2)/(-4))/(u + -4). Let z(v) = v**2 + 6*v + 2. Let g be z(-6). Which is smaller: d or g?
d
Suppose 2*c = -2*p - 14, -c + 2*c + 11 = 3*p. Which is greater: -10 or c?
c
Let j = 6533/55 + -613/5. Let v = 113/44 + j. Does v = -1?
False
Let l be 12/10 + 4/5. Let t be 1/2 + (-3)/2. Which is smaller: l or t?
t
Let p(x) = -x**2 + x + 3. Let s be 6/(-9)*(-3 - 0). Let i be p(s). Which is greater: 1/10 or i?
i
Let z = 223/7 - 32. Which is bigger: z or 0?
0
Suppose k + 3 = 0, -4*s + k + 3*k - 24 = 0. Suppose -4*f - 3 = -3*d + 1, -3*f - 3 = -5*d. Which is bigger: s or d?
d
Let a be (5 + -2 - 1)/(-1). Suppose 1 + 3 = -4*z + 2*u, 2*u - 6 = 2*z. Let k be (1*(-5 - -2))/z. Do k and a have the same value?
False
Let u = -1.2 - 0.8. Is -2/7 not equal to u?
True
Let s(u) = -u**2 + u - 1. Let m be s(1). Let h(p) = p**3 - p - 1. Let k be h(2). Let l be (-2)/(-7) - k/(-7). Is l less than or equal to m?
False
Suppose n - 5*n = 0. Which is greater: n or 3/7?
3/7
Let n(v) = -5*v - 8. Let p be n(-6). Is 21 greater than or equal to p?
False
Suppose z - 23 = -3*u - 0*z, -4*u + 5*z = 1. Let c be (-15)/(-9) - (-2)/u. Is c smaller than 2?
False
Let r be (-56)/279 + 12/54. Does 1 = r?
False
Let y = 11 - 21. Do -11 and y have the same value?
False
Let o = -86 + 61. Which is smaller: o or 2/5?
o
Let h(f) = 2*f**2 + f - 1. Let t = -8 + 5. Let o = -2 - t. Let i be h(o). Which is bigger: i or 1?
i
Let m = -306 + 3974/13. Which is bigger: m or -1?
m
Suppose 2*z = -0*z + 2. Let s = 25/2 + -11. Is z < s?
True
Let m be 72/(-3)*(49/3)/7. Is 1/4 not equal to m?
True
Let b(i) = i**2 + 6*i + 6. Let o be b(-4). Let k be (-15)/1*o/6. Let z be (k/(-15))/((-2)/6). Is 4 >= z?
True
Let k(q) = 12*q + 59. Let r be k(-14). Which is greater: -110 or r?
r
Let p(s) = s**2 - 11*s + 15. Let r be p(10). Suppose -2*h + 9 = r*u, 12 = 5*u + h - 0*h. Suppose -m + u = -3*g, 2*m = -5*g + 4 + 2. Which is smaller: g or -4?
-4
Let v = -0.7 - 0.3. Let g be 4/7 - 1812/84. Let j be g/54 - (-8)/36. Is v at least as big as j?
False
Let g = -0.2 + 0.12. Let m = g + 1.08. Which is bigger: -0.09 or m?
m
Let g = -1.03 + -16.97. Which is greater: -0.1 or g?
-0.1
Let w be ((-84)/18 - -5)*25. Which is bigger: 9 or w?
9
Let l be 38/(-84) + (-1)/(-6). Let k = 23 + -22. Which is greater: l or k?
k
Suppose -r + 6 = 4*l, l = -4 + 5. Suppose 3*p - p = 4*q - 6, q + 5*p = -26. Let c = 0 - q. Which is smaller: c or r?
c
Suppose 25*w - 22*w - 9 = 0. Let v = -370 - -1489/4. Does v = w?
False
Let t be (-3)/(-5)*(-939)/39. Let d = 73/5 + t. Which is smaller: -1/2 or d?
-1/2
Let u = -5 + 4.5. Let a = 0.4 + u. Is -4/9 smaller than a?
True
Let s be (-14 - -15)/((-2)/(-22)). Let r be 2/(-11) + 2/s. Let t(h) = h + 2. Let f be t(-2). Are f and r unequal?
False
Let a = 11 + -11. Let y = 62 - 247/4. Which is smaller: a or y?
a
Let k be 45/(-75) + (-194)/10. Is -19 less than k?
False
Let s be (-32)/14*(-3 - (-18)/8). Is 1 greater than or equal to s?
False
Let g be (-143)/201 + 3 + (-21)/9. Is g smaller than -1?
False
Let k = 44 + -16. Let m be (1/(-6))/((-2)/k). Is m equal to 2?
False
Let h = 1 + -4. Let f = h - -4. Let n = 3 + -2. Is n at most f?
True
Let c = -6 + 7. Let n = c - -1. Are 1 and n equal?
False
Suppose 5*s - 8 = 12. Suppose n + s = -f, 2*f = -n - 2*f - 19. Let m be (n/(-2))/(6/4). Is 0.1 at most as big as m?
False
Let r = 7.1 - -0.1. Let f = 7 - r. Is f > 2/7?
False
Let k = -963/7 + 138. Suppose -30 - 6 = 4*i. Let w be 3/i*1*3. Is k at least w?
True
Let q be (4/(-10))/(0 + (-21)/75). Which is smaller: q or 1?
1
Let i be 9/(-7) - (-5 + 297/63). Which is smaller: -12.4 or i?
-12.4
Suppose -2 = 2*o, 0 = 2*n + o - 4*o - 3. Suppose 5*g = 2*y - n*g - 29, 3*g = -y - 2. Are 7 and y unequal?
False
Let q be 2/(-9) + (4 - (-14)/(-18)). Is q at least 4?
False
Suppose 4*a + 1 + 7 = 0. Let y = -2 - a. Suppose y = 7*c - 2*c. Which is smaller: c or -2/15?
-2/15
Let v(u) = -3*u - 2. Let x be v(-3). Is -2 bigger than x?
False
Let j = -11 - -1. Let u = 2 + j. Which is smaller: u or -5?
u
Suppose 5*n - d = -6 - 19, -4*n - 11 = d. Let g be -1*(-2)/n*0. Does g = 1/3?
False
Let f(k) = k**2 - 3*k - 17. Let q be f(6). Which is bigger: q or 2.6?
2.6
Let g = -0.1 - -1.1. Let z = -8 + 6. Which is bigger: z or g?
g
Let z be 3/3*-2 + 4. Suppose 6*t + 32 = z*t. Let f = -6 - t. Which is greater: 1 or f?
f
Let m(t) = 5*t + 1. Let h be m(2). Let b = h + -23. Which is bigger: b or 1?
1
Suppose d = 2*o + 6, -o - 5*d + 24 = -5*o. Let g(n) be the second derivative of -n**3/6 - 20*n. Let y be g(o). Which is bigger: y or -2/5?
y
Let n =