f = -4. Which is smaller: 16/3 or r?
r
Let m be -4*(1 - 30/8). Let k(q) = -5*q**2 - 60*q + 72. Let i(a) = -2*a**2 - 20*a + 24. Let u(z) = 8*i(z) - 3*k(z). Let c be u(18). Is c less than m?
False
Suppose t + 1 = -4*d + 11, 5*d = 5*t - 175. Which is smaller: 31 or t?
t
Let g(r) = 3*r**3 - 8*r**2 + 5*r - 7. Let w be g(5). Let x = w + -1347/7. Let t be (-1)/(-6) - 9/54. Is x != t?
True
Let a = 1674 + -1105. Let h = 22192/39 - a. Which is smaller: -1 or h?
-1
Let n be 90/585 - (-14)/78. Is 3/14 greater than or equal to n?
False
Suppose 144 = 2*z - 2*u, 5*z - 299 - 57 = u. Let d = z - 49. Let f be d/33*1/(-12). Is 0 at most as big as f?
False
Suppose 0*f + 2*t - 4 = 4*f, -t = 4. Let q be 0 + 4 - (-3 - -6). Let h be q - 3*(-15)/(-18). Is h greater than f?
True
Suppose 0 = 5*x - 39*x + 1972. Which is greater: x or 56?
x
Let w = -1.381 + 40.881. Is w equal to -1?
False
Suppose 5*z - 60 - 60 = 0. Suppose -4*k + z = -k. Suppose -5*n - 18 = -k. Is 1 < n?
False
Let j = 752 + -486. Let o be j/(-420) + (-4)/(-30). Suppose -2*i + 15 = -7*i. Is i bigger than o?
False
Let m(a) = -a**2 + 8*a - 7. Let p be m(6). Let b be 1*(-5)/(p/(-2)). Suppose -18 = 4*z - b*r, 10*z + 2*r = 5*z. Which is greater: z or -4?
z
Suppose -4*t + 5*t = 0. Suppose 5*m - 20 = -5*l + m, -3*l - 3*m + 12 = t. Let q be ((-6)/l)/(4/(-6)). Which is greater: 1 or q?
q
Let g be 372/(-90) + (-1)/(-3). Let n(h) = h - 11. Let a be n(6). Which is greater: g or a?
g
Let u be 246/21 - 2/(-7). Let a(l) = l**3 - 13*l**2 - 3*l + 28. Let n be a(13). Let d = u + n. Is -5 less than or equal to d?
True
Suppose 2*p + 202 = 4*r, r = -r - 2*p + 92. Which is bigger: 50 or r?
50
Let x = 1157 + -1239. Which is bigger: x or -740/9?
x
Suppose -2*j + 6 + 20 = 0. Suppose -2*y = -y - 15. Which is bigger: y or j?
y
Let l be (84/(-9))/((-32)/240). Which is smaller: 71 or l?
l
Let t(g) = -19*g**2 + 28*g + 62. Let j be t(-2). Which is smaller: j or -67?
j
Let x = -6662 + 1692151/254. Which is smaller: x or 0?
0
Let p = 176.7 - 210. Let r = -33 - p. Is -1 smaller than r?
True
Suppose -25*y + 12 = -4*o - 21*y, -2*o + 3*y - 5 = 0. Are o and -6 nonequal?
True
Let z(h) = h**3 + h**2 - 2*h - 13. Let x be z(0). Let d = 2 - x. Is d greater than 15?
False
Let t = -3/10 + 1/70. Which is bigger: t or 4/71?
4/71
Suppose -5 = 3*v - 20. Let x(z) = z - 4. Let w be x(v). Let h be ((21/30)/(-7))/(-1). Is h bigger than w?
False
Suppose 0 = -5*h + 4*k + 53, -k = 2*h + 4*k - 8. Suppose 2*o - 3*o = -h. Let p = o - 6. Are p and 5 equal?
False
Let c(d) = -4*d**2 - 11*d - 4. Let l be c(-9). Let u be 2/3 + l/168. Let r = u - -4/7. Which is greater: r or -1?
r
Let i = 14 + -15. Let o = i + 3. Let w = -0.1 + 0.1. Do w and o have different values?
True
Let k(n) = n**2 + 6*n + 12. Let c be k(-8). Suppose -2*r = 2*r + c. Let t be (-3)/(-4) + r/4. Is t <= -2/5?
True
Let q be (-1)/(-2) + 88824/(-48). Let l = -135052/73 - q. Is l < 2/3?
True
Let y = -5 - -11. Let t = 1 + y. Let p = -491.2 + 491. Which is greater: t or p?
t
Let q(h) = 3*h + 12. Let r be q(-5). Let j = -53 - -55. Suppose 2*s + 18 - j = -y, -3*y + s = 13. Are r and y non-equal?
True
Let z be ((-2038)/17)/(-1) + 6/51. Suppose 0*r + z = -10*r. Which is smaller: r or -11?
r
Let g be (-18)/(-117) + 63/13. Which is bigger: g or 12?
12
Let j(i) = -i**3 - i**2 - i - 1. Let f be j(-1). Let n be 3/(-6) - (-387)/(-34). Let z = 12 + n. Is f smaller than z?
True
Let f be -5*(2 - (-192)/(-135)). Let u = 737/252 + f. Let k be -9 + 9 - (3 - (-2)/(-1)). Which is smaller: u or k?
k
Let u be (-47)/(-3) + -6 + 0 + 3. Which is smaller: u or 13?
u
Suppose d + 2*p + 3 = 0, 2*d + p - 4*p = 22. Let v(i) = -i**3 - 3*i**2 - i - 6. Let k be v(-3). Let f be (-24)/(-28)*(-14)/k. Which is smaller: d or f?
f
Let y = 4.2 - 3.6. Which is greater: 6/23 or y?
y
Let d(j) be the second derivative of -5/6*j**3 + 3*j**2 - 1/12*j**4 + 0 - 2*j. Let h be d(-6). Does -1 = h?
False
Let x = 2407 - 2423. Suppose -p + 3*r = 19 + 5, -5*r = -3*p - 72. Let y = -41 - p. Does x = y?
False
Suppose 2*j - 8 = 0, j - 2 = 4*a + 6. Which is smaller: a or -5/59?
a
Let b(f) = f**2 - 5*f. Let j be b(5). Suppose -k + 5*d = 1, j = k - 2*d - 1 - 4. Let s = 10 - k. Which is smaller: s or -1?
-1
Let y = 435.804 - 476.7. Let z = 0.104 - y. Which is greater: z or 2?
z
Suppose -m + 8 = m. Suppose -m*n + t + 2 = -4*t, 0 = -3*n + t + 7. Suppose b - n*b = 0. Does b = -2/21?
False
Let g = -18620/3 - -6502. Let r = g - 298. Is r less than or equal to 2/3?
True
Suppose -3*a - 9 = 3*p, 6*p = p + 20. Is -8 at most a?
True
Let i = -17 + 16.5. Let v = -0.08 - 8.92. Let o = v - -7. Are o and i unequal?
True
Let b be (0*1/(-2))/(-2). Suppose b = -q - 1 + 6. Suppose -q*t = 6*y - 2*y, -3*t = -y. Is t >= 7?
False
Suppose -q - 25 = 5*l - 10, -2*l - 6 = 5*q. Let i = -1767/13 + 136. Is q less than i?
True
Let p be (-6)/((-6)/(-15) - 2 - -2). Let c be 44/p + (4 - 14/3). Is -5 not equal to c?
True
Let y = -4.437 + -0.263. Is y equal to 3?
False
Let m = 54/7 - 639/91. Are m and 1 non-equal?
True
Let o = 60.042 - 60. Let z = o - 80.042. Is 0 bigger than z?
True
Let y = 36/5 + -664/95. Which is smaller: y or -1?
-1
Let g(s) = 4 + 20 - 2*s + 2. Let a be g(13). Which is greater: -1/32 or a?
a
Suppose -31*l + 28*l = 54. Let t = 19 + l. Which is greater: t or 8/9?
t
Suppose -47 = 4*u - 2*v - 43, v - 2 = 0. Is 14.2 at least u?
True
Let d(m) = 2*m**2 - 2*m - 2. Let u be d(2). Suppose 5*c + 5*l - 10 = 0, -4*l - 16 = 10*c - 14*c. Do c and u have different values?
True
Let g be 189/(-126)*(-14)/21. Let f = 361/1131 + -1/87. Which is greater: g or f?
g
Let l(v) = v**3 - 19*v**2 + 2*v - 9. Let w be l(19). Suppose 3*o + 1 + w = 0. Is o greater than -10?
False
Let m(x) = 4*x - 4. Let v be m(3). Suppose 4*u - 27 = 29. Let f = u + -5. Which is smaller: v or f?
v
Let q be 2/(-22)*3/12*-4. Is q < -1?
False
Let c be -6 + (-41)/(-9) - (-8)/4. Let d(g) = -g**3 - 8*g**2 - 8*g - 6. Let h be d(-7). Is h != c?
True
Let y = -143 - -233. Let v(o) = o**3 - 18. Let w be v(0). Let u be (28/(-10))/(w/y). Is 13 greater than u?
False
Let u = -1125 - -1118. Let d = -0.2 + 0.4. Let o = d + -0.2. Is u less than or equal to o?
True
Let p(d) be the first derivative of d**3/6 + 5*d**2/2 + 6*d - 1. Let m(t) be the first derivative of p(t). Let v be m(-6). Which is smaller: v or -2/39?
v
Suppose -s - 8 = -0*s + 4*w, 3*s + w + 2 = 0. Is s greater than 2/141?
False
Let j be ((-10)/35)/((-1)/14). Let g(p) = p**2 - 2*p + 1. Let f be g(j). Let t = 0.15 - 0.25. Which is greater: f or t?
f
Let c(d) = -40*d - 178. Let l be c(-5). Is 21 greater than or equal to l?
False
Let x be (-390)/1040 - (-4346)/(-16). Is -273 greater than or equal to x?
False
Let t = -667 - -666. Which is smaller: t or -3/250?
t
Let j = -74 + 61. Let f = j + 13. Let p = -0.5 - -2.5. Which is smaller: f or p?
f
Suppose -3*l = -6*a + 3*a + 171, -4*a - 4*l + 236 = 0. Suppose -3*x + 97 = -3*y + x, 2*y + 4*x = -a. Which is greater: y or -30?
-30
Let v(x) = -142*x**2 - 2*x - 1. Let y be v(-1). Let f = 271/2 + y. Is f > -5?
False
Suppose 4*j + 5*f = -821, -f + 328 = -2*j - 79. Do 1/4 and j have the same value?
False
Let p be 243/3 + (-3)/3. Let f be 1/(-3) - p/12. Suppose 2*l = 5*m + 32, -20*m + 2*l = -21*m - 4. Which is bigger: m or f?
m
Let v be (4/10)/(-2 + 120/63). Which is smaller: v or -3?
v
Let i = -0.12 - 4.88. Let k = 70 - 51. Let q = k - 18. Which is smaller: i or q?
i
Suppose -10 = -n - 2*y, -3*n + 5*y - 2 = 3*y. Suppose 0 = -n*h - 18 + 2. Which is bigger: h or -7?
-7
Suppose -4*u - 5*c = -203, -2*u + 4*u + 2*c = 102. Let q = u + -34. Let d be 1/q*(-8)/(-6). Which is smaller: d or 0.1?
d
Let a = 2 + -2.5. Let v = -73 - -168. Let t = v - 99. Is t less than a?
True
Let m = 6.81 - 6.99. Let p = 16 + -16.22. Let c = m + p. Which is smaller: 2/5 or c?
c
Let f(z) = z**2 - 6*z + 3. Let p be f(9). Let d be (-15)/p*4/(-14). Is -2 greater than d?
False
Let d = -0.0519 + -2.9481. Let u = 125/2 - 64. Which is smaller: d or u?
d
Suppose 5 = 5*t + 5*j - 5, 2*t = 4*j + 16. Suppose -1120 = -t*a - 0*a. Let h = -1963/7 + a. Which is greater: h or -1?
h
Let c(o) = 2*o + 5. Let j be c(-3). Let z be -1 - (2 + -2 - 1). Suppose -4*h + z*h = 0. Which is smaller: h or j?
j
Let r = -1.107 + 1.1. Let d = 417/5 + -83. Which is smaller: d or r?
r
Let n = 86 - 84. Let l = -6374/