= u - 10, -3*j = u - 5. Is u at most as big as d?
False
Let n(t) = 8*t**2 + 21*t - 59. Let r be n(-13). Is 1019 less than r?
True
Let l = 1.81 - 1.21. Is l at least -0.3?
True
Let z(p) be the third derivative of p**5/30 + 5*p**4/24 + 5*p**3/3 - 5*p**2. Let h be z(-4). Suppose -10 = 5*v, -5*v - h = -4*s - 4. Which is greater: s or 5/6?
s
Let t = -6685/32 - -209. Let o(m) = 12*m**3 - m**2. Let j be o(-1). Let b(i) = -i - 13. Let r be b(j). Which is smaller: t or r?
r
Let x(y) = -28 + 5 - 6*y + 5*y. Let w be x(-7). Is -16 smaller than w?
False
Let z = -10.18 - -0.18. Let s = z + 9.9. Is -4 smaller than s?
True
Let q be 3 + (47/(-7) - (-6)/(-21)). Let t(g) = 2*g**2 + 6*g - 9. Let x be t(q). Is -72 bigger than x?
False
Suppose -5 = 10*z - 15*z. Which is smaller: -1/2005 or z?
-1/2005
Let d be (6/8*-6)/(-2). Let f(w) be the second derivative of -w**4/12 + w**3/3 + 17*w**2/2 + 16*w. Let o be f(5). Do o and d have different values?
True
Let p(g) = 161*g - 813. Let j be p(5). Let s be (-1)/(1/(-18)*-2). Is s < j?
True
Suppose 2*f + 40 = -3*f. Let o be 9/(-36) - 2/f. Suppose 3*l + 5*y + 23 = 0, -4*y - 12 = -o*l - 4*l. Which is greater: -1/7 or l?
-1/7
Let k = 476734/422781 - -7/5318. Let x = k + 2/53. Is x bigger than 0?
True
Let t = 21 - 19. Suppose -3*i + 0*i - 18 = -5*p, t*i - p = -12. Let a be (-3)/3 + (-4)/i. Does 0 = a?
False
Let h = -7.948 - 0.052. Let w = -7.92 - h. Which is smaller: 1/2 or w?
w
Let l = -113 + 262. Which is bigger: l or 147?
l
Let c = 6.78 + -7.78. Which is smaller: 1.19 or c?
c
Suppose 11*i - 4*i - 35 = 0. Suppose -19 = s + 5*g - g, -i*s + 2*g = 7. Which is smaller: -5 or s?
-5
Let v be (14/(-14))/(-2 - -1). Let j = 568/65 + -41/5. Which is smaller: v or j?
j
Let x = 75 + -74. Suppose -s = y - 2 + x, 0 = 4*s - y - 29. Suppose 0 = -3*w + 9 + 15. Which is smaller: w or s?
s
Let l(p) = 3*p**2 - 4*p + 3. Let w be l(1). Suppose w*b - 2*b + 3*b = 0. Is b not equal to -1/2?
True
Suppose 2*n + 5*i - 55 = 0, -3*n + 2*i - 3*i = -63. Let d = -19 + n. Let b = -5.4 + 0.4. Which is bigger: b or d?
d
Let w be (-42)/(-10) - 7/35. Let t be (-1014)/21 + 2/7. Let g be t/75*(-10)/w. Which is smaller: g or 3?
g
Let s be 4/(((-2)/15)/(-1)). Let x = -542 + 572. Is x < s?
False
Suppose 3*k = -5*v + 26, -2*v = -4*k - 0*k. Suppose 0 = v*d - 5 - 7, -5*d + 18 = -3*p. Which is bigger: 2/13 or p?
2/13
Let d(q) = q. Let i = -13 - -8. Let z be d(i). Let a = -5 - 3. Which is smaller: a or z?
a
Let m = -2 + 7. Suppose c + 2*d - 4 = d, m*c - 24 = -3*d. Suppose 2*p + a = 16, 5*p + 0*a + 4*a = 43. Is p at most as big as c?
False
Let y be 2/(9/(135/(-6))). Let r = -7 - -11. Suppose 0 = 2*j + r, 0 = -3*q - 4*j + 3 - 23. Is y less than or equal to q?
True
Let w = -20.1 + 20. Let l(d) = 3*d + 3. Let n be l(5). Suppose -2 = 4*h + n. Is w at most h?
False
Let s be ((-21861)/(-42))/(6/4). Is s at least as big as 347?
True
Let j = -39 + 38.8. Suppose -t - 9 = -7. Let a be 0 - t - (-16)/(-9). Which is greater: j or a?
a
Let v = 0.473 + -0.503. Are v and 25 equal?
False
Suppose 28*h = 9*h + 3648. Are 192 and h equal?
True
Suppose -2*d = -4*d - s - 43, -2*d - 52 = 4*s. Let a be 1/2*(14 + d). Which is greater: 3/4 or a?
3/4
Let z(q) = 14*q + 52. Let r(w) = 5*w + 17. Let f(u) = 8*r(u) - 3*z(u). Let b be f(-14). Suppose 4*d + 22 = s - 6*s, 4*d = b. Is -5 greater than s?
True
Let s(k) = -k**2 - 8*k + 14. Let b be s(-9). Let p(n) be the third derivative of -n**4/12 + 11*n**3/6 + n**2. Let d be p(b). Which is greater: -12 or d?
d
Suppose 5*o - 19 - 121 = 0. Let m be ((-8)/(-5))/(7/o). Which is bigger: m or 5?
m
Let x = -48 - -54. Suppose -4*l - 10*i = -x*i, -3*i + 5 = 2*l. Which is bigger: -1 or l?
-1
Suppose 7*v - 196 = 3*v. Suppose 0 = -5*w - v - 21. Is w at least -13?
False
Let i = 0.17 + -0.13. Let c = i + 2.88. Let y = -0.08 - c. Is 3 greater than or equal to y?
True
Let a = -614 + 619. Which is smaller: -92 or a?
-92
Let g = 216.042 + -216. Is 0.1 greater than g?
True
Let n(a) = a**3 + 42*a**2 + a + 43. Let b be n(-42). Do -135 and b have the same value?
False
Let l = 42.9 + -16. Let z = l + -27. Which is smaller: z or -0.25?
-0.25
Let y be (-64)/6*6/4. Let x = -6713/415 - 2/83. Is x at least as big as y?
False
Let m be (-55)/(-40) + 1/(-4). Let k be (-9)/(-8) + 4/(-8). Let n = m - k. Which is bigger: n or 0?
n
Let q be (4 + -6 - 101)*(-7)/(-7). Is q greater than or equal to -102?
False
Let w(y) = -y - 6. Let l be w(-9). Let r be (-2 + l)/((-15)/(-9)). Suppose 2*d - 5 = -1. Which is bigger: r or d?
d
Let l = 22 - 40. Let s = -471.92 - -490. Let h = s + l. Which is bigger: h or 1?
1
Suppose -20 = -26*m + 31*m. Which is bigger: -355 or m?
m
Let p = 3632/72345 + 2/1855. Is -1 < p?
True
Let d = 297501 + -120487753/405. Let q = 859 - 69577/81. Let n = q + d. Which is smaller: -4 or n?
-4
Suppose 3*k - 9 = 0, -8*g - 2*k = -9*g - 6. Let m = 14 - 25. Let p = -7 - m. Do p and g have the same value?
False
Let g be -11*(-3)/(-6) + 11/22. Which is smaller: g or -3?
g
Let s(n) = -n**3 - 13*n**2 - 6*n + 20. Let g be s(-10). Let f be ((-3)/2)/(-4 - g/56). Which is bigger: f or 2?
f
Let m be 0/4 - (-12)/3708. Which is greater: 1 or m?
1
Suppose -4*q + 3*h = -40, 0 = -3*q + 3*h + 6 + 21. Let d = 31 - 16. Which is bigger: q or d?
d
Let i = -3283 - -732110/223. Is i >= 1?
False
Let q(x) = 21*x + 1. Let g be q(-2). Let c be 60/14*924/(-99). Which is greater: g or c?
c
Let n be (34/24 - 1)*(-18 + 5). Which is bigger: n or -6?
n
Let z = 2041 - 2009. Which is smaller: 197/6 or z?
z
Suppose w = -3*t + 24, 2*w - 5*t - 32 = -3*t. Suppose 2*a = 4*n + 6, 0*a + a = -n + 3. Suppose -h = 2*q + 2*q + 12, 0 = -h + a*q + 9. Which is greater: h or w?
w
Let l = -0.0081 - 0.9919. Which is smaller: 8.59 or l?
l
Let u be 890/(-300) + (9 - 6). Is 0 at least u?
False
Let a(m) = m**2 + m - 57. Let j be a(-8). Which is bigger: -1/48 or j?
-1/48
Let w = -19 - -19.09. Let d = 27.01 - 27. Let r = d + w. Which is smaller: -1.7 or r?
-1.7
Suppose 2*u + 2 = -3*j - 5, -4*u - 12 = 4*j. Let a be (j/5)/((-5)/(-25)*2). Let h = -1.06 + 0.06. Is a != h?
True
Let k = 0.1 - -4.7. Let a = -2.8 + k. Which is smaller: 0.2 or a?
0.2
Let t = -438 - -447. Do t and 19 have different values?
True
Let y be (-10)/473*286/(-104). Which is smaller: 1 or y?
y
Suppose -5*g + 7 + 3 = 0. Let w(z) = -z**2 + 8. Let c be w(0). Let o be g/4 - 52/c. Are o and -4 unequal?
True
Let r be ((-8)/10)/(10/(-375)). Let p be (-12)/r - 47/(-30). Is p at most as big as 0?
False
Let b = -135.3 - -135. Which is smaller: 1/33 or b?
b
Suppose 3*q + 97 = -5*t, 20*q - 15*q = 5*t - 95. Is -151/6 <= q?
True
Let k be 4 - (-41)/460*-43. Let u = k + -5/23. Which is bigger: u or 1?
1
Suppose -3*p + 7*p = 0. Suppose p = -r, 0*v + 2*r - 148 = -2*v. Let g be (-5)/((-130)/v) - 3. Which is greater: -1 or g?
g
Let o(k) = k**3 + 8*k**2 - 4*k - 6. Let z be o(-8). Suppose -z - 30 = 4*p. Let m be (-13)/14 + (-6)/p. Do 0.04 and m have the same value?
False
Let m be (-2 + 5)*(-2)/(-3). Suppose 0 = m*h + h + 9. Which is bigger: h or -9/5?
-9/5
Suppose -9*k + 3*k + 696 = 0. Is k at most as big as 114?
False
Let n(d) = 17*d + 35. Let m be n(-2). Which is smaller: 5/23 or m?
5/23
Let x(r) = 3*r - 16. Let q be x(5). Let y be 120 + (q - -3) + 3. Which is greater: y or -1?
y
Let m(j) = -21*j + 59. Let w be m(4). Is -24 greater than w?
True
Let f = -30 + 43. Let b = 72/5 - f. Which is greater: 0 or b?
b
Let a = -38 + 35. Suppose -b - 3*g + 10 = -4, 0 = -5*g + 25. Is a less than b?
True
Let t = -2.0473 - -0.0473. Let n = -2 - 0. Are n and t nonequal?
False
Let a(c) = 2*c - 27. Let l be a(0). Let n be l/9*26/(-6). Let g(i) = -2*i**3 - 5*i**2 - 2*i - 1. Let y be g(-3). Is n greater than or equal to y?
False
Let w = 105 - 6196/59. Which is greater: 0 or w?
0
Let p = 9/8 - 35/24. Let s be 150/(-24) - (-2)/8. Let z = s - -5. Which is bigger: z or p?
p
Let r be 1*30 + -1 - 0. Suppose 28*h - r*h = 7. Which is smaller: h or -5?
h
Let h = -20339/2 + 10367. Is h greater than or equal to 198?
False
Let n = 103.8 - 103.8. Let b be -2 + -22*1/(-2). Let m be (1/b)/((-5)/3). Which is smaller: n or m?
m
Let p = 30.14 + -31. Let x = 0.26 + p. Which is greater: x or 0?
0
Let l = -1 + 3. Suppose p = -2*u + 6 - 1, -l*u = -4. Suppose -o + p = -2*o. Which is greater: o or -3?
o
Let m be (-1)/2*(1 - 1). Suppose m