Let r be z(-7). Is r less than or equal to -8/31?
False
Let l be (-1 - -3)/((-4)/126*1). Is l less than or equal to -621/10?
True
Suppose -3*i + 9 = 51. Is -13 smaller than i?
False
Suppose -4*q = x + 1, -6 = -4*q + 5*x - 1. Let o = q - -12. Let n be 9/(o/(-4)) - -4. Are n and -9 nonequal?
True
Let v(n) = -n**2 + 15*n + 22. Let z be v(16). Let w(o) = 4*o - 26. Let l be w(z). Let y be (-10)/6 + (-2 - -1). Which is smaller: l or y?
y
Let r be (3 - 7) + 8 + 80/(-1). Is -0.03 greater than r?
True
Let h = -141 - -181. Which is bigger: h or 43?
43
Let r = 642 - 233. Which is smaller: r or 408?
408
Suppose -415*p + 4*n - 12 = -413*p, -4*n + 12 = -3*p. Which is smaller: p or -5/111?
-5/111
Suppose -20 = 9*d - 13*d. Let m be 3/(d/5) - 2. Which is greater: m or -1?
m
Let h be 5 + 7590/42 + 4/14. Does h = 185?
False
Let t = -8046 + 193103/24. Let v = 1 - 1. Is t at most v?
True
Suppose 0 = p - 0*p + 3*y - 21, -y + 11 = p. Are p and 6 equal?
True
Let n = 23.053 + -0.053. Let f be 30/8 - (5 - 1). Which is bigger: n or f?
n
Let z(w) = -22*w**2 + 6*w - 13. Let q be z(-7). Which is smaller: -1131 or q?
q
Suppose 4*d = 9 - 261. Which is greater: d or -64?
d
Suppose 0 = v - 4*v - 9. Let r = -1 - v. Is -1 not equal to r?
True
Let a = 2568 + -2576. Is a at most as big as -67/9?
True
Let r(i) = -9*i**2 - 8*i**2 + 18*i**2. Let z be r(0). Which is bigger: z or -1/4?
z
Let b = -0.109 - -38.209. Let c = -38 + b. Which is smaller: c or -17/3?
-17/3
Let j = -66.5 + 64.5. Which is greater: -4/135 or j?
-4/135
Suppose r - 2*x - 7 = 0, -5 = 5*x + 20. Let d be -4 + 6 + r - 0. Let k be d*(1 + -2)*16. Are k and 16 non-equal?
False
Let p(j) = 2*j**3 + 20*j**2 + j + 10. Let s be p(-10). Is -6/19 >= s?
False
Let x = -74 + 75. Is 4/11 at least x?
False
Let t = -806 + 793. Is t smaller than -68/5?
False
Suppose 3*c + 12 = -30. Is -164/13 < c?
False
Let p be (-10)/(-285)*(-3 - -4). Is -2/9 < p?
True
Suppose 2*i - 4*i = 0. Suppose 4*f + f - 65 = i. Is f != 14?
True
Suppose 0 = 4*n - 3*t + 3329, 0*t - 3 = -t. Let h = 58926/71 + n. Which is smaller: 1 or h?
h
Let g = -259/3 - -87. Let s = 9/23 + -109/161. Which is bigger: s or g?
g
Let q(v) = 2*v**3 + 33*v**2 - 23*v - 34. Let c be q(-17). Which is smaller: 16 or c?
16
Suppose -5*h - 114 = 3*k, 2*h = 3*k - 42 - 12. Is -6 < h?
False
Suppose 5*v + 5*q = 10*q - 385, -4*v - 3*q - 329 = 0. Which is greater: v or -70?
-70
Suppose 0*x - 3*x - 9 = 0, -4*w - 4*x + 16 = 0. Suppose -m = -9 + w. Suppose 4 = -m*v, 5*k = -2*v - 36 - 28. Which is greater: -11 or k?
-11
Let y = -7907/9 - -882. Is y at most as big as 4?
True
Let q(r) = r**3 + 7*r**2 - 8*r - 1. Suppose -5*x - 11 = 4*p + 9, -x - 4*p = -12. Let w be q(x). Is 1/19 != w?
True
Let n be 4/(-3) - (-1)/1. Let m = -0.1238 - 0.1762. Is n smaller than m?
True
Let g = -32425/17 - -1907. Let i be (3 - 1)*(-14)/(-4). Suppose -i*c = -5*c. Which is greater: g or c?
c
Let c = -0.55 + -8.45. Let u = c + -19. Which is greater: -0.2 or u?
-0.2
Let d = 404 - 100. Let u be 3/12 - 12/d. Which is smaller: 1 or u?
u
Let p be 318/212 - 2/(44/113). Which is greater: p or -4?
p
Let h = 36.969 + 0.031. Let u = 36 - h. Which is smaller: u or 70?
u
Let y(f) = 23*f + 138. Let t be y(-6). Let d = 9/65 + -1/26. Which is smaller: t or d?
t
Let v(n) = -n + 1. Let w be v(2). Suppose 5*i + 2*t - 333 = 0, t = -4*i + 3*t + 252. Let x be 86/(-70) + 52/i. Is w at most x?
True
Let n(z) = 18*z - 12 - 4*z**2 - 2*z + 2*z**2. Let j be n(6). Which is greater: 10 or j?
j
Let d = -3.7 + 0.7. Let p = -0.14 - -7.14. Let i = p - 9. Which is smaller: d or i?
d
Let g be 10 + 2 - -10 - (-6 - 1). Do -0.21 and g have different values?
True
Let b(x) = -x**3 + x**2 - 3*x - 24. Let z be b(0). Let d be ((-2)/z)/((-1)/86). Is d less than or equal to -8?
False
Let f(o) be the first derivative of 1/3*o**3 - o**2 + 6 + 3*o. Let z be f(2). Are 3 and z non-equal?
False
Let t be (-102 + 6)*(-9)/(-132) + 3. Which is bigger: t or -4?
t
Suppose -4*q - 10110 = -19*q. Is q != 674?
False
Let f be 6/(-39) - 270/(-65). Let k be (-7)/7 + -1 + f. Is 5 > k?
True
Let a be 6 + 13/((-520)/225). Is a less than or equal to 2/3?
True
Suppose 27 = a - u, 135 = 6*a - a + 2*u. Let o = a + -19. Let z = o - 5. Is z != 3?
False
Suppose -4*z = 4*p - 4, -3 = -3*z - p + 2*p. Let q(f) = 3*f + 11. Let n be q(-6). Let j be (-3)/36*8/n. Is j at least as big as z?
False
Let m be (6/4)/(-3)*-6. Let s be (1/m)/((-2)/(-4)). Let t = -6902 - -6904. Is s at least as big as t?
False
Let d = 10 - 9.98. Let g = 0.08 + d. Let u = -1.7 - -1. Is g less than or equal to u?
False
Let a = -752 - -753. Are -5/23 and a nonequal?
True
Let q be ((-2)/(-4))/(2/964). Let a = q + 65. Let b = 7040/23 - a. Is b greater than -1?
True
Let o(l) = l**2 - 3*l - 25. Let h be o(-5). Let y be 0 + 0 - 67*(-5)/h. Is 21 smaller than y?
True
Let q(j) = -13*j**2 + 4*j + 11. Let g be q(4). Is g smaller than 0?
True
Suppose 7*y = -3*d + 2*y - 14, -6 = 5*d + 4*y. Suppose d*v + 0*v - 2 = 0. Suppose -4*z = -2 - 2. Is z > v?
False
Suppose -s - 3*u + 4 = -62, -4*u = 5*s - 352. Let b = 72 - s. Let n = 275 - 5499/20. Are n and b non-equal?
True
Let c = 1807 + -10937/6. Is -16 smaller than c?
True
Suppose -65 = -3*n + 8*n. Let v be ((-48)/40)/((-12)/(-40)) - 8. Is v less than or equal to n?
False
Let r = 286 + -248. Suppose 6*c - 131 = 3*c - 4*u, -2*u = -5*c + 175. Is c <= r?
True
Let o = 276 + -276.9. Which is bigger: o or -2/7?
-2/7
Let t = -2.05 - -0.05. Suppose n - 6 = 19. Let q be (-2)/(-5)*n/9. Are t and q unequal?
True
Let l be 11/(-18) + 2/(-9). Let k = 26.64 - 0.64. Let p = k - 27. Which is smaller: p or l?
p
Suppose -3 = -t - 1. Let q be t/(-3)*15/8. Let z(s) = 8*s + 110. Let l be z(-14). Which is smaller: l or q?
l
Let y = -44963/11 - -4091. Which is bigger: y or 4?
4
Let k be (-1)/(3/9)*-1. Let v be k/(-2 + -82)*-1. Are v and 1 equal?
False
Let m(h) = -h. Let c be m(-4). Suppose -1 = c*l - 5. Suppose 0 = -8*q - 11 + 27. Which is greater: q or l?
q
Let k = -573 - -464.9. Let z = 73 + k. Let i = z - -35. Which is smaller: -0.2 or i?
-0.2
Let y = -831/32 - -26. Let i = 17/480 + y. Let a = 2 + -3. Is i at least as big as a?
True
Let o(x) = -x**3 + 6*x**2 - 3*x - 6. Let z be o(5). Suppose 0 = 5*q - z - 31. Let a = q + -7. Is 2 at least as big as a?
True
Let t(j) = 9*j + 6. Let l be t(4). Suppose 0 = -r + 8*r - l. Suppose r*o + 2*q = o - 55, 0 = 5*o - 5*q + 20. Are -11 and o unequal?
True
Suppose -4*x + x = -x. Suppose x*o - 56 = 4*d - o, -3*d - 33 = -3*o. Which is bigger: -31/2 or d?
d
Let o = -1448 + 1448. Which is smaller: o or 43?
o
Let k = -201 + 106. Is k greater than or equal to -94?
False
Suppose 3*m - 6*m + 5*x - 22 = 0, 5*x = m + 24. Suppose -4*h = -14 - 22. Let y be 3*((-12)/h + 2). Which is greater: m or y?
y
Let q(j) = j**2 - 3. Let s be q(3). Suppose -25*k + 19*k = s. Is 84 smaller than k?
False
Let g = 4 - 0. Let p = 3.9 - g. Let c be (-14)/(-28) - (-3)/(-4). Which is greater: p or c?
p
Suppose x = 2*i - 5*i - 21, 10 = -5*x + 4*i. Let t be 14/x + -2 + 3. Let g = -811 + 810. Which is bigger: t or g?
g
Suppose -3 = -15*b + 12*b. Let d be (b/(-12))/((-108)/(-96)). Which is bigger: d or 0?
0
Let j(t) = -t + 57. Let f be j(39). Is 16 at least f?
False
Let a(w) be the first derivative of w**2 + 2*w + 2. Suppose -15 = -5*h - 20. Let l be a(h). Is 2/37 >= l?
True
Suppose 6*q - 505 - 89 = 0. Let t = q - 99. Are 2/223 and t equal?
False
Let t = -686.9861 + -0.0139. Is 1 >= t?
True
Let j = -95 + 83. Which is greater: 0.3 or j?
0.3
Let w be (0 - 4)/((-22)/33). Let f be (w - (-1 - -4)) + 27. Is f >= 32?
False
Let q = 311.1 + -311. Which is smaller: q or -112?
-112
Let t be 15/(90/84) - -6. Is 22 <= t?
False
Let p be 64/256*(-4)/(-15). Which is bigger: p or -16?
p
Let f = -56 - -109/2. Suppose d = 3*d. Suppose d = 3*h + 6 - 3. Which is smaller: f or h?
f
Let y = -2.116 + 0.116. Are 3/17 and y nonequal?
True
Let d = 12 + -15. Which is bigger: d or -24?
d
Suppose -16 = -738*l + 746*l. Which is greater: l or -15/26?
-15/26
Let o be 1/36 + (-2)/(-9). Which is smaller: 16/9 or o?
o
Let p = 57 + -231/4. Let w = p - -7/12. Let i = -2 - -1. Which is greater: w or i?
w
Let k = 32 - 29. Suppose -h = k*h - 120. Let q be ((-80)/h)/(7/3). Which is greater: q or 0?
0
Let y be (-812)/49*(-105)/10. Is 174 at most as big as y?
True
Let