s smaller: n or 1/18?
n
Suppose 7*y - 11*y + 4 = 0. Let k be y/(-5) + 0/(-8). Which is smaller: 1 or k?
k
Let d be (74/(-10) - -3) + 3. Let y = 0.9 + 0.1. Is y equal to d?
False
Let b = 6.23 - 0.23. Which is smaller: 0 or b?
0
Suppose 4*k = -3*a + 49, -3*a = -5*k - 11 + 52. Is 11 equal to k?
False
Let j be 2/(-9) + 60/27. Let m be 14/j + 2 - 0. Suppose 6*x - m = 3*x. Is 4 less than or equal to x?
False
Let j be 0*3/6 - -1. Let f be (-1 - 2/1)*16/(-888). Is j less than f?
False
Suppose 0*v + 4*r + 7 = -3*v, -5*v + 3*r = -27. Which is smaller: 13/4 or v?
v
Let y be 2/9 - (-32)/18. Suppose -2*n + 7 = 5*w - 0*n, 0 = -2*w - y*n - 2. Which is smaller: w or 1?
1
Let h be (2*(-4)/(-8))/((-2)/(-36)). Does h = 18?
True
Suppose a + 2 - 4 = 0. Let f be a/(0 + -1 + 0). Is f smaller than -1?
True
Let v = 838 + -15926/19. Is 0 less than v?
False
Suppose 0 = -8*o + 11*o + 6. Which is smaller: -18/13 or o?
o
Let u = -1 + 1. Suppose -4*r = 4*f - 0*f + 28, -2*f = -5*r - 14. Let n = u + r. Which is smaller: -3 or n?
n
Suppose -5*a = 2*o + o + 9, 6 = a - 2*o. Suppose 0*z + 8 = 4*z. Let y be a - z - -1*4. Is y greater than 1?
True
Let j = -2738/39 - -1580/13. Suppose 156 = -3*b + 4*x, 5*x + 93 = -3*b - 63. Let p = b + j. Is -1 less than p?
True
Suppose -33 = 5*i - 8*i. Is 11 greater than or equal to i?
True
Suppose 8*g - 3*g + 4*w = 24, 48 = 5*g - 2*w. Let p be (g + -8)*(-2)/4. Suppose z + p*t - 2*t = 7, -3*z - 24 = 3*t. Which is smaller: z or -1/2?
z
Suppose -3 = u - 5. Suppose 0 = -0*y + u*y - 8. Let a = y + -6. Do a and -1 have different values?
True
Let a be (-5)/(90/21)*(2 - -2). Which is smaller: -6 or a?
-6
Suppose 2*l = -4*h + 3*l - 1, 0 = -3*l - 9. Which is greater: h or 12?
12
Let m = 11 - 8.6. Let k = 9.4 - m. Is 1 greater than or equal to k?
False
Let b = 1 + 2. Let i be 3 - (124/20 - b). Is i <= -1?
False
Let c = 34 - 103/3. Let n(k) be the third derivative of -k**4/24 - k**3/6 + k**2. Let o be n(-1). Is o at most as big as c?
False
Suppose 4*c + l - 12 = 8, 3*c - 5*l + 8 = 0. Let a(u) = -5*u - 3. Let x(s) = -6*s - 3. Let p(t) = c*x(t) - 5*a(t). Let b be p(-5). Which is greater: b or 0.1?
0.1
Suppose -2*c = 3*c. Suppose 2*v = -2*k + 3 + 5, c = 2*v + 5*k - 14. Suppose 3*s + 1 = v*s. Which is smaller: s or -2?
-2
Let a(j) = 2*j + 3. Let v(s) = s**3 - 4*s**2 - 4*s - 7. Let g be v(5). Let r be a(g). Which is smaller: r or 0.3?
r
Let l = -50/3 - -251/15. Is l at most 1?
True
Let m = 1.6 - -0.4. Let b = -3.9 + 4. Let h = 0.1 + b. Which is bigger: h or m?
m
Let f be (25/50)/(2/(12/15)). Let a(w) = w - 3. Let o be a(2). Is f less than o?
False
Let z = 3.9 + -4. Which is smaller: -1 or z?
-1
Suppose -2*g - 3*g - 15 = -3*d, -2*g - 5 = -d. Let t = -1087737/95 - -11450. Let v = -5/19 - t. Which is smaller: v or g?
v
Let v(s) = 6*s + 33. Let g be v(-4). Does 0.2 = g?
False
Suppose 3 = -2*y + 7. Suppose -1 = -y*w + 1. Let t = -1 - -1. Which is smaller: w or t?
t
Suppose 0*k - 11 = k. Is k < -9?
True
Let q = 80/21 - 225/7. Let d = 313/12 + q. Let v = d - -31/12. Are v and -1 unequal?
True
Let s = -74 - -45. Is -29 > s?
False
Suppose i = -2*s + 43, -2*s = -2*i + 111 + 5. Which is greater: 52 or i?
i
Let n(f) = -f - 9. Let s be n(-10). Let v(a) = a**2 + 8*a + 9. Let h be v(-7). Suppose 4 = h*o - 0. Which is greater: o or s?
o
Let r be 1 + 2 + -7 - -9. Let v be (-2)/(-4) + r/(-20). Let o(d) = -d**2. Let u be o(0). Which is smaller: u or v?
u
Let o = 3 + -3.4. Let r = o - -0.2. Let j = -6 + 8. Is r at most as big as j?
True
Let p be (-82)/(-4) - (-2)/4. Let t = -299 + p. Let s = 3060/11 + t. Is s != 0?
True
Let z be (-6*(-2)/(-9))/(2/9). Are -1/2 and z equal?
False
Let g = -0.13 + 1.13. Let r = -1.1 + g. Which is greater: r or -7?
r
Let p be 0*2/(-8)*-2. Which is greater: p or -1/5?
p
Let u be (-4)/(-26) + 3093/(-78). Is u bigger than -39?
False
Suppose -2*r - 3*r + 20 = 0. Let o(z) = 9*z - 20. Let l(k) = 14*k - 31. Let v(a) = 5*l(a) - 8*o(a). Let n be v(r). Is n bigger than -3/2?
False
Let i = 0.9 - 1. Suppose 4*g - 32 - 28 = 0. Suppose -g = 2*p + p. Is i less than or equal to p?
False
Suppose -2*l - 3*l = 0, 2*w - 8 = l. Let p = w + -1. Let q be (1*-1)/(3/3). Which is greater: p or q?
p
Let u(b) = -4*b**2. Let n be u(-1). Let m = -0.05 + 0.05. Does m = n?
False
Let h be (0 + 2/645)*-1*5. Which is bigger: h or 0?
0
Let t be 1*(-4)/8 + 2. Suppose 4*f - 15 = -f. Which is greater: f or t?
f
Let q = -0.57 - -0.6. Let d = 0.8 + -0.8. Is d greater than q?
False
Let w(t) = 25*t**2 - t - 1. Let b be w(-1). Suppose -4*u = -b + 5. Is u >= 3?
True
Let i be (-1)/(-2)*-2 - -3. Suppose 3*x = -2*x - 20. Are x and i non-equal?
True
Let j be 2/4*4/(-7). Let b(l) = 4 + 0*l - 3 + l. Let d be b(0). Which is bigger: j or d?
d
Suppose -3*z = -5*q + 66, 0 = -z + 2*q - 6*q - 5. Does -17 = z?
True
Let a(l) = l + 9. Let j be a(-8). Let r be -1*j*3/3. Let p(n) = n**2 - 1. Let h be p(r). Is 0 at most as big as h?
True
Let u = -48 - -27. Let b = 19 + u. Which is bigger: b or 1?
1
Let g = 0 - 1. Let p = g - -1. Which is smaller: p or -3/2?
-3/2
Let b = -4 - -11. Let w = 55 - 48. Is w < b?
False
Let t be (-84)/17 - 9/(-3). Let o = -397/187 - t. Which is smaller: o or 0?
o
Let j be -2 - (-8)/(0 - -1). Let i be (-32)/j + 5/15. Let r be 3 + 1 + -1 - 7. Which is greater: r or i?
r
Let j = 0.03 - -20.97. Let o = j - 19. Is o not equal to -0.1?
True
Suppose -5*r + 20 = 0, r = 2*a - 0 - 2. Suppose 3 = a*x - c + 4, 5*c = 5*x + 5. Let y(w) = -w - 3. Let p be y(-4). Which is smaller: p or x?
x
Let d = 12 + -11.9. Is d smaller than 15?
True
Let n = 17 + -16. Which is smaller: -3/8 or n?
-3/8
Let d(t) = 3*t**2 - 25*t - 24. Let m be d(11). Is 66 greater than m?
True
Let z = 10 + -10. Let n = 13 - 6. Is n < z?
False
Suppose -7 = -5*c - 27, 2*c + 6 = y. Let t be (1 + 0)*(-3 + 0). Which is smaller: t or y?
t
Let l = 171 + -187. Which is greater: -29/2 or l?
-29/2
Let c = -0.197 - -0.197. Which is smaller: 50 or c?
c
Let d be 6/10 + (-7)/(-5). Let f(u) = u**3 - 3*u**2 + 3*u. Let x be f(d). Suppose 1 = -2*a - z + 5, 2*z = -x*a + 2. Which is bigger: a or 2/3?
a
Let n be 2984094/(-153)*2/(-18). Let w = 2167 - n. Let h = w + -4/17. Do 3 and h have the same value?
False
Let g be (-2)/3 + 3/(-6). Which is bigger: g or 1?
1
Suppose -15 - 9 = -4*k. Suppose 0 = -k*o + o + 270. Let f = o + -488/9. Do f and 2/5 have the same value?
False
Let p = -0.1 - -0.1. Let n = -4 + 3.95. Let s = -0.05 - n. Is s at least p?
True
Let d be (-1)/(-2)*12/6. Suppose -j = -5, -3*o - 2*j + 4*j - 16 = 0. Let y = o + d. Do y and -1/6 have the same value?
False
Let l be 13/(2/(-2)) + 3. Let w be l/(-15)*(-3)/2. Is w less than or equal to 3/8?
True
Suppose -19 = -n - 5*p, -p = -4*n - 8 - 0. Let d be (n/44)/((-2)/28). Let x = 2/11 + d. Are x and 0 nonequal?
True
Suppose 0 = k + 2*k - 5*l + 17, 17 = 5*k + 3*l. Let o be -150 + (1 + 4 - 3). Let s = -1626/11 - o. Do k and s have different values?
True
Let u(o) = 2*o + 23. Let d be u(-11). Is d <= -3/16?
False
Let j = -4.7 - -5. Let x = -1.2 + 0.2. Which is bigger: x or j?
j
Let k = 32 + -28. Is k greater than 9?
False
Let t = 2 + -1. Suppose -3*d = -4*d + 8. Suppose 4*h - 4*w = d, 3*h + 2*w - 2 + 1 = 0. Is t at most h?
True
Let i(p) = p + 6. Let c be i(-7). Let b be (-3)/(-9)*-3 + c. Which is greater: -7/4 or b?
-7/4
Let k(l) = -l - 1. Let p be k(-2). Is p greater than 2?
False
Let q = -5.5 + 5. Let f = 0.9 + q. Which is greater: -0.1 or f?
f
Let b(s) = 3*s - 5. Let p(n) = -4*n + 8. Let i(u) = -7*b(u) - 5*p(u). Let j be i(-4). Which is smaller: -2/7 or j?
j
Let r(i) = -2*i + 24. Let j be r(12). Which is smaller: 3/8 or j?
j
Let g = -92 - -59. Which is smaller: g or -0.1?
g
Let o be ((-16)/(-4))/((-2)/25). Let p be 40/16*8/o. Is p smaller than -0.1?
True
Let x = 85 - 85. Let f = -46520324 - -132536404718/2849. Let q = f + -2/407. Which is smaller: q or x?
x
Let w = -0.59 - -0.59. Is w > 1.9?
False
Let h = -56 - -60. Are h and -2 unequal?
True
Let b be ((-4)/(-18))/((-3)/414). Let t = 256/9 + b. Which is bigger: t or -2?
-2
Suppose 4*z - 44 = 3*f + f, 43 = -3*f + 5*z. Let s be (-2)/f - 2/18. Which is smaller: s or -1?
-1
Let x(o) = -2*o**2 + 1. Suppose 3 = 8*p - 11*p. Let j be x(p). Which is smaller: 0 or j?
j
Let t be (110/20)/((-1)/(-2)) + 1. Which is smaller: 13 or t?
t
Let o = 0.12 + -0.22. Does o 