t or 0?
0
Let x = -17 + 5. Which is bigger: -93/7 or x?
x
Suppose 4*v - v = 0. Suppose j - 4 = -v. Which is bigger: 15/4 or j?
j
Suppose 0 + 8 = 4*y. Let z be y/(-3) - (-7)/6. Are 1 and z equal?
False
Let d be (4/1 + -3)/(-1). Let t be (10/(-12))/((-3)/(-2)). Let z = t - -1/18. Which is bigger: d or z?
z
Suppose -2*q - 2 - 48 = 0. Which is smaller: q or -49/2?
q
Let j = 2 + -2.1. Which is greater: j or 4?
4
Let h be 3/((-3)/(-3)) - 3. Suppose f + 24 = -x - x, -3*x - 4*f - 41 = h. Which is greater: -10 or x?
-10
Let t = -11 - -11. Let a = 523/21 + -25. Is t greater than a?
True
Let c be 24/(-8)*(-1)/(-15). Let x(s) = -s**2 - 2*s - 1. Let b be x(-2). Which is greater: c or b?
c
Suppose 0 = 5*o + 7 - 2. Is o equal to 1/5?
False
Let w(p) = p**3 + 4*p**2 + 3*p + 2. Let l be w(-3). Let m(i) = 4*i + 32. Let k be m(-8). Which is smaller: k or l?
k
Let a be 253/1*3/(-15). Let u = a - -51. Which is greater: u or 0?
u
Let t be 1/3*1320/506. Is t less than or equal to 0?
False
Let l = 18 + -19. Let u = 3/62 + -139/310. Do l and u have the same value?
False
Let l = 702/7 + -100. Let i = 57 - 229/4. Are i and l equal?
False
Let b = -1 - 1. Is b at least 1?
False
Let j = -16 - -10. Let h = j + 5. Is -2/3 at least h?
True
Let g be (-2)/(-4)*(-2)/(-11901). Let d = g + 1201973/333228. Let y = d + -27/7. Are 1 and y unequal?
True
Suppose 108 = q - 7*q. Which is bigger: q or 1?
1
Suppose 3*p + 0*o + 61 = -4*o, -3*p - 3*o = 60. Let a = p - -10. Which is smaller: a or -7?
a
Suppose y + 3*k = -12, -9 = 3*y + 3*k + 27. Let v be (y/(-10))/(16/(-40)). Which is bigger: -4 or v?
v
Let v be (-2)/(-2 - (-60)/33). Suppose 4*h - v = z, 3*h - 5*h = z - 1. Is h not equal to 2?
False
Let n(i) = -i**3 - 16*i**2 - 17*i - 34. Let c be n(-15). Is -10/3 less than c?
False
Suppose -2*l + 8 = -2*n, -l + 4*n = -0*l - 13. Let y be (l + -1)/(1 - -1). Let k(j) = 2*j + 12. Let s be k(-6). Is y > s?
False
Suppose -5*t - 6 - 12 = -2*q, 5*q + 2*t = -13. Let d = 2 + q. Let k = 188/77 + -30/11. Which is greater: d or k?
d
Let a be (4/6)/(1/(-3)). Let f be (1 + -3)*a/(-4). Let m(j) = 2*j + 4. Let t be m(-3). Is f at most as big as t?
False
Suppose -36 = -2*t + 6*t. Let q(z) = 4*z + 137 - 5*z - 145 + z**3 + 9*z**2. Let j be q(t). Which is smaller: 1/2 or j?
1/2
Let x be (15/(-10))/((-3)/4). Let t be (x/(-20) - 0)*-2. Which is smaller: t or 0?
0
Let r(y) = 2*y + 24. Let u be r(-12). Let k = -32 - -22. Let x be k/(-8) + (-1)/4. Are x and u nonequal?
True
Let f = 1.68 + -1.7. Let n = -0.08 + f. Is n <= 0.8?
True
Let s = -4.3 + 0.3. Let r = s + 3.8. Let a = r + 0.4. Which is greater: a or 0?
a
Let c = 20.2 + -16.2. Which is smaller: c or -17?
-17
Let v(l) = -l + 3. Let a be v(0). Which is greater: 4 or a?
4
Let m = -6.1 - -2.1. Are -0.04 and m equal?
False
Let g = 151/3 + -51. Are -4 and g nonequal?
True
Suppose 2*x - 4*r = -16, 5*x + 5 + 11 = 2*r. Which is bigger: -5/6 or x?
-5/6
Let r be ((-1)/(-3))/(2/6). Is 10/9 bigger than r?
True
Let k = 7 - 5. Suppose k*l = -3*g - 20, 2*g = 4*g - 3*l + 9. Let v = 4 + g. Is v bigger than 0?
False
Let n = 64 + -90. Which is greater: -25 or n?
-25
Let y = -0.53 + -0.47. Are 18/7 and y non-equal?
True
Let t = -6 - -11. Suppose -t*w + w = 0. Let v be -2 - (-1 - (2 + w)). Is v bigger than 2/3?
True
Suppose 4*q - 5*x - 32 = 0, 4*x = q - 5*q - 4. Let d be 8/2 - 6/q. Suppose 2*j - 4*n = -d, n + 3 = -3*j - 2*n. Are j and -1 non-equal?
False
Suppose -b + 6 = 2*f - 12, -38 = -4*f - b. Suppose -5*v + 4*k - 18 = -f*v, -v - k = -4. Which is greater: 4/3 or v?
v
Suppose 0 = 8*u - 5*u - 21. Are u and 7 equal?
True
Suppose -10*r = -4*g - 13*r - 4, 3*g + 3*r = -6. Let s be (-1)/((-26)/(-18) + -2). Which is smaller: g or s?
s
Suppose z = 5*z - 2*g - 16, 18 = z - 4*g. Suppose -25*u - 2 = -26*u. Is u bigger than z?
False
Let q(c) = -c**2 + 6*c - 4. Let l be q(4). Suppose o + 2*j = 2*o + 3, -9 = -5*o + 2*j. Which is smaller: o or l?
o
Suppose -60 = 2*v - 4*v. Suppose 0 + v = 5*j. Is 5 greater than j?
False
Let c = -17 + 19. Are -0.01 and c unequal?
True
Let s(y) = -y**3 - 11*y**2 - 11*y - 11. Let n be s(-10). Let h be ((-14)/168)/(n/3). Which is greater: 8 or h?
8
Let s be (-80)/6 + (-8)/(-6) + -2. Which is greater: -10 or s?
-10
Suppose 5*f - 21 = 4. Let h be (10/3)/(f/(-15)). Which is smaller: h or -9?
h
Suppose j + 2 = -2*v - j, -13 = 3*v + 5*j. Suppose 5*x = x + v. Is 1 less than or equal to x?
True
Suppose 0 = -43*h + 45*h + 244. Is h < -123?
False
Let k be ((-24)/15)/((-2)/(-10)). Let q be ((-36)/(-15))/(k/(-20)). Suppose 0 = -2*v + q - 0. Is v > 1?
True
Let u = 0.14 - 0.14. Is 0 at most u?
True
Let l(z) = -z**2 + 5*z + 6. Let s be l(6). Suppose -3*j - g + 9 = -0*g, s = -5*j + g + 15. Which is smaller: j or 2?
2
Let s = 5.7 + -0.7. Let m = s - 4. Which is smaller: 0.2 or m?
0.2
Let h(m) = 2*m**2 - 1. Let y be h(-1). Let u = 1/93 - -275/372. Are y and u unequal?
True
Suppose 3*g = 4*l - 53, -2*l - 9 = -3*l + 5*g. Are 13 and l nonequal?
True
Let t be (-61)/(-2)*12/5. Let a = -74 + t. Which is bigger: a or -2?
a
Suppose 0*i = -i + 6. Let d be (-124)/(-60) + i/(-9). Which is smaller: d or 2?
d
Let o = 385 - 401.93. Let b = -17 - o. Let y = b + 0.07. Is -1 bigger than y?
False
Suppose -14*s = -8 - 6. Which is greater: s or 2/37?
s
Let z = -22.8 + 23. Let h = -3 + 4. Are z and h nonequal?
True
Suppose -15 = -0*h - 5*h. Let x(t) = -t**3 - 6*t**2 - 5*t + 5. Let u be x(-5). Which is bigger: h or u?
u
Let r = -3.9 + 1. Is r greater than or equal to 2?
False
Let j(w) = -w**2 + 9*w + 21. Let d be j(11). Let v = -582/5 - -116. Is v at most d?
False
Suppose -s - 2*m = 9, 4*s + 21 = -4*m - m. Let q = 3 - 1. Is q < s?
False
Let z = 7 + -7. Let n = 3/17 + -23/34. Which is bigger: z or n?
z
Let k(w) = -w**3 - 6*w**2 - 6*w - 3. Let b be k(-5). Suppose -4*d - b = -2*d. Suppose 3*u = -u - 8. Which is smaller: u or d?
u
Let s(x) = x**3 + 7*x**2 + 8*x + 4. Let f be s(-5). Let b be (-4)/f + (-144)/(-42). Let a = b + -24/7. Which is smaller: a or -1?
-1
Let j(w) = -w - 21. Let h be j(-13). Which is smaller: h or -17/2?
-17/2
Suppose -2*x + 27 = x. Which is bigger: 10 or x?
10
Let o be (-20)/(-10) + -1*(2 + 2). Is o >= 2/21?
False
Suppose o + 36 = -3*o. Suppose -5*b = 3*n + 25, 7*b = 5*n + 2*b + 55. Which is smaller: o or n?
n
Let s = 11 - 8. Suppose 0 = s*c - 0*c - 3. Is 0 at least as big as c?
False
Let s = 2123395 - 2359092058/1111. Let o = -1/101 - s. Which is smaller: -1 or o?
-1
Let l be -1*5/(0 - -5). Which is smaller: -6/7 or l?
l
Let r(u) = 2*u**2 + 2*u + 1. Suppose -2*i - 2*i - 8 = 0. Let o be r(i). Suppose -o*z + 14 = 4. Which is smaller: z or 3?
z
Let m(a) = a**3 + 3*a**2. Let h be m(-3). Suppose -2*o - 6*c = -3*c - 17, 3*o = 5*c - 3. Suppose -2*v = -h*v + o. Is -1/5 not equal to v?
True
Let u be (-2 - 7/(-3))*3. Let f = -10 - -12. Is u smaller than f?
True
Let x be (-4)/(2*(-1)/4). Suppose -1 = -3*v + x. Suppose -1 = k - 4*d - 0, 0 = -4*k + v*d - 4. Is k at least 0.3?
False
Let o = -1.35 + 0.35. Which is smaller: 4/19 or o?
o
Let a = -9 + 10. Does 1/5 = a?
False
Let f = 0.97 + -1. Let q = 1.03 + f. Let b = 1 + -3. Is q at most as big as b?
False
Let t = 56 - 83. Is t equal to -29?
False
Let z = 1/252 - -53/756. Suppose 5*x - 2*s - 1 = 0, 0*s = 3*x + 5*s - 13. Which is bigger: x or z?
x
Let j = -2 - -3. Let d be 6/34 + 0 + 0. Which is greater: d or j?
j
Let g be -1*2/8*0*1. Suppose -3*p = v, 2*p = 6*p + 3*v. Is g smaller than p?
False
Let z be 15 + -4 + 5 + 1. Is 9 > z?
False
Let x(a) = a**3 + a**2 - a + 3. Let w be x(0). Suppose -2*d - d + 42 = 0. Suppose y - 1 = 5*s - d, 4*s - 5*y - 23 = 0. Is w at least as big as s?
True
Let r = -55 + 54.9. Which is bigger: r or 3/2?
3/2
Let l be (6/(-15))/((-3)/5). Let x be ((-21)/(-14))/(54/8). Which is bigger: x or l?
l
Let f(n) = -n. Let y be f(-5). Let m be 1 - -1 - y - 0. Which is bigger: -1 or m?
-1
Let z be 1/(3/9 + -3). Suppose 0 = 4*n + 20, -5*y + 7 = -n - 3. Which is greater: y or z?
y
Let v = 22 - 32. Are -12 and v non-equal?
True
Let o be (-9)/((-2)/((-8)/(-4))). Are 9 and o nonequal?
False
Suppose 8 = 3*n + n + 4*k, 0 = -4*n + 3*k + 15. Suppose 3*g - 8 = -l - 2*g, 0 = 4*l - n*g + 14. Let r be (-81)/(-189) + 18*2/(-35). Which is bigger: l or r?
r
Let f be (2/8)/((-15)/12). Let b(o) = o**2 + o + 2. Let a be b(0). Suppose 0 = a*g - 5*g. W