
Let l = -505 - -505.37. Which is smaller: -5 or l?
-5
Suppose -483 = 15*q - 453. Let t be 6/(-15) - (-216)/(-10). Let z be (4/8)/(t/36). Which is bigger: q or z?
z
Let m be ((-96)/7)/((-21)/(-28)). Which is bigger: m or -19?
m
Let s = -2034 + 2033. Is s at most 1020?
True
Let o(p) = -p**3 - p**2 + 4. Let x be o(-4). Let t = 3779 - 3726. Is x less than t?
True
Let f = 0.1323 + -0.2323. Is -0.88 greater than f?
False
Let s = -133 + 186. Suppose -s - 87 = -5*m. Are m and 27 non-equal?
True
Let g be 0 - -1 - (-51)/(-34). Which is smaller: g or -28/15?
-28/15
Let b = -1 + 7. Let l(c) = c**3 + 1. Let t(f) = -5*f**3 - f**2 + f - 7. Let o(p) = b*l(p) + t(p). Let u be o(1). Which is smaller: 1/17 or u?
u
Let t = 35 - 34.35. Let n = t + -0.6. Is n equal to 0.1?
False
Suppose 5*v = p + 3*v - 6, -4*p + v = -17. Suppose 0*k + 2*l + 2 = -3*k, 5*k - p*l + 40 = 0. Is -3 < k?
False
Let i be (1 + 96/(-105))/((-48)/(-40)). Which is bigger: -21 or i?
i
Suppose 0 = -6*o + o + 20. Let b(r) = -o*r + 0 + 3*r - 6 + 1. Let m be b(-5). Is m smaller than 0?
False
Let y be (-815)/(-105)*129 - (-28)/(-98). Is 1000 at least as big as y?
False
Let x(p) = 19*p - 642. Let m be x(24). Which is greater: -188 or m?
m
Let f be (-85)/2 + 14/28. Let y(o) = -o**3 + 2*o**2 + o - 1. Let r be y(2). Let c be (7/f)/(r/(-8)). Is c <= 1?
False
Let l be 206/14 - 4/(-14). Suppose 35 = 5*j + l. Suppose 3*a = -j*r + 6*a - 26, 12 = -2*r + a. Which is smaller: r or -6?
-6
Let v be (195/(-26))/(-5*(-5)/50). Is -9 greater than v?
True
Suppose 85*m + 5*m - 25470 = 0. Which is smaller: 279 or m?
279
Let v(i) = i**3 + 8*i**2 + i + 15. Let s be v(-8). Let f be (((-70)/(-3))/s)/((-2)/3). Which is smaller: f or -9?
-9
Let m = 1274 + -2467. Is -1192 less than or equal to m?
False
Let a(v) = v**3 + 7*v**2 + 3*v - 1. Let q be a(-5). Let u = q + -33. Which is bigger: 2/11 or u?
u
Suppose 2*l - 25 = -5*x + 31, 5*x - 2*l = 64. Let j be 2 - (-5 - (-76)/x). Is j equal to -0.2?
False
Suppose -2*c = -3*u - 14, 4*c - 2*c - 18 = 5*u. Let z be (u + 0)/(-2)*4. Let b be 2 + (-31)/4 + z. Which is smaller: -2 or b?
-2
Let r(b) = -19 + 6 - 2*b + 2 + b. Let n be r(-5). Is -1 less than or equal to n?
False
Let r = 20 - 101. Let c = -80 - r. Which is smaller: c or -2/13?
-2/13
Let s = 2/63 + 104/693. Let v = -1 - -0.6. Let g = 0.5 + v. Which is smaller: s or g?
g
Let s = 23.621 + -27.621. Let y be 76/(-10) - 4/10. Which is bigger: y or s?
s
Suppose 20 = 11*h - 15*h. Let i be 1 + h + 1 - 45/(-55). Which is greater: i or -0.1?
-0.1
Let o(m) = 3*m**2 + 7*m + 6. Let u be o(-1). Let v be (-4)/6*(5/u + -1). Which is smaller: v or -6/35?
v
Suppose -3*y + 4*u - 5 = 0, 0 = 2*u + 3 - 7. Let r be ((-60)/(-100))/((-16)/(-25)). Is y smaller than r?
False
Let p(m) = -2*m**2 - 7*m - 5. Let b be p(-4). Let u = b + 21. Suppose -g - 3*f + 2 = -8, g = -4*f + u. Is 5 equal to g?
False
Suppose 3*p - 81 = 6*p. Let t = -36 - p. Which is smaller: -8 or t?
t
Let b be (297/(-12))/((-1)/(-4)). Let q = -99 - b. Does q = -9/8?
False
Suppose 104*f - 112*f = 664. Are f and -85 non-equal?
True
Let t = 6.8 + -6.9. Let d = -3 + -10. Which is bigger: d or t?
t
Suppose 0 + 8 = 4*o. Suppose 0*w - o*w = -2*l, 0 = l + 5*w - 6. Is l smaller than 2/89?
False
Let v be (-12)/(-4) - (-6 - -10). Is 1/67 smaller than v?
False
Let u(v) = 20*v - 1. Let x be u(1). Let d(o) = -2*o**3 + 2*o**3 + 10*o**2 - 4*o**3 - 12*o + 7 + 5*o**3. Let k be d(-11). Does k = x?
False
Let j be (-2)/(-6) - 245/744. Which is bigger: 1 or j?
1
Let x be (420/(-104) + 4)*(-36 + 34). Which is greater: -21/2 or x?
x
Let h = -106 + 118. Let o = -12 + h. Is 13/11 != o?
True
Let h = 3 + -2.9. Let p = 9.53 + 0.47. Is p bigger than h?
True
Let c = 877/10621 + -21/247. Which is bigger: 0 or c?
0
Let p = -290 + 203. Does p = -87?
True
Let o = 82.1 - 79.1. Is o > 7/3?
True
Let q be (-8)/(10 + 315/(-18)). Which is greater: q or 2/5?
q
Let s(m) = 3*m**2 + 4*m - 4. Let z be s(-4). Let p = z - 14. Suppose -9*a = -p*a + 10. Is a at most as big as -1?
False
Let q = -915 + 158296/173. Which is smaller: q or 0?
0
Let h be (5/(-2470)*-19)/(2/16). Let m(x) = x - 1. Let f be m(2). Which is smaller: f or h?
h
Let d be (-1)/((-1)/12) - (-8)/(-4). Is 8 greater than d?
False
Let y be ((-14)/(-6) - 272/48)*3. Which is greater: y or -120/11?
y
Suppose 0 = 2*h - 4*v - 4 - 42, -4*h - 4*v + 44 = 0. Suppose 8*u = 3*u + h. Is u > 11?
False
Let q be (-7 - -8)/(2/4). Let n be (-1)/q + 50/(-4). Which is smaller: -14 or n?
-14
Let c(n) = 20*n**2 - 81*n - 160. Let d be c(-2). Let p be (3 - 1)/(2/83). Which is smaller: d or p?
d
Let p = 12.01 + -12. Let g = p + 0.09. Let h = g - 0.6. Is h < 1?
True
Suppose 0 = 13*i - 6*i - 98. Is i at most as big as 15?
True
Let n be (8/20)/(1/100). Let d = n - 32. Let w = 1 - -8. Which is bigger: w or d?
w
Let m be (-7)/(-28) - (-9250)/(-8). Let k = 471/2152 + 111921541/96840. Let d = k + m. Which is greater: 1 or d?
1
Let a(d) = d**3 - 3*d**2 + 7*d - 22. Let y be a(4). Are y and 1/2 nonequal?
True
Let z = -54.882 + -0.118. Let l = z + 54.97. Which is greater: l or -1?
l
Let w = -1378 - -1255. Is -124 equal to w?
False
Let m = 64/35 + -7/5. Suppose l = -2*l - 3. Is m smaller than l?
False
Let o be 4 - 7 - -4*(-6)/(-4). Suppose 5*b - 20 = -3*r, 4*b + 7*r = 3*r + 24. Do o and b have the same value?
False
Let s be 2*(-1 - 75/(-6)). Let m = -221 - -244. Is m greater than or equal to s?
True
Let n = -445 - -445. Which is bigger: n or 2/747?
2/747
Let j be (-1818)/(-8) - 42/(-56). Let m be (-6 - j/(-80)) + 2/(-8). Which is bigger: m or -2?
-2
Suppose -11*h = 35 - 24. Is h bigger than -14/11?
True
Let q = 8985/28 + -321. Let c = -24 + 25. Which is bigger: q or c?
c
Let h = 6596/5775 - 90/77. Let q = -21/475 - h. Which is smaller: -1 or q?
-1
Let w = -28.4 - -28. Let y = 3.4 + w. Which is smaller: y or -0.3?
-0.3
Suppose 10 = -4*i + 26. Let r = 38 - 36. Suppose 2 = i*z - r*o, 0 = 5*z - 2*o - o - 1. Which is bigger: 0 or z?
z
Let s = 490 - 3604. Let i = s - -3143.06. Let a = i + -29. Is a equal to 1/2?
False
Let u = -5 - 2. Let y = 2 + u. Let p = 0 - 1. Is y greater than p?
False
Let n be (-9)/201*(-2)/(-2). Let k = -23/25883 - 6382314/12139127. Let i = n + k. Is 0 at least i?
True
Let t = 3/11 - 47/132. Suppose -h - 4*d - 3 = -0*h, 6 = 2*h + 2*d. Suppose -3 = -h*c + 2. Which is greater: t or c?
c
Let c = 18/19 - 2415/2489. Is c greater than 1?
False
Let f(m) = -2*m**2 - 4*m - 2. Let c be f(-2). Let k be c/(-5) + (-834)/(-90). Is k greater than 9?
True
Let w = -127 + 62. Let n = 66 + w. Let v = -5/134 + -635/938. Which is smaller: v or n?
v
Let g = -112 + 110. Is g at most -0.01?
True
Let z(j) = j**3 - 11*j**2 - 7*j - 59. Let y be z(12). Let g be (-12)/9*(-6)/4. Which is smaller: g or y?
y
Let q = 3 + -2. Let i = -268 + 2944/11. Is q >= i?
True
Let i be (-528)/90 + 2/(-15). Let k(c) = -c**3 - 6*c**2 + 2*c + 8. Let a be k(i). Is a > -1?
False
Suppose n - 11 = -0*n - 3*c, -8 = 4*n - c. Which is smaller: n or -2/473?
n
Suppose -m - 10 = -1. Let o = m - -12. Suppose -2*z + o = -3*z. Is 0 not equal to z?
True
Let x = -38.3 - -41. Let p = 2.8 - x. Is p at most -0.16?
False
Let b be 5/3*(-9 + 12). Suppose 4*v - 36 + 3 = -5*i, -b*i = -5. Let p = v - 6. Which is smaller: p or 2?
p
Let f = -0.0369 + -0.1631. Which is bigger: f or 2/3?
2/3
Let b be -4*(-3)/(-18)*(0 + -3). Suppose -2*q + b*v = -v + 80, -66 = q + 5*v. Is -46 at least q?
True
Let a be (-42)/(-12) - 2/4. Let t(b) be the second derivative of -b**5/20 + 5*b**4/12 - b**3/2 - 3*b**2/2 + b. Let v be t(a). Which is bigger: v or 7?
7
Let x(k) = -2*k**2 + 11*k + 7. Let p be x(6). Let l(q) = q**2 + 9*q + 5. Let w be l(-9). Suppose -w*b = 2*c - b - 38, -c + 16 = 5*b. Which is smaller: p or c?
p
Let s be ((-7 - -5) + (-4)/(-2))/(-1). Suppose s = 7*g + 30 + 19. Which is smaller: -9 or g?
-9
Let s be (38/(-95))/((-2)/20). Suppose 0 = -4*i + s. Suppose -f = -2*f + i. Which is smaller: f or 2/9?
2/9
Suppose 2*x + 4*i - 46 = 0, 3*x - 3*i = -7 + 40. Suppose 0 = 4*k + x + 33. Let g = -13 - k. Which is smaller: g or -2/7?
g
Let r = 83 + -48. Let f = 1180 + -1211. Let m = r + f. Are m and -0.3 nonequal?
True
Suppose 4*w - 486 = 2*v, 16*v = 3*w + 15*v - 367. Is 125 bigger than w?
True
Let u(i) = 3*i - 1. Let w be u(9). Suppose -w*n + 22*n = -32. Suppose a - n = -a. Is 5 >