 = l - u. Is -1 greater than or equal to r?
True
Let d = 270 + -269.9. Which is smaller: -174 or d?
-174
Let q be (-3)/6 - 10/(-4). Suppose q*k = k - 8. Let f = -9 - k. Is -10/11 not equal to f?
True
Let l = -553/6 - -601661/6528. Which is smaller: l or 1?
l
Let y be (6/(-2))/((-33)/(-22)). Let x(v) = 5*v + 5. Let l(c) = -c + 1. Let n(o) = -4*l(o) - x(o). Let k be n(-6). Is k != y?
True
Let i(t) = t**2 - 7*t - 6. Let f be i(6). Let b be 8/f - (-13)/(-3). Let k(g) = -g**3 - 4*g**2 + 5*g + 4. Let q be k(b). Is 4 less than q?
False
Let l = 28 - 22. Suppose 0 = 3*d - l, -2*o - 6 - 8 = 3*d. Let p = o + 12. Which is smaller: p or 1?
1
Let r = 1942807/56502 - -13/3139. Let a = 10/9 + r. Let b = a - 109/3. Which is bigger: 0 or b?
0
Let v be ((-1)/6)/(3/(-99)). Let a = v - 6. Is a smaller than -22?
False
Suppose -4*g = -3*g - 19. Suppose -8*o = -3*o - 90. Which is smaller: o or g?
o
Suppose 7 = -o + 58. Let l be 16/(-8) - (-96)/o. Suppose 2*v = 2*q + 8, 3 = 3*q - 0*q + 2*v. Does q = l?
False
Let s = -4/57 + 14/19. Let v = -1.9 - 0.1. Is v != s?
True
Let h(k) = -14*k**2 - 7*k + 16. Let f be h(4). Let q be (-20)/30 - f/390. Is q at most 0?
True
Let v = 4.4 - 3.5. Let b = -1.3 + 2.4. Let l = v - b. Which is smaller: 2 or l?
l
Let x be (-6)/15 + 2/5. Let s = -70.99 - -70.8. Which is bigger: s or x?
x
Suppose 0 = -11*q + 5*q - 234. Do q and -37 have the same value?
False
Let r = -805 - -804. Are r and 1/63 unequal?
True
Let m = 0.01 + 0.12. Let k = m - -11.87. Let h = k + -11.94. Do h and -1 have different values?
True
Let n = 135/743 - 1157897/6356365. Let c = n + 16126219/94105. Let w = 171 - c. Which is greater: w or -1?
w
Suppose -2*h = 3*s - 7*s + 2, -5*h = 25. Let i be (-90)/(-70) + s/2. Is i greater than 0.29?
False
Let o be 3/(-5)*(2 + -7). Suppose 5*l - 29 = o*a, -3*l - 4*a - 7 = -36. Suppose -3*j = -5*i + 35, -i = -4*j - 0*j - l. Is 7 equal to i?
True
Let s(r) = r + 13. Let i = 1 - 1. Suppose 4*l + l + 45 = i. Let h be s(l). Which is smaller: 5 or h?
h
Let p be (42/10)/((-1)/5). Let g = 17 + p. Which is smaller: g or -18/7?
g
Suppose 0 = 2*u + 351 - 129. Let a be (3 - 2) + 117/u. Suppose 0*z = -4*z + 4. Is z >= a?
True
Suppose 0 = -3*y + 5*y. Suppose 2*b + y*l - 99 = -l, b - 36 = 4*l. Suppose -b + 3 = -5*w. Is 10 < w?
False
Let u be (-1)/(14/((-154)/(-33))). Let s be (-2)/8 - 10/(-8). Does s = u?
False
Let k be 18/(-21) - 12990/(-14175). Is -1 at most as big as k?
True
Let q be (-4)/3*21/154. Which is bigger: q or -7/6?
q
Let u = 16 - 36. Let l = -20 - -20. Is l less than u?
False
Let c(l) = 28*l**3 + 4*l**2 + l + 5. Let t be c(-2). Which is smaller: -407/2 or t?
t
Let f = -878 - -604. Are -272 and f equal?
False
Let t(q) = -q**2 + 1. Let v(j) = -j**2 - 5*j - 19. Let i(y) = 2*t(y) - v(y). Let w be i(9). Let o be ((-2)/10)/((-12)/w). Do o and -1/16 have the same value?
False
Let w be (5 + (8 - 25))/(2/(-2)). Let j(h) = h**2 - 10*h - h - 15 + 3. Let i be j(w). Is -5 at least as big as i?
False
Let m be ((-130)/(-312))/(710/4). Is m at most as big as 0?
False
Let w = 3106 - 15528/5. Is -4 at most as big as w?
True
Let u be -3 + 1 + 172/81. Let g = u + 1357/162. Let h = 8 - g. Is h != -10?
True
Let l = -734 - -778. Let x(g) = -g**2 + 6*g + 7. Let v be x(7). Which is greater: l or v?
l
Let t = -365 + 455. Is t less than 89?
False
Let q(n) = n + 5. Let s(x) = -1. Let t(b) = q(b) - 2*s(b). Let y be t(11). Is 19 equal to y?
False
Let i = 316 - 946/3. Is i at least 147?
False
Let d = 5 + 6. Let j = d + -7. Suppose -3*n + 5*n - j = 0. Is n > 3?
False
Let s(i) = 11*i - 17. Let t be s(5). Let k = 36 - t. Which is bigger: -0.7 or k?
-0.7
Let k = 674 - 745. Let g(q) = -8*q - 6. Let b be g(8). Which is smaller: b or k?
k
Let n = -1464 - -147. Is -1316 less than n?
False
Suppose 0 = 3*s - 12 - 12. Suppose 3*j - 75 + s = -w, -5*j - 2*w = -111. Suppose -3 = -4*k - j. Is -15/4 > k?
True
Let z = 4.1 - 6. Let x = -34 - -33.8. Which is smaller: x or z?
z
Let h = -34 + 78. Suppose 2 = 3*n - 5*v - 62, h = 3*n - v. Are n and 11 equal?
False
Let s be (-1 + (-2)/(-3))*(5 - 5). Which is smaller: -2/2141 or s?
-2/2141
Let i = 13.22 - 4.22. Are i and -6 non-equal?
True
Let n be 428/10*((-3)/4 - -1). Let x = 1/5 - n. Is x bigger than -10?
False
Let n = -155 + 275. Let r = -114 + n. Which is bigger: -10 or r?
r
Let d = 14 + -1. Let f be (-21)/42 - 58/(-4). Is d < f?
True
Let i be (-32)/(-10) - 1/5. Suppose i = b + 2. Suppose 0 = -12*s + 42 - 6. Which is bigger: b or s?
s
Let y = 351 + -311. Is y equal to 40?
True
Let w = -54.674 - -65.8. Let c = -0.126 + w. Is -0.3 less than c?
True
Let i(q) = -q**3 - 7*q**2 - 8*q - 4. Let y be i(-6). Suppose 8 = y*m - 0. Which is smaller: -2/35 or m?
-2/35
Suppose -94*z + 30 = -79*z. Which is greater: z or 32/11?
32/11
Suppose 9242 = -28*r - 1258. Is r equal to -375?
True
Let z be 8/(-48) - 23/24. Let j = 40 - 39. Suppose 5 = 3*i - 4*n, i + 0 = n + j. Is z >= i?
False
Let r = -786.9 + 752. Let i = -43 - r. Let y = i - -8. Is y less than -1/5?
False
Let l = -2.266 + -0.034. Let t = l + 4.3. Which is smaller: 2/5 or t?
2/5
Let y = 0.16 + 0.04. Suppose -7*j = -17*j + 20. Let i be (-150)/(-12) + (-1)/j. Is i greater than or equal to y?
True
Suppose -4*h + 9*h - 28 = -4*b, -h - 2*b = -2. Let c(k) be the first derivative of -k**2 - 5*k + 5. Let z be c(-7). Which is smaller: h or z?
h
Let k = 5.2 - -0.8. Let w = 1011.1 + -1011. Is k at least w?
True
Let l be 36/(-14) + (-4)/(-7). Let o be (-21)/(-6) - (-3)/l. Suppose 2*i = -3 + 1, o*i + 5 = 3*b. Which is greater: b or 2/3?
b
Let l = 16.05 + -0.05. Suppose -3*i = -5*b + 8, 0*i - i = -5*b + 6. Do i and l have the same value?
False
Let d = 2.1 + -0.6. Let m = d - 1. Let q = -1 - -1. Are m and q equal?
False
Let d be ((-3)/((-315)/14))/16. Is d not equal to -1?
True
Let j = -12.7 + 12. Let c = 21 - 21.17. Let m = c - -1.17. Is j > m?
False
Let w = -309 + 304. Which is smaller: 2/37 or w?
w
Let b = -13 - -21. Let i = b + -9. Which is smaller: -1/15 or i?
i
Suppose 5*t = -1 - 14. Suppose -2 + 6 = 2*z. Suppose 0 = 3*q - 4*h - 7, -5*q + 3*q + 2*h + z = 0. Is t at most q?
True
Suppose 0 = 5*g + 4*o + 51 + 6, 0 = 2*g + 4*o + 18. Let h = -29 + 33. Suppose -4*j + 72 = -h*u - u, 0 = -4*u + 5*j - 63. Which is greater: g or u?
u
Suppose -3*a = 5*l - 20, -5*l + 20 = -4*a + 3*a. Which is bigger: 14/13 or a?
14/13
Let n be 22/(-18 - -7)*(-26)/5. Is n at least as big as 9?
True
Suppose -2*g = 3*z + 1434 - 448, 0 = 5*z + 2*g + 1646. Are z and -330 unequal?
False
Suppose 90 = -3*d - z, -4*z - 52 - 8 = 2*d. Let n = 27 + d. Let b = 3 + -5. Is b less than or equal to n?
False
Let l = 930 - 959. Do l and -34 have the same value?
False
Let a be 8/26 - (0/4)/(-1). Let p(r) = r**2 - 13*r + 17. Let t be p(12). Suppose -u - 1 = 2*i, -i - i - 13 = t*u. Is a greater than i?
False
Suppose h = -3, 0 = 5*a + 3*h + 2*h - 105. Suppose -a = 2*l - 6*l. Is l greater than 7?
False
Let u = -18.3 - -12.3. Let l = -0.8 + 1.5. Let b = -0.3 - l. Is b smaller than u?
False
Let w be (-5 + (-35)/(-28))/((-9)/298). Which is smaller: 125 or w?
w
Let p = 35.6 + -38. Let o = -2.2 - p. Which is smaller: 4 or o?
o
Suppose -4*g - 78 = 9*g. Let n be 52/(2 + g) + 3. Let z be 1*((-11)/1)/1. Is n > z?
True
Suppose 3*r - 2*f + 25 = 0, -22 = 2*r - 2*f - 6. Which is bigger: -8 or r?
-8
Let v = 270 - 1095/4. Suppose 21 = -4*c + 5. Which is greater: v or c?
v
Let t = -36.3 + 30.3. Which is smaller: 2/109 or t?
t
Let y = -142773 - -15705277/110. Let p = y - 17/10. Is p != 0?
True
Suppose 2*z + 1 = -1. Let o = -65.058 - -65. Let a = -2.058 - o. Is z at most as big as a?
False
Let m be (1 + -1)/(-4 + 3). Let u(f) = -f**3 - f**2 + f - 6. Let k be u(m). Is k less than or equal to -1/2?
True
Let s(t) = -2*t - 10. Suppose v = -2*c - 4 + 54, 4*v = -c + 214. Suppose -2*d - v = 4*i, -i - 65 = 4*i + 5*d. Let m be s(i). Which is greater: m or 17?
m
Let c be (-15252)/21*(-4)/16. Let o = c + -179. Is o less than or equal to 4?
True
Suppose 7*t = t + 318. Let v = -31 + t. Is v greater than or equal to 22?
True
Let h = 0.18 - 10.18. Let r = -10.4 - h. Is r >= 0.07?
False
Let a = -13265/9384 - -1/552. Which is greater: a or 0?
0
Suppose -5*n + 229 = z, 37 = 2*n - n - 2*z. Let l = 46 - n. Which is smaller: l or 1/10?
1/10
Let l = 0.157 - -0.043. Which is smaller: -5.6 or l?
-5