or x?
x
Let q = 113 + -99. Which is smaller: q or 15?
q
Let o be 14/(-3 - (-2)/2). Is -2/9 at least as big as o?
True
Suppose -3*k - 5*t = k - 8, 4*k + t - 8 = 0. Which is bigger: 6/7 or k?
k
Let v be (0 - -1)*3/9. Which is bigger: -0.16 or v?
v
Let i = 12 - 12. Is i != 1?
True
Let s = -59376/611 - -1260/13. Let z = s - 10/329. Which is smaller: z or 1?
z
Let n = 4.7 - 0.7. Which is smaller: 0.2 or n?
0.2
Let s be ((-48)/15)/((-3)/69). Let l = 74 - s. Let u = 10 + -9. Which is bigger: l or u?
u
Let c = -21 - -24. Let u be ((-8)/(-10))/((-3)/(-15)). Which is smaller: c or u?
c
Let l = 7.67 + -8. Let f = l - -14.33. Let v = 9 - f. Is v at least as big as 1/3?
False
Let f = -0.8 - -0.3. Let g = 25 - 24. Which is smaller: g or f?
f
Let w(b) = -b - 3. Let l be w(-6). Suppose 0*g = -g - 3. Let t = -1 - g. Which is bigger: t or l?
l
Let p be 1/(-3) - (-14)/(-21). Is p at least 1/9?
False
Let b = 7.7 - -0.3. Let q = b + -7.9. Is q equal to 1?
False
Let a be (-30)/14*5/(-3) + 1. Which is smaller: a or 5?
a
Let a = 1 + 8. Suppose u = -i + 2, 3*u + a*i = 4*i + 6. Suppose -3*h + 1 = 4*q, -8*h = -3*h + 3*q - 9. Which is bigger: h or u?
h
Let a = 191/3129 - 2/149. Suppose 11 = -4*s + 3*d, 0 = -5*s - 5*d + 3*d + 15. Which is smaller: a or s?
a
Let y(k) = -k**3 + 4*k**2 - 2*k - 3. Let n be y(3). Suppose -x + 11 = 4*w - 4*x, n = -2*w + 4*x + 8. Let m be w*((-10)/4 - -2). Which is smaller: m or 2?
m
Let x = 15 + -24. Let i be 3*(-10)/x + -3. Let h = -4 - -5. Which is smaller: i or h?
i
Let m = 819337/39 - 21007. Let a = 30/13 - m. Which is smaller: -2/11 or a?
-2/11
Let x = 5.1 - 5. Let z = -0.1 - -0.3. Let n = x - z. Is 2 less than n?
False
Let l be (-3)/(-7) + 15/(-35). Let k = 1 - 5. Let v = k + 3. Which is smaller: v or l?
v
Let h = 4 - 22. Let j = h - -17. Is j at most as big as -9?
False
Let i be ((-6)/9)/(6/9). Let o(v) = -v**3 + v**2 - 2. Let h be o(0). Which is smaller: i or h?
h
Let o = -0.5 - -0.6. Let g = 0 - o. Which is smaller: -2 or g?
-2
Let m be (2 - 0)*(2 - 1). Suppose m = -2*r + 3*r. Let q be (-1)/2 - 10/(-4). Are q and r non-equal?
False
Let m = 6.77 - -0.03. Which is smaller: 0.1 or m?
0.1
Let w = 0.1 - -2.5. Let s = w + -1.6. Is -8 less than s?
True
Suppose 2 = -2*w + 3*w. Let t be (-2 + 3)/(1 + w). Let z be 1/(-12)*-3*-2. Are t and z unequal?
True
Let c(t) = t - 9. Let q be c(13). Suppose 0 = q*u - 4*p - 16, p - 4*p = 4*u - 30. Which is greater: 7 or u?
7
Let n = 2 - 3. Let o = n - -2. Let d be (-12)/3 + 2 + o. Which is smaller: d or -0.1?
d
Suppose 0 = 4*w - o + 9, -3*w - 6*o = -o - 22. Is w bigger than 3/10?
False
Let i(g) = -g + 17. Let b be i(7). Let n(q) = q**3 - 11*q**2 + 11*q + 4. Let r be n(b). Which is greater: 15 or r?
15
Let r = 14.5 - 13. Let o = 3.5 - r. Is 1 bigger than o?
False
Let o = -28/3 - -9. Let d(s) = -s**2 + 4*s - 3. Let z be d(3). Which is bigger: o or z?
z
Suppose 8*l - 4*l = -4. Let q(z) = -z**2 + 4*z + 4. Let r be q(5). Is r bigger than l?
False
Let j(m) = -m**3 - 3*m**2 + 4*m + 3. Let y be j(-4). Suppose 5*o - 9 = w, y*w - 4*o - 1 = 5. Let t = w - 4. Is 0.1 greater than or equal to t?
False
Suppose 0 = a - 0*a. Suppose 2*m + k + 0*k + 2 = 0, 0 = -k - 2. Suppose m = 3*z - a*z. Which is smaller: 2/11 or z?
z
Let g be (2/3)/(4/6). Let v(d) = 3*d - 2. Let s be v(g). Which is bigger: -2/19 or s?
s
Let i be (-1 + 1 - -2)*(-5)/50. Is -1 > i?
False
Let h = -7.1 + 0.1. Let w = h - -4. Is w <= 2?
True
Let f = -26 - -26.3. Which is smaller: 0.2 or f?
0.2
Suppose -o - 20 + 2 = 0. Let d be 5*(1 + o/10). Let j be (-2*(-1)/d)/(-1). Is j greater than -2?
True
Suppose 6*r - 7*r = -6. Suppose 0 = -r*p - 0*p. Do -5/6 and p have different values?
True
Let r be 35/3 - (-1)/3. Suppose -r = -5*y + 38. Suppose -3*g = 2*p - 5, 3*g + 4*p + y = -p. Is 3 bigger than g?
False
Suppose r - 2*h = 15 - 4, r + 3*h = -14. Do r and -1 have different values?
True
Let l = 57/238 - 3/119. Let p = -29/70 + l. Which is bigger: p or 0?
0
Let t = 5 + -5. Let m be (-192)/(-104) - 4/2. Which is smaller: t or m?
m
Suppose -2*x - z = -3*z - 14, 2*x + 5*z + 14 = 0. Suppose -5*p - 10 = 2*o, -4*o + x*o - 4*p = 8. Let l = -6 + 1. Which is greater: l or o?
o
Let q(g) = -g**3 - g. Let a be q(0). Let v(m) = m - 1. Let l be v(7). Let o be 2*1*3/l. Which is smaller: a or o?
a
Suppose 0 = -2*p + 2*x + 1 - 3, p = -4*x - 1. Which is greater: 1/161 or p?
1/161
Suppose 2*t - 5*t = 0. Suppose t = -2*r - 4*q - 12, 3*r + 3 = -q - 0*q. Let n be ((-1)/9)/((-1)/3). Does n = r?
False
Let c = -9.53 - 0.47. Which is greater: c or 2?
2
Suppose -10*u - 2 = -8*u. Let w = -3 + 4. Which is greater: u or w?
w
Suppose 3*x = -4*m + 2*x + 22, -x = -3*m + 13. Suppose -2*l = -m*l. Is -1/3 at least l?
False
Suppose d - 9 = -2*d, -35 = -s - 4*d. Does 0 = s?
False
Let n be 0/2 - 9/(-90). Which is smaller: n or -1?
-1
Suppose -116*s + 10 = -115*s. Which is greater: s or 9?
s
Let n(s) = s**3 + 8*s**2 - 5*s - 18. Let g be n(-8). Let z = g - 17. Is z greater than 5?
False
Let x(q) = -q**3 + q**2 + q + 26. Let t be x(0). Let b = -31 + t. Is b less than or equal to 2?
True
Suppose 0 = -2*r + 4*r + d + 2, -2*r + 6 = -d. Let q be -3 - r*1*-4. Let a be 6/(-21)*q*1. Which is smaller: a or 1/9?
a
Let q = -0.12 - -0.23. Let m = q + -0.21. Is 3/5 > m?
True
Let v = 0.06 - 0.09. Let m = v + 0. Let h = m - -1.03. Which is bigger: h or 0.4?
h
Let k = 40 + -37. Which is bigger: -2 or k?
k
Suppose -2*f - 36 + 12 = 0. Suppose 0 = 5*c - 2*c + 27. Let g = c - f. Which is bigger: 1/2 or g?
g
Suppose 2*d = 4*d - 2. Is 6/7 less than d?
True
Let j = -54 - -53. Are j and -10/21 non-equal?
True
Let y be -1 + 3 - (4 - 3). Is y not equal to 2/21?
True
Let h = -14 + 43. Which is smaller: 30 or h?
h
Let l be (8/(-15))/((-2)/(-5)). Let o = 2 - 2. Which is smaller: l or o?
l
Let r be (7/7)/((-3)/24). Which is smaller: -6 or r?
r
Let j(m) be the second derivative of m**3/6 - m**2 + 3*m. Let i be j(1). Which is smaller: 1 or i?
i
Let f(q) be the second derivative of q**4/12 - 7*q**3/6 + 11*q**2/2 - 5*q. Let o be f(5). Which is smaller: o or 4/7?
4/7
Let n = 18 + -9. Which is greater: n or 11?
11
Suppose 2*h = -3*h + 5. Let a(w) = 2*w**2 - 1. Let x be a(h). Which is smaller: x or 5/3?
x
Suppose -10 = f + 4*n, 0 = 2*f + 3*f - 5*n - 25. Suppose -8 = -5*a + f. Which is smaller: 1 or a?
1
Let n be 1/1 - (-73086)/(-51040). Let k = n + 70/319. Let l = -3/16 + k. Is -2 bigger than l?
False
Suppose -5*w = -r - 12 - 9, -3*r = -w + 7. Let b be 1 - (-1 - (0 - r)). Let u = b + -3. Which is bigger: 6/11 or u?
6/11
Let d = -0.41 + 0.42. Let x = 2/215 + 416/1505. Which is smaller: x or d?
d
Let f = 1 + -8. Let r = -9 - -2. Is r equal to f?
True
Let w = 2 - 3. Which is smaller: w or -5?
-5
Let y be -12*(-1)/((-16)/28). Let f = y + 14. Which is smaller: -8 or f?
-8
Let a = 243/1198 + -340825/1390878. Let o = a + 5/43. Is o at most as big as 1?
True
Let h(k) = -k**2 + 13*k - 15. Let a be h(11). Suppose -a*r = -4*r + 9. Is r < -3?
False
Suppose -36 - 9 = -9*i. Which is bigger: i or 1?
i
Let t be 16/(-21) + (-6)/(-14). Is t != 1?
True
Let q = 0.44 - -0.44. Let p = q + 0.12. Which is greater: 4 or p?
4
Suppose p = -3*p. Let r = 239/45 + -37/9. Which is greater: r or p?
r
Suppose 4*t - 119 = -115. Let i = -4/9 + 35/99. Do t and i have the same value?
False
Let o be (3/(-6))/((-3)/(3 - 0)). Is o not equal to 0.4?
True
Let n = -1.2 + 1.19. Let i = n - 0.01. Is 1 at least as big as i?
True
Suppose 3*t - 6*t = -6. Suppose 11 = 2*k + 5*z, 4*k + 0 = -4*z + 16. Suppose k*m + 3 = t*m. Is m greater than -4?
True
Let a = -26.7 + -6.3. Do a and 1 have the same value?
False
Suppose -b = -2 + 1. Which is smaller: 4/143 or b?
4/143
Let a be ((-6)/7)/(45/189). Which is greater: -5 or a?
a
Let k = -4 + -8. Let m be 4*(-2)/k*15. Let a be (-2)/(-7) + m/(-84). Is -1 less than a?
True
Let r be (-2)/(-4) - 42/12. Let p(c) = -c**2 - 3*c - 3. Let w be p(-3). Do r and w have the same value?
True
Let m be ((-3)/2)/(3 + 5). Let i = m + 23/16. Is 0 equal to i?
False
Let m = -6 + 0. Let g(n) = -7 + 4*n + n - 6*n. Let f be g(m). Is f bigger than 2/9?
False
Let z be (18/18)/((-14)/8). Which is smaller: z or -0.1?
z
Suppose -2*b - b = 0. Suppose 5*i + b*i = 0. Is 2/13 smaller than i?
False
Let x = -2 + 6. Let h be (-123)/12 - (-1)/x. Let m be ((-4)/h + 0)/2. Which is smaller: 