ch is smaller: k or 0?
k
Let z = 21 - 16. Let u be 3/z + ((-4)/5)/2. Suppose -i + 2 = -3*f, -4 + 0 = 3*f + i. Is u at least as big as f?
True
Let p be 189/15 - (13 - 11). Is p >= 10?
True
Let l(h) = h**2 - 10*h + 2. Let p(s) = s**2 - 10*s + 3. Let n(u) = 2*l(u) - 3*p(u). Let f be n(9). Let a = 10 - 6. Is a bigger than f?
False
Let v = 4.44 + -4.34. Which is smaller: -2/23 or v?
-2/23
Let v = 71 + -1493/21. Let t(g) = -3 + 2 + 1 - g + 5. Let p be t(6). Is v < p?
False
Let h be (-1677)/(-12) + (-4)/6. Let r = -139 + h. Is 0 at most r?
True
Let k = 124 - 122. Let u(l) = -3*l - 1. Let t be u(-2). Let i be (5 - t) + 1 + k. Are i and -0.1 unequal?
True
Let t = 561.854 - 560. Let l = t + -0.054. Let m(h) = h**2 + 2*h. Let k be m(-2). Is k smaller than l?
True
Suppose -2*r + 5 + 3 = -m, 3*m + 22 = 5*r. Which is bigger: m or 6?
6
Let l = -10 + 9.9. Suppose 0*y - 3*y = 3. Which is smaller: l or y?
y
Let s = 377275 - 6786269/18. Let a = s + -260. Which is smaller: -1 or a?
-1
Let k = -694.01 + 694. Do 10 and k have the same value?
False
Suppose 4*z - 8*z - 4 = 0. Let f = 71 + -42. Let t = f + -29. Which is smaller: t or z?
z
Let a = 148 - 148. Which is greater: -5/84 or a?
a
Let r = -369 + 371.8. Which is greater: r or 0.1?
r
Let u = -1360.23 + 1358. Which is greater: 3/7 or u?
3/7
Let i be 253 - 20/(-9 - -5). Is i at most as big as 258?
True
Let g = 11 - 11. Let v be g/4 - 195/1476. Let q = v + 2/41. Which is smaller: q or 0.1?
q
Suppose 8*y - 8 = -k + 7*y, 7 = -k - 4*y. Which is greater: 2 or k?
k
Let v be (1/(-4))/(0 + (-36)/(-8)). Is v equal to 1?
False
Suppose 3*z - 3 = 24. Let r = 9 - z. Suppose 4*a - 3*a + 5 = r. Is a less than -5?
False
Let y = -679 + 1090. Suppose -4*b + 3*x = -531, y = -0*b + 3*b + 2*x. Suppose -4*p + 27 = b. Is -26 at least p?
True
Let z be (-59)/22 + (-4)/(-22). Let d = 8/3 + z. Is d equal to -1?
False
Let k(d) = -d**2 + 7*d + 3. Let l be k(6). Let g be (84/(-210))/(244/125 + -2). Is g greater than l?
False
Suppose -27*g - 616 = -643. Which is bigger: g or 7/235?
g
Suppose 3*k + 7 - 13 = 0. Suppose -k = 4*y + f, y = -0*y - 5*f - 10. Is -3/5 at most y?
True
Let o = -16397/41 + 400. Let m = 3154 + -3154. Which is smaller: m or o?
m
Suppose 5*q - 33 = 172. Let n = -25 + q. Which is smaller: 17 or n?
n
Suppose -h - h - 6 = 0. Let b be (-1)/(9/(-2)) + (-4)/18. Suppose b = -2*p + 4*p + 7*p. Which is smaller: p or h?
h
Let o = 69/244 + -2/61. Let a = 0.9 + 2.1. Is a >= o?
True
Let h(u) = -4*u**2 + 2*u + 2. Suppose -4 + 0 = -2*d. Let y be h(d). Is -8 at least as big as y?
True
Suppose 5*w - 32 = -2. Let l(f) = -6*f - 8*f + 0*f**2 + f**2 + 5 + w*f. Let m be l(7). Is -3 greater than or equal to m?
False
Suppose 13*r = -36*r + 42532. Is r at least 868?
True
Let w(n) = -n**3 - 2*n**2 - n + 4. Let m be ((-44)/(-10))/(-2) - (-7)/35. Let k be w(m). Is 8 > k?
True
Let m = -17 - -30. Let d = 19022/5 + -3817. Let u = m + d. Which is smaller: 4 or u?
u
Suppose -r + 35 = -b + 13, 3*r - 54 = -b. Suppose 25 - r = 3*y. Which is bigger: 10/7 or y?
y
Let b = -80 - -77. Let g = 0.3 - 0.5. Which is smaller: g or b?
b
Let y be ((-9)/27)/((-4)/(-72)). Which is bigger: -47/8 or y?
-47/8
Let z be 5*16/(-15)*-6. Suppose s + 18 = -3*s - 5*g, 2*g - z = 4*s. Let m = 9 + -15. Is m < s?
False
Let q be (-1)/(-4) + (-492)/48. Let z be q/40 + 34/8. Suppose -3*t - z*j + 3 = -j, 5*t + 1 = -2*j. Which is bigger: 3 or t?
3
Let s be -2*(-1 - (-3 + 0)). Let v(d) = d**2 + 9*d - 7. Let y be v(-10). Suppose 0 = -0*p + 3*p - 2*n + 21, y*n - 34 = 5*p. Is p < s?
True
Let f = -24 - -29. Suppose o - 4*o + 7 = -f*r, 1 = o - r. Is -2/63 < o?
False
Suppose 5*b + 5*x + 29 = 2*b, -3*b + x - 5 = 0. Let q be 0*b/(-6)*1. Suppose -3*l - 3*a = q, l - a + 0 = -2. Is l > 2/15?
False
Let b = 130/3 + -43. Let o = -1 - -8. Let a = -7.2 + o. Which is smaller: a or b?
a
Let s = -0.23 - 3.57. Let i = s - -7.7. Let p = i + -4. Which is smaller: p or 5?
p
Let h = 313167/66392 + -884/193. Let d be 0 - -1 - (-85)/(-86). Let k = h - d. Does k = -0.3?
False
Let u be (-838)/(-5) + (-8)/(-20). Let m be (-6)/14 + (-264)/u. Which is smaller: m or 18?
m
Let q = 44239/18864306 + 1/22538. Is q smaller than 1?
True
Suppose 4*g - 5*n - 146 = 0, -61 = -5*g + 3*n + 115. Suppose 7*o = -g + 6. Is -6 >= o?
False
Suppose -2*p + 15 + 13 = 0. Suppose a - 16 + p = 0. Is 2 greater than or equal to a?
True
Let p = -11 + 13. Let i be (-145)/(-11) + p/(-11). Let l = 12 - i. Which is smaller: 2/9 or l?
l
Let z = 140 - 1679/12. Let p = 19 + -16. Let r = 2 - p. Do r and z have different values?
True
Let g be -1 + ((-2)/52 - -1). Let o = -4/65 + g. Let b(p) = p**2 - 3*p - 4. Let j be b(4). Is o at most as big as j?
True
Suppose -3*v = 3*k - 96, -3*v + 145 = 5*k - v. Which is smaller: 30 or k?
k
Let b = 629 + -696. Is b > -1?
False
Let r = -7 + 7. Let q be 2/((-104)/(-18) + (-14)/21). Is r less than q?
True
Suppose -q - 53 = -5*o, -4*o = -q - 5*o - 59. Is -58 bigger than q?
False
Let a = 109 - 109.3. Let i = -6 - a. Is -0.1 <= i?
False
Suppose 0*x = -9*x - 1152. Let p = -45 - x. Is p at most as big as 84?
True
Let r = 19 + -60. Let b = r - -26. Let i be ((-1)/3)/(5/b). Which is smaller: 6/7 or i?
6/7
Let f be 0/(1/(2/(-12))). Suppose f = 6*a - 4*a - 3*a. Is a > -1?
True
Suppose r - 1 + 5 = 0, 2*r - 28 = -p. Let c be 4/(p/23) + -3. Let d = c + 5/9. Which is smaller: d or 0?
0
Let k(u) = -u**3 + 5*u**2 - 9*u + 12. Let m be k(6). Let d = 78 + m. Are 0 and d non-equal?
False
Let s = -224 + 524. Which is smaller: s or 301?
s
Let g = -52 + 42. Let t(s) = -4*s - 39. Let f be t(g). Is f less than or equal to -2/7?
False
Let a be (-756)/105*(-470)/39. Which is smaller: 87 or a?
a
Let w(d) = d**2 + 23*d + 24. Let r be w(-22). Let n be (-1)/r*-2*1. Which is greater: -5/44 or n?
n
Let i = 41388.009 - 41410. Let x = 0.009 - i. Which is greater: -0.1 or x?
x
Suppose s = 2*h + 2, -h + 0*s + 8 = 4*s. Suppose h = -9*a + 13*a + 44. Which is bigger: a or -12?
a
Suppose 9*s - 13*s = 76. Which is greater: s or -228/13?
-228/13
Suppose 0 = -5*o + 137 + 813. Suppose -5*h - 3*a + 125 = -h, 5*h = 3*a + o. Is h <= 36?
True
Let h be 0 - (88/135)/4. Let b = h - -8/27. Let r be ((-14)/63)/((-10)/45). Which is smaller: r or b?
b
Let q(u) be the first derivative of -5*u**2 + 16*u + 14. Let n be q(3). Which is smaller: n or 0?
n
Let c = -967 - -964. Let i = 17/9 - 137/63. Which is smaller: c or i?
c
Suppose -3*v + 12 = -6. Let q be (v/4)/(6/(-96)*-6). Is 10/3 >= q?
False
Let x = -3 - 3. Suppose -4*n - 44 = -3*l + 22, n = -4*l + 69. Let j be 1/(-6) + (-123)/l. Are j and x equal?
False
Let r = 1141 + -1089. Are -2 and r nonequal?
True
Let j = -0.02 - -5.02. Let m = 4.7 - j. Let y = -0.9 - 0.1. Which is smaller: m or y?
y
Suppose -13*k - 2 = -15. Is k <= 2/11?
False
Let p(k) = -k**2 - 3*k - 2. Let l be p(9). Let g be (-92)/l + ((-93)/15 - -6). Which is smaller: 1 or g?
g
Let c be 6/((-6)/(-2))*(2 + -1). Suppose -5*k = n + 13, -3*k - 11 = 3*n - 4*n. Let z = 5 + k. Is c >= z?
True
Suppose -5*n = 9*t - 4*t - 60, -4*n = -2*t - 78. Let l = -5 + n. Which is smaller: l or 9?
9
Suppose -2*v = -4*v + 16. Let u(x) = -x**2 + 13*x - 31. Let q be u(8). Which is bigger: q or v?
q
Let s = 9545/357 + -48/119. Let w = s + -25. Suppose -d = -1 - 0. Which is bigger: w or d?
w
Let p be 23*(117/(-24) + 12/(-96)). Is -122 > p?
False
Let l(m) = -m - 25. Let o(v) = -v + 1. Let a(j) = -l(j) - 2*o(j). Let c be a(-10). Let r be 21/(-49) + 81/c. Do r and -12 have the same value?
True
Suppose -7*f = -11*f - 4. Let q be (38/(-10) + 3)/(f/(-5)). Is q < -4?
False
Suppose -6*g = -3*g. Suppose g = 2*d + 3*d - 50. Let s = d + -17. Is -5 bigger than s?
True
Suppose 4*f = 4*b - 20, -5*f = 1 + 14. Suppose 1 = 4*p + b*u + 3, -1 = -3*p - 4*u. Let c be ((-132)/792)/(1/3). Is p < c?
True
Let z be ((-102)/(-187))/((-9)/(-3)). Is z not equal to -1?
True
Let g be 6 + 1 + (-1 - 2). Suppose -a = 1 - g. Suppose -21 = -3*m + 3*q + 9, -4*m - a*q = -26. Does 8 = m?
True
Let b = -63 - -54.7. Let l = -6.3 - b. Which is smaller: -0.04 or l?
-0.04
Let s = -4 + 4. Let l(w) = -w**3 + w**2 + w - 1. Let m be l(s). Let z = -64 - -447/7. Which is smaller: m or z?
m
Let o = -11 - -7. Let d = -14 - -7. Let s = d - -5. Is o <= s?
True
Let p = 0.3 - 0.2. Suppose 3*c - 3*w + 27 = 0, 4*c + 26 = -0*c + 2*w. Let s be (-123)/(