-8, -2*u - 7 = 5*d - 60. Let m be a(d). Is m >= -3/5?
False
Let p = 38 - -8. Suppose -5*s - 5*n - p = -6, -16 = s + 5*n. Let r be 6/9 + 4/s. Is -0.05 != r?
True
Let x = 5 - 3. Let y(z) = z**3 - 4*z**2 + z - 1. Let p be y(4). Suppose 9 = 5*i - 3*c, -p*c = -4*i - 6*c + 18. Which is greater: i or x?
i
Suppose t + 45 = q, -q = 4*q - 4*t - 225. Let o = -47 + q. Let a(k) = -k**3 - k**2 + k - 1. Let z be a(0). Are z and o nonequal?
True
Let l = 145/3 - 49. Let z(u) = -2*u**2 - 31*u + 51. Let v be z(-17). Which is greater: l or v?
v
Let c = -24.99 + 24.88. Is c less than -4/9?
False
Let x = 1148450/19287 - -22/2143. Which is smaller: 60 or x?
x
Let m = -6 + 8. Let k(d) = -d + 2. Let q be k(m). Suppose 16*z - 5*z - 22 = 0. Is z bigger than q?
True
Let q = -5808 - -5861.54. Let j = q + -54. Let v = j - -0.16. Which is bigger: v or 4?
4
Suppose -8*v + 7*v = 8. Let y = 28 - 37. Is y smaller than v?
True
Let m = 19 - 14. Let s = -9 + m. Let k be (-623)/49 - s/(-14). Does -12 = k?
False
Suppose 0 = 2*z + 3*z + 55. Let b be (-314)/30 - (510/(-45))/(-34). Which is smaller: b or z?
z
Let y be 1 + -2 - 3*(-7 - 16). Let i be (2/12)/(-5 - y/(-12)). Is i less than or equal to -2/65?
False
Suppose -4*t = -20, -2*g + 6 = 5*t - 19. Let h be (g/(-1*6/3))/(-2). Which is smaller: h or -1?
-1
Let d = -432 - -431. Does d = -114?
False
Let c = -4 + 5. Let m be (7/2)/(c/(-2)). Is -9 greater than m?
False
Let y be (-4)/(-6) - (-13)/(-15). Let o be -3 + ((-476)/(-70) - (-4)/(-5)). Is y at most as big as o?
True
Let w = 131236108309/144052479 + 2/2150037. Let x = 911 - w. Are x and 0 nonequal?
True
Let m be 6 + 6 + (-3208)/272. Which is bigger: -1 or m?
m
Let g be (-52)/(-91) - 20/(-14). Let o(n) = n + 5. Let d be o(-3). Suppose g = -4*c - d. Is c != -2?
True
Let h = 416 + -434. Suppose 4*t = -j - 21 - 53, 4*j + 87 = -5*t. Which is bigger: h or t?
h
Let m be -4 + ((-142)/(-12) - 4/(-24)). Which is greater: 3 or m?
m
Suppose -2*r = 3*w - 0*r - 1, 3*w - 4*r = 25. Suppose 0*g - 3*g + w*t - 21 = 0, 5*g = -5*t - 85. Let s be (-2)/8 - g/(-144). Which is bigger: s or -12?
s
Suppose 4*m = 4*m + m. Let a be (-106)/(-8) - (3/12 - m). Which is greater: a or 11?
a
Let m = -0.04 - 11.96. Let n = m - -12.07. Let z = 0.64 - 0.54. Do z and n have the same value?
False
Let k = 16.6 - 17.1. Which is bigger: 4/7 or k?
4/7
Let i be 138/33 - 2/11. Let b(p) = 3*p - 8. Let l be b(i). Suppose l*o + 12 = 8. Is -4/3 bigger than o?
False
Let z be (0*4/(-8))/(-1). Let k = -705 + 36605/52. Let w = k - -4/13. Is w < z?
True
Let w = 41.3 - 39. Let s = 4.3 - w. Which is smaller: s or -1?
-1
Suppose 3*z - 7*z + 4 = 0. Suppose 4*r - 1 = 3*r + 5*f, z = r + 2*f. Let o = 15 - 14. Is o at most as big as r?
True
Suppose -18 = -3*w - 222. Let f = -136 - w. Let y be (6/9)/(f/12). Which is smaller: 1 or y?
y
Let x = 241 - 126. Which is greater: 1 or x?
x
Let n(u) = u - 8. Let v be n(7). Let j be -14 - (-1 + -1) - v. Suppose -19*a - 80 - 94 = 35. Is j greater than a?
False
Let l(z) = z - 4. Let u be l(-6). Let v be 3/30 + 4/u. Let t(m) = m**2 - 9*m + 15. Let o be t(7). Is v greater than or equal to o?
False
Suppose -781 + 5135 = 14*l. Which is greater: l or 312?
312
Suppose 0*y + 46 = y. Suppose -5*a = -4*l + 41, -5*l + y = a - 2*a. Are l and 13 equal?
False
Let w be (1 + (-18)/20)*2. Suppose 0 = -4*x - 4*p + 4, -x = -2*x - 5*p + 1. Suppose 4*s - 3 = 3*r - 0*s, -r = 2*s + x. Which is bigger: w or r?
w
Let o be 1 - (16/14)/(-4). Let w = 17 + -7. Let n be (-48)/(-30) - (-4)/w. Which is bigger: o or n?
n
Let x = 15 - 10. Suppose a = -4, 6 + 4 = -2*b - x*a. Suppose b*u = 5*n + 85, 5*n + 30 = u - 3. Is 13 < u?
False
Suppose 0 = -64*t + 66 + 254. Which is smaller: -66 or t?
-66
Let s = 8/51 - 21/170. Are 2 and s equal?
False
Let o = 22 + -26. Let v be 74/o + (-5)/10. Let r be 5 + -9 - v/4. Are r and 1 equal?
False
Suppose -3*w + 908 = -0*w + 5*r, 0 = 4*w + 4*r - 1208. Do w and 4 have the same value?
False
Let y = 61/300 - 7/100. Which is smaller: y or -1.12?
-1.12
Let s be (-1104)/896 + 3/(6/4). Let t = -5/8 + s. Which is bigger: 0 or t?
t
Suppose 2*h - 43 = w, -2*h + 6 = h. Let z(b) = -b - 53. Let c be z(-14). Is c <= w?
True
Let s(m) = -8*m + 4. Let z be s(2). Let c be (-35)/4 + (-9)/z. Let n be (-12)/(c/(-2)) + 4. Which is greater: 1/4 or n?
n
Suppose -4*g + 20 = x - 2*x, 0 = -x + 3*g - 15. Suppose x*i = 3*i - 9. Suppose 0 = i*p - 1 + 19. Which is smaller: -7 or p?
-7
Let u = -481 + 460.09. Let d = u - -21. Let b = 0.01 + d. Is -4 greater than or equal to b?
False
Let g = -151.8 + 140. Let l = g + 11. Let n = 0.2 - l. Is n greater than 0?
True
Let g = 25 - 25. Let f be (-8)/16*(0 + g). Which is smaller: -3/26 or f?
-3/26
Suppose 3209 = -4*v + 3129. Which is smaller: v or 0.09?
v
Let o(w) = -w - 3. Let g be o(-2). Let q = g + 2. Let y be ((-52)/(-44) - -1)*q. Is y greater than or equal to 1?
True
Let u be (1/29)/(-1 - 0). Suppose -2*j = -m - 4, 4*j - 11 = 4*m - 3. Let t be (-6)/(-27) - (6/27 - m). Is u smaller than t?
True
Let g = -10/1421 + 5571/589715. Is -1 <= g?
True
Suppose 64 = 20*y - 36*y. Is -37/11 >= y?
True
Let k = 11 - 8. Suppose o - 3*u = -k*o, 5*u = 0. Suppose o*t = -3*t - 3. Which is greater: t or 3/8?
3/8
Suppose 4*h - 72 = 2*h. Let y = 35 - h. Let f = 11583/37 + -313. Which is bigger: y or f?
f
Let t = -0.1036 + 0.0036. Do -322 and t have different values?
True
Let c(a) = a**3 + 6*a**2 - 2*a + 21. Let i(n) = -n**3 - 2*n**2 + 6*n - 3. Let w be i(2). Let t be c(w). Let j be 195/(-10)*4/6. Is t < j?
True
Let r = 3/53 + 179/583. Let p = -17 - -16. Which is smaller: r or p?
p
Suppose 2*h + o - 260 = 0, 5*o = -4 + 24. Is 129 greater than or equal to h?
True
Let k be 5*(30/(-40) + (-11)/(-20)). Suppose -4*i + 93 = 29. Let v be k/(-5) - i/280. Which is smaller: v or -0.1?
-0.1
Suppose 0*n + 3*n = 0. Suppose 0 = 4*g - 0*g - 60. Let w be (2/g)/(4 - 123/30). Is w >= n?
False
Let m = -275.5 - -676.2. Let z = m + -423. Let a = 22 + z. Are -0.1 and a nonequal?
True
Suppose 3*d + n - 18 = 6*n, -2*d = 4*n - 34. Suppose 9*r - 25 = d. Is r smaller than -5?
False
Let s = 0.17 + -0.17. Let v = 80.2 + -80. Does s = v?
False
Let t = -1153/2 - -618. Let d = -41 + t. Is 16 at least d?
True
Let z = -35 + 61. Let t = 49 - z. Let x = -91/4 + t. Which is smaller: x or 2?
x
Let p = -0.54 - 0.16. Let w = -15.2 + -0.8. Let f = w - -15.9. Which is smaller: f or p?
p
Let v = 4/5 - 21/20. Let n be -3 + (-4)/8*10. Let y be (4/n)/((-39)/(-6)). Which is smaller: y or v?
v
Suppose 0 = -4*y - 11*y - 12*y. Which is smaller: 1/35 or y?
y
Suppose -3*j + 9 - 3 = 0. Suppose z - j*z = 0. Which is bigger: z or 2/3?
2/3
Let c(i) = 6*i - 8. Let f be c(8). Which is smaller: f or 41?
f
Suppose -2*w - 2 = 4. Let k(f) = -3*f**2 - 2*f + 5. Let l be k(w). Let c(q) = q + 17. Let p be c(l). Are p and -1/12 non-equal?
True
Suppose 9*y - 11 = -2*y. Which is smaller: -3/14 or y?
-3/14
Suppose 4*r + 9*y - 182 = 11*y, y = -5. Is r less than or equal to 43?
True
Let c be 164/(-162) - (4 - 10)/6. Which is bigger: c or 1?
1
Let u be (-7 + (-10478)/(-1497))/((-1)/(-9)). Are u and 1 non-equal?
True
Let j = 16 - 44. Let q be 2/1 - -2 - j/2. Is -0.2 at least q?
False
Let r be (-7)/2 - 1/2. Let q be -4*(-6)/12 + -8. Which is smaller: r or q?
q
Let n(u) = u**3 - 5*u**2 - 15*u - 13. Let s be n(7). Which is bigger: -98/5 or s?
-98/5
Suppose 2 - 10 = h. Let r be h/(-15)*(-9)/12. Is -1/3 at most as big as r?
False
Let i = 2234/9 - 632228/2547. Is i bigger than 1?
False
Let b = 1.05 - 47.05. Let n = b - -31. Let p = 11 + n. Which is greater: p or 3?
3
Let u be (10/(-112)*6)/((-25)/500). Which is greater: u or 12?
12
Let f = 8/5 + -11/10. Let y = -1 - -1.21. Let u = y + -0.13. Is u less than or equal to f?
True
Let a = -10.24 - -10.34. Suppose 0 = -0*i - 3*i - 6. Which is smaller: a or i?
i
Let i = -587 + 587.9. Which is smaller: 2.5 or i?
i
Let y = -1105 + 1104. Which is smaller: y or -506/9?
-506/9
Let p be -3 + 3 + 2/(-1). Suppose 3*r = 3*c, -1 = 3*c + 5. Let q be (r/(-10))/(7/(-14)). Is q bigger than p?
True
Let t be 2*-3*(-14)/(-12). Let b be 10/7 + (8 + -1)/t. Let c be (0/1)/1 - -1. Is b at most as big as c?
True
Let t = -0.6 + 0.9. Let q = -15.5 + 14.5. Is q equal to t?
False
Let t = 27.9 - -1.1. Let y = -14 + t. Let l = y + -16. Which is smaller: l or 4?
l
Let o be (-1