
Let h = 1.988 - -11.012. Suppose 0 = w - 6*w + 4*f + 10, 4*f - 8 = 2*w. Does w = h?
False
Let x be 56/224 - (-78)/(-376). Let d = -1031/1034 + x. Is 0 >= d?
True
Let z = 16.9 - 17.4. Let i = -0.03 + 2. Let d = -0.03 - i. Which is smaller: z or d?
d
Suppose 28*h - 51*h = -7176. Let x = h + -397. Is x greater than -85?
False
Suppose -5*a = 4*x + 980, -3*x - 585 = -4*a + 7*a. Let t(o) = -2*o**2 + 6*o + 16. Let l be t(12). Is a less than l?
False
Let w = -807 - -458. Let g = -261 - w. Are g and 0 unequal?
True
Let g(h) = -h - 31. Let o be g(-23). Let d = o + 36. Let c = 6.4 + -6.4. Do d and c have different values?
True
Let y(r) = -114*r + 797. Let v be y(7). Which is smaller: 1/784 or v?
v
Let u(y) = -5*y**2 - 53*y + 6. Let x be u(-8). Which is smaller: 97 or x?
97
Suppose 5*s = 3*t + 621 + 546, -3*t + 2*s = 1185. Is t less than or equal to -397?
True
Let o = -3.73452 - -30.73452. Let k = -7 - -6.2. Let v = k + -0.2. Do v and o have the same value?
False
Suppose 4*l - 30 = -2*g + 6*l, -3*g + 41 = -2*l. Let r = 150635/14577 - 2/4859. Is r greater than or equal to g?
False
Let w = 10736.9 - 10689.3. Let k be (1/(-4))/((-3)/8). Do k and w have the same value?
False
Let r(q) = 26*q**3 + q - 1. Let b be r(1). Let u = -105310 - -105340. Is u < b?
False
Let f(q) = -848*q + 1. Let g be f(-2). Let d be ((-24710)/105)/((-360)/2596). Let z = d - g. Which is bigger: 0 or z?
z
Let d = -14825883/484 + 30632. Is d bigger than 0?
True
Let g = -6220 - -2848. Is g greater than -3373?
True
Let c = -127 + 129. Let k be -81 - (5 + 0 - c). Is k >= -83?
False
Let l = -219 - -235. Let c be (l + -15)*1/(-3). Which is bigger: 160 or c?
160
Let m be 11 + 5*128/(-60). Are 2.16 and m equal?
False
Let r = -8 + -67. Let l be ((-279)/r + -3)/(1/5). Which is bigger: l or 4?
4
Let y(l) = -l**3 - 18*l**2 + 65*l + 30. Let p be y(-21). Let q be ((-1)/4)/(p/32)*-3. Suppose -4*k + 14 = 38. Which is smaller: q or k?
k
Suppose -129 = -6*a + 3. Suppose -a*y = -13*y - 2331. Is 259 > y?
False
Let w = 5/23 - 406/69. Let v be (-4)/(-6) - 1068/(-18). Let f = v - 67. Which is smaller: w or f?
f
Let s = -11291 + 11291. Which is smaller: -39/53 or s?
-39/53
Let h(r) = -12*r + 47. Let u be h(4). Let a = -638 + 630. Is u greater than a?
True
Let c(k) = -20*k + 67*k - 33*k + 94. Let r be c(-11). Is -60 at least as big as r?
True
Suppose -8*w - 29 + 45 = 0. Let k = 4/3459 + 13058/8071. Which is bigger: w or k?
w
Suppose -11*r = -13*r - 1386. Let z be 126/r - (1 + (-306)/(-11)). Is z greater than 0.1?
False
Let m = -5/2217409238 + 274076216770481/59960963204758. Let t = m + 2/3863. Let u(x) = x**2 - 18*x - 58. Let y be u(-3). Which is smaller: t or y?
t
Let q(l) = 3*l + 3*l**3 - 16 - 2*l**3 - 3*l**2 - 6*l**2. Suppose 8*c - 9*c - 5*v - 16 = 0, 2*v = -5*c + 35. Let y be q(c). Does -3 = y?
False
Suppose 2 = 3*v + 5*b, v - 1 = -5*b + 3. Let h be (-1575)/(-1800) + 2/16. Is h smaller than v?
False
Let g = -4532/3525 + 181/75. Which is smaller: g or 2?
g
Let l(x) = -x**3 - 22*x**2 - 40*x + 6. Let p be l(-20). Suppose 0 = 3*g - 9, -2*g + 4 = 4*a + p. Do a and -28 have the same value?
False
Let u = -137 + 137.5. Let k = u + 0.5. Is k >= -78?
True
Let p = -71626/67 - -1069. Let o = 708 - 707. Are o and p nonequal?
True
Suppose 0 = 9*n + 2*n. Suppose -3*o + 4*k - 3*k + 5 = 0, -3*o - 2*k - 10 = n. Which is greater: o or 7/9?
7/9
Suppose 8 - 61 = 53*x - 0*x. Which is bigger: x or -14/391?
-14/391
Let t be (-36)/(-165)*(-30)/45. Let a = -1709 - -1709. Which is bigger: a or t?
a
Let u = -18 - -12. Let x be u/15*605/(-22). Let w be -3 - 15/(-6) - x/2. Which is greater: w or -8?
w
Suppose -11*t = -14 - 8. Suppose 0*d = 4*f + d - 327, t*f = -3*d + 161. Suppose 0 = -4*o + 22 - f. Are 0.1 and o non-equal?
True
Suppose 0 = -3*k - 2*f - f - 723, 2*k = -4*f - 478. Is -246 greater than or equal to k?
False
Let j(f) = -9*f - 91. Let b be j(-11). Suppose -4*s - 420 = -b*s. Which is greater: 104 or s?
s
Let q be 4 + -10 - -15 - (-328)/(-36). Is q at most -74?
False
Let k(d) = d**3 - 4*d**2 - 24*d + 27. Let h be k(1). Which is bigger: -124/125 or h?
h
Let i be ((-1)/1 - -3) + 0. Suppose 0 = -4*j - 5*z + 99, 0 = j + j + i*z - 48. Let u be j/(-4) - (-5)/20. Is -3 at least u?
True
Let j(b) = 390*b - 551. Let q be j(2). Which is greater: 919/4 or q?
919/4
Suppose -4*z = -4*t - 4, -t + 0 - 4 = -2*z. Suppose -2*s + 4 = 2*a, z*s + 2*a + 2*a - 6 = 0. Suppose 2*q = 4*o, 2*q + 0*q = -s*o. Which is smaller: o or -6/5?
-6/5
Let f(d) = 59*d + 7. Let l be f(-5). Let y = -221266 + 220977. Which is smaller: l or y?
y
Let q be (-411)/((-8)/8 - 0). Let m = q - 482. Which is greater: -73 or m?
m
Let u = 200 + -210. Let a be (-14)/(-56) - u/(-8). Which is bigger: 1/88 or a?
1/88
Let j(q) = -q**3 + 49*q**2 - 89*q + 15. Let x(m) = 26*m + 307. Let d be x(-10). Let v be j(d). Which is bigger: v or 251?
251
Let x be (-108)/72*11/(-9) - (-55)/(-66). Is -5/4369 at least as big as x?
False
Suppose -4*q = -5*r - 0*r - 6280, -q + 2*r + 1573 = 0. Let f = q + -45368/29. Let s = f - -2/145. Which is smaller: 14 or s?
s
Let g = -5273/25346 - -1/874. Is g less than 1.1?
True
Suppose -6*k + 21*k = 9*k. Are k and -4/75 equal?
False
Suppose 2*u = -2, -u - u + 198 = 2*g. Let z = -94 + g. Suppose 2*w - 24 = -w. Is w bigger than z?
True
Suppose -m = -6*m + 5*x + 2085, -2*m + 3*x = -826. Which is smaller: m or 418?
418
Suppose 0 = -2*q - 31*p + 29*p + 86, 136 = 4*q - 5*p. Is 29 > q?
False
Let k = -157/88600 - -3/443. Let r = 509/1800 - k. Is 1 less than r?
False
Let z be -1 - (-6 + (-1 - -2)). Suppose 28*d = 32*d + z. Is d greater than -3/34?
False
Suppose -5*y = 5*u - 350, -152 = -2*u - 5*y - 0*y. Let l be (-326)/(-22) - ((-96)/u)/8. Suppose -13 = -m - l. Is m != -5?
True
Suppose -2*m = -3*b + 1005, -805 - 870 = -5*b - 4*m. Which is greater: 337 or b?
337
Let m(k) = k**3 + 15*k**2 - 3*k - 1. Let a be m(-15). Suppose 16 = -2*f + a. Suppose 2*g = -3*i - f, 5*g + 3*i - 7*i - 11 = 0. Is g greater than -6/19?
False
Let f = -12968 - -12968. Is -25/687 bigger than f?
False
Suppose -7*a + 23*a = 0. Let p = 2640 + -79187/30. Which is smaller: p or a?
a
Suppose -14*f + 21078 = 6*f + 2418. Which is smaller: -1/8 or f?
-1/8
Let m = 7 + -11. Let t = m - -44. Let p = 37 - t. Is p less than or equal to -5?
False
Let h = 48 + -41. Let x = h + -6.9. Let l = 11.25 - 0.25. Is l at most as big as x?
False
Let p = -1.64 - 1136.36. Let y = p - -1141. Let m = 253/620 - 1/124. Which is bigger: y or m?
y
Let z = 2083/9 - 54779/234. Which is smaller: -4 or z?
-4
Let u be (-19 - (-2839)/153)*-807. Is u smaller than 358?
False
Let f = 176/567 - 7414/2835. Let l = f + 40/21. Is l smaller than 0?
True
Let s = -24 + 33.9. Let k = -73.89 + 61.99. Let f = s + k. Which is bigger: -1/4 or f?
-1/4
Let x = 2 - -1. Let u be ((-28)/x + 0)*3. Let t(m) = -2*m**2 - 343*m + 1738. Let j be t(5). Is u >= j?
False
Suppose 2*u = 3*t - 37, -u - 27 = -t - 4*u. Suppose 0 = 4*z + 2*n - 50, -z + 5*n + 11 = 4*n. Suppose t*b - z*b + 99 = 0. Is b at least -33?
True
Let p be (616/(-35))/((-3)/5). Let n = 29 - p. Let z = 2284/55641 + -2/1091. Is z greater than n?
True
Suppose -63*r = 28*r + 61 + 30. Let h be 2/(-10) - 2292/(-11260). Let y = h + -1148/6193. Which is bigger: r or y?
y
Let u(w) = w**3 + 9*w**2 + 9*w + 14. Let n be u(-6). Let l = n + -68. Which is smaller: l or -2/185?
-2/185
Let m = 32 + -28. Suppose -3 - 13 = -m*c. Suppose -9*w + 10 = -7*w. Which is smaller: c or w?
c
Let s = 3589097/22520 - -7/5630. Is s <= 158?
False
Let s be -2*(-2915)/(-77) - 2/7. Let c be 5 + (-6452)/s + 14/133. Which is smaller: c or 87?
87
Let y = 1.27 + 0.23. Let k = y + -1.49. Let s = 438 - 438.3. Which is smaller: s or k?
s
Let j(l) = l**3 + 12*l**2 - 44*l - 25. Let s be j(-17). Which is smaller: s or 0?
s
Let a be (651/27)/7 - 12/27. Suppose i - a*z + 411 = 0, 703 = -3*i + 4*z - 515. Do i and -401 have different values?
True
Let p = 87/1366 + -4559/28686. Suppose 1 = 4*g - 4*n + 5, n = -4*g + 11. Let k = g - 3. Is k smaller than p?
True
Let a(f) = -2*f**3 + 30*f**2 + f - 2. Let h be a(15). Suppose 4*p + 9 = h. Do p and 1/27 have the same value?
False
Let y be 13162/(46 + -47 - (2 + 1 - 0)). Are y and -3290 nonequal?
True
Let g(x) = -3*x - 6. Suppose -3*i - 6 = -5*w, w = 2*i + 3*w + 4. Let a be g(i). Which is greater: 97 or a?