(-52) - (265/117 + -3). Is x at least l?
True
Suppose -4*b + 593 = -291. Which is bigger: b or 222?
222
Let w be 5 + 6/2 + -3. Suppose -w*b = 264 + 191. Let i be b/(-42) + 1/(-6). Which is smaller: 0 or i?
0
Let f be -3 + (10/4)/((-6)/132). Let a = 17 + f. Are a and -41 unequal?
False
Let y(x) = x**3 + 4*x**2 - 7*x + 1. Let p be y(1). Is -4/1031 <= p?
False
Let v = -88 + 103. Are 12 and v equal?
False
Let v = -165.5 + 131. Let u = v + 35. Is 4 greater than or equal to u?
True
Let p = -219 + 228. Let u be (-2 + 3)*2 - -3. Which is smaller: u or p?
u
Let x be 60/(-18)*-18 + -7. Which is smaller: -0.3 or x?
-0.3
Let p = -107 + 101. Is p >= -11?
True
Suppose -36 = -87*i + 83*i. Let o be 5*((-18)/(-40))/(i/168). Which is smaller: 43 or o?
o
Let s be 912/(-468) + 2 + 0. Let x be 1*6 - (12 - 10). Let t be (6 - x) + -3 + 1. Which is smaller: t or s?
t
Suppose x = -g + 15, 0 = -x + 5*g - 10 + 1. Is x at most as big as 25?
True
Let n be 5 - 2 - (-2 + -1). Suppose n*u - u = 0. Let t be ((-4)/(-152))/(1/4). Is u bigger than t?
False
Let n = 2.37 - 2.4. Let c = 7.87 - n. Let v = c - 8. Is -1.6 equal to v?
False
Let n = 15 + -3. Let l = 152 + -138. Are l and n equal?
False
Let o = 58 + -81. Which is smaller: o or -26?
-26
Let h be 2/((-8)/30)*(-64)/6. Let y = -70 + h. Is y >= 0?
True
Suppose -2*t + 2*w + w + 18 = 0, 3*t + 4*w = -7. Suppose -t*h - 15 = b - 6, 3*b = -h - 11. Let x be (-5)/6*(-3)/(-2). Is x greater than or equal to h?
True
Let q(i) = -i**3 + 15*i**2 + 33*i + 24. Let v be q(17). Suppose 2*j - 40 = -3*j. Which is smaller: j or v?
v
Let g = 4109.06 - 4039. Let d = g + -70. Suppose r + 1 = 4*b - 4, -15 = -5*r. Is d > b?
False
Suppose 0 = -3*a + 4*u + 431, -575 = -4*a + 10*u - 5*u. Let m = a + -433/3. Which is smaller: m or 0?
0
Let t(i) = i - 6. Let q be t(0). Let p be 4*(-1)/((-9)/(27/(-4))). Which is smaller: p or q?
q
Suppose -4*r - 12 = -4*c + 8, 5*c - 20 = 4*r. Let n = 170/29 + -6. Which is smaller: n or c?
n
Let w be (-7 - 1) + ((-19760)/204)/(-13). Which is smaller: -1 or w?
-1
Suppose -5*z + 42 + 48 = 0. Let r be z/54*(-3)/22. Which is greater: 0 or r?
0
Let w = 380/117 - 16/117. Which is bigger: 1 or w?
w
Suppose 4*g + 145 = 1037. Is g smaller than 221?
False
Let v = -642 + 638.83. Let x = -0.67 - v. Which is smaller: x or 0.1?
0.1
Let p(v) = -2*v**2 - 2*v - 2. Let f(b) = -3*b**2 - 3*b - 3. Let h(k) = -3*f(k) + 4*p(k). Let i be h(0). Is 3/76 greater than i?
False
Let n = -362/3 - -122. Let j = 34 + -33. Suppose 5 = 4*r + j. Which is bigger: n or r?
n
Let y = 19 + -16. Let z = -0.1 + 0.14. Let h = z + -0.44. Which is greater: y or h?
y
Let o = -4 - -2. Let t = 1763 + -1751.981. Let f = t - 0.019. Which is greater: f or o?
f
Let a = 12.72 - -0.28. Let b = -1 + a. Let c = -80 + 81. Which is bigger: b or c?
b
Suppose -103 = h + 2*j, -3*h - h = -3*j + 445. Let r be (-24)/(-36) - h/(-150). Let d = -11/50 - r. Which is smaller: 0 or d?
d
Let i = -437/2135 + 2/427. Is i at least -145?
True
Let v(x) = 5 - 6*x - 2*x**2 - 6 + 0. Let p be v(-4). Is -0.1 at least as big as p?
True
Let f(g) = -g + 6. Suppose 2*t + 14 = 4*t - 2*p, -5*p = 0. Let z be f(t). Let y be -1 + -1 + 3*1. Is y < z?
False
Let v be ((-4)/10 + (-81)/(-90))*136. Is v greater than 70?
False
Let s = -7.4593 + 0.0593. Let c = -8 - -8. Which is smaller: c or s?
s
Suppose 0*j = -j + 4. Suppose -3*s - 22 = 4*x, 3*x - j - 11 = 0. Let t be 5/70*s/(-4). Which is smaller: -6 or t?
-6
Let c be 1098/36 - 2/4. Let r = -18 + c. Suppose 5*u = -2*x + 15, x - 4*x - 4*u + r = 0. Which is smaller: x or -1?
-1
Let d be ((-13)/(-2) + 1)*(-1320)/825. Which is smaller: d or -88/7?
-88/7
Let w = -1407 - -1537. Is -2/7 at least w?
False
Let p(n) = -2*n**3 + 5*n**2 - 3*n + 1. Let y be p(3). Let w = -702 + 685. Do w and y have the same value?
True
Let r = -6 - -4.6. Let o = -10.4 - r. Let z be (1/33)/((-64)/384). Is z < o?
False
Let r be 2/(-4)*4/(-11). Is r less than 12?
True
Suppose -5*n + 13 = 63. Let o = 5 + n. Suppose 0 = i - 5*r + 26, 2*i + r - 2 = -i. Which is bigger: o or i?
i
Let v = -15 - -25. Let c = -10 + v. Which is bigger: 4 or c?
4
Suppose 0 = -6*w + w - 40. Suppose -4*b = -3*b + 3. Let o be (-1 - b) + -6 + -3. Which is smaller: w or o?
w
Let f be (-1)/2 + 22/4. Let n(x) = x**2 + 17*x + 47. Let j be n(-15). Suppose -f*a = -2*o - j, -2*o - 5*a = 3 - 16. Is o equal to -1?
True
Let r(d) = d**3 + 6*d**2 + 3. Suppose 0 = 4*x - 3*j + 2 + 10, -2*x - 28 = 4*j. Let y be r(x). Let h = y - 6. Which is greater: -3/2 or h?
-3/2
Let h = 34 + -28. Suppose 3*t = t + h. Suppose 5*k - 24 = -s, -t*s + 4*k - 23 = -0*s. Which is smaller: 1 or s?
s
Let u be (145/20 + -1)*2/35. Let l = 317 + -2225/7. Let m = u + l. Is m at most 0?
True
Let s = 62 - 31. Let k = 529 - 498. Is s not equal to k?
False
Let r = -288 + 426. Let b = r - 74. Which is smaller: b or 2/7?
2/7
Let z(r) = r**2 - 4. Suppose 4*f + 4 = -3*t, -4*f - 12 = t + 4*t. Let b be z(f). Are 1/5 and b equal?
False
Let t(h) = 23*h - 231. Let f be t(10). Which is smaller: -107 or f?
-107
Let g be (0 - -2 - 33)/(2/4). Let y = g + 56. Do 1 and y have different values?
True
Let p = 209 + -209.354. Let g = 0.154 + p. Which is smaller: g or 9?
g
Let n be 4/(-2)*(-253)/22. Suppose 99 = 8*t - 77. Is n bigger than t?
True
Let u(f) = f**2 + 13*f - 12. Let s be u(-14). Let g(d) = -d**2 + 2*d + 1. Let p be g(s). Suppose 9 = 5*k - 1. Which is greater: p or k?
k
Let y = -3.086 + -0.014. Let x = 4.1 + y. Which is greater: x or 0?
x
Suppose 17 = 8*b - 15. Which is bigger: 3 or b?
b
Suppose -2*i = 6*i - 64. Let a(c) = -c**2 + 3*c + 40. Let r be a(i). Which is smaller: r or -1/6?
-1/6
Let d = -317 - -479. Let o = d - 160.7. Which is smaller: 3 or o?
o
Let y = 4.21 + -4.28. Is y not equal to 17?
True
Let v(d) = d**2 + d - 1. Let h be v(1). Are 5 and h equal?
False
Let s be (-60)/7 + 2 + 21/(-49). Let d = 1 + -1. Let f be -7 - (-1)/(d + 1). Which is greater: s or f?
f
Suppose 0 = 2*r - 67 + 89. Let t = 13 + r. Is t equal to 3?
False
Let n(g) = -g**2 - 6*g + 1. Let l be n(-6). Let a = 1 + 10. Let r = a + -9. Which is smaller: l or r?
l
Let s = 0.06 + -8.06. Suppose 2*h = 14*h + 84. Let t be (4/(-84)*-6)/((-3)/h). Which is bigger: t or s?
t
Suppose 58*r = -4*g + 59*r + 136, 3*r + 136 = 4*g. Is 37 greater than or equal to g?
True
Let r = -3186992/241 + 13224. Which is bigger: 1 or r?
1
Let i = -44 - -45. Which is smaller: 337 or i?
i
Suppose 12 = 3*x, -x = -3*z + 4*x + 16. Let u = -24 - -27. Suppose u*m = -n - 1, -5*m - z = -5*n + 23. Does -12/11 = m?
False
Let l be -2 - -2 - -1*4. Let g = 0.06 + -2.06. Which is greater: l or g?
l
Let o = -51 - -61. Let z = 11 - o. Which is greater: -0.08 or z?
z
Suppose 0 = 3*i - 3*j + 3, -4*j + 7 = -i - j. Suppose -3 = -3*o - 5*m + i*m, -4*o = -4*m - 36. Let n = o + -7. Which is smaller: n or -7?
-7
Suppose -7*n = 5*n - 2052. Suppose -19*k + n = -10*k. Suppose 2*a - 20 - 20 = 0. Is k at most a?
True
Suppose 4*q - 2*q = 0. Suppose q = c + c - 10. Suppose -c*g + t + 15 = -2*t, 5*g + 4*t - 50 = 0. Which is smaller: g or -0.1?
-0.1
Let j = 20 + -17. Suppose -3*r + 21 = j*w, 3*w - 17 = -7*r + 2*r. Do 42/5 and w have the same value?
False
Let j = 546.3 - 497. Let q = j - 49. Let x = 4 - 3.9. Which is greater: x or q?
q
Suppose d + 7 = 26. Let l = -18 + d. Let z be 1/(-3)*(2 + -4). Which is smaller: l or z?
z
Let z(d) = -3*d**2 + 16*d + 4. Let m be z(-7). Let h be m/162 - (-12)/8. Which is greater: -1 or h?
h
Let j = -727 - -727. Is -34 less than or equal to j?
True
Let g be (63/1365)/((-4)/10). Which is greater: 1 or g?
1
Let p be -5 + 8 + (-2)/(-2). Let r(u) = u**2 + 6*u + 3. Let n = 16 - 22. Let d be r(n). Which is bigger: d or p?
p
Suppose -5*q = s + 5 + 14, 4*q + 68 = -2*s. Let r be 107/s - (-2)/11. Let u = r - -11/4. Is 2 equal to u?
False
Let k be 6/15 + (-23)/(-5). Let a be (-67)/21 - (k - 8). Let i = 94/273 + a. Which is bigger: 1 or i?
1
Suppose a + 2 = 5*m + 10, -4*m = 5*a - 11. Let y be 1/((-2)/(3 + m)). Let c be ((-1)/(-4))/((-195)/(-120)). Which is smaller: y or c?
y
Let y = -2/73 + 156/365. Let j = 1049.7 + -1045.4. Which is smaller: j or y?
y
Let p(f) = -2*f**3 - 9*f**2 + 15. Let w be p(-4). Which is smaller: -205 or w?
-205
Let n = 508 - 365. Is n >= 1?
True
Suppose 0 = -688*h + 685*h - 39. Is h at most 32?
True
Suppose 9 = 3*v - 3*l, 