/19 - y. Which is smaller: d or -0.3?
d
Suppose -75 + 20 = -5*t. Let w = t - 9. Suppose -17 = -2*f - 5*k, f - 2*k + 7 = w. Is f greater than or equal to 2/15?
True
Let s = -41027/89 - -461. Which is greater: -1 or s?
s
Let s be (-3)/(-666)*18/6. Which is smaller: s or 0?
0
Let y = 7.4 - 5.4. Which is bigger: -0.1 or y?
y
Let g = -4.2 + 0.2. Let r = -3.9 - g. Which is greater: -1 or r?
r
Let w be 4/6 - 3/18*-2. Is w < 2/7?
False
Let v = 45 - 44.7. Is 3/16 > v?
False
Suppose 2*u - 2 = 6. Let p be (-12)/(-21)*(-2)/u. Let m be (-2)/(-4) + (-1)/(-2). Which is smaller: m or p?
p
Suppose -4 = z - 108. Let f be (-4)/12 - z/3. Let m be 75/f*(-4)/(-6). Which is smaller: m or -2?
-2
Let l = 0.44 - -0.06. Let y = l + -0.5. Is y <= 0.3?
True
Suppose 4*s + 46 = 5*y, 9 = -3*s + y - 31. Let o be ((-2)/(-8))/(s/16). Let a = -0.25 - -0.05. Which is bigger: a or o?
a
Let d = -9/71 + -2865/923. Which is smaller: d or -2?
d
Let p = 202 + -202.2. Is -3 greater than or equal to p?
False
Let j = -27 + 29.2. Which is smaller: j or 1?
1
Let w be 33/3 + -4 + 1. Let t be 13 - 11 - w/3. Let l = -3 + 2. Is l equal to t?
False
Suppose -m - 33 = -4*s, 5*m + 3 = -2. Is s at least as big as 9?
False
Let o = 14837/18 + -824. Which is smaller: 0 or o?
0
Let c be ((-17)/1)/(49/49). Which is smaller: c or -73/4?
-73/4
Let i = 0.9 + 0.3. Let c = i - 1.5. Is c at least as big as 1/5?
False
Let b(p) = -p**3 + 5*p**2 + 8*p - 9. Let n = 6 + -2. Let c = n - -2. Let o be b(c). Is 3 less than o?
False
Suppose -5*a - 40 = 4*q, -2*a - q = -0*q + 13. Let f be (-20)/(-11) + a/(-22). Let o be ((-2)/(-3))/(f/9). Is 2 at most as big as o?
True
Let u(d) = d - 1. Let r be u(2). Which is greater: r or -2/23?
r
Let z(f) = f**3 - 4*f**2 + 2*f - 6. Let d be z(4). Let r = -4 + d. Let n be r - ((-20)/9 + 0). Is n greater than 1?
False
Let w be ((-16)/20)/((-2)/95). Suppose -5*b - w - 5 = -4*s, 2*s - 39 = 5*b. Which is smaller: -6 or b?
b
Let k = 0 + 10. Is k not equal to 2?
True
Let f be ((-4)/184)/(1/3). Let x = f - 17/92. Which is smaller: x or 0?
x
Let a = 14.3 - 2.2. Let z = -12 + a. Which is greater: z or 10?
10
Let b = -90 + 87. Which is greater: b or -4?
b
Let w = -0.001 + 0.301. Is w > 3?
False
Suppose -5*v + 27 = -2*v. Is v <= 11?
True
Let f = -6 + 7. Which is smaller: -1/5 or f?
-1/5
Let y(x) = x**3 - 4*x**2 - x + 3. Let w be y(5). Which is greater: 25 or w?
25
Let n = -4 + -6.6. Let d = 11 + n. Is 0 > d?
False
Let t be (10/(-25))/((-16)/10). Let v(y) = y**2 - 4*y - 2. Let h be v(5). Let k = h + -4. Do k and t have the same value?
False
Let z = 1.3 - 0.4. Let h = 0.01 + -0.11. Let p = z - h. Is 0.4 < p?
True
Let r be (-4)/(-3) + (-1)/3. Which is bigger: -4/19 or r?
r
Let w(g) = -2*g**3 - g**2 + 3*g - 1. Let v(s) = -s**3 + 5*s**2 - 5*s + 6. Let o be v(4). Let x be w(o). Is -16 <= x?
True
Let l(i) = -5*i**2 + 6*i + 5. Let k be l(-1). Are k and -11 equal?
False
Let v = -3823/12 - -318. Is v at most as big as -0.1?
True
Let o = 10 - 10.1. Are o and 0.07 unequal?
True
Let r(p) = -4*p - 4. Let l be r(-4). Let u be l/6*(-1)/2. Which is bigger: 1/3 or u?
1/3
Let u(i) = -i**3 + 2*i**2 + 2*i + 2. Let s be u(3). Let z be -1*(-3 - -5) + 1. Are s and z unequal?
False
Suppose -3*x + 12 = -0*x. Suppose 0 = 5*j - x*k - k + 20, 0 = 3*k + 12. Is j not equal to -0.1?
True
Let g be (-6)/12*(6 + 1). Let t = -15/4 - g. Let k = 0.5 - 0.2. Which is smaller: k or t?
t
Let g be -1 - (-3 - (-6 + 2)). Suppose -2*q = 4*i, q - 8 = i + i. Let x = q + -4. Is x at least as big as g?
True
Let z = 51 + -29. Suppose 2*x + 8 = -z. Let m be (3/x)/(4/10). Which is bigger: -1 or m?
m
Let x = 37/216 - 8/27. Suppose 0*m - f = 3*m + 4, 0 = 3*f + 3. Are m and x equal?
False
Let y = 38 + -39. Is y less than 0?
True
Let j(z) = z**3 - 8*z**2 - z + 9. Let n be j(8). Is -1/26 >= n?
False
Let x(u) = -u**2 - 2*u + 4. Let j be x(0). Which is smaller: j or 6?
j
Let y be 388/(-52) + 5 - -2. Let t(v) = -v**2 - v. Let i be t(-1). Which is smaller: i or y?
y
Suppose -13*m + 20 = 7. Is m > -1?
True
Let w = -3 + 2.9. Suppose 3*m = 7*m - 28. Suppose -f - 21 = 3*f + 5*j, -3*f - 2*j = m. Is f bigger than w?
True
Let j be 14/119 + 260/(-476). Let p be 2/4*(-1 - -1). Which is smaller: j or p?
j
Suppose 0 = -2*z - g - 3, 2*g - 14 = 5*z - 2*g. Is z at most as big as -11/8?
True
Let y be (-6)/15 + 571/(-5). Let l(g) = -g**3 + 10*g**2 - 3*g - 11. Let j be l(7). Let f = y + j. Is f at least -2/3?
True
Let r(a) = a**2 - 2*a + 2. Suppose -1 = u - 2*n, 0 = -5*u - 2*n - 0*n + 19. Let c be r(u). Let x be 8/3*72/32. Is c smaller than x?
True
Let a be (-2)/1584*182 + (-1)/(-4). Is a > 1?
False
Let b = 5 + -8. Let d be (b/(-56))/(6/24). Is 0 < d?
True
Let n(i) = i + 11. Let f(s) = -1. Let r(z) = -f(z) + n(z). Let q be r(-13). Let l = -107 + 1817/17. Is q equal to l?
False
Let s(h) = 7*h + 1. Let n be s(1). Suppose p = -3*f - 4*p - 1, n = -4*p. Is f > 4?
False
Let u = -26 + 25. Is -17/7 equal to u?
False
Let i be (-132)/(-5) - -2*(-3)/15. Is 27 less than or equal to i?
False
Let s = 9/32 + -309/416. Which is smaller: 0 or s?
s
Let v = -19/15 - -1/10. Is 0 at least v?
True
Let y = -3 - -3. Let k be 36/24*(-1)/15*1. Is k at least y?
False
Suppose 0*x + 2*x = -3*p - 5, -5*x - 5 = 5*p. Let t = -6 - x. Let k be 4 - 2 - (-18)/t. Is k != 0?
True
Suppose 3*i = -1 + 7. Let u(f) = -f**2 + f - 1. Let p be u(i). Is p >= -3?
True
Let a = 0.4 + -0.4. Let b = a - 0.4. Let f = b + 0.3. Which is smaller: f or -1?
-1
Suppose -3*n = -n - 36. Suppose s + 2*s = -4*j + n, s + 1 = j. Let k be s*(2 + (-42)/20). Is k smaller than 2/7?
True
Suppose 0 = -2*p - 2 - 2. Let q be 1/p - (-10)/4. Let c = 0.3 + -0.4. Which is smaller: q or c?
c
Let n = -1 + 1.2. Which is smaller: 0.4 or n?
n
Let a be 1/(2 - -2)*16/(-11). Let l be (1 - 1)*(-2)/4. Is l != a?
True
Let j = 28/5 - 6. Let g = -2.6 - 0. Let p = g + -0.4. Are p and j non-equal?
True
Let m = 54 + -53. Are m and 1/33 nonequal?
True
Let k(m) = m**2 - m + 4. Let x be k(4). Let l = x - 63/4. Let w = 0 - 0. Is l less than w?
False
Suppose 7*s = 4*s. Which is smaller: s or 4/21?
s
Suppose -m - 12 = m. Is m greater than or equal to -10?
True
Let k be 63/9*(-12)/(-238). Are 0 and k non-equal?
True
Let r = -0.23 - 13.77. Let i = 14 + r. Is i < 0.1?
True
Suppose -5*k + 10 + 4 = 4*u, 3*u = -4*k + 11. Let m = 189 - 191. Is m at most as big as k?
True
Suppose -u + 7 = 3*z - z, 0 = -3*u - 9. Suppose 7 = 3*k + 3*c - 8*c, 5*k - 5*c - z = 0. Which is bigger: -2 or k?
k
Let k = 102966/35 + -2943. Let t = k + 5/7. Which is smaller: 0.1 or t?
t
Let o = -14.2 - -14. Let s = o + 2.2. Is s at least -2/5?
True
Let o = 4 + 1. Suppose 8 = -4*f + 2*q, -o*q + 8 = -q. Which is smaller: 4/17 or f?
f
Let v = 0.5 + -0.5. Let o = 3 - v. Let k = 92/15 + -34/5. Is k less than or equal to o?
True
Let s be (-1)/(-2)*96/84. Let i = 0 + 1. Which is greater: i or s?
i
Let u = -1.7 - -2. Let s = -0.5 + u. Let v = 2 + -2. Are s and v equal?
False
Suppose -n = -0*n - 5. Suppose 0 = -n*a + 3 + 2. Suppose 0 = -2*v + 3 + 1. Is a != v?
True
Let d = 4 + -10. Let k = d + 6. Suppose 0*b + 3*u = -5*b + 7, -u = -4*b + 9. Which is greater: k or b?
b
Let r(q) be the third derivative of -q**5/60 + 5*q**4/24 - 5*q**2. Let f be r(4). Which is smaller: f or 2/9?
2/9
Let z = -80 - -75. Which is bigger: z or -13/3?
-13/3
Let j = 7 - 16. Let v be j/((-1)/1) - 0. Suppose -w = -4*w - v. Is w equal to -4?
False
Suppose 4*s = 128 - 20. Is s less than or equal to 28?
True
Let r(f) = -2*f**2 + 14*f + 6. Let t be r(7). Which is smaller: t or 64/13?
64/13
Let m = 1391/20 + -347/5. Which is smaller: m or 0?
0
Let u = -9 - -9. Is u less than -0.7?
False
Suppose 3*k - 5 = w, 3*w + 6 = 2*w + 4*k. Let g(p) = p**2 - 3*p + 1. Let o be g(2). Is o at most as big as w?
False
Let s be 5/(-20) - (-2)/8. Is -1/5 at most as big as s?
True
Let d(t) = t + 4. Let x = 20 - 23. Let f be d(x). Is f greater than 2/17?
True
Let y = -1/97 + 205/1067. Let m be 4 - 0 - 3 - 2. Which is greater: m or y?
y
Let i be 2/9 - 8/36. Suppose i = -g + 4*n - 4, 2*g + 3*n = -0*n - 8. Is -4 < g?
False
Let z = -2 + 8. Does z = 7?
False
Let o be -17 + 18 - (-5)/(-4). Which is smaller: o or 0?
o
Let i be (-1 + 2)/1 + 1. Let l(m) = -m**3 + 3*m**2 - m - 2. Let v be l(i). Let x be 2 + v/3 + -2. Is x bigger than 0?
False
Let h be 2 + ((-1)/3)/(8/40). Wh