-65/9. Which is smaller: 1 or f?
f
Let l = 29/24 - 773/600. Which is smaller: -1 or l?
-1
Suppose r + 68 = -20*p + 21*p, 4*r = 2*p - 136. Which is smaller: 537/8 or p?
537/8
Suppose -4*i - 6 = -2*i. Let h(v) = -v**3 + v + 9. Let y be h(0). Suppose 0 = y*b - 2 + 11. Which is smaller: i or b?
i
Let t be (-5*2)/(2/5). Let o = 26 + t. Do o and 1/9 have different values?
True
Let g be 4 + -8 - -7 - (-8)/(-2). Let d be (2 - 837/417)*2. Are d and g equal?
False
Let z be (-31)/(-11) + ((-265)/55 - -5). Suppose -4*y = -0*g - 2*g + 14, 4*g = 4*y + 16. Let l = z + y. Which is smaller: l or 5?
l
Let o(s) = s**2 + 7*s - 2. Let h be o(-5). Let i(v) = v**2 - 14*v + 8. Let c be i(14). Suppose 2*u + 19 = -3*g - c, 3*u = 5*g + 64. Which is greater: h or g?
g
Suppose 0 = 4*w - 2*w + 24. Let p be 4/(-10) - w/5. Let c be (-3)/6*p*-1. Which is bigger: -1 or c?
c
Let v be (-1)/(-4) - (9765/(-28))/(-3). Is v less than or equal to -459/4?
True
Suppose f - 4*g - 19 = -4*f, 11 = 4*f + g. Suppose 34 = -f*y + 5*a, 0 = -3*y + a - 5*a - 16. Is y < -10?
False
Suppose 4*c + o - 15 = -0*o, 2*c - 5*o - 35 = 0. Suppose -70 = 5*z + b - 6*b, -60 = c*z - 3*b. Let p = -3.1 - -3. Is p at most as big as z?
False
Suppose 3*x = 2*x. Let j = 20 - 17. Let y be 605/205 + j*-1. Is x <= y?
False
Let t be (-2682)/54 + 7/(-21). Suppose 4*b - 204 = 8*b. Which is smaller: t or b?
b
Let h(l) = l**3 - 6*l**2 - 6*l + 1. Let s be h(7). Suppose -3*m + 1 + s = 0. Suppose 0 = 2*g - m*g. Which is bigger: 1 or g?
1
Suppose 5*o - 885 = 5*t, 0*o = -2*o - 2*t + 342. Let r be (18/27)/(16/o). Is 6 at most as big as r?
True
Let m = -20.707 - 0.093. Let d = -23 - m. Let v = 0.2 + d. Is -4 not equal to v?
True
Let p = 1410 - 1407. Is p smaller than 123?
True
Let i = 3 - 5. Let z be 6/((-108)/165) - i. Let j = z + 7. Which is smaller: 1 or j?
j
Let w be (-3)/(-2) - 255/(-140)*-2. Is -3 >= w?
False
Let p = 209 - 1877/9. Is p at least -0.1?
True
Let b be 2666/6 + 5 - 1/3. Is 450 less than or equal to b?
False
Suppose 3*l - 14*l - 220 = 0. Is l > -16?
False
Suppose 14 - 17 = -2*o + 3*j, 3*j + 3 = 0. Which is greater: -3/151 or o?
o
Let z be 147308/(-21)*4/(176/(-6)). Let q = z + -958. Is -1 greater than or equal to q?
True
Let z = -22.1 + 21. Let v = 16.5 - 17.5. Which is greater: z or v?
v
Let d be 58/56 - 10/35. Let a = 1 + 0. Suppose r + a - 3 = 0. Is r at most as big as d?
False
Let h(r) = r**2 - 17*r + 12. Let y be h(17). Let p be y/(-66) - 369/(-33). Is 10 less than or equal to p?
True
Let b(r) = -r**3 + 5*r**2 + r - 1. Let v be b(3). Suppose 0 = 5*m + v + 5. Let f(q) = -q**3 - 4*q**2 + 3*q - 7. Let z be f(m). Which is greater: 2 or z?
z
Let x(y) = y - 10. Let c(m) = m + 14. Let b be c(-7). Let l be x(b). Let a = -3 - l. Which is smaller: a or -2/5?
-2/5
Suppose 2*u + 3*u + 150 = 0. Let z = -35 - u. Which is smaller: 0 or z?
z
Let h = 9 + -19. Let v be (-715)/132*4/h. Which is smaller: v or 3?
v
Let a(k) = 2*k**3 - 12*k**2 + 2*k - 11. Let b be a(6). Let j = -1 - -6. Suppose 3*p - b = j. Are p and 2 nonequal?
False
Let d(z) = z + 4. Let k be d(-5). Let q(w) = 27*w**3 - w**2 + 3*w - 1. Let g(i) = 7*i**3 + i. Let p(l) = -9*g(l) + 2*q(l). Let a be p(k). Does 8 = a?
True
Suppose -3*o = -16 + 4. Let b(l) = 6*l - 4. Let y be b(o). Suppose -2*p - 3*p = -y. Is 4 < p?
False
Suppose 4*a = -a + 15, 4*b - 23 = -a. Suppose 3*g - 4 = 6*l - l, -4*g + 2 = -b*l. Which is smaller: g or 1/11?
g
Let u = -715 + 515. Do u and -200 have the same value?
True
Let h be (4 + -2)*(4 - -1). Let g = -1189 - -7157/6. Let j = 17/3 + g. Is h at least as big as j?
True
Let w(y) = y**3 + 3*y**2 - y - 1. Let d be w(-5). Let p = -43 - d. Let r(f) = -f**3 + 8*f**2 - 3. Let g be r(8). Which is greater: g or p?
p
Let h = -3443 - -354626/103. Which is smaller: 0 or h?
h
Let g = 137 + -137.1. Which is bigger: -1/365 or g?
-1/365
Let u(p) = -7*p**2 + 3*p + 3. Let l(s) = -7*s**2 + 2*s + 2. Let g(d) = -4*l(d) + 3*u(d). Let o be g(-2). Let j be o/(-30)*2/6. Is j < 0?
True
Let h = -23 + 25. Let s be h + -6 + 8 + 9. Are 12 and s equal?
False
Let x = 4.8 - -17.2. Let z = x + -17. Which is smaller: 1/4 or z?
1/4
Let g be 44/(-10) - (-6)/15. Let u be 9/(-4) + (-1)/g. Suppose 18*a - 15*a + 9 = -5*i, 3*a - 3 = -i. Is i != u?
True
Suppose -3*h = -7*h - 12. Let p be (h - -1)*(-15)/10. Suppose 60 = p*g + g. Which is bigger: g or 16?
16
Let c be 40/(-33)*9/(-4). Let y(f) = -f**3 - 8*f**2 - 10*f - 17. Let s be y(-7). Which is smaller: c or s?
c
Let z be -93*(((-84)/(-7))/3 - 3). Is z smaller than -92?
True
Suppose -4*q + 2*o = -o - 52, 20 = -5*o. Let z(v) = v**2 - 2*v + 2. Let s be z(4). Is q smaller than s?
False
Let k(r) = r**3 + 5*r**2 - 9. Let o be k(-4). Suppose o*z + 8 = -13. Does -2 = z?
False
Let y = 0.0512 - 0.1512. Is -5/17 != y?
True
Let p = -294 - -293. Which is smaller: p or 32?
p
Let v be (-12)/(-96)*((-44)/(-14) + -3). Do -2/5 and v have the same value?
False
Suppose 18 = 5*s + 3. Suppose 2*f + 1 = 2*c - 35, s*f = -15. Suppose 5*o + 2 + c = 0. Is o equal to -2?
False
Let j be (1534/(-182) - -8) + 151/385. Let s = 0.2 + -0.3. Which is smaller: s or j?
s
Let l = -4.22 - -4.8. Let b = 0.28 - l. Suppose 5*x - 16 = -4*h, 3*h + 5 = 2*x + 6*h. Is x greater than or equal to b?
True
Let n be ((-97)/(-4))/((-2)/(-8)). Suppose 0 = 5*i + n + 8. Let b be (i/18)/(-7) + -1. Is b <= 0.1?
True
Let o = 31 - -57. Suppose -22*v = -18*v - o. Which is greater: v or 23?
23
Suppose -59 = 2*d + 25. Let q be (28/d)/((-2)/30). Suppose -7*l + q = -2*l. Which is smaller: l or 6/11?
6/11
Let o = 3/356 + -871/18868. Which is bigger: 0 or o?
0
Let d = 3 + 0.9. Let l = d - 3.7. Let n = 61/2 - 31. Which is smaller: n or l?
n
Let b be -8*6/(-2) + -3. Let c = b - 25. Suppose 0 = -g - 3 - 1. Is c at most as big as g?
True
Let u be 698/(-1130) + (-5 - 112/(-20)). Which is smaller: -1 or u?
-1
Let l be (4 - 11) + -1 - -3. Which is smaller: -46/13 or l?
l
Let b = 21 - 15. Let n be ((-2)/b)/(1/(-36)). Suppose 3*x + n = -3*t, x - 10 = 2*t - 2. Which is greater: 1/9 or x?
1/9
Suppose 6 = -p - 4. Let a be (-66)/(-10) - (-6)/p. Let i = a + 2. Which is smaller: i or 7?
7
Let j be 2 - (0 - 369/7). Let n = -403/7 + j. Is n not equal to -2?
True
Let z = 430 + -421.05. Let x = z + 14.01. Let p = x + -23. Does -2/11 = p?
False
Let t = -138 - -138. Suppose -h + 5*z = -26, -3*h + 2*z = -4 - 9. Suppose 2*b - h - 1 = 0. Which is greater: t or b?
b
Let f(b) = b - 1. Let s be f(1). Suppose -19*z + 21*z + 120 = s. Is z > -60?
False
Suppose -4*i = 5*d - 24, -3 - 6 = -5*i - d. Is 1/450 at most as big as i?
True
Let v = 209 + -211. Is v greater than or equal to 3?
False
Let c = 11 + -4. Let r(s) = s**3 - 7*s**2 - 8*s + 6. Let m be r(8). Which is smaller: m or c?
m
Let u = 3485 + -3519. Suppose 0 = -2*h - 6, m + m = 4*h - 58. Which is smaller: u or m?
m
Let f = 1.91 - -0.09. Let t = -5 + 8. Let q = t - f. Which is bigger: q or 14?
14
Let t(r) = -2*r**2 - 11*r - 4. Let x be t(-5). Let y = 0 - x. Which is bigger: 2/11 or y?
2/11
Let y(z) = z**2 + 7*z + 18. Let h be y(-4). Suppose 9*i = -4*w + 4*i + 30, 0 = -i + 2. Let a = h - w. Is a less than or equal to 4?
True
Let y be -2 - 1/((-5215)/10460). Let j = -37578/5215 + y. Which is smaller: j or -6?
j
Suppose 11*p + 164 = -2443. Is p <= -238?
False
Let c = 2.1 + -2. Let l be 249/7*(-48)/72. Let s = 24 + l. Which is smaller: c or s?
c
Let n = -1.79 + 0.19. Let z = 0.9 + n. Let t = z - -0.8. Which is smaller: 2/23 or t?
2/23
Suppose 2*g - 2*r - 132 = -g, 0 = -4*g + r + 171. Suppose 6*d = 3*d - g. Is -14 < d?
False
Suppose -4*h + h = 0. Let z = 48/1945 - 105316/169215. Let j = 2/29 - z. Do h and j have different values?
True
Let u = -6 - -7. Let m be (-97)/13 - (-72 + 65). Is m > u?
False
Let x be 21/(-20) + 3/(-15). Suppose 19 = -2*g + 17. Which is greater: x or g?
g
Let n be 60/486*4/(-10). Are -1 and n nonequal?
True
Let n = -2.9502 + -0.0498. Is n equal to -9?
False
Let j = 0 - 3. Let k = -0.203 + -2.997. Let t = j - k. Is t greater than -1/7?
True
Suppose 3*b + r - 3*r - 94 = 0, -3*b - 3*r = -84. Let d = b + -41. Is d <= -2/5?
True
Let m(y) = -85*y - 520. Let c be m(-6). Do c and -6 have different values?
True
Suppose 21 = -0*c + c. Let y = 1274 - 1255. Which is bigger: c or y?
c
Suppose 5*o + 5*i = -1050, 4*i + 420 = -2*o - 0*i. Let y be 4/3 + o/153. Are y and 