165 - 1483/9. Which is greater: b or f?
b
Let f = 0.1 + -0.1. Let x = 1 - 0.93. Let z = x - -1.93. Which is bigger: f or z?
z
Let j be 4/6 - 69/9. Let u = -12 - j. Suppose -4*v - 4*v = 48. Do v and u have the same value?
False
Let w be (-1)/(2/(-4)) + -32. Let m = 18 + w. Let g be 7/4 - 3/m. Which is bigger: g or -4?
g
Let b = 256 + -9727/38. Which is smaller: 1 or b?
b
Let o = -4 + 6. Which is smaller: o or -0.1?
-0.1
Let m = -2 - -1. Suppose -5*t - 2 + 22 = 0, 5*t - 44 = -4*b. Let g be (4/(-12))/((-11)/b). Which is greater: g or m?
g
Let p be ((-2)/(-6) - 1)*-6. Suppose p*y = 6*y - 28. Is y less than or equal to 1?
False
Suppose -2*k - 3*k + 4*l = -5, 3*k + 2*l = -19. Let o be (-2)/k - 10/15. Let b = 9/4 - 23/12. Is o > b?
False
Suppose 3*i = i + 36. Suppose -5*b - i = 4*z, -4*b - 16 = 2*z - 4. Let x be ((-1)/5)/(z/(-5)). Is x != -2?
True
Let d be (-2)/6*1/(-4). Suppose 0 = 5*u - 3*u. Is u bigger than d?
False
Suppose -10 = 5*r - 5*y, 32 = 2*r - 4*r - 5*y. Let w be 118/r - (-1)/(-3). Let d be (-4)/w*10/8. Is 1 smaller than d?
False
Let u be (-20)/25 - (-42)/40. Which is smaller: 0.1 or u?
0.1
Let h be (0 + 3)*(-2)/(-51). Let u be ((-120)/(-36))/5*3/2. Which is smaller: u or h?
h
Let h be 0 + (-3 - -2) - -6. Let f = h - 29/5. Which is smaller: f or -2?
-2
Suppose 13*q + 16 = 17*q. Suppose 9 = -3*h - 4*d - 1, 0 = 2*h - 5*d - 24. Is h <= q?
True
Let l = 2.41 - -0.09. Let t = 0.5 - l. Which is bigger: -1 or t?
-1
Let s be 32/13 + 8/(-4). Let o = -28/117 + s. Is 0 less than or equal to o?
True
Let u be (1 - -1)*-3 + 6. Which is smaller: 2/263 or u?
u
Let c = 5 - 2. Suppose 2*a = -h - 2, a + c = 4. Let o(b) = b**2 - 5. Let v be o(0). Which is bigger: v or h?
h
Suppose -k = -5*l + 9 - 2, 2*k = -5*l + 16. Suppose -l*n - 8 = 4*j, j + 3*n = -3*j - 12. Is j greater than -2?
True
Suppose 4*z + 4*y - 3*y = 44, -2*y + 33 = 3*z. Are z and 10 non-equal?
True
Let q = -30.92 + 40. Let b = 9 - q. Is 0 at most as big as b?
False
Suppose r - 4 = -2*l, 4*r + 2 = -2*l - 0*l. Let p be (-2)/(r - (-40)/18). Is p at least as big as -10?
True
Let b be (-113)/(-60) + (-12)/(-18). Let p = -14/5 + b. Which is smaller: p or 1?
p
Let f be (3 - 695/231) + 0/(-6). Which is greater: f or -1?
f
Let m = 346 - 3800/11. Let b = -315 + 317. Is b not equal to m?
True
Let j = -1216/105 - -133/15. Which is smaller: -2 or j?
j
Let k = 51 + -49. Let q = 10 + -4. Is q < k?
False
Suppose 0 = -5*z - 4*r + 18, -3*z + 5*r = 2*z. Let j = -4 - -5. Let s be j + 14/(-6) + z. Is 0 at least as big as s?
False
Let x = -3.8 - -3.9. Is 3 != x?
True
Let b(o) = -o**2 - 4*o + 4. Let i be b(-3). Let f be (36/48)/(i/(-12)). Which is bigger: -1 or f?
-1
Suppose 19*x + 2 = 21*x. Which is smaller: x or 0?
0
Let x = 14 + -14.1. Let m = 1.8 + -2. Let q = m + x. Is q > 2?
False
Let a = 5 - 6. Do 1/29 and a have the same value?
False
Let u be (-36)/24 - 2/(-4). Is 1/14 at most as big as u?
False
Suppose -5*x = 5*o + 10, 3*o = 4*x + 6 + 23. Let l = o + -4. Let p be -1 + l - (-3)/3. Which is greater: p or 0?
0
Let f(b) = b**2 + b + 2. Let q = 1 - 7. Let i be f(q). Let d be (i/6)/2 + -2. Does -2 = d?
False
Suppose -7*v = -4*v. Let l(p) = -p**2 + p + 20. Let t be l(v). Suppose -3*w + 5 = -2*y - 7, 5*w - t = 0. Is 1/15 != y?
True
Let b = 30 - 31. Which is smaller: -0.12 or b?
b
Let k be ((-132)/(-10))/(8/(-40)). Let y be (16/k)/(-4)*-3. Which is greater: 1 or y?
1
Let b(a) = a**2 + 5*a - 2. Let s be b(-6). Suppose -3*y = -15, y = -w - s*y + 30. Suppose w - 6 = -z. Are 3/5 and z non-equal?
True
Let g = 98 - 98.6. Which is greater: 0 or g?
0
Suppose -3*r - 30 = -6*r. Suppose 5*v - r = -5. Which is greater: v or -0.5?
v
Let t(i) = i**3 + i**2 - i + 4*i**2 - 2*i**2 - 2 + 2*i. Let p be t(-3). Are -4 and p equal?
False
Suppose 0*r = -5*f + 3*r - 4, -3*f = -r + 4. Does -21/20 = f?
False
Suppose 3*c - 3*r = 2*r + 71, -4*c - 2*r = -112. Is 28 greater than c?
True
Let u = -1.1 - -1. Let z = -1.1 + u. Is -0.1 less than or equal to z?
False
Suppose 0*x - 2*y - 42 = -4*x, 12 = x - 2*y. Suppose 5*k - j = -3*j - x, -2*j = -3*k + 10. Is 1/4 less than k?
False
Suppose -2 = f - 0. Let l be f - 8/(-3) - 1. Let g = 12 - 11. Which is greater: g or l?
g
Let o(i) = i**3 - 8*i**2 - 3*i + 6. Let k be o(8). Let d = k - -11. Let g(b) = -b**2 - 6*b + 5. Let y be g(d). Is -3 equal to y?
False
Let p = -7 - -4. Let h = 151 - 153. Which is greater: p or h?
h
Let x be 12/(-18) + (-7)/(-24). Let r = 0.2 + -0.1. Which is smaller: r or x?
x
Let l be (-3)/(-15) - (1179/(-420) + 3). Which is bigger: l or -1?
l
Let s(t) = -6*t**3 + t - 1. Let j be s(1). Let c = -8 + 19. Suppose -2*h - c = 1. Is j <= h?
True
Let n(k) = -k**2 + 6*k - 3. Let y be n(6). Let j be 1*y/((-3)/4). Suppose 3 - j = -w. Which is smaller: 2 or w?
w
Let y = 20 + -24. Which is smaller: -6 or y?
-6
Suppose -4*n + 2 = -o, 0 = -3*o + 7*o + 5*n - 13. Suppose 5*x + 6 + o = -4*d, 7 = 2*x + 5*d. Is x smaller than -4?
False
Let w be 32/(-144) - (-230)/(-99). Is w <= -3?
False
Let a = 0.1 + 3.4. Let h = a - 4. Let c = -0.4 - h. Do c and 1 have the same value?
False
Let g = 41 + -37. Is g less than -1?
False
Let l be (-3)/(-2)*40/15. Suppose -3*m = l*f + 10, -f + 13 = -5*m + 4. Let k be 0/(-1) + (-1 - 1). Are m and k nonequal?
False
Suppose t - 6*t = -2*v, 0 = 5*t - v. Let q be 1/2 - 120/(-16). Let a be q/(-52)*1/2. Which is smaller: a or t?
a
Let h(x) be the second derivative of -x**4/12 + x**3 + 5*x**2 + x. Let c be h(8). Let r be -2 - 5/(15/c). Are -2/11 and r equal?
False
Let z = 6.82 - -0.18. Let k = z + -5. Is -4 greater than k?
False
Let w = 24 - 172/7. Let q = 5/21 + w. Is 1 > q?
True
Let k(v) = -2*v - 2*v**2 + 3*v**2 + 0*v + 3. Let p be k(3). Which is smaller: 4 or p?
4
Let p = -45 + 227/5. Let l be (-2 + 4)*((-42)/12 + 4). Is l less than p?
False
Let l = -5/7207 + 267109/648630. Let i = 1/90 - l. Are 1 and i non-equal?
True
Let k = 7 - -1. Suppose -4*f + 2*f = -k. Let l be (-2)/f*2 + -1. Is l equal to -2?
True
Let f = -102 - -95.8. Is f greater than or equal to -0.1?
False
Let k = -767/11 - -70. Is 1 > k?
True
Let y = 19.5 - 20. Is y greater than 0.3?
False
Let k be 62/(-4) + (-1)/(-2). Is -14 greater than k?
True
Let t = 15 + -10. Let u = t + -5.2. Is u not equal to 0?
True
Suppose 0*u - 3*a = -4*u + 36, 16 = -4*a. Let h(j) = j**2 - j + 1. Let p be h(3). Is p at least u?
True
Let r = 63 + -62. Is -4/15 smaller than r?
True
Let v be (-153)/68*(-8)/6. Are v and 4 equal?
False
Let n(z) be the third derivative of z**6/120 - 2*z**3/3 - 6*z**2. Let r be n(0). Which is greater: 1/3 or r?
1/3
Let w(u) = -u**2 + 13*u - 4. Let s be w(13). Is -5 < s?
True
Let j = 119458/31 - 3854. Let b = 114/341 + j. Which is greater: 1 or b?
1
Suppose 0 = 3*t - 5*t + 5*o - 15, -3*o + 9 = -2*t. Which is smaller: t or 1/34?
t
Let o be 1 - -36 - 1/1. Let k = 26 - o. Which is smaller: -11 or k?
-11
Let v = 12 + -7. Let c = v - -13. Suppose -4*k + c = -u, 2*k = -0*k + 8. Is -2 less than u?
False
Let b = 4.95 + 0.05. Let y = 3 + -5. Let o = b + y. Which is smaller: o or 0?
0
Let u = -2 + -12. Which is greater: -0.1 or u?
-0.1
Let q be (-13 - -1)*(-3)/9. Which is smaller: 5 or q?
q
Suppose 0 = -3*y + 5 + 4. Which is greater: 5 or y?
5
Suppose -3*u - 4*a = 9, -5*u + a = -0*a + 15. Let f be 5/1*2/(-6). Which is smaller: f or u?
u
Suppose -3 = -52*s + 55*s. Is -1/13 < s?
False
Let t be 2/(-8) + (-8344)/288. Let p = t - -29. Which is bigger: -1/4 or p?
p
Suppose 5*a + 97 = -3*z, 2*a + 2*z = a - 18. Let f be (6/a)/((-3)/15). Which is greater: -1/2 or f?
f
Suppose -5*t - 14 = 3*g, -2*t - 4*g = -7*t + 7. Let p be 2 - (2 + -2 + 2). Which is smaller: p or t?
t
Let s = 0.1 + 0.1. Let b = 406/3 + -133. Do b and s have the same value?
False
Suppose 4*f = 5 - 13. Suppose r + 3 = 5. Let c = r + -3. Does f = c?
False
Suppose 5*h = -115 - 65. Is h < -35?
True
Let s = 13 + -69. Let d be (s/(-105))/((-12)/10). Let l = -2 - -1. Are l and d unequal?
True
Let f be (-10522)/38 + (0 - 2). Let z = 279 + f. Suppose 2*a + 5*j = -10, -a + 3*j + 8 = -j. Is a less than or equal to z?
True
Let x(g) = -g**3 - 6*g**2 - g - 3. Let z be x(-6). Suppose 2*o - z*o + 1 = 0. Is -0.5 at most o?
True
Suppose a + 2*t + 1 = 0, 0*t = -2*t. Let w be ((-1)/6)/(20/(-12)). Is a > w?
False
Let c = 1804 - 7157/4. Which is smaller: c or 14?
14
Let d be 4/(-10) + 