m = 2.006 - 2.106. Is 2815/3 greater than or equal to m?
True
Suppose -7196 + 800 = 9*h + 2046. Which is smaller: h or -5635/6?
-5635/6
Let d = -2021.9 - -2019.9. Are 3/17 and d unequal?
True
Let q be -9*(11/66)/((-2)/496). Let k be (4 + q/(-15))/((-4)/20). Are 103 and k equal?
False
Let z = 165651 - 15737031/95. Let q = z - -57284/29355. Is q at most -0.1?
False
Suppose -20*n - 276 = -16*n. Let c = n + 80. Suppose -c*p = -6*p + 5. Is p at least as big as -3?
True
Let y be (-2)/(192/(-99) - -2). Let x = -54 - y. Let v(r) = 53*r**2 - 117*r + 3. Let s be v(2). Which is smaller: s or x?
x
Suppose 80*n - 1350 = 53*n. Let d = 41 - -7. Are d and n equal?
False
Let l = 10.82 + 3.68. Let v = 14 - l. Is 16 less than or equal to v?
False
Let m be (-26)/((-2 - -4) + -4). Let o be (-252)/(-52) - (-2)/m. Suppose -3*b + 9 = -o*j, 4*b + 4 = 2*j + 2. Is b less than 0?
True
Let j be ((-462)/88)/(-4 + (-42785)/(-10700)). Which is smaller: j or 3741?
3741
Suppose t - 16 = 5*j, -4*t - j = -0 - 1. Let a be 138/((t - -9)*(-2)/4). Which is smaller: a or -27?
a
Let g be (-2 + (-78)/(-12) + -5)*-8. Suppose g*c - 84 = -i, 8*i - 21 = -c + 3*i. Which is bigger: 32 or c?
32
Let g be (-455)/5460 + (-1)/(-6)*(-4)/(-8). Do g and 1 have different values?
True
Let s = -4 + 2. Let t be (-454)/18 + (-2)/(-9). Let c be (2/t)/(8/40). Is s at least as big as c?
False
Let m = -157 + 157. Suppose m = 4*k + 4*k - 32. Is k >= 1?
True
Let n(p) = -11*p - 453. Let y be -52 + (-5)/2 + (-153)/(-18). Let w be n(y). Does 3 = w?
False
Let a = -11 + 10.85. Let s = -2175.9 - -2362. Let w = -186 + s. Are w and a equal?
False
Let n be (-36)/6 + 8 + 2. Suppose -124*a + n = -123*a. Which is smaller: -32 or a?
-32
Let y = -219.7 - -29.7. Let x = 191 + y. Is x bigger than 2/193?
True
Suppose 3*d = -13 + 4. Suppose 0 = -3*g - p - 23, 10 = -2*g - 4*p - 12. Let o be g/28 + (-30)/16. Is o less than d?
False
Suppose 7*l - 72 = 131. Suppose 0 = l*x - 120 + 1628. Suppose 31 + 21 = -u. Is x bigger than u?
False
Let i = -5739 - -5395. Do i and -349 have different values?
True
Let c be ((-2)/((-292)/(-883)))/(-1). Let b = c + -822467/1022. Let f = b - -800. Which is smaller: 0 or f?
0
Let y(x) = -x**2 - 31*x + 6192. Let n be y(-84). Which is bigger: n or -1/2?
n
Suppose 2*s = 3*s + 3. Suppose 2*x + 7 = 27. Let m be 4/x + s/(-5) + 0. Are m and 1/8 equal?
False
Let h be -8 - -1 - (-3057 - -2). Suppose 0*m - 24*m - h = 0. Which is greater: m or -126?
-126
Let b be (-2)/63*1134/(-630). Is 0.119 greater than b?
True
Let f = -317 + 153. Let q = 629056/3 - 209686. Is f bigger than q?
False
Let x = 457 - 535. Which is greater: -18 or x?
-18
Let f = 12093/16 + -756. Is -1/6 greater than or equal to f?
True
Let f(c) = 14*c**2 - 5 + 6*c**3 + 3*c - 2*c - 4*c**3 + 9. Let s be f(-7). Let o(a) = -a + 11. Let j be o(s). Which is smaller: j or 10?
10
Let d = -195 + 193. Let q(t) = -9*t**3 + 2*t**2 - 8. Let j be q(d). Is 71 <= j?
True
Let p = 13 - 14. Let v = 2987 - 230001/77. Which is smaller: p or v?
p
Suppose 821 + 122 = y - 4*q, 4*y = 3*q + 3707. Let r = -923 + y. Is r < 20/43?
True
Let n(x) be the second derivative of x**4/12 + x**3/3 + 35*x**2/2 - 20*x. Let v be n(0). Suppose 25 = -5*o + v. Is 19/8 greater than or equal to o?
True
Let x be ((-18)/(-12))/(6/80). Let s(y) = 2*y - y - 4*y**2 + 7 + y - y**3. Let q be s(-5). Which is smaller: q or x?
x
Suppose -8 = -4*z - 2*r, -12*z + 4*r = -16*z + 4. Let h be (z + 5 + -13)*3/(-15). Is h greater than 2/1037?
True
Suppose 0 = -7*u + 3659 + 3551. Is u at most 1028?
False
Suppose 10*g = 127*g. Do -116 and g have the same value?
False
Let a = 1146 - 1041.6. Let f = a - 105. Let g = 25/4 + -71/12. Which is smaller: f or g?
f
Let v be 5 + -1 - (5 - 6). Let p = 711 - 383. Let u = p - 321. Is v bigger than u?
False
Let q = -53810/11 + 4892. Which is smaller: -0.033 or q?
-0.033
Let s(p) = 63*p + 122. Let a be s(-31). Let g = -27509/15 - a. Which is greater: g or -2?
-2
Let k be (-4 + 4 + 2)*33715/2. Let r = -370553/11 + k. Is 27 at most as big as r?
True
Suppose -c = 3*t - 376, -355 = 36*t - 39*t + 2*c. Which is smaller: t or 121?
121
Let k = 7261 + -6818. Which is smaller: k or 436?
436
Let r(m) = -m**3 - 21*m**2 + 5*m + 111. Let x be r(-21). Suppose 13*z = x*z. Is z > -2/19?
True
Let i(f) = 3*f - 14. Let n = -43 + 65. Let m = 27 - n. Let h be i(m). Is 3 >= h?
True
Suppose -m = -3*m + 28. Let x(t) = t**3 + 9*t**2 - 4*t - 36. Let d be x(-9). Suppose -7*h + 166 - 54 = d. Is h at least m?
True
Let h(f) = -f**3 - 19*f**2 - 17*f + 18. Let n be h(-18). Let u be 0 + -1 + (-609)/(-28). Which is bigger: u or n?
u
Suppose 3*x + 18 = 5*c, -4*x - 10*c - 16 = -14*c. Is 54/437 <= x?
False
Let y(i) = -5*i**2 - 26*i + 344. Let l be y(20). Are -2176 and l nonequal?
False
Let a = 10180.95476 + 0.04524. Is a < -1/3?
False
Let d be (10 - 374/85)*(-175)/18. Let f = d + 1969/36. Let t(x) = 5*x + 1. Let l be t(-3). Do l and f have the same value?
False
Let h(z) = z**2 + 5*z + 3. Let g(d) = -d + 7. Let q be g(10). Let t be h(q). Suppose 7 - 1 = 3*i. Which is smaller: i or t?
t
Let v = -2/905 - -6351/7240. Let s(q) = 15 + 4 - 3 + 0*q + q. Let l be s(-15). Which is smaller: v or l?
v
Let y = 69877/51 + -1153/102. Which is bigger: y or 1359?
1359
Suppose 3*a = 2*q + 3739, -2815 = -2*a + 5*q - 337. Is a less than 1250?
True
Suppose 17 = 8*h + 1. Let w = 12/463 - -6669/10649. Which is greater: w or h?
h
Let p be 33 + -39 - (-93202)/98. Let k = 945 - p. Suppose 0*q = -q. Are q and k non-equal?
True
Let m = 4.055 - 4.38. Let h = -0.425 - m. Let r be (-3)/(-9) - 22/21. Which is smaller: h or r?
r
Let y = 123.93 + 3.07. Let k = 127.3 - y. Let n be 2 + 32/(-18) - 0. Is n at most k?
True
Let x = 6873 - 6872. Is x less than 57/58?
False
Let u be 44868/(-66) + (-4)/22. Let k be ((u/(-12))/10)/(25/15). Is k greater than -5?
True
Suppose -2*k - 3*k = 4*h - 407, -550 = -5*h + 2*k. Let w be ((-20)/(-35))/(h/42). Which is smaller: 166 or w?
w
Let y = -31/3 + 11. Suppose 60*w - 359 = 61*w. Let a = -354 - w. Which is smaller: y or a?
y
Suppose 3*z = 4*t - 209, 0 = 2*t - 4*z - 80 - 22. Let l = 22 - t. Let j = 42824 + -42856. Is j <= l?
True
Let d = -37451/522 - -417/58. Which is smaller: d or -65?
-65
Suppose 4*k - 36 = -c, 6*k = 4*k + 4*c + 36. Let q be (k/(-4))/5*(2 - -16). Let t be 1/(-2)*30/q. Which is bigger: 3 or t?
3
Let w = -9.7 - -10. Let b = -0.451 + 0.151. Let o = w + b. Which is smaller: 0.1 or o?
o
Let s be 8688/(-168)*(-14)/32. Is s at most 23?
True
Let k(w) be the third derivative of w**5/20 - 3*w**4/8 - 7*w**3/6 + 14*w**2. Let x be k(-4). Suppose -6*v = 5*v - x. Which is smaller: 8 or v?
v
Let u(h) = -h**2 - 22*h - 28. Let b be u(-20). Let m be (b/10)/((-2)/35). Are 5 and m unequal?
True
Let i be (-2)/(-8)*176/66*(-8577 + 3). Which is greater: -5717 or i?
i
Suppose 32 = -4*w + 328*q - 333*q, 14 = -2*w - 2*q. Which is bigger: 1059 or w?
1059
Suppose 2*p - 1 - 3 = 0. Let a(f) = f**3 - 4*f**2 + 3*f + 1. Let x be a(p). Is 1/7 smaller than x?
False
Let b = 47 - 43. Suppose -n + 2*x = -1 + 3, 0 = -b*x. Let g(l) = l**3 + 2*l**2 + 2*l + 1. Let m be g(n). Is -6 greater than or equal to m?
False
Let q = -632 + 715. Let r = -83.056 + q. Which is smaller: r or -2?
-2
Let m be -2*((-13 - 3) + 643). Is -1256 greater than m?
False
Let g be 6 - 1*(1 + 1). Suppose -g*t - 14 - 100 = -2*u, 3*u = -3*t - 63. Let c be t/(-24) + (-12)/48. Which is bigger: -0.1 or c?
c
Let l be 3/(-14)*(-2232)/(-1674). Is 85/31 at least l?
True
Let a be 12/15 - (-2421)/(-5)*-1. Let u be (a/10 - -3)*1. Let k = -51 + u. Does -0.2 = k?
False
Let y(q) = -5*q - 75. Let g be y(-8). Suppose -33 = -o + 2*h, -2*o = 5*h - h - 50. Let j = o + g. Are j and -6 equal?
True
Let c(y) = -2*y**2 - 6*y + 15. Let h be c(5). Let k = h - -36. Which is greater: -2/13 or k?
-2/13
Let d(p) = -2*p + 8. Let j be d(14). Let z = -878/21 + 446/21. Are z and j non-equal?
True
Suppose -450 = -6*p + 1356. Suppose 9*o - p - 50 = 0. Let u be 3/(9/o) + (2 - 3). Which is smaller: u or 14?
u
Suppose 0*n - 5*n + 490 = 0. Let j(b) = b**2 - 32*b - 4. Let v be j(35). Is n greater than v?
False
Suppose -78*y = 80*y - 147*y - 11. Which is smaller: y or -9/109?
-9/109
Suppose 0 = -30*w + 15*w - 15. Let c be -67*(14/(-28) - w/(-2)). Is c not equal to 64?
True
Let s(j) = -j**3 + 46*j**2 - 37*j 