 d equal to 9?
False
Let x = 162.56 - 160. Let l = -0.44 - x. Which is smaller: 4 or l?
l
Let j(y) = -2*y - 2. Let g be j(6). Let r = 17 + g. Suppose 0 = r*m - 6. Which is greater: 4 or m?
4
Suppose a = 3*x - 26 + 93, -4*x = -3*a + 86. Which is smaller: -65/3 or x?
x
Suppose -5 = -3*b - 17. Let r be 22/18 + b + (3 - 1). Which is bigger: -0.1 or r?
-0.1
Let q be (0 + (-6)/(-15))/((-1)/(-140)). Which is greater: 225/4 or q?
225/4
Let t(f) = -f - 12. Let v be t(-12). Let d be (-58790)/(-1190) - 4/14. Let m = -49 + d. Which is smaller: v or m?
v
Suppose -3*l - 218 - 106 = 0. Which is smaller: -110 or l?
-110
Let p(g) = -13 + 0 - 13 - 5*g. Let u be p(-5). Is 17 >= u?
True
Suppose -5*k = -3*q + 1, 0*q = -3*k - 3*q + 9. Let t be (13 + 0 + 0)*1. Let h = -25/2 + t. Is h at least k?
False
Let t = -0.1442 + 0.8442. Which is smaller: t or -6/5?
-6/5
Let v be 0*((-9)/6)/3. Let y(g) = v*g - 9*g - 10 + 9*g - 3*g. Let m be y(-4). Which is smaller: 1/4 or m?
1/4
Suppose -4*d + 63 = -6*r + r, 0 = d + r - 27. Suppose -14 = 3*j + 5*l - 4*l, -5*l = -j + d. Let t(m) = 101*m - 707. Let w be t(7). Are w and j nonequal?
True
Suppose -3*w + 5*k - 178 = 194, -5*k = 4*w + 531. Does w = -128?
False
Suppose -10 + 0 = -5*y. Suppose 8*v = 3*v + 3*c + 1, y*c = 2*v - 2. Let b = -7954/247 - -420/13. Which is greater: b or v?
b
Let u = -53 - -38. Let j be ((-10)/u)/(2/12). Suppose -j*f - 30 = f. Is -6 greater than f?
False
Let i = 28 + -28. Suppose 0 = -j - i*j. Let a = 216/7 + -31. Which is bigger: j or a?
j
Let g = 32.8 - 37.8. Is 0 bigger than g?
True
Let k be 1997/2 + 2/(-4). Let m = 7001/7 - k. Is m less than 1?
False
Let o be ((-2)/3)/(1/27). Let k be o*(-18)/735 - 2/5. Is k less than 1?
True
Suppose -2*k + 4*f = -554, 43*k - 2*f = 38*k + 1361. Which is smaller: 270 or k?
270
Suppose -2*o = -4*s + 70, 0*o - 2*o = -3*s + 52. Suppose -s = -4*m + m. Let f be (-4)/(-6)*m/(-34). Which is greater: 1 or f?
1
Let o be 872/36 - 8/36. Let t = -10 + o. Suppose -2*z + t = -k + z, -5*k + z = 0. Which is smaller: -1/5 or k?
-1/5
Suppose f - 1 = 2*x + 22, -x = -3*f + 74. Suppose -a + f = 4*a - 5*b, 5*b = -25. Which is smaller: a or -9/13?
-9/13
Let r be (-1072)/(-64)*(1 + 1). Is r less than 34?
True
Let p = 1.4 - -5.6. Let k = -10.8 - -11. Which is bigger: k or p?
p
Suppose 2*n - 30 - 12 = 0. Suppose s - v = 3, 2*s + 3 = -4*v - n. Which is smaller: -12 or s?
-12
Let a = 1783.3 + -1778. Which is smaller: a or 0.7?
0.7
Let q(b) = 30*b**2 - 6*b - 14. Let x be q(-2). Is 118 at least x?
True
Let f = 1.8 - 2.2. Let h = 17.4 + f. Let q = h - 16. Is q >= 5?
False
Let y be (1778/381)/(-2 - (-128)/63). Is 145 less than or equal to y?
True
Let c be (132/(-9))/(10/45). Which is smaller: c or -269/4?
-269/4
Suppose -4*g = 2*c, -c = -4*c + 3*g - 9. Let i = 39/40 - 8/5. Is i less than c?
False
Let v = -311/1281720 - 1/1942. Is 0 <= v?
False
Let h(k) = -3*k - 87. Let s be h(-26). Let r be (((-9)/(-22))/s)/(3/12). Which is smaller: r or -19?
-19
Let x be (2/3)/((-2)/(-9)). Let i be (4 - 3)/((-3)/84*-7). Which is greater: x or i?
i
Let d be (-351)/(-6)*26/(-39). Are -35 and d non-equal?
True
Suppose 28 = 4*a - 3*a. Suppose -g = 3*t + a, -4*g + 0*t - 84 = 5*t. Let v(p) = -4*p + 7. Let j be v(6). Which is smaller: j or g?
j
Suppose -8 = 4*l, l = u - 3*l + 6. Suppose 5*b + 59 = 3*s, -b + s - 9 = -s. Which is smaller: u or b?
u
Let c = -15.18 + 37.208. Let p = 0.028 - c. Let o = 18 + p. Which is bigger: -1/6 or o?
-1/6
Let j be (-5)/6*(-9)/30*-1. Is j less than 37?
True
Let u = 21 + 11. Let f be (-36)/(-24) + 63/2. Let z = f - u. Is -2/37 != z?
True
Let b be (-14)/34*(-120)/(-105). Let q be (-2)/(0 - (-4 - -2)). Is b >= q?
True
Let y be 36/(-21) - 4/14. Let w be 0 + 2 + (-6 - -5). Let m be -1 - 2*y - w. Which is smaller: m or 2/3?
2/3
Let f = -23 + 34. Let b be (-256)/(-30) + f/(-55). Is 7 != b?
True
Suppose -2937 = 30*o + 3123. Which is greater: -207 or o?
o
Suppose -182*o + 193*o = -6490. Which is greater: o or -588?
-588
Suppose -4*r + 26 = 2*q, 0 = -3*r + 7 + 5. Suppose -339 = 3*h + 8*x - 5*x, 128 = -h + 4*x. Let l = 122 + h. Which is bigger: q or l?
l
Let d(z) = -2*z**3 - z - 1. Let o be d(-1). Suppose -f = -3*f - 6, 63 = 4*h + 3*f. Suppose 0 = -0*p + o*p - h. Which is bigger: p or 10?
10
Let q(k) = k**2 + 3*k - 33. Let z be q(6). Are z and -1 equal?
False
Suppose -7*s = -5*s. Suppose s = 2*x + 3*f - 29, -f - 1 = -6. Suppose x*m - 2 = 6*m. Which is greater: 3 or m?
3
Let i(k) = k**2 + 5*k + 3. Let o(j) = -3*j**2 - 11*j - 5. Let p(b) = -7*i(b) - 3*o(b). Let z be p(3). Which is bigger: 8 or z?
8
Let i be (-43185)/(-180) + (-1)/4. Let y = i - 30919/129. Which is greater: 1 or y?
1
Let w(g) = -g - 4. Let h be w(-4). Suppose -3*a + 5*a = 4. Let y be (a/(-22))/((-5)/(-30)). Which is smaller: h or y?
y
Let q = 3/18512 - 18882261/129584. Let l(p) = -p**2 + 146. Let s be l(0). Let v = s + q. Is v smaller than 1?
True
Let j(y) = -y**3 + 7*y**2 - 3*y - 15. Let u be j(6). Suppose -2*v = u*m + 61, 2*m + 100 = -2*v + 34. Is 1 less than or equal to v?
False
Let z(x) = -6*x**2 - 48*x - 48. Let h be z(-10). Are 5 and h unequal?
True
Let j = 134/207 - 20/23. Which is greater: -0.023 or j?
-0.023
Let v = 1625 + -1846. Which is bigger: 1 or v?
1
Suppose 0 = -3*p - 4*s, 3*p + s = 2*s. Let u = -0.6 + 0.56. Let r = 0.04 + u. Are p and r equal?
True
Let q = 877 + -845. Which is smaller: 298/9 or q?
q
Suppose 3*q - 617 = 4*o, 6*q - 5*q - 763 = 5*o. Is -152 at least o?
True
Suppose 1014 = 403*d - 390*d. Is d smaller than 79?
True
Let h = -2 - 0. Let q = -2 - h. Let p = -232/3 - -77. Which is smaller: q or p?
p
Let a = -6.4 - 40.6. Let p = -47 - a. Let f = -10.9 - -11. Which is greater: f or p?
f
Let y(o) = -o**3 + 2. Let d be y(0). Suppose -2*a - 24 = d*a. Let l be (a + 6)/(2 + 0). Which is greater: -4/11 or l?
l
Let n = 2644 - 515582/195. Let r(b) = b**2 - 3*b - 1. Let w be r(3). Which is greater: n or w?
n
Let w(i) = 4*i**2 - i. Let n be w(1). Let p = 2/2219 + 42151/11095. Which is smaller: p or n?
n
Suppose 19*j + 49*j - 68 = 0. Which is smaller: -3/536 or j?
-3/536
Let h(t) = t**2 + t - 2. Let l be h(-3). Suppose 5*r - l = 3*r. Suppose 2*n + 0 = -4*f + 14, f - 6 = r*n. Which is smaller: 1/9 or n?
n
Suppose -4*j = 5*z - 30, 0*z = -z + 2*j - 8. Suppose -z*x = -x - 18. Let t be 20/(-9) + 4/x. Is t at least -2?
True
Suppose 4*a = -5*d - 1, 4*d + 7 = 5*a + 2*d. Let t(i) = -i**3 - 2*i**2 + 5*i - 3. Let c be t(a). Which is smaller: 0.13 or c?
c
Let i be (2/6)/((-55)/880)*2/4. Suppose 0 = 3*b + 3*z + 9, 2*z - 6 = -2*b + 4*z. Are b and i equal?
False
Let u be 4/26 - (-232)/13. Let z be 190/45 - 4/u. Suppose 0 = z*d, -y - d - 2*d - 1 = 0. Is 1 at least as big as y?
True
Let z = -6.44 + 4.34. Which is greater: 9 or z?
9
Suppose 3*p = -y - 2*p + 17, -4*y = 2*p + 4. Let r be ((-5)/y - 2)*2. Which is bigger: r or 0?
0
Suppose -4*k - 4*u = 4, 16 = 5*k - u - 9. Suppose -t = k*t + 5. Let q be (2 - 2) + 2/12. Which is greater: q or t?
q
Suppose 13*w = 38*w + 700. Is -28 >= w?
True
Suppose -2*q + 5*t = -17, q - t = 3*q + 1. Suppose 2*s = -3 + q. Let r be s + -2*21/(-48). Which is greater: r or 1?
1
Let p be (-1 + 7)/((-2)/((-628)/(-3))). Let q = p - -13178/21. Are -1 and q equal?
False
Let t be (-3 + (-14)/(-4))/((-2)/(-176)). Are t and 44 non-equal?
False
Let u = 6.19 - 8.19. Which is smaller: -1.4 or u?
u
Let d = -715 - -714. Is -0.548 less than d?
False
Let j = 193.2 + -193. Let g = -0.08 + 0.17. Which is greater: j or g?
j
Suppose -2*l - 5 = -3. Let r be (43/4)/(3/4 + l). Which is bigger: r or -42?
-42
Let q = -0.0162 + -0.0838. Is q at most as big as -1/12?
True
Let d = 583 + -583. Is d >= -7/20?
True
Suppose h = 2*h. Suppose -4*u = -5*y - 3*u - 77, h = 5*u + 15. Let c be 14/(-63)*(-6)/y. Is c greater than 0?
False
Suppose 12*r - 6 = 11*r. Suppose 0 = 3*q + r, 0 = -2*j - 0*j + q + 4. Which is smaller: j or 4?
j
Let f be (-2)/(-9)*33/(-748)*-4. Is f less than or equal to 0?
False
Let w be (-6810)/(-297) - (-1)/(-9). Which is greater: w or 24?
24
Let i = 497 + -947. Which is smaller: i or -451?
-451
Let f = 512 + -512.055. Does f = -2/9?
False
Let w = -17 - -25. Suppose 21 = -4*h - 19. Let t be h/15*27/(-2). Which is greater: w or t?
t
Suppose -2*t + 18 = 2*n, 33 = 5*t - 0*t + 2*n. Suppose -t*w = -5 - 15. Suppose w*c = 2*c + 22. Is c le