: u or x?
x
Let w = -40 + 45. Which is smaller: w or 2?
2
Suppose -3*l - 33 = 3*g, l = -5*g - 2*l - 45. Suppose 3*d = 2*k + 18, -4*k - 13 = 4*d - 37. Let w = g + d. Which is smaller: w or -6/11?
-6/11
Suppose 0*n = -2*n. Let u = -1620/9031 - 2/821. Is n at most u?
False
Let h = -118 - -119. Are 1/35 and h unequal?
True
Let i = -5 - -4.9. Let q(v) = -v**2 + 10*v + 13. Let n be q(12). Which is smaller: n or i?
n
Suppose 4*k + 10 + 18 = 0. Let p(u) = -u**2 - 8*u - 5. Let s be p(k). Let j(y) = -y**3 + 4*y**2 - 4*y + 3. Let v be j(3). Is v < s?
True
Let j = 4/9 - 38/45. Let w = j + 1/15. Let v = 8/11 + -2/33. Is w bigger than v?
False
Let j = 3/11 + -26/55. Which is greater: 3 or j?
3
Suppose 5*r = 40 - 35. Let i be 66/10 - 4/(-10). Suppose -31 = 4*w - 2*y - i, 0 = -2*y + 8. Are r and w equal?
False
Suppose 0 = 5*w + 3061 + 789. Let d = -25412/33 - w. Which is greater: d or 1?
1
Let t = 88 + -527/6. Which is bigger: -1 or t?
t
Let z be (-2)/(0 + 2/(-3)). Suppose -33 = 4*o - z*m, -3*o - 5*m = -m + 6. Is -6 at least o?
True
Let s = -85 - -80. Is s at least as big as 6/11?
False
Let x(t) = 2*t + 1. Let q = 4 + -5. Let p be x(q). Which is bigger: p or -6/5?
p
Let a be (-1)/(-3 + 30/9). Let w be (-2)/4 - (-10)/(-8). Is a greater than or equal to w?
False
Let u = -10 - -9. Let p = -2 + u. Suppose -2*d = 5*o + 26, -4*o - 5*d + 0*d = 31. Which is smaller: p or o?
o
Let v(p) = -p**3 - 8*p**2 + 10*p + 9. Let l be v(-9). Let z be (1 - l)*4 - 8. Is -0.1 at least z?
True
Let m be 1036/35 - (-12)/(-20). Which is bigger: m or 31?
31
Let x = 8.8 - 9. Which is greater: 0.1 or x?
0.1
Let v = 2/29 - 157/1015. Is 1 less than or equal to v?
False
Let o(u) = -u**3 - 2*u**2 + u + 1. Let r be o(-2). Let g be (-50)/24 + (-2)/(-6). Which is greater: g or r?
r
Suppose 60 - 1810 = -5*i. Let h be -5*7/(i/(-4)). Which is bigger: 18 or h?
18
Let u = 0.05 + 0.35. Let y = -0.2 - -0.3. Do y and u have different values?
True
Let m = 649/5 - 26599/205. Which is bigger: m or -2?
m
Let j = 1 - 0.85. Let v = j + -0.05. Let t = -0.1 - -0.4. Which is smaller: v or t?
v
Let v(y) = -2*y + 4. Let p(b) = 3*b. Let u be (-1)/(-1 - 0/(-1)). Let t be p(u). Let r be v(t). Which is smaller: -3 or r?
-3
Let r = 12 - 9. Suppose 0 = r*a - g - 22, -4*g - 16 = -a - 2*a. Is a greater than 1?
True
Let m = -22343/41 + 545. Is -1 != m?
True
Suppose -3*i + 42 = -0. Is 16 at least i?
True
Let d = -4.3 - -8.5. Let p = -4 + d. Is 0 greater than p?
False
Let y = -2 + 3. Let k be -1*y/2*0. Suppose -3*n - 3*f - 2*f + 13 = 0, 4*f - 9 = -n. Which is bigger: k or n?
n
Suppose 3*o = o - 5*a - 23, -o + 3*a + 16 = 0. Suppose 6 - 15 = 3*m. Let d be 2/1 + 2/m. Which is smaller: d or o?
o
Let z be -11 + 9 + (-4)/10*-5. Let h be 191/12 - 2/(-6). Let n = h - 15. Do z and n have the same value?
False
Let f = -6 - -8. Which is greater: -11 or f?
f
Let n(x) = -x**2 + 6*x + 8. Let y be n(7). Is -3 at least y?
False
Suppose -4*y - 3*z + 8 = -4*z, -4*z - 15 = y. Which is smaller: y or 0.03?
0.03
Let q = 8 - 10. Let w be q/3*3/2. Let h = -2/93 - -68/279. Is w != h?
True
Let y = -0.1 - -0.2. Let m be 7 + 1/(-1) + 3. Is m at least y?
True
Let p = 320/3 - 1627/15. Is p at most -1?
True
Suppose 6*g - 15 = 5*g. Let x be 0 - (-3 - g/(-6)). Is 2 at least x?
True
Let s = -13.3 - 2.7. Is -1 not equal to s?
True
Suppose -o + 5*p = 14, o - 2*p + 2 + 3 = 0. Let z = o + -1. Are z and 0.2 nonequal?
True
Let n be 36/30*130/2. Is n > 78?
False
Let t = 54 + -57. Which is smaller: 6 or t?
t
Let d = -3/7 + -15/14. Let y = -24 - -22. Which is smaller: d or y?
y
Let k = 1167027/10 - 116565. Let s = k - 138. Suppose -1 - 2 = d + h, -4*d + 2*h + 12 = 0. Is d > s?
True
Suppose -k - 35 = 5*r - 138, -229 = -3*k + r. Let j be k/80 - 6/10. Which is smaller: -1 or j?
-1
Let m = 0.04 + -0.2. Let x = 0.2 - 0.26. Let n = x - m. Are -1 and n unequal?
True
Let g = 0 + 2. Let m = -88.9 - -89. Which is bigger: g or m?
g
Let h(b) = -b**3 + 15*b**2 - 17*b + 45. Let f be h(14). Which is greater: 22/7 or f?
22/7
Suppose -8 = -5*c + 7. Suppose 0*k = -k + c. Suppose o - 1 = 3. Which is smaller: k or o?
k
Let v(q) = -q + 9. Let l be v(7). Let p be (-1)/(-2)*2 - -1. Suppose -7*m + p*m + h = -4, l*m = -h + 3. Is m less than 2?
True
Let f(o) = o**2 - 21*o + 34. Let r be f(19). Which is smaller: r or -11/4?
r
Let x(o) = o**2 + 2*o - 1. Let h be x(-6). Suppose 2*n + h = -5*q, 12 + 13 = -5*q. Is n <= 3?
True
Suppose 3*q + 7*x + 12 = 4*x, -3*x = -q + 16. Suppose -107*p + 4 = -105*p. Is q != p?
True
Let a(f) be the second derivative of f**4/24 + f**3 + f**2 - f. Let s(y) be the first derivative of a(y). Let q be s(-5). Is 1 less than or equal to q?
True
Suppose 3*u = -2*u - 3*w - 15, 0 = u - 5*w - 25. Suppose 2*a - 4 + 6 = u. Let h be -2*(4/3 + -1). Is h at least a?
True
Let k be 6/1142*(-2)/12. Let r = -483/100496 + k. Let c = -3/16 - r. Is -0.1 < c?
False
Let n = 2 - 5. Let i(t) = -t**2 - 5*t - 3. Let c be i(-5). Is n not equal to c?
False
Let i = -28 + 44. Suppose 5*y - 6 = -i. Let t(n) = n**2 + 3*n + 3. Let b be t(y). Which is greater: b or -1/5?
b
Suppose -7*c = -c - 186. Is c bigger than 33?
False
Suppose 3*p + p - 308 = 0. Let x be 1/(-1) + 55/p. Let f(y) = y**2. Let z be f(0). Which is greater: x or z?
z
Let v = -6 - -9. Suppose 15 = -3*c, v*z = 4*z + 4*c + 19. Suppose 13 = -4*u + z. Which is greater: u or -2?
-2
Let n be (-1)/5 - 22/(-10). Which is greater: n or 3?
3
Let h = -2 + 5. Let j(s) = s**2 + 5. Let v be j(-5). Let l be 2/4 - v/(-20). Which is smaller: h or l?
l
Suppose -u + 0*u - 13 = 0. Let b be (-1 + 0)/(u/52). Is 4 != b?
False
Let f be 1/(-2) - 3/6. Is f < -1?
False
Let t be 6/(-4)*(-40)/474. Let j = 167/553 + t. Is 1 at least j?
True
Suppose 5 = -2*x - 3*a, -3*x - 4*a + a = 0. Let q be (3/1)/(1/1). Which is smaller: q or x?
q
Let a = -6/61 - 32/915. Which is bigger: a or 0?
0
Let c be (-1 - (-3)/(-3))/2. Let x = -4 - -6. Let d = x + c. Do -1 and d have the same value?
False
Let a = -377/3 + 122. Is -0.1 greater than or equal to a?
True
Let w be (3 - 5)*1/6. Let y = 0 - 4. Let h = -1 - y. Is w greater than or equal to h?
False
Let j = 25 + -23. Which is smaller: j or 0.5?
0.5
Let r = -19.1 + 21. Let k = 16 - 17.1. Let s = k - r. Which is greater: -1/4 or s?
-1/4
Let l(w) = w + 1. Let o be l(3). Let g(m) = m**2 + 4*m + 1. Let z(h) = h**2 + h. Let y(t) = -g(t) + 3*z(t). Let b be y(-1). Which is greater: o or b?
o
Suppose q + 0*o - 18 = 4*o, o = -3*q + 2. Let z(a) = a**3 + 5*a**2 + 2. Let f be z(-5). Let g be 1 - f - q/(-3). Is -1 < g?
True
Suppose 0*z = 5*z + 5. Let u = -1/12 - -11/36. Which is bigger: z or u?
u
Let b = 11.1 + -11. Which is smaller: b or 5?
b
Suppose 5*r = -5*t + 55, 0*r + 4*r - 3*t = 58. Is 9 less than r?
True
Let p be (-52)/6 - (25/15)/5. Which is greater: -11 or p?
p
Let y = 1 - 0.9. Let o = 1/380 - 837/380. Let m = o - -49/20. Do y and m have the same value?
False
Let b = -8 + -6. Let c be 15/(-2)*b/21. Suppose -c*n + 3*v = 2*v + 9, 4*n - 2*v = -6. Is n at most as big as -3?
False
Let u = 49 - 21. Is u greater than 1?
True
Let w(o) be the third derivative of -o**6/120 + o**5/12 + 7*o**4/24 - o**3 + o**2. Let g be w(6). Which is smaller: g or -1/2?
-1/2
Let x = -46 - -9. Is x >= -38?
True
Suppose 4*j + 8 = 8*j. Suppose -r - 6 = j. Let g be ((-1)/5)/(r/(-20)). Is g equal to -1?
False
Let t = -43 - -45. Which is greater: 39 or t?
39
Let s = 1 - -4. Suppose 0 = 4*b - 2*k - 3*k + 24, s*b + 4*k - 11 = 0. Is -1 less than or equal to b?
True
Let j be 10*5/(-1 + -4). Which is bigger: -9 or j?
-9
Let r be (1/3 - (-91)/(-21))*-6. Is 24 less than r?
False
Let q = -0.38 - 0.62. Which is bigger: 0 or q?
0
Let w be 3 - (1 - 84/(-45)). Which is smaller: w or -3?
-3
Suppose 4*b + t + 11 = 0, -b = -5*b + 2*t - 26. Let w = -9 + 6. Let u = w - b. Which is bigger: u or 0?
u
Suppose 4*r - 5 = 7. Suppose -z = r*z. Is z greater than -2/13?
True
Let y = 11 + -19. Let u be y/(-6) + (-2 - -1). Let i be (7/(-35))/(16/5). Does u = i?
False
Let c be 9/(-12)*(-44)/(-30). Let w = -15 + 27/2. Let i = w - c. Which is smaller: -1 or i?
-1
Suppose -20 = 7*p - 3*p. Let z = 2 + p. Let h = 2 + z. Are h and -4/3 equal?
False
Let h = -4/207 + -1636/1035. Which is smaller: -3 or h?
-3
Let o(r) = r**3 - 7*r**2 + 8*r - 7. Let y be o(6). Let a(c) = 2*c - 57. Let p be a(31). Is y sm