24 have the same value?
False
Let f = 4067.71 - -59.29. Which is smaller: -0.1 or f?
-0.1
Suppose -22*t + 3608 = -66. Let n be 10/35 + (-3522)/(-21). Is t bigger than n?
False
Let c be ((-1)/((-92)/12))/(57/38). Suppose -j + 8 = 3*i, 0*i - 2*j = -2*i - 8. Let b be 1/(-5)*(i - -1). Is c > b?
True
Let w = -198 + 143. Let t = w + 51. Which is smaller: 37/5 or t?
t
Let u = 4947 - 4249. Is u not equal to 697?
True
Suppose w - 11 + 0 = -5*y, -2*y - 2*w - 2 = 0. Let c be y/(-442)*(0 - 1 - 41). Let f = 17931/2431 - c. Which is bigger: f or 8?
8
Let g be (14 + 648/(-48))*(-1 + 126/4). Let j(a) = a - 15. Let w be j(0). Let b = w + g. Do -1/17 and b have different values?
True
Let d = 24/241 - 313/723. Let v = -2 + 9. Let u = v - 7.9. Is u >= d?
False
Let q be 112/(-819) - 2/9. Let j = -31964 + 31965. Which is bigger: j or q?
j
Let u = 484 - 270. Let f = -115 + u. Let v(a) = 2*a**2 + 7*a. Let z be v(-9). Is f < z?
False
Let l be ((-4887)/(-15))/(3660/(-200)). Which is smaller: -17 or l?
l
Let z(o) = 2*o + 29. Let l be -8 - -7 - 1*-4. Suppose y + 4*q = -l*y - 28, -3*q = -2*y - 29. Let w be z(y). Which is smaller: w or 5?
5
Suppose 4*o + 4*f - 7 + 35 = 0, 2*f = 2*o + 2. Let z be o*30/(-8) - -1. Suppose 17*n = z*n + 1. Is n at most as big as 2/13?
False
Let g(p) = p**2 - 59*p + 879. Let w be g(31). Is 9 > w?
False
Let r(i) = i**3 + 15*i**2 - 17*i - 2. Suppose -d - 4*a + a - 19 = 0, 4*d + 65 = -a. Let n be r(d). Let s = n + -15. Which is smaller: -8/17 or s?
s
Let r = 10525 - 9817. Which is bigger: 711 or r?
711
Suppose -4*i = -3*i + 15. Let w(k) = 3*k**2 - 22*k + 56. Let f be w(5). Suppose f*o - 4*o = -272. Do o and i have different values?
True
Suppose -17 = -4*t + 3*u, -5*u + 3*u = -2*t + 8. Suppose 908 = 4*g + 4*r, 8*g + t*r = 11*g - 705. Is g >= 230?
True
Let u = 441.8618 - -0.0382. Let q = -442 + u. Are q and 156 unequal?
True
Let p = 10 - 5. Suppose p*g + 4 = g. Let v = -235 - -5408/23. Which is smaller: g or v?
g
Let f(l) = -l**2 - 21 - 16 + 39 - 16*l. Let q be f(-13). Which is bigger: q or -2?
q
Let p(g) = -6*g + 3. Let m be p(4). Let f(n) = -2*n**2 - 8*n + 209. Let q be f(9). Which is bigger: q or m?
m
Let k = -3997 - -3805. Which is greater: 15 or k?
15
Let m(b) = 3*b**2 + 14*b + 14. Let v be m(-10). Let t = 174 - v. Which is smaller: t or -2/685?
-2/685
Let q(r) = -r**3 - 6*r**2 + 5*r - 8. Let h be q(-7). Suppose h*s + 14 = 2. Let z be -2*(4 + (3 - (-146)/(-24))). Which is smaller: s or z?
s
Let y = 262 + -257. Suppose 3*z = 8*q - y*q + 18, -q - 2 = 0. Which is greater: z or 18?
18
Let f(w) = 4*w - 3. Let k be f(1). Suppose -k = -4*x - 1. Suppose -a - a - 12 = 0. Does a = x?
False
Let n = -11424 - -11424. Which is smaller: 1/8435 or n?
n
Let y = 42 - 1. Let w(r) = r**3 - 43*r**2 + 80*r + 62. Let n be w(y). Is -18 bigger than n?
True
Let t = -12560 + 24927. Is t smaller than 12366?
False
Suppose 12 + 16 = -4*y. Let h be 0/((-11)/(11/2)). Suppose -g = -h + 6. Which is smaller: y or g?
y
Suppose -14 - 42 = -14*m. Let g be (m/4 + -1)/1. Which is bigger: 0.18 or g?
0.18
Let t = 97399 - 391659/4. Let i = -516 - t. Let z(d) = -2*d + 3. Let p be z(2). Is p > i?
False
Let v(f) = f**2 + 11*f + 5. Let j(r) = r - 19. Let u be j(6). Let l be v(u). Let m = l - 61/2. Which is bigger: m or -47?
m
Let j = 2095046/61 + -34346. Are -1 and j equal?
False
Let t(d) be the third derivative of d**6/120 - d**5/15 - 3*d**4/8 - 13*d**3/6 - 2*d**2 + 63. Let j be t(6). Which is smaller: 3 or j?
3
Let v = 5557 + 1298. Let k = v + -239958/35. Which is greater: -2 or k?
k
Let c = -77567/10005 + 225/29. Which is smaller: -1 or c?
-1
Suppose -4*s = -3*i + 27, -52*i + 4*s = -55*i - 21. Is i < -5/708?
False
Let j = 218 + -229. Let f be ((-3)/4)/(4470/408 + j). Is 16 at least f?
False
Suppose -4*r + 23 = 19. Let i be (572/(-204) + (4 - r))*12. Which is smaller: i or 3?
i
Let p(c) = -2*c**2 - 10*c - 10. Let r be p(-7). Let k(z) = 2*z + 34. Let h be k(-17). Suppose -10*y - 390 = -h*y. Is r at least as big as y?
True
Let x be ((-30)/(-4))/(125/300). Suppose -8 = -o + 3. Which is bigger: o or x?
x
Let n = -9696 + 5201. Is n equal to -4495?
True
Let z(i) = -i. Let q be z(5). Let a = q - -6. Let p = -26656/1005225 + -2/13403. Which is greater: p or a?
a
Let d be (9 - 973/105)/(12/10). Let g = 0 - d. Is 12 greater than g?
True
Let i = 1391 + -1119. Let c = 228555/842 + 24/421. Which is greater: i or c?
i
Let v = -2515 - -1742. Is v not equal to -773?
False
Let m be (-1068)/18 - (1 + 3/(-9)). Let r = -73 + 75. Let c be -61*(r - (6 + -5)). Which is smaller: c or m?
c
Let u = -1744 + 1748. Let d be 8/(-6)*-3*1. Suppose -u*n = -4*f - 88, d*n = -2*f + 95 - 13. Which is smaller: n or 1?
1
Let l be 2*(1/2*-6 + 6). Let f be (-2*l/4)/(-1). Suppose 3*z + 0 - f = 0. Is 27 at least z?
True
Let t be 18/42 + (-128)/(-28). Let i(s) = 20*s - 106. Let p be i(t). Let w be (14 - 0)*(-2)/4. Is p at least w?
True
Let h be (11186/(-98))/(-5 - -6). Is h less than -113?
True
Let j = -225 + 224. Let g(d) = -100*d**2 + 1. Let n be g(j). Which is greater: n or -98?
-98
Let x = -77 - -117. Let s = x + -57. Which is smaller: s or -0.1?
s
Suppose 19 = 2*h + 5. Suppose -x - 65 = h. Let o = 74 + x. Which is smaller: 9/10 or o?
9/10
Suppose -1489 + 394 = -73*p. Which is bigger: 16 or p?
16
Let u = -0.0532 - -3.6032. Let q = 20.55 - u. Is q at least 17?
True
Let m be -2 + -47 + (-11 - -7). Let v(g) = -9*g**2 - 9*g. Let h be v(-3). Which is greater: h or m?
m
Let k be (-6)/(-39) - (7 + (-441912)/(-104)). Is k less than or equal to -4256?
True
Let t be ((-15)/(-12) - 1) + (-205)/5904*-12. Let y = -5.6 + 3.51. Is y != t?
True
Let x = 1 - 0. Let o be (-66)/(-17) - 30/10. Let a = -181/340 + o. Which is smaller: a or x?
a
Let n(i) = 4*i - 2. Let h be n(-5). Let s(d) = 14*d**3 - 9*d**2 + 8*d + 1. Let l be s(1). Let v be l/(-21)*(183/6 + 4). Which is bigger: v or h?
h
Suppose a + 36 = -r + 1, 0 = 2*a + 5*r + 85. Let j = a - -95. Which is smaller: j or 67?
j
Let b(d) = d**3 + 8*d**2 + 8*d + 5. Let p be b(-6). Suppose 0 = p*u - 588 + 1574. Suppose 0 = 5*f + 97 + 68. Is u at most as big as f?
True
Let q(s) = 4*s - 6. Let k be q(2). Suppose 2*t - 2*o - 26 = k*o, 4*t - 5*o = 40. Let n be 10 + 9/(-3) + t. Is 10 at least as big as n?
False
Let t = 8361 - 6845.2. Which is smaller: t or 0.1?
0.1
Let a = 99449/9 + -11027. Which is bigger: -0.1 or a?
a
Let a(s) be the first derivative of s**4/4 + 2*s**3/3 - s**2 - 2*s + 35. Let p be a(-2). Suppose 0*o - p*o + 21 = -r, 0 = 3*o - 5*r - 49. Is o >= 7?
True
Let t be (-4 + 12)/(2 + 0/2). Suppose t*i - 3*i + r + 62 = 0, 0 = 5*i + 3*r + 310. Let c = 62 + i. Is c greater than or equal to 9/8?
False
Suppose -2*u + 5*u = 138. Let k = 51 - u. Suppose 3*x - k*s + 104 = 0, -3*s + 0*s = -2*x - 70. Is -37 smaller than x?
False
Suppose 3*i + 135*o - 192 = 132*o, 72 = i - o. Suppose -v - 14 = -81. Which is smaller: i or v?
v
Let a = 0.41073 + -0.83923. Is a bigger than -1?
True
Let g(y) = -9*y - 225. Let i be g(-21). Which is greater: -18 or i?
-18
Suppose 7*q = 4*q + 18. Let d be (1 + q/48)/(-21). Do d and -1 have the same value?
False
Suppose -5*h = -2*g + 5*g + 102, 0 = h. Let j = g - -22. Let b = -294615/2 + 883769/6. Which is bigger: j or b?
j
Let o be (-3 - 566/(-186))/((-34)/51). Suppose n - 26 = -0*n. Let b = 25 - n. Which is greater: b or o?
o
Let t = -246241/209321 + 192/1759. Which is bigger: -1 or t?
-1
Suppose -3*u - 236 + 179 = -2*o, -o + 27 = -4*o. Suppose l = -2, q + 5*l + 110 = -4*q. Which is smaller: q or u?
u
Let d be (-1)/(0 + 7/2). Let s = 784.93 - -0.07. Let w = s + -713. Which is greater: w or d?
w
Suppose -1831 = -13*f + 14*f + 4*d, 0 = 2*d - 2. Is -1835 less than f?
False
Let p = 3101 + -3099.149. Let y = 1.85 - p. Which is bigger: -1/2 or y?
y
Suppose 0 = -7*d + 117 - 26. Suppose -15 = -q - d. Let p be q + (-3)/6*-4. Is 4 > p?
False
Let b = -752.7 - -784. Let y = 28.3 - b. Let x be -3*3*(-4)/6. Are x and y unequal?
True
Let x be 3/(6/74) - -14*(-14)/(-49). Is 124 smaller than x?
False
Let q = -3/25 - -159/700. Suppose -2*d - 2*r + 2 = 0, -5*d + 5*r - 460 = -465. Are d and q non-equal?
True
Let b = 292.22 - 297. Let l = b + 5. Let z = l - -0.18. Which is smaller: 0.7 or z?
z
Let f = -848927/89 + 9539. Which is greater: 1 or f?
1
Let b(h) = -3*h**2 + 48*h - 22. Let i be 8/((-24)/