j. Suppose -s - 3*l + 16 = j, -4*s + 3 = 4*l - 21. Which is bigger: v or s?
s
Let f = -15 - -14.8. Which is bigger: -3/8 or f?
f
Let q = -181/30 + 41/6. Let a be 5*2/(-40)*-4. Which is smaller: q or a?
q
Suppose 1 = p - 5*q, 0 = -2*p + 4*q - 0*q + 8. Let l = p - 2. Suppose 0*h = -l*h. Which is bigger: -2/9 or h?
h
Let w = -0.12 - -8.12. Let d = -9 + w. Is d equal to -1?
True
Let a = -48/13 - -458/117. Does -1 = a?
False
Let k(m) = m**3 - m**2 - 3*m + 3. Let f be k(2). Let a = 3 + f. Is a smaller than 3?
False
Suppose -5*g = -0*g + 20. Let q = 2 + g. Suppose 0 = l - 1 + 2. Which is bigger: q or l?
l
Let b = -42959/43 + 999. Let z be (1 + 0 - 0) + -1. Is z > b?
True
Let h = 13 - 7. Suppose -3*w + 14 = -4*a, 4*w + 8 = -a - 5. Let n be (w/h)/((-1)/(-3)). Is n at most as big as -1/5?
True
Let o = 3 - 3. Suppose -3*g - 1 = 4*v - o, 4*v + g = 5. Suppose -v = -f - 3. Is 2/13 != f?
True
Let t = 3.1 - 1.1. Is -4 not equal to t?
True
Suppose -5*k = -10 - 0. Which is smaller: k or -4?
-4
Let z(v) = v**2 + 5*v - 3. Let m be z(-5). Let d be (m/(-27))/(7/(-3)). Is -1 != d?
True
Let d(m) = -17*m - 29. Let r be d(-3). Is 20 less than r?
True
Let n = 22 - 22. Let a = -4 + 3. Which is bigger: n or a?
n
Let v = -51 + 84. Which is greater: 34 or v?
34
Let o be -1 + 172/(-52) + 4. Let f = -7 - -8. Which is bigger: o or f?
f
Let s be (-3 - -1)*219/(-6). Let a = s + -443/6. Is -1 bigger than a?
False
Let d = 27 + -9. Let j = d + -12. Let k = j - 7. Which is greater: k or -2/5?
-2/5
Let o(j) = -j**3 + 3*j**2 + 3*j + 1. Let t be o(3). Which is smaller: t or 1?
1
Let v = -41/2 - -125/6. Is -5 at most as big as v?
True
Let s be -1*(-6 + 3)/(-3). Suppose 0 = -3*k - 12, 3*a + 2*a - 2*k = 8. Let g = a + s. Is g < -2/5?
True
Suppose 10 = -5*u - 5. Let b = 2 + u. Let q = 0.05 - 2.05. Is b bigger than q?
True
Let x be (-2)/42*(-2 - 4). Is -7 at least x?
False
Let q = -1.3 - 11.7. Which is greater: -2 or q?
-2
Suppose 64 = -3*f - 47. Is f less than -37?
False
Let c be 3/6 + 108/8. Do 15 and c have the same value?
False
Suppose 0 = 9*o + 1 - 19. Is o < 3?
True
Let q = 6 - 4. Suppose q*x = 5*x + 3. Let f = -4044/17 + 238. Which is bigger: f or x?
f
Let d = 16 - 11. Suppose 2*r + d = -3*x, -2*x = 5*r - 2 - 2. Suppose -r*b - 3*l + 11 = 0, b + 0*l - 4 = -l. Which is smaller: -1 or b?
-1
Let a = -0.064 + -8.936. Are 6 and a equal?
False
Let p = 4 - 4.1. Let b = 3.1 - 3. Let l = b - 1.1. Which is greater: l or p?
p
Let l(v) = v**3 + 4*v**2. Suppose -5*q + 26 - 71 = 5*m, -2*m = -q + 3. Let o be l(m). Suppose 5*z - 2 + 5 = 2*y, 3*y = -z - 4. Which is smaller: z or o?
z
Suppose 10*p - 40 = 5*p. Let g be 5 - (-1 - -2)/(-1). Let q be (-2)/(p/g)*4. Which is smaller: -7 or q?
-7
Let f(l) = -l**3 - 4*l**2 + l. Let y be f(3). Which is bigger: -61 or y?
y
Let v = -139/10 - -122/5. Let o(b) = b**2 - 11*b + 20. Let g be o(10). Which is greater: g or v?
v
Let a = -99 - -2773/28. Is 1 less than or equal to a?
False
Let b be (6/(-8))/((-1)/8). Let v = -5 + b. Do -1/5 and v have different values?
True
Let r = 7.2 - -0.8. Let f = -7 + r. Is -0.2 at least f?
False
Suppose -3*k - k + 468 = 0. Let n = -817/7 + k. Which is bigger: n or -1?
n
Let c(n) = 2*n**2 - 21*n. Let m be c(10). Which is smaller: m or -9?
m
Let z = -1 + 0. Let y = 5.96 + -6. Let t = y + 4.04. Is z not equal to t?
True
Suppose -5*q = -0 - 5. Let g = -10 + 6. Let z = -2 - g. Which is smaller: z or q?
q
Let x be -1 - (-3)/3*-2. Let t be (-6)/8 - x/4. Let b be ((-1)/2 - 1)/3. Which is greater: b or t?
t
Suppose 5*b - 9 = 16. Which is smaller: 6 or b?
b
Let d be (-873)/1320 - 2/16. Let m = d - -2/55. Is -2/7 > m?
True
Suppose 4*f - 7*f + 12 = 0. Let h be (1 - 1)*f/8. Is 1/4 at least as big as h?
True
Let r(i) = -i**3 - 6*i**2 + i. Let y be r(-6). Let c(t) = t**2 + 4*t - 7. Let w be c(y). Let f(p) = -p**2 + 5*p - 2. Let x be f(w). Is -2 bigger than x?
False
Let q be 1/3*-1 + (-2)/(-6). Is q < -1/9?
False
Let i = -4 - -2. Let n = 2 + i. Suppose n = -3*q - 1 - 2. Is -1 at least q?
True
Suppose -5*q + 9 = -11. Suppose 2*o + 26 = 4*d - 8, q*o = -5*d - 42. Which is bigger: -11 or o?
-11
Let k be (-2)/(-5)*20/44. Let m(f) = -4*f**3 + 3*f + 6. Let u(p) = p**3 + p**2 - 1. Let y(a) = -m(a) - 3*u(a). Let t be y(4). Which is smaller: t or k?
k
Let j be ((-3)/(-4))/(33/(-24)). Suppose 2*l + 1 = 9. Suppose 6 - 2 = -l*n. Is j at least as big as n?
True
Let j = 8 - 0. Which is smaller: 9 or j?
j
Let c be (-18)/(-27) - 52/(-30). Is c not equal to 3?
True
Suppose -3*u + 0 = -3. Let z = u + 6. Which is smaller: 6 or z?
6
Let q = -6 + 6.1. Let c = q - -0.3. Is -1/3 equal to c?
False
Suppose -2 = n - 2*n. Suppose 3*u = -4*d + 31, 29 = n*d - 4*u + u. Suppose -4*v - d = 2*i, -i + v = -0*v - 4. Is i bigger than -1?
True
Let a = 2.93 + 0.07. Let t = 8 - a. Let q = -4.9 + t. Is 2 less than q?
False
Let v = -9 + 29. Let b = 47 + v. Let k = b - 333/5. Which is bigger: -2 or k?
k
Suppose 3*q - 5 = -2*q. Suppose -c + k + q = 0, -2*c = 3*k - 13 + 1. Suppose c*h + 20 = -2*h. Which is bigger: h or 0?
0
Let g be (4/(-6))/((-10)/105). Let p(u) = u**3 - 5*u**2 - 4*u - 9. Let a be p(g). Let n = a + -245/4. Is n smaller than 2/3?
True
Suppose 0*l + 4*l = -2*g - 16, -3*g + 6 = 0. Let i be 2 + l - 0 - 1. Let o = -4 - -1. Which is bigger: i or o?
o
Let g = -3/25 - -89/325. Suppose v - 20 = 4*n, -n + 6*n = -4*v - 25. Let r = v - 0. Is r bigger than g?
False
Suppose -16 = -l - 0. Suppose 0 = -5*u + 4*t - 0*t + l, -5*u - 4*t - 16 = 0. Let y(k) = -13*k + 128. Let q be y(10). Is q less than or equal to u?
True
Let q = 4 - 4. Let a be q/(2/(-4)*2). Which is greater: -2/5 or a?
a
Suppose 0 = 5*g - 3 + 8. Which is bigger: -2/5 or g?
-2/5
Let h(t) = -2*t**3. Let c be h(-1). Suppose -2*o - j + 12 = j, 3 = 3*o - c*j. Do o and 3 have the same value?
True
Let a be (0*(-2)/4)/(-2). Are 12 and a unequal?
True
Let n = 522834/7 - 74820. Let b = n - -130. Is b less than 1?
True
Let x be ((-2)/(-4))/1*4. Let s be x/(-7)*(-7)/(-3). Suppose 2*p + 2*a = 0, 4*p - a = 3*a. Which is bigger: p or s?
p
Let m be 854/870 - (1 + 0). Let t = m - 10/87. Is 2/5 at least t?
True
Let i be 0 + (-4 - -11) + -1. Let n = -20 + i. Does -14 = n?
True
Let s = -12 + 16. Let y be 7/((-7)/2) + s. Which is smaller: y or 4/7?
4/7
Let l be -1 + 0*1/(-2). Let s = -1 - l. Let u(w) = w**3 - 3*w**2 + 3*w - 2. Let p be u(1). Which is smaller: p or s?
p
Suppose -2*b - 11 = -2*o - b, -3*o + 5*b + 20 = 0. Let p = -6 + 9. Suppose -4*t = -8*t - p*i - 16, 25 = -5*t - o*i. Is -2/5 >= t?
True
Let a = 2 - 8. Suppose -2*b - 5 = -b. Which is greater: b or a?
b
Let h be (4 - 69/9) + 3. Which is bigger: h or 0?
0
Let g(o) = -7*o - 2. Let u be g(2). Let w be u/8 + (-14)/(-8). Is w <= 0?
True
Let h be (0 + 1)/(-2)*0. Let w = 81 + -895/11. Which is smaller: h or w?
w
Let u = -9 + -21. Which is greater: u or -61/2?
u
Let x = 1.7 + -1.2. Let t = 2.8 + 0.2. Let s = t + -3. Which is smaller: x or s?
s
Let x = 49 + -22. Let o be (-6)/x + (-2)/(-9). Which is bigger: o or -2?
o
Let h = 10 - 9. Is h less than 25?
True
Let n = -18 - -13. Let h = 5.2 + n. Is h not equal to 0.2?
False
Let b be (-7)/(-14)*(-4)/(-13). Is b bigger than 0?
True
Let s = -5 - -5. Let q be (-10)/(3/((-222)/(-4))). Let l = -560/3 - q. Do s and l have different values?
True
Let c(q) = 5*q**2 - 4. Let t be c(2). Is t at least 16?
True
Let q = 3 - 0. Let l = q + -6. Let y = 0.068 + -0.068. Which is greater: y or l?
y
Let f = 4.9 + -4.9. Is f > -0.02?
True
Let x = -4 + 5. Suppose t = 3 + x. Suppose -5*j + 5 + 9 = -4*m, 2 = -t*m - j. Is m greater than or equal to -2?
True
Let t = 14.09 + -14. Do 1 and t have different values?
True
Let k = 1/15 - -2/15. Let p(m) = m**3 + 6*m**2 - 7*m - 2. Let q be p(-7). Are q and k equal?
False
Let k be 12/54 - (-8)/(-198). Let c = 4 - 3. Which is bigger: c or k?
c
Let b = 357/5 - 71. Suppose -2*f + 3*f = -1. Which is bigger: b or f?
b
Let s = 1 + -1. Suppose 0*b - b = s. Let t(o) = o**2 + 1. Let u be t(b). Is 1 greater than or equal to u?
True
Let f be (2/(-1) + 57)/21. Let s = 51/7 - f. Is 6 bigger than s?
True
Let l be (8 - 2)*(-2)/3. Let r(g) = g**3 - 2*g**2 - 2*g - 4. Let j be r(3). Which is greater: l or j?
j
Let o be 2/(-1) + 11/5. Let s(c) = -c - 3. Suppose 17 = -5*k + 2. Let j be s(k). Is j at most o?
True
Let h be -2*2 - (2 + 1 + 6). Is -1