11 = 0, -4*f - 2*g - 1 = 9. Suppose -4*z - 27 = -z + 3*m, 0 = -4*m - 20. Which is smaller: z or f?
z
Let g = -12.7 + 11.64. Let c = -0.66 - g. Is 3 >= c?
True
Let j be 4/((-23028)/341)*3. Let r = j - -2/101. Is r at least as big as 0.1?
False
Suppose -23527 = -42*z + 45689. Do 1648 and z have the same value?
True
Let r = 436 - 443.4. Is 1/4 < r?
False
Let y be 11/((-11)/(-2))*2/2. Is 20/13 at least as big as y?
False
Let p be 4 + 2 + -2 - 4. Let y be (1 - p)*13/(-65). Is y at most as big as -10?
False
Suppose 2*t = 6 + 4. Let g(n) be the third derivative of -n**6/60 + n**5/12 + 5*n**4/24 - n**3/3 + 20*n**2. Let s be g(3). Which is bigger: s or t?
t
Let i(c) = 14*c + 141. Let f be i(-10). Which is smaller: f or -6/49?
-6/49
Let c = 23.798 - 0.658. Let v = -21 + c. Let a = v + -0.14. Is a >= -1/3?
True
Let c = 0 + 12. Let n = 37 - c. Let f = -31 + n. Which is bigger: f or -5?
-5
Suppose -17*k - 24 = -16*k + o, -2*k = 3*o + 50. Is k smaller than 40?
True
Suppose -405*y + 411*y = 0. Which is greater: -2/2635 or y?
y
Let j(b) = -b**2 + b + 58. Let g be j(0). Let s(l) = 3*l**2 - 15*l - 51. Let a be s(-4). Which is greater: a or g?
g
Let w = -1/70 - -4/35. Let d(r) = r**2 - 8*r + 16. Let g be d(6). Suppose 4*k + l = -3, -2*k - g*l + 8*l = -12. Which is smaller: k or w?
k
Suppose 4*z + 3*r = -13, -2*z = 5*r + 33 - 16. Let s be (6/4)/(18/(-21)). Is z != s?
True
Suppose 3*n + 10 = -2*y + 212, -140 = -2*n + 4*y. Suppose 0 = -2*w - 2*w + n. Is 18 greater than w?
True
Let s be 2/2 + (-5)/(60/16). Is s smaller than -1/38?
True
Let x be 12/(-27)*21/2*3. Are x and -22 unequal?
True
Let s = -35 + 11. Let q(u) = u**3 - 8*u**2 + 4*u - 3. Let r be q(7). Is r greater than or equal to s?
True
Suppose b - 2*n = -0*n + 6, 5*b - 14 = 2*n. Let t be b/(-7) - 66/14. Let m = 5 + -9. Which is greater: m or t?
m
Let h(s) = s**2 + 13*s - 2. Let z be h(-14). Suppose c - z = -4*w, w = -2*c - 0*w + 45. Let j = c - 40. Is -16 at most as big as j?
True
Let l(m) = m**3 + 6*m**2 + 9*m + 3. Suppose 12*v = 8*v - 16. Let u be l(v). Which is greater: -0.17 or u?
-0.17
Let g(c) be the second derivative of c**3/3 - 3*c**2/2 + 6*c. Let h be g(-4). Let o = -2 + -10. Which is smaller: o or h?
o
Let n = -15353/21 - -731. Let t = -2 - -1. Which is smaller: t or n?
t
Let g(a) = -a**2 + 4*a - 4. Let q be g(3). Let t be 2*3/(-33) + 6392/37213. Is q bigger than t?
False
Let m = 6 - 11. Suppose -2*s = 3*o - 28, -5*o + 5*s - 15 = -7*o. Let l = o - 14. Which is bigger: m or l?
l
Let w be (52/5)/((-9)/5). Let r be (-3 - 1) + 1 - 392/180. Let l = r - w. Which is smaller: l or -1?
-1
Suppose -s + 2*s - 3 = 0. Let g be ((-3760)/(-22750) - (-2)/(-13))/((-1)/(-5)). Which is smaller: g or s?
g
Let m(c) = 99*c + 1479. Let q be m(-15). Let a = 7 + -3. Is a < q?
False
Let t = 55 + -99. Let z be t + 1 - -4 - (-2 + -1). Which is bigger: z or -37?
z
Let v = 212361/43 + -4938. Let q = -1198/215 - v. Is -7 smaller than q?
True
Let i be (23 + -20)/((-6)/(-14)). Is 43/7 bigger than i?
False
Suppose f - 19 = k, 5*k - 11 - 34 = -2*f. Let g(a) = -2*a + 41. Let r be g(f). Is r at least as big as 8/19?
True
Let x(t) = -170*t - 1256. Let w be x(-10). Is w smaller than 445?
True
Let x(w) = -w**2 + 8*w + 2. Let h be x(8). Suppose 0*a - 4*a = -h*a. Is a less than or equal to 2/65?
True
Let p be 0/2 + 1*-10. Suppose -85 = 4*r + 2*z - 39, r - 1 = 2*z. Are r and p equal?
False
Let a = -106 + 57. Let s be 0 - 7/(a/2). Which is smaller: 0.6 or s?
s
Let y be 0 - 6*(-5)/(-5). Let h = 13 + y. Suppose -h = n - 3*z + 1, -5*n = -3*z + 4. Is 2 > n?
True
Let j = -0.06 + -38.44. Let a = j + 42. Which is bigger: a or -0.2?
a
Let s = -28.872 - 0.128. Let f = -11/2 + 6. Which is bigger: f or s?
f
Let d(f) = -f**2 - 7*f - 1. Let p be d(-6). Let h be 2*p*4/(-5). Let k(c) = c - 4. Let o be k(-6). Is o not equal to h?
True
Let u = 181 + -29142/161. Which is bigger: 1 or u?
1
Let g(z) = -15*z - 227. Let q be g(-10). Which is smaller: q or -78?
-78
Suppose -3*x + 138 = -0*x. Let m be (-1 - x/(-4))*(-12)/(-108). Is m at most 0?
False
Let z be ((-28)/5)/(12/(-10)). Do z and 2 have different values?
True
Let w be ((-62)/4)/((-5)/2). Let f = 402 + -395. Which is bigger: f or w?
f
Suppose 29733 = 56*z - 3*z. Are z and 562 unequal?
True
Let g(n) = n**3 - 2*n**2 - n + 1. Let b be g(2). Let t(x) = -55*x**2 + x. Let h be t(b). Let a = h - -40. Are a and -15 unequal?
True
Suppose -2*p + 3*r = -1, -4*r = -3*p + r + 1. Suppose -p*q = -9*q + 112. Let y = -34 + 50. Is y <= q?
True
Let z = 1508/3 - 502. Is z less than -8.3?
False
Let i = -25 - -28. Suppose k - i*d - 18 = 0, -4*k + 3 = -2*d - 19. Is 5/2 at least as big as k?
False
Let d = -0.08 + -0.52. Let c = d - 1. Let x = 726.1 + -726. Which is smaller: x or c?
c
Suppose -2*c + 2 = -2. Let v = c - 0. Let o = -512 + 5644/11. Which is greater: o or v?
v
Let o = -16.8 - -97.8. Which is smaller: o or -2/5?
-2/5
Suppose 4*o = -2*d - 16, -2*o + 6*o - 24 = 3*d. Let w be 2/3 - 19/(-3). Let r = w + d. Which is smaller: r or 1/4?
r
Let t(c) = -7*c**2 - 115*c + 115. Let q be t(1). Which is smaller: -182/29 or q?
q
Let t = -1428 - -1149. Is 0.1 at least t?
True
Let r = -12424/5 - -2494. Which is greater: 8 or r?
r
Let c be (1 + -33 - -4)/(-2). Suppose u = 5*t - 6 - c, -3*t = -15. Suppose -5*v + u = -5. Which is bigger: v or -2?
v
Let n(x) = -2*x + 11. Let a(t) = -t**2 - 8*t - 6. Let g be a(-6). Let c be n(g). Let q be ((-16)/(-40))/(4/(-5)). Is c at least as big as q?
False
Suppose m - 3*m + 28 = 0. Let r = 0.069 - -3.831. Let j = -4 + r. Is m at most as big as j?
False
Let w = 16897229/1163 - 14529. Which is bigger: -1 or w?
w
Let y = -2 - 1.5. Let j = 3.53 + y. Which is smaller: j or 0?
0
Let n(u) = u**2 + 5*u + 6. Let q be n(-7). Suppose -x = 3*l - 2*l + 1, 0 = 4*x + q. Suppose -l*r = -9*r. Which is greater: r or -1/7?
r
Suppose -2*o = 0, -4*g - 8 = -3*o + o. Is g < 0.4?
True
Let l = 9289/19570 + -1/1030. Is l bigger than -3?
True
Let a(g) = 2*g + 8. Let k(j) = 5 - 23*j + 20*j - 21. Let f(o) = 5*a(o) + 3*k(o). Let n be f(13). Which is smaller: 6 or n?
n
Let z(h) = 2*h**2 + 3*h + 18. Let s be z(-6). Let p = 71 - s. Is p less than or equal to -5/14?
True
Suppose -3*z + 33 = -3*q, -3*q = z + 2*z - 9. Let r(x) be the first derivative of -x**3/3 + 4*x**2 + 54*x - 10. Let u be r(12). Which is smaller: z or u?
u
Suppose -4*m = -6*m + 4. Suppose -5*n = 4*s - 38, 5*n = s + 2*s + 24. Is m bigger than n?
False
Suppose -5*u - 2*d = 3*d + 35, 0 = -4*u - d - 19. Let i be 418/77 + u/(-7). Let h be (-12)/(-30) - i/(-10). Which is bigger: h or -1?
h
Let a = 271.12 - 271. Is a equal to -0.2?
False
Let k = -1 - -2. Let n = 160/7 + -479/21. Which is smaller: k or n?
n
Suppose -5*q + 112 = -3*a - a, -2*q - 8 = 0. Is -33 bigger than a?
False
Let b = 3.47 - -0.53. Let g = b + -12. Let n(t) = t**3 + t**2. Let h be n(0). Is h > g?
True
Let h = 663 - 10619/16. Which is greater: -1 or h?
h
Suppose 10*a + 204 + 156 = 0. Is -36 bigger than a?
False
Let z = -49246/3223 - -168/11. Let k = 79 + -80. Which is smaller: z or k?
k
Let x = 2.316 - -66.454. Let f = -69 + x. Is 0.2 at most as big as f?
False
Let f be (9/(-6))/(3/(-12)). Let x(r) = 3*r - 15. Let m be x(f). Suppose -m*t + 3*n - 12 = -2*t, -3*t = 4*n - 3. Is t equal to 0?
False
Suppose -2*h + 2 = -4. Let a be (4 + -3)/(-1) - h. Let v(s) = s**3 + 5*s**2 + 5*s + 6. Let d be v(a). Is 2 smaller than d?
False
Let t = -662 + 717. Which is bigger: t or 0?
t
Suppose 3*o + 17 = -4*w, -4*w - 22 = -4*o + 2*o. Let b be 3/(33/(-8)) - -1. Is o smaller than b?
False
Let q be (-400)/70*14*-2. Is 160 >= q?
True
Let p(q) = -q**2 + 16*q + 53. Let a be p(19). Which is smaller: -9 or a?
-9
Suppose 0 = -0*h + 2*h. Let m be (-116)/(78/33 - 4). Let b = 71 - m. Which is bigger: h or b?
b
Let p(i) = -4*i + 4. Let k be p(1). Is -1/560 > k?
False
Let p be (-1*2)/(0 + 1). Let s = 127.9379 + 0.0121. Let m = -128 + s. Is p >= m?
False
Suppose -2550 = -8*t - 43*t. Which is smaller: 48 or t?
48
Let l = -39.2 - -39.2. Which is smaller: l or 1.07?
l
Let z be 2/(-4) + 441/18. Let r = -23 + z. Let j be (2/(-20))/((-6)/4). Is j less than or equal to r?
True
Let d(i) = -2*i**2 + 30*i - 13. Let z be d(14). Let y be (-392)/15 - z/((-675)/6). Which is greater: y or -25?
-25
Let u = -0.2 + 1.7. Let b = u - 26.5. Which is smaller: