 Let d be (-3 - 0)/3 + u. Let c(r) = 3*r - 1. Let x be c(-2). Is x less than d?
True
Let b = 31 - 30.05. Let g = 84.95 + -85. Let l = b - g. Does 5/6 = l?
False
Suppose 22*j - 21*j = w - 20, 5*j + 4*w = -82. Suppose -v = -4*v - 3*o, 2*v - 3 = -o. Suppose -v*x = -b - 21, -55 = 2*b + b - x. Are j and b non-equal?
False
Let v = -2 - -47. Let d be -2 - 1 - (-39730)/v. Let t = d + -879. Which is smaller: 1 or t?
t
Let d = -6.1 - -6. Let w = -3108272512048/10829637 + 33580796/117. Let r = 2/1889 + w. Which is greater: r or d?
r
Let s = 57 - 100. Let l = s + 78. Which is smaller: l or 0.1?
0.1
Suppose 21 = 12*w - 15*w. Which is bigger: w or -46/7?
-46/7
Let f(y) = 40*y - 58. Let j be f(0). Which is greater: -5/6 or j?
-5/6
Let t be (22 - (4 - 0)) + 0. Let g be -1*t/12 - 70/4. Is -21 less than or equal to g?
True
Let k = 0.27 + -0.27. Let g = -60.95 - -61. Is k equal to g?
False
Let a = 1259 - 1258. Which is smaller: -0.095 or a?
-0.095
Let x(a) = 2 - 5 - 10 - 6*a + 1. Let q be x(-2). Are q and 1/9 equal?
False
Let d be 6/4*554/9. Let w = d + -93. Is w greater than or equal to 12?
False
Suppose -22 = 3*x + 2. Is -11 <= x?
True
Suppose 2*s - 15*s = 13. Which is smaller: -11/58 or s?
s
Let u(j) = -328*j + 7. Let a be u(7). Let q be -2 + 7/(a/(-648)). Which is bigger: -1 or q?
q
Let b = 0.092 - -75.808. Is 0 < b?
True
Let g = 19 - 21. Let j be 6*2/(-60)*g. Which is bigger: -1 or j?
j
Suppose -2*j + 146 - 21 = 23*j. Let y(b) = -b**2 + 5*b + 6. Let n be y(6). Suppose -5*p - 6 + 1 = n. Which is bigger: j or p?
j
Let t = -91 + 89.04. Let f = -0.04 + t. Let d be 3 - (-9)/(45/(-20)). Which is smaller: d or f?
f
Suppose 4*z + 4*j + 24 = 0, 0 = -2*z + 4*z - 3*j - 13. Is z at most 3/67?
True
Let o = -11 + 13. Suppose 5*c - 15 = a - 0*a, -o*a + 2*c = -2. Let j(v) = -v**3 - 6*v**2 + 7. Let t be j(-6). Which is greater: t or a?
t
Let b be 0 - 5/2 - -3. Let r = -20 - -8. Which is smaller: b or r?
r
Let i = 8/35 + -3/7. Let t = 88.9 - 90.9. Which is smaller: i or t?
t
Let b be (-4)/(-828)*829 + (-12)/3. Which is bigger: -1 or b?
b
Suppose 4*b = 1 - 49. Let u be 8/b - 2/(-3). Let k be 0 - (-5 - -9 - 1*2). Which is smaller: u or k?
k
Suppose 5*p + 225 = -5*a, -5*a + 265 = 2*p - 7*p. Let t = 6117 + -6165. Is t < p?
False
Let k = -5400 - -5399. Let w = 12 + -3. Let l = w + 5. Which is greater: l or k?
l
Let z = 47 - 30. Suppose 4*t + z = 53. Suppose 2*a - 16 - 4 = 0. Is a > t?
True
Let n = -945836/27 - -35364. Let l = 333 - n. Is l equal to 0?
False
Let t = -0.413 + -0.587. Which is smaller: t or -1.54?
-1.54
Let u(b) = -14 + 9 - b + 5. Let z be u(-1). Which is smaller: -1/4 or z?
-1/4
Let v(r) = r**2 + 13*r + 36. Let k be v(-10). Let w(u) = -u**3 + 5*u**2 + u + 5. Let g be w(k). Which is smaller: -27 or g?
-27
Let p = 0.06 + -0.16. Let d = -1.34 - 0.16. Do p and d have the same value?
False
Suppose 4*m - 2*g - 8 = 0, m + 4*g = -g - 20. Let x(b) = -5*b**3 - b**2. Let l be x(-1). Suppose -i = 3*y - 1 + 2, -2*y - 14 = l*i. Are m and i equal?
False
Let k = -1.88 + 2.08. Do 282 and k have the same value?
False
Let a be 18*(-4 - 29/(-2)). Is 191 > a?
True
Suppose 0 = 4*n - 5*t - 4 - 15, -5*n + 11 = -2*t. Suppose 2*r - 11 = -n. Let p be ((-2)/r)/(8/2). Is 1 >= p?
True
Let b = 105 - 95. Let h = -9 - b. Is h not equal to -2/7?
True
Let c = -1065/41852 + -145342539/56290940. Let p = c - -13/5. Let o = p - 1339/807. Which is smaller: o or -1?
o
Suppose 8 = -5*w - 2*j, -2*j - j - 12 = 2*w. Let m be (-12)/(-3) + w + 1. Suppose x - 2*u = 0, -3*x - 2*x = -4*u - 18. Which is bigger: m or x?
x
Let b be (0 - -1)*6/(-942). Which is smaller: b or -3?
-3
Suppose -2*h = -6*h. Let g be 3 - ((-4)/(-3))/((-14)/455). Let c = -47 + g. Do h and c have the same value?
False
Let l = 108 - 117. Let p be (l/(-27))/(2/(-6)). Are p and 2 equal?
False
Let q = -2084 + 1598. Which is bigger: 0.2 or q?
0.2
Let g(d) = 2*d**3 + d**2 + 2*d - 3. Let r be g(1). Let z be ((0/(-3))/(-2))/((-6)/r). Are z and -4/3 equal?
False
Let h(b) = 4*b**2 - 8*b + 3. Let c(u) = u**2 - u. Let m be (2/(-6))/((-1)/(-3)). Let s(n) = m*h(n) + 3*c(n). Let w be s(4). Is w at most -2/33?
False
Let w = 69/4 - 35/2. Let z = -12 - -4. Which is greater: w or z?
w
Suppose 3*t + 34 - 13 = 0. Let w = 29 - t. Let m be 8/w - (-8)/(-18). Which is smaller: -1 or m?
-1
Let j(p) be the first derivative of -p**4/2 - 2*p**3/3 + p**2/2 - p - 10. Let z be j(-2). Suppose 2*c = -h + 18, z*c = 5*h - 6*h + 42. Are 9 and c nonequal?
True
Suppose 2*b = 4*l + 18, -4*b + 3 = -5*b - l. Let v be ((-20)/(-66))/(2/(-3)). Are b and v unequal?
True
Let w = -214 - -212. Let n = -33643435/144 - -233636. Let t = 13/16 - n. Which is smaller: w or t?
w
Let b(z) = z**2 + 4*z. Let g be b(-4). Let y(s) = 3*s - 7. Let o be y(5). Let i be ((-30)/o + 4)*-5. Which is smaller: i or g?
i
Let m be ((-8)/10)/(((-14)/(-3435))/(-1)). Let o = 196 - m. Which is greater: -3 or o?
o
Let k be 10320/(-9660) - 2/(-7). Which is bigger: k or 0?
0
Let b be (4/(-6))/((-4)/(-12)). Let i = -41.2 + 43.2. Which is greater: i or b?
i
Let m(u) = -u - 8. Let h be m(-13). Suppose -3 = -0*z - 3*z + 3*a, h*a - 10 = 0. Which is smaller: z or 9/4?
9/4
Suppose 16*n - 40 = -4*n. Suppose -5*d + 3*m = 303, -m = 2 + n. Is -62 >= d?
True
Let y(o) = -o**3 + 7*o**2 + 12*o - 19. Let c be y(6). Let n = 90 - c. Is -1/11 less than n?
True
Let f be 1*(2 + -4 + -1). Let i = 5 + f. Suppose 23*z = 3565 - 3519. Is i != z?
False
Let u(v) = -v**2 + 13*v + 24. Let w be u(17). Which is smaller: w or -43?
w
Let a = -2/1085 - -1381/160580. Which is bigger: a or -2?
a
Suppose 12 = -2*y + 2*t, -2*y - 40 = -0*y + 5*t. Suppose 0 = -4*d + 4*n - 4, -3*d + n - 25 = 2*d. Let f be y/6 - d/9. Is f > -1?
False
Let y = 1624 + -1463. Is y greater than or equal to 160?
True
Let b = -18 + 30. Let x = b + -8. Suppose x*p = 64 + 48. Which is bigger: p or 29?
29
Let g(o) = -o**2 + 4*o. Let p be g(4). Is 4/291 less than or equal to p?
False
Let n(p) = -p**3 + 5*p**2 + 13*p - 33. Let f be n(5). Suppose -2*x = -57 - 5. Which is greater: f or x?
f
Suppose 0 = 12*r + 4*r - 1088. Is r less than 68?
False
Let t = 6/35 - 27/35. Let m = -46 + 45.947. Let f = m - -0.053. Which is smaller: f or t?
t
Let l be 2/1 - (-22885)/(-5100). Let r = -42/17 - l. Which is bigger: -1 or r?
r
Let v = -810 + 809.94. Is -56 < v?
True
Let j(z) = 3*z - 10. Let b(r) = -7 + 7*r - r**2 + 6 - 6. Let y be b(3). Let w be j(y). Is 5 at least w?
True
Let n(g) = -g**3 - 30*g**2 + 66*g + 65. Let m be n(-32). Are -1/266 and m nonequal?
True
Let o = 1.8 - 2. Let s = -44 - -44. Is s <= o?
False
Suppose 6 = j + 3. Let a be (9 - 0)/j + -1. Let i be 4*a/4 - 1. Which is bigger: 0 or i?
i
Let a = -322 + 322. Let h = 0.149 - -91.851. Which is smaller: a or h?
a
Let a = -0.08 + -4.92. Let v = 5.29 + a. Let k = v + -0.19. Which is bigger: k or -2/33?
k
Let i = 1 - 1.16. Let b = i + 1.26. Let s = -1.2 + b. Which is bigger: s or -0.3?
s
Let o = -4.1 - -3. Let d = 1 + o. Let g be 0/(65/5) - 5. Which is bigger: g or d?
d
Let d be 3/(-2) - (-5)/(-10) - -9. Suppose 24*k = d*k. Which is smaller: -1/3 or k?
-1/3
Let y = 45 + -80. Let m = 33 + y. Which is smaller: -0.9 or m?
m
Let w be (-1 - (-20)/15)/((-1)/(-24)). Suppose q = w*q. Which is smaller: q or -6/13?
-6/13
Let y = -31/13 - -353/39. Is 6 smaller than y?
True
Suppose -5*n + 71 = -2*z, 4*n = 3*z + 46 + 78. Which is greater: -346/7 or z?
z
Let u be (-2)/((-4)/(-6)*3). Let m = -1 - u. Suppose -2*y + 16 - 4 = m. Which is bigger: 13/2 or y?
13/2
Let c = 160/33 - 57/11. Which is bigger: 0.515 or c?
0.515
Let q = 28 - 57. Let o = q - -23. Let k be 4/o*(-85)/(-102). Is k less than -1?
False
Let x(u) = 2*u**2 - 4*u + 2. Let v be x(4). Let f be 58/v + (-18)/81. Suppose -12 = 4*z - 5*m, m = -f*z - 2*m - 9. Is z greater than 2?
False
Let u be (1/2)/(1/12). Let z(v) = -v - 6. Let x be z(-6). Let p = 5 + x. Which is smaller: u or p?
p
Let v = 10 - 11.8. Let f = -2 - v. Let o = 1566.2 - 1566. Which is bigger: f or o?
o
Suppose 0 = 25*l - 18*l + 147. Is -1 not equal to l?
True
Suppose -2*k - 107 = -5*i, -5*k + i - 205 = -k. Let d = 55 + k. Is 4 bigger than d?
False
Suppose -3*j = 3*m - 156, -4*m + 5*j + 59 = -185. Which is greater: m or 58?
58
Let t(z) = 4*z + 17. Let u be t(-3). Suppose -2*o - 2 = -4*x, -2*x - 2*x - 5 = u*o. Which is smaller: 1/8 or o?
o
L