is greater: z or -41/7?
-41/7
Let v = 20 - 17. Suppose 0 = -3*l, -2*c + 7*l = -3 - 13. Suppose v*b = c*b - 10. Is 2/37 less than b?
True
Suppose -4*f - 2*r = -0*f - 24564, -6138 = -f + r. Which is bigger: 6142 or f?
6142
Let p(o) = -55*o + 467. Let y be p(-11). Is 1072 less than y?
False
Let l = 1004 - 1760. Let u be 10/8 + 1705/l + 1. Which is greater: u or 1?
1
Let a be (-27)/(-567)*-32*(950/(-4) + -1). Is a >= 362?
True
Suppose -5*l = 5*s - 890, -l - 2 = -1. Suppose 4*y - 137 + 4 = -3*w, 5*y - s = -4*w. Is w greater than 51?
False
Let k be (2*(-28)/8)/(3*7/(-21)). Which is bigger: -538 or k?
k
Let d = -28142.9352 + 28143. Is 2/3 smaller than d?
False
Suppose -1350 = 5*z + f - 1347, 4*z - 2 = -3*f. Which is smaller: z or -6/593?
z
Let d = -2334 + -1482. Which is smaller: -3817 or d?
-3817
Let q = -5235.8 + 4507. Let c = q - -729. Do c and 219 have the same value?
False
Let c = -253.1 + 265. Let z = 0.285 - 17.285. Let j = c + z. Which is bigger: j or 0.1?
0.1
Suppose 0 = 2*v - 22*v + 12100. Do v and 604 have different values?
True
Suppose 8*d - 170 - 80 - 38 = 0. Do 33 and d have different values?
True
Let m = 8896 - 8900. Is 1.36 smaller than m?
False
Let h = -25879 + 388211/15. Which is smaller: h or 6?
h
Let h = -32833/10 - -3254. Is -28 equal to h?
False
Let w = -3/653 - -10469/4571. Let t = -352725 + 352724. Do w and t have different values?
True
Suppose 3*f + f - 24 = 0. Suppose -3*s - f = -6*s. Which is greater: s or 20/9?
20/9
Let q = 21547 - 13553059/629. Are 1 and q nonequal?
True
Let u = -3 - -3.1. Let b = 6.97 - -60.13. Let f = 67 - b. Which is greater: u or f?
u
Let c = -7.13 - 1.57. Let l = 74147 - 74150. Is c <= l?
True
Suppose -35 = -5*z - 5*j, -5*j = 2*z - 10*j + 28. Are z and 38/193 non-equal?
True
Let o = 41 - -237. Let x = o - 128. Is 150 greater than x?
False
Suppose -4*p = -0*p - 8. Let y(z) = -130*z**3 - z**2 + p - 1 + 131*z**3 - z + 0*z**2. Let i be y(1). Is i equal to 0.26?
False
Let z = -627.71206 - 6.30494. Let s = 634 + z. Do s and -2/5 have different values?
True
Let r = -5.01 + 3.53. Let z = -2.52 + r. Which is smaller: 43 or z?
z
Let l be (27136/768)/(4/30). Is 275 smaller than l?
False
Let g = -7 + -129. Let f = 272 + -403. Let v = g - f. Which is bigger: v or 0.06?
0.06
Let i be 3 - (-2 + 3 + -7). Let t be -12*((-1)/(-4))/((-3)/i). Which is bigger: t or 1/2?
t
Suppose a + 3*l - 121 = 0, -4*l - 311 = -3*a - 0*l. Let z = a - 112. Let k = -3 + z. Which is greater: 2 or k?
2
Let z = -117/50 - -7/50. Suppose 5*m = -5*n + 1 + 19, -3*m + 12 = 4*n. Suppose 14 - 26 = m*t. Which is smaller: z or t?
t
Let b(d) = 664*d**3 + 5*d**2 + d - 1. Let a be b(1). Which is smaller: 666 or a?
666
Suppose -280 = 7*n + 252. Let r = -17783/215 - -280/43. Is r at most n?
True
Let g be 20/(-18) - (-6)/(-9). Let s(v) = 9*v - 26. Let i be s(4). Let q = 7 - i. Is q less than or equal to g?
True
Let f(j) = j**2 + j - 65. Let m be f(0). Suppose -2*z + y - 133 = 0, 5*z + 59 = -y - 270. Which is greater: z or m?
m
Suppose 61*c + 101253 = -85041. Is c > -3054?
False
Let y = -3619 - -1334. Are 0 and y unequal?
True
Let o = -12878/117 - -1428/13. Is o smaller than -212?
False
Let x = -3383 - -3379. Is 41/5 less than x?
False
Let b(m) = -m**2 + 10*m - 6. Let r be b(9). Suppose t - 5*t - r*c = 59, 4*t = -2*c - 58. Is t smaller than -22?
False
Let v(p) = -p**2 - 40*p - 71. Let x be v(-32). Are x and 193 unequal?
True
Let l be -13*(-6 - -301) - 7. Which is bigger: l or -3843?
l
Let x(l) = 2133*l. Let w be x(0). Is w greater than 25/61?
False
Let z be (-2)/6 - (8/(-42))/((-216)/27972). Which is greater: -223 or z?
z
Let h be (-2)/9*561/(-374). Is h != 1/10721?
True
Let z be (-97)/(-7) - (-2)/14. Suppose 6*t = z*t. Which is smaller: t or -2/323?
-2/323
Suppose 11*n - 6864 = -11*n. Suppose 3*f + n = -5*f. Which is greater: f or -42?
f
Let a be 22/10*(15/(-12) + 0). Let t = 2342 + -11706/5. Which is bigger: a or t?
t
Let f = -102703/131 + 784. Suppose 114171 = -66*p + 114105. Which is smaller: p or f?
p
Let t = 7278 + -4215. Is t < 3065?
True
Let s = 2830 - 2968. Is -16 greater than s?
True
Let p = -4 + 10. Suppose 2 = 2*j - 6. Suppose 2*u - h = -u + 32, -u = -j*h - 29. Is u >= p?
True
Let n(h) = 210*h - 1178. Let f be n(6). Is 70 greater than f?
False
Let c = 48/95 - 249/2185. Let n = 79 - 78. Are n and c nonequal?
True
Let v be -15*-3*21/27. Suppose v = -4*j - 53. Let d be j + 2*((-84)/(-8))/(-7). Is -25 > d?
False
Let b = -21621 + 21390. Is -273 at most b?
True
Let k be (-685)/655 - -3*3/9. Let p = k - -5919/524. Does p = -0.3?
False
Suppose -2*n = -c + 93, -186 = -2*c + 3*n - n. Let o = -19683/5 - -4029. Which is bigger: o or c?
c
Suppose 45*t - 2291 = 43*t + 3*a, -a = 5*t - 5736. Let r = 670 - t. Is r < -477?
False
Let h(m) = 40*m - 3805. Let j be h(100). Which is bigger: 243 or j?
243
Suppose 0 = 5*q - 4*i + 1, -3*q - 2*i = -7*q - 2. Which is smaller: 17/38 or q?
q
Let b(a) = -12*a + 84. Let w(t) = 14*t - 83. Let f(q) = -3*b(q) - 2*w(q). Let n be f(14). Is n < -6?
False
Let g(c) = 2*c - 51. Let a be g(25). Let u be (-1 + -2)/((24/976)/a). Which is smaller: 123 or u?
u
Suppose -8*p + 4*b + 4 = -5*p, -3*b = -6. Let c be -1 + (-6)/p*94/(-27). Which is bigger: c or 5?
5
Let r = 83.3 - 83. Let d = 0.17 + 0.93. Let v = 2.2 - d. Which is smaller: r or v?
r
Let b be 1/(-16) - (-10425)/400. Let z be (1042/(-7111) - (-4)/b)/(-6). Which is smaller: z or 1?
z
Let f(h) = -6 - 6 - 3*h**2 + 1 - 7*h + 4*h**2. Let u be f(8). Let n = -15001 + 15006. Is n != u?
True
Let s be 5 + 125502/(-300) - -6. Let g = 815/2 + s. Which is greater: g or 0?
g
Let d be (-21)/(-49) - 36/(-14). Let u be (-63)/105 - (-137)/(-5). Which is bigger: u or d?
d
Let d(h) = 13*h + 17. Let a = 28 - 31. Let x be d(a). Let c = 27 - 49. Is x != c?
False
Let s be (-2532)/290 + -4*(-32)/(-1856). Which is smaller: 0.7 or s?
s
Let x = -22331 - -43755/2. Is -454 at most x?
True
Let o(a) = -20*a + 209. Let q be o(9). Let p = q + 248. Are p and 277 equal?
True
Suppose 5*a + 22 = -4*h, -3*a - 7*h + 9*h = 0. Let s be ((-4867)/155)/((4/10)/a). Is s bigger than 157?
False
Let i = 343.68 + 20.22. Let d = -364 + i. Let w be (455/4)/(-5)*4. Is d > w?
True
Suppose 250 - 1475 = -24*c - 25. Is c bigger than -61?
True
Let m(i) = i**3 - 17*i**2 - i + 17. Let y be m(17). Suppose -v - v - 4 = -4*q, q - 1 = y. Let t be -9 + 55 - (v - -1). Which is bigger: 46 or t?
46
Let x(s) = -s**3 + 11*s**2 - 17*s - 18. Let m = 88 - 79. Let r be x(m). Is -11 greater than r?
False
Let s(j) = -214*j - 1. Let a be s(0). Is 100 greater than or equal to a?
True
Let c = 7.456 + 17.544. Let q = -26.994 - 0.006. Let f = q + c. Which is bigger: -12 or f?
f
Let k = -0.05636 - -2.05636. Are k and 0.06877 equal?
False
Let b be (3 - (-84)/(-20))*40/6. Let x = 1930 - 3873/2. Is b greater than x?
False
Let n = 3780.9 + -3781. Is -48/5 at most as big as n?
True
Suppose 0 = 8*g - 7*g, g - 149 = -3*d + 286. Let x = -96 + 246. Let v = d - x. Which is bigger: -7 or v?
v
Let y(d) = 13*d - 5. Let p be y(4). Let f = -5992 - -6038. Do f and p have different values?
True
Let n = -0.06772 + 2.16772. Is n less than 8?
True
Let k(i) = 3*i - 23. Let t(r) = -4*r + 23. Let v(m) = -5*k(m) - 4*t(m). Let q be v(-7). Let w = q - 9. Which is smaller: 13/2 or w?
13/2
Let s = 9038/335 + -12/67. Let q = -2/18103 - -3837866/271545. Let z = q - s. Is z at least as big as -13?
True
Let r = 50.86 - 43.86. Which is bigger: -0.109 or r?
r
Suppose -1091 = -20*i + 3249. Which is smaller: 4 or i?
4
Suppose -60*j + 56*j - 31 = -x, 2*j + 20 = -4*x. Is 2/5419 < x?
False
Let m = -340.7 - -341. Suppose i - 110 = -5*w, 2*w - 7*w - 3*i = -100. Is w equal to m?
False
Let z = 6557 - 5996. Which is smaller: z or 2/21?
2/21
Let d(n) = n. Let f(q) = 4*q - 16. Let c(k) = -d(k) + f(k). Suppose 0 = x + 2*o - 6, -o = -4*x + 6 + 18. Let u be c(x). Which is bigger: u or 7/3?
7/3
Let f = -0.78 - -1.58. Let q = f + -16.8. Let v = 16 + q. Which is smaller: -0.34 or v?
-0.34
Let o = 309/113 + -997535/364877. Let s = 203449/35519 - o. Is 6 at least as big as s?
True
Let o = 15/332 - -379/6308. Which is greater: o or 1/29?
o
Let p = 388.22 - 473.065. Let i = 0.845 + p. Which is smaller: i or 2?
i
Let h = -108 - -2413. Which is smaller: h or 2306?
h
Let w = -4389 - -4357. Let f = -103.8 + 70. Let n 