 r be -1*3/((-3)/(-2)). Let g be (-1)/(4/(-104)*r). Is g equal to -12?
False
Let j = -48 - -50.1. Let v = j + 6.9. Let t = v - 9.4. Is 1/4 not equal to t?
True
Suppose 15 = -5*o, -3*p - o - 92 + 35 = 0. Which is bigger: -36 or p?
p
Let d = 1292 + -1286. Which is greater: 64 or d?
64
Suppose 5*k - 4*t - 95 = 23, 4*k + 5*t = 119. Which is greater: 103/4 or k?
k
Let j(o) = o**2 + 11 + 6*o - 3*o - 8. Let w be j(-2). Which is smaller: 2/109 or w?
2/109
Let s = -3 - -3.1. Let k = -96.1 - -88.91. Let l = k - -0.19. Which is smaller: s or l?
l
Let j = 633 - 621. Which is bigger: j or 20/3?
j
Let h = -23.7 - -26. Let m = -128 - -1154/9. Is m >= h?
False
Let p = 8108/63 - 386/3. Is -1 less than or equal to p?
True
Let h(d) be the third derivative of d**5/30 + 5*d**4/24 - d**3/3 + 6*d**2. Let b be h(-3). Let j = -2 - -3. Is b > j?
False
Let l be (-216)/60*20/6. Is l not equal to -9?
True
Let a = -4.6 - -20.6. Which is smaller: a or -4?
-4
Suppose -m - 8 = m, 3*g - m = 73. Let d(b) = 3*b**2 + 3*b - 12. Let i be d(-4). Which is smaller: g or i?
g
Let s = 23 - 37. Let j = 55 + -70. Which is bigger: j or s?
s
Let u = 0.015 - 0.011. Let d = u - 1.004. Is d less than or equal to 4?
True
Let z(h) = 2*h + 21. Let n be z(-9). Let f be (-35)/110*(-2866)/n. Let w = 304 - f. Which is bigger: -1 or w?
w
Let f be ((-120)/75)/(4/(-10)). Let w(k) = -k**2 - 4*k - 1. Let l be w(f). Which is greater: -0.1 or l?
-0.1
Let x be 16/(-6)*(-6)/4. Suppose 4 = -x*d - 0*d. Let k = -320/3 + 105. Is d greater than k?
True
Let u = 2.222 - -1.778. Does 104 = u?
False
Let t = 83.3 - 79. Let u = -2.7 - t. Let b = -7 - u. Is b bigger than -3/7?
True
Let n = 3493 - 199099/57. Let q = 3 - 2. Is q bigger than n?
True
Let p = -0.72 + 0.22. Let y = -97 + 94. Which is smaller: y or p?
y
Suppose -4*r - 3*g = -23, -4*g = 4*r - 7*g + 7. Let b(j) = -j + 2. Let k be b(0). Let t be (-2)/(-21)*(17 - k). Which is bigger: r or t?
r
Suppose 0 = -4*w + 7*w - 4*m - 16, -20 = -w + 5*m. Suppose -4*z - 165 - 35 = w. Which is bigger: -49 or z?
-49
Let b = -947 + 997. Which is smaller: b or 0?
0
Let o be 256/20 - 2/(-10)*1. Suppose b - 3*v + 11 = -o, 5*v = 5*b + 120. Is b greater than -1/4?
False
Let z be 159 + (-1 - (1 - (-1 + 2))). Which is smaller: z or 156?
156
Let x(r) = -r**3 - 7*r**2 - 10*r - 7. Let z be x(-6). Suppose -257 = 4*l + 91. Let o = l - -103. Which is bigger: o or z?
z
Let k be (-8 - -17) + -20 - -20. Is k at most as big as -3/14?
False
Let w = -1237 - -1231. Which is bigger: w or 150?
150
Suppose 5*b - 25 = -2*h + 7*h, 2*h + 1 = b. Suppose -p - j = -7, -3 = 3*j + b. Let l be 190/94 - (p + -9). Which is greater: l or -1?
l
Let i = -28 + 31. Suppose 120 = 3*u + i*u. Are u and 20 unequal?
False
Let z = -70 + 142. Let j = z + -73. Is j greater than or equal to -4/9?
False
Let n = -610 - -609. Let j be (-4)/(-18) - 8/117. Which is greater: j or n?
j
Suppose -2*m - 22 = -5*f, 0*m - 4*m - f = 22. Is -7 at most as big as m?
True
Let w = 78 + -78.7. Let k = 1.1 + w. Is k equal to 0?
False
Let r(v) = v**3 + 2*v**2 + v. Let k = 8 - 9. Let j be r(k). Let i be 0/(2/(2 + j)). Are 0 and i nonequal?
False
Let l = 1.773 - 0.203. Which is bigger: 0 or l?
l
Let t = 15 + -27. Suppose -4*o = 3*u - 25, 3*o + 4 = -2*u + 21. Suppose -u*d - 28 = 56. Do d and t have different values?
False
Let d = 20 - 21. Let l(q) = q + 4. Let j = -25 + 18. Let f be l(j). Are d and f unequal?
True
Suppose -4*t + 2 = -3*t. Suppose -31 = -t*q + 5*y, -4 = 4*y - 0*y. Suppose -3*h + 44 = -5*i, 0 = -5*i + 1 - 6. Is h greater than or equal to q?
True
Let k = -920 - -1776. Is 856 less than k?
False
Let o be (0/4)/(-1 + 0). Let s(x) be the third derivative of -x**5/60 + x**4/12 - x**3 - 12*x**2. Let u be s(o). Which is smaller: u or -1?
u
Let k be (3/(-6)*0)/(1/(-1)). Suppose 20 = -4*f - 4*v, 3*v - 8*v - 20 = k. Let d be (-12)/7 - 4/14. Do d and f have different values?
True
Let f(z) = z + 4. Let o be f(0). Suppose -o*w = -p + 5 + 19, -4*p = -w - 36. Which is greater: 6 or p?
p
Let v = 25 + -24. Let a be (-3)/((21/(-9))/(-7)). Is v <= a?
False
Let q = 61.855 + 0.145. Which is greater: q or 10?
q
Let v(n) = -5*n**3 + 13*n**2 - 3*n - 7. Let g(l) = -14*l**3 + 38*l**2 - 10*l - 21. Let c(u) = -4*g(u) + 11*v(u). Let m be c(8). Is m < 1/11?
True
Let i(o) be the second derivative of o**4/12 + o**3/6 - o**2 - 2*o. Let x be i(-2). Is 1/6 greater than x?
True
Let z be (-2 - -1)/(2 + -1). Which is greater: z or 7/116?
7/116
Let h = -1809 - -1682.1. Let m = 113 + h. Let s = m - -14. Which is smaller: s or -0.7?
-0.7
Let p(t) = 127*t**3 + t**2 - 2. Let r be p(-1). Let x be ((-1)/(-4))/((-8)/r). Is 10 smaller than x?
False
Suppose -3*r + r = 0. Suppose -3*p - 3*x + 12 = r, 6 = 2*p + x - 1. Suppose 0 = -4*o + q + 9, -q = -5*o + 8 + 4. Is o at most p?
True
Suppose 0 = 2*o + 5*p + 106, 4*o + 7*p + 194 = 6*p. Let j be ((-2)/o)/(20/(-90)). Let l = j + -23/48. Is -0.01 < l?
False
Let d = -14 + 15. Let t = 19 - 14. Suppose 4*r + 0*a - 11 = a, -t = -r + a. Which is smaller: d or r?
d
Let m = -135 + 206. Is m equal to 0?
False
Let o = 350 + -1389/4. Suppose -22 = -4*j + 2. Suppose 4*q - 2 - j = 0. Is o < q?
False
Suppose -1656 = 4*d + 2*j, 0 = 4*j + 63 - 79. Is d at most -416?
True
Suppose -5*w + 5*d - 2 = 3, 0 = 2*w - 5*d + 11. Suppose 5*h = w*h + 18. Is 5 at least as big as h?
False
Let x = -0.2 + 0.1. Let o be ((-11)/(-2))/((315/(-10))/9). Let h = o + 51/28. Which is bigger: x or h?
h
Let m = 41 - 41.106. Let v = -0.094 + m. Which is smaller: -36 or v?
-36
Suppose 0 = -t - 2 + 5. Let d be 4 + t/18 + -4. Is 1/4 smaller than d?
False
Suppose -9*i + 7*i + 20 = 0. Let r be 44/(-10) - (-4)/i. Which is greater: r or -13/5?
-13/5
Let a be ((-10)/(-35))/((-2)/(-14)). Suppose 0 = -a*m + 4. Let i be 3*m/(-3) - -2. Which is bigger: 2 or i?
2
Let j(v) = v**3 + 41*v**2 - 38*v + 168. Let f be j(-42). Is f <= -1/524?
False
Let i = 377 - 1892/5. Let q(v) be the second derivative of v**4/12 - 3*v**3/2 - 6*v**2 - 4*v. Let m be q(10). Which is smaller: i or m?
m
Let m = 190 + -189.5. Let u = m + -0.5. Let x = -7.96 - 0.04. Which is greater: x or u?
u
Let o be (5868/12)/((-9)/(-3)). Which is bigger: o or 162?
o
Let m = -3143/22 + 285/2. Let l be (-2)/(-2 - -3) + 11. Suppose 4*x + z = -0*x + 3, l = 3*z. Is x > m?
True
Let w = -58/19 + 4833/1577. Suppose 95*n = 84*n - 11. Is w at least as big as n?
True
Let f = 1798.1 + -1807. Which is bigger: f or -6?
-6
Let d be ((-9)/(18/(-8)))/(-26). Which is smaller: d or 0?
d
Let w = -0.3 + -0.1. Let g = -0.3 - w. Let c = -780 + 10138/13. Is c > g?
False
Let x = 1.2 + -14.2. Let b = 15.1 + x. Let c = b - 2. Which is bigger: c or 13?
13
Let j be (-3)/(-1)*4/6 - -2. Suppose -5*p + 1 + j = 0. Is p at most 6/11?
False
Let d = -669 - -7404/11. Does d = 5?
False
Let m(a) = -a**2 + 3*a - 1. Let f be m(1). Let h be (-1320)/664 + 2/f*1. Which is bigger: 0 or h?
h
Suppose -4*x + 21 = -3*k, 2*x + 0*x + 4*k = -6. Which is bigger: 1 or x?
x
Let t = -4 + 7. Let v = 4 + -21. Let n = 19 + v. Is n > t?
False
Let d(x) = -x**2 - 10*x - 10. Let v be d(-8). Suppose v*k = 10*k. Which is smaller: k or -3/4?
-3/4
Let m be (-3)/(2/4 - 25/20). Suppose -8*u + 8 = -4*v - m*u, -3*v + 2*u = 4. Which is smaller: v or -3/16?
-3/16
Let o = 0.0508 + -0.5608. Is o at most as big as 5?
True
Let d be ((-2)/14)/(3/3). Let g = 655 - 655. Which is smaller: g or d?
d
Let i = -2311 - -2310.71. Is 6/5 < i?
False
Let w = 688 - 26147/38. Which is greater: 1 or w?
1
Suppose 9 = -3*y, -3*y - 6 = w + 1. Is w at most -0.29?
False
Let i = -962.975 + 963. Which is greater: -3/2 or i?
i
Let t = 43 + 14. Let v = -55 + t. Which is bigger: v or -36?
v
Let j = -3397/9 - -375. Which is smaller: -2 or j?
j
Let h = 402555/308 - 1307. Let s = 611/1540 - h. Is -78 at least s?
False
Suppose -6*h - 228 = 6*h. Let t(x) = -x**3 + 10*x**2 - 8*x - 9. Let z be t(9). Suppose -2*a - a = z. Do h and a have the same value?
False
Let q = -1424 - -1221. Is q equal to 1?
False
Let i be 1 + (4 + -10)*2/(-56). Let z = 12/7 - i. Which is greater: z or 1?
1
Suppose -2*s + 1 = -3*s. Let g = 1125823/7 + -160453. Let v = 378 - g. Are s and v nonequal?
True
Let b be 4 - ((-12)/(-18))/(2/15). Do 2/475 and b have different values?
True
Suppose 33*c = 28*c + 3*q - 407, 5*c + 414 = -4*q. Which is smaller: c or -79?
c
Suppose 