ue
Suppose 0 = 3*k + 5*y + 60, 7*k + 63 = 2*k + 4*y. Let u = k + 13. Which is smaller: u or 0.3?
u
Let t = 8 + -5. Suppose -3*s - 63 + 69 = 0. Which is bigger: s or t?
t
Let n be 2 + (-2 - (-4 + -15)). Let r be -4 - -3 - n*-1. Is 0 less than r?
True
Suppose -6*u + 2*u = -4*v - 48, 0 = -3*v - 15. Suppose 3*r = -5*h + 27, 3*h - r = -5*r + 14. Is u <= h?
False
Let l = -51 + 55. Let r be 1 + (-5)/((-3)/l*-4). Which is greater: 0.1 or r?
0.1
Suppose 4*h = -4*h. Suppose 3*v + h + 3 = -3*q, 0 = v + 5*q + 5. Let s = 283 - 1984/7. Is v at most s?
False
Suppose -683 = -p - 605. Which is greater: 76 or p?
p
Let r = -0.29 + 0.253. Let s = -2.037 - r. Which is bigger: -14 or s?
s
Let t = 139 - 697/5. Let j = 211 + -219. Which is greater: t or j?
t
Suppose 9 = -7*t + 2. Let v be 0 + (t - -11)/(35/(-5)). Are v and 0 unequal?
True
Let l = 367 + -477. Which is bigger: 3 or l?
3
Let b(t) = t**2 - 5*t. Suppose -4 = x + 2*j - 1, -2*j - 18 = -4*x. Let p be b(x). Let f be -1 + 3 - (21 + p). Is f <= -13?
True
Let m be -49*8/(-48)*-6. Is -51 less than m?
True
Suppose -5 = -g + 2*s, -4*g + 20 = -3*g + 3*s. Let t be 0/g + -1*1. Let k be t/(-7)*42/7. Which is smaller: 1 or k?
k
Let u = -189 + 761/4. Let s = 6.18 + -6. Let t = 0.38 - s. Which is greater: t or u?
u
Let h(f) = f**3 - f**2 - 2*f + 3. Suppose 6 = -3*x + x. Let z be h(x). Let k = z - -53/2. Does k = -2?
False
Let j(m) = 4*m - 6*m - 27 + 0*m. Suppose -3*z = -6*z - 39. Let b be j(z). Is -1/2 bigger than b?
True
Let z(m) = -m**2 - 10*m + 11. Let y be z(-12). Let p = y - -19. Let n = p - 19/3. Which is smaller: 2 or n?
n
Let w(v) = -v**2 - 9*v - 3. Let i be w(-8). Suppose -2*c = -1 - i. Suppose 5*o - z = -34, c*o - o - 4 = -4*z. Is o less than or equal to -8?
False
Let j be 34/340*(-6)/(-15). Which is greater: 0 or j?
j
Suppose m - 4*b + 16 = 0, 5*m - 4*b + 8 = -2*b. Suppose 7*h - 9*h + 8 = m. Let v be (2*h/264)/1. Which is smaller: 1 or v?
v
Let c = -41 - -41.04. Let q = c - -0.36. Is -3 at most q?
True
Suppose -15 = 2*g + 3. Are g and -2 equal?
False
Suppose -18*b + 50 = -23*b. Let k be (-5)/30*(-18)/b. Let a = -2 - -2. Is a equal to k?
False
Let v be 1 + 17/12*-2. Let d(p) = p**2 - 5*p + 6. Let m be d(4). Suppose 16 + 4 = -5*f - 5*c, -10 = m*f + 3*c. Which is smaller: v or f?
f
Let b = 3065181/283 - 10831. Is b at least as big as -1?
True
Let i = -8.6 - 7.9. Let g = i + 16. Which is smaller: 2 or g?
g
Let u(i) = 5*i - 18. Let p be u(-4). Let c = 113/3 + p. Is c < -2?
False
Let l = 978.96 - 976. Which is greater: l or -2?
l
Let b be (-1)/(-3) + (-6)/18. Let g = -36.92 - -37. Is b greater than g?
False
Let s = -450 + 454.5. Is s > -9?
True
Suppose 0 = 3*v + 64 + 128. Which is smaller: v or -65?
-65
Let u be (6/2 + -3)/(-4). Let w(s) be the third derivative of -s**6/120 - s**5/60 + s**4/24 + 3*s**3 + s**2. Let g be w(u). Is g > -0.1?
True
Let m = 152.49 - 21.49. Is m <= -3?
False
Let s = -618.4 + 616. Is -0.08 greater than or equal to s?
True
Let m be (-6 - (-77)/11)*(-85)/(-1). Which is bigger: 84 or m?
m
Let l = -238 + 292. Which is bigger: 59 or l?
59
Let u(i) = -i**2 + 7*i - 6. Suppose -5*o = 2*y - 70, 6*o - 5*o = 2*y + 2. Let q be (-2)/(-4)*(o - 2). Let h be u(q). Is h greater than 1?
True
Let w = 13.4 - -4.6. Let c = -20.95 + 1.95. Let u = c + w. Which is bigger: 16 or u?
16
Suppose 25*r - 1980 = 35*r. Which is greater: r or -1?
-1
Let n(t) = 0 - t + t - 2*t + 4. Let y be n(1). Let q = 17/10 - -4/5. Is q > y?
True
Let d(h) = -h**3 + 17*h**2 - 15*h - 1. Let z be (4 - 6)/((-2)/16). Let l be d(z). Do 15 and l have different values?
False
Let j = -1/4588 + 18451/454212. Does j = 1?
False
Let v = -29.5 - 8.5. Let t = v - -68. Which is bigger: -0.1 or t?
t
Suppose 4*o = 3*o - 80. Let y be 236/o - 4/16. Which is smaller: y or -3?
y
Let x(f) = 3*f + 58. Let n be x(-23). Let i = -29 + 14. Let r be 4/10 - (-156)/i. Which is greater: n or r?
r
Let d(n) = -n - 7. Let v be d(1). Let z be 2/6*(0 - v) + 0. Which is smaller: z or 2?
2
Let o = -0.0046 - -9.0046. Which is smaller: 18 or o?
o
Let i = -0.1222 + 0.0222. Is i not equal to 2.91?
True
Let v = -207 + 205. Which is smaller: v or 2/5?
v
Suppose -5*x + 4*x + 244 = 0. Let m be (-6 - (-1472)/x)*(-1)/(-2). Which is smaller: m or 0?
0
Let m = 55 - 91.1. Let v = m + 36. Which is greater: 2/95 or v?
2/95
Let r(o) = 15*o + 443. Let v be r(-30). Let l = -1 - 5. Is l < v?
False
Let s = -3.7 + 8.7. Let x = 1 - s. Let q = 0.7 + -0.2. Which is bigger: x or q?
q
Let i = 1819/11 - 166. Let x = 492 + -27014/55. Let r = i + x. Which is smaller: r or 0?
0
Let a = -0.0426 - -0.1426. Which is smaller: 2/29 or a?
2/29
Suppose 0 = 3*u - u + 2*j - 10, 11 = u + 4*j. Suppose -1 = u*o - 73. Which is greater: o or 25?
25
Let j(b) = b**3 - 39*b**2 + 34*b + 133. Let n be j(38). Suppose -3*g - 44 = 2*f - 4*g, 3*g = -5*f - 88. Does n = f?
False
Let d be (-6)/(-20)*(-10)/555. Let h = d + 198/2405. Which is smaller: h or 1?
h
Let u = 95 + -48. Let h = -55 + u. Is -1 at most as big as h?
False
Let d be (-23 + (-3 - -7))/((-26)/(-4)). Is d < -2?
True
Let d(b) = 3*b + 1. Suppose -5*a = 5*r, 0*a - r - 8 = -a. Let s be d(a). Is s equal to 14?
False
Let s be (-2)/(-11) - (-12548)/(-165). Let t = s + 76. Is -1 less than t?
True
Let k = -1.95 - -2. Let f = -4.95 + 5. Let t = f - k. Are t and 0.6 equal?
False
Suppose 5*b = m + 200, -5*m - 946 = -2*b + 4*b. Is -191 at least as big as m?
False
Let b be ((32/26)/8)/(1/6). Let q be (0/43)/(1 + -4 - -1). Which is bigger: q or b?
b
Let l be 0*2*(-1)/4. Let b be (-1)/((-2)/(-532)) - 1. Let t = b - -2940/11. Which is smaller: t or l?
l
Suppose 5*x + 0*y + 4 = 3*y, -13 = 2*x - 5*y. Let h be 0 + x - (4 + 805/(-266)). Is 0 at least h?
False
Let t be 92 - ((-18)/(-9) - -2). Which is greater: 91 or t?
91
Suppose s = -2*o - 7, -4*o - 22 = -2*s + o. Let u be s*2 - (-24)/(2 + 2). Suppose 18 = 3*d - 0. Do d and u have the same value?
False
Let q = 287/130 + 5/26. Suppose -2*r + 0*r - 40 = 0. Let o = -21 - r. Is o greater than or equal to q?
False
Let j = -60 + 60.23. Let b = j + 3.77. Which is smaller: 0.1 or b?
0.1
Let t be (11 + -11)/((-2)/(-2)). Let y be (3 + -7 + 3)*t. Is y >= 1/82?
False
Let k be 16/84*(2 - 14/4). Let r = -729/44 - -108/11. Which is bigger: k or r?
k
Let a be (1 + -1)/(4/(-2)). Suppose a = 4*r + r - 30. Let x be (2/r)/(-5 - -4). Which is smaller: x or 1?
x
Suppose -4*w + 6 = -q, 3*w - 6*q + 10*q + 5 = 0. Which is bigger: w or 10/43?
w
Suppose 0*z + 4*z + 3*n = -9, n = -3. Suppose -1 = -5*q + 14. Let a(v) = -v + 2. Let h be a(q). Which is bigger: h or z?
z
Suppose 0 = 198*q - 206*q + 128. Is q at most 9?
False
Let n = -1096 - -1096. Which is smaller: n or 8/335?
n
Let m be (2 - 0)*1/(28/44). Let d = -73/21 + m. Is d at least as big as -2/5?
True
Let f = -27921 + 195898/7. Is f smaller than 63?
False
Suppose -16*z = -13*z + 18. Let f be (3/z)/((-27)/6). Let x(h) = h**3 - 10*h**2 + 8*h + 8. Let s be x(9). Which is smaller: f or s?
s
Let z = -6525/7 - -6708/7. Let k = z + -177/7. Suppose 31*h - 54 = 4*h. Which is smaller: h or k?
k
Let d = 4/481 + -2777/44733. Let v = d - 1061/1023. Is 0 < v?
False
Let d be -1*(-15)/20 + 37/4. Suppose -3*p - 9 = -4*p. Which is smaller: p or d?
p
Let n = -35 - -38. Suppose -57 = n*f - 12. Let u = f + 34. Is 0 < u?
True
Let z be 672/40 - (-4)/(-5). Is 16 at least as big as z?
True
Let p = 0.0129 - 0.0129. Let k = -2 - -3.2. Let h = 0.2 - k. Is h equal to p?
False
Let u be 112/(9 - 5) - 20/(-10). Let p = 4 + -3. Are u and p nonequal?
True
Suppose -v - 2*v = 198. Let o be 3/1 - v/55. Which is bigger: o or 3?
o
Let c(z) = -2*z - 43. Suppose -5*m = 6*m + 231. Let f be c(m). Let v be 3/(-8)*(-1)/3. Which is smaller: v or f?
f
Let x = -5 + 9. Suppose 11 = -x*o - f, -4 = 2*f - 14. Which is greater: o or -7/2?
-7/2
Let o = 34 - 103/3. Suppose 0 = -5*f - 3*x + 3, f - 4 - 15 = 4*x. Suppose f*c + 2 = -n + 2*c, -5*c - 4 = -n. Which is smaller: o or n?
n
Let k be 1 + -9 + 72/9. Is -17/23 greater than or equal to k?
False
Let m(q) = -2*q - 3. Let x be m(-5). Let k(r) = -r**3 + 8*r**2 - 6*r + 5. Let o be k(x). Let c = -16 + 27. Which is smaller: o or c?
c
Suppose 253 + 137 = -3*y. Let o = y - -130. Is o at least as big as 0?
True
Suppose 2*g - 7 - 1 = 0. Let b be (1 + 2)/((-18)/(-28) + 0). Is b greater than g?
True
Let j(h) = 3*h - 3. 