Let u(o) = -2*o + 5. Let a be u(3). Let c(m) = m**3 + m**2 + 3*m + 8. Let q be c(-4). Let b be 2 + q/24 - 0. Which is greater: a or b?
b
Let r be -2 + 9/(18/(-32)). Let m be 3/(-15) + -3 + r/(-5). Which is smaller: -4 or m?
-4
Let h(z) = -1. Let w(j) = 17*j + 102. Let m(a) = 102*h(a) + w(a). Let t be m(-2). Let x = t - -581/17. Is 0 greater than x?
False
Suppose -5*h + 12*m - 386 = 11*m, -5*h - 4*m - 381 = 0. Which is greater: -80 or h?
h
Suppose -5*v + 21 = -2*v. Let f be (-15)/(-6)*1/((-5)/(-16)). Suppose -3*k - 4*q - 5 = -f*k, 0 = 2*q - 10. Is k greater than v?
False
Let l be -4*1 + 3 + 26. Let r = l + -25. Do r and -2 have different values?
True
Suppose 0 = 5*l + 6*l - 1067. Is 98 != l?
True
Let r be ((-2)/4)/(14/12 + -1). Let h(p) = p**2 + 8*p + 4. Let g be h(-7). Is r equal to g?
True
Let t(z) = z**3 + 9*z**2 + 6*z - 6. Let y be t(-8). Let a = 14 - y. Suppose -a*i + 3*j - 12 = 0, -6*i - 15 = -i - 4*j. Which is bigger: -5 or i?
i
Suppose -4*u - 235 = -347. Is u <= 29?
True
Let d = 290 - 215. Is -0.07 > d?
False
Let m = -434 + 605. Which is smaller: 170 or m?
170
Let p = -408 + 410. Which is bigger: p or 55?
55
Suppose 271 = -q + 303. Is 2 <= q?
True
Let j = 22 - 16. Suppose 0 = -3*y + 5 + 10. Suppose -2*i = -i - y. Is j less than or equal to i?
False
Let i = -18/43 - -363/559. Suppose -3*d - 150 + 153 = 0. Which is smaller: i or d?
i
Let q be 3 - ((-2)/(-2) + (0 - -3)). Let m = 78/7 + -1340/119. Which is bigger: q or m?
m
Suppose -5*r + 21 = -24. Let i(u) = -2*u**2 + 18*u + 9. Let y be i(r). Is 9 greater than y?
False
Let p be ((1500/16)/(-5))/(2/16). Let b = -76 - p. Is 73 < b?
True
Let b(q) = -q**2 + 16*q - 23. Let o be b(14). Which is bigger: -5 or o?
o
Let s(x) = x**2 - 29*x + 169. Let o be s(21). Which is bigger: o or 8/307?
o
Let s = 25 + -22. Let v be (4/(-3))/((-14)/21). Let n = v + 1. Is s at most n?
True
Let m be 0/((-2)/2) - -9. Let n = 1240 + -1232. Do n and m have different values?
True
Let k = -16/43 + 762/2279. Which is smaller: k or 0?
k
Let f = 191 - 185. Which is smaller: 0.6 or f?
0.6
Suppose -4*d - 16 = -5*a, 4*a = 10*d - 13*d + 19. Which is smaller: 601 or d?
d
Suppose 37 = r - 13. Let d be r/(-30) + 1/1. Which is smaller: 0 or d?
d
Let h = 47.921 - -0.079. Let d = 54 - h. Which is smaller: 4 or d?
4
Let q be 13/(1/((-5)/(-40))). Which is bigger: q or 2?
2
Let j = 70/59 + -822/295. Let b(v) be the third derivative of v**6/120 + v**5/30 + v**4/12 + v**3/2 + v**2. Let t be b(-2). Which is smaller: j or t?
j
Suppose 8*d + 27 = 67. Let i = 0 + d. Is 27/5 equal to i?
False
Let q be ((-10)/2)/((-2599)/226). Which is smaller: q or 1/2?
q
Let r = 4.3 + -4.3. Is r less than 66?
True
Suppose -o + 2*o + 5*a = -2, 0 = -4*o - 3*a + 9. Let y = 5 + o. Is y smaller than 8?
False
Let r = 2418.8 - 2419. Is r smaller than 32/15?
True
Let d = 1337 + -1364. Which is bigger: 0.12 or d?
0.12
Suppose 18 = 2*d + 2. Suppose -4*c + 25 = -2*c - 5*q, 4*q = 4*c - 44. Which is bigger: d or c?
c
Suppose p - 5*p + 16 = 0. Suppose p*w = 9*w - 5. Let t be ((-64)/28)/w + 2. Which is smaller: t or -1?
-1
Let r = 18.14 + -18. Let k = r + -0.13. Let o = 0.01 - k. Which is greater: 1 or o?
1
Let q(v) = -v - 2. Let x be q(-3). Let j = x - 12. Let n(k) = -k**3 - 9*k**2 - 9*k - 20. Let h be n(-8). Which is greater: j or h?
j
Let d = 46 - 51. Let z(o) = -o**3 - 8*o**2 - 16*o - 4. Let c be z(d). Let x be 68/(-387) - (-4)/18. Is c < x?
False
Let d be ((-2723)/(-35))/(2/10). Suppose -k = 5*v - d, -5*k + 25 + 380 = 5*v. Let g = v + -149/2. Is g greater than 2?
True
Suppose 0*z = 11*z - 11. Which is greater: z or 11?
11
Let t = -0.489 + -0.001. Let n = t + 20.49. Is -0.3 != n?
True
Let a be 496*2 + (3 - 5). Let c = a - 52472/53. Which is smaller: 0 or c?
c
Let y(i) = -20*i**2 - 11*i + 14. Let u be y(3). Which is greater: u or -198?
-198
Suppose 0 = -a + 5*o + 11, -13*a = -8*a - o - 7. Which is smaller: -1/411 or a?
-1/411
Let h be (5 + -2 + -1)/(5/10). Suppose 4*j = -h*f - 8, -4*f + 1 + 0 = -5*j. Is -8/11 less than j?
False
Suppose 2634 - 60 = -6*p. Let u be 3/(-4) + p/(-484). Which is bigger: u or -1?
u
Let d be 3/(-1)*(-16)/24. Suppose 0 = -2*v + 6, -y - v = -2*y. Is y not equal to d?
True
Suppose 0 = l - b + 190, -l + 3*b - b - 188 = 0. Let m = 1543/8 + l. Is 2 >= m?
True
Let y = 188 - 188. Let p be (-3 - 145/(-24)) + -3. Is y bigger than p?
False
Let o = -2.13 - -0.33. Let f = o - 7.2. Let v = -0.2 - -1.2. Do f and v have different values?
True
Let d = -1075 - -15061/14. Which is greater: d or 0.1?
d
Let g(d) = -d - 7. Let o be g(-6). Let w be (5/30)/((-1)/8). Is o less than w?
False
Let p = -6 - -1. Let s = 9 + p. Suppose 2*y - s = 6. Is 3 != y?
True
Let q be (-14)/4*1092/147. Let x be 2*(-50)/(-12)*-3. Which is greater: q or x?
x
Let v = -6 - -5.66. Let a = 3203/4 - 801. Is a at least v?
True
Let j be 3572*((-410)/(-40) + -10). Is j greater than 0.1?
True
Let l(c) = -c**2 - 5*c + 2 - 3 + 2 - 3. Let m be l(-2). Suppose -4 = 4*t - 4*b, 5*b + 17 - 46 = -t. Is m <= t?
True
Let d = 18.05 - 0.05. Let y = d + -17.4. Let a = -0.2 - -0.4. Which is smaller: y or a?
a
Let o = 142969/41 - 3487. Let i(b) = b**2 - 1. Let f be i(0). Is o >= f?
True
Let b = -0.145 + -0.555. Which is bigger: b or -0.05?
-0.05
Suppose 6 = 3*b + 15. Let x = 8 + b. Suppose -x*v = d - 18, 2*d = -3*v + d + 10. Which is bigger: v or 5?
5
Suppose 0 = 5*u - p - 7 - 56, -5*u - 4*p = -48. Let y = 13 - u. Let g = 704/7 - 101. Is y not equal to g?
True
Let w = 2003 - 2141. Is w at most -146?
False
Let z be (-3)/(27/2)*(-27)/30. Which is bigger: z or 1?
1
Let w be (3 - 96)*7/(-21). Suppose 4*j - 35 = -w. Suppose 5*f = 2*u + 40, -2*u = 5*f + 1 - 41. Which is smaller: f or j?
j
Let g be 7/2793*-185 - 3/(-7). Suppose 3*c + 3 = -0. Do g and c have the same value?
False
Let u(a) = a**2 + 4*a + 3. Suppose -2*c - 3*c - 43 = 3*v, 3*c + 33 = -3*v. Let x be v/(0 + (2 - 0)). Let g be u(x). Does g = 3/4?
False
Let f(g) = g**3 - 6*g**2 - 6*g + 3. Let h be f(9). Let o be 4/6 - 122/h. Let d(u) = 26*u - 1. Let p be d(0). Is o < p?
False
Let y = -259/9 - -7547/261. Which is bigger: 1 or y?
1
Let m be 17/(-3) - (-3 + 30/9). Do -4 and m have different values?
True
Suppose -7007 = 35*r + 14798. Are r and -623 equal?
True
Let x = -9/10 + 1/10. Let f(j) be the first derivative of -j**3/3 - 3*j**2 - 5*j + 3. Let r be f(-5). Which is smaller: r or x?
x
Let h = -557.3 + 557. Does -27.8 = h?
False
Suppose -m = -0*m - 21. Let w be (8 + -20)*3/m. Suppose 4*v + 8 = -4*t, v - 3*t = 2*t - 2. Is w at least v?
True
Let c = 77 - 50. Let k be 17/21 + (-18)/c. Let g = -52/3 - -18. Which is bigger: k or g?
g
Suppose -c = 5*w - 15, -12 = 2*w + c + 3*c. Let i = 14 - 10. Is i != w?
False
Let q be (-115)/(-6)*24/(-45). Let u = -734/63 - q. Does u = -1?
False
Let i = -42 - -42.984. Let v = -0.016 - i. Is v < 0.08?
True
Let h = 2422 - 99296/41. Let o(a) = -a**3 - 3*a**2 + 5*a + 5. Let g be o(-4). Is g at most as big as h?
False
Let l(i) = -9*i + 1. Let b be l(-1). Suppose -y + 9 = 4. Suppose 5*p + y = 5*c, -3*c - 2 = -4*p - c. Which is greater: b or p?
b
Let d be (-24425)/(-4)*(-3)/(-5). Let c = d - 3617. Let h = -46 + c. Which is bigger: h or 1?
1
Suppose -3*x + 7 = -5. Suppose 0 = -4*o + 4*b + 20, -b - 33 = -4*o - 4. Suppose -x = 3*k + o. Which is bigger: k or -7?
k
Let f = -20.71 - -1.71. Which is greater: -3 or f?
-3
Let s(o) = -o**2 + 10*o - 4. Let m be s(9). Suppose m*a - 2 = -4*t, -4*t + 6*t - 10 = 2*a. Suppose d - 22 = -4*v, t*v - 20 = -0*v + d. Is 5 != v?
True
Let q = 676 - 282. Is 396 <= q?
False
Let f = 15775792138/335 - 47091989. Let u = f + 361/5. Does 1 = u?
False
Let w = -40 + 26. Let a be 14/(-49) + 682/w. Let c = 197/4 + a. Which is greater: 3/8 or c?
3/8
Suppose 6*a - 2*a = 64. Let h be (-1)/(-2) + 216/a. Let g be 1*h*9/(-18). Is -8 at most as big as g?
True
Let b be 44/14 - 6/21. Suppose 99*t = 89*t + 30. Which is smaller: b or t?
b
Suppose -9 = -4*g + 5*t - 41, -5*g - 40 = -2*t. Which is bigger: -13/2 or g?
-13/2
Suppose 2*x + 530 - 153 = 3*f, 3*x = 5*f - 567. Let s be 1/((-4)/x*-2). Are -21 and s equal?
False
Suppose 0 = -2*i - 2 - 0. Let a be (-6)/(((5 - -3)/(-4))/(-2)). Let z be (-7 + 1)*a/(51*4). Which is smaller: z or i?
i
Suppose -2*z + 2*n = 2, 3*z - 2 = -2*n - 0. Which is greater: -0.145 or z?
z
Let l = -206 + 205. 