ch is smaller: 8 or t?
t
Let q = -7 - -43. Let p be (-3)/(q/(-15))*8. Let x be 6/8 - 5/p. Is 2/5 equal to x?
False
Let o be (-12)/3 + 9/3. Which is smaller: o or 1.4?
o
Suppose u = 5*n - 6, 3*n - 7 = -2*n + 2*u. Let l be -6 + 4 - (1 - -1). Let t be 2/(-8) - 3/l. Which is bigger: t or n?
n
Let y = 12.1 + -12. Which is bigger: 2 or y?
2
Let g(h) = 2*h**2 + 4*h. Let d be g(-4). Is 16 > d?
False
Let p(i) = -i**2 - 9*i + 11. Let g be p(-10). Is 2/13 at most as big as g?
True
Let n be 1/(-5) + (-24)/5. Let z be -4 - 3*6/(-36). Is z greater than n?
True
Let i = -0.02 + 0.16. Let m = i - 0.04. Suppose 3*j + 15 = 4*z, 0 = 4*j - 4*z + z + 13. Is j greater than m?
False
Let a = -36 + 36. Which is smaller: a or 88?
a
Let m(v) = v**2 - v - 3. Let c be m(0). Let l be 2/(-4) - c/6. Which is greater: l or 1?
1
Let z = -1121 + 7880/7. Which is greater: z or 6?
6
Let h = -14.83 - 0.17. Is h <= 0.1?
True
Suppose 9*s = -0*s - 315. Is s smaller than -37?
False
Let g be (-22)/(-30) + 8/(-20). Is g equal to 0.04?
False
Let k(o) = -o**2 - 7. Let g be k(0). Let l be (-8)/(-28) - 12/g. Which is smaller: l or 4/5?
4/5
Suppose i - 5*i - 528 = 0. Let h = 28371 - 199519/7. Let f = h - i. Which is greater: 0.05 or f?
f
Let q = -5 - -2. Let m be 2 + (-116)/(-124) + q. Is 1 < m?
False
Let z = -7 + 14. Suppose -4*v = u - 9, -4*v + 17 - z = 2*u. Let b be 0 - ((-60)/(-9))/(-5). Is b not equal to v?
True
Let n(v) = -24*v - 7. Let y be n(-4). Let o = -711/8 + y. Which is smaller: -2/9 or o?
-2/9
Let x be -8*2/4 + 3. Which is bigger: -6/17 or x?
-6/17
Let r = -21 - -21. Which is bigger: r or -33?
r
Let p = 1.2 + -1. Let o = p + -0.1. Let c be (8/(-36))/((12/(-9))/2). Which is smaller: c or o?
o
Let q = 5 + -13. Let f be (-1 - -1) + q/(-40). Let h = -2.1 - -2. Which is bigger: h or f?
f
Suppose 2*x = 4*p + 8, -x = p + p. Let l(y) = -y**2 + 11*y - 20. Let g be l(3). Which is smaller: x or g?
x
Let n = -6 + 3. Let q = 3 + n. Let d be (0/(2/2))/(-1). Do d and q have different values?
False
Let f = 12 - 20. Let u(v) = v**2 + 7*v - 6. Let l be u(f). Suppose -l*s = s. Is 0.1 at most as big as s?
False
Suppose 2*s + 6 = -s. Suppose -4*f + 0*f = 0. Suppose 3*x = q - 0*x - 4, f = 5*q - 2*x + 6. Is q < s?
False
Let g(o) = o**3 - 3*o**2 + 2*o - 2. Let k be g(2). Which is smaller: k or -8/7?
k
Let f = 178 + -102. Which is greater: -1/3 or f?
f
Let c be 9 + -2 - 3 - 2. Suppose -150 = c*l - 7*l. Let o be 72/l*(-10)/(-4). Is 7 != o?
True
Suppose 0 = 5*s + 5*m + 10, 4*s + m - 4*m = 27. Suppose 1 = 4*j - s. Which is bigger: j or 0?
j
Let t be ((-136)/44 + 3)*-2. Which is smaller: t or -1?
-1
Let g be 2/8 + 520/32. Which is smaller: 17 or g?
g
Suppose 2*h + 18 = 2*n, 0 = -2*h + n - 9 - 6. Which is smaller: h or -1?
h
Suppose 29*a = 31*a + 2. Is 0.1 at least as big as a?
True
Let i(k) = -k**2 - 5*k. Let b be i(-6). Let s be (-4)/(-18) - 112/18. Is s at most as big as b?
True
Let i(p) = 2*p - 3. Suppose l + 5*b = -16, -2*l + 6 = -4*b - 18. Let f be i(l). Suppose 25 + 0 = f*t, -3*t + 11 = -4*a. Which is smaller: -1/3 or a?
-1/3
Let w = -45 - 4. Is -1/2 equal to w?
False
Let j be (3/(-12))/(3/18). Which is smaller: j or -2?
-2
Let h = 878/105 + 5/21. Which is smaller: 8 or h?
8
Let i = -6 - -4. Let b be 9/12*i/3. Let k(h) = h + 1. Let t be k(-3). Which is bigger: t or b?
b
Let q be (2 + 18/(-4))*(-18)/50. Which is smaller: 0 or q?
0
Let v = 36.1 - 36. Which is greater: 14 or v?
14
Let o = 22.9 + -27. Let r = 11 - 15. Let i = o - r. Which is greater: 0.1 or i?
0.1
Let r = -1.38 - -0.38. Is -50 <= r?
True
Suppose 3*n - 11 - 1 = 0. Suppose -3*x = -g - 4*g - 12, 4*x - 16 = -n*g. Let f be x/(-3) + 6/(-9). Is -3/4 not equal to f?
True
Let p = 82 - 39. Suppose l - 25 = 5*a, -5*a - 5*l = -2*a + p. Is -6 not equal to a?
False
Let i(z) be the first derivative of z**3/3 - 2*z**2 + 4*z + 2. Let s be i(3). Suppose -4*y + 12 = -a + s, -2*y + 19 = -5*a. Is a >= -3?
True
Let v = -1.4 - -1.1. Is -1 bigger than v?
False
Let x be (-92)/9 - 2/(-9). Let n be 3/2 + x/8. Which is smaller: -3 or n?
-3
Suppose 4*s - m + 169 = 0, -5*m + 112 = -5*s - 103. Which is bigger: -43 or s?
s
Let o = 12 + -11.2. Let v = -1 + 2. Let w = v - o. Which is greater: 3/5 or w?
3/5
Let f(i) = i**2 - 6*i + 6. Let v be f(6). Let m = v + -9. Let l be ((-6)/2)/m*-1. Is l at most as big as -2?
False
Let p = 0.4 - -7.6. Does -1 = p?
False
Let j be (4 + -1 - 1) + -2. Suppose j = 5*t - 0 + 5. Which is smaller: t or -2?
-2
Let u be 1/(-4 - (-13)/3). Let c(l) = -3*l + 1. Let h be c(-1). Let q be h/10 - (-24)/15. Are u and q non-equal?
True
Let h = 0.055 + -0.055. Which is smaller: h or -0.2?
-0.2
Suppose 4*p - 7*p + 111 = 0. Let j = 112/3 - p. Which is smaller: j or -2?
-2
Suppose -2*l + 170 = -4*n, 0 = 6*n - n - 2*l + 211. Which is bigger: n or 1?
1
Let o be (-4)/(-10) + 14/40. Suppose 2*t - t - 7 = -5*d, t - 1 = d. Which is smaller: o or d?
o
Suppose 3*h - 2*h - 8 = 0. Is 10 > h?
True
Suppose 2*r - 4*p = -2*r, 2 = 2*r - p. Suppose 3*o + 3*w = 2*o - 5, -r*o + 5*w = -1. Let h be (2/(-3))/(7/21). Is h smaller than o?
False
Let x(i) = -i**3 + i**2 + i. Let c be x(0). Let k = -6 - -5.88. Let y = k - 0.08. Which is smaller: c or y?
y
Let j be 30/35*(7 - 0). Let o = j + -4. Suppose -1 = -m + t, -5*m - o*t - 14 = -40. Which is smaller: 5 or m?
m
Let o = 3 - 10. Suppose 0 = -21*g + 18*g - 21. Is o bigger than g?
False
Suppose 3*m + 2*p = -11, 0*p - p - 7 = 3*m. Let z(i) = i**3 - i**2 - i + 1. Let q be z(0). Let o = m - q. Which is bigger: o or -3?
o
Let k = 29 - 16. Is k > 13?
False
Let g = -0.02 - 0.98. Is -2/9 smaller than g?
False
Suppose -2 = -j + 10. Suppose 4*w - 4*h - j = 0, -4 = -w + 2*h - 0. Let i = w + 1. Which is smaller: i or 1?
1
Let q be 2/5 + 92/20. Let k = q - 31/7. Which is bigger: 1 or k?
1
Let l(u) = -u**3 + 18*u**2 - 12*u + 15. Let h be l(17). Is 99 greater than h?
False
Let j(w) be the second derivative of -w**4/12 - 3*w**3/2 - 9*w**2/2 + w. Let g(p) = -2*p. Let t be g(4). Let z be j(t). Which is smaller: -3/2 or z?
-3/2
Suppose -3*q = -2*u + 100, -3*u = 2*q - 4*q - 70. Are -33 and q nonequal?
True
Let a = -8 + 15. Is a >= 7?
True
Let r be -4*(-3)/90 + 0. Is r at least 1?
False
Let q = -70 - -76.1. Let z = 6 - q. Which is greater: 4 or z?
4
Let n = 18 - 17. Are 0.5 and n nonequal?
True
Let m = -4 - -5.8. Let h = 0.2 + m. Let d = 2.2 - h. Which is greater: d or 2?
2
Suppose 4*s + 0*s - 12 = 0. Let g(v) = 3*v - 2. Let f be g(1). Let y be (-1 + 1)/(s - f). Which is smaller: y or -2?
-2
Let o be (-1)/(-2 + 1) - -4. Suppose 7*h + o*g = 2*h, 0 = -3*g - 15. Suppose 0 = 5*m + h. Is 3/7 less than or equal to m?
False
Suppose g + 4 = -g. Let m be (-2 + (g - -5))/(-1). Does m = 3/8?
False
Suppose 2*b = 4*c + 2, -c - 3*b = 3*c - 23. Suppose 3*u - c + 5 = 0. Is -5/4 at most u?
True
Let n(x) = -x**3 + 8*x**2 - 11*x - 13. Let i be n(6). Is 9 at most i?
False
Suppose 5*j - 2*j = 3. Is -5 smaller than j?
True
Suppose -3*x - 3 + 0 = 0. Which is greater: -9 or x?
x
Let h = -1 + 2. Suppose 6 = 5*o + 3*q, 0 = 2*o - 6*q + q + 10. Suppose 3*k - 6 = -o. Do k and h have the same value?
False
Let j = 23/19 - 567/437. Let s = -65/46 + j. Let m = -2/141 - -149/564. Which is bigger: s or m?
m
Let m(k) = -k**2 + 13*k + 10. Let s be m(13). Let v = s - 8. Is v at least 4?
False
Let k be ((-5)/(-10))/((-3)/(-12)). Suppose k*b = 5*b + 3. Is b smaller than -2/61?
True
Let p = -92.61 + 93. Let i = p + -1.34. Let j = i + -0.05. Is j at least as big as -0.4?
False
Let t(u) = -u - 7. Let h be t(0). Let b(z) = -z**2 - 9*z - 4. Let s be b(h). Suppose d + 2*y - 3*y + 4 = 0, -d - s = -4*y. Which is greater: -4 or d?
d
Let f = 0.71 - 1.71. Does f = -64?
False
Suppose -4*v + 2*v = -72. Suppose -3*k - v = k. Let p = k - -3. Which is smaller: -5 or p?
p
Let j be 6/8 - (-42)/(-56). Is j greater than or equal to -3/5?
True
Let q = -233/7 + 33. Is q equal to -1/9?
False
Let d be (-9)/(-7) + 4/(-14). Let x(o) = 3*o**3 - 2*o**2 + 1. Let i be x(1). Let k be i/4*-2*-1. Are k and d non-equal?
False
Let q(o) be the second derivative of -o**3/2 + 3*o**2/2 + o. Let t be q(3). Which is smaller: t or -4?
t
Let g = -1818 - -99993/55. Which is smaller: g or -1?
-1
Suppose 0 = -6*d + 4*d + 14. Let h be d/(-5) - (-4)/10. Is -2 equal to h?
False
Let f = -1043/276 - -15/4. Which is smaller: f or -1?
-1
