 or equal to a?
True
Let c = -1.7 + 1.72. Let g = -0.98 - c. Which is bigger: 0.04 or g?
0.04
Let v = 5 + -2. Let s = 9 - v. Let q = s - 13. Which is bigger: -2/5 or q?
-2/5
Suppose -15*v - 2 = -13*v. Which is bigger: v or 1/83?
1/83
Let z = -4 - 36. Which is bigger: z or 0.1?
0.1
Let t(s) = 2*s**2 - 2 - s - s**2 + 1 + 5*s**3 + 0*s. Suppose -5*d - 6 = 3*q + 5, -3*d + 3*q = -3. Let h be t(d). Is h at least -2?
False
Let b be 24/3 - (4 - 1). Suppose -12 = 4*k, -4*p + 0 = k - b. Which is bigger: 1 or p?
p
Suppose 0 = -3*w + 2*w + 2*t - 2, 4*t = 3*w + 2. Is w < 3/5?
False
Let u = -373/630 + -1/126. Which is smaller: -1 or u?
-1
Let y = 4.1 + -4.1. Is -0.04 at most y?
True
Let b be -1 + 3 + 3*-1. Let m be (-6)/27 - 26/126. Which is smaller: m or b?
b
Suppose -3 = 4*r + 13. Is 2 greater than or equal to r?
True
Let k be (-12)/(-3)*(-54)/(-12). Suppose n - 39 = 4*l, -n + 5*l + 11 = -33. Is n greater than k?
True
Suppose 2*t = -3*s + 5*s - 80, -2*t + 3*s - 76 = 0. Which is greater: t or -45?
t
Let q = -25 - -16. Let m = q - -14. Which is bigger: m or 0.1?
m
Let h = 28 + -35. Which is smaller: h or -5?
h
Suppose 3*r = -3*r - 360. Is r < -60?
False
Let o be (-6)/3 - 292/(-145). Let d = o + 56/145. Let f = 78 + -392/5. Is d greater than f?
True
Let m be ((-4)/2 - -1) + 2. Let n be m/2*(-3 + 1). Let x = -18 + 17. Does x = n?
True
Let l be ((-1)/3)/((-41)/6). Let f(a) = a**3 + 2*a**2 - 3*a + 1. Let u be f(-3). Which is smaller: l or u?
l
Let f be 6/4*2/55. Is f > -1?
True
Let b = -64 - -64.11. Let x = -3.01 + 3. Let h = b + x. Which is smaller: -0.1 or h?
-0.1
Suppose 0 = -7*t + 3*t - 3*t. Which is smaller: t or 4/41?
t
Suppose -c = 2*a + 13, c - a = -2*a - 12. Which is greater: -78/7 or c?
c
Let w(a) = 12*a**3 + a**2. Let m be w(1). Suppose -11 + m = 2*z. Let d be -1 + ((-2)/10 - -1). Which is smaller: z or d?
d
Let f be (-3)/3 + 5 - 2. Suppose -f*g = 2*g - 20. Let d = g - -1. Which is bigger: 7 or d?
7
Let x be 2/(-11) + (-2)/(-11). Suppose z + 2 - 10 = x. Let k be z/(-20) + (-7)/(-5). Is 2 smaller than k?
False
Suppose -11 = 4*d - 27. Let y(x) = x**2 + 11*x + 11. Let f be y(-9). Let p = 10 + f. Which is greater: p or d?
d
Let x(n) = n**2 + 2*n - 4. Let k be x(-3). Let w(s) = -4*s**3 - s**2 - s - 1. Let i be w(-1). Let z be (0 - i/(-1)) + k. Which is smaller: 0.4 or z?
0.4
Let v(k) = k - 10. Let f be v(10). Let q be (0 + -2)/((-2)/8). Let i be -1 - -2 - q/14. Which is bigger: i or f?
i
Let a(x) = -2*x - 2. Let m = 2 + -4. Let d be a(m). Let u = -3 + 4. Is d smaller than u?
False
Suppose 0*s = 5*s. Let r = -13 - -18. Suppose -r*f - 3*b = -s*b - 10, 4*b = 2*f - 4. Which is greater: 1 or f?
f
Let l = -1/67 - -205/268. Let w = -1 - -3. Let i(x) = -2*x + 3. Let v be i(w). Do v and l have the same value?
False
Let t be (-6)/(-4)*33/(-18). Which is smaller: -2 or t?
t
Let q be (-1)/((6/(-3) + 1)*-17). Is q >= 0?
False
Let m be 0 + (0 - 6/(-33)). Let x(t) = -t**3 + 2*t**2 - t + 1. Let h be x(2). Is h bigger than m?
False
Suppose -4*w - 2*m - 92 - 50 = 0, 2*m + 40 = -w. Which is greater: w or -35?
w
Let t = 7/158 - 42049/474. Let w = t - -88. Let v(x) = x - 1. Let o be v(0). Which is bigger: w or o?
w
Let a be ((-3)/(-9))/((-7)/(-6)). Which is bigger: -1 or a?
a
Let u be (-6)/(-2)*(-6)/6. Which is bigger: 0.2 or u?
0.2
Let u = -0.1 + 0.1. Let z = u - 0. Is z at most as big as 0.4?
True
Let w = -51 - -50.9. Let x = 29/9 + -3. Is w smaller than x?
True
Let f = 6 + -3.5. Let w = -3.5 + f. Do w and 2/13 have the same value?
False
Suppose 3*v = -3*v + 6. Which is smaller: -3/7 or v?
-3/7
Let o(a) = -a + 1. Let w be o(-3). Suppose u = -0*u - w. Let k(r) = r**2 + 8*r + 9. Let j be k(-6). Which is smaller: j or u?
u
Let g = 40006/63 - 635. Which is smaller: 1 or g?
g
Let y(p) = -p. Let l be y(-3). Suppose 0 = l*g + 2*g. Is g less than or equal to 1/3?
True
Let z be (-4)/(-6) - 2/(-6). Let g = 18 + -19. Which is greater: z or g?
z
Suppose 0 = -4*f - 4*p - 16, 5*f - 3*p - 8 = -68. Let v be (f/3)/(-1 + 0). Suppose v*d = -6, t + 4*d + 3 + 2 = 0. Is t less than or equal to 2?
False
Let y(m) = -m**3 - 4*m**2 - 3. Let l be y(-4). Let i be (-3)/(-18)*(l + 1). Is i at least 2?
False
Let n be (-2)/2*(-2)/(-6). Let v be 26/(-8) - 2 - 4/(-16). Is n at least v?
True
Let h = 66.1 - 66. Let j = 0.2 + -0.1. Does h = j?
True
Let w be -1*(1 + 0)*-3. Let q(k) = -k**3 + 2*k**2 - 4*k + 4 - w - 7*k**2. Let f be q(-4). Is f less than 2?
True
Let o be -16 - (0/(-4) + -4). Which is bigger: -13 or o?
o
Let t be 3/(-2) + (-852)/120. Let h = t - -291/35. Is h at least -1?
True
Let g = -51 - -151/3. Let c be 3/(-6) - 1/(-2). Which is greater: g or c?
c
Let i(v) = -7*v**3 + 3*v**2 + v - 4. Let u be i(-2). Do u and 61 have the same value?
False
Let q = -12 + 1166/97. Is 1 at most q?
False
Let t be 5/3 - 1 - 1/(-3). Which is greater: 0.18 or t?
t
Suppose -3*r + 6 = -2*u + 3*u, -5*u + 50 = -5*r. Suppose 0 = -3*v - 3*w + 9, -3*v + w = -2*v - 13. Is v less than or equal to u?
True
Let s = 0.2 + -0.2. Let q be (-4)/(-10) - (-18)/5. Let w be ((-14)/8 + 3)*q. Which is smaller: s or w?
s
Let w = 18 + -16. Which is greater: w or 0?
w
Let q = 0.7 - -0.3. Let v be 16/20*(-2)/(-4). Which is smaller: q or v?
v
Suppose 0 = -2*k - 5*b, -k = 2*k - 2*b + 19. Suppose 9*q = 10*q - 3. Let x = q + k. Which is greater: -1 or x?
-1
Let y be 16/40 + (-144)/410. Is 0 equal to y?
False
Let g(l) = 2*l**3 - 5*l**2 + l + 1. Let r(c) = -c**3 + 5*c**2 - c - 1. Let h(d) = -2*g(d) - 3*r(d). Let y be h(-5). Let z = y - -7. Are 3 and z non-equal?
False
Let b(j) = -j**2 + 2*j - 1. Let o be b(3). Let u be 76/(-72) - o/6. Let w = u + 1/18. Which is bigger: w or 6?
6
Let g = 0 - -1. Suppose -6*q = -1 - 17. Is q equal to g?
False
Let h = -954/7 - -136. Suppose 0 = 3*f - 5*f. Which is smaller: h or f?
h
Let y = 5 + -4. Let o = 3/8 - 1/4. Which is smaller: y or o?
o
Let b = -3 + 3. Which is bigger: b or -1/17?
b
Let v(s) = s**3 - 6*s**2 + 6*s - 2. Let k be v(5). Suppose k*n - 8*n + 75 = 0. Let g be (-22)/60 - (-3)/n. Is g at least as big as -1?
True
Let t = 0.2 - 0. Suppose v - 3*k + 13 + 0 = 0, -5*v = -2*k. Let r be (6/(-8))/(3/v). Is t > r?
True
Let l = 211437 + -28755135/136. Let u = l + -17/8. Which is greater: 0 or u?
u
Let i be (3 - 6/1) + 528/177. Which is greater: -1 or i?
i
Let f = 0.68 - 0.6. Let b = 3.08 - f. Is -2 at most as big as b?
True
Suppose r = -3*r - 36. Is r bigger than -5?
False
Let k(d) = d**3 - 23*d**2 + 24*d - 46. Let j be k(22). Are -1 and j unequal?
True
Let w be ((-1)/6)/(11/41). Let z be 2/11*((-1)/(-2) + 2). Let q = z + w. Are q and 1 non-equal?
True
Let o(q) be the third derivative of -q**6/120 + q**5/30 - q**4/8 + q**3/2 - q**2. Let k be o(2). Let x = 59 - 61. Which is greater: k or x?
x
Suppose 3*q = -3*p + 9, 0*q - 2*p = -4*q. Suppose r - 5 = -0, 2*r + 2 = 3*a. Suppose -a = 3*i - q. Which is smaller: i or -2/9?
i
Suppose -3*v + 4*z = -2 - 6, 3*v = -2*z + 14. Suppose -v*r + 6*r = 0. Suppose 3*f + 3*x = r, -f + 3*x + 7 + 1 = 0. Does 3 = f?
False
Let m be ((-4)/3)/((-2)/(-12)). Which is smaller: -9 or m?
-9
Suppose 3*o = -2 - 16. Suppose -4*y + 1 = -k, k = -3*y - 13 + 5. Is o smaller than k?
True
Let d = -398 - -4374/11. Suppose -2 = -0*v + 2*v. Which is smaller: d or v?
v
Suppose 0 = -4*r + 3*r - 3. Let w be 3/(r*6/(-8)). Which is greater: w or 1?
w
Let v(j) be the second derivative of -j**5/10 - j**4/12 + j**3/6 + j**2/2 + 2*j. Let m be v(-1). Let p be (-2)/4*1*-4. Which is bigger: m or p?
p
Let u be 0 + ((-9)/(-51))/1. Let k = 32/85 - u. Is -1 smaller than k?
True
Let m = 2 + 2. Suppose -3*k + 11 = -2*i, -m*k + 15 = -3*i - 0*k. Is 4/9 greater than i?
True
Suppose 0 = -z - 4*w + 11, 11*w - 12*w = 3. Which is smaller: 21 or z?
21
Let h = 2/115 - 5/23. Is -1 at least h?
False
Let u be (3/(-6))/(2/4). Let v = u - -1. Suppose -3*m + 6 = -0*m. Which is smaller: v or m?
v
Let t = 14.3 - 15.3. Let o = -141/7 - -529/28. Which is greater: o or t?
t
Let m = 1 + -1. Suppose 3*u - i = -m*i + 1, -5*u - 2*i = -20. Let y be (-1)/(u - -1 - -1). Which is greater: y or -2?
y
Let g = -4/47 + 123/893. Let v(q) = -q**2 + 12*q - 11. Let s be v(11). Is s less than g?
True
Let a be (-10)/(-45) - (-4)/(36/25). Let l(c) = -2*c - 8. Let k be l(-6). Is k not equal to a?
True
Let y(s) = -s + 2. Suppose 0 = -4*l + l + 12. Let a be y(l