- -10. Let l = -72.93 - u. Is l < 4?
True
Suppose -2*u - 58 = -o, -6*u + o - 118 = -2*u. Let g = -33 - u. Which is smaller: g or 11?
g
Let n = -224 + 222. Let x(d) = -d**2 - 10*d - 5. Let l be x(-10). Let u = l + 4. Which is greater: u or n?
u
Suppose 2*r - 28 = -5*c, -6 = c + 5*r - 30. Suppose 0*o - 32 = -c*o. Is o at most as big as -2/11?
False
Suppose 822 - 206 = 88*o. Let i be (30/(-8))/(6/(-16)). Suppose -3 + i = p. Is p less than o?
False
Let b = -5441/1190640 + 2/4961. Which is greater: b or 0?
0
Suppose 2*v - 3*m + 9 = 0, 0 = 2*v - 3*m + m + 4. Suppose -v*a - s + 4 = 0, -a + 0 - 4 = -5*s. Is a smaller than 3/11?
False
Let w = -35/6 - -313/66. Suppose k - 8 = 3*o, 2*k + 0*k + 8 = -2*o. Is k greater than w?
True
Suppose 5 = 2*a - 7. Suppose -c - 2 + a = 0, -3*c - 8 = -4*v. Suppose 66 = -v*k - k. Is k equal to -10?
False
Let x = 593 + -645. Which is smaller: -54 or x?
-54
Let k = 2.435 + -2.416. Let x = -1.9 - -2. Does x = k?
False
Suppose 564 = 14*v - 500. Is 74 less than v?
True
Let r = 432 + -443. Which is smaller: r or 27?
r
Let c be 213/510 - (-39)/(-130). Is 30 != c?
True
Let u(q) = q**2 + 5*q - 10. Let l be u(-6). Let b be 0/(5 + l - -2). Is b <= 2/13?
True
Let w(y) = -y**3 + 2*y**2 - 2*y + 3. Let a be w(2). Suppose -17*n + 14*n - 6 = 0. Let t be ((-4)/156)/(n/12). Is a less than or equal to t?
True
Let v = -255/2 + 142. Is 15 bigger than v?
True
Let m(n) = n**2 + 3*n. Let z be m(-4). Suppose 0 = -3*t - 6*t + 81. Let q be z/14 - t/7. Which is smaller: q or 6?
q
Suppose 4*b + 2*k - 513 = -3*k, 3*b - 2*k - 379 = 0. Is 251/2 not equal to b?
True
Suppose 0 = 32*d - 55*d - 759. Is d > -20?
False
Let f(b) = -b + 13. Suppose 3*w + 11 = 4*w. Let z be f(w). Let t be -1*(z + (-21)/9). Which is smaller: t or -1?
-1
Let z be ((-6)/(-426))/((-17)/(-51)). Let i = 7 - 6. Which is smaller: i or z?
z
Let v be (-1 + -2)/(6/(-4)). Let i be (-34)/v*(-6)/(-376). Let d = i - -1/47. Which is greater: 3 or d?
3
Suppose 2*c + f - 140 = 300, 0 = -3*c - 4*f + 660. Are 221 and c unequal?
True
Let r be -1*4 + (-640)/(-152). Suppose 0 = -5*i - 5*z - 30, -4*i + 3*z + 0 = -11. Which is bigger: r or i?
r
Let b be (144/27)/((-8)/(-12)). Let s be 46/52 + (60/b - 7). Is 2 > s?
True
Let k(a) = -a**3 + 7*a**2 + 7*a + 7. Let i be k(8). Let n be i*(3 - (2 + -3)). Let y be (-4)/3*(-9)/(-2). Is y equal to n?
False
Suppose 0 = 2*j + 14 - 18. Suppose 4*z - 44 = -5*n, -j*z - 2 = -3*z + n. Which is smaller: z or -1?
-1
Suppose 5*i - 6 = 4. Let g be (-39)/(-52) + 13/68. Is g greater than i?
False
Let r = 1250/783 + -4/27. Which is greater: r or 0?
r
Let x be (-5 - -4)/((-4)/3548). Is x bigger than 885?
True
Let u be (-2 + 8/5)/(-15). Is -2 less than or equal to u?
True
Let o(x) = -5*x + 98. Let y be o(19). Suppose 2*m - 6*j = -2*j - 10, -15 = -m - 2*j. Let q = m + -2. Is q <= y?
True
Suppose 6 = 4*x - 3*m, -28*x - 1 = -25*x - 5*m. Is x greater than -23?
True
Suppose -19*n = -48*n + 8758. Is 300 >= n?
False
Let o = -1.755 - 0.045. Let s = o - -0.8. Is -15 at most s?
True
Let u(q) = 2*q - 4. Let g be u(-6). Let t be 12/g - (-1)/(-4). Is -2/69 smaller than t?
False
Suppose 1 = -h, -3*m + 195 = 2*h - 475. Let i be (-4)/22 - m/(-22). Suppose -30 + i = 4*d. Which is smaller: d or -22/5?
d
Let v = -1.2 - 1.3. Is -0.9 bigger than v?
True
Let b = -5092/9 + 565. Let k(g) = 4*g**3 + 45*g**2 + 13*g + 20. Let d be k(-11). Which is smaller: b or d?
d
Let n(q) = -q**3 - 18*q**2 + q + 26. Let v be n(-18). Which is bigger: v or 5/4?
v
Let d(t) = -2*t**2 - 16*t - 15. Let p be d(-6). Let k be 2*(0 + (-26)/(-4)). Suppose w - k + 4 = 0. Is w < p?
False
Let r = 262 - 157. Let o = -99.01 + r. Let w = o + 0.01. Is 0.1 equal to w?
False
Let z be -10*((-36554)/4570 + 8). Which is smaller: z or -1?
-1
Let v be (-116)/(-78) - 76/57. Suppose 4 = k - 5*k. Does v = k?
False
Let v = 483 + -199. Let q be (6/v)/(11/(-22)). Let k = 86/355 + q. Which is bigger: 0 or k?
k
Suppose -34040526 = -3*d - 1201182. Let c = d + -25975921514/2373. Let p = -2/113 + c. Is -1 smaller than p?
True
Let t(q) = q**3 - 4*q**2 - 5*q - 1. Let j be t(5). Let r = 829 - 828. Which is greater: r or j?
r
Suppose -57*w + 70*w = 195. Let q be ((-17)/(-2))/((-2)/(-4)). Which is greater: q or w?
q
Let d = 113 + -30. Suppose m + 19 = -4*n + 6*n, 0 = 5*m + 2*n + d. Which is smaller: m or -0.1?
m
Let m = -105/2 - -45. Let d = m - -8. Let f(p) = p**2 - 4*p + 2. Let s be f(2). Which is smaller: d or s?
s
Let c = 85 + -27. Let d = 1.3831 + -0.3831. Which is greater: c or d?
c
Let c be (-2)/6*(227 - 20). Does -51 = c?
False
Suppose -3*i + 6*i + 4*n = -3, i = -5*n - 1. Let x be (-15)/(-10)*(0 - 3/(-27)). Is i < x?
True
Let o(k) = -2*k - 9. Let h(r) = r**3 - 5*r**2 - r. Suppose -5*g + 13 = -3*s, 4*s + 11 = 5*g + 2. Let l be h(g). Let w be o(l). Which is bigger: w or -0.07?
w
Suppose 5*z - 48 = z. Suppose 0 = d - 5*q - 26, 0*d - d + q + 14 = 0. Which is bigger: d or z?
z
Let m = -22 - -12. Let s be (18/15)/(2/m). Let i = 5 + s. Which is bigger: -1/4 or i?
-1/4
Let x = 58 + -47. Let l = x + -11. Is l at most as big as 1/2?
True
Let g = -1502/70485 - -4/381. Which is greater: 0 or g?
0
Let p = -2069/18 - -229/2. Let r(q) = 2*q + 34. Let y be r(-16). Suppose -5*l + m = 6, -l = y*l + 4*m - 1. Which is bigger: l or p?
p
Let t = -394 + 355. Is -272/7 > t?
True
Let s = -40.24 + 41. Let k = 0.76 - s. Is k less than or equal to -0.09?
False
Suppose -5*a - 6 = -14*m + 16*m, 4*m + 12 = -3*a. Which is smaller: 63 or a?
a
Let n = -0.12 - 14.88. Let q = -17 - n. Is q >= -0.4?
False
Let o(n) = -12*n. Let w be o(-2). Suppose 6 = -5*c - w. Let t be (c/9)/((-3)/2). Is t at least -1?
True
Let t be (-10)/(300/126) - -7. Is t greater than 4/3?
True
Let v be (-92)/40 - 1/5. Let t(j) = -j - 17. Let w be t(-9). Let k be w/(-3)*(-18)/12. Which is smaller: k or v?
k
Let d be (14 - 10) + -912*6/1374. Are d and -1 nonequal?
True
Let l = 1443 - 1332. Which is smaller: 106 or l?
106
Let f = 1307/3 - 444. Is f < -8?
True
Suppose -48*m = -52*m - 12. Let v be 108/1*(-8)/(-12). Let j = -147/2 + v. Which is smaller: m or j?
m
Suppose 63*a - 6 = 60*a. Which is greater: 5 or a?
5
Let r = -5 + 5.01. Let o = -0.136 - -0.266. Let g = o + r. Which is greater: 1/3 or g?
1/3
Suppose -5*w + 5 = 0, 2 = q + 5*w - 2*w. Let x be (4/(2 - 6))/q. Suppose 10 = 3*m + x. Is m at least as big as -1?
True
Let m = 114 - 111. Which is smaller: m or -8?
-8
Let n be ((-352875)/1140)/(-25) + 2/8. Are n and 14 unequal?
True
Let m = 32 + -52. Let u = m + 20. Which is greater: 5/21 or u?
5/21
Let k(l) = l**2 + 5*l - 18. Let m be k(-8). Suppose r = m - 5. Is r less than 4/3?
True
Let q(f) = f**2 - 38. Let c be q(-6). Are -12 and c equal?
False
Let r be (51/36)/(3/(-6)). Is r bigger than -3?
True
Let g be 4/4*(1 + -6). Let f be (-60304)/40 + 2/g. Let r = f + 91986/61. Which is smaller: -0.1 or r?
-0.1
Suppose b + 16 = 5*b. Let x be (-3)/(-2)*b/(-42). Suppose 0 = -5*i - 8*d + 4*d + 16, 2*i = -2*d + 8. Is i greater than x?
True
Let o = -23 + 29. Suppose -2*a + 70 = 3*b, -105 = -4*a + a - b. Let x be a/(-45) + 2/(-9). Does x = o?
False
Let m(f) = -f**2 + 2*f + 3. Let r be m(-3). Let x(u) = u + 1. Let n(b) = -b**2 - 10*b - 12. Let w(l) = n(l) + x(l). Let c be w(-9). Is r smaller than c?
True
Let h = -141 + 139.49. Let j = -1.51 - h. Do -0.012 and j have the same value?
False
Let p(d) = 2*d - 29. Let s(c) = -3*c + 28. Let t(y) = 6*p(y) + 5*s(y). Let z be t(-4). Which is bigger: 0.2 or z?
0.2
Let i = -6 + -4. Let p = i + 8.7. Let d = p - -1.4. Which is greater: -0.1 or d?
d
Let x = 208 + -207. Which is smaller: -2.2 or x?
-2.2
Let q(d) = d**3 - 33*d**2 + 2*d - 75. Let j be q(33). Let v be (-8)/(2/2) + -2. Which is bigger: v or j?
j
Suppose -5*x = 4*s - 45, -3*s = -x - 2*x. Suppose 0 = -13*z + 18*z + s. Which is greater: z or -2/39?
-2/39
Suppose 5*q + 3 = -h + 4*q, 0 = -h - 2*q - 4. Let m be (-2)/(-3)*6 - h. Let z = 10 + -7. Which is bigger: m or z?
m
Let w = 0.445 + -0.475. Is -0.1 at least w?
False
Suppose 3*r - 1 - 11 = o, 4*o - r + 15 = 0. Let n be (5/1 - -2) + o. Suppose n*f - 12 = g, g + g + f = -15. Is g >= -8?
True
Let l be ((-80)/24 - -4)*(-10)/(-124). Does l = 1?
False
Suppose -79*c + 75*c + 64 = 0. Which is greater: c or 25?
25
Suppose 0 = 3*a - 7*a - j + 3815, 2*a - 2*j = 1910. Let l be 0/2 + (-8 - a/(-117