r = 11*r - 60. Let l = 60 - r. Are l and 40 equal?
True
Let n be -3 - 2/(2/21). Let j = n - -29. Is j bigger than 5?
False
Suppose -3*c = -r - 8, 7*r - 5*c + 30 = 2*r. Let w be 1/(r/(-6) + 3/18). Which is bigger: w or 1/9?
w
Let g(k) = -87*k - 398. Let n be g(-6). Is n >= 125?
False
Let t = 222 + -179. Is t at most as big as 41?
False
Suppose q - 77*w + 1 = -79*w, -w + 1 = 2*q. Is q less than 5/7?
False
Let k be 27/18 + (-8250)/5380. Is -1 greater than or equal to k?
False
Let t be (-3)/4 - (-11122)/(-8). Let o = 29192/21 + t. Let h = o - 3/7. Which is smaller: h or -2?
-2
Let b = -33 - -73. Let g = b - 102. Is -2/5 > g?
True
Let u = -15 - -19. Suppose -5*a + n + 12 = 0, 0 = -u*a - 0*a - 4*n. Let r be a/(-7) - (-44)/693. Is r smaller than -1?
False
Suppose 0 = 3*p - 5*k + 16, 2*p - 6 = -0*p - 5*k. Is p != -10/11?
True
Let k be 20/(-4 + -1) - -1. Let j be k/(-30)*3/(-6). Is j < 1?
True
Let m be 105/10 - (0 + -1 + 1). Are m and 11 nonequal?
True
Let n be 9 - 1 - (21 + -415). Is n smaller than 401?
False
Let d be 39936/(-73416) + 16/28. Is 0 less than or equal to d?
True
Suppose 10 + 6 = -4*i. Let s(l) be the third derivative of l**5/60 + l**4/4 + 5*l**3/6 + l**2. Let z be s(i). Which is smaller: -0.1 or z?
z
Suppose -572 = w - m, -90 = w + 2*m + 470. Which is bigger: w or -569?
w
Let f(t) = t**2 + 2*t - 80. Let m be f(8). Which is bigger: 14/179 or m?
14/179
Let m be 1 - ((-196)/3)/1. Let j = 67 - m. Let u = 16 + -16. Which is bigger: u or j?
j
Let p(q) = -q**2 - 1 + 2*q + 0*q + 0*q**2. Let i be p(2). Let y = 57 - 63. Is i less than y?
False
Let u = -26 + 26. Let x = 33 + -33. Is x less than u?
False
Let r = 69.7 - 71.51. Let p = 0.34 - 0.53. Let k = p + r. Which is smaller: 0.2 or k?
k
Suppose 17 = -9*g + 2*l, 2*g - 3*g - 4*l + 15 = 0. Is 2/257 < g?
False
Let o = -4.2 + 3.87. Let z = 0.4 + o. Let g = -56.6 + 54.6. Do z and g have the same value?
False
Let k(m) = m - 3. Let h be -1*15/(-3 + 0). Let n be k(h). Let f be 17/n + (-5)/10. Do f and 8 have the same value?
True
Suppose 3126 = -3*g + 3117. Suppose -1 = -3*a + y + 8, 0 = a - y - 3. Which is greater: a or g?
a
Suppose -2*c - 4*c = 3*c. Let b = -3/115 + -4/23. Which is greater: c or b?
c
Suppose 5*d - 429 = -99. Let y be d/77*(1 - -34). Is 29 less than y?
True
Let c = -81 - -88.5. Let b = c - 41.5. Are b and -1 nonequal?
True
Let o = -11.36 + 12. Let j = 0.84 - o. Is j at least -14?
True
Let m = -20/231 - -4526/36267. Let h = m + -1020/2041. Is 2/3 greater than h?
True
Suppose 4*n - 5*k = -3, 0 = n - 3*k + 6 - 0. Suppose 4*p + p + 10 = 5*h, n*p + 18 = -3*h. Let q = -95/194 - 1/97. Which is greater: q or h?
q
Let v(a) = 5*a**2 - a - 24. Let k be v(6). Let o be (864/k - 6)*10/8. Suppose -4*j = j - 5. Is j greater than o?
True
Let g = -167 - -168. Let b be 128/738 + (-30)/135. Is b != g?
True
Suppose u - a - 4*a = 0, -4*u = -3*a - 17. Suppose u*h = -5*g - 30, 2*g = -g - 15. Let c = 372/7 - 53. Is c at least h?
True
Let f be ((-18)/(-8))/((-15)/(-60)). Suppose 8*d + f = 2*z + 3*d, d = -2*z - 9. Which is smaller: -22/5 or z?
-22/5
Suppose -4*q = -13*q - 18. Let g be -2 + 3 + (-5)/2. Which is smaller: g or q?
q
Let f = 299/20 - 15. Which is greater: f or -1?
f
Let p = -9212 + 110255/12. Let u = p - -67/3. Which is bigger: u or -3?
u
Let b = -0.9 + 0.5. Let z(r) = 9*r**3 - r**2 - 2. Let n be z(2). Let f be n/(-252) - (-6)/14. Do f and b have different values?
True
Let u = -29.1 - -28.1. Let v = -195126 - -86636029/444. Let s = v + -4/37. Is s less than u?
False
Suppose 5*p - 336 = 3*p. Let a be 45/p + (-2)/16. Which is smaller: 2 or a?
a
Let i = 88 + -88. Which is greater: -1/93 or i?
i
Let j be 5/6*(0 + 6). Let d be ((-4)/(-6))/((-1)/(-18)). Let z = d + -6. Is j < z?
True
Let z = 142 + -142. Let o(c) = c + 1. Let p be o(4). Suppose p*m - 13 = -3, 0 = 2*s - 4*m + 10. Which is greater: s or z?
z
Let d = -6 - -28/5. Let h = 0.1796 - 0.3296. Which is greater: d or h?
h
Let f(n) = -n**3 - 13*n**2 - 7*n - 56. Let r be f(-13). Which is smaller: 37 or r?
r
Let i = -266 - -265. Which is smaller: i or -6/35?
i
Suppose -42*r + 8*r + 2108 = 0. Is r greater than or equal to 64?
False
Let u be (-179 + 176)*1628/6. Is u not equal to -812?
True
Let n(z) = -z**2 + 18*z - 81. Let d be n(15). Which is bigger: -38 or d?
d
Suppose 0 = 2*s - 8, -4*a - 4*s + 10 = -2*a. Let m = 4.5 + -4. Let z = m + 0.5. Which is smaller: a or z?
a
Let l = 0.13 + -1. Let b = -0.8 - l. Let n = b - 0.47. Which is bigger: -1/2 or n?
n
Let g be -5 + (-42)/(-1 - 6). Which is greater: g or 1/116?
g
Let n(i) = -4*i. Let r be n(-1). Let l(d) = d**3 + 9*d**2 - 12*d - 2. Let a be l(-10). Let b be 15/2*12/a. Is r != b?
True
Let s(g) = g**2 - g. Let h(y) = -5*y**2 - 5*y + 15. Let b(t) = h(t) + 6*s(t). Let z be b(8). Is 2/7 >= z?
True
Suppose 14 + 2 = 4*p. Suppose 0*g = 4*g - 4, -p*g = -2*r. Let t be (2 - 9 - 3)/r. Is -5 greater than or equal to t?
True
Let a = 302.008 + -302. Is 0.3 at least a?
True
Let l(k) = -2*k**2 + 14*k + 5. Let s be l(7). Suppose c = s*c + 16. Is c >= -2/5?
False
Suppose -2*s = -7*s + 20. Suppose 2*a - 3*p + 6 = 0, -a = -p + 3*p - s. Suppose -4*g + a = -8. Which is smaller: g or -1?
-1
Let m(o) = 10*o**3 - 6*o**2 - 32*o - 86. Let n be m(-3). Is -312 greater than or equal to n?
True
Let r(n) = n**2 + 24*n + 31. Let k be r(-9). Is -103 equal to k?
False
Let m = 7.9 - -1.1. Let d be 17/15*1 + 10/(-75). Does m = d?
False
Let q = -34 - -24. Let n = q - -14. Suppose c - 3*c - 22 = 2*u, 4*c = n*u + 84. Is u at most as big as -16?
True
Let i = -2/47 - 80/329. Let y = 43 + -23. Let q be ((-76)/y + 4)*-1. Is q smaller than i?
False
Suppose -4*x - 6 - 78 = 0. Let m be ((-2)/(8/1))/(x/(-24)). Which is smaller: m or 1?
m
Let o(u) = -3 - 2*u + 5 + 5. Let t be o(3). Let n be -2 - -1 - t/(-2). Which is bigger: -1 or n?
n
Let c = -200 + 192. Is c smaller than 0.04?
True
Let q = -94 - -94. Let n be (-3 - -1)*1 - 1. Let h be 1 + n + 13/7. Is q less than or equal to h?
False
Let l be 2*((-58)/52 + 1). Let y(a) = -45*a - 269. Let m be y(-6). Which is smaller: m or l?
l
Let n = 3.4 - 1.7. Let f = -2.698 + -0.002. Let w = f + n. Are 1 and w equal?
False
Let a(h) = 146*h**2 + 2*h + 1. Let b be a(1). Which is bigger: 148 or b?
b
Suppose 11*c - j = 9*c + 93, -5*c + 3*j + 233 = 0. Is 45 at least c?
False
Suppose -9*d - 755 - 883 = 0. Are -183 and d equal?
False
Let d(v) = v + 10. Let g be d(-10). Let z(t) = t**2 - 3*t + 6*t - 2*t**2 + 3*t + 6. Let y be z(7). Is g at most y?
False
Let h be 3 - (6/(-10) + 4). Let v = -2047/11 + 186. Which is bigger: v or h?
v
Suppose 16*x - 199 + 199 = 0. Suppose 0 = 4*y - 2*h - 3*h - 1099, 1107 = 4*y + 3*h. Let b be y/(-1113) + (-4)/(-14). Which is smaller: b or x?
x
Let t = -42 + 51.7. Let m = -12.7 - -2.7. Let v = m + t. Which is bigger: -0.2 or v?
-0.2
Let k(l) = -7*l. Let b be k(0). Suppose -r + 1 = b, m + 9 = -4*r + 5*r. Which is smaller: m or -5?
m
Let f be 44/10 + 8/(-2). Let y(w) = -w**2 + 2*w. Let n be y(1). Is f at least as big as n?
False
Let b(j) = j**3 + 6*j**2 + 5*j + 22. Let h be b(-5). Are 23 and h non-equal?
True
Let j = 4 - 10. Let h be j/10 - (-7)/(-5). Let c = -5645/3 - -1881. Which is smaller: c or h?
h
Let s = -73.1 - -73.13. Suppose -3*u - 8 + 20 = -3*w, -6 = -3*u + w. Let f be 2/(-4) + u/2. Is s != f?
True
Let y(n) = -61*n + 103. Let u be y(6). Is -263 bigger than u?
False
Let g be 29/9 + 50/(-225). Do g and 18/7 have different values?
True
Suppose 27*g - 1225 = 4013. Which is greater: g or 2?
g
Let h(v) = 2*v**2 + 12*v + 9. Let f be h(-9). Let q = f - 82. Is q < -21?
False
Suppose 4*b = -10*b + 3*b. Is b <= -1/162?
False
Let b be ((-8)/(-20))/((-108)/(-45)). Suppose -3*x - 10 = 2*x. Let z = -1 - x. Which is bigger: b or z?
z
Let u(r) = r + 3. Let a be u(7). Suppose 5 = a*j - 5*j. Which is smaller: 2 or j?
j
Let b = -0.15 + 0.25. Let f = -37 - -37.17. Let o = b - f. Is o bigger than 0?
False
Let b be (-6)/(-39) + 13752/(-156). Let i = b + 88. Are 4/45 and i non-equal?
True
Let o(s) = -s**2 + s - 4. Let q be o(5). Let z = -20 - q. Which is greater: z or 13/4?
z
Let c = 20 - 16. Let j(b) = -b**3 + 2*b**2 + 9*b - 4. Let h be j(c). Let z be ((-2)/(-6))/((-11)/(-9)). Which is bigger: z or h?
z
Let z = 4 + -13/3. Let w = 21.5 + -60.5. Do w and z have the same value?
False
Suppose a = j - 2, 10 = 3