(-1 - 3)). Suppose -3 = o + 2*j - z, 2*j = 8. Let h be 12 + o - (1 + 1). Are 1/17 and h nonequal?
True
Let k be (1 + (-21)/20)*(-30)/12. Is k bigger than 1/39?
True
Let u(i) = -7*i + 337. Let h be u(48). Is h at most 24/61?
False
Suppose -61*n + 60*n = -56. Suppose 9*g + n = 23*g. Which is bigger: 2 or g?
g
Suppose -p = -5*p + 52. Suppose 4*o = p - 65. Which is bigger: -14 or o?
o
Suppose 118 = -4*j + 2*k, -5*k = 4*j - 8*k + 119. Do -18 and j have the same value?
False
Let y = -1252037519/1937096 - -1526/34591. Let i = y + 649. Let g = i - 21/8. Which is greater: 0.1 or g?
0.1
Let s be 18*((-2)/(-28) + 0). Let u = -63 + 65. Which is smaller: u or s?
s
Let v = -65 - -17. Let j = v + 41. Which is bigger: -1 or j?
-1
Let p be (2 + -6 + 4)/(-1). Which is bigger: p or -6/187?
p
Let r(u) = 19*u + 309. Let g be r(-10). Which is greater: 115 or g?
g
Suppose 5*i - 3*i - 4 = 0. Suppose 2*s - 2*b + 56 = 0, 2*s + 2*b = -74 + i. Are 0.1 and s equal?
False
Let i be 5335/(-2200) - (-12)/(-32). Suppose d - 5*b + 12 = -11, 2*d - 3*b = -11. Suppose -d*a = -5*a - 6. Which is greater: i or a?
a
Let p(r) = 4*r + 14. Let f be p(-7). Let g = -12 - f. Suppose 0 = g*t - t. Is t at most -4/13?
False
Let y = 13 - 77. Let k = -64.3 - y. Which is smaller: k or 1.6?
k
Let i be (30805/7700 + -4)/(5/4). Is i less than 0?
False
Suppose 4*t - 2*v - 4 + 6 = 0, -4*t - 4*v + 4 = 0. Suppose 5 = y - 5. Let n be (-23)/(-55) - 6/y. Which is smaller: n or t?
n
Let r = 103.8 + -102. Let a = -4.8 + r. Is 5 < a?
False
Suppose -h - 9*d + 19 = -11*d, 4*d - 22 = -2*h. Is h at least as big as 4?
True
Let x = -2 - -9. Let y = 6 - x. Let i = -21 - -22. Is i >= y?
True
Let q = -2.242 + 0.242. Is q greater than or equal to 3/40?
False
Suppose 0*x = -4*o + 3*x - 12, 2*x - 8 = -3*o. Suppose o = w + w. Let i(j) = -j**3 + j**2 - j - 4. Let l be i(w). Is l at most as big as -6?
False
Let z = -96 - -194. Let n = z - 108. Which is greater: n or -11?
n
Let k = -1703 - -2132. Which is greater: k or -0.3?
k
Let g = -35027/3470 + -2/347. Which is bigger: -9 or g?
-9
Suppose 8*f - 2308 = 1292. Is f >= 450?
True
Suppose 0 = -5*q + 2*g + 42 - 56, -2*q + 2 = 3*g. Is q not equal to -193?
True
Suppose 5*x + 0*n - 115 = -3*n, 85 = 4*x + n. Suppose 0 = -3*o + o - x. Let s be -6 - (-4 - -6 - -1). Does o = s?
False
Let h(o) = o**2 - 3*o - 8. Suppose -5*w = -0*w + 4*q - 50, 29 = 4*w + q. Let u be h(w). Let n be ((-4)/10)/(8/u). Do -1 and n have the same value?
False
Let q = -136 + 242. Let s = q - 152. Let n be 15/(-90) + s/(-132). Is -1 bigger than n?
False
Suppose 0*l = -4*l + 156. Suppose s + 2 = l. Is 37 != s?
False
Suppose -11*o + 154 = -363. Let m = 21 + 25. Which is greater: m or o?
o
Let a(k) = k + 8. Let o be a(-8). Suppose 3*m - m - 2 = o. Is 2/89 >= m?
False
Let v = -177/56 - -55/8. Is 5 bigger than v?
True
Let q = -10/953 - 423082/4765. Do q and -90 have different values?
True
Let i = -489 - -3268. Let b be 1/(-43)*i/14. Let l = b - -5/43. Are -5 and l nonequal?
True
Let w = -29 + 50. Let p = -29 - -50. Is w equal to p?
True
Let z = -0.0516 + -0.0484. Which is greater: -19.8 or z?
z
Let c be (1/(-3))/((-9)/(-54)). Suppose -5*o + 4*w = 2*w + 8, 0 = 2*w - 8. Let a be c/1 - (o - 2). Which is greater: 2/101 or a?
2/101
Let o(p) = p**3 + 14*p**2 - 11. Let g be o(-14). Which is bigger: g or -86/7?
g
Let j(h) = 10*h + 189. Let v be j(-10). Let o be 8/(-32) + 361/4. Are v and o equal?
False
Let h(k) = -35*k + 10. Let a(p) = -p**3 + 4*p**2 - 2*p - 2. Let v be a(4). Let l be h(v). Let f be (6/(-5))/((-54)/l). Is 5 less than f?
True
Let b = -34 + 25. Let r be 2 + -1 - (8 + b). Is 11/8 <= r?
True
Suppose -2*v + 166 = 156, -81 = -q + v. Which is greater: 88 or q?
88
Let z = 752 + -751. Which is greater: z or -1/19?
z
Let o(r) = -r**3 + 13*r**2 - 15*r - 24. Let i be o(11). Which is greater: 35 or i?
i
Suppose -4*s = d - 13, 2*s = 5*d + 2 - 1. Let l be (s - 4) + 5 + 0. Is l >= 3?
True
Let h be 46 + (6/(-2) - -5). Which is bigger: h or 51?
51
Let s = 148 - 242. Which is smaller: s or 0?
s
Let a(i) = -i**2 + 27*i - 50. Let d be a(2). Suppose w - 7 = 13. Let v be (2/(-6))/(w/(-8)). Is d at most as big as v?
True
Suppose -19*l + 13 = -6. Which is smaller: l or -1/93?
-1/93
Suppose 8*u + 5*f - 6 = 4*u, -4*f = u - 7. Is -116/7 bigger than u?
False
Let z = -620 + 620.186. Is 0.08 equal to z?
False
Suppose 0 = 3*k + 16*c - 13*c - 39, k + 4*c = 25. Which is smaller: 174/17 or k?
k
Let v(g) be the third derivative of g**4/24 - g**3/2 + 9*g**2. Let c be v(9). Suppose 3*i - 3*z - 21 = 0, -68 = -c*i + 2*i - 4*z. Which is smaller: 10 or i?
10
Let k(c) be the third derivative of -c**5/20 + 5*c**4/8 - c**3/6 - c**2. Let d be k(5). Let n = -0.3 - -0.26. Which is greater: d or n?
n
Let y = 29 + -21. Let a(p) = -p. Let h(i) = -6*i + 2. Let d(q) = -3*a(q) + h(q). Let o be d(-1). Is o < y?
True
Let v be (21/10 - 2)*100/(-40). Which is greater: v or -2/227?
-2/227
Let z = -15 + 94. Are 79 and z equal?
True
Let v be ((-5868)/693 - -8) + 4/22. Let i be ((-4)/10)/((-2)/179). Let r = 36 - i. Which is smaller: v or r?
v
Let c be 4124/36 + ((-64)/(-36))/4. Is 111 less than c?
True
Let l = -1235/319 - -1905/29. Is l > 0.2?
True
Let s = 0.015 + 0.195. Let b = -3.69 - s. Let x = -0.1 + b. Which is greater: 2/9 or x?
2/9
Let a = 78 + -47. Let f = a - 12. Is f at most 19?
True
Let f = -52 + 51. Let b be f/3 + (-1)/(-3). Let i be 8/6*2/32. Which is smaller: i or b?
b
Let l be 2*1*399/(-14). Which is bigger: -55 or l?
-55
Let k be 10/48*360/(-18). Suppose -3*s = -5*r - 23, 4*r + 0 = -3*s - 13. Is r bigger than k?
True
Let r = -1 + -181. Which is smaller: -1/3 or r?
r
Let u = 0.048 + 32.952. Let n = u - 27. Are -6 and n nonequal?
True
Let l = 3 - 9. Let n be 143/455 - l/(-10). Is n at most as big as 1?
True
Let z(p) = 0 - p**3 + 10*p**2 + 0*p**3 + 5 + 6 + 10*p. Let x be z(11). Which is bigger: x or 10?
10
Let v(k) = -5*k - 33. Let a be v(-8). Are 9 and a equal?
False
Let y be 3/2*4/6. Let t = -49703/24 + 2071. Which is bigger: y or t?
y
Let w = -6.84 - 0.16. Let u = -78.4 - -83. Let j = 3.6 - u. Is j at least as big as w?
True
Let u(j) = -j**3 - 8*j**2 - 2*j - 11. Let z be u(-8). Let o(v) = -5*v. Let k(c) = -6*c. Let b(q) = z*o(q) - 4*k(q). Let x be b(5). Are x and -6 equal?
False
Suppose 29*i = 92*i. Let f be -1 - (1 - 101/49). Is i bigger than f?
False
Let y = -83 + 84. Let x = 60 - 59.963. Which is smaller: y or x?
x
Let r = 27.18 - 28. Let d = r + 1.82. Which is bigger: 7 or d?
7
Let k(a) = -a**2 + 4*a + 16. Let m be k(6). Suppose 2 = -m*r + 4*q - 6, 4*r - 3*q + 6 = 0. Is r greater than 1?
False
Let h = 189 - 191.15. Let d = 3.15 + h. Let y = 1.18 - 1.4. Which is greater: d or y?
d
Let a be 145407/131*(-3)/9. Let x = a + 370. Are 1 and x nonequal?
True
Let z = -28 + 32. Suppose -9*t + z*t = 0. Which is smaller: t or 6/5?
t
Let y = -432 + 9070/21. Suppose -10*u + 5*b + 29 = -14*u, 15 = -3*b. Which is smaller: y or u?
u
Let h(r) = 4*r - 20. Let y be h(18). Suppose -8 = -2*x + y. Suppose x = 3*t - 6. Is t equal to 12?
True
Let w(a) = 5*a**2 + 47*a + 109. Let j be w(-4). Suppose 3*q = -0*q - 117. Are q and j non-equal?
True
Suppose 4*y + y = 10. Suppose -53 = 4*a - 5*z, -4*a - 4*z - 74 = -2*z. Let r = a - -19. Is y smaller than r?
False
Let x = 646/31 - -4/217. Let i = 21 - x. Let a = -178 - -179. Which is smaller: i or a?
i
Let b(z) = -z**3 + 48*z**2 - 136*z + 38. Let k be b(45). Is 5 > k?
True
Let w(i) = -i**2 - 6*i + 6. Let u be w(-6). Let j = 0 + u. Suppose j = -4*c - 10. Which is smaller: -3 or c?
c
Let w = 1081 - 702. Are 377 and w nonequal?
True
Let f(i) = -i**2 - 21*i + 21. Let w be f(-22). Is w at most as big as -5?
False
Suppose z - 58 = -2*t, z + 130 = 5*t - 15. Let c = 37 + -7. Which is smaller: c or t?
t
Let u(t) = -t**3 + 13*t**2 - 3*t - 36. Let h be u(11). Let v = h + -128. Which is smaller: v or 44?
44
Let z(u) = 5*u - 203. Let a be z(34). Which is bigger: a or -37?
a
Suppose 2*u + 72 = 4*u. Let z be (135/u*(-2)/(-5))/3. Let c = -0.2 - -0.1. Is c < z?
True
Let c be 118/5 - (-6)/15. Suppose c = -4*k - 0*k. Let h = -7 - k. Which is smaller: h or -2?
-2
Suppose -14*t + 18 = -24. Is 20 bigger than t?
True
Suppose -31*r + 84 = -24*r. Let l = -1 - -11. Which is bigger: r or l?
r
Let a(w) = -w**3 + 5*w**2 - 5. Let d be a(4). Let b = 13 - d. 