, 0*v + 3*v = 3*l - 9. Which is smaller: m or l?
l
Let b = -39 - -43. Let r be (-1 + 7/b)/(3/2). Is 4 greater than or equal to r?
True
Let s be 156/8 - (-1)/2. Suppose -5*j - 20 = 0, 5*j + 4 = -2*y - s. Let r be 2 - ((-24)/5)/y. Is 1 greater than r?
True
Let r = -103.734 - -0.734. Which is greater: 1 or r?
1
Let o = -414 - -415. Let v = 0.1 - 41.1. Is v bigger than o?
False
Suppose -3*y + 4*o - 21 = 0, o = 2*y + 3*o. Suppose p + 5*l = 4*p - 53, -4*l = 5*p - 39. Let r = p - 14. Is y at most as big as r?
True
Let b = 6 + -4. Suppose 2*f - 264 = -2*f. Let x be (-12)/f + 1*(-15)/(-22). Which is smaller: x or b?
x
Suppose m - y - 17 = 4*y, -y - 19 = 5*m. Let g be m/7 - (-567)/(-49). Let l = g - -7. Is l greater than -5?
False
Let o be (4/(-3))/((-2)/18). Suppose 0 = -3*h + o - 3. Let p = -100 - -102. Which is bigger: p or h?
h
Let m be 6/(-5) - 16236/(-180). Is 89 >= m?
True
Let r be ((-2)/(-4))/((-7)/12). Let d(u) = u**3 + 4*u**2 - 13*u - 5. Let k be d(-6). Let t(w) = -2*w**3 + w**2 - w. Let n be t(k). Is r bigger than n?
True
Let m = 51 - 47. Suppose 44*v - m = 40*v. Which is smaller: -1.4 or v?
-1.4
Let k = -605 - -606.079. Let d = k - 0.079. Is d less than or equal to -0.01?
False
Let r(a) = a**3 + 5*a**2 + 5*a + 3. Let w be r(-4). Let b(s) = 2*s**2 - 16*s - 170. Let l be b(14). Is l at least w?
False
Let l = -163815/68 - -2409. Which is smaller: 0 or l?
l
Suppose 4*y + j - 11 = 0, -2*y + 4*j + 0*j = 8. Suppose 0 = -4*x + 5*x + y. Let n be x/4 - (-39)/18. Which is bigger: n or 1?
n
Suppose 3*a + v + 136 = -3*v, -5*a + 4*v - 248 = 0. Is a at most as big as -44?
True
Suppose 293 = -4*w + c, 0 = 2*c - 2 - 0. Let a = 1023/14 + w. Which is smaller: 1 or a?
a
Let a = 17 - 7. Let p = -115105/163821 - -355/807. Let q = 2/87 - p. Is a < q?
False
Let s = -21 + 6. Let m be 44/(-40) - (-6)/s. Suppose 0 = 4*z + 7 + 5. Are z and m equal?
False
Let z be 844/(-10) - (-111)/(-185). Which is smaller: z or -86?
-86
Let s(w) = -w**3 - 11*w**2 + 12*w + 2. Let t be s(-12). Suppose 0 = t*h + 3 + 1. Let g = -172/267 - 2/89. Is g equal to h?
False
Let p be (1/(-5))/(14/(-4108)). Let z = -8172 + 41142/5. Let m = p - z. Which is bigger: 3 or m?
3
Let d = -5 + 5.3. Let t = -0.4 + d. Let v = 43627/10 + -4363. Is t less than v?
False
Let s(m) = m**3 + m**2 - 13*m - 52. Let f be s(-6). Are -154 and f nonequal?
False
Let i = 2 + -2. Let f = i - -5. Suppose -4*h + f*h = 7. Which is smaller: 0 or h?
0
Let o = -0.57 + -1.61. Let z = 2.1 + o. Let g = 11 + -12. Is g at most z?
True
Suppose -5*j = -12 - 8. Let t be -5 - (j - 2)*-1. Which is bigger: -20/9 or t?
-20/9
Let j be (-10)/4*32/(-40). Suppose 3*g + g = -j*r - 140, -r - 5*g - 73 = 0. Let d be -1*(24/r)/(-3). Are -0.1 and d unequal?
True
Let n = 160 - 155. Suppose -25 = 5*l - 0*l, -5*x = -n*l - 35. Let c be (-1)/2 - (1 + -2). Which is bigger: c or x?
x
Let j = -0.054 + -0.106. Let a = -22480 - -158328/7. Let n = -138 + a. Do n and j have the same value?
False
Let l be 3 + 64/(-10) + (13 - 11). Let b = -12 - -10. Which is smaller: b or l?
b
Let r = -6910 - -96825/14. Let w = r + -11/2. Which is smaller: -1 or w?
-1
Let c be 0 - (-9 + 4) - -654. Which is bigger: 658 or c?
c
Let p(r) = -r**2 + 22*r + 24. Let f be p(23). Suppose -y - f - 41 = 0. Which is bigger: -44 or y?
y
Let u = 0.247 + -11.247. Which is smaller: u or -1?
u
Let x = -447 + 448. Which is greater: 1/83 or x?
x
Suppose 5*o + 7 = 5*c + 22, -3*o = 12. Let u be 1 - -1 - (c - -33). Are 1 and u nonequal?
True
Let f = -0.251 - -0.161. Is -11 <= f?
True
Let u be (-732)/(-45) + (-2)/(-5). Let c = 4/751 - -113365/6759. Let l = c - u. Which is smaller: 1 or l?
l
Let h = -206/7 - -125/7. Let z = -1032/91 - h. Are z and -1 non-equal?
True
Let y = -488 + 4411/9. Is y less than or equal to 3?
True
Suppose -4*q = 2*u, -u = q + 4*u. Suppose 4*g + 9 + 7 = q. Let o be -1 + g/(-6) - 0. Is -0.3 greater than o?
True
Let p be -1*((-3)/(-12))/((-65)/100). Which is smaller: p or 4?
p
Suppose 3*o - 9 = a, -3*o + 5*a - 4 + 13 = 0. Let k be 45/9*(0 - -1). Suppose 7*s - o*s - 4*t = 0, -k*s + 4*t = 0. Is 1/5 at least s?
True
Suppose g = 6*g + 2*f + 2, 0 = 2*g + 4*f + 4. Is g at least as big as -2/383?
True
Suppose 12*l + 3272 = -796. Is -337 < l?
False
Suppose 602*q + 144 = 610*q. Do 26 and q have the same value?
False
Let n = -4.4532 - -0.0532. Which is bigger: n or -3/8?
-3/8
Let h be (-75)/(-20) + (-2)/(-8). Suppose -5*d = 2*r - 15, h*r + d + 3*d = 24. Let t(z) = z**3 + 6*z**2 + 4*z. Let v be t(-5). Are r and v nonequal?
False
Let t be (-8 + 11)*(1/3 - 1). Suppose -2*s - s = -27. Suppose -4*i - s = -1. Is i less than t?
False
Let a(j) = 4*j**2 + 65*j - 79. Let p be a(-17). Which is smaller: p or -267/10?
p
Let v be ((-1)/(-3))/((-50)/6). Suppose -4*m - 4*d = 152, -5*m + d + 17 = 237. Let r = -42 - m. Which is smaller: v or r?
v
Let p = 999 - 8989/9. Which is smaller: 441 or p?
p
Suppose 5*w - 274 = 2*d, 11*d = 16*d + w + 631. Is d not equal to -128?
True
Let k = 143 + -141. Is 52 less than or equal to k?
False
Let k(b) = 2*b - 2. Let h be k(3). Suppose 4*i + 9 = -3*t, -6*i - 15 = -h*i + 5*t. Let a(m) = -3*m - 16. Let z be a(-9). Which is greater: i or z?
z
Let l = -6.93 - -5.93. Which is smaller: l or -691?
-691
Suppose -6*f = -7*f - 49. Let k = f + 61. Which is greater: 10 or k?
k
Suppose 4*u = 3*u - 36. Is u < 1?
True
Let s be (-4)/(-88)*1*-1. Let f = 439 + -438. Which is bigger: s or f?
f
Let p be (-5)/(-15) - (-1 + 2). Let f = 420.3 - 419. Which is greater: f or p?
f
Let p be -4*(-1 - 0) + -715. Let t = p + 13506/19. Are 0 and t non-equal?
True
Let x be (-5 - (0 + -4))*-2. Let o = x - 7. Which is bigger: o or -25/4?
o
Let l = 49 - 41. Suppose -d - 3*d = l. Is d at least as big as -18/19?
False
Let x = 17.31 - 0.31. Let l = x - 16.91. Let t = l + 8.91. Are -1 and t equal?
False
Let a be 0/(-2*(-2 - -3)). Suppose i + 2*i = 3, 2*y + 69 = 3*i. Let w = -659/20 - y. Is a > w?
False
Let b = -68 - -44. Let f = b + 21.7. Let h = f - 0.7. Is -1/4 at most h?
False
Let l = -12 + 72. Suppose 32 = 3*a - 2*n, 4*a + 3*n + 6 = l. Is 11 greater than or equal to a?
False
Let t be 14/(-3) - 4/(-6). Suppose 5*q + 20 = 4*c, -q + 46 - 79 = 5*c. Is t greater than or equal to q?
True
Let g = 1068 + -1071. Which is greater: g or 200?
200
Let l be ((-10)/(6760/(-6)))/((-6)/(-40)). Which is smaller: l or -1?
-1
Let t = -75/2 - -46. Let u be (1 - (-2 - -2))/(1/3). Suppose -w = -2*q - u*q + 40, -2*q + w = -13. Which is bigger: q or t?
q
Let c = 16552/203 + -51/203. Is c not equal to 82?
True
Let a(u) = -15*u - 49. Let k be a(-3). Is 19 bigger than k?
True
Let r = -59 + 329. Which is greater: r or 0?
r
Suppose 5*w - 54*j = -53*j - 891, -2*w - 2*j - 354 = 0. Are -175 and w nonequal?
True
Let u be 34/272 - (-213)/5400*-3. Is 1 at least as big as u?
True
Let m(j) = -1 - 13 + 2*j + 5 - 21. Let l be m(16). Is l greater than 2?
False
Let o = 698.23 - 695. Let t = o - 0.23. Is 5 <= t?
False
Let w = -73 + 137/2. Is w at least 6?
False
Suppose 0 = -r + 5*r + 2*s + 278, -3*r - 212 = 5*s. Which is smaller: r or -71?
-71
Let j(b) = -b**2 + 52*b - 78. Let o be j(45). Is o at least 239?
False
Suppose -5 = 4*j + 3, 4*f - 2*j = 12. Is f > 3?
False
Let i = -113 + 340/3. Is 186 at least i?
True
Let m = -475/4 - -7093/60. Do 1/3 and m have the same value?
False
Let i be -3 + (-23)/(-7) - 52/(-14). Suppose 0 = -2*h + j - 29, -2*j - i = h + j. Which is greater: h or -15?
h
Let g = 66140 - 726718/11. Which is smaller: g or 76?
g
Suppose -40*b + 128 = -32*b. Which is smaller: 12 or b?
12
Suppose 8*m - 4 = 6*m + k, 0 = 5*m + k - 3. Let x be ((-1)/2)/(5/(-2)). Is x less than m?
True
Let q be -1 + (11/(-9))/(-1). Let m be (8/10)/(-2) + 2360/25. Let d = m - 95. Which is greater: q or d?
q
Let y(v) = v**3 - 7*v**2 + 4*v - 27. Let l be y(7). Let r = 6 + l. Which is smaller: r or 9?
r
Suppose -17*v + 22*v = -c + 14, 0 = 3*c - 4*v - 23. Suppose 2*o + 0 - 2 = 0. Which is greater: o or c?
c
Let g be 41/(-66) - (3/(-2) + 1). Which is greater: -0.1 or g?
-0.1
Let v be 22/(-33)*(-6)/(-4). Let j be v/(1 + 2 + -2). Let q be (-3 - -2)/(-2 - j). Which is greater: 3 or q?
3
Let d(n) = n**3 + 5*n**2 + 4*n - 1. Suppose 24 = -3*x + 4*m, 0 = -2*x + 5*x + 3*m + 3. Let l be d(x). Which is smaller: l or 1?
l
Let y(n) = 3*n**3 - 8*n**2 - 2*n - 3. Let t be y(3