 -1/26 != x?
True
Suppose -50*k = -48*k + 18. Which is greater: k or -8?
-8
Let k = 4 + -5. Is -3/23 < k?
False
Let r = 6 + -6. Suppose -3*j - 2*y - 11 = r, -2*j + 8 = 2*j - 3*y. Let p = 2 + j. Is p less than 3/8?
False
Let y = -1 - -1.1. Let d = -10 - -10.3. Is y less than d?
True
Let u be (33/45)/(6/15). Which is smaller: 1 or u?
1
Let y = -5 - -1. Does y = -8?
False
Let d be 0 - (-1 - 1/1). Suppose -d = 2*o - 18. Let f = 9 - o. Is f < 3/8?
False
Let y(q) = -14*q**2 - 7*q - 6. Let u be y(-2). Which is greater: u or -50?
u
Let l = 4392/5 + -870. Is 7 less than or equal to l?
True
Let g(t) = 165*t - 2. Let j be g(-3). Let l = j - -3971/8. Is l less than -1?
False
Let u = -134/175 + 12/25. Let g = 95 - 112. Which is greater: u or g?
u
Let m = -1/3 + 17/15. Suppose 4*u - 8 = -0. Which is bigger: u or m?
u
Let x = 1.8 - 2. Let h = 0.2 + x. Let i = -2 + 0. Is h at least i?
True
Suppose 4*b = k, 0*b - 4*b = -4*k + 12. Suppose 3*p + 15 - 24 = 0. Suppose -3 = p*t - 9. Is t greater than or equal to b?
True
Let m = -783 - -3115/4. Let z be (0/1 + (-3)/9)*9. Which is bigger: z or m?
z
Suppose 0 = 5*l - 3*w + 6, 4*l - l = -5*w + 10. Let b be (1 - 0)/((-14)/(-10)). Are b and l unequal?
True
Let m be 6/21 + (-1 - (-1112)/28). Which is smaller: -1 or m?
-1
Let f(k) = 43*k**2 + k - 1. Let t be f(-3). Let n = -4210/11 + t. Which is smaller: -1 or n?
-1
Let x = 8 - 5. Let d be 4/(-6) - (-14)/x. Which is smaller: 3 or d?
3
Let i = 0.17 + -0.07. Which is smaller: i or -3?
-3
Let y be 0 - -2*(-2)/4. Let t = -40 + 85. Let a = t + -312/7. Is y > a?
False
Let y = -121 + 129.9. Let k = y + -9. Let t = 0.7 + 0.3. Which is smaller: t or k?
k
Let l be (-3)/(66/(-34)) - 1. Which is smaller: l or 1?
l
Let z = 22 + -20. Let c(u) = 4*u - 1. Let a be c(2). Let v(r) = -r + 9. Let n be v(a). Is z at most as big as n?
True
Let p = 2 + -3. Which is bigger: p or -2?
p
Let t be ((-24)/(-20))/(56/20). Let y be 10/(-6) - 1/(-1). Is y smaller than t?
True
Suppose 140 = 2*s - 0*h - 2*h, 354 = 5*s - h. Let k = 145/2 - s. Which is smaller: 1 or k?
1
Let k(o) = o**2 - 5*o - 2. Let n be k(5). Let s = -161564180/267 + 605108. Let g = s - 4/89. Which is smaller: g or n?
n
Let d = -6281/21 + 299. Let f = 2 + -3. Is f >= d?
False
Let x(i) = i**3 + i**2 + 4*i + 1. Let c(k) = k**2 + k + 1. Let q(b) = 3*c(b) - x(b). Let l be q(2). Is -2/3 >= l?
False
Let s(y) = -2*y - 3. Let k be s(-4). Suppose -7*x - 4 = -8*x. Do k and x have the same value?
False
Let p(u) = u**3 + 4*u**2 - 4*u + 4. Let a be p(-5). Let w(r) = r**2 - r - 4. Let k be w(-3). Let q be 1*(k/6 + -1). Which is smaller: a or q?
a
Let y = -6974/17 - -410. Are y and 0 non-equal?
True
Let z be (12 - 0)/4 + -1. Are 3 and z non-equal?
True
Let k(c) = c**3 - 5*c**2 + 3*c + 3. Let i be k(4). Suppose b = -2*j + 4*j - 6, b = -j + 3. Suppose 3*n - j = -6. Is i at most as big as n?
True
Let i(h) = 5*h - 3 + 3*h**2 - 2*h**2 + 0*h. Let j be i(-6). Suppose -3*x + 1 = -5. Which is bigger: j or x?
j
Let v(p) = 10*p - 1. Let w be v(1). Let z be 2 + -4 - (-21)/w. Is z bigger than 0?
True
Suppose -5*a = -0*a + 15. Is -4 >= a?
False
Let o(n) = n**2 + 6*n + 6. Let x be o(-5). Let p be (-7)/(-4) - (-12)/(-8). Which is greater: x or p?
x
Let h be 3 - (-1 - (-2 + 0)). Let v = 77/6 - 37/3. Is v not equal to h?
True
Let a = 233/2 + -114. Suppose -5*h + 7 = -3. Which is greater: a or h?
a
Suppose -m - 4 = 0, 6*z + 42 = z - 3*m. Which is smaller: z or -3?
z
Suppose t + 4*a + 2 = -10, -3*a - 12 = 0. Suppose -3*x + 11 = 2. Suppose -x*q = -3 - 6. Are q and t equal?
False
Let m = 0.21 + -14.21. Let f = m - -13.7. Is -0.1 at least as big as f?
True
Let s(w) = -w - 9. Let l be s(-11). Let x be (-1)/l*4/8. Let m = -0.8 - -5.8. Which is smaller: m or x?
x
Suppose -1 = -4*x - 5. Let m be -1 - (x + 1) - -1. Is m less than or equal to 3/5?
True
Let w(j) = -2*j - 4. Let c be w(-5). Let x be (c/8)/((-2)/8). Suppose -4*t = -3*n + t + 3, 4*n - 4*t = -4. Is n smaller than x?
True
Let v = -4 + 3. Let y = 1 + v. Which is bigger: y or 2?
2
Let w be (-1)/17*(-13)/65. Which is bigger: 0 or w?
w
Let w = -10 - -5. Let i(h) be the first derivative of h**3/3 + 2*h**2 - 6*h - 3. Let x be i(w). Which is bigger: -2/11 or x?
-2/11
Suppose -3*w + 2*w = 0. Is 5/14 at least as big as w?
True
Let q be (4/(-6))/((-2)/9). Let p = -1 + q. Suppose r = -p*r. Does r = -2/11?
False
Suppose 7 = -4*s - 9. Let x = -10 + 5. Are x and s non-equal?
True
Suppose 3*k = 5*y - 12, -2*y - 6 = -4*y. Let c = -1985/581 - -24/7. Let m = 159/581 + c. Which is greater: k or m?
k
Let o(s) = -106*s - 1. Let q be o(-1). Let w be 1/3*q/(-5). Which is greater: -8 or w?
w
Let r be 2*3/(-2)*-1. Suppose -5*s + 8 = -b + 3*b, -4*s + 11 = -r*b. Let z = 9/7 - 8/7. Which is bigger: b or z?
z
Suppose 4*u - 73 = -29. Which is smaller: 12 or u?
u
Suppose 2*r + r = -3. Let g be ((-14)/(-4))/((-3)/38). Let t = 44 + g. Which is smaller: t or r?
r
Suppose 0 = -3*l + 5*l - 10. Suppose 0 = -l*d + 11 + 4. Suppose -4*k + 16 = -g - g, -5*k = d*g + 2. Which is smaller: 1 or k?
1
Suppose 5*g - 11 = 3*o - 30, 0 = 3*g + 4*o - 6. Are g and -3 nonequal?
True
Suppose -5*a - 80 = -5*k, -7 = -2*k + a + 24. Which is smaller: k or 0.2?
0.2
Let o be (-8)/(2 + -1 - -1). Which is smaller: -10/3 or o?
o
Let k(a) = 63*a**2 - a - 1. Let n be k(-1). Let j be ((-6)/(-4))/(n/4). Is -1 greater than j?
False
Suppose -5*s + 12 = 4*g, 2 = g + 2*g + 2*s. Suppose 5*y = 135 + 285. Let v be (-34)/y + 1/(-6). Do v and g have the same value?
False
Let n = -5 - -3. Let y = 1.8 + n. Let g = y + 0.4. Which is smaller: 4 or g?
g
Suppose 4*s + 10*m = 5*m - 47, 3*s = -m - 38. Let i = s - -9. Suppose -2*t = -0*t + 6, -3*t - 24 = 5*x. Which is greater: i or x?
x
Let m be ((-4375)/132762)/(2/4). Let c = -1/327 + m. Which is smaller: c or 2/5?
c
Let i = -219 - -1101/5. Which is smaller: i or 2?
i
Suppose -3*d = -0*d. Let m be 4/(-10) + (-24)/(-10). Suppose 0 = -2*t + 2*q + m, -q = -5*t - 2*q + 5. Which is greater: d or t?
t
Let t(n) = -n**3 - 3*n**2 - 2*n - 5. Let j be t(-3). Is j < 2/47?
False
Let o = 193 + -548/3. Let y = o - 781/75. Which is smaller: 1 or y?
y
Suppose -5*m = 5*h - 80, -28 - 46 = -5*h + m. Let v = -11 + h. Let k = 3 - v. Which is smaller: -2 or k?
-2
Let t be -1*(1 + -1) - (18 - 1). Which is bigger: t or -101/6?
-101/6
Suppose 0 = -5*z - 7 - 43. Let g be (-4)/(-5)*z/(-2). Is g equal to 6?
False
Let u = 41 + -52. Is u < -11?
False
Let u = -1083 - -29245/27. Which is bigger: 1 or u?
1
Let z = -6 - -9. Suppose 0*t + z = -t. Let l = t - -3. Does l = 0?
True
Let p be 4 + -1 + 0 + 1. Do p and 5 have the same value?
False
Let u = 169/4 + -1185/28. Let m = u + 4/7. Is m at most 0?
False
Let w = 18356/27 + -680. Is -1 greater than or equal to w?
False
Let i = -2 + 3. Let c be i + (2/(-2))/1. Which is greater: -4 or c?
c
Suppose 3*v = -3*y + 8 + 1, 3*y + 7 = v. Is -3 at most y?
True
Let y be (7/(-4))/((-2)/8). Suppose -4*b = -4*q + 28, -3*q + 4*q - 4 = -2*b. Is q at least as big as y?
False
Let p = -23.21 - -23. Let f = -0.21 - p. Which is greater: -1/9 or f?
f
Let t = 18.4 - 0.4. Let l = t + -17.98. Is l greater than -1?
True
Let j = 0.028 + 4.672. Let d = j - 5. Let l = -25.2 + 25.2. Are l and d unequal?
True
Let d(j) = -j**2 - 5*j - 3. Let h be d(-2). Let s(p) = p - 7. Let v be s(h). Which is greater: -3 or v?
-3
Let j be 0 + (1 - (1 + 0)). Let o = 2608/7 + -372. Is o equal to j?
False
Let q(h) = -17*h. Let c be q(1). Is c < -17?
False
Suppose 0 = -0*u + 3*u - 36. Let r be (4/10)/(u/15). Which is smaller: r or 0.2?
0.2
Suppose 2*i + 0*i = -l, -3*l = -4*i + 20. Let m be (6/l)/(3/(-7)). Let b be (-30)/(-8)*(-96)/(-72). Is b bigger than m?
True
Let m = 5387/15 + -359. Is 0.14 at least m?
True
Let w = -23 + 39. Let d(n) = -n - 2. Let m be d(-5). Suppose -w = k - 3*s, k - m*k = 3*s - 13. Which is smaller: k or 2/9?
k
Suppose n + 7 = 2*u, 4*u - 6*u - 3*n + 11 = 0. Is u greater than or equal to 4?
True
Let g be 6*6*(-4)/(-16). Which is smaller: 8 or g?
8
Let q be 1 + (-3)/5*4. Do q and -2 have the same value?
False
Let r(s) = -s**3 + 4*s**2 - 3*s - 3. Let f be r(-2). Is 27 equal to f?
True
Let a = 0.066 + -20.066. Which is bigger: a or -2/5?
-2/5
Let f = 11.7 + -9.76. Let z = 0.06 + f. Is -0.02 less than z?
True
Suppose 5*x + 20 = -0*x, 2*x + 8 = -o. Suppose 2*h = -o*h + 2