h is bigger: 2/11 or a?
a
Suppose 3*z - z = 0. Suppose z*j + j = 0. Suppose 5 = -4*c + 3*c + 3*r, -5*c - 3*r + 11 = j. Is c smaller than 3?
True
Let o be (-2)/12 + (-83)/6. Which is smaller: -1 or o?
o
Suppose -15 = -y - 4*y. Suppose 2*d + 1 = y*d. Let m = 3 - d. Is m >= 2?
True
Let d = 700789/66 - 10617. Let f = d + 7/22. Which is smaller: f or 0?
0
Let r = 18.36 + -19. Let v = -0.7 - r. Let o = 0.16 + v. Is 0.2 > o?
True
Let y(b) = -2*b**2 - 5*b - 2. Let t be y(-3). Let k = 10 - t. Let u be 9/15 + (-3)/k. Is 1 less than or equal to u?
False
Let a = -9 + 11. Suppose -a*f - 3 = f. Is 0 less than or equal to f?
False
Let n be (-2)/1 - 92/(-4). Is n >= 21?
True
Suppose 20 - 15 = -5*n. Let j be (4 - 6) + (-14)/(-9). Do j and n have the same value?
False
Let x(r) = r - 2. Let t be x(3). Let n be ((-2)/(-8))/(t/2). Suppose -5*h - 20 = 0, -2*v + 0 - 6 = 2*h. Is n smaller than v?
True
Let a = -2 - -2. Let x = -3.1 + -0.9. Let z = x - -3. Which is smaller: z or a?
z
Let j = 3/40 + -49/120. Let c = -17 - -35. Let o = c + -18. Which is smaller: o or j?
j
Let o = -5 - 7. Is -12 less than o?
False
Let i = -1.5 - -1.47. Which is greater: i or -0.1?
i
Let b be (3/9)/(1/3). Is 1 less than b?
False
Let i be -2*(-1)/(-6)*-3. Suppose -i = -3*v - 4. Are 2/9 and v equal?
False
Suppose 4*h + 0*h = 132. Which is bigger: h or 35?
35
Let h = -115 - -577/5. Let x = 5 - -13. Let f be 6/x*-3*1. Is h bigger than f?
True
Let r = -1047/40 + 134/5. Are r and 2 unequal?
True
Let o(j) = j**2 + 4*j - 4. Let v be o(-5). Let u = 6/5 + 1/20. Is v at most as big as u?
True
Let q = 6.7 + -10.7. Is -0.3 less than q?
False
Let b(v) = -v + 7. Let w be b(7). Suppose 3*r - 8*r - 35 = w. Which is greater: -6 or r?
-6
Let g = 14 + -8. Let u be g/(-9)*(-9)/2. Let k be 2/((u*2)/3). Is k > 1?
False
Let k = 7 - 6. Let l be (-4)/((-2)/(-3)*k). Let g = -5 - l. Which is greater: 2/3 or g?
g
Let l = 0.01 - 0.23. Let k = l - -0.02. Is 2 at most k?
False
Let w = 17 + -12. Let o = 4.9 - w. Which is smaller: 4 or o?
o
Let f = -3 - -1.5. Let o = -1.2 - f. Let p = 1 - 0. Does p = o?
False
Let c = 4 - 4. Let q = 3 + c. Is q greater than or equal to -1/5?
True
Let w = -6.9 + -8.1. Which is smaller: w or -3?
w
Let g be 4/(-8)*(1 + 33) - 3. Which is bigger: -19 or g?
-19
Suppose -5*p + 19 = f - 0*f, 3*f + 11 = 2*p. Let u be p/(-8)*(-5 + 1). Is 2 != u?
False
Let f = 2.3 - 2.13. Let j = 0.09 - f. Which is bigger: j or -1?
j
Suppose -20*q = 8*q - 952. Is 36 >= q?
True
Let d(g) = -3*g - 1. Let l be d(4). Let u = l - -33. Suppose -u = -5*r - 5*z, -2*z = 3*r - 6*z + 23. Which is smaller: -2/13 or r?
r
Let a be 2/(-4) + (-62)/4. Suppose 11*r + 137 = -50. Is r at least as big as a?
False
Let m(y) = y**2 - 2*y - 5. Let n be m(4). Let r(j) = -j**3 + 4*j**2 - j - 2. Let o be r(n). Suppose -5*s - 4 = -29. Which is smaller: o or s?
o
Let b be ((-66)/(-15) + -4)*40. Are b and 15 unequal?
True
Let c = 79/3 + -27. Let i = -0.087 - -0.097. Is i greater than or equal to c?
True
Suppose n + 3*n = -5*w + 11, -4*n = 2*w - 2. Suppose 3*f - 10 = -2*h - 2, -w*f = 5*h - 2. Let j = -4/3 + 2/3. Is h at most as big as j?
True
Suppose -a + 3*a - 8*a = 0. Which is greater: -1.4 or a?
a
Let h be 3 + (4 + -10)*-1. Is h > 10?
False
Let q(t) = -t**3 + t**2 - 2*t - 2. Let g be q(-2). Suppose -r - h - g = h, 2*r = -5*h - 32. Is r greater than -5?
False
Let d = 5 + -3. Suppose 0 = i + d*i - 6. Is i at least 2?
True
Let v = 1.05 + -1. Does -0.2 = v?
False
Let l = 146 - 581/4. Let a = -88 + 89. Which is greater: l or a?
a
Let m = -46/155 - -3/31. Is m > 3?
False
Let j = 11.2 - -3.8. Let w = j + -17. Which is smaller: w or 0.5?
w
Let o be (8 - (-6 + 3)) + 1. Let t = -11 + o. Suppose -4*z = -z + 3. Are z and t non-equal?
True
Suppose -2*x + 10 = 0, 4*z + 32 + 6 = 2*x. Which is greater: z or -11?
z
Let j = 59 + -111. Let h be (-268)/j + (-2)/13. Suppose h*u = 2*u. Which is greater: u or -4?
u
Let g be (-2 + 1)*1 - -9. Suppose -4*b = -3*k + 2, 3*k + b + g = -0*b. Let x be 1/(3/(1 - k)). Which is bigger: -0.1 or x?
x
Let z(l) = 3*l**3 - 2*l**2 - 3*l. Let w be z(-1). Is w > -16/11?
False
Let x = -9 - -9. Suppose 5*j + x = -5. Let s be 2/(6*-1) - j. Which is bigger: s or 1?
1
Suppose 4*t = 5*p + 32, -p - 1 = 5*t + 3*p. Suppose -l + 3*r = t, -l = -3*l + r - 6. Let f be -1 - (-2 - -8)/l. Which is bigger: f or 2?
2
Let n = 14.14 - 0.14. Let x = 23 - n. Let i = x - 7. Is 0.1 bigger than i?
False
Suppose -4*r - 24 = 5*m + 3, 0 = m - 3*r - 6. Let k = -2 - m. Let z be k/2*(-3)/(-6). Is z <= -1?
False
Let p(w) = w**3 - 7*w**2 + 11*w - 9. Let x be p(7). Which is smaller: 67 or x?
67
Suppose 4*c - 6 + 42 = 0. Is c <= -8?
True
Let k = 4.1 - 4. Let i = -2 + 3. Is i greater than k?
True
Let k = -2215/2 - -1078. Let i = k - -415/14. Is -2 bigger than i?
False
Let w = 0.5 - 2.5. Let x = 4 + w. Is x at most -0.3?
False
Let j = -2 - -1.9. Let i = 14 + -12. Let b(u) = u**2 - 2*u + 1. Let s be b(i). Which is smaller: j or s?
j
Suppose 2*i + 15 = 3*k + i, 4*i - 12 = 0. Suppose -j = -2*b + k, -2*b + 5*b - 11 = 2*j. Is 2 > b?
True
Let l = 6.3 - 6. Let o = 1 + -1.2. Let w = l + o. Which is smaller: w or -0.1?
-0.1
Let i = 233783/1353636 + -157/3958. Let l = i - 1/36. Which is greater: 1 or l?
1
Let q = 46 + -78. Is -32 at most as big as q?
True
Suppose 0 = -6*q + 2*q. Which is smaller: -6/7 or q?
-6/7
Let m be 10/(-8) + (-4)/(-16). Let a be (2/(-9))/(0 - -1). Which is smaller: m or a?
m
Let l be ((-3)/6)/(0 - -5). Let s = -0.3 + 0.1. Let n = s + 0.2. Which is bigger: l or n?
n
Let l(f) = -21*f - 23. Let w be l(-5). Is w <= 83?
True
Suppose 0 = -0*r + 5*r - 5. Which is smaller: r or 16?
r
Let x = -109 - -76. Let t be 80/198 + 6/x. Which is bigger: -0.1 or t?
t
Let t = 1.2 - 1.3. Which is greater: t or 3/2?
3/2
Let g be (3/4)/((-1)/36). Let m be ((-3)/15)/(g/15). Does m = -1?
False
Let c(x) = 7*x. Let y be c(-3). Let v = 8 - y. Suppose 12 = 2*i - 2*o, -2*i + v = 2*i - 5*o. Which is greater: i or 1/2?
i
Let p be -1 + ((-108)/(-16))/9. Which is smaller: p or 0?
p
Let b = 18 + -19. Is b bigger than 4/23?
False
Let d(y) = -y - 1. Let c be d(-4). Let u be (-3)/(2*(-9)/42). Suppose -w + a + 3 = 0, 2*a - u = -5*w - a. Is w bigger than c?
False
Let z be ((-43)/4)/(12/16). Which is bigger: z or -13?
-13
Let r = -68 - -45. Is r < 0.2?
True
Suppose 20 = 5*p + 5. Suppose 3*w + q + 2 = -0, 0 = -p*w - 2*q - 4. Are 2/5 and w non-equal?
True
Let p = 73/2 + -38. Is -1 less than p?
False
Suppose 0 = j - 4*o + 11, -o = 3*j - 3*o + 13. Is j < -7/4?
True
Let y(w) = -w**2 + 4*w + 3. Let c be y(4). Is 18/5 at least as big as c?
True
Let g = -193/54 - -7/2. Which is greater: 1 or g?
1
Let b = 21.2 - 32.2. Let u = 3 + -3. Which is bigger: b or u?
u
Let r = -1.37 + 1.4. Let g = -175 - -173.03. Let l = g - r. Is l <= 0?
True
Let f = 61/52 - 12/13. Let u(c) = -c + 2. Let x be u(3). Let n be x + 3 + 4/(-4). Which is greater: f or n?
n
Suppose f + 16 = -3*f. Let m be ((-14)/f)/(1/2). Is 7 bigger than m?
False
Suppose -6 + 24 = 3*l. Is l greater than 1?
True
Let w be ((-6)/(-8))/(1/(-4)). Let y be (-12)/5*30/9. Let m = y + 6. Is m at most w?
False
Let r(g) be the second derivative of -g**3/6 - 3*g**2 + 4*g. Let j be r(-4). Suppose 2*p = 3*h + 8, 0 = 2*p - 7*p + 5*h + 10. Is p smaller than j?
False
Let u = 335 + -6353/19. Which is greater: u or 1?
1
Let z = -7.3 + 1.3. Let v = 5.6 + z. Let l = -0.8 - v. Are 1 and l unequal?
True
Let c be -2*((-1 - 0) + 0). Let x be (-4)/6*(-2 - 1). Let m = x - 0. Is c <= m?
True
Suppose -5 = -r + 2*j, 3*j + 3 = 3*r - 6. Let x be 0 + 1/2*r. Let a = -0.29 + 0.19. Do x and a have the same value?
False
Suppose -6*f = -2*f. Is f at least as big as -3/4?
True
Let t(v) = -v**2 + 18*v + 100. Let l be t(23). Is -16 less than or equal to l?
True
Let r = 124 + -89. Which is smaller: 37 or r?
r
Let j = -5 - -5.12. Let b = -7.98 - -8. Let n = b - j. Is -0.04 > n?
True
Suppose -4*k + h + 96 = -h, 3*k - 3*h - 78 = 0. Let v = k + -19. Is v smaller than 3?
False
Suppose 2 + 26 = -2*o. Let m = -18 - o. Do m and -4 have the same value?
True
Suppose -u = 2*u + 6. Suppose -2*i - 16 = 6*i. Is u equal to i?
True
Let w(l) = 0*l**2 + 0 + l**2 - 2. Let d be w(-2). Which is smaller: 2/3 or d?
2/3
Let k = -62 - -67. Which is smaller: k or 1?
1
Let p = 683054/9657 - 2644/37. Let k = p - -34/29. Ar