-9)). Suppose 2*q = -4*q - 18. Let x be ((-90)/(-7))/q + 4. Is x less than b?
False
Suppose 0 = 3*s - 2*h - 8, h = -0*h - 1. Suppose -2*v = w - 5*w - 6, s*w = 2. Suppose -d + 1 = -2*f + 4*f, -4*f = v*d - 5. Is f less than -4/9?
False
Let r = 975 + -993. Which is smaller: r or 2?
r
Let v = 0.26 - 8.96. Do v and 2/7 have the same value?
False
Let y = -8 - -53. Suppose 8*b - y = 3*b - 4*t, 3*b = 2*t + 5. Suppose -5*c = 4*l + 12, -b*l - 15 = 4*c - 0*l. Is 0 less than c?
False
Suppose -q - 13 - 14 = -2*d, 3*q + 45 = 3*d. Let s be (9/d)/((-423)/(-8)). Which is smaller: s or 0?
0
Let x = -3.9004 + -0.0996. Which is bigger: x or 28?
28
Suppose -1 = -4*y - 3*a - 2, 3*y = -3*a. Let j be -3*2/4*2. Let p be (j/12)/((-42)/16). Which is smaller: y or p?
y
Let p be (138/22 - 0)*41. Let l(y) = 103*y + 464. Let m be l(-7). Let r = m + p. Which is smaller: r or 0?
0
Suppose 5*k + 203 = 68. Let h be 3/9 + 5*3/k. Is 1 at most h?
False
Let u(t) = 39*t - 40. Let m be u(1). Is -1/728 != m?
True
Suppose -l = 2*l - 6. Let u be (18/(-45))/(l/10). Let g be u + (3 - 0) + 11. Which is greater: 13 or g?
13
Let l be 14/(-18)*(-2)/7. Let u = 0 + -7. Let v be 1 + 0 - (-6 - u - 1). Which is smaller: l or v?
l
Let b = -15.9 - -0.02. Let c = -69 - -53. Let m = b - c. Is -1 at most m?
True
Let z(q) = 61*q - 9. Let o be z(-9). Let w be 1 - 1/(-3)*o/168. Is w less than 1?
True
Suppose 2*v - 4*m + 218 = 0, 2*m = -v - m - 84. Which is smaller: -97 or v?
v
Suppose 42*f = 23*f + 8626. Is 456 not equal to f?
True
Let k = 130 + -129. Which is smaller: k or 4/103?
4/103
Let j = -889/4301 - 2/187. Which is greater: j or 1?
1
Let o be 4/(-4)*(-3)/3. Let t be (-3)/(-9)*(o - 16). Let a be 4 + t - (-5 + 4). Is a bigger than -1/8?
True
Let x = 7339/28 + -262. Is 0 less than x?
True
Let d = 0.25 + -0.15. Which is smaller: d or -3?
-3
Let d = 7.1 + -0.1. Let q be (0 + -2)/(2/49). Let z be (-4)/(-6) - q/(-42). Is d < z?
False
Let z(n) = 8*n + 49. Suppose b = -2*b - d - 17, 4*d = 5*b + 34. Let r be z(b). Which is bigger: 1/21 or r?
r
Suppose 0 = -i + 28 - 0. Are i and 29 equal?
False
Let f(n) = n**2 + 7*n - 1. Let k be f(-3). Let g(q) = 16*q**2 + 3*q + 6. Let v be g(-2). Let c = v - 77. Are c and k equal?
True
Let n be (-6)/4 + 504/(-16). Let o = 45 + n. Let k be 1/(-4) - (-53)/4. Which is bigger: o or k?
k
Let d = 194 - 190. Is -10 greater than d?
False
Let x be ((-8)/(-70))/((-30)/(-7)). Let z = x - -517/300. Let l = z - 5/4. Which is smaller: 0 or l?
0
Suppose 0 = -5*a - 4*q + 15, 0 = 3*q + 2*q. Suppose -2*p - 5 = -a. Are -5/11 and p equal?
False
Let u = 356 - 1055/3. Let b = -5 + u. Is b at most as big as -2?
False
Let v = -298 - -1501/5. Which is greater: v or 0.07?
v
Let i = 0.5918 + 0.0282. Is 2/7 < i?
True
Let a = 976 - 972.09. Let j = 3.5 - a. Let u = j + -0.19. Is u greater than or equal to 2/7?
False
Suppose -2*s - 19 - 3 = 0. Let g = 13 + s. Is g bigger than 4?
False
Let p be 9/6 + 2/(-4). Let z be (-234)/(-48) + -5 - (-218)/208. Is p greater than z?
True
Let u be 2/9 + (-75432)/(-756). Is u > 101?
False
Let k(n) = 4*n**2 + 9*n + 1. Let y be k(4). Is 0.1 bigger than y?
False
Let h be (-1 - -2 - 0)*(1 + 0). Which is bigger: 2/401 or h?
h
Let c(k) = k**3 + 2*k**2 - k - 1. Let h be c(-2). Let v be -2 - 58/(-18) - h. Let a be 6/(-10) + 1 - 186/465. Is a bigger than v?
False
Let n = -3/52 + -1/52. Let m be 1/4 - 15/(-4). Let b be (-2)/m - 1/(-2). Which is greater: n or b?
b
Let j(r) = -4*r + 41. Let t be j(-16). Suppose -8*q - 31 - t = 0. Which is bigger: -18 or q?
q
Suppose 40 = -0*s - 4*s. Let z = 6 + s. Let b be (2 + z)/(22/4). Which is bigger: -1 or b?
b
Suppose -27 = 4*t - 323. Let m be 0 + (-21)/27 + 12/27. Is t < m?
False
Suppose 4*y - 1444 = -116. Is y at least as big as 332?
True
Let f be 0 - -1 - 5792/(-96) - 2. Is f greater than 59?
True
Suppose 39*l - 40*l - 2 = 0. Suppose -4*p = 5 - 1. Let w be (-2)/p*9/(-30). Which is greater: l or w?
w
Let q = -720 + 714. Let l = 515/346 - -2/173. Is l smaller than q?
False
Suppose 4*k = 2*k + 8. Suppose 3*f + y + 6 = 0, 3*f + k*y - 4 = 5*f. Is -3 > f?
False
Let t = 116 - 55. Let m = 61.26 - t. Is m at least as big as 0?
True
Let d(k) = k**3 - 9*k**2 + 22*k - 14. Let w be d(6). Which is greater: w or 48/5?
w
Suppose 5*z + 250 = -4*k, -3*k - 31 = -3*z - 154. Is 0.4 greater than z?
True
Let v(f) = 5*f**3 + 4*f**2 - f - 5. Let d be v(2). Suppose 17 = 6*t - d. Let u = 12 + 0. Which is smaller: u or t?
t
Let n = -0.171 - -134.171. Is -0.2 at most as big as n?
True
Let s = 12/13 - 10/39. Let j = -9 - -4. Are j and s unequal?
True
Suppose 788*j - 802*j - 2492 = 0. Is -177 smaller than j?
False
Suppose -3*p + 19 = -185. Let c = p + -750/11. Is c smaller than 0?
True
Let x(d) = 52*d - 182. Let w be x(4). Suppose 0 = i - b - 28, -3*b - 74 = -3*i - 5*b. Is i at least as big as w?
True
Let v = 5 - 15. Let g be (16/v)/(2/(-10)). Let n = 151 + -142. Is n bigger than g?
True
Let q = -0.03 - -0.03. Let p = 127237/30 - 16963/4. Let c = 3/20 - p. Is c <= q?
True
Let p = 10.8 + -12.37. Let n = 1.5 + p. Let d = -21 + 20.9. Which is smaller: n or d?
d
Let i = -675 + 12820/19. Is i less than or equal to 1?
True
Let l = -200 - -287. Let z = l + -81. Which is bigger: z or -2?
z
Let q be (-9)/7 - (-4)/14. Let m = q - -4. Suppose 3*s = 14 + 1. Are m and s non-equal?
True
Let r be 1374/(-24) + -1 + 2/8. Are -56 and r unequal?
True
Let t be (824/24 + -8)/(2/6). Is t at least 80?
False
Let l = -42 + 34. Let r(u) = 4*u - 1. Let q be r(2). Let f = q + l. Is f equal to -0.8?
False
Let s be 1 + -1 + 744/(-140) + 5. Which is greater: 0 or s?
0
Suppose c + 14 = -1. Let o be 10/c + 5/3. Is -6/31 less than or equal to o?
True
Let f(r) = r**2 + 2*r - 7. Let s be f(-5). Suppose g = 5*t + 24, 0*g + 2*g = -5*t - 12. Let a be -2*18/t*1/1. Which is smaller: s or a?
s
Let j = -3 - -5. Suppose 5*b - 113 = j. Let u = b + -12. Is 11 greater than or equal to u?
True
Suppose 0*d = -2*t - 3*d + 7, d = -t + 3. Let h be 2075/(-220) + t/11. Let q = h - -9. Which is smaller: 4/7 or q?
q
Let k be 14/10 + -2 + 226884/365. Which is smaller: k or 622?
k
Suppose -3*t - 18 = -4*w, t - 1 = -3*w + 2*w. Is 0 < w?
True
Let x = 0.1091 + 0.0879. Which is smaller: x or 2/5?
x
Let q = -1015 + 1015. Is q at most as big as 3/445?
True
Let x(i) = 3*i**2 - 2*i + 2. Let l be x(2). Let r be 17 - (-9 + (-15)/(-1)). Is r >= l?
True
Let h(b) = 10*b - 45. Let p(m) = -m**3 - 8*m**2 - 8*m - 4. Let k be p(-7). Let q be h(k). Is 2 less than or equal to q?
False
Let g be ((-18)/27)/(((-30)/(-999))/(-1)). Let a = 22 - g. Which is bigger: a or -4?
a
Let o be 1 - ((-15)/24)/(-5). Suppose -j - 36 + 38 = 0. Is j at least as big as o?
True
Let q = -686 - -10977/16. Let u(a) = a**3 + 3*a**2 + 1. Let o be u(-3). Is q smaller than o?
True
Suppose i - 3*i + x + 9 = 0, 2*x = 2*i - 14. Let y be ((-6)/(-3))/(12/10). Which is greater: i or y?
i
Let n be ((-1)/12)/((-6)/(-5052)) + 6. Does -63 = n?
False
Suppose -83 = -h + 3*h - 5*u, 2*h + 65 = -u. Let s be (-368)/(-816) - (-4)/h. Let r = -3.6 + 0.6. Is r less than or equal to s?
True
Let v = -1270 - -1270. Is -3/164 not equal to v?
True
Let i = -0.0485 + 0.1485. Which is smaller: 441 or i?
i
Suppose 18*y - 14*y = 524. Is y bigger than 0.7?
True
Suppose 0 = 1543*a - 1541*a - 8. Which is smaller: a or 31/7?
a
Let p = 861 + -2002. Is -1141 equal to p?
True
Let z be (-610)/732*(2 - (1 - 40)). Is -34 != z?
True
Let y be 537/(-358)*((-1454)/(-6) - 1). Which is greater: -360 or y?
-360
Suppose 0 = 2*h + 3*z, 2*z = -4*h + 3*z + 14. Let l be h + (-1)/((-10)/(-28)). Let k = -2.7 + 1.7. Which is greater: k or l?
l
Let y = -2064/11 + 39214/209. Are y and 0.06 equal?
False
Suppose j - 10 = -3. Let p be 484/68 + (-60)/510. Are j and p unequal?
False
Let t(p) = -2*p + 12*p - 8 - 4*p - 2*p. Let l be t(2). Which is smaller: l or 3/43?
l
Let z = -769 + 769.407. Does -2 = z?
False
Suppose 5*a = -i - 15, 0 = 2*i - 6*a + 7*a + 21. Suppose -14 = 2*j - j - 2*p, -4*j - 5*p - 43 = 0. Which is smaller: i or j?
j
Let l be ((-2)/(-4))/(2/(-4)). Let m = -55.61 + 27.67. Let s = m + 28. Which is smaller: l or s?
l
Let n(l) = -l**2 + 10. Suppose 12 = 5*i + 32. Let g be n(i). Is g > -5?
False
Suppose -14 = 2*c - 2*v, -2*c - 10*v + 9*v - 5 = 0. Which is bigger: -5 or c?
c
Suppose 5*t - 26*f = -22*f + 1013, 2*t = f + 4