er: v or s?
s
Let m be (-4 - -7)*4/(-3). Let y = 0 - m. Which is smaller: 2 or y?
2
Let n = 321 - 486. Let i be n/(-189) + 6/(-14). Are i and -1 equal?
False
Let t be 2/(-1 - 6/(-4)). Let f(b) = 5*b - 5. Let n be f(2). Let z = t - n. Which is smaller: 0 or z?
z
Let i(z) = -7*z**3 - z**2 - 2*z - 1. Let h be i(-1). Is 2 less than h?
True
Let j = -7 + 11. Let w = 24.3 + -24. Which is bigger: w or j?
j
Let s be (2*-2)/(-12)*(2 + 4). Is s greater than 0.13?
True
Let m = -91 - -83.4. Let d = 7 + m. Let z = -0.9 - d. Is z less than 0.2?
True
Suppose 0 = 3*f + 2 + 4. Is f less than 0?
True
Suppose -4*q + 25 + 95 = 0. Suppose 0 = 3*o + 2*o + q. Let z be (-2)/(-6)*o/4. Does -1 = z?
False
Let n = 123 + -367/3. Is 27 not equal to n?
True
Suppose -4*w + 6 + 30 = 0. Let c = -33 - -43. Which is smaller: w or c?
w
Let n = 3 - 9. Let z = -6.1 - n. Which is bigger: 0.04 or z?
0.04
Suppose -2*h - 6 = 3*n, 0*h - 4 = h + 2*n. Suppose h = 5*j - 2*j - 9. Is j bigger than 4?
False
Let r be (-10 - 2)*(-8)/6. Suppose -52 = -4*t + r. Suppose 2*k + 0*x + t = -3*x, -3*k = -4*x - 17. Does k = -1?
True
Suppose -4*h + 2*h = 0. Suppose -10 = 5*o - h. Let y = 0.07 + 0.93. Is o < y?
True
Let u be (-1 - -1)/(-3 + 1). Let n = -1021/12 + 85. Is u at most as big as n?
False
Suppose -6*j + 8*j + 4 = 0. Which is smaller: -19/6 or j?
-19/6
Let q(y) = y**3 - 22*y**2 - 26*y + 47. Let h be q(23). Is h less than -23?
False
Suppose -4*q - 43 = -119. Let j = 19 - q. Which is bigger: j or 1/7?
1/7
Let l = -2 - -11/3. Is l bigger than 3?
False
Let z = 1 + 0.2. Let j = 0.2 - z. Is j at most -1/2?
True
Let s be 3 - (-4)/(-48)*-2*-6. Which is smaller: s or 0?
0
Suppose 2*z = -2*z. Suppose 2*y = 7 - 9. Let a be 8/5 + (y - z). Which is bigger: a or 0?
a
Let d be -3 + 33/7 + -2. Which is bigger: 0 or d?
0
Suppose -2*y + 7*y + 5 = 0. Is -2/11 equal to y?
False
Let g be 1 + 0 + (-21)/14. Is -13 equal to g?
False
Let h = 344 - 346. Let g = 34/19 + -367/152. Is h <= g?
True
Let q = 0.1 + 0. Let h = -0.4 + q. Let o = 0.6 - -0.4. Which is bigger: h or o?
o
Suppose -2*v + 3*v = 4. Suppose -v*c = -1 - 3. Which is bigger: 2/3 or c?
c
Let k be -4*(-15)/50*-1. Let f be -4*(-1*2)/(-4). Which is smaller: f or k?
f
Suppose 4 + 11 = -5*s. Let x = 3 + s. Which is smaller: 1/6 or x?
x
Let g(p) = -3*p - 22. Let j be g(-7). Which is smaller: 2/147 or j?
j
Let p = -51/8 - -13/2. Is p >= 1?
False
Suppose 5*c + 50 = n, -c - 3*c - 51 = -n. Let p be -4 - 5/(n/(-46)). Is p >= 0?
True
Let r be (-24)/15 - (-3)/5. Which is smaller: 1/20 or r?
r
Let g(c) = 3*c + 2 - c**2 - 4 - 4 + 3. Let z be g(2). Which is smaller: z or 1?
z
Let g = -2 - -1. Let c = -14.03 + 14. Let z = c + 0.13. Is g at most z?
True
Let s be 3 + 17*1/(-1). Let g be 8/s*7/(-2). Which is smaller: g or 3?
g
Let i be ((-2 - -5)/6)/2. Which is smaller: i or -1?
-1
Suppose -2*n - n + 6 = 0. Suppose -3*h - n*h + 175 = 0. Let b be (6/(-4))/(h/10). Is 1 bigger than b?
True
Let q = 1 - -1. Let n(p) = -2*p + 1. Let i be n(-2). Let l(w) = w**2 - 5*w - 1. Let h be l(i). Is q at least as big as h?
True
Let t be (-9)/9 + (-4)/(-6). Suppose 0 = -6*l + 3*l. Suppose l + 1 = -u. Is t at least u?
True
Let k = 17 + -17. Are k and 10 equal?
False
Let w(l) = -l - 13. Let q be w(-9). Let c be (q + -1)*(-12)/(-10). Do c and 1/4 have different values?
True
Suppose -8*f = -3*f - 20. Let q be 4/10 - 65/(-25). Is f < q?
False
Let f(h) = -4 - 4*h + 0 - 3*h - h**2. Let k be f(-7). Let y be ((-2)/4)/(5/60). Which is bigger: y or k?
k
Let j = -2 + 5. Suppose 0 = a - 4*p - 2 - 2, 14 = -a - 5*p. Let s(l) = l**2 + 4*l + 4. Let c be s(a). Which is bigger: c or j?
c
Let t be (-1)/1*1 - -3. Suppose 3*a - 4*a + 6 = 0. Suppose -2*s = -4*w + a, 3 = -s - t*s. Is w < -2/3?
False
Suppose -3*t + 0*t = b - 11, t = -4*b. Let x(n) = -n + 5. Let f be x(t). Which is smaller: 3 or f?
f
Let x = 343 - 705/2. Do x and -9 have the same value?
False
Suppose -5*m - 3*c = -4*m - 8, -4*m + c = -6. Let q be 1 + -1 - (-1 + -5). Suppose 5*k - q*k = -3. Which is smaller: k or m?
m
Suppose 7*w - 3*w = 0. Let t be -1 - (-3)/(18/4). Which is smaller: t or w?
t
Suppose 0*h = -h + 2. Let x be (5/(-10))/((-1)/h). Is -2 not equal to x?
True
Let m(a) = a**2 - 14*a - 7. Let g be m(14). Let p be (1 - 0)*16/4. Let u = p + g. Is u bigger than -3?
False
Let g = 257/3 + -86. Which is smaller: g or 0.5?
g
Let s = -5 + 2. Let t = s + 1. Suppose 2*w = -3 - 1. Is w smaller than t?
False
Let l = 2 + -3. Suppose 0*h - 4 = -2*h. Let f be 1/l + h + -1. Is -1/8 equal to f?
False
Let n be 20*((-5)/(-2))/5. Suppose -g = -2*q - n, g - 3*q = 2*g + 10. Is g greater than 2?
False
Let k = 3991/15 + -815/3. Which is smaller: -6 or k?
-6
Let r = -28437/7 + 4056. Let w = -6 - r. Is w at most as big as 1?
True
Let d = -41/95 + 12/19. Which is smaller: d or 7/3?
d
Suppose -7 = -3*z + 11. Let p be 6/(-9)*z/10. Let a = -29/4 + 8. Is p bigger than a?
False
Let k(f) = -f**3 + 2*f**2 + f. Let r be k(2). Suppose 2*n - r*b - 2 = 0, 7 = 5*n + 2*b + 2. Which is smaller: 1/4 or n?
1/4
Let l(w) = w**2 + 7*w + 2. Let d be l(-7). Suppose -d*b = -5*b - 3. Which is bigger: -2/15 or b?
-2/15
Suppose -2 = -3*r + 2*r. Suppose 4*y = r*y + 10. Let w = y - 3. Is w at least 2?
True
Let f = -0.3 + 0.3. Let b = 3 - f. Let k = -3.2 + b. Which is smaller: k or -1?
-1
Let b = -2.2 + 2. Let h = -292 + 288. Which is bigger: h or b?
b
Let t(k) = k**2 - 6*k + 4. Let x be t(6). Let v(f) = f**3 + 6*f**2 + 6*f + 7. Let p be 0 + -4 - (-2 - -3). Let m be v(p). Is x greater than m?
True
Let o = 0.7 + -1.7. Let k be -1*(2/(-1))/1. Let r be 1/(-2 + k/2). Is r less than o?
False
Let y = -6 + 9. Suppose -3*h - 21 = -y. Is h bigger than -5?
False
Suppose 0*l - 20 = -5*b + 4*l, 5*b + 5 = -l. Let n(o) = -7*o. Let f be n(3). Let q be (-2)/(-7) + (-6)/f. Which is smaller: b or q?
b
Let t(x) = x + 2. Let i be t(0). Suppose -a - i*n + 8 = -0*n, n - 18 = -4*a. Is 4 >= a?
True
Let i be 2 + (-5)/3 - (-12)/(-45). Is 1 smaller than i?
False
Let n = 0.85 + -0.82. Which is bigger: n or -4?
n
Let b(p) = -p**3 + p**2 - 2*p. Let h(w) = 5*w**3 - 6*w**2 + 11*w - 1. Let c(l) = -11*b(l) - 2*h(l). Let z be c(-2). Is z at least as big as 0?
False
Let n(m) = -m - 3 + 3*m - m + 0*m. Let g be n(4). Are -2/9 and g equal?
False
Let o be ((-8)/12)/(4/168). Are -1 and o equal?
False
Suppose 2*q = 3*q + 6. Let m = q + 8. Is m smaller than 0?
False
Suppose 3*c + 2*c + 15 = 0, h - c = 6. Suppose h*f - 8 = 7*f. Is f smaller than 2?
True
Let y(h) = -h**2 + 8*h - 5. Let k be y(8). Let d be (42/(-35))/(2/10). Let r be 5/2*d/3. Is r > k?
False
Let d(s) = -s**3 + 8*s**2 + 1. Let w be d(8). Is 1/13 at most as big as w?
True
Let g be 1*(-2)/12*1. Is 2 <= g?
False
Let d be 4/10 - 56/90. Suppose -14 = 3*p - 5*p. Suppose 0 = 4*m - p*m + 3. Is d at least m?
False
Let o = -0.092 - 0.008. Which is smaller: o or 0.17?
o
Let o = 2 - 4. Let h = -30 - -26. Which is smaller: h or o?
h
Let t(a) = 2*a - 14. Let p be t(7). Is -2/101 < p?
True
Suppose 0 = -2*c + 13 + 11. Suppose c*b - 10*b = -22. Which is greater: b or -12?
b
Let z = -101 + 100. Let b(n) = -n**2 + 3*n + 2. Let s be b(3). Do s and z have the same value?
False
Let x be -4*(1/(-2))/1. Let h = x - 2. Let v be (-30)/33*-2 - 2. Which is smaller: h or v?
v
Let q = -5397 + 70195/13. Let d be (6/4)/(546/(-848)). Let h = d + q. Which is greater: h or 2/3?
2/3
Let s = -83 + 81. Is s >= 5/4?
False
Let s = -1/46 - 89/138. Let n = -7/6 - s. Is -1 >= n?
False
Let f be ((-8)/(-5))/(2/(-10)). Let j be 10/f + 2/8. Let q be (1/(-4))/(2/12). Which is smaller: q or j?
q
Suppose 5 = t, 5*t - 30 = -k - 4*k. Suppose -l + 0*f = f - k, 2*l - 2 = -4*f. Is l greater than 1?
False
Suppose -2*s - 8 = -0*s, -4*y - 5*s = 20. Is -1 at most as big as y?
True
Let d = 0.03 - 0.13. Let u = -2/73 + -61/438. Does u = d?
False
Let t = -1 + -1. Let o = 221 + -220. Which is bigger: t or o?
o
Suppose 7*i = 9*i. Which is bigger: i or 2/135?
2/135
Let z(f) be the third derivative of -f**6/120 - f**5/20 - f**4/6 - f**3/3 + 2*f**2. Let u be z(-2). Is 2 equal to u?
True
Suppose -6*d = -3*d + 18. Is -8 > d?
False
Suppose -11*m = 2*m + 65. Suppose 4*l + 3*z + 6 + 14 = 0, -z = 5*l + 25. Is m less than or equal to l?
True
Let t(x) = x**3 + 2*x**2 - 2. Let r be t(-4). Let k = 52 + r. Suppose -2*z - k = z. Is z at least as big as -