 - -136. Let f = r - 59. Which is smaller: f or 1.6?
f
Let r = 29 + -26. Suppose -g - 1 = -4*y + 5*y, 2*g + r = -y. Let n be 1*(-1 + 1/5). Is g < n?
True
Let j = -87 + 50. Is j at most -35?
True
Let n be (-10)/(-6) - (-24)/(-36). Which is smaller: n or 1/26?
1/26
Let p = -13 - -18. Suppose -4*t = -2*z + 24, 7*z - 2*t - 14 = 5*z. Suppose z*w + p = -u + 6, -3*w + 4 = -u. Which is greater: 1/36 or w?
w
Let w(x) = -x**2. Let i be w(2). Is -5 at least i?
False
Let h = -113/3 + 38. Let a(i) = -46*i - 415. Let z be a(-9). Is z >= h?
False
Let y(w) = w + 16. Suppose t + a + 9 = 0, -2*a = -t + a - 1. Let j be y(t). Let f = -8 + 16. Does f = j?
False
Let d(o) = -o**3 - 23*o**2 - 21*o + 21. Let c be d(-22). Which is greater: c or -1/255?
-1/255
Let z be 393*2/(-18)*(3 + -6). Let d = -131 + z. Which is smaller: d or 1?
d
Let c be (3/4)/(3/12). Let q be 2/c + (-44)/12. Suppose 3*f + 2*f = -15. Is q less than f?
False
Let k be 4/(-12)*3*1. Let n = 336046087/840 + -400055. Let m = n - -1/105. Are m and k non-equal?
True
Let x = 8.4 + 1.6. Let j = -109.1 + 119. Let u = x - j. Which is smaller: -11 or u?
-11
Let a be (6/5)/(18/(-135)). Let k be -1*12/(-15)*(-15)/a. Is 0 > k?
False
Let j(d) = d. Let y be j(-3). Let w = -21553727/210721 + -3/30103. Let g = 100 + w. Which is smaller: y or g?
y
Suppose 5*g - 4*i = 1637, -3*g + 161*i = 164*i - 993. Are 330 and g equal?
False
Suppose -2*t + 3*q = -2333, 3*t - 1371 = -5*q + 2157. Is 1170 smaller than t?
True
Let c = -328/5 - -2286/35. Which is bigger: c or -24?
c
Let x = -14.8 - -9.7. Let w = 5.15 + x. Does 4 = w?
False
Suppose -5*y + 13*s + 5 = 8*s, 3*y = -s + 11. Suppose 0 + 18 = -3*v. Let w be (v/(-24))/((-7)/4). Which is smaller: y or w?
w
Let x = 107 - -637. Suppose 12*d + x = 6*d. Which is smaller: -123 or d?
d
Let c = -134 + 136. Let q be (345/171 - c)/(3/63). Is q at most -1?
False
Let h be (2 + 3 + -4)*16. Let b be (-36)/h + (-3)/4. Let n = -8 - b. Is -5 smaller than n?
False
Suppose 4*a + 1 = -4*v + 5, -3*v + 8 = -2*a. Which is smaller: a or 3/653?
a
Let k = 0.56 + -0.36. Which is smaller: 2/95 or k?
2/95
Suppose h = m + 18 - 3, h - 3*m - 25 = 0. Let n(d) = -2*d + 1. Let t be n(-1). Suppose -w = -t*c + w + 17, c - 19 = -2*w. Is h less than or equal to c?
False
Let y = -32 + 9. Let l = -848 + 825.01. Let q = y - l. Is 0 equal to q?
False
Suppose a - 4*k = -9, 4*a - 9 = 2*k - 3. Is -2 <= a?
True
Let p = 0.27 - -15.73. Let d = 10 - p. Let m = 2 + d. Which is smaller: -0.1 or m?
m
Suppose 4*q - 3*j = 19, -q - j = -0*q + 4. Let b be (0/q)/(15/(-5)). Let n = 167 - 829/5. Which is greater: b or n?
n
Let w = -10 + 43. Let r = 31 - w. Let x(g) = 2*g + 4. Let h be x(r). Which is greater: 2 or h?
2
Let k = 9819/5 + -1939. Which is smaller: k or 24?
24
Suppose 2*r + 2109 = 2115. Which is greater: 64/19 or r?
64/19
Let f = 14 - 13.98. Let g = -0.05 - 0.03. Let r = f - g. Which is smaller: r or -9/5?
-9/5
Let q(c) = 206*c**3 - c**2 + 28*c - 28. Let h be q(1). Are 205 and h equal?
True
Let k = 63 - 62.977. Which is smaller: k or 2/7?
k
Let j be (-2)/(-7) + 36/70. Let h = -2.123 - -2.323. Which is smaller: h or j?
h
Let m = 6 + -10. Let g = m - -3.97. Let h = 0.13 + g. Is 3/5 != h?
True
Let l = 377 + -377. Does l = 1/170?
False
Let q(k) = 9*k - 155. Let j be q(21). Suppose -p + 18 = -15. Is p > j?
False
Suppose 62 - 76 = 2*x. Which is greater: -13 or x?
x
Let a(g) = -6*g**3 + 11*g**2 + 5*g - 5. Let w be a(2). Which is bigger: w or -11?
w
Suppose 5*d = 5*b - 3*b + 77, -47 = -3*d + 2*b. Suppose -5*i = 22*a - 26*a - 77, 0 = i + 2*a - 21. Is i <= d?
False
Let m(y) = -2*y**3 - 2*y**2 + 3*y + 3. Let d be m(-3). Suppose -2*g + d = -3*q - 0*g, -3*q = -5*g + 21. Is -3 less than q?
False
Let d be -1 - (0 - (-4 + 3)). Let k be (4/(-4))/(-3 - d). Let j = 5/49 - -2/49. Is j at most as big as k?
True
Let x be (((-4)/30)/(-2))/(264/(-15)). Do x and 1 have the same value?
False
Let s(o) = 2*o**2 - 14*o + 8. Let m be s(7). Which is smaller: 29/4 or m?
29/4
Let m be ((-18)/15)/((-3)/(-10)). Let j be (-11)/m - (-8)/32. Suppose j = -2*z + 17. Are 6 and z equal?
False
Let u(z) = -z**2 - 9*z - 4. Let p be u(-9). Let d = -291 + 299. Is p < d?
True
Let g(y) = y**2 - 2*y - 2. Let k(p) = -4*p**2 + 8*p + 9. Let q(v) = 9*g(v) + 2*k(v). Let f be q(0). Which is smaller: f or 1?
f
Let x(p) = -p**3 + 2*p**2 + 3*p. Let s be x(3). Suppose 222 = -2*q + 2*k, -k = -2*q + 4*k - 231. Let l = -217/2 - q. Which is bigger: l or s?
s
Let m be 12/(-27)*(-3)/(-2). Let h = 30 - 20. Let z(i) = -i**3 + 9*i**2 + 11*i - 9. Let p be z(h). Which is bigger: m or p?
p
Suppose 7 + 5 = 4*t, 4*t + 4 = 4*z. Suppose 4*w = -i + 94 + 14, w - 12 = -z*i. Let c be (-14)/w + 14/24. Are -1 and c equal?
False
Let r be ((7/6)/(-1))/((-6)/(-12)). Which is smaller: r or -2/3?
r
Let r = 3066 - 3068. Let u be 2/(4/((-4)/(-2))). Which is smaller: r or u?
r
Let y(h) = -h**2 - h + 3. Let w be y(-3). Let z = w - -3. Let l = 22/39 - -53/390. Which is smaller: l or z?
z
Let i be (2 + -2)/2 - -11. Let q = -16 + i. Suppose 0 = o + 320 - 315. Is q <= o?
True
Let j be (-2595)/(-1275) + -1 + -1. Which is bigger: 1 or j?
1
Let f = 44446377 - 87114895261/1960. Let x = f + 2/245. Which is smaller: 3 or x?
x
Let h = 20 + 0. Let p = 21.1 - h. Let t = p + -1. Is -0.08 at least t?
False
Suppose -i + 25 = 26. Let x be (i*1)/((-19)/38). Which is smaller: -2/19 or x?
-2/19
Suppose -5*x - 3*f + 17 = 0, 12 = -4*x + f + 3*f. Let w(p) = p**2 + 5*p - 6. Let j be w(-6). Which is smaller: x or j?
j
Let h = -55 - -89. Let n be h/(-85) - 24/(-58). Which is bigger: 1 or n?
1
Let j be 6/24 - 22/(-8). Let w(z) = 2*z + 0 + 6*z**2 - 2 + z**j - z + 0. Let t be w(-6). Which is greater: t or -9?
t
Let f = -4/41 + -9/328. Suppose x = -t - 2*t + 12, 4*x + 8 = 2*t. Let a(n) = n**2 + n. Let g be a(x). Which is bigger: g or f?
g
Let y be (24/168)/(2 + 10/(-4)). Is y >= -3?
True
Let z = -1744/73607 - 211845044/291851755. Let a = z + -6/305. Suppose 3*x + 0*d + 2*d - 4 = 0, 6 = -2*x + 3*d. Which is smaller: a or x?
a
Let g = -0.0177 + 1.1777. Which is smaller: -0.1 or g?
-0.1
Let z(b) = 9*b - 67. Let c be z(6). Is c != -21?
True
Let y = -73 + 104. Let l = y + -31. Which is bigger: l or 1/117?
1/117
Let m(u) = -19*u + 8. Let b be m(3). Let p = b + 51. Is 2 less than p?
False
Let p = 4207/2 + -2038. Let h = -64 + p. Which is smaller: h or -0.2?
-0.2
Let w(y) = -27*y + 912. Let j be w(16). Which is smaller: 479 or j?
479
Let v = -17 + 20. Let a = 17 + -19. Let o = a + v. Is o bigger than -4/7?
True
Let p(l) = l**3 + 6*l**2 - 2*l - 1. Let s be p(-6). Suppose -153*b + 20 = -151*b. Is b <= s?
True
Let x = -688 + 836. Does x = 147?
False
Suppose 14*x - 12*x = 14. Let o(c) = 6*c - x*c + 2*c. Let u be o(0). Which is smaller: u or -13?
-13
Let i = 18593/1455 - -209/97. Which is bigger: i or 16?
16
Let n be 18*(-7 + 4520/645). Which is greater: n or 0?
n
Let z = 25 - 37. Let r be (z - -3)/(-3)*-1. Let a be (r + 2/1)*-1. Which is greater: a or 1/14?
a
Let j = -30 + 30.3. Let x = j - 0. Which is smaller: x or -3?
-3
Suppose 3*z + 3 + 5 = -5*n, 0 = -n - 4. Let d be z/(-5) + -1 + 9/5. Which is bigger: d or -7/10?
d
Let n = 764 - 766. Which is greater: 25.4 or n?
25.4
Let r be (-70)/60 + (-1)/(-6). Let x = -369 - -6265/17. Which is smaller: x or r?
r
Let b be (28/30)/((-3)/6). Let s = 14/5 - b. Which is greater: s or 4?
s
Let y = -1957/3 + 652. Suppose 0 = -l - 2*r + 2, -23 + 7 = -3*l - r. Suppose l = 2*s, -3*s = -4*k + 5*k - 3. Which is bigger: y or k?
y
Let g = 0 - 0.033. Let h = g - -1.033. Do 33 and h have the same value?
False
Let h = -25 + 24. Which is bigger: 1/103 or h?
1/103
Let c be (7/2 - 2)*-2. Let k be 0/(c - -2 - -2). Suppose g + k*g - 1 = d, -5*d + 13 = g. Do d and 7/4 have the same value?
False
Let v(a) = -6*a + 16. Let t be v(-8). Suppose 67*k - 6 = t*k. Is -0.09 greater than k?
False
Suppose 2*i + 6 = -i. Let l be (110/(-14) - 11/77)/i. Is 6 > l?
True
Suppose 6*r - 18*r = -432. Let o be 1/(-2 + 78/r). Are o and 5 equal?
False
Let o be (390/(-394) - 1) + 2. Let l = -257/5910 + o. Let v(u) = -u**3 + 6*u**2 - 5*u + 31. Let j be v(6). Is l bigger than j?
False
Suppose -5*x + 4 = -1. Let j be 0/((-2)/3*(4 - x)). Which is bigger: -2/35 or j?
j
Let z be (1*(-3)/12)/((-585)/2786). Let q = z + -46/39. Which is smaller: 0 or q?
0
Let i = 18