be 0/3*k - -1. Which is bigger: -3/2 or s?
s
Let v = 51 + -52. Is -1/55 at most as big as v?
False
Let x = 5.43 - -0.07. Let l = -3.6 + x. Let b = l + -2. Which is smaller: b or -2/3?
-2/3
Let y = 322 + -9017/28. Which is bigger: 0 or y?
0
Suppose 4*l = 2*d - 6, 4*d = -0*d - 4*l + 24. Suppose 2*h = h - d*c - 32, 8 = h - 3*c. Is h < -7?
False
Let p = -13/71 - -1195/5751. Let a = 19/324 + p. Is 0 < a?
True
Let r = 0.2 - 0.2. Let f = -13 - -8. Which is smaller: r or f?
f
Suppose -f + 48 = 3*f. Let r be 3/9 - 4/f. Which is smaller: r or 1?
r
Let q = -262 - -7337/28. Do q and -1 have the same value?
False
Suppose 0 = 2*f + 3*f - 2*h + 6, 0 = 5*f - 5*h. Which is smaller: f or -15/7?
-15/7
Let k = 10 + -31/3. Is k at least -2/103?
False
Let r(h) = -h**3 + 6*h**2. Let g be r(6). Let p be 33/22*4/(-3). Let w be p/18*(-7 + 10). Which is greater: w or g?
g
Let n = -11.4 - -12. Are n and -2 equal?
False
Let p = 146/65 + -24/13. Is 0 equal to p?
False
Let o(n) = 4*n**2 + 2*n - 2. Let c be o(-2). Suppose -c = -5*g - 0*g. Let h(s) = -s - 2. Let z be h(g). Which is greater: -5 or z?
z
Let p(u) = -5*u - 128. Let v be p(0). Is v less than -129?
False
Suppose 7 = -4*a + 4*k + 139, 0 = 4*a - 3*k - 135. Suppose 3*q = -0*q - a. Let o be 20/(-6) + q/(-6). Which is smaller: o or -2?
-2
Suppose 9 - 1 = 4*m. Let x = -1 - m. Let y be -1 + 1 - (-5)/x. Are y and -3 unequal?
True
Suppose r = 3*d - 8, 2*r = 3*r - 1. Suppose 0 = -d*s + s + 6. Let j = -2 - -4. Is j smaller than s?
True
Suppose -5*a = -p - 19, -28 = -3*p + a - 3*a. Which is smaller: 7 or p?
p
Suppose -4*b = -8 - 0. Let h be (-1 - -2)*(-21)/3. Let c be 21/h*(-2)/10. Is c at most as big as b?
True
Let f = 17 - 18. Do f and -1/8 have the same value?
False
Let i be (-4)/(2/1) - -126. Let x = 1241/10 - i. Which is bigger: -1 or x?
x
Suppose -5*v - 4*w + 19 = -4*v, -5*v + w + 11 = 0. Let k be (v - 5) + (-12)/(-5). Is 0 at most k?
True
Let h be -13*(-3)/(-3) - -2. Let x = -9 - h. Is x != 1?
True
Let l be 1 + -2 + 32/20. Suppose -z + 1 - 3 = 0. Which is bigger: z or l?
l
Suppose -y - 1 = 1. Is y greater than or equal to -3?
True
Let i = 4.8 - 5.8. Which is smaller: 1/3 or i?
i
Let k(p) = -p**2 + 6*p. Let r be k(6). Let g be 21/35 - (-6)/(-10). Is r at least as big as g?
True
Suppose 0 = -z, 3*z - 8 = -0*u - u. Suppose u = 3*q + q. Let l be (-1)/(q/10) - 0. Is l less than -5?
False
Suppose 2*t + 2 + 14 = 0. Which is greater: -7 or t?
-7
Suppose -4*p + 25 - 89 = 0. Which is smaller: -49/3 or p?
-49/3
Suppose 11 = k - 2. Let u = k + -11. Is u at most 3?
True
Let p(f) = 6*f - 35. Let t be p(6). Is t less than 1/116?
False
Let p be ((-4)/(-2)*-1)/(3 + 22). Let u be (-14)/(-8) - (-1)/4. Suppose u*o = -o. Is o at most p?
False
Let l = -71/6 + 23/2. Suppose 4*c - 1 = 3. Suppose b - c = -0. Which is smaller: b or l?
l
Suppose -5*m = -m + 8. Let a = m - -3. Let q be (27/144)/(18/8). Is a less than q?
False
Let r be 28/(-9)*(-4)/(-8). Is r at least as big as -1?
False
Suppose -2*j = 3*x - 4*j - 3, -5*j + 4 = 4*x. Which is smaller: x or -2/35?
-2/35
Let t be ((-6)/9)/((-24)/9). Which is bigger: t or 10?
10
Let m = -1919/230 - -1/23. Let z = -17/2 - m. Is 1 equal to z?
False
Suppose 18 = 3*b + 5*j, 0*b + 18 = 3*b - 3*j. Let r = -4 + b. Suppose r*x + 2*x = 0. Are x and 0 unequal?
False
Suppose -5*v + 3*f = -3*v - 15, 0 = -4*v - 2*f - 10. Which is bigger: -3/26 or v?
v
Suppose 0 = m + 14 + 21. Let r be 14/m + (-6)/10. Suppose 0 = y - 3*y - 2. Is r greater than y?
False
Suppose -2*a = -2 + 34. Let s = -25 - a. Which is bigger: s or -10?
s
Suppose 3*j + 8 + 16 = 0. Let r = 12 + -20. Is j < r?
False
Let s be (-4)/(-10) + 12/20. Let y be (5/(-18))/((-2)/188). Let f = -79/3 + y. Which is smaller: f or s?
f
Suppose 0*m = -3*s + 3*m + 18, -3*s - 5*m = -10. Let n = s + 3. Are -1 and n non-equal?
True
Let o = -1 + 4. Let r = 1.1 + -1. Are o and r nonequal?
True
Let c = 0.07 + 0.01. Let h = -0.22 - c. Do h and -2/7 have the same value?
False
Let v be (51/442)/((-6)/8). Which is smaller: 1 or v?
v
Let a(n) = -n**3 - n**2 + n - 12. Let i be a(0). Let c = i - -19. Is c at most 6?
False
Let m be (-12)/(-54) - 272/9. Let d be (24/m)/((-22)/5). Which is smaller: -3/2 or d?
-3/2
Let x(s) = s**2 - 6*s + 1. Let b be x(5). Let p be b/6 - (-2 + 1). Which is smaller: p or 1?
p
Let g = 19 + -30. Let n = 11 + g. Let p = -211 - -2323/11. Which is smaller: n or p?
n
Let h(k) = k**2 - 5*k + 4. Let j be h(4). Suppose 4*s - s + 3 = j. Is -1 at most as big as s?
True
Let y(c) = c**2 - c. Let g be y(1). Let l be (-1 - -1)/(-1 + g). Let p(d) = -d**3 - d**2 + d - 4. Let n be p(l). Which is smaller: -3 or n?
n
Let j be 0 - (0 + 0 + -1). Suppose -3*y + j + 2 = 0. Suppose -1 = -2*a + 3. Which is bigger: y or a?
a
Let z be (8/12)/(2/(-3)). Are z and -3 equal?
False
Let q = 37/18 - -4/9. Which is smaller: q or 2?
2
Let o be 4/((-16)/17)*4. Is o bigger than -16?
False
Let b(i) = i**3 - 6*i**2 + 4*i + 5. Let c be b(5). Let o = -2/5 + 9/10. Which is smaller: o or c?
c
Let p be (-1 + -1)*7/(14/8). Let v(g) = -g**2 - 2*g + 3. Let c be v(-4). Let f = p - c. Which is smaller: f or -4?
-4
Let s = 13 - 19. Let a = 7 - 6.8. Are a and s equal?
False
Let s = 5 - 5. Is -1/8 bigger than s?
False
Let w(f) = f**3 - 14*f**2 + 23*f + 16. Let d be w(12). Let p(i) = -1. Let u(j) = 2*j - 14. Let t(s) = -12*p(s) + u(s). Let h be t(2). Which is greater: d or h?
d
Suppose -4*a + 2*z + 20 = 0, -4*a + 3*a + 4*z = -12. Let t = -5 + a. Suppose 2*k - 3*l + 12 = 0, -4 = k - 4*k - l. Are k and t unequal?
True
Let l = 74 + -74. Which is greater: -46 or l?
l
Suppose -5*g - 10 = -s, -s - 2 - 3 = 0. Let r(o) = -o**3 - 3*o**2 - o + 1. Let l be r(-2). Let i be (-1 - -3)/(g - l). Is 0 at least i?
True
Let a = 97/2 - 49. Let y be 3/((-9)/6) + 1. Which is smaller: a or y?
y
Let r be (-2 + 36/15)*20. Suppose 0 = 5*x - 15, -4*l + 5*x = 11 + r. Which is bigger: l or 2/9?
2/9
Suppose 3*v + 6 = 5*y, 3*v + 3*y - 13 = 5. Let q(i) = i**3 - 2*i**2 - 3*i - 1. Let l be q(v). Which is greater: -6/7 or l?
-6/7
Let y be ((-8)/(-10))/((-12)/(-90)). Do y and 13/2 have the same value?
False
Let v = -21 + 22.6. Let m = v + 4.4. Is 0 less than m?
True
Let x(t) = 6 - t**3 - 4*t**2 + 3 - 12. Let d be x(-4). Which is greater: d or -4?
d
Let r = -254 - -253. Let y be ((-2)/6)/(25/6). Is y at most r?
False
Suppose -3*m = -3*z - 15, 0 = -0*m - m + 4*z + 5. Suppose -2 = 2*q, -m*f + 2*q + 37 = -0*f. Suppose 12*b + c - 12 = 10*b, -30 = -5*b + c. Is f bigger than b?
True
Let d(b) = -b**2 - 4*b - 3. Let h be 15/25 + (-54)/(-10). Let p = 4 - h. Let x be d(p). Which is smaller: x or -0.3?
-0.3
Let g be (-195)/63 + 3 + -2. Let s = 10/7 + g. Let r be 2/8*2 - 1. Is r > s?
True
Let o = 2 - 3. Let c = -1.1 - o. Let s = -0.03 - 0.07. Is s less than c?
False
Let a = 1.29 - 1.4. Let d = 0.01 + a. Which is smaller: -0.06 or d?
d
Suppose 6 = 3*g + 3. Let y be (5 - g)*1/(-6). Which is smaller: y or -2?
-2
Suppose 0 = 5*n - 3 - 7. Let v(g) = g - 2. Let s be v(n). Are s and 2/5 equal?
False
Let a = 1 - 1. Let v be (36/(-21))/(4/(-14)). Suppose v*h = 4*h - 2. Which is greater: a or h?
a
Suppose 11*o - 10*o - 1 = 0. Let c be (-2 + 2)/(-3)*o. Are 1/9 and c non-equal?
True
Let m = 8 - 9. Which is bigger: m or 1/3?
1/3
Let k = -180.7 - -181. Which is smaller: 11/6 or k?
k
Let h = -0.15 + -14.85. Let n = 15.4 + h. Do -0.4 and n have the same value?
False
Let u(t) = t**3 + 3*t**2 - t - 2. Let n be u(-3). Let q(c) be the second derivative of c**4/12 + c**3/3 + c**2/2 - 11*c. Let x be q(-2). Is x > n?
False
Let s = -0.12 - -0.18. Is s at least 1?
False
Let z(l) = -3*l + 1. Let s be z(0). Let g be 7/(-6)*(-8)/(-406). Is s greater than g?
True
Let y = 4068/7 + -591. Let j = y - -64/7. Suppose k = -i + 3 - 2, -2*i = -4*k + 16. Is j at least as big as i?
True
Let t be (18/27)/(4/6). Let j be (0 - t) + 0 + 2. Let r = -20/3 - -7. Which is bigger: j or r?
j
Let m = -24 - -23. Does 1/7 = m?
False
Let q = 5477/12 + -456. Is q < 1?
True
Let t(r) = -r - 10. Let b be t(-8). Let o be ((-6)/(-2) + b)*2. Is 2 at most as big as o?
True
Let c be (-2)/(-6)*3*-1. Let v(u) = -u**3 + 7*u**2 - 5*u - 2. Let h be v(6). Let q be (-3)/(42*1)*h. Which is greater: q or c?
q
Suppose 0 = 2*m - 4 - 4. Suppose -d - d = m. Let s = -74/7 - -275/28. Does d = s?
False
Let i(l) = l**2 + 4*l + 